R = T – Das Herz des Beweises¶

Zusammenfassung

Der Kern von Wiles' Beweis ist die Gleichung $R = T$: Der universelle Deformationsring $R$ ist isomorph zur Hecke-Algebra $T$. Das bedeutet, dass jede zulässige Deformation der residualen Darstellung modular ist. Der Beweis nutzt ein numerisches Kriterium von Wiles und Lenstra, das die Frage auf einen Vergleich von Selmer-Gruppen und Kongruenzidealen reduziert.

Voraussetzungen¶

Deformationstheorie – Universeller Deformationsring $R$, Hecke-Algebra $T$, Surjektion $R \twoheadrightarrow T$

Thema	Beschreibung
Summen- und Produktnotation	$\sum$- und $\prod$-Notation

1. Das Setup¶

Erinnerung: Die Surjektion¶

Aus dem vorherigen Artikel wissen wir: Es gibt eine natürliche surjektive Abbildung

\[ \varphi: R \twoheadrightarrow T \]

vom universellen Deformationsring $R$ (alle zulässigen Deformationen) auf die Hecke-Algebra $T$ (modulare Deformationen). Unser Ziel ist:

\[ \ker(\varphi) = 0, \qquad \text{also} \quad R \xrightarrow{\sim} T. \]

Vollständige Durchschnittsringe¶

Wiles zeigt nicht nur $R = T$, sondern auch, dass $T$ (und damit $R$) ein vollständiger Durchschnitt (complete intersection) ist:

\[ T \cong \mathbb{Z}_p[[x_1, \ldots, x_r]] / (f_1, \ldots, f_r). \]

Beachte: Die Anzahl der Erzeuger $r$ stimmt mit der Anzahl der Relationen überein – der Ring ist so „klein wie möglich" für seine Dimension. Diese Eigenschaft ist entscheidend für das numerische Kriterium.

2. Das numerische Kriterium¶

Die Idee¶

Wiles entwickelte (zusammen mit Hendrik Lenstra, der den Beweis vereinfachte) ein rein algebraisches Kriterium, das eine Surjektion $R \twoheadrightarrow T$ zu einem Isomorphismus macht:

Numerisches Kriterium (Wiles-Lenstra)

Sei $\varphi: R \twoheadrightarrow T$ eine Surjektion vollständiger lokaler noetherscher $\mathbb{Z}_p$-Algebren mit $T$ endlich und frei über $\mathbb{Z}_p$. Sei $\pi: T \to \mathbb{Z}_p$ ein Augmentationshomomorphismus. Dann gilt: $$ \varphi \text{ ist ein Isomorphismus und } T \text{ ist vollständiger Durchschnitt} $$ genau dann, wenn $$ |\Phi_R / \Phi_R^2| \leq |\eta_T / \mathbb{Z}_p|, $$ wobei: - $\Phi_R = \ker(R \xrightarrow{\pi \circ \varphi} \mathbb{Z}_p) / \ker(R \xrightarrow{\pi \circ \varphi} \mathbb{Z}_p)^2$ der Kotangentialraum von $R$ ist, - $\eta_T = \pi(Ann_T(\ker \pi))$ das Kongruenzideal von $T$ ist.

Was das Kriterium sagt¶

In Worten: $R = T$ gilt, wenn der Deformationsraum nicht größer ist als das, was die Hecke-Algebra an Kongruenzen erlaubt. Die linke Seite misst, „wie viele" Deformationen es gibt (obere Schranke); die rechte Seite misst, „wie viele" Kongruenzen zwischen Modulformen existieren (untere Schranke).

Warum das funktioniert¶

Die Intuition ist: Wenn es „zu viele" Deformationen gäbe (mehr als modulare), dann wäre $\ker(\varphi) \neq 0$, und der Kotangentialraum von $R$ wäre echt größer als der von $T$. Das Kriterium formalisiert diese Intuition exakt.

3. Selmer-Gruppen und der Kotangentialraum¶

Der Tangentialraum von $R$¶

Der Kotangentialraum $\Phi_R / \Phi_R^2$ hat eine kohomologische Interpretation. Infinitesimale Deformationen von $\bar{\rho}$ – also Liftungen nach $\mathbb{F}_p[\varepsilon]/(\varepsilon^2)$ – werden durch die Galois-Kohomologie klassifiziert:

\[ \text{Def}(\bar{\rho}, \mathbb{F}_p[\varepsilon]) \cong H^1(G_{\mathbb{Q}}, \text{Ad}^0(\bar{\rho})), \]

wobei $\text{Ad}^0(\bar{\rho})$ die spurfreien Endomorphismen der Darstellung sind (die adjungierte Darstellung mit Spur 0).

Die Selmer-Gruppe¶

Die lokalen Deformationsbedingungen (flach, ordinär, Steinberg, etc.) schneiden aus der globalen Kohomologie eine Selmer-Gruppe heraus:

\[ H^1_{\mathcal{D}}(G_{\mathbb{Q}}, \text{Ad}^0(\bar{\rho})) \subset H^1(G_{\mathbb{Q}}, \text{Ad}^0(\bar{\rho})). \]

Diese Selmer-Gruppe ist genau der Kotangentialraum von $R_{\mathcal{D}}$:

\[ \Phi_R / \Phi_R^2 \cong H^1_{\mathcal{D}}(G_{\mathbb{Q}}, \text{Ad}^0(\bar{\rho}))^\vee. \]

Die Größe der Selmer-Gruppe bestimmt also, wie viele Deformationsparameter $R$ hat – je kleiner die Selmer-Gruppe, desto „rigider" ist der Deformationsraum.

Die duale Selmer-Gruppe¶

Durch Poitou-Tate-Dualität gibt es eine exakte Sequenz, die die Selmer-Gruppe $H^1_{\mathcal{D}}$ mit einer dualen Selmer-Gruppe $H^1_{\mathcal{D}^\perp}$ verbindet:

\[ 0 \to H^1_{\mathcal{D}} \to H^1 \to \bigoplus_v H^1 / H^1_v \to (H^1_{\mathcal{D}^\perp})^\vee \to H^2 \to \cdots \]

Die Kontrolle beider Selmer-Gruppen ist entscheidend für die obere Schranke.

4. Obere Schranken für Selmer-Gruppen¶

Das Ziel¶

Für das numerische Kriterium brauchen wir:

\[ |H^1_{\mathcal{D}}(G_{\mathbb{Q}}, \text{Ad}^0(\bar{\rho}))| \leq |\eta_T|. \]

Also: Die Selmer-Gruppe darf nicht „zu groß" sein.

Wiles' ursprünglicher Ansatz (1993): Euler-Systeme¶

In seiner ersten Fassung des Beweises (vorgestellt in Cambridge, Juni 1993) versuchte Wiles, die obere Schranke mit Hilfe eines Euler-Systems zu gewinnen – einer Familie von Kohomologieklassen, die durch Kolyvagins Methoden obere Schranken für Selmer-Gruppen liefern.

Dieser Ansatz scheiterte: Die Konstruktion des benötigten Euler-Systems gelang nicht vollständig.

Der endgültige Ansatz (1994): Patching¶

Der erfolgreiche Beweis der oberen Schranke nutzt den Taylor-Wiles-Trick (Patching-Argument), der im nächsten Artikel ausführlich dargestellt wird. Die Grundidee: Statt die Selmer-Gruppe direkt abzuschätzen, konstruiert man eine Familie von Hilfs-Situationen, in denen die Schranke „im Limes" gilt – und überträgt sie auf den Ausgangsfall.

5. Untere Schranken: Kongruenzideale¶

Was sind Kongruenzen zwischen Modulformen?¶

Zwei Neuformen $f$ und $g$ vom Gewicht 2 und Stufe $N$ heißen kongruent modulo $p$, wenn ihre Fourier-Koeffizienten modulo $p$ übereinstimmen:

\[ b_n(f) \equiv b_n(g) \pmod{p} \quad \text{für alle } n. \]

Das Kongruenzideal¶

Das Kongruenzideal $\eta_T$ misst, wie viele solche Kongruenzen es gibt. Genauer: Sei $\pi: T \to \mathbb{Z}_p$ der Homomorphismus, der der Neuform $f_0$ (zugehörig zur elliptischen Kurve $E$) entspricht. Dann ist

\[ \eta_T = \pi(\text{Ann}_T(\ker \pi)) \subset \mathbb{Z}_p \]

ein Ideal in $\mathbb{Z}_p$, also von der Form $\eta_T = (p^m)$ für ein $m \geq 0$.

$m = 0$ (also $\eta_T = \mathbb{Z}_p$): Es gibt keine nichttrivialen Kongruenzen mit $f_0$ – der „isolierte" Fall.
$m > 0$: Es gibt Kongruenzen, und $p^m$ misst ihre „Tiefe".

Die Verbindung zu $L$-Werten¶

Eine tiefe Formel verbindet das Kongruenzideal mit speziellen Werten der $L$-Reihe. Für den minimalen Fall gilt (nach Hida und anderen):

\[ |\eta_T| = |L_{\text{alg}}(f_0, 1)|_p^{-1}, \]

wobei $L_{\text{alg}}(f_0, 1)$ der „algebraische Teil" des speziellen $L$-Werts bei $s = 1$ ist.

6. Der Beweis: Minimaler Fall¶

Was „minimal" bedeutet¶

Die Darstellung $\bar{\rho}$ heißt minimal, wenn sie bei jeder Primzahl $q \neq p$ möglichst wenig verzweigt ist – genauer: wenn die lokalen Deformationsbedingungen so restriktiv wie möglich gewählt sind (keine zusätzliche Verzweigung erlaubt).

Warum der minimale Fall einfacher ist¶

Im minimalen Fall sind die Selmer-Gruppen so klein wie möglich, und das Kongruenzideal lässt sich am besten kontrollieren. Die beiden Seiten des numerischen Kriteriums werden vergleichbar.

Der Beweis¶

Im minimalen Fall zeigt Wiles (mit dem Taylor-Wiles-Patching):

Obere Schranke: $|H^1_{\mathcal{D}}| \leq |\mathbb{Z}_p / \eta_T|$ (die Selmer-Gruppe ist klein genug).
Numerisches Kriterium: Die Ungleichung $|\Phi_R / \Phi_R^2| \leq |\eta_T / \mathbb{Z}_p|$ ist erfüllt.
Folgerung: $R = T$ und $T$ ist vollständiger Durchschnitt.

Der minimale Fall ist damit erledigt – und er bildet das Fundament für den allgemeinen Fall.

7. Vom minimalen zum allgemeinen Fall¶

Das Problem¶

Nicht jede semistabile elliptische Kurve liefert eine minimale Darstellung. Im allgemeinen Fall kann $\bar{\rho}$ bei manchen Primzahlen $q$ „zusätzlich verzweigt" sein – die lokalen Bedingungen sind weniger restriktiv, und die Selmer-Gruppen sind größer.

Die Reduktion¶

Wiles zeigt, dass der allgemeine Fall auf den minimalen Fall zurückgeführt werden kann. Die Idee:

Wähle die minimalen Deformationsbedingungen $\mathcal{D}_{\min}$.
Für die tatsächlichen (allgemeineren) Bedingungen $\mathcal{D}$ gilt $R_{\mathcal{D}_{\min}} \twoheadrightarrow R_{\mathcal{D}}$.
Da $R_{\mathcal{D}_{\min}} = T_{\mathcal{D}_{\min}}$ (minimaler Fall), überträgt sich der Isomorphismus auf den allgemeinen Fall durch sorgfältige Analyse der zusätzlichen Verzweigung.

Das Ergebnis¶

Theorem (Wiles, 1995)

Sei $E/\mathbb{Q}$ eine semistabile elliptische Kurve und $p \in \{3, 5\}$. Dann ist $R = T$ für die zugehörige residuale Darstellung $\bar{\rho}_{E,p}$ (unter geeigneten Deformationsbedingungen).

Damit ist die Modularität semistabiler elliptischer Kurven bewiesen – und Fermats letzter Satz folgt.

Die gesamte Beweiskette¶

\[ \bar{\rho}_{E,p} \text{ modular} \xrightarrow[\text{Wiles-Lenstra}]{\text{Num. Krit. + TW-Trick}} R = T \implies \rho_{E,p} \text{ modular} \implies E \text{ modular} \implies \text{FLT} \]

Ausblick¶

Der Beweis von $R = T$ im minimalen Fall nutzt den Taylor-Wiles-Trick – ein revolutionäres Patching-Argument, das die Lücke in Wiles' erstem Beweisversuch schloss:

Artikel	Thema
06 – Der Taylor-Wiles-Trick	Das Patching-Argument und die Geschichte der Lücke
07 – Der 3-5-Switch	Wie Langlands-Tunnell den Einstieg liefert

Quellen¶

Andrew Wiles: Modular elliptic curves and Fermat's Last Theorem, Annals of Mathematics 141 (1995), §2–3
Hendrik Lenstra: Anhang zu Wiles' Arbeit – Vereinfachung des numerischen Kriteriums
Nigel Boston: The Proof of Fermat's Last Theorem (2003), Kapitel 12 – $R = T$ und das numerische Kriterium
Gary Cornell, Joseph Silverman, Glenn Stevens (Hrsg.): Modular Forms and Fermat's Last Theorem, Springer (1997) – Umfassende Darstellung aller Beweisschritte