Operation, die ein gefiltertes Objekt in ein graduertes Objekt überführt, indem sukzessive Quotienten Gr(F) = ⊕_i F_i / F_{i-1} gebildet werden und so die Filtration als Direktsumme von Schichten kodiert wird.

Prinzip

Die graduierten Stücke als Quotienten angrenzender Filtrationsstufen bilden, so dass das Produkt von Repräsentanten der Grade respektiert wird: Das assoziierte Graduierte erfasst führende Terme und vereinfacht oft algebraische Relationen zu ihren Hauptsymbolen.

Demonstration

Bei der Gradfiltration auf k[x] ist das assoziierte Graduierte isomorph zu k[x] mit der offensichtlichen Gradierung; für die PBW‑Filtration der universellen Hüllalgebra U(g) einer Lie‑Algebra g gilt gr U(g) ≅ Sym(g), eine kommutative Algebra, die die führenden Terme widerspiegelt.

Fehlanwendung

Anzunehmen, Eigenschaften des assoziierten Graduierten (z. B. Einfachheit, Dimension oder homologische Merkmale) überträgen sich automatisch auf das gefilterte Objekt, ohne Platheit oder Torsionsfreiheit zu prüfen; gr als exactes Invariant behandeln.

Konsequenz

Der Übergang zum assoziierten Graduierten liefert oft ein vereinfachtes graduiertes Modell für Rechnungen: Hilbert‑Reihen, führende Termideale und Degenerationen lassen sich berechnen; er unterstützt Spektralsequenzen und flache Degenerationen in geometrischen Zusammenhängen.

Umkehrung

Eine Filtration aus einer Graduation rekonstruieren geschieht durch kumulative Summen F_i = ⊕_{j≤i} graded_j; anders als die Vorwärtskonstruktion erfordert dies Wahlentscheidungen und stellt nicht notwendigerweise die ursprünglichen Erweiterungen oder Torsionsphänomene wieder her.

Abgrenzung

Setzt eine wohldefinierte Filtration voraus (Exhaustivität, Separiertheit beeinflussen das Verhalten); die gr‑Konstruktion kann Erweiterungs‑ oder Torsionsdaten verlieren und ist abhängig von der Indexierung; Wechselwirkungen mit Komplettierung und Rees‑Algebra sind zu berücksichtigen.

Semantische Spannung

Assoziiertes Graduiertes vs Rees‑Algebra vs Komplettierung: gr zeichnet Schichtquotienten auf, die Rees‑Algebra kodiert die Filtration global und interpoliert zwischen gefilterter und graduierter Sicht, Komplettierungen zeigen Grenzverhalten – diese Begriffe werden mitunter unachtsam vermischt.

Synthese

Die Konstruktion des assoziierten Graduierten übersetzt geschachtelte Filtrationsdaten in eine graduierte Direktsumme aus sukzessiven Quotienten, erfasst Hauptteile von Elementen und liefert ein handhabbares graduiertes Ersatzmodell für algebraische und geometrische Untersuchungen.