Elliptische Kurve/Satz von Mordell-Weil/Schwach/Modulo 2/Textabschnitt

Aus Wikiversity

Zu einer (additiv geschriebenen) Gruppe bezeichnet die Untergruppe derjenigen Elemente, die das Doppelte eines Elementes sind, die also eine Halbierung besitzen. Im Folgenden wird die Restklassengruppe eine wichtige Rolle spielen. Bei der multiplikativen Gruppe eines Körpers ist dies die Restklassengruppe , also die Gruppe der Einheiten modulo der Quadrate.


Definition  

Es sei

die Gleichung einer elliptischen Kurve in Zerlegungsform über einem Körper mit . Wir definieren die Abbildung (und entsprechend )

durch



Lemma  

Es sei

die Gleichung einer elliptischen Kurve in Zerlegungsform über einem Körper mit .

Dann ist die Abbildung

ein Gruppenhomomorphismus.

Beweis  

Seien und Punkte auf (für den unendlich fernen Punkt sind kleine Sonderüberlegungen nötig). Es sei eine Gleichung für die Verbindungsgerade zwischen den beiden Punkten bzw. der Tangente. Die Schnittpunkte dieser Geraden mit der Kurve sind durch die Bedingung

gegeben. Dies wird durch und und von der -Koordinate des dritten Schnittpunktes und des Summenpunktes erfüllt. Es ist also

Wenn man darin setzt, so erhält man

also ist

modulo der Quadrate.



Satz  

Es sei

die Gleichung einer elliptischen Kurve in Zerlegungsform über einem Körper mit .

Dann ist ein Punkt genau dann ein Verdoppelungspunkt auf , also von der Form

mit , wenn die drei Elemente allesamt Quadrate in sind.

Beweis  

Es sei ein fixierter Punkt der Kurve. Mit der verschobenen Variablen

können wir die Gleichung als

schreiben mit den neuen Nullstellen der rechten Seite. Die beiden als äquivalent nachzuweisenden Aussagen des Satzes ändern sich bei dieser Transformation nicht. Wir können also annehmen, dass ist. Es ist somit zu zeigen, dass ein Punkt der Form genau dann eine Halbierung auf der elliptischen Kurve besitzt, wenn Quadrate in sind.

Unter den Gruppenhomomorphismen (siehe Fakt) wird der Punkt auf abgebildet. Wenn der Punkt eine Halbierung besitzt, so gilt dies auch für den Bildpunkt, und das heißt, dass diese drei Zahlen eine Quadratwurzel besitzen.

Es seien nun umgekehrt Quadrate in und zwar sei

Es ist dann , wir betrachten den positiven Fall, im negativen Fall kann man ein durch ersetzen. Wir behaupten, dass der Punkt mit

und

ein Halbierungspunkt von ist. Dass dieser Punkt zur Kurve gehört wird in Aufgabe gezeigt. Für die Gleichung siehe Aufgabe.



Lemma  

Es sei ein faktorieller Bereich, sein Quotientenkörper und sei

die Gleichung einer elliptischen Kurve in Zerlegungsform über mit . Es sei ein Primelement von , das keines der Elemente teile. Es sei ein Punkt der Kurve. Dann ist die Ordnung von in gerade.

Beweis  

Wir schreiben für die Ordnung eines Elementes , , in . Dies ist die Ordnung von im diskreten Bewertungsring bzw. dessen Quotientenkörper (siehe Fakt und Aufgabe). Aufgrund der Kurvengleichung gilt die Ordnungsbeziehung

Es sei zuerst . Dann ist

für überhaupt alle . Somit ist

also sind die gerade. Wir können also

annehmen. Aus würde

folgen im Widerspruch dazu, dass kein Teiler der Differenzen der Nullstellen ist. Also ist . Dann ist aber

also hat wieder gerade Ordnung.


Mit der Hilfe von Fakt können wir im Zahlkörperfall das Bild von in besser eingrenzen. Hierfür sind zwei Hauptergebnisse zu der algebraischen Zahlentheorie entscheidend, nämlich die Endlichkeit der Klassengruppe und der Dirichletsche Einheitensatz.



Lemma  

Es sei

die Gleichung einer elliptischen Kurve in Zerlegungsform über einem Zahlkörper mit .

Dann gibt es einen faktoriellen Bereich mit den folgenden Eigenschaften.

  1. Es ist .
  2. Es ist .
  3. Die Einheitengruppe ist endlich erzeugt.
  4. Zu jedem Punkt besitzt eine Darstellung mit .

Beweis  

Wir starten mit dem Ganzheitsring von , so dass (1) direkt erfüllt ist. Nach Fakt ist die Klassengruppe von endlich, deshalb gibt es eine Nenneraufnahme an einem Element derart, dass faktoriell ist. Durch eine weitere Nenneraufnahme am Hauptnenner der erreichen wir (2) und durch eine weitere Nenneraufnahme an einem Element erreichen wir, dass die Primteiler von für Einheiten im Ring werden. Diese Nenneraufnahme nennen wir . Es ist

in mit und gewissen Primelementen aus und Exponenten aus . Nach Fakt sind diese Exponenten aber gerade, also ist (4) erfüllt. Die Eigenschaft (3) folgt aus Fakt in der Version Aufgabe.



Lemma  

Es sei

die Gleichung einer elliptischen Kurve in Zerlegungsform über einem Zahlkörper mit . Dann besitzt die Abbildung

mit wie in Definition folgende Eigenschaften.

  1. ist ein Gruppenhomomorphismus.
  2. Der Kern von ist .
  3. Das Bild von ist endlich.

Beweis  

  1. Dies folgt aus Fakt.
  2. Es sei . Bei sind beide Seiten der Aussage erfüllt. Es sei also . Nach Fakt ist genau dann ein Verdoppelungspunkt auf der Kurve, wenn alle Quadrate in sind. Dies ist bei direkt die Behauptung. Bei ist

    und sowohl die Kernbedingung als auch die Halbierungsbedingung aus Fakt sind genau dann erfüllt, wenn und Quadrate sind.

  3. Nach Fakt wird jedes Element des Bildes von einer endlich erzeugten Gruppe repräsentiert. Da eine Torsionsgruppe ist, ist das Bild endlich.



Lemma  

Es sei eine elliptische Kurve über einem Körper und es sei eine Galoiserweiterung. Es sei endlich.

Dann ist auch endlich.

Beweis  

Wir zeigen, dass der Kern der natürlichen Abbildung

endlich ist, woraus die Behauptung folgt. Es sei die Untergruppe der Torsionselemente zur Ordnung , die nach Fakt endlich ist und es sei die Galoisgruppe von über . Es sei , repräsentiert durch . Nach Voraussetzung ist in das Doppelte eines Punktes . Wir wählen zu jedem einen solchen Punkt und definieren damit die Abbildung

wobei wir die zu gehörigen Automorphismen auf der Kurve betrachten, siehe Aufgabe. Wir behaupten, dass die Zuordnung

injektiv ist. Es seien also , repräsentiert von und mit Halbierungspunkten . Die Gleichheit bedeutet

für alle . Dies bedeutet nach Aufgabe

für alle . D.h., dass invariant unter der Galoisgruppe ist und daher gemäß Aufgabe zu gehört. Also ist

und somit ist in . Wegen der Endlichkeit der Abbildungsmenge zwischen den endlichen Mengen und ist auch endlich.


Der folgende Satz heißt der schwache Satz von Mordell-Weil.


Satz  

Es sei eine elliptische Kurve über einem Zahlkörper .

Dann ist endlich.

Beweis  

Es sei

eine kurze Weierstraßgleichung für über . Das Polynom besitzt in einer endlichen Galoiserweiterung (siehe Fakt und Fakt) drei Nullstellen. Nach Fakt können wir die Endlichkeit über nachweisen, d.h. wir können davon ausgehen, dass die Gleichung in der Form

vorliegt. Den neuen Körper nennen wir wieder . Nach Fakt ist

endlich.