Fermat's Last Theorem — Wiles' Strategy

Fermat's Last Theorem (FLT): for integers

n > 2

, the equation

x^{n} + y^{n} = z^{n}

has no solution in positive integers

x, y, z

. Wiles' strategy (1994, with Taylor): prove the modularity of a large enough class of elliptic curves so that a hypothetical FLT solution — packaged into the Frey curve — would yield a semistable elliptic curve whose Galois representation cannot exist, by Ribet's level-lowering theorem. Applies to number theory, arithmetic geometry, the Langlands program. Conjectured by Fermat (1637); proved by Andrew Wiles and Richard Taylor (1994–95).

Fermat's Last Theorem is the assertion that the Fermat equation $x^{n} + y^{n} = z^{n}$ has no nontrivial integer solutions for $n \geq 3$ . Although elementary to state, it resisted proof for over 350 years, and its eventual resolution required none of the elementary methods Fermat could have known. Wiles' strategy does not attack the Diophantine equation directly; instead it reduces FLT to a deep statement in arithmetic geometry — the Taniyama–Shimura–Weil modularity conjecture for semistable elliptic curves — via the Frey–Hellegouarch curve and Ribet's theorem. The surprising fact is that an additive problem about $n$ -th powers becomes a problem about whether certain 2-dimensional $ℓ$ -adic Galois representations are modular, solved by a deformation-theoretic comparison of two Hecke-algebra–valued rings (the celebrated " $R = T$ " theorem).

The Core Insight

A counterexample $a^{p} + b^{p} = c^{p}$ ( $p$ an odd prime) would produce the elliptic curve $y^{2} = x (x - a^{p}) (x + b^{p})$ whose mod- $p$ Galois representation is too unramified to come from any modular form (Ribet), yet would have to come from one if the curve is modular (Wiles). Proving every semistable elliptic curve is modular therefore makes the counterexample logically impossible. The engine is a numerical criterion — the Wiles–Lenstra–Taylor " $R = T$ " isomorphism — showing a universal deformation ring of Galois representations equals a Hecke algebra.

Formal Statement

Fermat's Last Theorem

For every integer $n \geq 3$ , there are no positive integers $x, y, z$ satisfying

x^{n} + y^{n} = z^{n} .

⟳This is the statement to be disproved-impossible; the symbols

x, y, z

are positive integers,

n

an integer exponent.

It suffices to prove the cases $n = 4$ (Fermat, by infinite descent) and $n = p$ an odd prime, since any $n \geq 3$ is divisible by $4$ or by an odd prime, and a solution for $n$ yields one for any divisor of $n$ .

Elliptic curve over $\mathbb{Q}$

A smooth projective genus-1 curve with a rational point, given in Weierstrass form

E : y^{2} = x^{3} + a_{2} x^{2} + a_{4} x + a_{6}, a_{i} \in Z,

with discriminant $Δ_{E} \neq = 0$ and conductor $N_{E} = \prod_{ℓ} ℓ^{f_{ℓ}}$ . $E$ is semistable if $E$ has multiplicative or good reduction at every prime, equivalently $N_{E}$ is squarefree.

⟳The conductor measures ramification of the Tate module; squarefree conductor

\Leftrightarrow

reduction never additive.

The Frey–Hellegouarch curve

Given a hypothetical solution $a^{p} + b^{p} = c^{p}$ with $p \geq 5$ prime, $g cd (a, b, c) = 1$ , and $a \equiv 3 (mod 4)$ , $b$ even, define

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

⟳The three 2-torsion points

0, a^{p}, - b^{p}

encode the Fermat solution; multiplicativity of the equation forces a remarkable discriminant.

Its minimal discriminant and conductor are

Δ = 2^{- 8} (ab c)^{2 p}, N = ℓ ∣ ab c \prod ℓ .

⟳Compute

Δ = 16 (a^{p} b^{p} c^{p})^{2}

from the roots

0, a^{p}, - b^{p}

; the global minimal model strips

2^{8}

; squarefree conductor follows because each prime divides

ab c

to a multiplicity divisible by

p

, giving multiplicative reduction.

Modularity (Wiles–Taylor, semistable case)

Every semistable elliptic curve $E / Q$ is modular: there exists a weight-2 newform $f$ of level $N_{E}$ such that for all primes $ℓ ∤ N_{E}$ ,

a_{ℓ} (E) = a_{ℓ} (f), a_{ℓ} (E) := ℓ + 1 - # E (F_{ℓ}) .

⟳Equate the

L

-function of

E

(Euler product over

a_{ℓ}

) with the Mellin transform of a cusp form; equivalently the Galois representation on

T_{ℓ} E

matches the one attached to

f

Ribet's level-lowering (1986)

Let $f$ be a newform of level $N$ giving rise to an irreducible mod- $p$ representation $\overset{ρ}{ˉ}_{f}$ . If $\overset{ρ}{ˉ}_{f}$ is unramified at a prime $q ∣ N$ with $q^{2} ∤ N$ and arises from the $p$ -torsion in a semistable context, then $\overset{ρ}{ˉ}_{f}$ also arises from a newform of level $N / q$ .

FLT, deduced

The conjunction of the two preceding theorems implies Fermat's Last Theorem for all primes $p \geq 5$ (and hence all $n \geq 3$ , combined with $n = 3, 4$ ).

Why It Holds — The Reduction

FLT from Modularity + Ribet

Step 1 (Setup). Suppose

a^{p} + b^{p} = c^{p}

with

p \geq 5

prime, nontrivial and coprime; normalize

a \equiv 3 (mod 4)

b

even. Form the Frey curve

E = E_{a, b, c}

of equation [3]. Step 2 (Semistability). By [4],

N_{E} = \prod_{ℓ ∣ ab c} ℓ

is squarefree, so

E

is semistable. Step 3 (Galois representation). Let

\overset{ρ}{ˉ}_{E, p} : G_{Q} \to GL_{2} (F_{p})

be the action on the

p

-torsion

E [p]

. Mazur's theorem (irreducibility of

E [p]

for semistable

E

p \geq 5

) gives that

\overset{ρ}{ˉ}_{E, p}

is irreducible. Step 4 (Ramification is tiny). Because

p ∣ v_{ℓ} (Δ)

for every prime

ℓ ∣ ab c

(each appears to power

2 p

Δ

), the representation

\overset{ρ}{ˉ}_{E, p}

is unramified outside

{2, p}

and finite flat at

p

. Its Serre conductor is

N = 2

\overset{ρ}{ˉ}_{E, p} is unramified at all odd ℓ, Serre level N (\overset{ρ}{ˉ}) = 2.

⟳At

ℓ ∣ ab c

the curve has multiplicative reduction with

p ∣ ord_{ℓ} (Δ)

; the Tate parameter then shows the inertia acts through

p

-th powers, i.e. trivially mod

p

Step 5 (Modularity). By the Modularity Theorem [5],

E

is modular:

\overset{ρ}{ˉ}_{E, p}

arises from a weight-2 newform of level

N_{E}

. Step 6 (Level lowering). Apply Ribet's theorem repeatedly to strip every odd prime

q ∣ N_{E}

(legal by Step 4's unramifiedness). One descends to a newform of level

2

. Step 7 (Contradiction). The space of weight-2 cusp forms of level

2

is zero-dimensional:

S_{2} (Γ_{0} (2)) = 0

. There is no newform for

\overset{ρ}{ˉ}_{E, p}

to come from.

dim_{C} S_{2} (Γ_{0} (2)) = g (X_{0} (2)) = 0.

⟳The modular curve

X_{0} (2)

has genus

0

; cusp forms of weight 2 correspond to holomorphic differentials, of which there are

g

Thus no Frey curve exists, so no Fermat solution exists. $■$

The Heart: Wiles' Proof of Modularity

Galois deformation ring $R$

Fix a residual representation $\overset{ρ}{ˉ} : G_{Q} \to GL_{2} (F_{p})$ that is absolutely irreducible, modular, and satisfies a chosen set $D$ of local conditions (ramification type, determinant, flatness). The functor sending a complete local Noetherian $Z_{p}$ -algebra $A$ to the set of deformations of $\overset{ρ}{ˉ}$ to $A$ of type $D$ is representable by a universal deformation ring $R_{D}$ with universal lift

ρ^{univ} : G_{Q} \to GL_{2} (R_{D}), ρ^{univ} mod m_{R} = \overset{ρ}{ˉ} .

⟳Mazur's deformation theory: Schlessinger's criteria are satisfied because

End_{G} (\overset{ρ}{ˉ}) = F_{p}

(absolute irreducibility kills nontrivial endomorphisms).

Hecke algebra $T$

Let $T_{D}$ be the $Z_{p}$ -subalgebra of $End$ of the relevant space of cusp forms generated by Hecke operators $T_{ℓ}$ ( $ℓ ∤ N$ ) and $U_{ℓ}$ ( $ℓ ∣ N$ ), completed and localized at the maximal ideal $m$ attached to $\overset{ρ}{ˉ}$ . Eichler–Shimura attaches to $T_{D}$ a Galois representation, hence a surjection of $Z_{p}$ -algebras

φ : R_{D} ↠ T_{D} .

⟳The modular Galois representation valued in

T

is itself a deformation of type

D

, so the universal property yields the surjection

φ

The $R = T$ theorem (numerical criterion)

Goal. Show

φ

in [9] is an isomorphism; then every type-

D

deformation, in particular the one coming from a semistable elliptic curve, is modular. Step 1 (Reduce to a numerical inequality). Wiles' commutative-algebra criterion:

φ : R \to T

is an isomorphism of complete intersections iff

# (Φ_{R}) = # (O / η_{T}) < \infty,

where $Φ_{R} = p / p^{2}$ is the cotangent space of $R$ at the chosen prime and $η_{T}$ is the congruence ideal of $T$ .

⟳For a surjection of finite flat

O

-algebras with

T

a complete intersection,

# Φ_{R} \geq # (O / η_{T})

always; equality forces

R ≅ T

a complete intersection (Wiles–Lenstra).

Step 2 (Bound the Selmer side). The cotangent space

Φ_{R}

is identified with a Selmer group

H_{D}^{1} (G_{Q}, ad^{0} \overset{ρ}{ˉ})

of the adjoint representation:

Φ_{R} ≅ H_{D}^{1} (Q, ad^{0} ρ^{univ}) .

⟳First-order deformations are cocycles valued in

ad \overset{ρ}{ˉ}

; trace-zero part

ad^{0}

fixes the determinant condition; local conditions

D

cut out the Selmer subgroup.

Step 3 (Bound the Hecke side). The congruence module

O / η_{T}

is computed by the special value of an $L$ -function / a ratio of Petersson norms (the Flach–Hida formula), giving an exact size. Step 4 (Patching — Taylor–Wiles). When the minimal case is hard to verify directly, introduce auxiliary sets

Q_{n}

of Taylor–Wiles primes (primes

q \equiv 1 mod p^{n}

with

\overset{ρ}{ˉ} (Frob_{q})

having distinct eigenvalues). One builds a tower of deformation/Hecke rings

R_{Q_{n}}, T_{Q_{n}}

, then patches them into power-series rings to deduce that

R

is a complete intersection and free over

O

, forcing equality in [10].

R_{\infty} ≅ O [[x_{1}, \dots, x_{r}]] ↠ T_{\infty}, dim R_{\infty} = dim T_{\infty} .

⟳Each Taylor–Wiles prime adds one Selmer/tangent dimension and one Hecke generator; a Galois-cohomology count (global Euler characteristic) keeps the two sides in lockstep; the patched ring is regular, so

R = T

Step 5 (Propagate). The minimal case gives

R = T

for the minimal deformation problem; an induction on the level / Ihara's lemma (Wiles' "raising the level" and the numerical isomorphism criterion) propagates modularity to all semistable types, completing the Modularity Theorem [5].

■

The 1993 gap

Wiles' first announced proof (June 1993) contained a gap in the bound of Step 3/Step 4: the Euler-system/Flach–Kolyvagin method failed to give the required upper bound on the Selmer group in full generality. The fix (September 1994), found with Richard Taylor, replaced the flawed argument by the Taylor–Wiles patching of [12], avoiding the Euler system entirely. The published result appeared as two 1995 Annals of Mathematics papers (Wiles; Taylor–Wiles).

Andrew Wiles | b. 1953

Wiles encountered FLT as a ten-year-old in a Cambridge library and resolved to prove it. After foundational work on Iwasawa theory and the Birch–Swinnerton-Dyer conjecture (with Coates) and the proof of the main conjecture of Iwasawa theory (with Mazur), he worked in near-total secrecy from 1986 (after Ribet's theorem made the strategy viable) until 1993. His decisive innovations were the systematic use of deformation theory of Galois representations (building on Mazur), the $R = T$ numerical criterion (with Lenstra's later simplification), and — with Taylor — the patching argument. Awarded the Abel Prize (2016); the Fields Medal age limit precluded a 1998 medal, so he received a special IMU silver plaque.

Building Intuition

Think of three parallel worlds for a 2-dimensional Galois representation $\overset{ρ}{ˉ}$ :

Galois world ( $R$ ): all lifts of $\overset{ρ}{ˉ}$ satisfying prescribed local symmetry rules — a moduli space of arithmetic symmetries.
Automorphic world ( $T$ ): only those symmetries that come from modular forms — eigenvalues of Hecke operators.
Geometry world ( $E$ ): the symmetry attached to an actual elliptic curve.

Wiles proves the Galois world equals the automorphic world ( $R = T$ ): there is nothing exotic — every allowed Galois symmetry is secretly modular. The Frey curve lives in the geometry world, hence (via $R = T$ ) in the automorphic world; but Ribet shows it would have to descend to level 2, where no modular form lives. The "size-matching" in [10] is the engine: count Galois deformations (Selmer group) and count modular congruences ( $L$ -value); their equality is a tangent-space dimension count that cannot leave room for a non-modular curve.

Logical architecture of Wiles' proof

<svg viewBox="0 0 760 420" xmlns="http://www.w3.org/2000/svg">
  <rect width="760" height="420" fill="#0a0e17"/>
  <text x="380" y="28" fill="#e2e8f0" font-size="17" text-anchor="middle">Wiles' Strategy: from a Fermat solution to a contradiction</text>

  <rect x="40" y="60" width="200" height="50" rx="6" fill="none" stroke="#94a3b8"/>
  <text x="140" y="82" fill="#e2e8f0" font-size="13" text-anchor="middle">Assume solution</text>
  <text x="140" y="100" fill="#d4a853" font-size="13" text-anchor="middle">aᵖ + bᵖ = cᵖ</text>

  <rect x="40" y="150" width="200" height="60" rx="6" fill="none" stroke="#94a3b8"/>
  <text x="140" y="174" fill="#e2e8f0" font-size="12" text-anchor="middle">Frey curve E</text>
  <text x="140" y="194" fill="#d4a853" font-size="12" text-anchor="middle">y²=x(x−aᵖ)(x+bᵖ)</text>

  <rect x="40" y="250" width="200" height="60" rx="6" fill="none" stroke="#94a3b8"/>
  <text x="140" y="274" fill="#e2e8f0" font-size="12" text-anchor="middle">mod-p Galois rep</text>
  <text x="140" y="294" fill="#e2e8f0" font-size="12" text-anchor="middle">ρ̄ , Serre level 2</text>

  <rect x="300" y="150" width="200" height="60" rx="6" fill="none" stroke="#94a3b8"/>
  <text x="400" y="174" fill="#e2e8f0" font-size="12" text-anchor="middle">Modularity (Wiles)</text>
  <text x="400" y="194" fill="#e2e8f0" font-size="12" text-anchor="middle">R = T  ⇒ E modular</text>

  <rect x="300" y="250" width="200" height="60" rx="6" fill="none" stroke="#94a3b8"/>
  <text x="400" y="274" fill="#e2e8f0" font-size="12" text-anchor="middle">Ribet level-lowering</text>
  <text x="400" y="294" fill="#e2e8f0" font-size="12" text-anchor="middle">newform at level 2</text>

  <rect x="540" y="200" width="190" height="70" rx="6" fill="none" stroke="#d4a853"/>
  <text x="635" y="228" fill="#e2e8f0" font-size="12" text-anchor="middle">S₂(Γ₀(2)) = 0</text>
  <text x="635" y="250" fill="#d4a853" font-size="13" text-anchor="middle">CONTRADICTION</text>

  <line x1="140" y1="110" x2="140" y2="150" stroke="#94a3b8" marker-end="url(#a)"/>
  <line x1="140" y1="210" x2="140" y2="250" stroke="#94a3b8" marker-end="url(#a)"/>
  <line x1="240" y1="180" x2="300" y2="180" stroke="#94a3b8" marker-end="url(#a)"/>
  <line x1="400" y1="210" x2="400" y2="250" stroke="#94a3b8" marker-end="url(#a)"/>
  <line x1="240" y1="280" x2="300" y2="280" stroke="#94a3b8" marker-end="url(#a)"/>
  <line x1="500" y1="270" x2="540" y2="245" stroke="#94a3b8" marker-end="url(#a)"/>

  <defs>
    <marker id="a" markerWidth="9" markerHeight="9" refX="7" refY="3" orient="auto">
      <path d="M0,0 L7,3 L0,6 Z" fill="#94a3b8"/>
    </marker>
  </defs>
</svg>

Worked Examples

Computing the Frey curve's invariants for a toy "solution"

Given. Pretend (illegally)

a = 3, b = 4, c

with

a^{p} + b^{p} = c^{p}

p = 5

. We just exercise the formulas of [3]–[4] with

a^{5} = 243

b^{5} = 1024

. Steps.

Roots of the cubic: $0, a^{5} = 243, - b^{5} = - 1024$ .
Curve: $y^{2} = x (x - 243) (x + 1024)$ .
Naive discriminant $Δ_{0} = 16 (a^{5} b^{5})^{2} (a^{5} + b^{5})^{2} = 16 (243 \cdot 1024)^{2} (1267)^{2}$ , i.e. $16 (ab c)^{2 p}$ form with $c^{5} = 1267$ .
Strip the factor $2^{8}$ from the minimal model: $Δ = 2^{- 8} (ab c)^{2 p}$ .
Conductor (radical of $ab c$ ): $ab c = 3 \cdot 4 \cdot c$ ; squarefree part collects the distinct primes dividing $ab c$ .

Boxed answer.

E : y^{2} = x (x - 243) (x + 1024), Δ = 2^{- 8} (ab c)^{10}, N = rad (ab c)

(No real Fermat solution exists; this only illustrates [3]–[4]. Units: all quantities dimensionless integers.)

Why level 2 is empty — genus of $X_0(2)$

Given. Need

dim S_{2} (Γ_{0} (2)) = g (X_{0} (2))

. Steps (genus formula for $X_{0} (N)$ ). For

X_{0} (N)

g = 1 + \frac{μ}{12} - \frac{ν _{2}}{4} - \frac{ν _{3}}{3} - \frac{ν _{\infty}}{2},

with index

μ = [SL_{2} (Z) : Γ_{0} (N)] = N \prod_{p ∣ N} (1 + \frac{1}{p})

$N = 2$ : $μ = 2 (1 + \frac{1}{2}) = 3$ .
Elliptic points of order 2: $ν_{2} = 1$ (since $(\frac{- 1}{2})$ rule gives one).
Elliptic points of order 3: $ν_{3} = 0$ .
Cusps: $ν_{\infty} = 2$ (the cusps $0$ and $\infty$ ).
Plug in: $g = 1 + \frac{3}{12} - \frac{1}{4} - 0 - \frac{2}{2} = 1 + 0.25 - 0.25 - 1 = 0$ .

Boxed answer.

g (X_{0} (2)) = 0 \Rightarrow dim S_{2} (Γ_{0} (2)) = 0

Hence no weight-2 newform of level 2 exists — the contradiction in [7].

Common Misconceptions

What Wiles did and did not prove

Wiles did not prove the full Taniyama–Shimura–Weil conjecture; he proved it for semistable elliptic curves — exactly the class the Frey curve falls into. The full modularity theorem (all elliptic curves over $Q$ ) was completed in 2001 by Breuil, Conrad, Diamond, and Taylor, extending the Taylor–Wiles method to additive-reduction primes. Also, Wiles did not "find Fermat's marginal proof": the genuine proof uses 20th-century arithmetic geometry inconceivable in the 17th century.

Where the strategy genuinely fails without semistability

The reduction depends on the Frey curve being semistable so that $N_{E}$ is squarefree and Ribet's level lowering can strip all odd primes down to level 2. If one tried the analogue for $p = 3$ , the residual representation $\overset{ρ}{ˉ}_{E, 3}$ may be reducible (Mazur's irreducibility requires $p \geq 5$ in this setting), so the deformation theory's hypothesis $End_{G} (\overset{ρ}{ˉ}) = F_{p}$ collapses and $R$ need not be representable. This is why FLT is reduced to primes $p \geq 5$ and the cases $n = 3, 4$ are handled separately by classical descent (Euler, Fermat).

Connections

Wiles' strategy sits at the crossroads of several theories. The bridge from Fermat to elliptic curves is the Frey Curve and the Modularity Theorem; the descent step is Ribet's Level-Lowering Theorem, itself depending on Serre's Modularity Conjecture (the epsilon conjecture). The proof engine is Galois Deformation Theory (Mazur) compared against Hecke Algebras via Eichler–Shimura Theory; the size matching uses Selmer Groups and special $L$ -values in the style of Iwasawa Theory. The whole edifice is a celebrated instance of the Langlands Program, relating $GL_{2}$ automorphic forms to 2-dimensional Galois representations. The Taylor–Wiles patching has since become the standard tool for Modularity Lifting Theorems.

Real-World Applications

Modularity lifting machinery — the Taylor–Wiles–Kisin method now proves modularity for elliptic curves over real quadratic fields and many totally real fields (Freitas–Le Hung–Siksek, 2015).
Sato–Tate conjecture — proved (Clozel–Harris–Shepherd-Barron–Taylor, 2008) using potential modularity and the same patching philosophy.
Serre's modularity conjecture — proved by Khare–Wintenberger (2009) by an inductive modularity-lifting argument descended from Wiles.
Generalized Fermat equations — the modular method (Frey curves + level lowering) resolves families like $x^{p} + y^{p} = z^{2}$ , $x^{p} + y^{p} = z^{3}$ (Darmon–Merel, Bennett–Skinner).
The Fermat–Catalan and Beal conjectures — partial results via Frey–Hellegouarch curves and Chabauty methods.
Cryptography (indirect) — the arithmetic of elliptic curves and conductor/reduction theory underlying ECC shares the same toolkit (Tate curves, reduction types).
Langlands functoriality — the $R = T$ paradigm is now a template across automorphic representation theory and the geometric Langlands program.

Historical Development

1637 — Pierre de Fermat writes the marginal note in his copy of Diophantus, claiming a "truly marvelous proof" of [1].
1770 — Euler proves the case $n = 3$ (with a gap later filled), using descent in $Z [- 3]$ .
1825 — Dirichlet and Legendre settle $n = 5$ ; Lamé later treats $n = 7$ .
1847 — Kummer proves FLT for all regular primes via ideal numbers, founding algebraic number theory.
1955–58 — Taniyama and Shimura formulate the modularity conjecture; Weil adds precision (the level = conductor).
1972/1975 — Hellegouarch and (later, sharply) Frey associate an elliptic curve to a hypothetical Fermat solution.
1985–86 — Serre formulates the epsilon conjecture; Ribet proves level lowering, making "modularity $\Rightarrow$ FLT" rigorous.
1986–93 — Wiles works in secret, develops $R = T$ via deformation theory; announces the proof at Cambridge, June 1993.
1994–95 — Gap fixed with Taylor (Taylor–Wiles patching); the two Annals papers appear; FLT is finally a theorem.
2001 — Breuil–Conrad–Diamond–Taylor prove the full Modularity Theorem for all elliptic curves over $Q$ .

Subtleties & Limits

Effective / explicit forms. While FLT is proved, the modular method does not by itself bound solution sizes for generalized Fermat equations uniformly; many remain open (e.g. the full Fermat–Catalan and Beal conjectures). Modularity over general number fields is still incomplete: modularity of all elliptic curves over an arbitrary number field is not known (great progress over totally real and some imaginary quadratic fields). The structure of $R$ in non-minimal / non-semistable cases — local deformation rings can be singular (Kisin's resolution via local models is delicate). Finally, a conceptual direct proof of FLT avoiding modularity, or one of low enough complexity to fit "a margin," is widely believed not to exist, but this is a meta-mathematical intuition, not a theorem.

Fermat's Last Theorem — Wiles' Strategy

The Core Insight

Formal Statement

Fermat's Last Theorem

Elliptic curve over $\mathbb{Q}$

The Frey–Hellegouarch curve

Modularity (Wiles–Taylor, semistable case)

Ribet's level-lowering (1986)

FLT, deduced

Why It Holds — The Reduction

FLT from Modularity + Ribet

The Heart: Wiles' Proof of Modularity

Galois deformation ring $R$

Hecke algebra $T$

The $R = T$ theorem (numerical criterion)

The 1993 gap

Andrew Wiles | b. 1953

Building Intuition

Logical architecture of Wiles' proof

Worked Examples

Computing the Frey curve's invariants for a toy "solution"

Why level 2 is empty — genus of $X_0(2)$

Common Misconceptions

What Wiles did and did not prove

Where the strategy genuinely fails without semistability

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also

Before this

Where this leads