Preface |
|
v | |
Contributors |
|
xiii | |
Schedule of Lectures |
|
xvii | |
Introduction |
|
xix | |
|
An Overview of the Proof of Fermat's Last Theorem |
|
|
1 | (16) |
|
|
|
|
|
A remarkable elliptic curve |
|
|
2 | (1) |
|
|
3 | (4) |
|
A remarkable Galois representation |
|
|
7 | (1) |
|
Modular Galois representations |
|
|
7 | (2) |
|
The Modularity Conjecture and Wiles's Theorem |
|
|
9 | (1) |
|
The proof of Fermat's Last Theorem |
|
|
10 | (1) |
|
The proog of Wiles's Theorem |
|
|
10 | (7) |
|
|
15 | (2) |
|
A Survey of the Arithmetic Theory of Elliptic Curves |
|
|
17 | (24) |
|
|
|
|
|
|
17 | (1) |
|
|
18 | (1) |
|
|
18 | (1) |
|
|
19 | (1) |
|
|
19 | (1) |
|
|
20 | (1) |
|
Galois representations attached to E |
|
|
20 | (1) |
|
|
21 | (1) |
|
Elliptic curves over finite fields |
|
|
22 | (2) |
|
Elliptic curves over C and elliptic functions |
|
|
24 | (2) |
|
The formal group of an elliptic curve |
|
|
26 | (1) |
|
Elliptic curves over local fields |
|
|
27 | (2) |
|
The Selmer and Shafarevich-Tate groups |
|
|
29 | (2) |
|
Discriminants, conductors, and L-series |
|
|
31 | (2) |
|
|
33 | (1) |
|
Rational torsion and the image of Galois |
|
|
34 | (1) |
|
|
34 | (1) |
|
|
35 | (2) |
|
The conjecture of Birch and Swinnerton-Dyer |
|
|
37 | (1) |
|
|
37 | (2) |
|
|
39 | (2) |
|
|
40 | (1) |
|
Modular Curves, Hecke Correspondences, and L-Functions |
|
|
41 | (60) |
|
|
|
|
|
|
41 | (20) |
|
The Hecke correspondences |
|
|
61 | (12) |
|
|
73 | (28) |
|
|
99 | (2) |
|
|
101 | (20) |
|
|
|
|
|
|
101 | (4) |
|
|
105 | (2) |
|
|
107 | (1) |
|
Extensions and deformations |
|
|
108 | (3) |
|
Generalized Selmer groups |
|
|
111 | (2) |
|
|
113 | (1) |
|
|
114 | (3) |
|
|
117 | (4) |
|
|
120 | (1) |
|
Finite Flat Group Schemes |
|
|
121 | (34) |
|
|
|
|
|
|
121 | (1) |
|
Group objects in a category |
|
|
122 | (3) |
|
|
125 | (7) |
|
Finite flat group schemes; passage to quotient |
|
|
132 | (14) |
|
Raynaud's results on commutative p-group schemes |
|
|
146 | (9) |
|
|
154 | (1) |
|
Three Lectures on the Modularity of PE, 3 and the Langlands Reciprocity Conjecture |
|
|
155 | (54) |
|
|
|
|
|
The modularity of PE, 3 and automorphic representations of weight one |
|
|
156 | (1) |
|
|
157 | (7) |
|
Automorphic representations of weight one |
|
|
164 | (12) |
|
The Langlands program: Some results and methods |
|
|
|
The local Langlands correspondence for GL(2) |
|
|
176 | (3) |
|
The Langlands reciprocity conjecture (LRC) |
|
|
179 | (3) |
|
The Langlands functoriality principle theory and results |
|
|
182 | (10) |
|
Proof of the Langlands-Tunnell theorem |
|
|
192 | (1) |
|
|
192 | (5) |
|
Application to Artin's conjecture |
|
|
197 | (12) |
|
|
204 | (5) |
|
|
209 | (34) |
|
|
|
|
|
Serre's conjecture: statement and results |
|
|
209 | (13) |
|
|
222 | (2) |
|
Weight two, trivial character and square free level |
|
|
224 | (6) |
|
Dealing with the Langlands--Tunnell form |
|
|
230 | (13) |
|
|
239 | (4) |
|
An Introduction to the Deformation Theory of Galois Representations |
|
|
243 | (70) |
|
|
|
|
|
|
246 | (5) |
|
|
251 | (8) |
|
The deformation theory for Galois representations |
|
|
259 | (8) |
|
Functors and representability |
|
|
267 | (17) |
|
Zariski tangent spaces and deformation problems subject to ``conditions'' |
|
|
284 | (10) |
|
Back to Galois representations |
|
|
294 | (19) |
|
|
309 | (4) |
|
Explicit Construction of Universal Deformation Rings |
|
|
313 | (14) |
|
|
|
|
|
|
|
|
|
|
313 | (1) |
|
|
314 | (3) |
|
Lifting homomorphisms to matrix groups |
|
|
317 | (1) |
|
The condition of absolute irreducibility |
|
|
318 | (2) |
|
|
320 | (3) |
|
Restrictions on deformations |
|
|
323 | (1) |
|
Relaxing the absolute irreducibility condition |
|
|
324 | (3) |
|
|
326 | (1) |
|
Hecke Algebras and the Gorenstein Property |
|
|
327 | (16) |
|
|
|
|
|
|
328 | (2) |
|
|
330 | (1) |
|
|
331 | (3) |
|
Strategy of the proof of theorem 3.4 |
|
|
334 | (1) |
|
|
335 | (8) |
|
|
340 | (1) |
|
|
341 | (2) |
|
Criteria for Complete Intersections |
|
|
343 | (14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
343 | (2) |
|
|
345 | (2) |
|
|
347 | (3) |
|
|
350 | (3) |
|
|
353 | (4) |
|
|
355 | (2) |
|
l-adic Modular Deformations and Wiles's ``Main Conjecture'' |
|
|
357 | (16) |
|
|
|
|
|
|
|
|
|
|
357 | (1) |
|
|
358 | (1) |
|
|
359 | (4) |
|
Reduction to the case Σ = ø |
|
|
363 | (7) |
|
|
370 | (3) |
|
|
370 | (3) |
|
The Flat Deformation Functor |
|
|
373 | (48) |
|
|
|
|
|
|
373 | (1) |
|
|
374 | (1) |
|
Motivation and flat representations |
|
|
375 | (19) |
|
|
394 | (3) |
|
Local Galois cohomology and deformation theory |
|
|
397 | (9) |
|
Fontaine's approach to finite flat group schemes |
|
|
406 | (6) |
|
Applications to flat deformations |
|
|
412 | (9) |
|
|
418 | (3) |
|
Hecke Rings and Universal Deformation Rings |
|
|
421 | (26) |
|
|
|
|
|
|
421 | (3) |
|
|
424 | (8) |
|
Proof of proposition 10 -- On the structure of the Hecke algebra |
|
|
432 | (4) |
|
Proof of proposition 11 -- On the structure of the universal deformation ring |
|
|
436 | (6) |
|
Conclusion of the proof: Some group theory |
|
|
442 | (5) |
|
|
444 | (3) |
|
Explicit Families of Elliptic Curves with Prescribed Mod N Representations |
|
|
447 | (16) |
|
|
|
|
|
|
447 | (1) |
|
Elliptic curves with the same mod N representation |
|
|
448 | (1) |
|
Modular curves and elliptic modular surfaces of level N |
|
|
448 | (1) |
|
|
449 | (1) |
|
Model for W when N = 3, 4, or 5 |
|
|
450 | (1) |
|
|
451 | (3) |
|
Explicit families of modular elliptic curves |
|
|
454 | (1) |
|
|
454 | (1) |
|
|
455 | (1) |
|
|
456 | (1) |
|
|
457 | (6) |
|
|
461 | (2) |
|
Modularity of Mod 5 Representations |
|
|
463 | (12) |
|
|
|
|
|
|
463 | (2) |
|
Preliminaries: Group theory |
|
|
465 | (1) |
|
Preliminaries: Modular curves |
|
|
466 | (4) |
|
Proof of the irreducibility theorem (Theorem 1) |
|
|
470 | (1) |
|
Proof of the modularity theorem (Theorem 2) |
|
|
470 | (1) |
|
Mod 5 representations and elliptic curves |
|
|
471 | (4) |
|
|
473 | (2) |
|
An Extension of Wiles' Results |
|
|
475 | (24) |
|
|
|
|
|
|
475 | (1) |
|
Local representations mod l |
|
|
476 | (4) |
|
Minimally ramified liftings |
|
|
480 | (1) |
|
Universal deformation rings |
|
|
481 | (1) |
|
|
482 | (1) |
|
|
483 | (1) |
|
|
484 | (15) |
|
|
488 | (3) |
|
Classification of PE, l by the j Invariant of E |
|
|
491 | (8) |
|
|
|
|
|
|
|
|
|
Class Field Theory and the First Case of Fermat's Last Theorem |
|
|
499 | (6) |
|
|
|
|
|
|
|
|
|
Remarks on the History of Fermat's Last Theorem 1844 to 1984 |
|
|
505 | (22) |
|
|
|
|
|
|
507 | (1) |
|
Fermat's last theorem for polynomials |
|
|
507 | (1) |
|
Kummer's work on cyclotomic fields |
|
|
508 | (5) |
|
Fermat's last theorem for regular primes and certain other cases |
|
|
513 | (4) |
|
The structure of the p-class group |
|
|
517 | (4) |
|
|
521 | (6) |
|
Kummer congruence and Hilbert's theorem 94 |
|
|
522 | (2) |
|
|
524 | (3) |
|
On Ternary Equations of Fermat Type and Relations with Elliptic Curves |
|
|
527 | (22) |
|
|
|
|
|
|
527 | (13) |
|
|
540 | (2) |
|
|
542 | (7) |
|
|
548 | (1) |
|
Wiles' Theorem and the Arithmetic of Elliptic Curves |
|
|
549 | (24) |
|
|
|
|
|
Prelude: plane conics, Fermat and Gauss |
|
|
549 | (3) |
|
Elliptic curves and Wiles' theorem |
|
|
552 | (5) |
|
The special values of L (E/Q, s) at s = 1 |
|
|
557 | (6) |
|
The Birch and Swinnerton-Dyer conjecture |
|
|
563 | (10) |
|
|
566 | (7) |
Index |
|
573 | |