11
$\begingroup$

Let $A/\mathbb{Q}$ be an abelian variety. Must there be a finite solvable extension $K/\mathbb{Q}$ such that $A(K)$ is nontrivial?

This follows from the conjecture that the maximal (pro-)solvable extension $\mathbb{Q}^{\mathrm{sol}}$ of $\mathbb{Q}$ (the field generated over $\mathbb{Q}$ by radicals) is PAC (Pseudo Algebraically Closed - each geometrically irreducible variety has infinitely many points). It even follows from the much weaker conjecture that $\mathbb{Q}^{\mathrm{sol}}$ is large/ample (every smooth variety with a point has infinitely many points).

It is not difficult to see that the answer is positive if $A$ is an elliptic curve, and I guess that for some other families of abelian varieties this can be not too complicated.

Therefore, I will be very happy to see something nonconjectural, which could work for general abelian varieties.

Improve this question
$\endgroup$
13
  • 5
    $\begingroup$ Rather than elliptic curves (where you could just adjoin the points of order two), much more interesting is the case of smooth genus one curves over $\mathbb{Q}$. For these, as you probably know, there is the Ciperiani-Wiles theorem proving the existence of a $\mathbb{Q}^{\mathrm{sol}}$ point under some (fairly mild) technical conditions. (There should be a $\mathbb{Q}_p$-point for all $p$, and the Jacobian, an elliptic curve over $\mathbb{Q}$, should be semistable.) $\endgroup$
    – Vesselin Dimitrov
    Commented Mar 1, 2015 at 1:45
  • 1
    $\begingroup$ See Theorem 0.0.2 in their paper "Solvable points on genus one curves" in the Duke Math. Journal, 2008. While the statement is very likely to be true without the condition of existence of points in all $\mathbb{Q}_p$, the latter is quite essential to their proof. $\endgroup$
    – Vesselin Dimitrov
    Commented Mar 1, 2015 at 7:51
  • 1
    $\begingroup$ By definition, an abelian variety over a field K has a rational point over K, so in your question, you presumably mean a homogenous space for your abelian variety. $\endgroup$
    – Laurent Berger
    Commented Mar 1, 2015 at 8:47
  • 3
    $\begingroup$ @LaurentBerger I explicitly wrote "$A(K)$ is nontrivial" and not "$A(K)$ is nonempty" in the body of the question in grey. That is, I ask whether the group $A(K)$ may be trivial for every finite solvable extension $K/\mathbb{Q}$. $\endgroup$
    – Pablo
    Commented Mar 1, 2015 at 8:50
  • 1
    $\begingroup$ I believe this is not known, though it is even conjectured that $A(F)\ne\{0\}$ over the maximal abelian extension of $F$ for any number field $F$ (Fehm, Petersen, On the rank of abelian varieties over ample fields, IJNT 6 (2010), no. 3, 579–586). And for "generic" abelian varieties the existence of such a $K$ would follow from the parity conjecture. But, unconditionally, I am not sure you can prove this except for "easy" families, e.g. Jacobians of hyperelliptic curves. $\endgroup$
    – Tim Dokchitser
    Commented Mar 1, 2015 at 8:59

0

Reset to default

You must log in to answer this question.