Preface |
|
xi | |
Acknowledgments |
|
xiv | |
Glossary of Frequently Used Notation |
|
xv | |
History and Summary |
|
xix | |
|
1 Ineffective Results for Diophantine Equations over Finitely Generated Domains |
|
|
1 | (17) |
|
|
2 | (3) |
|
1.2 Unit Equations in Two Unknowns |
|
|
5 | (2) |
|
1.3 Hyper- and Superelliptic Equations |
|
|
7 | (1) |
|
1.4 Curves with Finitely Many Integral Points |
|
|
8 | (1) |
|
1.5 Decomposable Form Equations and Multivariate Unit Equations |
|
|
9 | (4) |
|
1.6 Discriminant Equations for Polynomials and Integral Elements |
|
|
13 | (5) |
|
2 Effective Results for Diophantine Equations over Finitely Generated Domains: The Statements |
|
|
18 | (21) |
|
2.1 Notation and Preliminaries |
|
|
18 | (3) |
|
2.2 Unit Equations in Two Unknowns |
|
|
21 | (3) |
|
|
24 | (1) |
|
2.4 Hyper- and Superelliptic Equations, the Schinzel-Tijdeman Equation |
|
|
24 | (1) |
|
|
25 | (1) |
|
2.6 Decomposable Form Equations |
|
|
26 | (5) |
|
|
31 | (1) |
|
2.8 Discriminant Form Equations and Discriminant Equations |
|
|
32 | (4) |
|
|
36 | (3) |
|
3 A Brief Explanation of Our Effective Methods over Finitely Generated Domains |
|
|
39 | (16) |
|
3.1 Sketch of the Effective Specialization Method |
|
|
39 | (6) |
|
3.2 Illustration of the Application of the Effective Specialization Method to Diophantine Equations |
|
|
45 | (1) |
|
3.3 Sketch of the Method Reducing Equations to Unit Equations |
|
|
46 | (8) |
|
3.3.1 Effective Finiteness Result for Systems of Unit Equations |
|
|
47 | (2) |
|
3.3.2 Reduction of Decomposable Form Equations to Unit Equations |
|
|
49 | (1) |
|
3.3.3 Quantitative Versions |
|
|
50 | (2) |
|
3.3.4 Reduction of Discriminant Equations to Unit Equations |
|
|
52 | (2) |
|
3.4 Comparison of Our Two Effective Methods |
|
|
54 | (1) |
|
4 Effective Results over Number Fields |
|
|
55 | (43) |
|
4.1 Notation and Preliminaries |
|
|
56 | (8) |
|
4.2 Effective Estimates for Linear Forms in Logarithms |
|
|
64 | (3) |
|
|
67 | (4) |
|
|
71 | (2) |
|
4.5 Hyper- and Superelliptic Equations, the Schinzel--Tijdeman Equation |
|
|
73 | (8) |
|
|
81 | (8) |
|
4.7 Decomposable Form Equations |
|
|
89 | (5) |
|
4.8 Discriminant Equations |
|
|
94 | (4) |
|
5 Effective Results over Function Fields |
|
|
98 | (16) |
|
5.1 Notation and Preliminaries |
|
|
98 | (4) |
|
|
102 | (2) |
|
|
104 | (1) |
|
|
105 | (3) |
|
5.5 Hyper-and Superelliptic Equations |
|
|
108 | (6) |
|
6 Tools from Effective Commutative Algebra |
|
|
114 | (14) |
|
6.1 Effective Linear Algebra over Polynomial Rings |
|
|
115 | (4) |
|
6.2 Finitely Generated Fields over Q |
|
|
119 | (3) |
|
6.3 Finitely Generated Integral Domains over Z |
|
|
122 | (6) |
|
7 The Effective Specialization Method |
|
|
128 | (28) |
|
|
128 | (1) |
|
7.2 Construction of a More Convenient Ground Domain B |
|
|
129 | (7) |
|
7.3 Comparison of Different Degrees and Heights |
|
|
136 | (4) |
|
|
140 | (10) |
|
7.5 Multiplicative Independence |
|
|
150 | (6) |
|
8 Degree-Height Estimates |
|
|
156 | (15) |
|
|
156 | (2) |
|
8.2 Estimates for Factors of Polynomials |
|
|
158 | (4) |
|
|
162 | (9) |
|
9 Proofs of the Results from Sections 2.2 to 2.5 Use of Specializations |
|
|
171 | (23) |
|
|
172 | (5) |
|
|
173 | (2) |
|
|
175 | (1) |
|
9.1.3 Hyper-and Superelliptic Equations |
|
|
176 | (1) |
|
|
177 | (4) |
|
|
178 | (1) |
|
|
179 | (1) |
|
9.2.3 Hyper-and Superelliptic Equations |
|
|
180 | (1) |
|
9.3 Bounding the Heights and Specializations |
|
|
181 | (9) |
|
|
182 | (2) |
|
|
184 | (4) |
|
9.3.3 Hyper-and Superelliptic Equations |
|
|
188 | (2) |
|
|
190 | (4) |
|
10 Proofs of the Results from Sections 2.6 to 2.8 Reduction to Unit Equations |
|
|
194 | (12) |
|
10.1 Proofs of the Central Results on Decomposable Form Equations |
|
|
194 | (7) |
|
10.2 Proofs of the Results for Norm Form Equations |
|
|
201 | (1) |
|
10.3 Proofs of the Results for Discriminant Form Equations and Discriminant Equations |
|
|
202 | (4) |
References |
|
206 | (8) |
Index |
|
214 | |