Wiles's proof of Fermat's Last Theorem

Andrew Wiles

Hearing of Ribet's 1986 proof of the epsilon conjecture, English mathematician Andrew Wiles, who had studied elliptic curves and had a childhood fascination with Fermat, decided to begin working in secret towards a proof of the Taniyama–Shimura–Weil conjecture, since it was now professionally justifiable, as well as because of the enticing goal of proving such a long-standing problem.

Ribet later commented that "Andrew Wiles was probably one of the few people on earth who had the audacity to dream that you can actually go and prove [it]."

Announcement and subsequent developments

Wiles initially presented his proof in 1993. It was finally accepted as correct, and published, in 1995, following the correction of a subtle error in one part of his original paper. His work was extended to a full proof of the modularity theorem over the following six years by others, who built on Wiles's work.

Announcement and final proof (1993–1995)

During 21–23 June 1993, Wiles announced and presented his proof of the Taniyama–Shimura conjecture for semistable elliptic curves, and hence of Fermat's Last Theorem, over the course of three lectures delivered at the Isaac Newton Institute for Mathematical Sciences in Cambridge, England. There was a relatively large amount of press coverage afterwards.

After the announcement, Nick Katz was appointed as one of the referees to review Wiles's manuscript. In the course of his review, he asked Wiles a series of clarifying questions that led Wiles to recognise that the proof contained a gap. There was an error in one critical portion of the proof which gave a bound for the order of a particular group: the Euler system used to extend Kolyvagin and Flach's method was incomplete. The error would not have rendered his work worthless—each part of Wiles's work was highly significant and innovative by itself, as were the many developments and techniques he had created in the course of his work, and only one part was affected. Without this part proved, however, there was no actual proof of Fermat's Last Theorem.

Wiles spent almost a year trying to repair his proof, initially by himself and then in collaboration with his former student Richard Taylor, without success. By the end of 1993, rumours had spread that under scrutiny, Wiles's proof had failed, but how seriously was not known. Mathematicians were beginning to pressure Wiles to disclose his work whether or not complete, so that the wider community could explore and use whatever he had managed to accomplish. Instead of being fixed, the problem, which had originally seemed minor, now seemed very significant, far more serious, and less easy to resolve.

Wiles states that on the morning of 19 September 1994, he was on the verge of giving up and was almost resigned to accepting that he had failed, and to publishing his work so that others could build on it and find the error. He states that he was having a final look to try to understand the fundamental reasons why his approach could not be made to work, when he had a sudden insight that the specific reason why the Kolyvagin–Flach approach would not work directly also meant that his original attempt using Iwasawa theory could be made to work if he strengthened it using experience gained from the Kolyvagin–Flach approach since then. Each was inadequate by itself, but fixing one approach with tools from the other would resolve the issue and produce a class number formula (CNF) valid for all cases that were not already proven by his refereed paper:

I was sitting at my desk examining the Kolyvagin–Flach method. It wasn't that I believed I could make it work, but I thought that at least I could explain why it didn't work. Suddenly I had this incredible revelation. I realised that, the Kolyvagin–Flach method wasn't working, but it was all I needed to make my original Iwasawa theory work from three years earlier. So out of the ashes of Kolyvagin–Flach seemed to rise the true answer to the problem. It was so indescribably beautiful; it was so simple and so elegant. I couldn't understand how I'd missed it and I just stared at it in disbelief for twenty minutes. Then during the day I walked around the department, and I'd keep coming back to my desk looking to see if it was still there. It was still there. I couldn't contain myself, I was so excited. It was the most important moment of my working life. Nothing I ever do again will mean as much.

— Andrew Wiles, quoted by Simon Singh

On 6 October Wiles asked three colleagues (including Gerd Faltings) to review his new proof, and on 24 October 1994 Wiles submitted two manuscripts, "Modular elliptic curves and Fermat's Last Theorem" and "Ring theoretic properties of certain Hecke algebras", the second of which Wiles had written with Taylor and proved that certain conditions were met which were needed to justify the corrected step in the main paper.

The two papers were vetted and finally published as the entirety of the May 1995 issue of the Annals of Mathematics. The new proof was widely analysed and became accepted as likely correct in its major components. These papers established the modularity theorem for semistable elliptic curves, the last step in proving Fermat's Last Theorem, 358 years after it was conjectured.

Subsequent developments

Fermat claimed to "... have discovered a truly marvelous proof of this, which this margin is too narrow to contain". Wiles's proof is very complex, and incorporates the work of so many other specialists that it was suggested in 1994 that only a small number of people were capable of fully understanding at that time all the details of what he had done. The complexity of Wiles's proof motivated a 10-day conference at Boston University; the resulting book of conference proceedings aimed to make the full range of required topics accessible to graduate students in number theory.

As noted above, Wiles proved the Taniyama–Shimura–Weil conjecture for the special case of semistable elliptic curves, rather than for all elliptic curves. Over the following years, Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor (sometimes abbreviated as "BCDT") carried the work further, ultimately proving the Taniyama–Shimura–Weil conjecture for all elliptic curves in a 2001 paper. Now proven, the conjecture became known as the modularity theorem.

In 2005, Dutch computer scientist Jan Bergstra posed the problem of formalizing Wiles's proof in such a way that it could be verified by computer. In 2024, Kevin Buzzard and collaborators were given a five-year EPSRC grant to begin formalising a proof of the theorem in the Lean proof assistant.

Summary of Wiles's proof

Wiles proved the modularity theorem for semistable elliptic curves, from which Fermat’s last theorem follows using proof by contradiction. In this proof method, one assumes the opposite of what is to be proved, and shows if that were true, it would create a contradiction. The contradiction shows that the assumption (that the conclusion is wrong) must have been incorrect, requiring the conclusion to hold.

The proof falls roughly in two parts: In the first part, Wiles proves a general result about "lifts", known as the "modularity lifting theorem". This first part allows him to prove results about elliptic curves by converting them to problems about Galois representations of elliptic curves. He then uses this result to prove that all semistable curves are modular, by proving that the Galois representations of these curves are modular.

Mathematical detail of Wiles's proof

Overview

Wiles tried at first to map elliptic curves to a countable set of modular forms. He found that this direct approach was not working, so he transformed the problem by instead mapping the Galois representations of the elliptic curves to modular forms. Wiles denotes this mapping (specifically, this ring homomorphism)

${\displaystyle R_n\to {\mathbf{T}}_n}$,

where ${\displaystyle R}$ is a deformation ring and ${\displaystyle \mathbf{T}}$ is a Hecke ring.

Wiles had the insight that in many cases this ring homomorphism could be a ring isomorphism (Conjecture 2.16 in Chapter 2, §3 of the 1995 paper). He realised that the map between ${\displaystyle R}$ and ${\displaystyle \mathbf{T}}$ is an isomorphism if and only if two abelian groups occurring in the theory are finite and have the same cardinality. This is sometimes referred to as the "numerical criterion". Given this result, Fermat's Last Theorem is reduced to the statement that two groups have the same order. Much of the text of the proof leads into topics and theorems related to ring theory and commutation theory. Wiles's goal was to verify that the map ${\displaystyle R\to \mathbf{T}}$ is an isomorphism and ultimately that ${\displaystyle R=\mathbf{T}}$. In treating deformations, Wiles defined four cases, with the flat deformation case requiring more effort to prove and treated in a separate article in the same volume entitled "Ring-theoretic properties of certain Hecke algebras".

Gerd Faltings, in his bulletin, gives the following commutative diagram (p. 745):

or ultimately that ${\displaystyle R=\mathbf{T}}$, indicating a complete intersection. Since Wiles could not show that ${\displaystyle R=\mathbf{T}}$ directly, he did so through ${\displaystyle {\mathbf{Z}}_3,{\mathbf{F}}_3}$ and ${\displaystyle \mathbf{T}/\mathfrak{m}}$ via lifts.

In order to perform this matching, Wiles had to create a class number formula (CNF). He first attempted to use horizontal Iwasawa theory but that part of his work had an unresolved issue such that he could not create a CNF. At the end of the summer of 1991, he learned about an Euler system recently developed by Victor Kolyvagin and Matthias Flach that seemed "tailor made" for the inductive part of his proof, which could be used to create a CNF, and so Wiles set his Iwasawa work aside and began working to extend Kolyvagin and Flach's work instead, in order to create the CNF his proof would require. By the spring of 1993, his work had covered all but a few families of elliptic curves, and in early 1993, Wiles was confident enough of his nearing success to let one trusted colleague into his secret. Since his work relied extensively on using the Kolyvagin–Flach approach, which was new to mathematics and to Wiles, and which he had also extended, in January 1993 he asked his Princeton colleague, Nick Katz, to help him review his work for subtle errors. Their conclusion at the time was that the techniques Wiles used seemed to work correctly.

Wiles's use of Kolyvagin–Flach would later be found to be the point of failure in the original proof submission, and he eventually had to revert to Iwasawa theory and a collaboration with Richard Taylor to fix it. In May 1993, while reading a paper by Mazur, Wiles had the insight that the 3/5 switch would resolve the final issues and would then cover all elliptic curves.

General approach and strategy

Given an elliptic curve ${\displaystyle E}$ over the field ${\displaystyle \mathbb{Q}}$ of rational numbers, for every prime power ${\displaystyle {\ell }^n}$, there exists a homomorphism from the absolute Galois group

${\displaystyle \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})}$

to

${\displaystyle {\mathrm{GL}}_2(\mathbb{Z}/{\ell }^n\mathbb{Z}),}$

the group of invertible 2 by 2 matrices whose entries are integers modulo ${\displaystyle {\ell }^n}$. This is because ${\displaystyle E(\overline{\mathbb{Q}})}$, the points of ${\displaystyle E}$ over ${\displaystyle \overline{\mathbb{Q}}}$, form an abelian group on which ${\displaystyle \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})}$ acts; the subgroup of elements ${\displaystyle x}$ such that ${\displaystyle {\ell }^{n}x=0}$ is just ${\displaystyle (\mathbb{Z}/{\ell }^n\mathbb{Z}{)}^2}$, and an automorphism of this group is a matrix of the type described.

Less obvious is that given a modular form of a certain special type, a Hecke eigenform with eigenvalues in ${\displaystyle \mathbb{Q}}$, one also gets a homomorphism

${\displaystyle \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to {\mathrm{GL}}_2(\mathbb{Z}/{\ell }^n\mathbb{Z}).}$

This goes back to Eichler and Shimura. The idea is that the Galois group acts first on the modular curve on which the modular form is defined, thence on the Jacobian variety of the curve, and finally on the points of ${\displaystyle {\ell }^n}$ power order on that Jacobian. The resulting representation is not usually 2-dimensional, but the Hecke operators cut out a 2-dimensional piece. It is easy to demonstrate that these representations come from some elliptic curve but the converse is the difficult part to prove.

Instead of trying to go directly from the elliptic curve to the modular form, one can first pass to the mod ${\displaystyle {\ell }^n}$ representation for some ${\displaystyle \ell }$ and ${\displaystyle n}$, and from that to the modular form. In the case where ${\displaystyle \ell =3}$ and ${\displaystyle n=1}$, results of the Langlands–Tunnell theorem show that the ${\displaystyle mod3}$ representation of any elliptic curve over ${\displaystyle \mathbb{Q}}$ comes from a modular form. The basic strategy is to use induction on ${\displaystyle n}$ to show that this is true for ${\displaystyle \ell =3}$ and any ${\displaystyle n}$, that ultimately there is a single modular form that works for all ${\displaystyle n}$. To do this, one uses a counting argument, comparing the number of ways in which one can lift a mod ${\displaystyle {\ell }^n}$ Galois representation to one mod ${\displaystyle {\ell }^{n+1}}$ and the number of ways in which one can lift a mod ${\displaystyle {\ell }^n}$ modular form. An essential point is to impose a sufficient set of conditions on the Galois representation; otherwise, there will be too many lifts and most will not be modular. These conditions should be satisfied for the representations coming from modular forms and those coming from elliptic curves.

3–5 trick

If the original mod 3 representation has an image which is too small, one runs into trouble with the lifting argument, and in this case, there is a final trick which has since been studied in greater generality in the subsequent work on the Serre modularity conjecture. The idea involves the interplay between the mod 3 and mod 5 representations. In particular, if the mod 5 Galois representation ${\displaystyle {\overline{\rho }}_{E,5}}$ associated to a semi-stable elliptic curve ${\displaystyle E}$ over ${\displaystyle \mathbb{Q}}$ is irreducible, then there is another semi-stable elliptic curve ${\displaystyle E^{\prime }}$ over ${\displaystyle \mathbb{Q}}$ such that its associated mod 5 Galois representation ${\displaystyle {\overline{\rho }}_{E^{\prime },5}}$ is isomorphic to ${\displaystyle {\overline{\rho }}_{E,5}}$ and such that its associated mod 3 Galois representation ${\displaystyle {\overline{\rho }}_{E,3}}$ is irreducible (and therefore modular by Langlands–Tunnell).

Structure of Wiles's proof

In his 108-page article published in 1995, Wiles divides the subject matter up into the following chapters (preceded here by page numbers):

Introduction

443

Chapter 1

455 1. Deformations of Galois representations

472 2. Some computations of cohomology groups

475 3. Some results on subgroups of ${\displaystyle {\mathrm{GL}}_2(k)}$

Chapter 2

479 1. The Gorenstein property

489 2. Congruences between Hecke rings

503 3. The main conjectures

Chapter 3

517 Estimates for the Selmer group

Chapter 4

525 1. The ordinary CM case

533 2. Calculation of ${\displaystyle \eta }$

Chapter 5

541 Application to elliptic curves

Appendix

545 Gorenstein rings and local complete intersections

Gerd Faltings subsequently provided some simplifications to the 1995 proof, primarily in switching from geometric constructions to rather simpler algebraic ones. The book of the Cornell conference also contained simplifications to the original proof.

Overviews available in the literature

Wiles's paper is more than 100 pages long and often uses the specialised symbols and notations of group theory, algebraic geometry, commutative algebra, and Galois theory. The mathematicians who helped to lay the groundwork for Wiles often created new specialised concepts and technical jargon.

Among the introductory presentations are an email which Ribet sent in 1993; Hesselink's quick review of top-level issues, which gives just the elementary algebra and avoids abstract algebra; or Daney's web page, which provides a set of his own notes and lists the current books available on the subject. Weston attempts to provide a handy map of some of the relationships between the subjects. F. Q. Gouvêa's 1994 article "A Marvelous Proof", which reviews some of the required topics, won a Lester R. Ford award from the Mathematical Association of America. Faltings' 5-page technical bulletin on the matter is a quick and technical review of the proof for the non-specialist. For those in search of a commercially available book to guide them, he recommended that those familiar with abstract algebra read Hellegouarch, then read the Cornell book, which is claimed to be accessible to "a graduate student in number theory". The Cornell book does not cover the entirety of the Wiles proof.