A generalization of a theorem of Imai and its applications to Iwasawa theory (Q2435106): Difference between revisions

Let \(K\) be a complete discrete valuation field of mixed characteristic \((0,p)\), where \(p\) is any prime number, and let \(\overline{K}\) denote a fixed separable closure of \(K\). Assume that the residue field of \(K\) is essentially of finite type, i.e. it is an algebraic extension of finite separable degree over a purely transcendental extension of a prime field. The main result of the paper generalizes a theorem of \textit{H. Imai} [Proc. Japan Acad. 51, 12--16 (1975; Zbl 0323.14010)] concerning finiteness of certain torsion groups of abelian varieties over \(K\). More precisely, let \(X\) be a proper smooth variety over \(K\) with potentially good reduction and \(i\) an odd integer, let \(V:=H_{et}^i(X_{\overline{K}}, \widehat{\mathbb{Z}})\otimes_\mathbb{Z} \mathbb{Q}\) and \(T\) a \(G_K\)-stable \(\widehat{\mathbb{Z}}\)-lattice in \(V\), the author proves that for any subfield \(L\) of \(M\) containing \(K\), the \(G_L\)-fixed subgroup \((V/T)^{G_L}\) of \(V/L\) is finite, where \(M\) is the extension of \(K\) obtained by adjoining all \(p\)-power roots of all elements of \(K^\times\). The result is proved in the more general setting of geometric system \((\rho_{\ell})\) of \(\ell\)-adic Galois representations. Applications to Iwasawa theory are given in the last section of the paper. These applications generalizes some previous known results on control for Selmer groups of abelian varieties and to the generalized Euler characteristic of Selmer groups.