Control theorems for \(\ell\)-adic Lie extensions of global function fields (Q2792154)

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.