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

Aus Wikiversity



Monomiale Kurven

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


Definition  

Eine monomiale Kurve ist das Bild der affinen Geraden unter einer Abbildung der Form

mit für alle .

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 insgesamt teilerfremd sind. Dies ist keine wesentliche Einschränkung, da man andernfalls stets mit dem größten gemeinsamen Teiler und teilerfremden Zahlen schreiben kann. Dann kann man die Gesamtabbildung als Hintereinanderschaltung

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

Bemerkung  

Eine monomiale Abbildung ist nichts anderes als die zum Monoidhomomorphismus , der den -ten Basisvektor auf schickt, im Sinne von Bemerkung ***** gehörende Abbildung der zugehörigen -Spektren. Diese Monoidabbildung faktorisiert

wobei das von den 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

und geometrisch die Spektrumsabbildungen

vor. Das Bild der affinen Geraden liegt also im -Spektrum des Monoidringes . Wir werden in Satz 18.10 sehen, dass die Abbildung stets surjektiv ist und im Fall, dass die Exponenten teilerfremd sind, auch injektiv.



Beispiel  

Die Neilsche Parabel ist das Bild unter der monomialen Abbildung

Die zugehörige Gleichung ist , d.h. es ist .


Das Besondere an monomialen Kurven ist, dass sie zwar allein durch das Exponententupel 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  

Sei ein numerisches Monoid, das von teilerfremden natürlichen Zahlen erzeugt sei.

Dann gibt es zu jedem eine Darstellung

Für hinreichend groß kann man zusätzlich noch erreichen, so dass es dann eine Darstellung mit nichtnegativen Koeffizienten gibt.

Beweis  

Wegen der Teilerfremdheit gibt es natürlich eine Darstellung

mit ganzzahligen Koeffizienten . Wir werden sie schrittweise auf die gewünschte Gestalt bringen. Wir schreiben mit (Division mit Rest). Dies setzt man in die Gleichung für ein und schlägt den Term zu 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 Koeffizienten auf die gewünschte Gestalt bringen.

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


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  

Es sei ein durch teilerfremde Erzeuger definiertes numerisches Monoid. Dann nennt man die minimale Zahl mit die Führungszahl von .

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  

Sei ein numerisches Monoid mit teilerfremden Erzeugern. Dann nennt man die minimale Anzahl von Elementen in einem Erzeugendensystem für die Einbettungsdimension von .


Definition  

Sei ein durch teilerfremde Erzeuger definiertes numerisches Monoid. Dann nennt man das minimale positive Element , , die Multiplizität von , geschrieben .


Definition  

Sei ein durch teilerfremde Erzeuger definiertes numerisches Monoid. Dann nennt man die Anzahl der Lücken, d.h. der natürlichen Zahlen , den Singularitätsgrad von , geschrieben .


Beispiel  

Wir betrachten das durch und erzeugte numerische Monoid . besteht also aus allen Summen mit nichtnegativen Koeffizienten . Es lässt sich einfach überlegen, dass die folgenden Elemente enthält:

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




Satz  

Sei ein durch teilerfremde natürliche Zahlen erzeugtes Untermonoid.

Dann ist die monomiale Abbildung

eine Bijektion.

Beweis  

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

auffassen, die durch die Inklusion von Monoiden induziert ist. Zur Injektivität seien gegeben und sei angenommen, dass für alle gilt: . Bei folgt sofort , sei also , was nach sich zieht. Da es für ein teilerfremdes Erzeugendensystem gibt, gehören nach Lemma 18.4 ab einem gewissen alle natürlichen Zahlen zu . Es ist also insbesondere und . Damit ist

Zur Surjektivität. Es sei ein Monoidhomomorphismus gegeben, und wir müssen ihn zu einem Monoidhomomorphismus auf ganz fortsetzen. Es sei . Zwischen diesen Werten gilt die Beziehung

Wenn eines der ist, so müssen alle sein und die Nullabbildung ist eine Fortsetzung. Wir können also annehmen, dass alle Einheiten sind. Wegen der Teilerfremdheit der gibt es eine Darstellung der Eins, d.h. es gibt ganze Zahlen mit . Wir behaupten, dass durch eine Fortsetzung auf gegeben ist. Dazu müssen wir zeigen, dass der durch (also ) definierte Monoidhomomorphismus mit übereinstimmt, was man nur für die überprüfen muss. Betrachten wir also . Dann ist

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


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 . Der Fall, dass ein Erzeuger auf geht, wird wie im Beweis abgehandelt. Dann kann man davon ausgehen, dass ein Monoidhomomorphismus in die Einheitengruppe des Körpers vorliegt. Dann gibt es nach der universellen Eigenschaft der Monoidringe eine (eindeutig bestimmte) Fortsetzung , 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  

Sei ein numerisches Monoid mit teilerfremden Erzeugern, und es sei und .

Dann ist

ein Erzeugendensystem für , und jedes andere Erzeugendensystem enthält dieses.

Beweis  

Ein Element 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 , das nicht von diesen Elementen erzeugt würde. Insbesondere gehört dann nicht zu diesen Elementen und daher ist mit . Diese beiden Summanden sind aber kleiner als und deshalb gibt es für sie eine Summendarstellung aus diesen Elementen, was sofort ein Widerspruch ist.



Korollar  

Sei ein numerisches Monoid mit teilerfremden Erzeugern, und es sei und . Dann ist die Einbettungsdimension von gleich der Anzahl von .

Beweis  

Dies folgt direkt aus Lemma 18.12.


<< | Kurs:Algebraische Kurven (Osnabrück 2012) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)