Kummer theory for Drinfeld modules (Q264379)

Let \(F\) be a finitely generated field of transcendence degree \(1\) over \(\mathbb F_p\) where \(p\) is prime. Let \(A\) be the ring of elements of \(F\) which are regular outside a fixed place \(\infty\) of \(F\). Let \(K\) be another field that is finitely generated over \(\mathbb F_p\) and suppose \(\varphi\) is a Drinfeld \(A\)-module of rank \(r \geq 1\) over \(K\) with characteristic \(\mathfrak p_0\). Let \(M \subseteq K\) be a finitely generated torsion free \(A\)-submodule of rank \(d\) for the action of \(A\) through \(\varphi\). The paper defines an extended adelic (prime to \(\mathfrak p_0\)) Tate module \(T_{\mathrm{ad}}(\varphi,M)\), which is a free module of rank \(r+d\) over \(A_{\mathrm{ad}} = \prod_{\mathfrak p \not= \mathfrak p_0} A_{\mathfrak p}\), and has a natural continuous action of \(G_K = \mathrm{Gal}(K^{\mathrm{sep}}/K)\). This sits in an exact sequence \[ 0 \rightarrow T_{\mathrm{ad}}(\varphi) \rightarrow T_{\mathrm{ad}}(\varphi,M) \rightarrow M \otimes A_{\mathrm{ad}} \rightarrow 0, \] where \(T_{\mathrm{ad}}(\varphi)\) is the usual adelic (prime to \(\mathfrak p_0\)) Tate module of \(\varphi\). Let \(\Gamma_{\mathrm{ad},M}\) and \(\Gamma_{\mathrm{ad}}\) denote the image of \(G_K\) acting on \(T_{\mathrm{ad}}(\varphi,M)\) and \(T_{\mathrm{ad}}(\varphi)\), respectively. Let \(\Delta_{\mathrm{ad},M}\) be the kernel of the surjective homomorphism \(\Gamma_{\mathrm{ad},M} \twoheadrightarrow \Gamma_{\mathrm{ad}}\). The main results of this paper are that inclusions \[ \Delta_{\mathrm{ad},M} \rightarrow Hom_A(M,T_{\mathrm{ad}}(\varphi)), \] and \[ \Gamma_{\mathrm{ad},M} \rightarrow \Gamma_{\mathrm{ad}} \ltimes Hom_A(M,T_{\mathrm{ad}}(\varphi)), \] have open image. This generalizes the results in [the author and \textit{E. Rütsche}, J. Number Theory 129, No. 4, 882--907 (2009; Zbl 1246.11122)] and [\textit{A. Devic} and the author, J. Number Theory 132, No. 7, 1583--1625 (2012; Zbl 1333.11054)].