Eine numerische Funktion, die jedem Grad d die Vektorraumdimension (oder Länge) der graduerten Komponente vom Grad d eines graduierten Moduls oder einer graduierten Algebra zuweist; sie dokumentiert, wie die Dimensionen mit dem Grad wachsen.

Prinzip

Die Hilbert-Funktion extrahiert graduierte Größenangaben Grad für Grad; für endlich erzeugte graduierte Objekte über einem Körper stimmt sie ab einem Schwellenwert mit einem Polynom (dem Hilbert-Polynom) überein.

Demonstration

Für den Polynomring k[x,y], graduiert nach Gesamtgrad, gilt H(d) = dim_k k[x,y]_d = d+1 für d ≥ 0, und das Hilbert-Polynom ist dasselbe lineare Polynom für alle hinreichend großen d.

Fehlanwendung

Die Annahme, die Hilbert-Funktion sei in jedem Grad ein Polynom, ist falsch; sie stabilisiert sich nur ab einem gewissen Grad zu einem Polynom, während das Verhalten in kleinen Graden abweichen kann.

Konsequenz

Richtige Anwendung liefert Invarianten wie Hilbert-Polynome, Multiplizitäten und Informationen zur projektiven Dimension; sie bildet die Grundlage für Dimensionszählung in der projektiven algebraischen Geometrie und für graduierte homologische Rechnungen.

Umkehrung

Ein umgekehrter Blickwinkel würde die Graduation ignorieren und die Gesamtgröße des Moduls messen, wodurch gradierte Wachstumsinformationen verloren gehen und feine Unterschiede zu einem einzigen Invariant zusammengeklappt werden.

Abgrenzung

Definiert für graduierte Module über graduierten Ringen, üblicherweise endlich erzeugt über einer graduierten Algebra über einem Körper; für Objekte ohne Graduation oder über Ringen mit Torsion kann die Funktion schlecht verhalten sein oder Länge statt Dimension verlangen.

Semantische Spannung

Es besteht Spannung zwischen der diskreten Hilbert-Funktion und ihrem eventualen stetigen Ersatz, dem Hilbert-Polynom; sowohl das vorstabile Verhalten als auch das stabile Polynom zu verstehen ist in Anwendungen entscheidend.

Synthese

Die Hilbert-Funktion zeichnet auf, wie die Teile eines graduierten Objekts mit dem Grad wachsen; zusammen mit dem späteren Hilbert-Polynom liefert sie präzise numerische Steuerung in algebraischer Geometrie und kommutativer Algebra.