Summer of Math Exposition

This is a 9 hour introduction to the mathematical structure behind the proof of Fermat’s Last Theorem, beginning with roughly high school level mathematics.

Fermat’s Last Theorem states that the equation $x^n+y^n=z^n$ has no positive integer solutions when $n>2$.

Many explanations of Fermat’s Last Theorem focus primarily on its historical story, while the mathematics behind the proof is replaced by a few broad metaphors. Appropriate metaphors can certainly be useful, but some people may also want to understand the argument in the actual language of mathematics. This video was made for those people.

The course begins with mathematical ideas accessible to someone with roughly a high school level background. It then introduces the major concepts needed to understand the skeleton of the modern proof, including linear algebra, abstract algebra, elliptic curves, modular forms, and Galois representations.

By the end of the video, viewers should be able to understand the mathematical skeleton of the proof of Fermat’s Last Theorem. The proofs of Ribet’s theorem and the modularity theorem proved by Wiles and Taylor are not included, but the video explains what these theorems say and why they combine to imply Fermat’s Last Theorem.

The course consists of six chapters:

1. Basics: Elementary number theory, congruences, and proof of n=3/4 of FLT
2. Linear Algebra: Vector spaces, linear transformations, matrices, eigenvalues, and representations
3. Abstract Algebra: Groups, rings, fields, quotient structures, and $p$ adic numbers
4. Elliptic Curves: The group law, reduction modulo primes, and Galois representations
5. Modular Forms: The upper half plane, modular transformations, Fourier expansions, and Hecke operators
6. The Endgame: The Frey curve, Ribet’s theorem, modularity, and the final contradiction proving Fermat’s Last Theorem

The course was designed top down. I began with the final argument and worked backward to determine which ideas had to be introduced for that argument to make sense. My aim was for every chapter to form part of a single mathematical story, rather than for the video to feel like a collection of unrelated lectures.

I wanted the course to feel almost like a film. In Chapter 6, all the concepts introduced throughout the earlier chapters finally come together, and I hoped viewers would feel the excitement of seeing the entire structure suddenly click into place.

The video is deliberately long. Fermat’s Last Theorem is often treated as a result whose proof is simply too advanced to explain. Not every technical argument can be reconstructed from high school mathematics, but the overall structure does not have to remain mysterious.

The purpose of this project is not to reproduce every technical detail of Wiles’s original work. It is to make the mathematical journey toward the proof visible: what the major objects are, why they are introduced, how they are connected, and why the final argument works.