O-Minimality and Diophantine Geometry

This book brings the researcher up to date with recent applications of mathematical logic to number theory.

G. O. Jones (Edited by), A. J. Wilkie (Edited by)

9781107462496, Cambridge University Press

Paperback / softback, published 13 August 2015

234 pages, 1 b/w illus. 30 exercises
22.9 x 15.2 x 1.3 cm, 0.34 kg

This collection of articles, originating from a short course held at the University of Manchester, explores the ideas behind Pila's proof of the Andre–Oort conjecture for products of modular curves. The basic strategy has three main ingredients: the Pila–Wilkie theorem, bounds on Galois orbits, and functional transcendence results. All of these topics are covered in this volume, making it ideal for researchers wishing to keep up to date with the latest developments in the field. Original papers are combined with background articles in both the number theoretic and model theoretic aspects of the subject. These include Martin Orr's survey of abelian varieties, Christopher Daw's introduction to Shimura varieties, and Jacob Tsimerman's proof via o-minimality of Ax's theorem on the functional case of Schanuel's conjecture.

Preface A. J. Wilkie and G. O. Jones
1. The Manin–Mumford conjecture, an elliptic curve, its torsion points and their Galois orbits P. Habegger
2. Rational points on definable sets A. J. Wilkie
3. Functional transcendence via o-minimality Jonathan Pila
4. Introduction to abelian varieties and the Ax–Lindemann–Weierstrass theorem Martin Orr
5. The André–Oort conjecture via o-minimality Christopher Daw
6. Lectures on elimination theory for semialgebraic and subanalytic sets A. J. Wilkie
7. Relative Manin–Mumford for abelian varieties D. Masser
8. Improving the bound in the Pila–Wilkie theorem for curves G. O. Jones
9. Ax–Schanuel and o-minimality Jacob Tsimerman.

Subject Areas: Number theory [PBH], Set theory [PBCH], Mathematical logic [PBCD]