Ranks of Abelian varieties over infinite extensions of the rationals (Q948928)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Ranks of Abelian varieties over infinite extensions of the rationals
scientific article

    Statements

    Ranks of Abelian varieties over infinite extensions of the rationals (English)
    0 references
    16 October 2008
    0 references
    The author studies the rank of the Mordell-Weil groups for some abelian varieties over infinite extensions of \({\mathbb Q}.\) If \(L/{\mathbb Q}\) is finite then the well-known Mordell-Weil Theorem asserts that \(A(L)\) is of finite rank. For infinite extensions the rank of the corresponding Mordell-Weil group might be infinite (cf. [\textit{G. Frey, M. Jarden}, Proc. Lond. Math. Soc. (3) 28, 112--128 (1974; Zbl 0275.14021)] for the case of \(A({\overline{\mathbb Q}})\)). On the other hand the theorem of Kato, Ribet and Rohrlich asserts that if \(E/{\mathbb Q}\) is an elliptic curve, \(\Sigma\) a finite set of rational primes then the group \(E({\mathbb Q}^{ab}_{\Sigma})\) is finitely generated. \({\mathbb Q}^{ab}_{\Sigma}\) denotes here the maximal abelian extension of \({\mathbb Q}\) unramified outside \({\Sigma}\). Let \(S\) be an infinite set of primes of \({\mathbb Z},\) and \({\mathbb Q}^{ab}_{S}\) be the maximal abelian extension of \({\mathbb Q}\) unramified outside \(S\) and contained in \({\overline{\mathbb Q}}.\) For a prime \(p\geq 2\) let \({\mathbb Q}^{(p)}_{S}\) be the compositum of all extensions unramified outside \(S\) of the form \({\mathbb Q}({\mu}_{p}, {\root p \of d})\) for some \(d\in {\mathbb Q}^{\times}.\) Let \(F\subset {\overline{\mathbb Q}}\), \quad \((\sigma) = ({\sigma}_{1},\cdots ,{\sigma}_{n}) \in \text{Gal} ({\overline{\mathbb Q}}/{\mathbb Q})^{n}\) anf \(F^{({\sigma})}\) be the intersection of all fixed fields \(F^{({\sigma}_{i})}.\) The author proves the following: Theorem 1.2: Let \(E/{\mathbb Q}\) be an elliptic curve and let \(S\) be an infinite set of primes. (1) Suppose that \(\text{rank}_{\mathbb Z}(E(\mathbb Q))\) is odd. If the parity conjecture holds for all quadratic twists of \(E\) then the rank of \(E(({\mathbb Q}_{S}^{(2)})^{(\sigma)})\) is infinite for all \(n\geq 0\) and all \((\sigma)\in \text{Gal} ({\overline{\mathbb Q}}/{\mathbb Q})^{n}.\) Hence \(\text{rank}_{\mathbb Z}(E(({\mathbb Q}_{S}^{ab})^{(\sigma)}))\) is infinite as well. (2) Suppose \(E/{\mathbb Q}\) does not have wild ramification at \(2\) and \(3.\) There are infinitely many primes \(p>2\) such that if the parity conjecture holds for \(E\) over extensions of degree \(p\) and we set \({ S^{\prime}} = S \cup \{ p\}\) then the rank of \(E(({\mathbb Q}_{ S^{\prime}}^{ab})^{(\sigma)})\) is infinite for all \(n\geq 0\) and all \((\sigma)\in \text{Gal} ({\overline{\mathbb Q}}/{\mathbb Q})^{n}.\) In particular, if the hypotheses of (1) and (2) are satisfied, then the rank of \(E({\mathbb Q}_{S}^{(\sigma)})\) is infinite. Let \(K\) be a quadratic extension of \(\mathbb Q\). Denote by \((K_{S}^{p-\text{dihe}})\) the maximal abelian \(p\)-elementary extension of \(K\) unramified outside \(S\) and dihedral over \({\mathbb Q}.\) For abelian varieties the author shows the following: Theorem 1.4: Let \((A/{\mathbb Q}, \phi)\) be a polarized abelian variety \(n\geq 0\) and let \((\sigma)) \in \text{Gal} ({\overline{\mathbb Q}}/{\mathbb Q})^{n}\) be fixed. Suppose there is a quadratic extension \(K/{\mathbb Q}\), fixed by \((\sigma)\), such that \( \text{corank}_{{\mathbb Z}_{p}} \text{Sel}_{p^{\infty}}(A/K)\) is odd, for some prime \(p>2\) which splits in \(K\) and such that \(\gcd(p, \deg(\phi))=1\). Let \(S\) be an infinite set of rational primes which does not include any of the primes of bad reduction for \(A/{\mathbb Q}\), and such that \(S\) contains infinitely many primes either inert in \(K\) and congruent to \(-1\bmod p\), or split in \(K\) and congruent to \(1\bmod p.\) Then the corank of \(\text{Sel}_{p^{\infty}}(A/F)\) is unbounded over finite extensions \(F/K\) contained in the field \((K_{S}^{p-\text{dihe}})^{(\sigma)}\).
    0 references
    0 references
    abelian variety
    0 references
    infinite extension
    0 references
    Selmer group
    0 references
    rank
    0 references
    0 references
    0 references
    0 references

    Identifiers