Une situation où une algèbre filtrée ne satisfait pas la propriété Poincaré–Birkhoff–Witt (PBW), c'est-à-dire que son algèbre graduée associée diffère de l'algèbre symétrique ou tensorielle attendue et que la base de type PBW ou les identifications issues de la théorie des déformations ne tiennent pas.

Principe

PBW affirme qu'une algèbre filtrée (généralement associative) obtenue comme déformation d'une algèbre graduée a une algèbre graduée associée isomorphe au modèle symétrique/tensoriel attendu, de sorte qu'une base graduée se relève en une base filtrée ; l'échec survient lorsque les relations imposent des termes d'ordre inférieur inattendus ou de la torsion qui empêchent ce relèvement.

Démonstration

Dans des exemples de déformation, une algèbre quadratique dont les relations ne forment pas un motif compatible avec un ordre de Gröbner ou avec la propriété de Koszul peut produire une graduée associée avec des relations supplémentaires, de sorte que des monômes qui devraient former une base PBW deviennent linéairement dépendants ; concrètement, certaines quantifications d'algèbres enveloppantes peuvent échouer la PBW pour des valeurs de paramètres en résonance.

Mauvaise application

Supposer que PBW vaut pour une déformation algébrique sans vérifier les filtrations compatibles, les idéaux des termes dominants ou les phénomènes de torsion ; employer des comptes de dimensions ou des constructions dépendant de PBW entraîne alors des dimensions de modules incorrectes ou l'identification erronée d'objets simples.

Conséquence

Quand PBW tient, elle permet des bases explicites, des comparaisons gradué-puis-filtré et un comportement homologique et représentationnel prévisible ; l'échec prive de ces outils et impose des analyses plus fines des relations, des suites spectrales filtrées-graduées et des obstructions au relèvement des représentations.

Inversion

La perspective inverse consisterait à traiter toute algèbre filtrée comme satisfaisant la propriété PBW par principe et à ignorer la nécessité de vérifier les isomorphismes de gradués associés ; cela efface des obstructions essentielles et peut produire des identifications faussement positives de lissité déformationnelle ou des catégories de modules.

Limite

Le concept concerne les algèbres associatives filtrées avec des filtrations spécifiées et des modèles gradués attendus (symétrique, tensoriel ou enveloppant) ; il exclut les pathologies sans rapport d'algèbres non filtrées ou de dimension infinie et dépend fortement des générateurs, des relations et de la torsion du anneau de base choisi.

Tension sémantique

Conflit avec l'usage vague d'intuitions « de type PBW » : les algébristes supposent souvent des bases PBW pour des déformations ou analogues quantiques, mais des échecs concrets montrent la différence entre l'attente formelle de déformation et les obstructions réelles causées par la torsion ou la résonance dans les comparaisons gradué-filtré.

Synthèse

L'échec de la propriété PBW est l'obstruction au relèvement d'une base graduée attendue vers une base filtrée : quand des relations ou de la torsion introduisent des dépendances de degré inférieur inattendues, l'algèbre graduée associée diverge du modèle symétrique/tensoriel et le transfert gradué-vers-filtré de structures et représentations se casse.