Kurs:Algebraische Kurven (Osnabrück 2012)/Vorlesung 18/kontrolle

Monomiale Kurven

Wir spezialisieren nun die Theorie der Monoidringe auf den eindimensionalen Fall und gelangen zu denjenigen Ringen, die monomiale Kurven beschreiben.

Definition Referenznummer erstellen

Eine monomiale Kurve ist das Bild der affinen Geraden ${}{\mathbb {A} }_{K}^{1}$ unter einer Abbildung der Form

${\mathbb {A} }_{K}^{1}\longrightarrow {{\mathbb {A} }_{K}^{n}},\,t\longmapsto \left(t^{e_{1}},\,\ldots ,\,t^{e_{n}}\right),$

mit ${}e_{i}\geq 1$ für alle ${}i$.

Wir werden gleich sehen, dass das Bild einer solchen monomialen Abbildung Zariski-abgeschlossen ist, d.h., dass eine monomiale Kurve wirklich eine algebraische Kurve ist. Eine monomiale Kurve ist insbesondere eine parametrisierte und damit eine (aber im Allgemeinen nicht ebene) rationale Kurve. Manchmal bezeichnet man auch die Abbildung selbst als monomiale Kurve. Häufig beschränkt man sich auf den Fall, wo die Exponenten ${}e_{i}$ insgesamt teilerfremd sind. Dies ist keine wesentliche Einschränkung, da man andernfalls stets ${}e_{i}=mf_{i}$ mit dem größten gemeinsamen Teiler ${}m$ und teilerfremden Zahlen ${}f_{i}$ schreiben kann. Dann kann man die Gesamtabbildung als Hintereinanderschaltung

${\mathbb {A} }_{K}^{1}\longrightarrow {\mathbb {A} }_{K}^{1}\longrightarrow {{\mathbb {A} }_{K}^{n}}{\text{ mit }}t\longmapsto t^{m}=s{\text{ und }}s\longmapsto (s_{1}^{f_{1}},\ldots ,s_{n}^{f_{n}})$

auffassen, wobei vorne ein einfaches Potenzieren und hinten eine monomiale Kurvenabbildung mit teilerfremden Exponenten vorliegt.

Bemerkung   Referenznummer erstellen

Eine monomiale Abbildung ${}t\mapsto (t_{1}^{e_{1}},\ldots ,t_{n}^{e_{n}})$ ist nichts anderes als die zum Monoidhomomorphismus ${}\mathbb {N} ^{n}\rightarrow \mathbb {N}$, der den ${}i$-ten Basisvektor auf ${}e_{i}$ schickt, im Sinne von Bemerkung 17.9 gehörende Abbildung der zugehörigen ${}K$-Spektren. Diese Monoidabbildung faktorisiert

$\mathbb {N} ^{n}\longrightarrow M\longrightarrow \mathbb {N} ,$

wobei ${}M$ das von den ${}e_{i}$ erzeugte Untermonoid der natürlichen Zahlen ist. Ein solches Untermonoid heißt numerisches Monoid. Die erste Abbildung ist dabei eine Surjektion. Es liegen also insgesamt Ringhomomorphismen

$K[\mathbb {N} ^{n}]=K[X_{1},\ldots ,X_{n}]\longrightarrow K[M]\longrightarrow K[\mathbb {N} ]=K[T]$

und geometrisch die Spektrumsabbildungen

${\mathbb {A} }_{K}^{1}\longrightarrow K\!\!-\!\operatorname {Spek} \,{\left(K[M]\right)}\subseteq {{\mathbb {A} }_{K}^{n}}$

vor. Das Bild der affinen Geraden liegt also im ${}K$-Spektrum des Monoidringes ${}K[M]$. Wir werden in Satz 18.10 sehen, dass die Abbildung ${}{\mathbb {A} }_{K}^{1}\rightarrow K\!\!-\!\operatorname {Spek} \,{\left(K[M]\right)}$ stets surjektiv ist und im Fall, dass die Exponenten ${}e_{i}$ teilerfremd sind, auch injektiv.

Beispiel Referenznummer erstellen

Die Neilsche Parabel ${}C$ ist das Bild unter der monomialen Abbildung

${\mathbb {A} }_{K}^{1}\longrightarrow {\mathbb {A} }_{K}^{2},\,t\longmapsto (t^{2},t^{3})=(x,y).$

Die zugehörige Gleichung ist ${}y^{2}=x^{3}$, d.h. es ist ${}C=V(Y^{2}-X^{3})$.

Das Besondere an monomialen Kurven ist, dass sie zwar allein durch das Exponententupel ${}(e_{1},\ldots ,e_{n})$ bzw. das davon erzeugte numerische Monoid gegeben sind, also durch einen sehr kleinen Betrag an (kombinatorischer) Information, aber zugleich ein reichhaltiges Beispielmaterial an algebraischen Kurven liefern (dies gilt allgemein für Monoidringe und die dadurch definierten algebraischen Varietäten).

Lemma Lemma 18.4 ändern

Es sei ${}M\subseteq \mathbb {N}$ ein numerisches Monoid, das von teilerfremden natürlichen Zahlen ${}e_{1},\ldots ,e_{n}$ erzeugt sei.

Dann gibt es zu jedem ${}m\in \mathbb {N}$ eine Darstellung

$m=a_{1}e_{1}+\cdots +a_{n}e_{n}{\text{ mit }}0\leq a_{i}<e_{i+1}{\text{ für }}1\leq i\leq n-1.$

Für ${}m$ hinreichend groß kann man zusätzlich noch ${}a_{n}\geq 0$ erreichen, sodass es dann eine Darstellung mit nichtnegativen Koeffizienten gibt.

Beweis

Wegen der Teilerfremdheit gibt es natürlich eine Darstellung

${}m=b_{1}e_{1}+\cdots +b_{n}e_{n}\,$

mit ganzzahligen Koeffizienten ${}b_{i}$. Wir werden sie schrittweise auf die gewünschte Gestalt bringen. Wir schreiben ${}b_{1}=c_{1}e_{2}+a_{1}$ mit ${}0\leq a_{1}<e_{2}$ (Division mit Rest). Dies setzt man in die Gleichung für ${}m$ ein und schlägt den Term ${}c_{1}e_{2}e_{1}$ zu ${}b_{2}e_{2}$ dazu. Ebenso bringt man den (neuen) zweiten Koeffizienten auf die gewünschte Form, in dem man ihn mit dem dritten Erzeuger verarbeitet. So kann man alle ersten ${}n-1$ Koeffizienten auf die gewünschte Gestalt bringen.

Es sei die Darstellung nun in der gewünschten Form. Dann ist die Summe der ersten ${}n-1$ Summanden beschränkt. Wenn ${}m$ größer als diese Schranke ist, so muss der letzte Summand und damit auch der letzte Koeffizient nichtnegativ sein.

$\Box$

Zu einem von teilerfremden Elementen erzeugten Untermonoid gehören also ab einer gewissen Stelle alle natürlichen Zahlen. Diese bekommt sogar einen eigenen Namen.

Definition Referenznummer erstellen

Es sei ${}M\subseteq \mathbb {N}$ ein durch teilerfremde Erzeuger definiertes numerisches Monoid. Dann nennt man die minimale Zahl ${}f$ mit ${}\mathbb {N} _{\geq f}\subseteq M$ die Führungszahl von ${}M$.

Wir geben noch einige weitere Definitionen von numerischen Invarianten von monomialen Kurven, die man diskret, also auf der Ebene des numerischen Monoids berechnen kann. Wir werden später sehen, dass diese Invarianten allgemeiner für beliebige algebraische Kurven definiert werden können, dort aber im allgemeinen schwieriger zu berechnen sind.

Definition Definition 18.7 ändern

Sei ${}M\subseteq \mathbb {N}$ ein numerisches Monoid mit teilerfremden Erzeugern. Dann nennt man die minimale Anzahl von Elementen in einem Erzeugendensystem für ${}M$ die Einbettungsdimension von ${}M$.

Definition Referenznummer erstellen

Sei ${}M\subseteq \mathbb {N}$ ein durch teilerfremde Erzeuger definiertes numerisches Monoid. Dann nennt man das minimale positive Element ${}e\in M$, ${}e\geq 1$, die Multiplizität von ${}M$, geschrieben ${}e(M)$.

Definition Referenznummer erstellen

Sei ${}M\subseteq \mathbb {N}$ ein durch teilerfremde Erzeuger definiertes numerisches Monoid. Dann nennt man die Anzahl der Lücken, d.h. der natürlichen Zahlen ${}\mathbb {N} \setminus M$, den Singularitätsgrad von ${}M$, geschrieben ${}\delta (M)$.

Beispiel Referenznummer erstellen

Wir betrachten das durch ${}5,8$ und ${}11$ erzeugte numerische Monoid ${}M$. ${}M$ besteht also aus allen Summen ${}5a_{1}+8a_{2}+11a_{3}$ mit nichtnegativen Koeffizienten ${}a_{1},a_{2},a_{3}$. Es lässt sich einfach überlegen, dass ${}M$ die folgenden Elemente enthält:

$0,5,8,10,11,13,15,16,18,19,20,21,22,23,24,25,\ldots .$

Da es insbesondere fünf Zahlen hintereinander enthält (von ${}18$ bis ${}22$), muss jede weitere Zahl auch dazu gehören, da man ja einfach ${}5\in M$ dazuaddieren kann. Damit ist die Führungszahl ${}18$, die Multiplizität ist ${}5$, der Singularitätsgrad ist ${}10$ und die Einbettungsdimension ist ${}3$.

Satz Satz 18.10 ändern

Sei ${}M\subseteq \mathbb {N}$ ein durch teilerfremde natürliche Zahlen ${}e_{1},\ldots ,e_{n}$ erzeugtes Untermonoid.

Dann ist die monomiale Abbildung

${\mathbb {A} }_{K}^{1}\longrightarrow K\!\!-\!\operatorname {Spek} \,{\left(K[M]\right)}$

eine Bijektion.

Beweis

Die Abbildung kann man nach Bemerkung 17.9 als die natürliche Abbildung

${\mathbb {A} }_{K}^{1}=\operatorname {Mor} _{\operatorname {mon} }\,(\mathbb {N} ,K)\longrightarrow \operatorname {Mor} _{\operatorname {mon} }\,(M,K)$

auffassen, die durch die Inklusion von Monoiden ${}M\subseteq \mathbb {N}$ induziert ist. Zur Injektivität seien ${}a,b\in K$ gegeben und sei angenommen, dass für alle ${}m\in M$ gilt: ${}a^{m}=b^{m}$. Bei ${}b=0$ folgt sofort ${}a=0$, sei also ${}b\neq 0$, was ${}a\neq 0$ nach sich zieht. Da es für ${}M$ ein teilerfremdes Erzeugendensystem gibt, gehören nach Lemma 18.4 ab einem gewissen ${}f$ alle natürlichen Zahlen zu ${}M$. Es ist also insbesondere ${}a^{f}=b^{f}$ und ${}a^{f+1}=b^{f+1}$. Damit ist

${}a={\frac {a^{f+1}}{a^{f}}}={\frac {b^{f+1}}{b^{f}}}=b\,.$

Zur Surjektivität. Es sei ein Monoidhomomorphismus ${}\varpi \colon M\rightarrow K$ gegeben, und wir müssen ihn zu einem Monoidhomomorphismus auf ganz ${}\mathbb {N}$ fortsetzen. Es sei ${}\varphi (e_{i})=a_{i}\in K$. Zwischen diesen Werten gilt die Beziehung

${}a_{j}^{e_{i}}=\varphi (e_{j})^{e_{i}}=\varphi (e_{i}e_{j})=\varphi (e_{i})^{e_{j}}=a_{i}^{e_{j}}\,.$

Wenn eines der ${}a_{i}=0$ ist, so müssen alle ${}=0$ sein und die Nullabbildung ist eine Fortsetzung. Wir können also annehmen, dass alle ${}a_{i}$ Einheiten sind. Wegen der Teilerfremdheit der ${}e_{i}$ gibt es eine Darstellung der Eins, d.h. es gibt ganze Zahlen ${}m_{1},\ldots ,m_{n}$ mit ${}m_{1}e_{1}+\cdots +m_{n}e_{n}=1$. Wir behaupten, dass durch ${}1\mapsto a=a_{1}^{m_{1}}\cdots a_{n}^{m_{n}}$ eine Fortsetzung auf ${}\mathbb {N}$ gegeben ist. Dazu müssen wir zeigen, dass der durch ${}1\mapsto a$ (also $k\mapsto a^{k}$) definierte Monoidhomomorphismus mit ${}\varphi$ übereinstimmt, was man nur für die ${}e_{i}$ überprüfen muss. Betrachten wir also ${}e_{1}$. Dann ist

${}{\begin{aligned}a^{e_{1}}&=(a_{1}^{m_{1}}\cdots a_{n}^{m_{n}})^{e_{1}}\\&=a_{1}^{e_{1}m_{1}}\cdot a_{2}^{e_{1}m_{2}}\cdots a_{n}^{e_{1}m_{n}}\\&=a_{1}^{1-\sum _{i=2}^{n}m_{i}e_{i}}(a_{2}^{e_{1}m_{2}}\cdots a_{n}^{e_{1}m_{n}})\\&=a_{1}\cdot (a_{1}^{-m_{2}e_{2}}a_{2}^{e_{1}m_{2}})\cdots (a_{1}^{-m_{n}e_{n}}a_{n}^{e_{1}m_{n}})\\&=a_{1}\cdot (a_{1}^{-e_{2}}a_{2}^{e_{1}})^{m_{2}}\cdots (a_{1}^{-e_{n}}a_{n}^{e_{1}})^{m_{n}}\\&=a_{1},\end{aligned}}$

da die Faktoren rechts in der vorletzten Zeile alle gleich ${}1$ nach der Vorüberlegung (oberes Display) sind.

$\Box$

Bemerkung

Den vorstehenden Satz kann man auch über die universelle Eigenschaft der Differenzengruppe beweisen. Wir skizzieren dies kurz für die Surjektivität. Die Differenzengruppe eines numerischen Monoids mit teilerfremden Erzeugern ist ${}\mathbb {Z}$. Der Fall, dass ein Erzeuger auf ${}0$ geht, wird wie im Beweis abgehandelt. Dann kann man davon ausgehen, dass ein Monoidhomomorphismus ${}\varphi \colon M\rightarrow K^{\times }$ in die Einheitengruppe des Körpers vorliegt. Dann gibt es nach der universellen Eigenschaft der Monoidringe eine (eindeutig bestimmte) Fortsetzung ${}{\tilde {\varphi }}\colon \mathbb {Z} \rightarrow K^{\times }$, die das Urbild liefert.

Die folgenden beiden Aussagen zeigen, dass es für ein numerisches Monoid ein kanonisches Erzeugendensystem gibt und dass damit die Einbettungsdimension eine neue Interpretation erhält, die sich später auf beliebige noethersche lokale Ringe übertragen lässt (ein Monoidring ist natürlich nicht lokal, wohl aber die Lokalisierung an der Singularität eines numerischen Monoids).

Lemma Lemma 18.12 ändern

Sei ${}M\subseteq \mathbb {N}$ ein numerisches Monoid mit teilerfremden Erzeugern, und es sei ${}M_{+}={\left\{m\in M\mid m\geq 1\right\}}$ und ${}M_{+}+M_{+}={\left\{m+m'\mid m,m'\in M_{+}\right\}}$.

Dann ist

$M_{+}\setminus (M_{+}+M_{+})$

ein Erzeugendensystem für ${}M$, und jedes andere Erzeugendensystem enthält dieses.

Beweis

Ein Element ${}m\in M_{+}\setminus (M_{+}+M_{+})$ lässt sich nicht als Summe von anderen Elementen darstellen, daher gehöret es zu jedem Erzeugendensystem. Umgekehrt ist es aber schon ein Erzeugendensystem. Wäre das nicht der Fall, so gäbe es ein minimales Element ${}x\in M$, das nicht von diesen Elementen erzeugt würde. Insbesondere gehört dann ${}x$ nicht zu diesen Elementen und daher ist ${}x=x_{1}+x_{2}$ mit ${}x_{1},x_{2}\in M_{+}+M_{+}$. Diese beiden Summanden sind aber kleiner als ${}x$ und deshalb gibt es für sie eine Summendarstellung aus diesen Elementen, was sofort ein Widerspruch ist.

$\Box$

Korollar Korollar 18.13 ändern

Sei ${}M\subseteq \mathbb {N}$ ein numerisches Monoid mit teilerfremden Erzeugern, und es sei ${}M_{+}={\left\{m\in M\mid m\geq 1\right\}}$ und ${}M_{+}+M_{+}={\left\{m+m'\mid m,m'\in M_{+}\right\}}$. Dann ist die Einbettungsdimension von ${}M$ gleich der Anzahl von ${}M_{+}\setminus (M_{+}+M_{+})$.

Beweis

Dies folgt direkt aus Lemma 18.12.

$\Box$