Asymptotics of coinvariants of Iwasawa modules under non-normal subgroups (Q2474586)

Let \(G\) be a closed pro \(p\) \(p\)-adic analytic subgroup of \(\roman{GL}_ N ({\mathbb Z}_ p)\), \(\Sigma\) a closed subgroup of \(G\), \(\Lambda={\mathbb Z}_ p[[G]]\) the Iwasawa algebra and \(M\) a finite generated \(\Lambda\)-module. Let \(G=G^ 0\supset G^ 1\supset G^ 2 \supset \cdots \) be the descending sequence of principal congruence subgroups of \(G\), \(G_ n=G/G^ n\) and \(\Sigma _ n\) the image of \(\Sigma\) in \(G_ n\). Let \(M_ n\) denote the coinvariant quotient of \(M\) under \(G^ n\). Then\ \(M_ n\) is a \({\mathbb Z}_ p[G_ n]\)-module. If \(M\) is a \(\Lambda\)-torsion module, \(\roman{rank}_ {{\mathbb Z}_ p} M_ n = O(p^{n(\dim G-1)})\). Now if \(M\) is replaced by a free module of rank \(1\), then \(\roman{rank}_{{\mathbb Z}_ p} \Lambda _ {G^ n} = |G _ n |\sim p^{n\dim G}\). The goal of the present paper is to show similar results for subgroups which are in some sense ``far from normal''. The authors call \(\Sigma\) \textit{eccentric} if \(\lim_{n\to\infty}{{|\Sigma_ n\backslash G_ n /\Sigma_ n|} \over{|G_ n| |\Sigma _ n|^ {-2}p^ n}}=0\) where \(\Sigma_ n \backslash G_ n/ \Sigma_ n\) denotes the \(\Sigma_ n\) double coset of \(G_ n\). As an example, if \(G=K\rtimes \Sigma\), where \(K\) is isomorphic to \({\mathbb Z}_ p^ r\) and \(\Sigma\) to \({\mathbb Z}_ p\), \(\Sigma\) is eccentric when the action of \(\Sigma\) on \(K\) does not factor through a finite quotient of \(\Sigma\). The main result is that if \(G\) has no \(p\)-torsion, \(M\) is a finitely generated torsion module for \(\Lambda = {\mathbb Z}_ p[[G]]\) and \(\Sigma\) is an eccentric subgroup of \(G\), then \[ \lim_{n\to\infty}{{{\roman{rank}}_{{\mathbb Z}_ p}( M_ n)_ {\Sigma}}\over{{\roman{rank}} _{{\mathbb Z} _ p}} \Lambda(G) _ {G^ n\Sigma}}=0. \] The paper concludes with an application to ranks of elliptic curves over towers of function fields.