1
Introduction
▶
1.1
Which proof is being formalised?
1.2
The structure of this blueprint
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
Automorphic forms and the Langlands Conjectures
▶
6.1
Definition of an automorphic form
6.2
The finite adeles of the rationals.
6.3
The adelic general linear group
6.4
Smooth functions
6.5
Slowly-increasing functions
6.6
Weights at infinity
6.7
The action of the universal enveloping algebra.
6.8
Automorphic forms
6.9
Hecke operators
7
Miniproject: Frobenius elements
▶
7.1
Status
7.2
Introduction and goal
7.3
Statement of the theorem
7.4
The extension \(B/A\).
7.5
The extension \((B/Q)/(A/P)\).
7.6
The extension \(L/K\).
7.7
Proof of surjectivity.
8
Miniproject: Adeles
▶
8.1
Status
8.2
The goal
8.3
Local compactness
8.4
Base change
8.5
Discreteness and compactness
9
Miniproject: Haar Characters
▶
9.1
The goal
9.2
Initial definitions
9.3
Examples
9.4
Algebras
9.5
Products
9.6
Adeles
10
Miniproject: Quaternion algebras
▶
10.1
The goal
10.2
Initial definitions
10.3
The adelic viewpoint
10.4
Statement of the main result of the miniproject
10.5
Proof of Fujisaki’s lemma
11
Appendix: A collection of results which are needed in the proof.
▶
11.1
Results from class field theory
11.2
Structures on the points of an affine variety.
11.3
Algebraic groups.
11.4
Automorphic forms and representations
11.5
Galois representations
11.6
Algebraic geometry
11.7
Algebra
12
Bibliography
Chapter 1 graph
Chapter 2 graph
Chapter 3 graph
Chapter 4 graph
Chapter 5 graph
Chapter 6 graph
Chapter 7 graph
Chapter 8 graph
Chapter 9 graph
Chapter 10 graph
Chapter 11 graph
A Blueprint for Fermat’s Last Theorem
Kevin Buzzard, Richard Taylor
1
Introduction
1.1
Which proof is being formalised?
1.2
The structure of this blueprint
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
Automorphic forms and the Langlands Conjectures
6.1
Definition of an automorphic form
6.2
The finite adeles of the rationals.
6.3
The adelic general linear group
6.4
Smooth functions
6.5
Slowly-increasing functions
6.6
Weights at infinity
6.7
The action of the universal enveloping algebra.
6.8
Automorphic forms
6.9
Hecke operators
7
Miniproject: Frobenius elements
7.1
Status
7.2
Introduction and goal
7.3
Statement of the theorem
7.4
The extension \(B/A\).
7.5
The extension \((B/Q)/(A/P)\).
7.6
The extension \(L/K\).
7.7
Proof of surjectivity.
8
Miniproject: Adeles
8.1
Status
8.2
The goal
8.3
Local compactness
8.4
Base change
8.5
Discreteness and compactness
9
Miniproject: Haar Characters
9.1
The goal
9.2
Initial definitions
9.3
Examples
9.4
Algebras
9.5
Products
9.6
Adeles
10
Miniproject: Quaternion algebras
10.1
The goal
10.2
Initial definitions
10.3
The adelic viewpoint
10.4
Statement of the main result of the miniproject
10.5
Proof of Fujisaki’s lemma
11
Appendix: A collection of results which are needed in the proof.
11.1
Results from class field theory
11.2
Structures on the points of an affine variety.
11.3
Algebraic groups.
11.4
Automorphic forms and representations
11.5
Galois representations
11.6
Algebraic geometry
11.7
Algebra
12
Bibliography