# 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 (Faltings’ Satz) bewiesen.

## 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 $C\cong \mathbb {P} ^{1}({\overline {K}})$. Daher kann $C(K)$ leer oder eine unendliche Menge $\left(C(K)\cong \mathbb {P} ^{1}(K)\right)$ 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 Schafarewitsch-Vermutung von Igor Schafarewitsch, 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. Vojtas Beweis wurde von Faltings selbst und Enrico Bombieri vereinfacht.
Für Funktionenkörper wurde die Mordell-Vermutung schon 1963 durch Yuri Manin, 1965 durch Hans Grauert und 1968 durch Alexei Nikolajewitsch Parschin bewiesen.
Einen neuen Beweis gab Akshay Venkatesh mit Brian Lawrence 2018. Der Beweis folgt den Grundlinien von Faltings Beweis, nutzt aber die Analyse der Variation p-adischer Galoisdarstellungen.

## Anwendungen

Der Satz lieferte ein wichtiges Teilergebnis zu der fermatschen Vermutung, denn die fermatsche Gleichung $x^{n}+y^{n}=z^{n}$ hat nach ihm für $n\geq 4$ 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ässt.
Die bisher bekannten Beweise der Mordellvermutung sind nicht effektiv, das heißt, sie machen keine Angaben über die Anzahl und Größe der Lösungen. Die Mordellvermutung folgt allerdings aus der unbewiesenen abc-Vermutung (Noam Elkies) in einer effektiven Variante.