Modularitätssatz

Der Modularitätssatz (früher Taniyama-Shimura-Vermutung) ist ein mathematischer Satz über elliptische Kurven und Modulformen. Er wurde 1958 von Yutaka Taniyama und Gorō Shimura vermutet und im Jahr 2001 von Christophe Breuil, Brian Conrad, Fred Diamond und Richard Taylor bewiesen, nachdem bereits Andrew Wiles im Jahr 1995 den wichtigsten (und schwierigsten) Fall der semistabilen Kurven gezeigt hatte. Der Satz und sein Beweis gelten als einer der großen mathematischen Fortschritte des 20. Jahrhunderts. Eine Konsequenz des Modularitätssatzes ist der große Satz von Fermat. Heutzutage wird der Modularitätssatz als ein Spezialfall der sehr viel allgemeineren und wichtigeren Serre-Vermutung über Galois-Darstellungen gesehen. Diese wurde, aufbauend auf der Arbeit von Andrew Wiles, 2006 von Chandrashekhar Khare, Jean-Pierre Wintenberger und Mark Kisin bewiesen.

Die Aussage des Modularitätssatzes

Die komplex-analytische Version

Es sei

$\Gamma _{0}(N):=\left\{{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in {\text{Sl}}_{2}(\mathbb {Z} )\ |\ c\equiv 0\mod N\right\}$

eine Kongruenzuntergruppe der Modulgruppe. Dabei heißt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N} auch Stufe der zugehörigen Modulform. Diese Gruppe operiert auf der oberen Halbebene Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak H } durch Möbiustransformation. Der Quotientenraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y_0(N) := \Gamma_0(N)\backslash \mathfrak H } ist eine nicht-kompakte Riemannsche Fläche. Durch Hinzunahme gewisser Punkte aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Q}\cup \{i\infty\} } (den sogenannten Spitzen), kann man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y_0(N) } kompaktifizieren und erhält so eine kompakte Riemannsche Fläche $X_{0}(N)$ (Modulkurve). Die komplex-analytische Variante des Modularitätssatzes besagt, dass für jede elliptische Kurve Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E = \mathbb{C}/\Lambda } über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{C} } (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Lambda } ein Gitter), mit zugehörigem Wert der j-Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle j(E) \in \mathbb{Q} } , ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N\in \mathbb{N} } und eine nicht-konstante holomorphe Abbildung Riemannscher Flächen

$X_{0}(N)\rightarrow E$

existiert. Die Zahl $N$ heißt der (modulare) Führer von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} . Die Modulkurve parametrisiert die elliptische Kurve.

Eine elliptische Kurve, für die die hier gegebene Aussage wahr ist, heißt modular.

Die komplex-analytische Version des Satzes ist sehr schwach und a priori noch keine zahlentheoretische Aussage. Der eigentliche Modularitätssatz macht Aussagen für über den rationalen Zahlen definierte elliptische Kurven und besagt, dass alle elliptischen Kurven über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Q}} modular sind.

L-Reihen-Version

Folgende Version der Vermutung macht eine Aussage über elliptische Kurven über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Q} } .

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E } eine elliptische Kurve über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Q} } mit L-Reihe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L(E,s) } (für deren Definition siehe Vermutung von Birch und Swinnerton-Dyer). Dann gibt es ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N \in \mathbb{N} } (den Führer) und eine Modulform Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle f\in S_{2}(N)} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L_f(s) = L(E,s) } . Hierbei ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L_f(s) } die Hecke-L-Reihe von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f } (für die Definition siehe Zusammenhang von Modulformen und Dirichletreihen).

Aus der Theorie der Modulformen folgert man daraus leicht, dass $L(E,s)$ eine analytische Fortsetzung und eine Funktionalgleichung besitzt. Dies spielt für die Wohldefiniertheit der Vermutung von Birch und Swinnerton-Dyer eine große Rolle.

Algebraisch-geometrische Version

Aus der Theorie der Riemannschen Flächen folgt, dass die Modulkurve Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_0(N) } als ein Schema über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{C} } definiert werden kann. Man kann zeigen, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_0(N) } sogar ein Schema über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Q} } ist. Der Modularitätssatz postuliert nun für jede elliptische Kurve Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E } einen surjektiven Morphismus

$X_{0}(N)\rightarrow E$

von algebraischen Kurven über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Q} } für ein N.

Darstellungstheoretische Version

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\in S_k(N) } eine Modulform. Nach tiefen Sätzen von Pierre Deligne, Jean-Pierre Serre und Robert Langlands, kann man f eine zweidimensionale Galoisdarstellung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho_{f,p}: \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\rightarrow \text{GL}_2(\mathbb{Q}_p) }

zuordnen (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{\mathbb{Q}}} ist der algebraische Abschluss von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb Q} in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb C} ). Hier steht links die absolute Galoisgruppe und rechts die allgemeine lineare Gruppe des zweidimensionalen Vektorraums über dem Körper $\mathbb {Q} _{p}$ der p-adischen Zahlen. Ebenso kann man jeder elliptischen Kurve E über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Q} } eine solche Galoisdarstellung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho_{E,p} } zuordnen.

Der Modularitätssatz besagt in diesem Fall, dass es für jede elliptische Kurve E über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Q} } eine Primzahl p gibt und eine Modulform Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\in S_2(N) } für ein N, so dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho_{E,p}} und $\rho _{f,p}$ äquivalent sind.

Dies ist die Version, die von Wiles bewiesen wurde.

Skizzierung des Zusammenhangs zwischen der Taniyama-Shimura- und Fermats Vermutung

Fermats letzter Satz sagt aus, dass es keine positiven ganzzahligen Lösungen der Gleichung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^n + b^n = c^n} für n größer als 2 gibt. Seit der französische Mathematiker Pierre de Fermat 1637 behauptet hatte, einen Beweis für diese Aussage gefunden zu haben – ohne diesen jedoch anzugeben oder in seinen schriftlichen Aufzeichnungen zu hinterlassen – haben Mathematiker einen Beweis für diese Aussage gesucht. Die Suche nach einem Beweis für Fermats letzten Satz hat die Zahlentheorie für mehr als zwei Jahrhunderte geprägt und wichtige Bausteine, wie die Idealtheorie von Ernst Eduard Kummer, wurden entwickelt, um den Satz zu beweisen.

Der Saarbrücker Mathematiker Gerhard Frey stellte 1986 eine Vermutung über einen Zusammenhang zwischen Fermats letztem Satz und der Taniyama-Shimura-Vermutung auf: Nimmt man an, dass Fermats letzter Satz falsch ist und es tatsächlich Lösungen der Gleichung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^p + b^p = c^p} gibt, so ist die elliptische Kurve $y^{2}=x(x-a^{p})(x+b^{p})$ wahrscheinlich nicht modular. Jean-Pierre Serre bewies das bis auf einen Rest, die Epsilon-Vermutung, die Ken Ribet 1990 bewies und damit zeigte, dass diese sogenannte Frey-Kurve (die zuvor schon Yves Hellegouarch betrachtet hatte) tatsächlich nicht modular ist (er benutzte die sogenannte „Level-lowering“-Methode, wobei „Level“ die Stufe der betrachteten Modulformen bezeichnet).

Mit anderen Worten: Wenn Fermats letzter Satz falsch ist, so auch die Taniyama-Shimura-Vermutung; ist die Taniyama-Shimura-Vermutung hingegen richtig, so muss auch Fermats letzter Satz richtig sein. Dabei genügte es zu zeigen, dass die Taniyama-Shimura-Vermutung für semistabile elliptische Kurven über den rationalen Zahlen gilt. Bei einer semistabilen elliptische Kurve Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} über den rationalen Zahlen gibt es nur schlechte Reduktionen vom semistabilen Typ. Dabei bedeutet schlechte Reduktion modulo p, dass die über dem endlichen Körper der ganzen Zahlen mod p definierte Kurve Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_p} (die Reduktion von $E$ mod p) singulär wird. Ist die Singularität ein Doppelpunkt und keine Spitze, spricht man vom semistabilen Typ. In diesem Fall fallen in der Gleichung für die elliptische Kurve Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y^2=f(x)} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x)} einem kubischen Polynom mit drei verschiedenen Wurzeln über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb Q} bei Reduktion mod p höchstens zwei Nullstellen zusammen. Gute Reduktion heißt, dass alle drei Nullstellen bei Reduktion mod p verschieden sind. Die elliptische Kurve ist semistabil, wenn sie nur gute Reduktionen hat oder die schlechten Reduktionen semistabil sind.

Da die Frey-Kurve semistabil ist, folgt der Beweis von Fermats letztem Satz aus der von Wiles bewiesenen Version des Modularitätssatzes.

Bedeutung für die Mathematik

Das Taniyama-Shimura-Theorem ist ein Beispiel für die Vereinheitlichung der Mathematik; darunter wird die Etablierung von Zusammenhängen zwischen vormals als völlig verschieden betrachteten Gebieten der Mathematik verstanden, die Mathematiker in die Lage versetzt, Probleme, die in einem Gebiet nicht lösbar sind, in ein äquivalentes Problem eines anderen Gebietes zu übersetzen und dort ggf. zu lösen. In diesem Fall erfolgt die Vereinheitlichung durch die Theorie der Modulformen, die auch schon im Langlands-Programm ihre herausragende Bedeutung für die Zahlentheorie deutlich machten.

Originalarbeiten

Folgende drei Veröffentlichungen enthalten den Beweis des Modularitätsatzes:

• Andrew Wiles: Modular Elliptic Curves and Fermat’s last theorem. Annals of Mathematics, 141 (1995), 443–551. doi:10.2307/2118559, pdf
• Richard Taylor, Andrew Wiles: Ring-theoretic properties of certain Hecke algebras. Annals of Mathematics 141 (1995), 553–572.
• Christophe Breuil, Brian Conrad, Fred Diamond, Richard Taylor: On the modularity of elliptic curves over Q: Wild 3-adic exercises (PDF; 1,1 MB), Journal of the American Mathematical Society 14 (2001), pp. 843–939. (Enthält den Beweis des Modularitätssatzes.)

In folgender Veröffentlichung wird Fermats letzter Satz auf den Modularitätssatz zurückgeführt:

• Ribet, K. A. From the Taniyama-Shimura Conjecture to Fermat’s Last Theorem. Annales de la faculté des sciences de Toulouse, 5e série, 11,1 (1990), p. 116–139

Literatur

• Gary Cornell, Joseph H. Silverman, Glenn Stevens (Hrsg.): Modular forms and Fermat’s last theorem, Springer, 1997
• Fred Diamond, Jerry Shurman: A first course in modular forms (= Graduate Texts in Mathematics 228). Corrected 3rd printing. Springer, New York NY 2007, ISBN 978-0-387-23229-4. (Kapitel 9: Galois representations)
• Gerd Faltings: The proof of Fermat’s last theorem by R. Taylor and A. Wiles, Notices American Mathematical Society, 1995, Nr. 7, PDF

Populärwissenschaftlich:

• Simon Singh: Fermats letzter Satz. Die abenteuerliche Geschichte eines mathematischen Rätsels (= dtv 33052). 14. Auflage. Deutscher Taschenbuch-Verlag, München 2010, ISBN 978-3-423-33052-7.
• Simon Singh, Kenneth Ribet: Die Lösung des Fermatschen Rätsels. In Spektrum der Wissenschaft. 1, 98, ISSN 0170-2971, S. 96 ff.