Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 16/kontrolle

Wir besprechen in dieser Vorlesung Vorbereitungen, um die Multiplizität einer Singularität als Eigenschaft des lokalen Ringes algebraisch erfassen zu können.

Graduierte Moduln

Definition Referenznummer erstellen

Es sei ${}R=\bigoplus _{d\in \mathbb {Z} }R_{d}$ ein kommutativer ${}\mathbb {Z}$- graduierter Ring. Ein ${}R$- Modul ${}M$ mit einer direkten Summenzerlegung

${}M=\bigoplus _{d\in \mathbb {Z} }M_{d}\,,$

wobei die ${}M_{d}$ Moduln über ${}R_{0}$ sind und wobei die Skalarmultiplikation die Eigenschaft

${}R_{d}\cdot M_{e}\subseteq M_{d+e}\,$

für alle ${}d,e\in \mathbb {Z}$ erfüllt, heißt graduierter Modul über ${}R$.

Dabei heißt ${}M_{d}$ die ${}d$-te Stufe des Moduls. Wenn ${}R_{d}=0$ bzw. ${}M_{d}=0$ für negative ${}d$ ist, so spricht man ${}\mathbb {N}$-graduierten Ringen bzw. Moduln. Wenn

${}R_{0}=K\,$

ein Körper ist, so sind sämtliche Stufen ${}M_{d}$ Vektorräume über ${}K$. Ein ${}\mathbb {Z}$-graduierter Ring ${}R$ ist ein graduierter Modul über sich selbst. Ebenso ist jedes homogene Ideal (also ein von homogenen Elementen erzeugtes Ideal) ${}I\subseteq R$ ein graduierter Untermodul und

${}R/I=\bigoplus _{d\in \mathbb {Z} }R_{d}/I_{d}\,$

ist ein graduierter Restklassenmodul.

Definition Referenznummer erstellen

Es sei ${}R=\bigoplus _{d\in \mathbb {Z} }R_{d}$ ein kommutativer ${}\mathbb {Z}$- graduierter Ring und seien ${}M=\bigoplus _{d\in \mathbb {Z} }M_{d}$ und ${}N=\bigoplus _{d\in \mathbb {Z} }N_{d}$ graduierte Moduln über ${}R$. Ein ${}R$- Modulhomomorphismus

$\varphi \colon M\longrightarrow N$

heißt homogen, wenn ${}\varphi (M_{d})\subseteq N_{d}$ für alle ${}d\in \mathbb {Z}$ gilt.

Manchmal nennt man die vorstehenden Homomorphismen auch graduierte Homomorphismen vom Grad ${}0$ und nennt auch solche Homomorphismen homogen, bei denen der Grad um eine bestimmte Zahl verschoben wird. Solche Verschiebungen kann man aber auch durch Verschiebungen in der Graduierung beschreiben.

Definition Definition 16.3 ändern

Es sei ${}R=\bigoplus _{d\in \mathbb {Z} }R_{d}$ ein kommutativer graduierter Ring und ${}M=\bigoplus _{d\in \mathbb {Z} }M_{d}$ ein ${}\mathbb {Z}$- graduierter Modul über ${}R$. Zu ${}n\in \mathbb {Z}$ versteht man unter ${}M(n)$ den gleichen, aber mit der Graduierung

${}{\left(M(n)\right)}_{d}:=M_{n+d}\,$

versehenen Modul. Man nennt ihn den um den Grad ${}n$ verschobenen Modul.

Speziell spielen die ${}R(n)$ eine wichtige Rolle. Wenn ${}v\in M$ ein homogenes Element vom Grad ${}d$ eines graduierten ${}R$-Moduls ist, so gehört dazu der homogene Modulhomomorphismus

$R(-d)\longrightarrow M,\,1\longmapsto v.$

Lemma Lemma 16.4 ändern

Es sei ${}R=\bigoplus _{d\in \mathbb {Z} }R_{d}$ ein kommutativer ${}\mathbb {Z}$- graduierter Ring und ${}M=\bigoplus _{d\in \mathbb {Z} }M_{d}$ ein ${}\mathbb {Z}$- graduierter Modul über ${}R$.

Wenn ${}M$ ein endlich erzeugter ${}R$- Modul ist, so wird er auch von endlich vielen homogenen Elementen erzeugt und es gibt einen surjektiven homogenen Modulhomomorphismus der Form

$\bigoplus _{i=1}^{k}R(-d_{i})\longrightarrow M.$

Beweis

Siehe Aufgabe 16.4.

$\Box$

Die Hilbertfunktion

Definition Referenznummer erstellen

Es sei ${}R$ ein standard-graduierter Ring über einem Körper ${}R_{0}=K$. Es sei ${}M$ ein ${}\mathbb {Z}$- graduierter Modul über ${}R$ mit der Eigenschaft, dass die homogenen Stufen ${}M_{n}$ endlichdimensionale ${}K$- Vektorräume sind. Dann nennt man die Funktion

$H_{M}\colon \mathbb {Z} \longrightarrow \mathbb {Z} ,\,n\longmapsto \dim _{K}{\left(M_{n}\right)},$

die Hilbertfunktion zu ${}M$.

Beispiel Beispiel 16.6 ändern

Sei ${}R=K[X_{1},\ldots ,X_{m}]$ der Polynomring in ${}m$ Variablen über einem Körper ${}K$. Dann gibt es nach Aufgabe 4.6 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 Lemma 16.7 ändern

Es sei ${}R$ ein standard-graduierter Ring über einem Körper ${}R_{0}=K$ und sei ${}M$ ein endlich erzeugter ${}\mathbb {Z}$- graduierter Modul über ${}R$.

Dann sind die homogenen Stufen ${}M_{n}$ endlichdimensionale ${}K$- Vektorräume.

Beweis

Zunächst ist ${}R$ ein Restklassenring eines standard-graduierten Polynomringes und somit sind die homogenen Stufen von ${}R$ nach Beispiel 16.6 endlichdimensional. Nach Lemma 16.4 gilt dies auch für die Stufen des Moduls.

$\Box$

Definition Referenznummer erstellen

Eine Funktion ${}f\colon \mathbb {Z} \rightarrow \mathbb {Z}$ heißt von polynomialen Typ, wenn es ein Polynom ${}P\in \mathbb {Q} [X]$ und ein ${}n_{0}\in \mathbb {N}$ mit ${}f(n)=P(n)$ für alle ${}n\geq n_{0}$ gibt.

Lemma Lemma 16.9 ändern

Es sei ${}R$ ein standard-graduierter Ring über einem Körper ${}R_{0}=K$ und sei ${}M$ ein endlich erzeugter graduierter ${}R$- Modul.

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

Beweis

Zunächst sind nach Lemma 16.7 die Stufen ${}M_{d}$ endlichdimensional, sodass die Hilbertfunktion wohldefiniert ist. Nach Voraussetzung ist das irrelevante Ideal ${}R_{+}=\bigoplus _{d\geq 1}R_{d}$ endlich erzeugt, und zwar wird es von Elementen aus ${}R_{1}$ erzeugt. Wir führen Induktion über die Erzeugendenanzahl ${}r$ dieses Ideals. Bei ${}r=0$ ist ${}R=R_{0}=K$ ein Körper und ${}M$ ist als ganzes ein endlichdimensionaler Vektorraum. Deshalb sind alle Stufen ${}M_{d}$ zu hinreichend großen ${}d$ gleich ${}0$. Zum Induktionsschluss sei ${}R_{+}=(f_{1},\ldots ,f_{r})$ und ${}M$ ein endlicher erzeugter graduierter ${}R$-Modul. Der Restklassenring ${}S=R/(f_{r})$ ist ebenfalls standard-graduiert und sein irrelevantes Ideal besitzt einen Erzeuger weniger, auf ihn können wir also die Induktionsvoraussetzung anwenden. Der Restklassenmodul ${}N=M/(f_{r})M$ ist (ein graduierter ${}R$- und damit auch) ein graduierter ${}S$-Modul. Folglich gibt es ein Polynom

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

mit ${}H_{N}(d)=Q(d)$ für ${}d$ hinreichend groß. Es liegt eine exakte Sequenz

$0\longrightarrow L={\left\{m\in M\mid f_{r}\cdot m=0\right\}}\longrightarrow M{\stackrel {\cdot f_{r}}{\longrightarrow }}M(1)\longrightarrow {\left(M/f_{r}M\right)}(1)\longrightarrow 0$

von graduierten endlich erzeugten ${}R$-Moduln vor. Dabei ist der Modul links ebenfalls ein ${}S$-Modul, und somit gibt es nach Induktionsvoraussetzung ein weiteres Polynom ${}T\in \mathbb {Q} [X]$ mit ${}H_{L}(d)=T(d)$ für ${}d$ hinreichend groß. Da sich die Vektorraumdimensionen für exakte Komplexe von ${}K$-Vektorräumen additiv verhalten, gilt

${}H_{M}(d+1)-H_{M}(d)=H_{N}(d)-H_{L}(d)=Q(d)-T(d)\,$

für ${}d$ hinreichend groß. Ab einem gewissen ${}d_{0}$ verhält sich also der Zuwachs von ${}H_{M}(d)$ polynomial und daher ist nach Lemma Anhang 9.4 die Funktion ${}H_{M}(d)$ selbst polynomial.

$\Box$

Lemma Lemma 16.10 ändern

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 16.6 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$

Aufgrund von Lemma 16.9 ist die folgende Definition sinnvoll.

Definition Referenznummer erstellen

Es sei ${}R$ ein standard-graduierter Ring über einem Körper ${}R_{0}=K$ und sei ${}M$ ein endlicher erzeugter ${}\mathbb {Z}$- graduierter Modul über ${}R$. 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$.

Definition Referenznummer erstellen

Es sei ${}R$ ein standard-graduierter Ring über einem Körper ${}R_{0}=K$ und sei ${}M$ ein endlicher erzeugter ${}\mathbb {Z}$- graduierter Modul über ${}R$. Das Hilbertpolynom zu ${}M$ habe die Form

${}P_{M}(d)=\alpha _{m}d^{m}+\cdots +\alpha _{1}d+\alpha _{0}\,$

mit ${}\alpha _{m}\neq 0$. Dann nennt man

${}e(M):=m!\cdot \alpha _{m}\,$

die Multiplizität von ${}M$.

Wenn das Hilbertpolynom das Nullpolynom ist, so betrachtet man ${}\sum _{i\in \mathbb {Z} }\dim _{K}{\left(M_{i}\right)}$ als die Multiplizität. Diesen Ausnahmefall kann man umschiffen, wenn man das kumulative Hilbertpolynom betrachtet, siehe die Aufgaben.

Satz Satz 16.13 ändern

Die Multiplizität des Polynomringes über einem Körper

ist ${}1$.

Beweis

Nach Beispiel 16.6 ist das Hilbertpolynom eines Polynomringes in ${}m$ Variablen gleich ${}{\frac {1}{(m-1)!}}n^{m-1}+{\frac {m}{2(m-2)!}}n^{m-2}+{\text{ kleinere Term}}$. Multiplikation des Leitkoeffizienten mit der Fakultät des Grades ergibt ${}1$.

$\Box$

Satz Referenznummer erstellen

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

Dann ist die Multiplizität von ${}R=K[X_{1},\ldots ,X_{m}]/(F)$ gleich ${}d$.

Beweis

Dies folgt aus der expliziten Berechnung in Lemma 16.10.

$\Box$

Satz Satz 16.15 ändern

Es sei ${}R$ ein standard-graduierter Ring über einem Körper ${}R_{0}=K$ und sei ${}M$ ein endlicher erzeugter ${}\mathbb {Z}$- graduierter Modul über ${}R$.

Dann ist die Multiplizität von ${}M$ eine natürliche Zahl.

Beweis

Diese Eigenschaft gilt nach Korollar Anhang 9.6 für jede Funktion von polynomialen Typ.

$\Box$