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.

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

This monograph is a bridge between the classical theory and modern approach via arithmetic geometry.

Leading experts survey the connections between model theory and semialgebraic, subanalytic, p-adic, rigid and diophantine geometry.

This book considers the so-called Unlikely Intersections, a topic that embraces well-known issues, such as Lang's and Manin-Mumford's, concerning torsion points in subvarieties of tori or abelian varieties. More generally, the book considers algebraic subgroups that meet a given subvariety in a set of unlikely dimension. The book is an expansion of the Hermann Weyl Lectures delivered by Umberto Zannier at the Institute for Advanced Study in Princeton in May 2010. The book consists of four chapters and seven brief appendixes, the last six by David Masser. The first chapter considers multiplicative algebraic groups, presenting proofs of several developments, ranging from the origins to recent results, and discussing many applications and relations with other contexts. The second chapter considers an analogue in arithmetic and several applications of this. The third chapter introduces a new method for approaching some of these questions, and presents a detailed application of this (by Masser and the author) to a relative case of the Manin-Mumford issue. The fourth chapter focuses on the André-Oort conjecture (outlining work by Pila).

Point-counting results for sets in real Euclidean space have found remarkable applications to diophantine geometry, enabling significant progress on the André–Oort and Zilber–Pink conjectures. The results combine ideas close to transcendence theory with the strong tameness properties of sets that are definable in an o-minimal structure, and thus the material treated connects ideas in model theory, transcendence theory, and arithmetic. This book describes the counting results and their applications along with their model-theoretic and transcendence connections. Core results are presented in detail to demonstrate the flexibility of the method, while wider developments are described in order to illustrate the breadth of the diophantine conjectures and to highlight key arithmetical ingredients. The underlying ideas are elementary and most of the book can be read with only a basic familiarity with number theory and complex algebraic geometry. It serves as an introduction for postgraduate students and researchers to the main ideas, results, problems, and themes of current research in this area.

This textbook introduces exciting new developments and cutting-edge results on the theme of hyperbolicity. Written by leading experts in their respective fields, the chapters stem from mini-courses given alongside three workshops that took place in Montréal between 2018 and 2019. Each chapter is self-contained, including an overview of preliminaries for each respective topic. This approach captures the spirit of the original lectures, which prepared graduate students and those new to the field for the technical talks in the program. The four chapters turn the spotlight on the following pivotal themes: The basic notions of o-minimal geometry, which build to the proof of the Ax–Schanuel conjecture for variations of Hodge structures; A broad introduction to the theory of orbifold pairs and Campana's conjectures, with a special emphasis on the arithmetic perspective; A systematic presentation and comparison between different notions of hyperbolicity, as an introduction to the Lang–Vojta conjectures in the projective case; An exploration of hyperbolicity and the Lang–Vojta conjectures in the general case of quasi-projective varieties. Arithmetic Geometry of Logarithmic Pairs and Hyperbolicity of Moduli Spaces is an ideal resource for graduate students and researchers in number theory, complex algebraic geometry, and arithmetic geometry. A basic course in algebraic geometry is assumed, along with some familiarity with the vocabulary of algebraic number theory.