On Iwasawa invariants in \(p\)-adic Lie extensions (Q435263): Difference between revisions

Let \(p\) be a prime, let \(K\) be a number field, and let \(K_{\infty}/K\) be an extension such that \(G=\text{Gal}(K_{\infty}/K)\) is a \(p\)-valued pro-\(p\)-group of finite type in the sense of \textit{M. Lazard} [Publ. Math., Inst. Hautes Étud. Sci. 26, 389--603 (1965; Zbl 0139.02302)]. Then \(G\) has a filtration \(G\supset G_1 \supset G_2\supset \cdots\). Let \(K_n\) be the fixed field of \(G_n\). Let \(S\) and \(T\) be two finite subsets of primes of \(K\) and let \(X_{S,n}^T\) be the Galois group of the maximal abelian pro-\(p\)-extension of \(K_n\) that is ramified outside \(S\) and in which every prime above those in \(T\) splits completely. It is proved that there are integers \(\rho_S^T\) and \(\mu_S^T\), depending on the structure of \(X_{S,\infty}^T\) over \(\mathbb Z_p[[G]]\), such that \[ \#(X_{s,n}^T/p^n) = p^{(\rho_S^T n+\mu_S^T)[G:G_n] + O(np^{n(d-1)})}, \] where \(d\geq 1\) is the dimension of \(G\). This extends results of K. Iwasawa and of \textit{J.-F. Jaulent} [J. Théor. Nombres Bordx. 17, No. 2, 527--553 (2005; Zbl 1176.11052)], who treated the cases where \(G=\mathbb Z_p\) and \(G=\mathbb Z_p^d\), respectively. When \(p\)-power roots of unity are present, the author uses reflection to prove a relation between \(\rho_S^T\) and \(\rho_T^S\).