Iwasawa invariants on non-cyclotomic \(\mathbb Z_p\)-extensions of CM fields (Q2455345)

Let \(K\) be an abelian CM field of degree \(2m\) and let \(p\) be a prime that splits completely in \(K\) as \(\mathfrak p_1\overline{\mathfrak p}_1\cdots \mathfrak p_m\overline{\mathfrak p}_m\). Let \(K_{\infty}\) be a \(\mathbb Z_p\)-extension of \(K\) such that the \(n\)th layer \(K_n\) is contained in the ray class field of \(K\) modulo \(\mathfrak p_1^{n+1}\cdots \mathfrak p_m^{n+1}\), and assume that \(K_{\infty}/K\) is totally ramified at \(\mathfrak p_1,\dots,\mathfrak p_m\). Let \(A_n\) be the \(p\)-part of the class group of \(K_n\), let \(B_n\) be the classes in \(A_n\) that are fixed by \(\text{Gal}(K_{\infty}/K)\), and let \(D_n\) be the classes in \(A_n\) that contain ideals all of whose prime factors lie above \(p\). The author uses methods of \textit{R. Greenberg} [Am. J. Math. 98, 263--284 (1976; Zbl 0334.12013)] to show that \(| A_n| \) is bounded as \(n\to \infty\) if and only if \(B_n=D_n\) for all sufficiently large \(n\). This generalizes work of \textit{T. Fukuda} and \textit{K. Komatsu} [Exp. Math. 11, No. 4, 469--475 (2002; Zbl 1162.11390)]. Also, results of \textit{A. Inatomi} [Kodai Math. J. 12, No.3, 420--422 (1989; Zbl 0697.12005)] are used to obtain a formula for \(| B_n| \).