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

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 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.

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 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).

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.

This is Part 2 of a two-volume set. Since Oscar Zariski organized a meeting in 1954, there has been a major algebraic geometry meeting every decade: Woods Hole (1964), Arcata (1974), Bowdoin (1985), Santa Cruz (1995), and Seattle (2005). The American Mathematical Society has supported these summer institutes for over 50 years. Their proceedings volumes have been extremely influential, summarizing the state of algebraic geometry at the time and pointing to future developments. The most recent Summer Institute in Algebraic Geometry was held July 2015 at the University of Utah in Salt Lake City, sponsored by the AMS with the collaboration of the Clay Mathematics Institute. This volume includes surveys growing out of plenary lectures and seminar talks during the meeting. Some present a broad overview of their topics, while others develop a distinctive perspective on an emerging topic. Topics span both complex algebraic geometry and arithmetic questions, specifically, analytic techniques, enumerative geometry, moduli theory, derived categories, birational geometry, tropical geometry, Diophantine questions, geometric representation theory, characteristic and -adic tools, etc. The resulting articles will be important references in these areas for years to come.

Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; and 4) the model theory of real and complex exponentiation. Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics.

Explores the recent spectacular applications of point-counting in o-minimal structures to functional transcendence and diophantine geometry.