Preface |
|
v | |
Introduction |
|
xv | |
|
1 Geometry and Arithmetic |
|
|
1 | (34) |
|
1.1 Rational Points on Conies |
|
|
1 | (7) |
|
1.2 The Geometry of Cubic Curves |
|
|
8 | (8) |
|
1.3 Weierstrass Normal Form |
|
|
16 | (7) |
|
1.4 Explicit Formulas for the Group Law |
|
|
23 | (12) |
|
|
28 | (7) |
|
|
35 | (30) |
|
2.1 Points of Order Two and Three |
|
|
35 | (3) |
|
2.2 Real and Complex Points on Cubic Curves |
|
|
38 | (7) |
|
|
45 | (2) |
|
2.4 Points of Finite Order Have Integer Coordinates |
|
|
47 | (9) |
|
2.5 The Nagell--Lutz Theorem and Further Developments |
|
|
56 | (9) |
|
|
58 | (7) |
|
3 The Group of Rational Points |
|
|
65 | (52) |
|
|
65 | (6) |
|
|
71 | (4) |
|
|
75 | (5) |
|
3.4 A Useful Homomorphism |
|
|
80 | (8) |
|
|
88 | (7) |
|
3.6 Examples and Further Developments |
|
|
95 | (11) |
|
3.7 Singular Cubic Curves |
|
|
106 | (11) |
|
|
|
4 Cubic Curves over Finite Fields |
|
|
117 | (50) |
|
4.1 Rational Points over Finite Fields |
|
|
117 | (4) |
|
|
121 | (12) |
|
4.3 Points of Finite Order Revisited |
|
|
133 | (6) |
|
4.4 A Factorization Algorithm Using Elliptic Curves |
|
|
139 | (13) |
|
4.5 Elliptic Curve Cryptography |
|
|
152 | (15) |
|
|
157 | (10) |
|
5 Integer Points on Cubic Curves |
|
|
167 | (40) |
|
5.1 How Many Integer Points? |
|
|
167 | (3) |
|
5.2 Taxicabs and Sums of Two Cubes |
|
|
170 | (6) |
|
5.3 Thue's Theorem and Diophantine Approximation |
|
|
176 | (6) |
|
5.4 Construction of an Auxiliary Polynomial |
|
|
182 | (8) |
|
5.5 The Auxiliary Polynomial Is Small |
|
|
190 | (3) |
|
5.6 The Auxiliary Polynomial Does Not Vanish |
|
|
193 | (4) |
|
5.7 Proof of the Diophantine Approximation Theorem |
|
|
197 | (3) |
|
|
200 | (7) |
|
|
202 | (5) |
|
|
207 | (58) |
|
6.1 Abelian Extensions of Q |
|
|
207 | (6) |
|
6.2 Algebraic Points on Cubic Curves |
|
|
213 | (8) |
|
6.3 A Galois Representation |
|
|
221 | (9) |
|
6.4 Complex Multiplication |
|
|
230 | (5) |
|
6.5 Abelian Extensions of Q(i) |
|
|
235 | (10) |
|
6.6 Elliptic Curves and Fermat's Last Theorem |
|
|
245 | (20) |
|
|
256 | (9) |
|
|
265 | (46) |
|
A.1 Homogeneous Coordinates and the Projective Plane |
|
|
265 | (6) |
|
A.2 Curves in the Projective Plane |
|
|
271 | (9) |
|
A.3 Intersections of Projective Curves |
|
|
280 | (10) |
|
A.4 Intersection Multiplicities and a Proof of Bezout's Theorem |
|
|
290 | (12) |
|
|
302 | (9) |
|
|
305 | (6) |
|
B Transformation to Weierstrass Form |
|
|
311 | (4) |
List of Notation |
|
315 | (2) |
References |
|
317 | (6) |
Index |
|
323 | |