Ein Polynom P(n), das für ein endlich erzeugtes graduiertes Modul über einem noetherschen graduierten Ring für alle hinreichend großen ganzen Zahlen n mit der Hilbert-Funktion H(n) übereinstimmt; es kodiert die asymptotische polynomiale Wachstumsrate der Dimensionen (oder Längen) der graduierten Komponenten.

Prinzip

Ereignete Stabilisierung: Die Hilbert-Funktion kann in kleinen Graden schwanken, doch für große Grade wird ihr Verlauf durch ein einziges Polynom bestimmt; Grad und führender Koeffizient dieses Polynoms spiegeln geometrische und homologische Invarianten (Dimension und Multiplizität) wider.

Demonstration

Für den homogenen Koordinatenring einer projektiven Varietät der Dimension d über einem Körper hat das Hilbert-Polynom Grad d und sein führender Koeffizient (multipliziert mit d!) ist gleich dem Grad der Varietät; etwa hat der Ring k[x0,x1] für n≫0 das Polynom P(n)=n+1, entsprechend den Dimensionen der homogenen Polynome vom Grad n in zwei Variablen.

Fehlanwendung

Das Hilbert-Polynom zur Bestimmung genauer gradierter Dimensionen in kleinen Graden verwenden oder es für Module einsetzen, die nicht endlich erzeugt sind, bzw. in Ringen ohne geeignete Graduation, wo keine Stabilisierung eintritt.

Konsequenz

Wenn vorhanden, liefert das Hilbert-Polynom stabile Invarianten (Grad, arithmetischer Geschlecht aus niedrigeren Koeffizienten) und erlaubt asymptotische Vergleiche zwischen Modulen und Unterschemata sowie Abschätzungen zur Komplexität basierend auf dem Grad.

Umkehrung

Die Hilbert-Funktion selbst (die rohe Folge H(n)) behält die vollständigen Informationen über kleine Grade und Abweichungen vom polynomialen Verhalten; Umkehr bedeutet, gradweise Phänomene statt asymptotischer Invarianten zu studieren.

Abgrenzung

Gilt für endlich erzeugte gradierte Module über noetherschen graduierten Ringen (gewöhnlich standardgraduierte Algebren); nicht anwendbar auf ungradierte oder unendlich erzeugte Module oder Ringe ohne Gradierung und Stabilisierung.

Semantische Spannung

Steht im Spannungsfeld zur Hilbert-Reihe: Das Polynom fasst das asymptotische Wachstum zusammen, während die Reihe die gesamte graduierte Struktur darstellt; es überschneidet sich außerdem mit Multiplizitätsbegriffen, unterscheidet sich aber in Normierung und Kontext.

Synthese

Das Hilbert-Polynom ist die endliche algebraische Zusammenfassung des langfristigen graduierten Wachstums eines Moduls: Es extrahiert Dimension und Multiplizität aus der unendlichen Folge gradierter Dimensionen und verbindet algebraische Größe mit geometrischen Eigenschaften.