Noetherscher Ring/Graduiert/Z/Modul/Länge/Hilbertfunktion/Einführung/Textabschnitt

Definition

Es sei ${}M$ ein graduierter Modul über einem ${}\mathbb {Z}$-graduierten kommutativen Ring ${}R$ mit der Eigenschaft, dass die homogenen Stufen ${}M_{n}$ endliche Länge haben. Dann nennt man die Funktion

$H_{M}\colon \mathbb {Z} \longrightarrow \mathbb {Z} ,\,n\longmapsto \ell (M_{n}),$

die Hilbertfunktion zu ${}M$.

Wenn ${}R_{0}=K$ ein Körper ist, so geht es einfach um die ${}K$-Vektorraumdimensionen der ${}n$-ten Stufen ${}M_{n}$.

Beispiel

Sei ${}R=K[X_{1},\ldots ,X_{m}]$ der Polynomring in ${}m$ Variablen über einem Körper ${}K$. Dann gibt es nach Aufgabe genau ${}{\binom {n+m-1}{m-1}}$ Monome vom Grad ${}n$. Dies ist somit die ${}K$-Vektorraumdimension der ${}n$-ten Stufe des standard-graduierten Polynomringes. Die Hilbertfunktion des graduierten ${}R$-Moduls ${}R$ ist also

${}{\begin{aligned}H_{R}(n)&={\binom {n+m-1}{m-1}}\\&={\frac {(n+m-1)\cdots (n+1)}{(m-1)!}}\\&={\frac {1}{(m-1)!}}n^{m-1}+{\frac {m}{2(m-2)!}}n^{m-2}+{\text{ kleinere Terme}}.\end{aligned}}$

Insbesondere ist die Hilbertfunktion ein Polynom mit Koeffizienten aus ${}\mathbb {Q}$, das aber an jeder natürlichen Stelle eine natürliche Zahl als Wert besitzt.

In einer Variablen ist ${}H_{R}$ konstant ${}=1$, in zwei Variablen ist ${}H_{R}(n)=n+1$, in drei Variablen ist ${}H_{R}(n)={\frac {(n+2)(n+1)}{2}}={\frac {1}{2}}n^{2}+{\frac {3}{2}}n+1$, in vier Variablen ist ${}H_{R}(n)={\frac {(n+3)(n+2)(n+1)}{6}}={\frac {1}{6}}n^{3}+n^{2}+{\frac {11}{6}}n+1$.

Lemma

Es sei ${}R$ ein standard-graduierter Ring über einem lokalen artinschen Ring ${}R_{0}$ und sei ${}M$ ein endlich erzeugter graduierter ${}R$-Modul der Dimension ${}d$.

Dann ist die Hilbertfunktion ${}H_{M}$ von polynomialem Typ.

Beweis

Noetherscher Ring/Graduiert/Z/Modul/Länge/Hilbertfunktion/Polynomial/Fakt/Beweis

$\Box$

Lemma

Es sei ${}F\in P=K[X_{1},\ldots ,X_{m}]$ ein homogenes Polynom ${}\neq 0$ vom Grad ${}d$.

Dann ist die Hilbertfunktion von ${}R=K[X_{1},\ldots ,X_{m}]/(F)$ gleich (die zweite Gleichung gilt für ${}n\geq d$)

${}H_{R}(n)=H_{P}(n)-H_{P}(n-d)={\frac {d}{(m-2)!}}n^{m-2}+{\text{ kleinere Terme}}\,.$

Beweis

Es liegt eine kurze exakte Sequenz von graduierten ${}P$-Moduln

$0\longrightarrow P(-d){\stackrel {\cdot F}{\longrightarrow }}P\longrightarrow R\longrightarrow 0$

und damit auch für jede Stufe eine kurze exakte Sequenz von endlichdimensionalen ${}K$-Vektorräumen

$0\longrightarrow P_{n-d}{\stackrel {\cdot F}{\longrightarrow }}P_{n}\longrightarrow R_{n}\longrightarrow 0$

vor. Daher gilt

${}H_{R}(n)=H_{P}(n)-H_{P}(n-d)\,.$

Nach Beispiel ist

${}H_{P}(n)={\binom {n+m-1}{m-1}}\,$

für ${}n\geq 0$. Somit ist für ${}n\geq d$

${}{\begin{aligned}H_{R}(n)&=H_{P}(n)-H_{P}(n-d)\\&={\binom {n+m-1}{m-1}}-{\binom {n-d+m-1}{m-1}}\\&={\frac {(n+m-1)\cdots (n+1)}{(m-1)!}}-{\frac {(n-d+m-1)\cdots (n-d+1)}{(m-1)!}}\\&={\frac {1}{(m-1)!}}{\left({\frac {m(m-1)}{2}}+(m-1)d-{\frac {m(m-1)}{2}}\right)}n^{m-2}+{\text{ kleinere Terme}}\\&={\frac {d}{(m-2)!}}n^{m-2}+{\text{ kleinere Terme}}.\end{aligned}}$

$\Box$

Definition

Es sei ${}R$ ein standard-graduierter Ring über einem lokalen artinschen Ring ${}R_{0}$ und sei ${}M$ ein endlich erzeugter graduierter ${}R$-Modul. Dann nennt man das eindeutig bestimmte Polynom

${}P_{M}\in \mathbb {Q} [X]\,$

mit ${}H_{M}(n)=P_{M}(n)$ für ${}n\gg 0$ das Hilbertpolynom zu ${}M$.