On multiple \(\mathbb Z_p\)-extensions of imaginary abelian quartic fields (Q607038)

The author proves Greenberg's Generalized Conjecture (GGC) for a certain class of imaginary abelian quartic fields and odd primes \(p\). We briefly recall the GGC. Let \(k\) be an algebraic number field and let \(p\) be a prime. For any algebraic extension \(F\) of the rational numbers, we denote by \(L(F)\) the maximal unramified abelian pro-\(p\)-extension of \(F\). Let \(\tilde k\) be the composite of all \(\mathbb{Z}_p\)-extensions of \(k\) and put \(X := \mathrm{Gal}(L(\tilde k) / \tilde k)\). Then \(X\) is a finitely generated torsion module over the completed group ring \(\mathbb{Z}_p [[\mathrm{Gal}(\tilde k / k)]]\) and the GGC asserts that it is pseudo-null which is equivalent to the assertion \(\mathrm{Ext}^1_{\mathbb{Z}_p[[\mathrm{Gal}(\tilde k / k)]]}(X, \mathbb{Z}_p[[\mathrm{Gal}(\tilde k / k)]]) = 0\) in this case. We now state the main result of the paper: Let \(k\) be an imaginary abelian quartic field and \(p\) be an odd prime number which splits completely in \(k\) and does not divide the class number of \(k\). We denote by \(k^+\) the maximal real subfield of \(k\) and by \(k^+_{\infty}\) the cyclotomic \(\mathbb{Z}_p\)-extension of \(k^+\). Then the GGC holds for \(k\) and \(p\) provided that all the Iwasawa invariants attached to the extension \(k^+_{\infty}/k^+\) vanish (that is, \(\mathrm{Gal}(L(k^+_{\infty})/k^+_{\infty})=1\)).