Galois-Darstellungen¶
Zusammenfassung
Galois-Darstellungen übersetzen die Symmetrien algebraischer Gleichungen in die Sprache der linearen Algebra: Homomorphismen von Galois-Gruppen in Matrizengruppen. Jede elliptische Kurve liefert eine natürliche 2-dimensionale Darstellung, und Wiles' Beweis zeigt Modularität auf genau dieser Ebene.
Voraussetzungen¶
- Gruppen und Symmetrie – Homomorphismen, Normalteiler, Quotientengruppen
- Ringe und Körper – Körpererweiterungen, endliche Körper \(\mathbb{F}_p\), \(p\)-adische Zahlen \(\mathbb{Z}_p\)
- Galois-Theorie – Galois-Gruppen, Frobenius-Elemente, Verzweigung
- Elliptische Kurven – Gruppenstruktur, Torsionspunkte, Reduktion modulo \(p\)
| Thema | Beschreibung |
|---|---|
| Abbildungen (Funktionen) | \(f: A \to B\), injektiv, surjektiv, bijektiv |
| Mengen und Mengenoperationen | Mengennotation, \(\cup, \cap, \setminus, \times\) |
| Modulare Arithmetik | Kongruenzen \(a \equiv b \pmod{n}\) und Restklassen |
1. Von Galois-Gruppen zu Matrizen¶
Was ist eine Darstellung?¶
Eine Darstellung einer Gruppe \(G\) ist ein Homomorphismus
wobei \(\text{GL}_n(K)\) die Gruppe der invertierbaren \(n \times n\)-Matrizen über einem Körper (oder Ring) \(K\) ist. Die Darstellung „übersetzt" die abstrakte Gruppenstruktur in die konkrete Sprache der linearen Algebra.
Warum Darstellungen?¶
Galois-Gruppen – insbesondere die absolute Galois-Gruppe \(G_{\mathbb{Q}}\) – sind unendlich und hochkomplex. Direkt mit ihnen zu arbeiten ist oft unmöglich. Darstellungen liefern ein handhabbares Werkzeug: Statt die Gruppe selbst zu studieren, studiert man ihre Wirkung auf Vektorräumen.
Die zentrale Einsicht von Wiles' Beweis ist: Modularität einer elliptischen Kurve lässt sich als Eigenschaft ihrer Galois-Darstellung formulieren – und auf dieser Ebene beweisen.
2. Die absolute Galois-Gruppe¶
Definition¶
Die absolute Galois-Gruppe von \(\mathbb{Q}\) ist
wobei \(\overline{\mathbb{Q}}\) der algebraische Abschluss von \(\mathbb{Q}\) ist (die Menge aller algebraischen Zahlen). \(G_{\mathbb{Q}}\) besteht aus allen Körperautomorphismen von \(\overline{\mathbb{Q}}\), die \(\mathbb{Q}\) elementweise festlassen.
Profinite Struktur¶
\(G_{\mathbb{Q}}\) ist eine profinite Gruppe – der inverse Limes aller endlichen Galois-Gruppen \(\text{Gal}(K/\mathbb{Q})\):
Sie ist überabzählbar und trägt eine natürliche Topologie (die Krull-Topologie), unter der sie kompakt und total unzusammenhängend ist. Jedes offene Untergruppe hat endlichen Index.
Zerlegungsgruppen und Frobenius¶
Für jede Primzahl \(p\) gibt es eine Zerlegungsgruppe \(D_p \subset G_{\mathbb{Q}}\) und eine Trägheitsgruppe \(I_p \subset D_p\). Das Frobenius-Element
ist die „Signatur" der Primzahl \(p\) in \(G_{\mathbb{Q}}\). Es wirkt auf Reduktionen modulo \(p\) wie \(x \mapsto x^p\).
Für eine Darstellung \(\rho: G_{\mathbb{Q}} \to \text{GL}_n(K)\) kann man die Spur des Frobenius
berechnen – und diese Zahl kodiert die arithmetische Information der Darstellung bei \(p\).
3. \(p\)-Torsion elliptischer Kurven¶
Das Galois-Modul \(E[p]\)¶
Sei \(E\) eine elliptische Kurve über \(\mathbb{Q}\) und \(p\) eine Primzahl. Die \(p\)-Torsionspunkte sind:
wobei \(\mathcal{O}\) der Punkt im Unendlichen (das Neutralelement der Gruppenstruktur) ist.
Als abelsche Gruppe ist \(E[p]\) isomorph zu
Es ist ein zweidimensionaler Vektorraum über \(\mathbb{F}_p = \mathbb{Z}/p\mathbb{Z}\).
Die Galois-Wirkung¶
Die Punkte in \(E[p]\) haben Koordinaten in \(\overline{\mathbb{Q}}\), und die absolute Galois-Gruppe wirkt auf ihnen durch ihre Wirkung auf die Koordinaten:
Diese Wirkung respektiert die Gruppenstruktur: \(\sigma(P + Q) = \sigma(P) + \sigma(Q)\). Damit ist \(E[p]\) ein Galois-Modul – ein \(\mathbb{F}_p\)-Vektorraum mit einer linearen Wirkung von \(G_{\mathbb{Q}}\).
4. Die residuale Darstellung¶
Definition¶
Wählt man eine Basis \(\{P_1, P_2\}\) von \(E[p]\) über \(\mathbb{F}_p\), so wird die Galois-Wirkung durch eine Matrix beschrieben:
Dies definiert die residuale Galois-Darstellung:
Sie ist ein stetiger Gruppenhomomorphismus (bezüglich der Krull-Topologie auf \(G_{\mathbb{Q}}\) und der diskreten Topologie auf \(\text{GL}_2(\mathbb{F}_p)\)). Bis auf Konjugation ist sie unabhängig von der Basiswahl.
Irreduzibilität¶
Die Darstellung \(\bar{\rho}_{E,p}\) heißt irreduzibel, wenn \(E[p]\) keine nichttriviale \(G_{\mathbb{Q}}\)-invariante Untergruppe hat (d.h. keinen \(\mathbb{F}_p\)-Untervektorraum, der unter der Galois-Wirkung stabil ist).
Irreduzibilität ist eine entscheidende Voraussetzung für Wiles' Beweis. Für die Frey-Kurve ist \(\bar{\rho}_{E,p}\) irreduzibel für \(p \geq 5\) – eine Folge von Mazurs bahnbrechender Arbeit über isogene elliptische Kurven.
Verzweigung und Konduktor¶
Die Darstellung \(\bar{\rho}_{E,p}\) ist unverzweigt bei einer Primzahl \(q \neq p\), wenn die Trägheitsgruppe \(I_q\) trivial auf \(E[p]\) wirkt. Dies geschieht genau dann, wenn \(E\) gute Reduktion bei \(q\) hat.
Der Artin-Konduktor \(N(\bar{\rho}_{E,p})\) misst die Verzweigung der Darstellung und ist ein Teiler des Konduktors \(N_E\) der Kurve.
5. Die \(p\)-adische Darstellung¶
Der Tate-Modul¶
Statt nur die \(p\)-Torsion zu betrachten, kann man alle \(p^n\)-Torsionspunkte simultan erfassen. Der Tate-Modul ist der inverse Limes:
wobei die Übergangsabbildungen die Multiplikation-mit-\(p\)-Abbildungen \(E[p^{n+1}] \to E[p^n]\) sind.
Als \(\mathbb{Z}_p\)-Modul ist \(T_p(E)\) frei vom Rang 2:
Die \(p\)-adische Darstellung¶
Die Galois-Wirkung auf \(T_p(E)\) liefert die \(p\)-adische Galois-Darstellung:
Dies ist eine stetige Darstellung bezüglich der \(p\)-adischen Topologie. Sie ist eine „Liftung" der residualen Darstellung: Reduktion modulo \(p\) gibt
Die Verbindung zu \(L\)-Reihen¶
Die \(p\)-adische Darstellung kodiert die arithmetische Information der Kurve vollständig:
für jede Primzahl \(q\) guter Reduktion (mit \(q \neq p\)). Damit bestimmt die Darstellung die \(L\)-Reihe \(L(E, s)\) – und umgekehrt.
6. Modulare Darstellungen¶
Darstellungen von Modulformen¶
Nicht nur elliptische Kurven liefern Galois-Darstellungen – auch Modulformen tun dies. Zu jeder Neuform \(f\) vom Gewicht 2 und Stufe \(N\) konstruierten Eichler und Shimura eine zugehörige Galois-Darstellung:
mit der Eigenschaft
wobei \(b_q\) der \(q\)-te Fourier-Koeffizient von \(f\) ist.
Modularität als Darstellungseigenschaft¶
Jetzt wird die Verbindung klar: Eine elliptische Kurve \(E\) ist genau dann modular, wenn ihre Galois-Darstellung \(\rho_{E,p}\) mit der Darstellung \(\rho_f\) einer Neuform \(f\) übereinstimmt:
Die Modularitätsvermutung (TSV) wird damit zu einer Aussage über Galois-Darstellungen: Jede Darstellung, die von einer elliptischen Kurve kommt, kommt auch von einer Modulform.
Residuale Modularität¶
Analog heißt \(\bar{\rho}_{E,p}\) modular, wenn sie isomorph zur Reduktion modulo \(p\) einer modularen Darstellung ist:
für eine Neuform \(f\). Dies ist eine schwächere Bedingung als volle Modularität – und genau der Ausgangspunkt von Wiles' Beweisstrategie.
7. Wiles' Strategie¶
Die zwei Schritte¶
Wiles' Beweis der Modularität semistabiler elliptischer Kurven zerfällt in zwei große Schritte:
Schritt 1: Residuale Modularität zeigen. Man muss beweisen, dass \(\bar{\rho}_{E,p}\) modular ist – also von einer Neuform kommt. Für \(p = 3\) folgt dies aus einem berühmten Ergebnis von Langlands und Tunnell: Da \(\text{GL}_2(\mathbb{F}_3)\) auflösbar ist, kann man Langlands' Basis-Wechsel-Techniken (base change) anwenden. Für \(p = 5\) nutzt Wiles den sogenannten 3-5-Switch (siehe Artikel 07).
Schritt 2: Von residualer zu voller Modularität „liften". Dies ist das Herzstück des Beweises: Gegeben, dass \(\bar{\rho}_{E,p}\) modular ist, muss man zeigen, dass auch die volle Darstellung \(\rho_{E,p}\) modular ist. Dazu führt Wiles die Sprache der Deformationstheorie ein (siehe Artikel 04).
Warum Darstellungen der richtige Rahmen sind¶
Die Umformulierung der TSV in die Sprache der Galois-Darstellungen hat entscheidende Vorteile:
- Algebraische Werkzeuge: Darstellungstheorie, Kohomologie und kommutative Algebra werden anwendbar.
- Lokale-globale Prinzipien: Man kann Darstellungen „lokal" (bei jeder Primzahl) und „global" (über \(\mathbb{Q}\)) studieren.
- Deformationen: Die residuale Darstellung \(\bar{\rho}\) hat einen „Raum aller Liftungen" – den Deformationsraum, der mit algebraischen Methoden analysiert werden kann.
- Reduktion: Man kann Modularität schrittweise beweisen – zuerst residual, dann voll.
Diese Perspektive – Modularität als Eigenschaft von Galois-Darstellungen – war Wiles' entscheidende konzeptionelle Innovation und hat die Zahlentheorie nach 1995 nachhaltig geprägt.
Ausblick¶
Galois-Darstellungen bilden die Sprache, in der Wiles' Beweis formuliert ist. Die zentrale Frage des nächsten Schritts: Wie lässt sich zeigen, dass eine residuale modulare Darstellung zu einer vollen modularen Darstellung geliftet werden kann?
| Artikel | Thema |
|---|---|
| 04 – Deformationstheorie | Der universelle Deformationsring \(R\) und Mazurs Theorie |
| 05 – R = T | Warum \(R = T\) Modularität beweist |
Quellen¶
- Andrew Wiles: Modular elliptic curves and Fermat's Last Theorem, Annals of Mathematics 141 (1995), §1
- Nigel Boston: The Proof of Fermat's Last Theorem (2003), Kapitel 10 – Galois-Darstellungen
- Jean-Pierre Serre: Abelian \(\ell\)-adic representations and elliptic curves, W.A. Benjamin (1968) – Klassische Referenz für \(\ell\)-adische Darstellungen
- Barry Mazur: Deforming Galois representations, in: Galois Groups over \(\mathbb{Q}\), MSRI Publications 16 (1989) – Grundlegend für den Deformationsansatz