Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 17/kontrolle

Aus Wikiversity
Zur Navigation springen Zur Suche springen



Das Geschlecht einer Kurve
Torus illustration.png
Double torus illustration.png
Sphere with three handles.png

In diesem Kurs arbeiten wir nahezu ausschließlich mit elliptischen Kurven in dem Sinne, dass wir darunter eine glatte kubische Kurve in der projektiven Ebene verstehen. Dies hat den Vorteil, dass wir mit einfachen Gleichungen arbeiten können, dass wir auf geometrisch nachvollziehbare Weise eine Gruppenstruktur erhalten, dass wir direkt Fragestellungen zu -rationalen Punkten (insbesondere bei und endlichen Körpern, siehe auch die folgenden Vorlesungen), angehen können. Es gibt aber auch andere Möglichkeiten, eine elliptische Kurve zu definieren, die den Fokus auf andere Aspekte legen. In der komplexen Situation haben wir gesehen, dass die komplexe Tori eine bestimmte topologische Gestalt besitzen, nämlich eben Tori sind. Generell sind komplexe glatte projektive Kurven, aufgefasst als reell-zweidimensionale kompakte orientierte Mannigfaltigkeiten, topologisch betrachtet einfach Kugeloberflächenn, die man mit einer bestimmten Anzahl an Henkeln versehen hat. Diese Anzahl nennt man das topologische Geschlecht der Fläche bzw. der komplexen Kurve. Komplex-elliptische Kurven besitzen also das topologische Geschlecht . Es erhebt sich die Frage, ob man rein algebraisch das Geschlecht einer glatten projektiven Kurve definieren kann, welche Relevanz das besitzt und was dann Geschlecht bedeutet. Wir werden hier, weitgehend ohne Beweise, zwei Möglichkeiten vorstellen, wie man das Geschlecht algebraisch definieren kann, und dabei erläutern, dass Geschlecht genau den elliptischen Kurven entspricht.


Definition  Referenznummer erstellen

Zu einer glatten projektiven Kurve über einem algebraisch abgeschlossenen Körper nennt man

das differentielle Geschlecht der Kurve.

Beim differentiellen Geschlecht geht es also um die maximale Anzahl an linear unabhängigen globalen Differentialformen auf der Kurve. Auf einer Varietät bilden die Differentialformen eine Garbe, die globalen Differentialformen sind einfach die globalen Schnitte davor. Ohne den Garbenbegriff kann man das für eine Kurve mit Funktionenkörper auch so formulieren: Es geht um die rationalen Differentialformen, also Elemente aus , die in jedem Punkt zu gehören. Nach Lemma 16.5 ist das differentielle Geschlecht einer elliptischen Kurve gleich , die bis auf skalare Vielfache einzige globale Differentialform ist, wenn die Kurve in Weierstraß-Form gegeben ist,

Auf der projektiven Geraden gibt es außer der keine globalen Differentialformen, ihr differentielles Geschlecht ist also .

Da die Garbe invertierbar ist, bedeutet differentielles Geschlecht direkt, dass der zu einer nichttrivialen Differentialform definierte Garbenhomomorphismus

sogar ein Isomorphismus ist, da dies eindimensional lokal stets gilt. In diesem Fall ist also die Garbe der Kähler-Differentiale, die man auch die kanonische Garbe nennt, isomorph zur Strukturgarbe.


Definition  Referenznummer erstellen

Zu einer glatten projektiven Kurve über einem algebraisch abgeschlossenen Körper nennt man

das Geschlecht der Kurve.

In Abgrenzung zum differentiellen Geschlecht spricht man auch vom kohomologischen Geschlecht. Die sogenannte Serre-Dualität besagt, dass beide Arten, das Geschlecht zu definieren, übereinstimmen. Es ist ein erheblicher Aufwand, Kohomologie von Garben auf Varietäten (und allgemeiner) zu definieren. Für eine projektive Kurve kann man Kohomologie für quasikohärente Garben über Čech-Kohomologie direkt und effektiv einführen. Die Kurve wird überdeckt durch zwei offene affine Teilmengen und , eine elliptische Kurve in Weierstraßform beispielsweise durch und . Die erste Kohomologie (höhere Kohomologien gibt es im Kurvenfall nicht, die nullte Kohomologie ist die globale Auswertung) einer quasikohärenten Garbe (dazu gehört die Strukturgarbe, die Garbe der Differentialformen, alle invertierbaren Garben) ist der Kokern der zusammengesetzten Restriktionsabbildung

Die universellen Beschreibungen der Kohomologie sichern, dass das Ergebnis unabhängig von der gewählten Überdeckung ist. Für projektive Varietäten sind sämtliche Kohomologien von quasikohärenten Moduln nach Satz 27.6 (Bündel, Garben und Kohomologie (Osnabrück 2019-2020)) endlichdimensional, was der Hauptgrund ist, warum man mit Kohomologie sinnvolle Invarianten definieren kann. Im Allgemeinen ist die Berechnung von Kohomologien schwierig, es gibt aber auch viele erfolgreiche Techniken. Ein wichtiger Satz bezieht sich auf ebene Kurven.


Satz Satz 17.3 ändern

Es sei eine ebene projektive Kurve über einem algebraisch abgeschlossenen Körper vom Grad .

Dann ist

Insbesondere ergibt sich bei das Geschlecht , und in der Tag liegt hier jeweils eine projektive Gerade vor. Bei ist das Geschlecht . Elliptische Kurven, definiert als glatte kubische Kurven, haben also das Geschlecht .

Bemerkung   Referenznummer erstellen

Für eine ebene projektive Kurve vom Grad lässt sich die Kohomologiegruppe zur Strukturgarbe explizit angeben. Wenn

und die Form besitzt, so ist

Dabei ist

der homogene Koordinatenring der Kurve, wobei die Nenneraufnahme an (bzw. bzw. ) gemacht wird und davon die nullte homogene Komponente genommen wird. Bei vom Grad ist die Kohomologie gleich . Die Kohomologieklasse lässt sich nicht als Summe von Elementen aus und ausdrücken. Dagegen ist beispielsweise in der Kohomologiegruppe unter Verwendung der Kurvengleichung

mit vom Grad

d.h. ist ein Vielfaches von .

Bei vom Grad wird die Kohomologie durch die Basiselemente erzeugt.


Bemerkung   Bemerkung 17.5 ändern

Es seien und zwei Quadriken in vier Variablen, also homogene Polynome vom Grad . Jede definiert eine projektive Fläche

im projektiven Raum. Wenn die beiden Flächen keine Komponente gemeinsam haben, so ist ihr Durchschnitt

eindimensional, also eine projektive Kurve, die im projektiven Raum liegt. Wenn beide Flächen irreduzibel sind, so bedeutet die Komponentenbedingung einfach, dass die Flächen verschieden sind. Die Kurve kann wieder glatt sein oder Singularitäten besitzen, was wiederum angelehnt an den Satz über implizite Abbildungen durch ein Jacobikriterium definiert wird, siehe Definition .. Wenn nun der Durchschnitt der beiden Quadriken glatt ist, so kann man relativ einfach zeigen, dass das Geschlecht dieser Raumkurve gleich . Völlig andere Fragen sind es, ob es für eine solche Kurve auch eine ebene kubische Realisierung gibt und ob es darauf eine Gruppenstruktur gibt.

In dieser Situation zeigt sich eine typische Strategie der algebraischen Geometrie. Zuerst ordnet man den irgendwie gegegeben geometrischen Objekten Invarianten zu. Diese sind zumeist kohomologischer Natur, entscheidend ist, dass diese dem Objekt intrinsisch zukommen und unabhängig von der gewählten Einbettung sind. Sodann fragt man sich in einem davon unabhängigen Schritt, welche Eigenschaften durch die Invarianten festgelegt sind und wie man Objekte mit fixierten Invarianten möglicht einfach realisieren kann.

Im Beispiel vom Durchschnitt von zwei Quadriken erhält man also, dass das kohomologische Geschlecht ist (was man ebenso und unabhängig von der Serre-Dualität für das differentielle Geschlecht beweisen kann). Dann fragt man sich, welche Schlussfolgerungen für Kurven, die das Geschlecht besitzen, erzielen kann. Hier ist insbesondere die Auswirkung des Geschlechtes auf die Anzahl von Schnitten von Geradenbündeln und auf die Divisorenklassegruppe der Kurve wichtig. In der Tat ergibt sich, dass man jede Kurve vom Geschlecht kubisch realisieren kann und es darauf eine Gruppenstruktur gibt.


Der folgende Satz heißt Satz von Riemann-Roch. Es bezeichnet darin bzw. die Dimension der zugehörigen Kohomologiegruppen, der Grad einer invertierbaren Garbe ist der Grad der zugehörigen Weildivisorklasse.


Satz Satz 17.6 ändern

Es sei eine irreduzible glatte projektive Kurve über einem algebraisch abgeschlossenen Körper vom Geschlecht und sei eine invertierbare Garbe auf .

Dann ist

Dieser Satz beherrscht die Frage, wie viele globale Schnitte eine invertierbare Garbe besitzt. Es gibt eine im Allgemeinen schwierige Beziehung zwischen einer geometrischen Realisierung (einer projektiven Einbettung) und dem Geschlecht. Eine invertierbare Garbe auf einer Kurve und ein System von globalen Schnitten (typischerweise eine Basis) definiert einen Morphismus


Satz Satz 17.7 ändern

Es sei eine invertierbare Garbe auf einer glatten projektiven Kurve über einem algebraisch abgeschlossenen Körper vom Geschlecht . Es sei

Dann definieren die globalen Schnitte von eine abgeschlossene Einbettung


Definition  Referenznummer erstellen

Eine glatte projektive Kurve über einem algebraisch abgeschlossenen Körper vom Geschlecht nennt man elliptische Kurve.

Die erste Kohomologie muss also eindimensional sein. Eine glatte kubische Kurve besitzt nach Satz 17.3 das Geschlecht . Wenn man wie oben eine elliptische Kurve durch das Geschlecht definiert, so ist es keineswegs klar, dass sie eine kubische Realisierung besitzt. Beispielsweise besitzt wie in Bemerkung 17.5 erläutert der Durchschnitt im von zwei Flächen vom Grad im glatten Fall ebenfalls das Geschlecht , und diese geometrische Realisierung legt nicht nahe, dass es auch eine ebene kubische Realisierung gibt. Aus Satz 17.7 folgt für eine elliptische Kurve das folgende Einbettungsresultat.



Satz  Satz 17.9 ändern

Es sei eine invertierbare Garbe auf einer elliptischen Kurve über einem algebraisch abgeschlossenen Körper. Es sei .

Dann definieren die globalen Schnitte von eine abgeschlossene Einbettung

Das Bild ist eine kubische Kurve.

Beweis  

Dass eine Einbettung ist ein Spezialfall von Satz 17.7. Es seien unabhängige Schnitte, die unter der Einbettung den Variablen entsprechen. In gibt es die Schnitte . Zwischen diesen besteht keine Relation, da andernfalls das Bild der Kurve eine quadratische Relation erfüllen würde, doch dann wäre sie eine projektive Gerade. In gibt es die Schnitte . Nach Satz 17.6 und Serre-Dualität ist der Raum aber neundimensional. Deshalb muss es eine lineare Relation zwischen diesen zehn Termen geben, und dies ist die kubische Relation, die das Bild der Kurve erfüllt.



Satz  

Es sei ein algebraisch abgeschlossener Körper und sei eine irreduzible glatte projektive Kurve über . Dann sind folgende Aussagen äquivalent.

  1. Das kohomolgische Geschlecht von ist .
  2. Das differentielle Geschlecht von ist .
  3. besitzt eine Realisierung als glatte kubische Kurve.
  4. besitzt die Struktur einer Gruppenvarietät.

Beweis  

Wir skizzieren die wesentlichen Argumente. Die Äquivalenz von (1) und (2) ist Serre-Dualität. Von (1) nach (3) ist Satz 17.9. Von (3) nach (4) ist Satz 6.3 und Satz 6.5. Von (4) nach (1). Hier zeigt man vergleichbar mit Korollar 16.8, dass das Tangentialbündel auf trivial ist.