##  [Construction Graduée Associée](/fr/node/63822) 

 Définition

Opération qui transforme un objet filtré en un objet gradué en prenant les quotients successifs Gr(F) = ⊕_i F_i / F_{i-1}, encodant ainsi la filtration sous forme d'une somme directe de couches.

 

 

 

 

 

 





## Principe

Principe

Former les composantes graduées comme quotients de niveaux adjacents de la filtration de sorte que la multiplication des représentants respecte les degrés : l'associé gradué capture les termes d'ordre principal et simplifie souvent les relations algébriques en leurs symboles principaux.

 

 

 

 

 





## Démonstration

Démonstration

Pour la filtration par degré sur k[x], l'associé gradué est isomorphe à k[x] lui‑même avec la graduation évidente ; pour la filtration PBW sur l'algèbre enveloppante U(g) d'une algèbre de Lie g, gr U(g) ≅ Sym(g), une algèbre commutative reflétant les termes dominants.

 

 

 

 

## Mauvaise application

Mauvaise application

Supposer que des propriétés de l'associé gradué (simplicité, dimension ou caractéristiques homologiques) se transfèrent automatiquement à l'objet filtré sans vérifier la platitude ou l'absence de torsion ; traiter gr comme un invariant exact.

 

 

 

 

 





## Conséquence

Conséquence

Le passage à l'associé gradué fournit souvent un modèle gradué plus simple pour les calculs : on peut calculer séries de Hilbert, idéaux de termes dominants et dégénérescences ; il appuie les suites spectrales et dégénérescences plates en géométrie.

 

 

 

 

## Inversion

Inversion

Reconstituer une filtration à partir d'une graduation se fait par sommes cumulatives F_i = ⊕_{j≤i} graded_j ; contrairement à la construction directe, cela exige des choix et ne récupère pas en général les extensions ou phénomènes de torsion initiaux.

 

 

 

 

 





## Limite

Limite

Nécessite une filtration bien définie (exhaustivité, séparation influent sur le comportement) ; la construction de gr peut perdre des données d'extension ou de torsion et dépend de l'indexation ; il faut tenir compte des interactions avec la complétion et l'algèbre de Rees.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Associé gradué vs algèbre de Rees vs complétion : gr enregistre les quotients de couches, l'algèbre de Rees encode globalement la filtration et fait l'interpolation entre la situation filtrée et graduée, tandis que les complétions reflètent un comportement limite—ces notions se confondent parfois imprudemment.

 

 

 

 

 





## Synthèse

Synthèse

La construction de l'associé gradué traduit une filtration emboîtée en une somme directe graduée de quotients successifs, capturant les parties principales des éléments et fournissant un modèle gradué maniable pour l'analyse algébrique et géométrique.