Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 2/kontrolle
- Glatte Kurven
Ein reelles Polynom in zwei Variablen kann man als eine differenzierbare Funktion , die algebraische Kurve ist die Faser von über dem Nullpunkt . In dieser Situation ist der Satz über implizite Abbildungen anwendbar. Er besagt für einen Punkt , dass unter der Voraussetzung, dass zumindest eine partielle Ableitung oder in nicht ist, es eine offene Ballumgebung , ein reelles Intervall und eine stetig differenzierbare Abbildung
derart gibt, dass eine Bijektion des Intervalls mit dem Faserausschnitt vorliegt. Das bedeutet, dass die Faser lokal in einem solchen Punkt wie ein differenzierbar gekrümmtes Intervall aussieht, also eine eindimensionale reelle Mannigfaltigkeit in diesen Punktes ist. Wenn beide partiellen Ableitungen in gleich sind, so kann man diesen Satz nicht anwenden. Für das Studium der algebraischen Kurven ist es wichtig, dass man die Voraussetzung des Satzes, dass zumindest eine partielle Ableitung nicht verschwindet, über einem beliebigen Körper formulieren kann, obwohl es für die Schlussfolgerung des Satzes keine unmittelbare Entsprechung gibt.
Für Polynome kann man das Konzept einer partiellen Ableitung auf jeden Grundkörper formal übertragen, wobei in positiver Charakteristik einige Besonderheiten auftreten, siehe hierzu die Aufgaben.
Definition Definition 2.1 ändern
Es sei ein Körper und ein von verschiedenes Polynom. Es sei ein Punkt der zugehörigen affinen ebenen Kurve. Dann heißt ein glatter Punkt von , wenn
gilt. Andernfalls heißt der Punkt singulär.
Bei einer glatten Kurve fordert man also, dass nicht nur die -Punkte, sondern auch die -Punkte zu einer beliebigen Körpererweiterung glatt sind. Es genügt, dies für die Punkte des algebraischen Abschlusses zu fordern. Da eine über definierte Kurve überhaupt keinen -Punkt besitzen muss, ist eine solche Formulierung nötig, um einen sinnvollen Begriff zu erhalten.
Es sei ein Körper und ein von verschiedenes Polynom mit der zugehörigen Kurve . Dann sind folgende Eigenschaften äquivalent.
- ist eine glatte Kurve.
- Jeder Punkt ist glatt, wobei einen algebraischen Abschluss von bezeichnet.
- Die Polynome erzeugen in das Einheitsideal.
- Die Polynome erzeugen in das Einheitsideal.
Von (1) nach (2) ist klar, da die Glattheit ja eine Anforderung an jede Körpererweiterung ist. Es sei (2) erfüllt. Angenommen, das Ideal sei nicht das Einheitsideal. Dann gibt es nach Lemma 11.3 (Kommutative Algebra) ein maximales Ideal in mit
Da algebraisch abgeschlossen ist, ist nach Satz 10.10 (Algebraische Kurven (Osnabrück 2017-2018)) das Ideal ein Punktideal, also von der Form mit . Die Inklusionsbedingung
bedeutet
und somit ist ein nichtglatter Punkt von , im Widerspruch zu (2). Von (3) nach (4) gilt für jedes Ideal (siehe Aufgabe 2.10). Von (4) nach (1). Sei eine beliebige Körpererweiterung. Dann ist erst recht das Ideal in das Einheitsideal. Für einen Punkt
können dann nicht und die partiellen Ableitungen simultan verschwinden, es liegt also ein glatter Punkt vor.
Für einen glatten Punkt einer ebenen algebraischen Kurve nennt man die durch die Gleichung
gegebene Gerade die Tangente im Punkt an die Kurve. Bei kann man die Glattheit und die Tangente einfach ablesen. Man zerlegt in die homogenen Komponenten
Dabei ist der konstante Term , da der Nullpunkt ein Punkt der Kurve ist, und der lineare Term ist . Hierbei ist
(da die höheren homogenen Komponenten von keinen Beitrag zu den partiellen Ableitungen im Nullpunkt leisten), es liegt genau dann ein glatter Punkt vor, wenn und die Bedingung beschreibt die Tangente.
Die folgende Ausssage zeigt, dass ein Kreuzungspunkt zweier irreduzibler Komponenten niemals glatt sein kann.
Es sei eine ebene algebraische Kurve und die Zerlegung in verschiedene Primfaktoren. Es sei ein glatter Punkt der Kurve.
Dann liegt auf nur einer Komponente der Kurve.
Beweis
Es sei ein Körper, sei ein Polynom, das in verschiedene Linearfaktoren zerfalle. Es sei kein Vielfaches der Charakteristik von .
Dann ist die durch die Gleichung gegebene algebraische Kurve glatt.
Die Voraussetzungen ändern sich nicht, wenn wir zu einer Körpererweiterung übergehen, wir können also direkt einen Punkt betrachten und müssen zeigen, dass er glatt ist. Nehmen wir also an, dass er nicht glatt ist. Die partiellen Ableitungen sind und . Wegen in folgt (bei , bei ist diese partielle Ableitung konstant ) . Aus der Kurvengleichung folgt und aus der ersten partiellen Ableitung folgt . Doch dann ist eine mehrfache Nullstelle von , was nach Voraussetzung ausgeschlossen ist.
Für uns wird insbesondere der Fall
mit einem Polynom vom Grad ohne mehrfache Nullstelle entscheidend sein.
Wir bestimmen für einige kubische Kurven, die nicht glatt sind, die singulären Punkte.
Wir betrachten die durch das Polynom gegebene Neilsche Parabel über einem Körper der Charakteristik . Die partiellen Ableitungen sind
Wenn man diese setzt, so folgt direkt, dass der einzige singuläre Punkt der Kurve ist und diese ansonsten glatt ist.
Wir betrachten die durch das Polynom gegebene Tschirnhausen Kubik über einem Körper der Charakteristik . Die partiellen Ableitungen sind
Wenn man diese (zusammen mit der Kurvengleichung selbst) setzt, so folgt und somit auch
Somit ist der Nullpunkt der einzige singuläre Punkt der Kurve, die ansonsten glatt ist.
Das Kartesische Blatt wird durch die Gleichung
beschrieben, der Grundkörper habe nicht die
Charakteristik.
Die
partiellen Ableitungen
sind
Wenn man diese (zusammen mit der Kurvengleichung selbst) setzt, so folgt und , also auch (ebenso für ). Dann ist , und somit liegt im Nullpunkt eine Singularität vor, oder und sind beide eine dritte Einheitswurzel (und zwar sind beide oder es sind die beiden anderen dritten Einheitswurzeln). An diesen anderen Verschwindungsstellen der beiden partiellen Ableitungen hat aber den Wert , diese sind also keine Punkte der Kurve. Der Nullpunkt ist also der einzige nichtglatte Punkt der Kurve.
- Lokale Ringe
Wie in der ersten Vorlesung erwähnt, nennt man den Koordinatenring zur Kurve . Zu einem -Punkt der Kurve gehört das maximalen Ideal in und entsprechend das maximale Ideal in , das im Allgemeinen wieder mit bezeichnet wird. Das Komplement von besteht aus allen Funktionen, die im Punkt nicht den Wert besitzen. Es handelt sich um ein multiplikatives System, ist also abgeschlossenen unter der Multiplikation und beinhaltet die (konstante Funktion) . Zu einem solchen multiplikativen System in einem kommutativen Ring kann man die Nenneraufnahme konstruieren, dessen Elemente man als , , schreibt und worin die Elemente aus zu Einheiten werden. Bei einem maximalen Ideal wird die Nenneraufname an als (als Abkürzung für ) bezeichnet. Mit dieser Konstruktion lässt sich der lokale Ring der Kurve im Punkt beschreiben, und zwar in doppeler Weise als
(dabei ist das maximale Ideal aufgefasst im Restklassenring). Dieser Ring beschreibt die wesentlichen algebraischen Eigenschaften des Punktes auf der Kurve. Zunächst handelt es sich um einen lokalen Ring im Sinne der folgenden Definition.
Ein kommutativer Ring heißt lokal, wenn genau ein maximales Ideal besitzt.
Im glatten Kurvenfall erfüllt der lokale Ring weitere starke Eigenschaften.
Ein diskreter Bewertungsring ist ein Hauptidealbereich mit der Eigenschaft, dass es bis auf Assoziiertheit genau ein Primelement in gibt.
Es sei ein Körper, ein Polynom ohne mehrfache Faktoren und sei ein glatter Punkt der Kurve. Es sei der lokale Ring der Kurve im Punkt .
Dann ist ein diskreter Bewertungsring.
Zunächst ist ein noetherscher lokaler Ring, der aufgrund von Lemma 2.5 ein Integritätsbereich ist. Daher sind die einzigen Primideale das Nullideal und das maximale Ideal . Wir werden zeigen, dass das maximale Ideal ein Hauptideal ist.
Wir können annehmen, dass der Nullpunkt ist, und schreiben als
mit . Da glatt ist, liegt eine solche Gestalt vor. Durch eine Variablentransformation können wir erreichen, dass ist. Wir können in die isoliert stehenden Potenzen von (die Monome, wo kein vorkommt) zusammenfassen und bei den anderen ausklammern. Dann lässt sich die Gleichung als
schreiben, wobei ist. Es ist eine Einheit in und erst recht im lokalen Ring der Kurve im Nullpunkt. Daher gilt in die Beziehung
Also wird das maximale Ideal im lokalen Ring von allein erzeugt, sodass nach Satz 21.8 (Algebraische Kurven (Osnabrück 2017-2018)) ein diskreter Bewertungring vorliegt.
Von dieser Aussage gilt auch die Umkehrung, siehe Satz 23.7 (Algebraische Kurven (Osnabrück 2017-2018)).
Wenn der Koordinatenring ein Integritätsbereich ist, was genau dann der Fall ist, wenn ein irreduzibles Polynom ist, so kann man den Quotientenkörper davon bilden, der die Nenneraufnahme an allen Elementen ist. Der entstehende Körper heißt der Funktionenkörper der Kurve. Für jeden Punkt der Kurve ist der Funktionenkörper gleich dem Quotientenkörper des lokalen Ringes in diesem Punkt.