The André–Oort conjecture for the moduli space of abelian surfaces

  title={The Andr{\'e}–Oort conjecture for the moduli space of abelian surfaces},
  author={Jonathan Pila and Jacob Tsimerman},
  journal={Compositio Mathematica},
  pages={204 - 216}
Abstract We provide an unconditional proof of the André–Oort conjecture for the coarse moduli space 𝒜2,1 of principally polarized abelian surfaces, following the strategy outlined by Pila–Zannier. 
The André-Oort conjecture for A g
We give a proof of the André-Oort conjecture for Ag — the moduli space of principally polarized abelian varieties. In particular, we show that a recently proven “averaged” version of the Colmez
A proof of the Andre-Oort conjecture for A_g
We give a proof of the Andre-Oort conjecture for $\mathcal{A}_g$ - the moduli space of principally polarized abelian varieties. In particular, we show that a recently proven `averaged' version of the
The André-Oort conjecture via o-minimality
The purpose of this article is to explain the Pila-Zannier strategy for proving the Andr\'e-Oort conjecture. First, however, we will provide a brief introduction to the theory of Shimura varieties.
Holomorphic curves in Shimura varieties
We prove a hyperbolic analogue of the Bloch–Ochiai theorem about the Zariski closure of holomorphic curves in abelian varieties. We consider the case of non compact Shimura varieties completing the
Canonical Heights on Shimura Varieties and the Andr\'e-Oort Conjecture
The main purpose of this work is to prove the Andr\'e-Oort conjecture in full generality.
We prove a “special point” result for products of elliptic modular surfaces, elliptic curves, multiplicative groups and complex lines, and deduce a result about vanishing linear combinations of
Hyperbolic Ax–Lindemann theorem in the cocompact case
We prove an analogue of the classical Ax-Lindemann theorem in the context of compact Shimura varieties. Our work is motivated by J. Pila's strategy for proving the Andr\'e-Oort conjecture
The hyperbolic Ax-Lindemann-Weierstraß conjecture
The hyperbolic Ax-Lindemann-Weierstrass conjecture is a functional algebraic independence statement for the uniformizing map of an arithmetic variety. In this paper we provide a proof of this
Finiteness theorems for K3 surfaces and abelian varieties of CM type
We study abelian varieties and K3 surfaces with complex multiplication defined over number fields of fixed degree. We show that these varieties fall into finitely many isomorphism classes over an


Galois orbits and equidistribution of special subvarieties: towards the André-Oort conjecture
In this paper we develop a strategy and some technical tools for proving the Andr e-Oort conjecture. We give lower bounds for the degrees of Galois orbits of geometric components of special
Definability of restricted theta functions and families of abelian varieties
We consider some classical maps from the theory of abelian varieties and their moduli spaces and prove their definability, on restricted domains, in the o-minimal structure $\Rae$. In particular, we
Symplectic Geometry
These are lecture notes for two courses, taught at the University of Toronto in Spring 1998 and in Fall 2000. Our main sources have been the books " Symplectic Techniques " by Guillemin-Sternberg and
Effective equidistribution for closed orbits of semisimple groups on homogeneous spaces
We prove effective equidistribution, with polynomial rate, for large closed orbits of semisimple groups on homogeneous spaces, under certain technical restrictions (notably, the acting group should
Brauer-Siegel for arithmetic tori and lower bounds for Galois orbits of special points
In \cite{S}, Shyr derived an analogue of Dirichlet's class number formula for arithmetic Tori. We use this formula to derive a Brauer-Siegel formula for Tori, relating the Discriminant of a torus to
The rational points of a definable set
Let $X\R^n$ be a set that is definable in an o-minimal structure over $R$. This article shows that in a suitable sense, there are very few rational points of $X$ which do not lie on some connected
O-minimality and the André-Oort conjecture for $\mathbb{C}^{n}$
We give an unconditional proof of the Andre-Oort conjecture for arbitrary products of modular curves. We establish two generalizations. The first includes the Manin-Mumford conjecture for arbitrary
Rational points in periodic analytic sets and the Manin-Mumford conjecture
We present a new proof of the Manin-Mumford conjecture about torsion points on algebraic subvarieties of abelian varieties. Our principle, which admits other applications, is to view torsion points
Tame Complex Analysis and o-minimality
We describe here a theory of holomorphic functions and analytic manifolds, restricted to the category of definable objects in an o-minimal structure which expands a real closed field R. In this