Preface |
|
ix | |
Summary |
|
xi | |
|
|
|
1 Basic algebraic number theory |
|
|
3 | (27) |
|
1.1 Characteristic polynomial, trace, norm, discriminant |
|
|
3 | (2) |
|
1.2 Ideal theory for algebraic number fields |
|
|
5 | (2) |
|
1.3 Extension of ideals; norm of ideals |
|
|
7 | (2) |
|
1.4 Discriminant, class number, unit group and regulator |
|
|
9 | (2) |
|
|
11 | (1) |
|
1.6 Absolute values: generalities |
|
|
12 | (3) |
|
1.7 Absolute values and places on number fields |
|
|
15 | (2) |
|
1.8 5-integers, S-units and S-norm |
|
|
17 | (2) |
|
|
19 | (4) |
|
1.9.1 Heights of algebraic numbers |
|
|
19 | (2) |
|
1.9.2 V-adic norms and heights of vectors and polynomials |
|
|
21 | (2) |
|
1.10 Effective computations in number fields |
|
|
23 | (3) |
|
|
26 | (4) |
|
2 Algebraic function fields |
|
|
30 | (12) |
|
|
30 | (3) |
|
|
33 | (2) |
|
2.3 Derivatives and genus |
|
|
35 | (2) |
|
2.4 Effective computations |
|
|
37 | (5) |
|
3 Tools from Diophantine approximation and transcendence theory |
|
|
42 | (19) |
|
3.1 The Subspace Theorem and some variations |
|
|
42 | (9) |
|
3.2 Effective estimates for linear forms in logarithms |
|
|
51 | (10) |
|
PART II UNIT EQUATIONS AND APPLICATIONS |
|
|
|
4 Effective results for unit equations in two unknowns over number fields |
|
|
61 | (35) |
|
4.1 Effective bounds for the heights of the solutions |
|
|
62 | (5) |
|
4.1.1 Equations in units of a number field |
|
|
62 | (2) |
|
4.1.2 Equations with unknowns from a finitely generated multiplicative group |
|
|
64 | (3) |
|
4.2 Approximation by elements of a finitely generated multiplicative group |
|
|
67 | (1) |
|
|
68 | (11) |
|
4.3.1 Some geometry of numbers |
|
|
68 | (4) |
|
4.3.2 Estimates for units and S-units |
|
|
72 | (7) |
|
|
79 | (8) |
|
4.4.1 Proofs of Theorems 4.1.1 and 4.1.2 |
|
|
79 | (2) |
|
4.4.2 Proofs of Theorems 4.2.1 and 4.2.2 |
|
|
81 | (3) |
|
4.4.3 Proofs of Theorem 4.1.3 and its corollaries |
|
|
84 | (3) |
|
4.5 Alternative methods, comparison of the bounds |
|
|
87 | (2) |
|
4.5.1 The results of Bombieri, Bombieri and Cohen, and Bugeaud |
|
|
87 | (1) |
|
4.5.2 The results of Murty, Pasten and von Kanel |
|
|
88 | (1) |
|
|
89 | (4) |
|
|
93 | (3) |
|
4.7.1 Historical remarks and some related results |
|
|
93 | (1) |
|
4.7.2 Some notes on applications |
|
|
94 | (2) |
|
5 Algorithmic resolution of unit equations in two unknowns |
|
|
96 | (32) |
|
5.1 Application of Baker's type estimates |
|
|
97 | (6) |
|
|
100 | (2) |
|
|
102 | (1) |
|
5.2 Reduction of the bounds |
|
|
103 | (8) |
|
|
103 | (2) |
|
|
105 | (6) |
|
5.3 Enumeration of the "small" solutions |
|
|
111 | (8) |
|
|
119 | (2) |
|
|
121 | (2) |
|
5.6 Supplement: LLL lattice basis reduction |
|
|
123 | (3) |
|
|
126 | (2) |
|
6 Unit equations in several unknowns |
|
|
128 | (45) |
|
|
130 | (6) |
|
6.1.1 A semi-effective result |
|
|
130 | (1) |
|
6.1.2 Upper bounds for the number of solutions |
|
|
131 | (3) |
|
|
134 | (2) |
|
6.2 Proofs of Theorem 6.1.1 and Corollary 6.1.2 |
|
|
136 | (4) |
|
6.3 A sketch of the proof of Theorem 6.1.3 |
|
|
140 | (8) |
|
|
140 | (2) |
|
|
142 | (1) |
|
|
142 | (2) |
|
6.3.4 The large solutions |
|
|
144 | (3) |
|
6.3.5 The small solutions, and conclusion of the proof |
|
|
147 | (1) |
|
6.4 Proof of Theorem 6.1.4 |
|
|
148 | (10) |
|
6.5 Proof of Theorem 6.1.6 |
|
|
158 | (3) |
|
6.6 Proofs of Theorems 6.1.7 and 6.1.8 |
|
|
161 | (4) |
|
|
165 | (8) |
|
7 Analogues over function fields |
|
|
173 | (24) |
|
|
174 | (2) |
|
|
176 | (2) |
|
7.3 Effective results in the more unknowns case |
|
|
178 | (4) |
|
7.4 Results on the number of solutions |
|
|
182 | (1) |
|
7.5 Proof of Theorem 7.4.1 |
|
|
183 | (9) |
|
7.5.1 Extension to the k-closure of Γ |
|
|
183 | (2) |
|
7.5.2 Some algebraic geometry |
|
|
185 | (3) |
|
7.5.3 Proof of Theorem 7.5.1 |
|
|
188 | (4) |
|
7.6 Results in positive characteristic |
|
|
192 | (5) |
|
8 Effective results for unit equations in two unknowns over finitely generated domains |
|
|
197 | (34) |
|
8.1 Statements of the results |
|
|
198 | (3) |
|
8.2 Effective linear algebra over polynomial rings |
|
|
201 | (3) |
|
|
204 | (8) |
|
8.4 Bounding the degree in Proposition 8.3.7 |
|
|
212 | (3) |
|
|
215 | (7) |
|
8.6 Bounding the height in Proposition 8.3.7 |
|
|
222 | (3) |
|
8.7 Proof of Theorem 8.1.3 |
|
|
225 | (5) |
|
|
230 | (1) |
|
9 Decomposable form equations |
|
|
231 | (53) |
|
9.1 A finiteness criterion for decomposable form equations |
|
|
233 | (3) |
|
9.2 Reduction of unit equations to decomposable form equations |
|
|
236 | (1) |
|
9.3 Reduction of decomposable form equations to unit equations |
|
|
237 | (7) |
|
9.3.1 Proof of the equivalence (ii) ↔ (iii) in Theorem 9.1.1 |
|
|
238 | (1) |
|
9.3.2 Proof of the implication (i) → (iii) in Theorem 9.1.1 |
|
|
238 | (2) |
|
9.3.3 Proof of the implication (iii) → (i) in Theorem 9.1.1 |
|
|
240 | (4) |
|
9.4 Finiteness of the number of families of solutions |
|
|
244 | (5) |
|
9.5 Upper bounds for the number of solutions |
|
|
249 | (8) |
|
9.5.1 Galois symmetric S-unit vectors |
|
|
251 | (2) |
|
9.5.2 Consequences for decomposable form equations and S-unit equations |
|
|
253 | (4) |
|
|
257 | (15) |
|
|
258 | (5) |
|
9.6.2 Decomposable form equations in an arbitrary number of unknowns |
|
|
263 | (9) |
|
|
272 | (12) |
|
|
284 | (53) |
|
10.1 Prime factors of sums of integers |
|
|
284 | (3) |
|
10.2 Additive unit representations in finitely generated integral domains |
|
|
287 | (4) |
|
10.3 Orbits of polynomial and rational maps |
|
|
291 | (7) |
|
10.4 Polynomials dividing many k-nomials |
|
|
298 | (3) |
|
10.5 Irreducible polynomials and arithmetic graphs |
|
|
301 | (4) |
|
10.6 Discriminant equations and power integral bases in number fields |
|
|
305 | (5) |
|
10.7 Binary forms of given discriminant |
|
|
310 | (5) |
|
10.8 Resultant equations for monic polynomials |
|
|
315 | (2) |
|
10.9 Resultant inequalities and equations for binary forms |
|
|
317 | (4) |
|
10.10 Lang's Conjecture for tori |
|
|
321 | (5) |
|
10.11 Linear recurrence sequences and exponential-polynomial equations |
|
|
326 | (4) |
|
10.12 Algebraic independence results |
|
|
330 | (7) |
References |
|
337 | (21) |
Glossary of frequently used notation |
|
358 | (3) |
Index |
|
361 | |