The existence of an abelian variety over \(\overline{\mathbb{Q}}\) isogenous to no Jacobian (Q447940): Difference between revisions

In [ibid. 176, No. 1, 589--635 (2012; Zbl 1263.14032)], \textit{Ch.-L. Chai} and \textit{F. Oort} proved the following theorem: let \(A_g\) be the moduli space of principally polarized abelian varieties of dimension \(g\) over \(\mathbb{\overline Q}\), and \(X \subset A_g\) a proper closed subvariety. If the André-Oort conjecture holds, then there is a point \([A] \in A_g(\mathbb{\overline Q})\) such that \(A\) is not isogenous to \(B\), for any \([B] \in X\) [\textit{C. Chai} and \textit{F. Oort}, Ann. Math. 176, 589--635 (2012; Zbl 1263.14032)]. (The title takes its name from the special case when \(g \geq 4\) and \(X\) is the Torelli locus.) In this article, the same statement is proven, without use of the André-Oort conjecture. The strategy is to modify Klingler-Yafaev's conditional proof of André-Oort assuming the GRH [\textit{B. Klingler} and \textit{A. Yafaev}, ``The André-Oort conjecture'', preprint (2008)]. They need the GRH to produce `many' `small' split primes for certain CM fields. What Tsimerman does is prove in this particular case the existence of sufficiently many CM fields with enough small split primes `by hand', using powerful equidistribution results, after which he can carry out Klingler-Yafaev's proof unconditionally.