1
Introduction
2
First reductions of the problem
▶
2.1
Overview
2.2
Reduction to \(n\geq 5\) and prime
2.3
Frey packages
2.4
Galois representations and elliptic curves
2.5
The Frey curve
2.6
Reduction to two big theorems.
3
Elliptic curves, and the Frey Curve
▶
3.1
Overview
3.2
The arithmetic of elliptic curves
3.3
Good reduction
3.4
Multiplicative reduction
3.5
Hardly ramified representations
3.6
The l-torsion in the Frey curve is hardly ramified.
3.7
The l-torsion in the Frey curve is irreducible.
4
An overview of the proof
▶
4.1
Potential modularity.
4.2
A modularity lifting theorem
4.3
Compatible families, and reduction at 3
5
An example of an automorphic form
▶
5.1
Introduction
5.2
A quaternion algebra
5.3
\(\widehat{\mathbb {Z}}\)
5.4
More advanced remarks on \(\widehat{\mathbb {Z}}\) versus \(\mathbb {Q}\)
5.5
\(\widehat{\mathbb {Q}}\) and tensor products.
5.6
A crash course in tensor products
5.7
Additive structure of \(\widehat{\mathbb {Q}}\).
5.8
Multiplicative structure of the units of \(\widehat{\mathbb {Q}}\).
5.9
The Hurwitz quaternions
5.10
Profinite completion of the Hurwitz quaternions
6
Stating the modularity lifting theorems
▶
6.1
Automorphic forms and analysis
6.2
Central simple algebras
7
Automorphic forms and the Langlands Conjectures
▶
7.1
Definition of an automorphic form
7.2
The finite adeles of the rationals.
7.3
The adelic general linear group
7.4
Smooth functions
7.5
Slowly-increasing functions
7.6
Weights at infinity
7.7
The action of the universal enveloping algebra.
7.8
Automorphic forms
7.9
Hecke operators
8
Appendix: A collection of results which are needed in the proof.
▶
8.1
Results from class field theory
8.2
Structures on the points of an affine variety.
8.3
Algebraic groups.
8.4
Automorphic forms and representations
8.5
Galois representations
8.6
Algebraic geometry
8.7
Algebra
9
Bibliography
Dependency graph
A Blueprint for Fermat’s Last Theorem
Kevin Buzzard, Richard Taylor
1
Introduction
2
First reductions of the problem
2.1
Overview
2.2
Reduction to \(n\geq 5\) and prime
2.3
Frey packages
2.4
Galois representations and elliptic curves
2.5
The Frey curve
2.6
Reduction to two big theorems.
3
Elliptic curves, and the Frey Curve
3.1
Overview
3.2
The arithmetic of elliptic curves
3.3
Good reduction
3.4
Multiplicative reduction
3.5
Hardly ramified representations
3.6
The l-torsion in the Frey curve is hardly ramified.
3.7
The l-torsion in the Frey curve is irreducible.
4
An overview of the proof
4.1
Potential modularity.
4.2
A modularity lifting theorem
4.3
Compatible families, and reduction at 3
5
An example of an automorphic form
5.1
Introduction
5.2
A quaternion algebra
5.3
\(\widehat{\mathbb {Z}}\)
5.4
More advanced remarks on \(\widehat{\mathbb {Z}}\) versus \(\mathbb {Q}\)
5.5
\(\widehat{\mathbb {Q}}\) and tensor products.
5.6
A crash course in tensor products
5.7
Additive structure of \(\widehat{\mathbb {Q}}\).
5.8
Multiplicative structure of the units of \(\widehat{\mathbb {Q}}\).
5.9
The Hurwitz quaternions
5.10
Profinite completion of the Hurwitz quaternions
6
Stating the modularity lifting theorems
6.1
Automorphic forms and analysis
6.2
Central simple algebras
7
Automorphic forms and the Langlands Conjectures
7.1
Definition of an automorphic form
7.2
The finite adeles of the rationals.
7.3
The adelic general linear group
7.4
Smooth functions
7.5
Slowly-increasing functions
7.6
Weights at infinity
7.7
The action of the universal enveloping algebra.
7.8
Automorphic forms
7.9
Hecke operators
8
Appendix: A collection of results which are needed in the proof.
8.1
Results from class field theory
8.2
Structures on the points of an affine variety.
8.3
Algebraic groups.
8.4
Automorphic forms and representations
8.5
Galois representations
8.6
Algebraic geometry
8.7
Algebra
9
Bibliography