Andrew Wiles

⚡ Key Takeaways

Andrew Wiles (b. 1953) is a British mathematician best known for proving Fermat's Last Theorem (1994), via establishing the modularity of semistable elliptic curves over $\mathbb{Q}$ . His work fused the theory of Galois representations, modular forms, and deformation theory, resolving a 358-year-old problem and validating a central case of the Taniyama–Shimura–Weil Conjecture. Awards include the Abel Prize (2016) and a special IMU silver plaque (1998, being over the Fields age limit).

💡 The Core Insight

Translate a Diophantine impossibility into a modularity statement. A hypothetical nontrivial solution to $a^p+b^p=c^p$ ( $p\geq 5$ prime) yields the Frey curve $y^2 = x(x-a^p)(x+b^p)$ , an elliptic curve so arithmetically strange (its discriminant a perfect $p$ -th power up to factors) that it cannot be modular. But Wiles proves every semistable elliptic curve over $\mathbb{Q}$ is modular. Contradiction — hence no such solution exists. The engine is the modularity lifting theorem: a " $R = T$ " identity equating a universal deformation ring $R$ of Galois representations to a Hecke algebra $T$ .

DefinitionModularity of an Elliptic Curve

An elliptic curve $E/\mathbb{Q}$ of conductor $N$ is modular if there exists a weight-2 newform $f$ of level $N$ such that for almost all primes $\ell$ ,

1

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

where $a_\ell(E) = \ell + 1 - \#E(\mathbb{F}_\ell)$ counts points mod $\ell$ and $a_\ell(f)$ is the $\ell$ -th Hecke eigenvalue of $f$ . Equivalently, the Hasse–Weil $L$ -function $L(E,s)$ equals the $L$ -function $L(f,s)$ of a modular form, and there is a surjective morphism $X_0(N)\to E$ from the modular curve.

TheoremWiles, Taylor–Wiles 1995 — Semistable Modularity

Every semistable elliptic curve $E/\mathbb{Q}$ (i.e. having multiplicative or good reduction at every prime) is modular.

TheoremFermat's Last Theorem

For every integer $n \geq 3$ , the equation

2

\quad x^n + y^n = z^n

has no solution in positive integers $x,y,z$ . Derivation hint: It suffices to treat $n=4$ (Fermat's own descent) and $n=p$ an odd prime; reduce to $p\geq 5$ and apply the modularity of the Frey curve plus Ribet's level-lowering.

DefinitionFrey–Hellegouarch Curve

Given a hypothetical solution $a^p+b^p=c^p$ with $\gcd(a,b,c)=1$ , $p\geq 5$ , the associated Frey curve is

3

\quad E_{a,b}:\ y^2 = x(x-a^p)(x+b^p),

with minimal discriminant (up to powers of 2) $\Delta = (abc)^{2p}/2^8$ and conductor equal to the radical $\prod_{\ell \mid abc}\ell$ . Derivation hint: Compute $\Delta = 16\,(a^pb^p)^2(a^p+b^p)^2 = 16(abc)^{2p}$ for the model $y^2=x(x-a^p)(x+b^p)$ ; semistability follows from squarefree conductor after Tate's algorithm.

DefinitionMod-

p

Galois Representation

For an elliptic curve $E/\mathbb{Q}$ and prime $p$ , the Galois action on the $p$ -torsion $E[p]\cong(\mathbb{Z}/p)^2$ gives

4

\quad \bar\rho_{E,p}:\ \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \longrightarrow \mathrm{GL}_2(\mathbb{F}_p).

Derivation hint: Galois permutes the $p$ -torsion points and preserves the Weil pairing, landing in $\mathrm{GL}_2(\mathbb{F}_p)$ with determinant the mod- $p$ cyclotomic character.

ProofStructure of Wiles's Argument

Step 1 (Reduction, Frey 1980s, Serre, Ribet 1986). Assume $a^p+b^p=c^p$ has a nontrivial solution. Form the Frey curve $E_{a,b}$ from [3]. Its mod- $p$ representation $\bar\rho_{E,p}$ has extraordinary ramification: the discriminant being a perfect $p$ -th power forces $\bar\rho_{E,p}$ to be unramified outside $2p$ and finite/flat at $p$ . Serre's $\varepsilon$ -conjecture, proved by Ribet (1986), shows that if $E_{a,b}$ were modular, level-lowering would force the existence of a weight-2 newform of level 2 — but $S_2(\Gamma_0(2))=0$ , an impossibility.

Step 2 (Goal). Therefore it suffices to prove $E_{a,b}$ is modular. Wiles proves the broader statement: all semistable $E/\mathbb{Q}$ are modular.

Step 3 (Modularity lifting — the $R=T$ theorem). Fix $E$ , $p$ . One shows the residual representation $\bar\rho_{E,p}$ is modular (for $p=3$ via the Langlands–Tunnell theorem, since $\mathrm{GL}_2(\mathbb{F}_3)$ is solvable). Then lift modularity from $\bar\rho$ to the $p$ -adic $\rho_{E,p}$ .

Step 4 (Deformation theory, Mazur). Form the universal deformation ring $R$ classifying all lifts of $\bar\rho$ with prescribed ramification, and the Hecke algebra $T$ acting on modular forms with the same residual representation. There is a natural surjection $R\twoheadrightarrow T$ . Modularity of $\rho_{E,p}$ is equivalent to this map being an isomorphism:

5

\quad R \xrightarrow{\ \sim\ } T.

Step 5 (Taylor–Wiles patching). Prove $R=T$ by a numerical criterion: a surjection of complete intersections is an isomorphism iff the cotangent space / congruence-module invariants match. Wiles's original Euler-system bound had a gap (1993); the Taylor–Wiles patching method (1994) constructs auxiliary primes, builds a system of compatible local rings, and passes to the limit to deduce $R=T$ .

Step 6 (3–5 switch). If $\bar\rho_{E,3}$ is not suitable (e.g. reducible), use $E[5]$ : find another elliptic curve $E'$ with $\bar\rho_{E',5}\cong\bar\rho_{E,5}$ and $\bar\rho_{E',3}$ irreducible, prove $E'$ modular, then transfer modularity back to $E$ along the 5-torsion. This covers all semistable cases.

Conclusion. Every semistable $E/\mathbb{Q}$ is modular, the Frey curve cannot exist, and FLT follows. $\blacksquare$

∎

Figure

The logical chain converting FLT into modularity

mathematician · Andrew Wiles | b. 1953

Born 11 April 1953 in Cambridge, England. He encountered Fermat's Last Theorem at age ten in a public library (E.T. Bell's The Last Problem) and resolved then to one day solve it. He earned his BA at Merton College, Oxford (1974) and PhD at Clare College, Cambridge (1980) under John Coates, working on the Iwasawa theory of elliptic curves and the Birch–Swinnerton-Dyer conjecture; with Coates he proved a key case of the main conjecture of Iwasawa theory (later, with Barry Mazur, the full main conjecture over $\mathbb{Q}$ ). After positions at Harvard and the IAS he became professor at Princeton. He worked on FLT in near-total secrecy from 1986 to 1993, announced the proof at the Isaac Newton Institute in June 1993, addressed the discovered gap with Richard Taylor through 1994, and published in 1995. He returned to Oxford as Royal Society Research Professor in 2011.

🧠 Intuition

Think of two giant catalogues. One lists elliptic curves by their point-counts $a_\ell$ over each finite field — pure arithmetic data. The other lists modular forms, highly symmetric functions on the upper half-plane, by their Fourier coefficients. Modularity asserts these two catalogues are the same catalogue indexed differently: each semistable elliptic curve has a modular-form "twin" with matching coefficients. The Frey curve is engineered to be a curve whose twin would have to live on an empty page (level 2, where no forms exist) — so the curve cannot exist, and neither can the Fermat solution that produced it. The deeper $R=T$ engine is a statement that everything that could deform like a modular form actually does: the ring $R$ of all conceivable Galois deformations is no bigger than the ring $T$ of genuinely modular ones. Proving " $R$ is not too big" is the technical heart, achieved by counting tangent directions with the Taylor–Wiles auxiliary primes.

ExampleA modular semistable curve: conductor 11

Given: $E:\ y^2+y = x^3 - x^2 - 10x - 20$ , conductor $N=11$ (semistable: multiplicative reduction at 11, good elsewhere).

Steps: Count points over small primes:

$\ell=2$ : $\#E(\mathbb{F}_2)=5 \Rightarrow a_2 = 2+1-5 = -2$ .
$\ell=3$ : $\#E(\mathbb{F}_3)=5 \Rightarrow a_3 = 3+1-5 = -1$ .
$\ell=5$ : $\#E(\mathbb{F}_5)=5 \Rightarrow a_5 = 5+1-5 = 1$ .

The unique weight-2 newform of level 11 is $f = q\prod_{n\geq1}(1-q^n)^2(1-q^{11n})^2 = q -2q^2 -q^3 +2q^4 + q^5 +\cdots$ , with coefficients $a_2=-2,\ a_3=-1,\ a_5=1$ .

Answer: $\boxed{a_\ell(E)=a_\ell(f)\ \text{for all }\ell}$ — $E$ is modular, the historically first verified case (Eichler/Shimura), exactly the kind of correspondence Wiles proves universally.

ExampleWhy the Frey curve is impossible — sketch with a toy

p

Given: Suppose (impossibly) $a^5+b^5=c^5$ with coprime positive $a,b,c$ . Form $E:\ y^2=x(x-a^5)(x+b^5)$ .

Steps: 1. Minimal discriminant $\Delta = 16\,(abc)^{10}$ — a (near) perfect $5$ -th power. 2. By Tate's algorithm, the conductor is the squarefree radical $N=\prod_{\ell\mid abc}\ell$ → semistable. 3. By Wiles's theorem, $E$ is modular: $\bar\rho_{E,5}$ comes from a weight-2 level- $N$ newform. 4. The $p$ -th-power structure of $\Delta$ makes $\bar\rho_{E,5}$ unramified at every odd $\ell\mid abc$ ; Ribet level-lowering drops the level to $2$ . 5. But $\dim S_2(\Gamma_0(2)) = 0$ — no such newform exists.

Answer: $\boxed{\text{Contradiction} \Rightarrow a^5+b^5=c^5 \text{ has no solution.}}$

⚠️ Common mistake

Wiles did not prove the full Taniyama–Shimura–Weil conjecture. He proved it only for semistable elliptic curves over $\mathbb{Q}$ — exactly enough for FLT (Frey curves are semistable). The full modularity theorem for all elliptic curves over $\mathbb{Q}$ was completed in 2001 by Breuil, Conrad, Diamond, and Taylor, extending Wiles's methods to the remaining (additive-reduction) cases.

⚠️ Common mistake

The 1993 announcement was not the final proof. During refereeing, Nick Katz identified a gap in the Euler-system bound on a Selmer group. Wiles spent over a year struggling; the resolution came in September 1994 by combining his earlier Euler-system idea with the Taylor–Wiles patching technique he had set aside. The published proof (Annals of Mathematics, 1995) is the corrected version.

CounterexampleModularity genuinely needs semistability in Wiles's original argument

The curve $E:\ y^2=x^3-x$ (conductor 32, with additive reduction at 2) is modular, but it lies outside the scope of Wiles's 1995 theorem, which only handled semistable curves. Asserting "Wiles proved all elliptic curves are modular" is therefore false as stated — the additive cases required the later BCDT work. This shows the precise hypothesis (semistable) is not cosmetic: the deformation-ring local conditions at $p=2,3$ were the technical obstacle removed only later.

connection

Wiles's proof sits at the crossroads of several theories. It is a landmark instance of the Langlands Program, realizing a reciprocity between automorphic forms and Galois representations. The reduction step depends on Galois Representations attached to torsion of elliptic curves and on Modular Forms of weight 2. The lifting machinery uses Deformation Theory of Galois Representations (Mazur) and the Hecke Algebra. The residual modularity input at $p=3$ relies on the Langlands–Tunnell Theorem, and the reduction to modularity uses Ribet's Level-Lowering Theorem and the Frey–Hellegouarch Curve. Wiles's earlier career connects to Iwasawa Theory and the Birch–Swinnerton-Dyer Conjecture.

🔬 Where this appears

⏳ History

- 1637 — Pierre de Fermat writes the marginal claim in his copy of Diophantus's Arithmetica; the conjecture stands open for centuries.

- 1955–1957 — Yutaka Taniyama and Goro Shimura formulate the modularity conjecture (later refined by Weil, 1967).

- 1975–1986 — Hellegouarch and Frey propose attaching an elliptic curve to a putative Fermat solution; Frey conjectures it cannot be modular.

- 1985–1987 — Serre formulates his

\varepsilon

-conjecture making Frey's idea precise.

- 1986 — Kenneth Ribet proves Serre's

\varepsilon

-conjecture, establishing: modularity of semistable curves

\Rightarrow

FLT.

- 1986–1993 — Wiles works in secret at Princeton, developing the deformation-ring/Hecke-algebra strategy and the Euler-system bound.

- June 1993 — Wiles announces the proof in three lectures at the Isaac Newton Institute, Cambridge.

- 1993–1994 — A gap in the Selmer-group bound is found; in September 1994 Wiles, aided by Richard Taylor, resolves it via the patching method.

- 1995 — Two papers in Annals of Mathematics: Wiles's main paper and the Taylor–Wiles companion; 1998 IMU silver plaque; 2016 Abel Prize. Full modularity (BCDT) completed 2001.

open-problem

Wiles's framework opened, rather than closed, an industry. Major open and active directions:

Full Langlands reciprocity beyond $\mathrm{GL}_2$ : automorphy of higher-rank Galois representations remains largely conjectural.
Modularity over general number fields: only partial (often potential rather than genuine) modularity is known for non-totally-real fields, despite the Calegari–Geraghty extension of patching.
The Birch–Swinnerton-Dyer conjecture, central to Wiles's thesis era, remains a Clay Millennium Problem — modularity gives the analytic continuation of $L(E,s)$ but not the rank formula.
Effective/explicit versions: Wiles's proof is non-constructive about which forms appear; effective modularity bounds are still being refined.
The " $R=T$ " minimal-vs-non-minimal dichotomy and integrality of local deformation rings continue to generate research (Kisin's potentially semistable deformation rings).

Formal Statement

Why It Holds — The Architecture of the Proof

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also