The André-Oort conjecture for \(\mathcal A_g\)
type: Item
instance of: scholarly article
title: The André-Oort conjecture for \(\mathcal A_g\)
zbMATH Open document ID: 1415.11086
author: Jacob Tsimerman
published in: Annals of Mathematics. Second Series
publication date: 2018-02-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/1506.01466
review text: This paper gives an unconditional proof of the André-Oort conjecture for the moduli space $\mathcal A_g$ of principally polarized abelian varieties, which asserts that an irreducible closed algebraic subvariety $V$ of $\mathcal A_g$ contains only finitely many maximal special subvarieties. (Here, a special subvariety is a subvariety which is the image of a connected Shimura variety under a morphism coming from a morphism of Shimura data.) \par The main step towards proving this well-known conjecture carried out in the paper at hand is proving the following \par Theorem (cf.~Theorem 1.2). For given $g\ge 1$ there exist constants $\delta_g > 0$ and $\gamma_g > 0$ depending only on $g$ such that if $E$ is a CM field of degree $2g$, $\Phi$ is a primitive CM type for $E$, and $A$ is an abelian variety of dimension $g$ with endomorphism ring equal to the ring of integers of $E$ and CM type $\Phi$, then the field of moduli $\mathbb Q(A)$ of $A$ satisfies \[ \left| \mathbb Q(A) : \mathbb Q \right| \ge \gamma_g \left|\operatorname{Disc}(E)\right|^{\delta_g}. \] \par The key ingredients in the proof are the ``averaged Colmez conjecture'' on the Faltings height of CM abelian varieties proved by Andreatta, Goren, Howard and Madapusi Pera and independently by Xuan and Zhang, and a theorem by Masser and Wüstholz bound the degrees of isogenies between such abelian varieties. \par It was proved in [\textit{J. Pila} and \textit{J. Tsimerman}, Ann. Math. (2) 179, No. 2, 659--681 (2014; Zbl 1305.14020)] that this implies the André-Oort conjecture using, among other results, the theory of $o$-minimality and in particular a theorem by Pila and Wilkie on the growth of the number of points of bounded heights in definable sets. See Section 6 of the paper at hand for a sketch of the proof strategy. \par Previously, the André-Oort conjecture had been proved under the assumption of the Generalized Riemann Hypothesis by Klingler, Ullmo and Yafaev ([\textit{B. Klingler} and \textit{A. Yafaev}, …
reviewed by: Ulrich Görtz
Mathematics Subject Classification ID: 11G15
Mathematics Subject Classification ID: 11G18
zbMATH DE Number: 6841543
zbMATH Keywords: André-Oort conjecture for Siegel moduli space
zbMATH Keywords: complex multiplication
zbMATH Keywords: Faltings height
zbMATH Keywords: Colmez conjecture
MaRDI profile type: Publication
OpenAlex ID: W2783276594
Wikidata QID: Q122928140
arXiv ID: 1506.01466
cites work: Faltings heights of abelian varieties with complex multiplication
cites work: Height pairings on orthogonal Shimura varieties
cites work: Intrinsic heights of stable varieties and abelian varieties
cites work: On the Zeta-Functions of Algebraic Number Fields
cites work: Periods of abelian varieties with complex multiplication
cites work: On the real exponential field with restricted analytic functions
cites work: Open problems in algebraic geometry
cites work: Finiteness theorems for abelian varieties over number fields.
cites work: Towards the André-Oort conjecture for mixed Shimura varieties: the Ax-Lindemann theorem and lower bounds for Galois orbits of special points
cites work: Q4830109
cites work: The André-Oort conjecture
cites work: Factorization estimates for Abelian varieties
cites work: Definability of restricted theta functions and families of abelian varieties
cites work: Ax-Lindemann for \(\mathcal{A}_g\)
cites work: The André–Oort conjecture for the moduli space of abelian surfaces
cites work: The rational points of a definable set
cites work: Q3849064
cites work: Symplectic Geometry
cites work: Fields of definition for homomorphisms of abelian varieties
cites work: Brauer-Siegel for arithmetic tori and lower bounds for Galois orbits of special points
cites work: Galois orbits and equidistribution of special subvarieties: towards the André-Oort conjecture
cites work: On the averaged Colmez conjecture
DOI: 10.4007/ANNALS.2018.187.2.2
Recommended article: The André–Oort conjecture for the moduli space of abelian surfaces
Recommended article: Q5242621
Recommended article: Ax-Lindemann for \(\mathcal{A}_g\)
Recommended article: Local André-Oort conjecture for the universal abelian variety
Recommended article: On the averaged Colmez conjecture
Recommended article: Nombre de classes des tores de multiplication complexe et bornes inférieures pour les orbites Galoisiennes de points spéciaux
Recommended article: The André-Oort conjecture
Recommended article: The André-Oort conjecture via o-minimality
Recommended article: The existence of an abelian variety over \(\overline{\mathbb{Q}}\) isogenous to no Jacobian
Recommended article: Galois orbits and equidistribution of special subvarieties: towards the André-Oort conjecture
description: scientific article