Foreword |
|
viii | |
|
|
1 | (67) |
|
Diophantus and his Arithmetica |
|
|
2 | (1) |
|
Translations of Diophantus |
|
|
2 | (1) |
|
|
3 | (1) |
|
|
4 | (3) |
|
Fermat's ``theorem'' in degree 4 |
|
|
7 | (2) |
|
The theorem of two squares |
|
|
9 | (7) |
|
|
10 | (2) |
|
``Fermat--style'' proof of the crucial theorem |
|
|
12 | (1) |
|
Representations as sums of two squares |
|
|
13 | (3) |
|
Euler-style proof of Fermat's last theorem for n = 3 |
|
|
16 | (2) |
|
|
18 | (15) |
|
The ring of integers of Q(ζ) |
|
|
18 | (5) |
|
A lemma of Kummer on the units of Z (ζ] |
|
|
23 | (2) |
|
|
25 | (1) |
|
|
26 | (5) |
|
|
31 | (2) |
|
|
33 | (35) |
|
|
35 | (33) |
|
|
68 | (50) |
|
|
68 | (3) |
|
The discovery of elliptic functions in 1718 |
|
|
71 | (4) |
|
Euler's contribution (1753) |
|
|
75 | (2) |
|
Elliptic functions: structure theorems |
|
|
77 | (3) |
|
Weierstrass-style elliptic Functions |
|
|
80 | (5) |
|
|
85 | (2) |
|
|
87 | (2) |
|
|
89 | (3) |
|
|
92 | (3) |
|
|
95 | (2) |
|
Computation of the discriminant |
|
|
97 | (2) |
|
Relation to elliptic Functions |
|
|
99 | (19) |
|
|
101 | (17) |
|
|
118 | (54) |
|
|
118 | (5) |
|
Completion of a field equipped with an absolute value |
|
|
123 | (4) |
|
The field of p-adic numbers |
|
|
127 | (4) |
|
Algebraic closure of a field |
|
|
131 | (3) |
|
Generalities on the linear representations of groups |
|
|
134 | (6) |
|
|
140 | (9) |
|
The Galois correspondence |
|
|
141 | (2) |
|
|
143 | (3) |
|
|
146 | (1) |
|
|
146 | (3) |
|
Resolution of algebraic equations |
|
|
149 | (23) |
|
|
149 | (3) |
|
Resolution of the equation of degree three |
|
|
152 | (3) |
|
|
155 | (17) |
|
|
172 | (83) |
|
Cubics and elliptic curves |
|
|
172 | (7) |
|
|
179 | (4) |
|
|
183 | (2) |
|
Group laws on an elliptic curve |
|
|
185 | (4) |
|
|
189 | (3) |
|
N-division points of an elliptic curve |
|
|
192 | (3) |
|
|
192 | (1) |
|
|
193 | (1) |
|
n-Division points of an elliptic curve defined over Q |
|
|
194 | (1) |
|
A most interesting Galois representation |
|
|
195 | (2) |
|
Ring of endomorphisms of an elliptic curve |
|
|
197 | (5) |
|
Elliptic curves over a finite field |
|
|
202 | (3) |
|
Torsion on an elliptic curve defined over Q |
|
|
205 | (6) |
|
|
211 | (1) |
|
Back to the definition of elliptic curves |
|
|
211 | (4) |
|
|
215 | (3) |
|
Minimal Weierstrass equations (over Z) |
|
|
218 | (5) |
|
|
223 | (32) |
|
|
223 | (1) |
|
|
224 | (2) |
|
|
226 | (2) |
|
|
228 | (27) |
|
|
255 | (70) |
|
Brief historical overview |
|
|
255 | (5) |
|
|
260 | (14) |
|
Modular forms for the modular group SL2 (Z)/{I-I} |
|
|
274 | (15) |
|
Modular properties of the Eisenstein series |
|
|
274 | (6) |
|
|
280 | (7) |
|
Definition of modular forms and functions |
|
|
287 | (2) |
|
The space of modular forms of weight k for SL2 (Z) |
|
|
289 | (5) |
|
The fifth operation of arithmetic |
|
|
294 | (3) |
|
The Petersson Hermitian product |
|
|
297 | (2) |
|
|
299 | (5) |
|
Hecke operators for SL2 (Z) |
|
|
300 | (4) |
|
|
304 | (4) |
|
|
306 | (1) |
|
Functional equations for the functions L (f, s) |
|
|
307 | (1) |
|
|
308 | (17) |
|
|
313 | (12) |
|
New paradigms, new enigmas |
|
|
325 | (34) |
|
A second definition of the ring Zp, of p-adic integers |
|
|
326 | (2) |
|
|
328 | (2) |
|
|
330 | (1) |
|
Tate loxodromic functions |
|
|
331 | (1) |
|
|
332 | (4) |
|
Reduction of certain curves EA,B,C |
|
|
333 | (2) |
|
Property of the field Kp associated to Eap, bp, cp |
|
|
335 | (1) |
|
Summary of the properties of Eap, bp, cp |
|
|
335 | (1) |
|
|
336 | (3) |
|
|
339 | (4) |
|
|
340 | (1) |
|
|
341 | (2) |
|
Szpiro's conjecture and the abc conjecture |
|
|
343 | (16) |
|
|
343 | (1) |
|
|
344 | (1) |
|
|
344 | (4) |
|
|
348 | (11) |
Appendix: The origin of the elliptic approach to Fermat's last theorem |
|
359 | (12) |
Bibliography |
|
371 | (4) |
Index |
|
375 | |