Une procédure fonctorielle qui transforme un objet algébrique filtré (algèbre filtrée, module, algèbre de Lie filtrée, etc.) en un objet gradué en prenant les quotients successifs gr_F(V) = ⊕_i F_i V / F_{i-1} V. Le gradué associé enregistre le comportement d'ordre dominant de la filtration et simplifie souvent les relations multiplicatives en passant aux composantes graduées.

Principe

Les filtrations stratifient un objet selon la complexité ou le degré ; passer au gradué associé 'linéarise' les termes dominants, transformant des relations dependantes de la filtration en relations graduées plus faciles à analyser. Cela isole les obstructions d'ordre premier et transforme les problèmes d'extensions en questions graduées.

Démonstration

Pour l'algèbre enveloppante U(g) d'une algèbre de Lie g munie de la filtration PBW, l'algèbre graduée associée est isomorphe à l'algèbre symétrique S(g). Cette identification permet de déduire des propriétés de U(g) à partir de l'algèbre commutative S(g) et de prouver des théorèmes de type PBW.

Mauvaise application

Supposer que le gradué associé est isomorphe à l'objet filtré original (en oubliant des problèmes d'extensions ou de torsion) est une erreur courante. De même, prendre un isomorphisme gradué du gradué associé pour conclure à un isomorphisme filtré sans vérifier les données d'extension peut induire en erreur.

Conséquence

La construction permet de réduire des problèmes filtrés à des problèmes gradués : calcul d'invariants, détection des relations dominantes, application d'outils homologiques adaptés aux catégories graduées et identification de comportements de déformation/quantification. Elle fournit souvent des approximations calculables et les premières pages de suites spectrales.

Inversion

Aller du gradué au filtré relève de la perspective de déformation ou de l'algèbre de Rees : on reconstruit des filtrations via la construction de Rees ou en introduisant des paramètres de déformation. La réciproque met en lumière les données d'extension et de torsion perdues dans le passage au gradué.

Limite

Nécessite le choix d'une filtration (on suppose souvent qu'elle est exhaustive et séparée) ; toutes les propriétés de l'objet filtré ne se reflètent pas dans le gradué associé. C'est une linéarisation formelle et elle exclut les phénomènes dépendant intrinsèquement de classes d'extension non graduées ou de torsion subtile.

Tension sémantique

Il existe une tension entre les points de vue filtré et gradué : les objets gradués simplifient la structure multiplicative mais omettent les données d'extension ; réciproquement les objets filtrés retiennent des informations fines mais sont plus difficiles à manipuler. La théorie des déformations fait le lien entre les deux, rendant la tension féconde plutôt que seulement opposée.

Synthèse

La construction du gradué associé fournit un avatar gradué d'un objet filtré qui capte la structure algébrique d'ordre dominant et rend de nombreux calculs accessibles ; elle fait le pont entre contextes sensibles aux filtrations et techniques d'algèbre graduée, tout en exigeant de prêter attention aux données d'extension que la graduation ne conserve pas.