The existence of an abelian variety over \(\overline{\mathbb{Q}}\) isogenous to no Jacobian (Q447940): Difference between revisions
From MaRDI portal
Latest revision as of 17:54, 9 December 2024
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
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
0 references
0 references