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

From MaRDI portal
scientific article
Language Label Description Also known as
English
The existence of an abelian variety over \(\overline{\mathbb{Q}}\) isogenous to no Jacobian
scientific article

    Statements

    The existence of an abelian variety over \(\overline{\mathbb{Q}}\) isogenous to no Jacobian (English)
    0 references
    0 references
    30 August 2012
    0 references
    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.
    0 references
    abelian variety
    0 references
    André-Oort conjecture
    0 references
    complex multiplication
    0 references
    Jacobian
    0 references
    Shimura subvariety
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references