Control theorems for -adic Lie extensions of global function fields

From MaRDI portal
Control theorems for \(\ell\)-adic Lie extensions of global function fields



Abstract: Let F be a global function field of characteristic p>0, K/F an l-adic Lie extension unramified outside a finite set of places S and A/F an abelian variety without complex multiplication. We study Sel_A(K)_l^vee (the Pontrjagin dual of the Selmer group) and (under some mild hypotheses) prove that it is a finitely generated Z_lGal(K/F)-module via generalizations of Mazur's Control Theorem. If Gal(K/F) has no elements of order l and contains a closed normal subgroup H such that Gal(K/F)/Hsimeq Z_l, we are able to give sufficient conditions for Sel_A(K)_l^vee to be finitely generated as Z_lH-module and, consequently, a torsion Z_lGal(K/F)-module. We deal with both cases l eq p and l=p.


This work deals with non-commutative Iwasawa theory for \(\ell\)-adic Lie extensions in the function field case of positive characteristic \(p\). Let \(F\) be a global function field over \({\mathbb F}_q\) and consider a Galois extension \(K/F\) unramified outside a finite set \(S\) and such that \(G=\roman{Gal}(K/F)\) is an infinite \(\ell\)-adic Lie group with \(\ell\) a prime number, \(\ell=p\) or \(\ell\neq p\). Let \(\Lambda(G)\) be the associated Iwasawa algebra and let \(A\) be an abelian variety defined over \(F\) of finite dimension.NEWLINENEWLINEOne of the main tools used here is the study of the structure of the Pontrjagin dual of the Selmer group \(\roman{Sel}_A(K)_{\ell}^{\vee}\) as module over \(\Lambda(G)\) via the \textit{B. Mazur}'s Control Theorem given in [Invent. Math. 18, 183--266 (1972; Zbl 0245.14015)] where the concept of \textit{controlled sequences} is introduced. The method requires the study of Galois cohomology groups. The authors first consider the case \(\ell\neq p\) and the main result is Theorem 3.2 where it is proved that for any finite extension \(F'/F\) contained in \(K\), the kernels and cokernels of the maps \(\alpha_{K/F'}: \roman{Sel}_A(F')_{\ell}\to \roman{Sel}_A(K)_{\ell}^{\roman{Gal} (K/F')}\) are cofinitely generated \({\mathbb Z}_{\ell}\)-modules. Further, if all primes in \(S\) and all primes of bad reduction have decomposition groups open in \(G\), then the coranks of kernels and cokernels are bounded independently of \(F'\) and if \(A[\ell^{\infty}](K)\) is finite, then the kernels and cokernels are finite.NEWLINENEWLINESimilar results (Theorem 5.3) are obtained for the case \(\ell=p\). The main difference is the presence of nontrivial images for the Kummer maps in the definition of the Selmer groups.











This page was built for publication: Control theorems for \(\ell\)-adic Lie extensions of global function fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2792154)