Galois coinvariants of the unramified Iwasawa modules of multiple \(\mathbb{Z}_p\)-extensions (Q2231554)

Let \(p\) be an odd prime and let \(k\) be a totally real number field. Let \(K\) be a CM-field that is a finite abelian extension of \(k\) of degree prime to \(p\). Let \(K_{\infty}\) be the cyclotomic \(\mathbb Z_p\)-extension of \(K\). The paper is divided into two parts, according to how \(p\) splits in \(K/k\). In the ``split'' case, it is assumed that \(\mu_p\not\subset K\). Let \(\chi: \text{Gal}(K/k) \to \overline{\mathbb Q}_p^{\times}\) be an odd character and assume there is only one prime ideal \(\mathfrak{p}\) in \(k\) above \(p\) such that \(\chi(\mathfrak{p})=1\). Let \( \widetilde{K}'\) be the maximal multiple \(\mathbb Z_p\)-extension of \(K\) that contains \(K_{\infty}\) and such that \( \widetilde{K}'/K_{\infty}\) is unramified. There exists a subextension \( \widetilde{K}_{\chi}\) of \( \widetilde{K}'/K_{\infty}\) such that \(\text{Gal}( \widetilde{K}_{\chi}/K_{\infty})\) is isomorphic to \(\text{Gal}( \widetilde{K}'/K)^{\chi}\) as \(\text{Gal}(K/k)\)-modules. For a field \(F\), let \(X_F\) denote the Galois group over \(F\) of the maximal unramified abelian \(p\)-extension of \(F\). The authors prove that the order of \((X_{ \widetilde{K}_{\chi}})_{\text{Gal}( \widetilde{K}_{\chi}/K)}\) equals the order of \(\mathcal O_{\chi}/f_{\chi}^*\), where \(f_{\chi}^*\) is the first non-vanishing coefficient of a characteristic power series of the \(\mathcal O_{\chi}[[\text{Gal}(K_{\infty}/K)]]\)-module \((X_{K_{\infty}})^{\chi}\) and \(\mathcal O_{\chi}\) is obtained from \(\mathbb Z_p\) by adjoining the values of \(\chi\). In the ``non-split'' case, the authors consider an imaginary quadratic field \(K\) in which \(p\) does not split. Let \(A_K\) be the \(p\)-part of the class group of \(K\), let \(L_K\) be the Hilbert \(p\)-class field of \(K\), let \(\lambda\) be the Iwasawa invariant for \(K_{\infty}/K\), and let \( \widetilde{K}\) be the \(\mathbb Z_p^2\)-extension of \(K\), which is a \(\mathbb Z_p[[S, T]]\)-module in the usual way. If \(L_K\cap \widetilde{K}=K\), then \(\dim_{\mathbb F_p}(X_{ \widetilde{K}}/(p, S. T)) = \dim_{\mathbb F_p}(A_K/p)\). If \(L_K\cap \widetilde{K}\ne K\) and \(\dim_{\mathbb F_p}(A_K/p)=1\), there are two cases. If \(\lambda = 1\), then \(\dim_{\mathbb F_p}(X_{ \widetilde{K}}/(p, S. T))=1\). If \(\lambda \ge 2\), then \(\dim_{\mathbb F_p}(X_{ \widetilde{K}}/(p, S. T))=1\) if \(L_K\subset \widetilde{K}\) and \(=2\) otherwise. Under these assumptions, these yield necessary and sufficient conditions for \(X_{\widetilde{K}}\) to be a cyclic \(\mathbb Z_p[[S, T]]\)-module.