Linear forms in logarithms and their applications
From elementary height and approximation bounds to Baker's theorem, effective logarithmic estimates and their Diophantine applications.
This edition contains Lessons 1–9, the available sections of Lesson 10, and Lessons 11–22, with proofs, worked examples, original figures, exercises and solutions. It covers qualitative and effective Baker estimates, complex logarithmic forms, p-adic analysis, determinant bounds and Yu-type estimates, followed by applications to powers of two and three, irrationality measures, S-unit gaps, 3x+1 cycles, the many-to-two logarithm reduction, regulator bounds, the effective unit equation, Thue equations, effective irrationality bounds, binomial families, S-unit and primitive Thue–Mahler equations, superelliptic and hyperelliptic equations, affine curves of genus one, Mordell bounds, the Ramanujan–Nagell equation, primitive divisors, effective Catalan finiteness, fixed-variable Pillai equations, quadratic forms and class numbers, products of Dirichlet L-functions and their explicit limit formula, the complete class-number-one argument and the genus-character reduction for class number two, the Stewart–Tijdeman construction for abc triples and effective bounds in terms of their radicals, the Stewart–Yu one-third bound and its least-greatest-prime refinement, and complete equation resolutions by continued fractions and certified lattice reduction. The concluding lesson treats algebraic groups and the analytic subgroup theorem, abelian logarithms and periods, geometric relations between 1-periods, explicit elliptic logarithm bounds, integral points, and precisely stated open problems. The full programme has 22 lessons.
- Linear forms in logarithms: the problem, the trivial bounds, and effectivity
PDF · LaTeX · Markdown - Baker's theorem I: building an auxiliary function
PDF · LaTeX · Markdown - Baker's theorem II: extrapolation and the end of the proof
PDF · LaTeX · Markdown - Effective lower bounds I: Baker's theorem and its arithmetic tools
PDF · LaTeX · Markdown - Effective lower bounds II: proof of Baker's theorem
PDF · LaTeX · Markdown - Two logarithms I: interpolation determinants
PDF · LaTeX · Markdown - Two logarithms II: explicit lower bounds
PDF · LaTeX · Markdown - Linear forms in many logarithms: the modern estimates and how to use them
PDF · LaTeX · Markdown - p-adic analysis for linear forms in logarithms
PDF · LaTeX · Markdown - Two p-adic logarithms: determinant bounds
PDF · LaTeX · Markdown - Powers of two and three, S-unit gaps, and 3x+1 cycles
PDF · LaTeX · Markdown - From many logarithms to two, and the unit equation
PDF · LaTeX · Markdown - Thue equations, effectively
PDF · LaTeX · Markdown - S-unit equations and Thue–Mahler equations
PDF · LaTeX · Markdown - Superelliptic, hyperelliptic and Mordell equations
PDF · LaTeX · Markdown - Perfect powers: primitive divisors, Catalan and Pillai
PDF · LaTeX · Markdown - Class numbers I: products of L-functions and a limit formula
PDF · LaTeX · Markdown - Class numbers II: class number one (and two)
PDF · LaTeX · Markdown - Towards abc I: the theorems of Stewart and Tijdeman
PDF · LaTeX · Markdown - Towards abc II: the theorems of Stewart and Yu
PDF · LaTeX · Markdown - Solving Diophantine equations completely: reduction, lattices and certificates
PDF · LaTeX · Markdown - Beyond: elliptic logarithms, the analytic subgroup theorem, and open problems
PDF · LaTeX · Markdown
Download all lesson PDFs, editable sources and offline readers
CC0 1.0 for original text, exposition and figures; font glyphs retain their licences.