Fermat's Last Theorem — Wiles' Strategy

💡 The Core Insight

The fundamental insight is that modularity of elliptic curves can be proven by showing that certain universal deformation rings are isomorphic to Hecke algebras, with this isomorphism established by analyzing the structure of Selmer Groups and demonstrating both rings are complete intersections.

Definition

Fermat's Last Theorem — Wiles' Strategy: The strategy consists of the following components: 1. The Frey Curve: For a hypothetical solution $(a,b,c)$ to $a^p + b^p = c^p$ with prime $p \geq 5$ , construct the elliptic curve $E: y^2 = x(x-a^p)(x+b^p)$ . 2. Level-Lowering (Ribet's Theorem): Show that if the Frey curve exists, it is semistable and has conductor $N = \text{rad}(abc)$ , but the associated mod $p$ Galois representation $\bar{\rho}_{E,p}: \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \text{GL}_2(\mathbb{F}_p)$ cannot arise from a modular form of level dividing $N$ . 3. Modularity: Prove that every semistable elliptic curve over $\mathbb{Q}$ is modular, i.e., there exists a weight-2 newform $f$ of level $N$ such that $L(E,s) = L(f,s)$ . 4. The R=T Theorem: For a suitable prime $p$ and residual representation $\bar{\rho}$ , construct an isomorphism between the universal deformation ring $R$ and the Hecke algebra $\mathbb{T}$ , both acting on spaces of modular forms. 5. Numerical Criterion: Use commutative algebra techniques to show $R$ and $\mathbb{T}$ are both complete intersections with matching dimensions, forcing them to be isomorphic.

TheoremMain Result

Theorem (Wiles-Taylor, 1995) [1]: Every semistable elliptic curve over $\mathbb{Q}$ is modular. That is, if $E/\mathbb{Q}$ is an elliptic curve with conductor $N$ that is semistable at all primes (meaning $E$ has multiplicative reduction at primes dividing $N$ ), then there exists a weight-2 newform $f \in S_2(\Gamma_0(N))$ such that for all primes $\ell \nmid N$ ,

a_\ell(E) = a_\ell(f)

where $a_\ell(E) = \ell + 1 - \#E(\mathbb{F}_\ell)$ and $a_\ell(f)$ is the $\ell$ -th Fourier coefficient of $f$ .

Theorem (Fermat's Last Theorem) [2]: For all integers $n \geq 3$ , the equation $x^n + y^n = z^n$ has no solutions in positive integers $x,y,z$ .

Proof

We prove Theorem [2] assuming Theorem [1].

Step 1 (Reduction to prime exponents): It suffices to prove the statement for $n = 4$ (done by Fermat via infinite descent) and for prime exponents $p \geq 5$ . If $x^n + y^n = z^n$ with $n = mp$ , then $(x^m)^p + (y^m)^p = (z^m)^p$ .

Step 2 (Construction of Frey curve): Suppose $a^p + b^p = c^p$ is a solution with $a,b,c$ pairwise coprime and $p \geq 5$ prime. Define the elliptic curve

E: y^2 = x(x-a^p)(x+b^p)

This is a semistable elliptic curve over $\mathbb{Q}$ with discriminant $\Delta = \frac{1}{16}(abc)^{2p}$ and minimal conductor $N = \text{rad}(abc)$ (the product of distinct primes dividing $abc$ ).

Step 3 (Properties of the Frey curve): The curve $E$ has the following properties:

It is semistable (multiplicative reduction at primes dividing $abc$ , good reduction elsewhere)
For any prime $\ell \nmid 2abc$ , we have $a_\ell(E) \equiv \ell + 1 \pmod{p}$
The mod $p$ representation $\bar{\rho}_{E,p}: G_\mathbb{Q} \to \text{GL}_2(\mathbb{F}_p)$ has specific local properties

Step 4 (Ribet's Level-Lowering Theorem): Ribet (1990) proved that if such a Frey curve were modular, the mod $p$ representation $\bar{\rho}_{E,p}$ would arise from a newform of level $2$ . However, the space $S_2(\Gamma_0(2))$ is trivial (dimension 0), so no such modular form exists.

Step 5 (Contradiction via Modularity): By Theorem [1], the Frey curve $E$ must be modular since it is semistable. This contradicts Step 4. Therefore, no solution $(a,b,c)$ to $a^p + b^p = c^p$ can exist for $p \geq 5$ . The proof of Theorem [1] itself requires establishing the R=T theorem. We outline the key steps:

Step 6 (Setup for R=T): Fix a prime $p \geq 3$ and a continuous representation $\bar{\rho}: G_\mathbb{Q} \to \text{GL}_2(\mathbb{F}_p)$ arising from a semistable elliptic curve. Let $R$ be the universal deformation ring parametrizing deformations of $\bar{\rho}$ satisfying certain local conditions at primes dividing $Np$ (minimal flat at $p$ , minimally ramified at primes dividing $N$ ).

Step 7 (Hecke algebra): Let $\mathbb{T}$ be the Hecke algebra acting on the space of modular forms $S_2(\Gamma_0(Np), \mathcal{O})$ localized at the maximal ideal corresponding to $\bar{\rho}$ (where $\mathcal{O}$ is the ring of integers in a finite extension of $\mathbb{Q}_p$ ).

Step 8 (Natural map): The Eichler-Shimura theory produces a Galois representation $\rho_\mathbb{T}: G_\mathbb{Q} \to \text{GL}_2(\mathbb{T})$ , inducing a natural map $\phi: R \to \mathbb{T}$ by the universal property of $R$ .

Step 9 (Surjectivity): Using Ihara's Lemma and analysis of congruences between modular forms, one shows $\phi$ is surjective.

Step 10 (Equality of dimensions): The crucial step is showing that the Krull dimensions of $R$ and $\mathbb{T}$ (as complete local $\mathcal{O}$ -algebras) are equal. This uses:

Lower bounds on $\dim \mathbb{T}$ from eigenform theory
Upper bounds on $\dim R$ from Galois Cohomology calculations
Specifically, $\dim R = 1 + [K:\mathbb{Q}_p]$ where $K$ is the coefficient field

Step 11 (Complete intersections): Using the numerical criterion of Wiles' Numerical Criterion, both $R$ and $\mathbb{T}$ are shown to be complete intersections over $\mathcal{O}$ . For $R$ , this involves deep analysis of Selmer Groups associated to the adjoint representation $\text{ad}^0(\bar{\rho})$ .

Step 12 (Isomorphism): A surjective map between complete intersections of the same dimension is an isomorphism. Therefore $R \cong \mathbb{T}$ , which implies that every deformation of $\bar{\rho}$ satisfying the local conditions arises from a modular form.

Step 13 (Conclusion): The Galois representation from the original semistable elliptic curve provides such a deformation, hence must arise from a modular form. □

∎

⚠️ Common mistake

A critical error is to assume that all elliptic curves over $\mathbb{Q}$ were proven modular by Wiles' original work. Wiles proved modularity only for semistable elliptic curves. The full Modularity Theorem for all elliptic curves over $\mathbb{Q}$ was completed later by Breuil, Conrad, Diamond, and Taylor (2001). The semistability condition was essential for controlling the local deformation conditions at primes of bad reduction, and removing this hypothesis required fundamentally new techniques in the theory of p-adic Modular Forms.

mathematician

<a class="wiki-link" href="/wiki/andrew-wiles">Andrew Wiles</a> (1995) — Proved modularity of semistable elliptic curves over $\mathbb{Q}$ using Galois deformation theory and the numerical criterion for Hecke algebras to be isomorphic to universal deformation rings.

visualization

Example1

Modularity of $y^2 = x^3 - x$ : Consider the elliptic curve $E: y^2 = x^3 - x$ over $\mathbb{Q}$ , which has conductor $N = 32$ .

Step 1: Compute the discriminant: $\Delta = -64$ , and verify $E$ has multiplicative reduction at $p=2$ only (split multiplicative, Kodaira type I₄*).

Step 2: Since $E$ has complex multiplication by $\mathbb{Z}[i]$ , by classical CM theory it is modular. Explicitly, it corresponds to the modular form

f(z) = q \prod_{n=1}^\infty (1-q^n)^2(1-q^{2n})^2 = q - 2q^2 - q^3 + 2q^4 + q^5 + \cdots

where $q = e^{2\pi i z}$ , which is a weight-2 newform of level 32.

Step 3: Verify coefficient matching. For $\ell = 3$ :

$a_3(E) = 3 + 1 - \#E(\mathbb{F}_3) = 4 - 5 = -1$ (counting: $E(\mathbb{F}_3)$ has points including point at infinity)
$a_3(f) = -1$ from the $q$ -expansion

The coefficients match for all primes $\ell \nmid 2$ .

Step 4: For Wiles' strategy applied to this curve at $p=3$ , the mod 3 representation $\bar{\rho}_{E,3}$ is reducible (due to CM), which requires modifications to the standard deformation theory. Nevertheless, the curve's modularity can be established through CM theory independently.

Example2

Application to $a^5 + b^5 = c^5$ : Suppose there exists a non-trivial solution to $a^5 + b^5 = c^5$ with $\gcd(a,b,c)=1$ and $2|a$ .

Step 1: The Frey curve is $E: y^2 = x(x-a^5)(x+b^5)$ .

Step 2: The conductor is $N = \text{rad}(abc)$ since $E$ is semistable. At each prime $\ell | abc$ , $E$ has multiplicative reduction.

Step 3: The discriminant is $\Delta_E = 2^{-4}(abc)^{10}$ , so the minimal discriminant involves $abc$ to the 10th power.

Step 4: Consider the mod 5 representation $\bar{\rho}_{E,5}$ . By careful analysis of the $j$ -invariant and discriminant:

j(E) = \frac{2^8((a^5)^2 + (b^5)^2 + (a^5)(b^5))^3}{(abc)^{10}}

Step 5: Ribet's theorem (1990) shows that if $E$ were modular, then $\bar{\rho}_{E,5}$ would arise from a modular form of level $2$ (since we can arrange $abc$ to be coprime to 2 by scaling).

Step 6: But $S_2(\Gamma_0(2)) = 0$ , yielding a contradiction. Combined with Wiles' proof that $E$ is modular (being semistable), we conclude no such solution exists.

Step 7: This establishes Fermat's Last Theorem for $n=5$ via Wiles' strategy.

Counterexample

Why semistability is essential: Consider the elliptic curve $E: y^2 + y = x^3 - x^2 - 10x - 20$ which has conductor $N = 11 \cdot 121 = 1331 = 11^3$ . This curve has additive reduction at $p=11$ (Kodaira type IV), hence is not semistable. Wiles' original techniques do not apply directly because: 1. Local deformation theory breaks down: At primes of additive reduction, there is no canonical "minimal" or "flat" deformation condition. The local deformation ring at 11 has more complicated structure. 2. Level-lowering fails: Ribet's level-lowering theorem, crucial for the Frey curve argument, requires semistability. For additive reduction, we cannot control how mod $p$ representations factor through level. 3. The R=T machinery needs modification: The calculation of $\dim R$ via Galois cohomology assumes controlled ramification. Additive reduction introduces wild ramification that Wiles' original approach couldn't handle. This curve is modular (proven by the later work of Breuil-Conrad-Diamond-Taylor using p-adic Families of Modular Forms), but different techniques were required. Removing the semistability hypothesis was a major achievement requiring new ideas about modularity lifting beyond Wiles' original framework.

🧠 Intuition

The geometric picture: Think of Wiles' strategy as building a bridge between two landscapes:

Galois Landscape: Here we have symmetries of algebraic numbers. An elliptic curve $E$ gives a 2-dimensional "movie" of how its $p$ -torsion points $E[p]$ transform under $G_\mathbb{Q}$ . This is the representation $\rho_{E,p}$ . The challenge: can we characterize which 2-dimensional Galois representations come from geometry?

Modular Landscape: Here we have highly symmetric analytic functions on the upper half-plane. Modular forms $f(z)$ have beautiful transformation properties under $\text{SL}_2(\mathbb{Z})$ . They encode arithmetic data in their Fourier coefficients $a_n(f)$ , which (via Eichler-Shimura) also give Galois representations.

The Bridge (R=T): Wiles constructs two "continents" of deformations:

Continent R: All possible ways to deform $\bar{\rho}$ while preserving local structure (minimal ramification conditions)
Continent T: The space carved out by Hecke operators acting on modular forms

The shocking fact is these continents have the same dimension (computed via cohomology vs. eigenform theory). The map from R to T is surjective (every Hecke eigenform produces a deformation). A surjection between spaces of equal dimension is an isomorphism!

Physical analogy: It's like discovering that two seemingly different crystals (one from Galois theory, one from analysis) have identical lattice structures. Once you know they have the same dimension and one can be mapped onto the other, they must be the same crystal.

connection

Connection to <a class="wiki-link" href="/wiki/the-birch-and-swinnerton-dyer-conjecture">The Birch and Swinnerton-Dyer Conjecture</a>: Wiles' modularity theorem has profound implications for BSD Conjecture. When an elliptic curve $E/\mathbb{Q}$ is modular, its $L$ -function $L(E,s)$ equals $L(f,s)$ for a modular form $f$ . The analytic properties of modular form $L$ -functions are much better understood than general elliptic curve $L$ -functions. Specifically: 1. Analytic continuation: Modularity automatically implies $L(E,s)$ extends to an entire function (via the modularity of $f$ ). 2. Functional equation: The $L$ -function satisfies a functional equation $\Lambda(E,s) = w \Lambda(E,2-s)$ where $w = \pm 1$ is the sign in the functional equation. 3. BSD at $s=1$ : The order of vanishing of $L(E,s)$ at $s=1$ relates to the Mordell-Weil rank. Work of Gross-Zagier and Kolyvagin uses modularity crucially to prove BSD (rank part) when $\text{ord}_{s=1} L(E,s) \leq 1$ . 4. Heegner points: Modularity allows construction of Heegner Points on $E$ via the modular parametrization $X_0(N) \to E$ , providing explicit rational points and enabling Kolyvagin's Euler system techniques. This connection makes modularity one of the most powerful tools for studying rational points on elliptic curves, directly impacting computational number theory and explicit BSD calculations.

Fermat's Last Theorem — Wiles' Strategy

Fermat's Last Theorem — Wiles' Strategy

Overview

Core Theory

Examples and Applications

Historical Development

Connections to Other Areas

What You Need First

What This Opens Up

See Also