- Vermutung von Mordell
-
Die Vermutung von Mordell entstammt der Zahlentheorie, wurde im Jahr 1922 von Louis Mordell aufgestellt und 1983 von Gerd Faltings in seinem Artikel Endlichkeitssätze für abelsche Varietäten über Zahlkörpern[1] (Faltings' Satz) bewiesen.
Inhaltsverzeichnis
Motivation und Aussage des Satzes
Wenn K ein Zahlkörper und C eine nichtsinguläre Kurve definiert über K sind, dann besteht die Frage, wie viele Punkte der Kurve C(K) selbst Koordinaten in K haben. Von besonderem Interesse ist dabei der Fall des Körpers der rationalen Zahlen, für den die Vermutung ursprünglich von Louis Mordell formuliert war.
- Falls das Geschlecht g von C gleich 0 ist, ist C isomorph zum eindimensionalen projektiven Raum über dem algebraischen Abschluss von K, also
. Daher kann C(K) leer oder eine unendliche Menge
sein.
- Falls das Geschlecht g von C gleich 1 ist und wenn C(K) mindestens einen Punkt mit Koordinaten in K hat, dann sind C eine elliptische Kurve und C(K) eine endlich erzeugte abelsche Gruppe. Letzteres ist als Satz von Mordell-Weil geläufig und impliziert, dass C(K) endlich oder unendlich sein kann.
- Falls das Geschlecht g von C größer als 1 ist, dann ist C(K) endlich.
Nach dem Satz gibt es für Kurven vom Geschlecht g > 1 nur endlich viele rationale Punkte auf der Kurve. Kurven über den rationalen Zahlen zeigen also wesentlich verschiedenes Verhalten für g=0, g=1 und g > 1 - eine topologische Größe bestimmt das zahlentheoretische Verhalten. Für ganze Zahlen hatte das schon Carl Ludwig Siegel in den 1920er Jahren bewiesen.
Die dritte Aussage des Satzes ist als "Vermutung von Mordell" bekannt und wurde 1983 von Gerd Faltings bewiesen.
Beweis
Faltings trug seinen Beweis zuerst auf der mathematischen Arbeitstagung in Bonn am 17. und 19. Juli 1983 vor. 1986 erhielt er dafür die höchste Auszeichnung für Mathematiker, die Fields-Medaille. Manchmal wird die Vermutung von Mordell, die ja nun ein bewiesener Satz ist, nach Faltings Satz von Faltings genannt.
In seiner Arbeit bewies Faltings auch die Tate-Vermutung von John T. Tate und die Vermutung von Igor Shafarevich, indem er den Übersetzungsmechanismus von Funktionenkörpern auf Zahlkörper von Suren Arakelov ausbaute. Dass die Mordell-Vermutung aus der Schafarewitsch Vermutung folgt, bewies Alexei Nikolajewitsch Parschin 1968 (Vortrag auf dem ICM 1970).
Auf anderem Weg hat nach Faltings Paul Vojta den Satz bewiesen.
Für Funktionenkörper wurde die Mordell-Vermutung schon 1963 durch Yuri Manin, 1965 durch Hans Grauert und 1968 durch Alexei Nikolajewitsch Parschin bewiesen.
Anwendungen
Der Satz lieferte ein wichtiges Teilergebnis zu der fermatschen Vermutung, denn die fermatsche Gleichung xn + yn = 1 hat nach ihm für
höchstens endlich viele teilerfremde Lösungen. Durch den Beweis der fermatschen Vermutung durch Andrew Wiles im Jahre 1993 ist diese Aussage jedoch überholt. Dennoch bleibt der Satz von Mordell wichtig für andere Gleichungen, bei denen sich die Methode von Wiles nicht anwenden läßt.[2]
Literatur
- Spencer Bloch: The proof of the Mordell conjecture. Mathematical Intelligencer, Bd. 6, 1984, S.41.
- Gerd Faltings: Die Vermutungen von Tate und Mordell. Jahresbericht Deutscher Mathematikerverein, 1984, S.1-13.
- Lucien Szpiro: La conjecture de Mordell. Séminaire Bourbaki Nr.619, 1983/84
- A. N. Parshin, Juri Zarhin: Finiteness problems in algebraic geometry, in Eight papers translated from the Russian, American Mathematical Society Translations Ser.2, Bd.143, 1989, S.35-102, überarbeitete Fassung des ursprünglich als Anhang in der russischen Ausgabe von Serge Lang Fundamentals of Diophantine Geometry veröffentlichten Aufsatzes
- Mazur Arithmetic on curves Bulletin American Mathematical Society, Bd.14, 1986, S.207
Quellen
- ↑ Invent. Math. 73 (3): 349-366, bzw. errata
- ↑ Spektrum der Wissenschaft Dossier: „Die größten Rätsel der Mathematik“ (6/2009), ISBN 978-3-941205-34-5, Seite 8 (Interview mit Gerd Faltings).
- Falls das Geschlecht g von C gleich 0 ist, ist C isomorph zum eindimensionalen projektiven Raum über dem algebraischen Abschluss von K, also
Wikimedia Foundation.