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

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)].