Ax-Lindemann for \(\mathcal{A}_g\) (Q2445318)

Let \({\mathcal A}_g\) be the moduli space of principally polarized abelian varieties of dimension \(g\). The main result of this paper implies the André-Oort conjecture for \({\mathcal A}_g\) and \(g \leq 6\). More precisely: Let \(V \subseteq {\mathcal A}_g\), \(g \leq 6\), be a subvariety. Then \(V\) contains only finitely many maximal special subvarieties. Under the assumption of GRH for CM-fields, the same conclusion holds for all \(g\). One ingredient in the proof is an analogue for the map \(\pi_g : {\mathbb H}_g \rightarrow {\mathcal A}_g\) of the part of Ax-Schanuel which corresponds to Lindemann-Weierstrass, whose statement is: Let \(V \subseteq {\mathcal A}_g\) be a subvariety and \(W \subseteq \pi_g^{-1}(V)\) a maximal algebraic subvariety. Then \(W\) is weakly special. The other is a lower bound on the size of the Galois orbits of special points \(x \in {\mathcal A}_g\) (this is where the hypotheses \(g \leq 6\) or GRH for CM-fields come into play). It is expected that the lower bound holds without these additional hypotheses, but this unfortunately has not been established yet.