Satz von Mazur (elliptische Kurven)

In der Mathematik beschreibt der Satz von Mazur die möglichen Torsionsuntergruppen elliptischer Kurven über den rationalen Zahlen, er geht auf Barry Mazur zurück.

Sei   eine elliptische Kurve und   die Gruppe ihrer rationalen Punkte (für das für Punkte auf elliptischen Kurven definierte Additionsgesetz siehe den Artikel Elliptische Kurve). Dann ist ihre Torsionsuntergruppe (das heißt die Gruppe der Elemente endlicher Ordnung) eine der folgenden Gruppen:

  •   mit   oder  
  •   mit  .

Anmerkung

Bearbeiten

Nach dem Satz von Mordell ist   endlich erzeugt. Aus dem Hauptsatz über endlich erzeugte abelsche Gruppen folgt dann, dass sie von der Form

 

für eine der oben angegebenen Torsionsgruppen   ist.   heißt Rang der elliptischen Kurve. Das spiegelt die sich aus der Vermutung von Mordell (Satz von Faltings) ergebende Tatsache, dass elliptische Kurven (topologisches Geschlecht g=1) über den rationalen Zahlen unendlich viele Lösungen haben können (der Fall eines  ) oder endlich viele (wenn die rationalen Punkte alle in den endlichen Torsionsgruppen sind). Die Punkte in   haben unendlich hohe Ordnung.

Aus dem Satz von Mazur und dem Satz von Lutz und Nagell (siehe Elliptische Kurve) ergibt sich ein Algorithmus zur Bestimmung der Torsionsgruppen, wobei ausgenutzt wird, dass nach dem Satz von Mazur die Punkte endlicher Ordnung (mit  ,   ist das neutrale Element des Additionsgesetzes und entspricht dem Punkt im Unendlichen) nur die Ordnung   und   haben können.

Der ursprüngliche Beweis des Satzes von Mazur von 1977 gilt als außerordentlich schwierig und verwendete viele Techniken der modernen algebraischen Geometrie und Zahlentheorie (Theorie der Gruppen-Schemata, Néron-Modelle, Theorie der Kreisteilungskörper u. a.). Mazur gab 1978 einen kürzeren Beweis, der aber auch fortgeschrittene Methoden verwendete.[1] Der Satz gilt als einer der Höhepunkte der arithmetischen algebraischen Geometrie.

Alle 15 im Satz aufgezählten Untergruppen kommen bei unendlich vielen elliptischen Kurven vor.

Literatur

Bearbeiten
  • Joseph H. Silverman: The Arithmetic of Elliptic Curves. Springer-Verlag, New York, 1986.[2]
  • Joseph Silverman: Advanced Topics in the Arithmetic of Elliptic Curves. Springer-Verlag, 1994.
  • Barry Mazur: Modular curves and the Eisenstein ideal. IHES Publ. Math. 47 (1977), 33–186. numdam
  • Barry Mazur: Rational isogenies of prime degree. Invent. Math. 44 (1978), 129–162. Online
Bearbeiten
  • Alexander Schwartz, Elliptic Curves, Group Schemes and Mazur's Theorem, Bachelorarbeit, Harvard University 2004, pdf

Einzelnachweise

Bearbeiten
  1. B. Mazur: Rational isogenies of prime degree, Invent. Math., Band 44, 1978, S. 129–162.
  2. Allgemeine Einführung in die Arithmetik elliptischer Kurven ebenso wie der Folgeband, der Satz von Mazur wird nur beiläufig erwähnt.