On Selmer groups of abelian varieties over \(\ell\)-adic Lie extensions of global function fields (Q487058)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On Selmer groups of abelian varieties over \(\ell\)-adic Lie extensions of global function fields
scientific article

    Statements

    On Selmer groups of abelian varieties over \(\ell\)-adic Lie extensions of global function fields (English)
    0 references
    0 references
    0 references
    19 January 2015
    0 references
    Let \(F\) be a global function field of transcendence degree \(1\) over its constant field \(\mathbb F_p ^n\), \(K\) a Galois extension of \(F\) unramified outside a finite set \(T\) of primes and such that \(G = \mathrm{Gal}(K/F)\) is an infinite \(l\)-adic Lie group of dimension \(d\), with \(\ell \neq p\). Let \(A/F\) be an abelian variety, \(S = \mathrm{Sel}_A (K)\ell^{\vee}\) the dual Selmer group considered as a module over the Iwasawa algebra \(\Lambda(G)\). In most cases \(S\) is finitely generated, sometimes it has torsion. Here, the authors are interested in the pseudo-null submodules of \(S\). Recall that if \(G\) has no \(\ell\)-torsion, a \(\Lambda(G)\)-module \(M\) is pseudo-null if and only if \(E^0 (M) = E^1 (M) = 0\), where \(E^i (M)\) denotes \(\mathrm{Ext}^i \Lambda(G) (M, \Lambda(G))\). The main result is that, if \(G\) has no \(\ell\)-torsion , of dimension \(d \geq 3\), if \(H^2 (F_T /K, A[\ell^{\infty} ]) = 0\) and if the map \(\psi\) (induced by restriction) \(\mathrm{Sel}_A (K)-\ell \subset H^1 (F_T /K, A[\ell^\infty ])\overset {\psi} \rightarrow \prod_T \mathrm{Coind}^{ G v}_G H^1 (K_w , A)[\ell^\infty ]\) is surjective, then \(S\) has no non trivial pseudo-null submodule. Here \(\mathrm{Coind}^G_H (N)\) denotes \(\mathrm{Map}_{\Lambda(H)} (\Lambda(G), N)\). For \(d \geq 2\), the conclusion remains valid provided the assumption of surjectivity of \(\psi\) is replaced by the more restrictive condition that \(cd_\ell (G_v ) = 2\) for all \(v \in T\). Note that in the main theorem, the surjectivity assumption is essential and is not met (in general) over number fields. The authors' approach relies heavily on \textit{U. Jannsen}'s homotopy theory of [Adv. Stud. Pure Math. 17, 171--207 (1989; Zbl 0732.11061)], in particular on a `powerful commutative diagram' constructed by the reviewer and Jannsen, and generalized by \textit{Y. Ochi} and \textit{O. Venjakob} [J. Algebr. Geom. 11, No. 3, 547--580 (2002; Zbl 1041.11041)].
    0 references
    0 references
    Selmer groups
    0 references
    abelian varieties
    0 references
    function fields
    0 references
    pseudo-null modules
    0 references
    0 references
    0 references
    0 references