Preface |
Acknowledgments |
Contents |
Detailed Contents for Part A |
Introduction |
The Geometry of Curves and Abelian Varieties / Part A: |
Algebraic Varieties / A.1: |
Divisors / A.2: |
Linear Systems / A.3: |
Algebraic Curves / A.4: |
Abelian Varieties over C / A.5: |
Jacobians over C / A.6: |
Abelian Varieties over Arbitrary Fields / A.7: |
Jacobians over Arbitrary Fields / A.8: |
Schemes / A.9: |
Height Functions / Part B: |
Absolute Values / B.1: |
Heights on Projective Space / B.2: |
Heights on Varieties / B.3: |
Canonical Height Functions / B.4: |
Canonical Heights on Abelian Varieties / B.5: |
Counting Rational Points on Varieties / B.6: |
Heights and Polynomials / B.7: |
Local Height Functions / B.8: |
Canonical Local Heights on Abelian Varieties / B.9: |
Introduction to Arakelov Theory / B.10: |
Exercises |
Rational Points on Abelian Varieties / Part C: |
The Weak Mordell-Weil Theorem / C.1: |
The Kernel of Reduction Modulo p / C.2: |
Finiteness Theorems in Algebraic Number Theory / C.3 Appendix: |
The Selmer and Tate-Shafarevich Groups / C.4 Appendix: |
Galois Cohomology and Homogeneous Spaces / C.5 Appendix: |
Diophantine Approximation and Integral Points on Curves / Part D: |
Two Elementary Results on Diophantine Approximation / D.1: |
Roth's Theorem / D.2: |
Preliminary Results / D.3: |
Construction of the Auxiliary Polynomial / D.4: |
The Index Is Large / D.5: |
The Index Is Small (Roth's Lemma) / D.6: |
Completion of the Proof of Roth's Theorem / D.7: |
Application: The Unit Equation U + V = 1 / D.8: |
Application: Integer Points on Curves / D.9: |
Rational Points on Curves of Genus at Least 2 / Part E: |
Vojta's Geometric Inequality and Faltings' Theorem / E.1: |
Pinning Down Some Height Functions / E.2: |
An Outline of the Proof of Vojta's Inequality / E.3: |
An Upper Bound for h[subscript Omega](z, w) / E.4: |
A Lower Bound for h[subscript Omega](z, w) for Nonvanishing Sections / E.5: |
Constructing Sections of Small Height I: Applying Riemann-Roch / E.6: |
Constructing Sections of Small Height II: Applying Siegel's Lemma / E.7: |
Lower Bound for h[subscript Omega](z, w) at Admissible (i*[subscript 1], i*[subscript 2]): Version I / E.8: |
Eisenstein's Estimate for the Derivatives of an Algebraic Function / E.9: |
Lower Bound for h[subscript Omega](z, w) at Admissible (i*[subscript 1], i*[subscript 2]): Version II / E.10: |
A Nonvanishing Derivative of Small Order / E.11: |
Completion of the Proof of Vojta's Inequality / E.12: |
Further Results and Open Problems / Part F: |
Curves and Abelian Varieties / F.1: |
Rational Points on Subvarieties of Abelian Varieties / F.1.1: |
Application to Points of Bounded Degree on Curves / F.1.2: |
Discreteness of Algebraic Points / F.2: |
Bogomolov's Conjecture / F.2.1: |
The Height of a Variety / F.2.2: |
Height Bounds and Height Conjectures / F.3: |
The Search for Effectivity / F.4: |
Effective Computation of the Mordell-Weil Group A([kappa]) / F.4.1: |
Effective Computation of Rational Points on Curves / F.4.2: |
Quantitative Bounds for Rational Points / F.4.3: |
Geometry Governs Arithmetic / F.5: |
Kodaira Dimension / F.5.1: |
The Bombieri-Lang Conjecture / F.5.2: |
Vojta's Conjecture / F.5.3: |
Varieties Whose Rational Points Are Dense / F.5.4: |
References |
List of Notation |
Index |
Affine and Projective Varieties / A.1.1: |
Algebraic Maps and Local Rings / A.1.2: |
Dimension / A.1.3: |
Tangent Spaces and Differentials / A.1.4: |
Weil Divisors / A.2.1: |
Cartier Divisors / A.2.2: |
Intersection Numbers / A.2.3: |
Linear Systems and Maps / A.3.1: |
Ampleness and the Enriques-Severi-Zariski Lemma / A.3.2: |
Line Bundles and Sheaves / A.3.3: |
Birational Models of Curves / A.4.1: |
Genus of a Curve and the Riemann-Roch Theorem / A.4.2: |
Curves of Genus 0 / A.4.3: |
Curves of Genus 1 / A.4.4: |
Curves of Genus at Least 2 / A.4.5: |
Algebraic Surfaces / A.4.6: |
Complex Tori / A.5.1: |
Divisors, Theta Functions, and Riemann Forms / A.5.2: |
Riemann-Roch for Abelian Varieties / A.5.3: |
Abelian Integrals / A.6.1: |
Periods of Riemann Surfaces / A.6.2: |
The Jacobian of a Riemann Surface / A.6.3: |
Albanese Varieties / A.6.4: |
Generalities / A.7.1: |
Divisors and the Theorem of the Cube / A.7.2: |
Dual Abelian Varieties and Poincare Divisors / A.7.3: |
Construction and Properties / A.8.1: |
The Divisor [Theta] / A.8.2: |
Families of Subvarieties / A.8.3 Appendix: |
Varieties over Z / A.9.1: |
Analogies Between Number Fields and Function Fields / A.9.2: |
Minimal Model of a Curve / A.9.3: |
Neron Model of an Abelian Variety / A.9.4: |