\(\mathbb Z_p\)-extensions of complex multiplication fields (Q921046)

Let \(K\) be a number field, \(R={\mathcal O}_K[1/p]\). Let \(\Gamma\) be a topological group isomorphic to \(\mathbb Z_p\), let \(H^1(R,\Gamma)\) denote the group of isomorphism classes of \(\Gamma\)-Galois extensions of \(R\), and \(H(R,\Gamma)\) the subgroup of \(H^1(R,\Gamma)\) consisting of classes represented by \(\Gamma\)-Galois extensions with normal basis. Leopoldt's conjecture in cyclotomic field theory (c.f. \textit{L. Washington} [Introduction to cyclotomic fields. New York etc.: Springer-Verlag (1982; Zbl 0484.12001)]) is that \(H^1(R,\Gamma)\cong \mathbb Z_p^{r_2+1}\) as \(\mathbb Z_p\)-modules, where \(r_2\) is the number of complex places of \(K\). The authors prove that \(H(R,\Gamma)\cong \mathbb Z_p^{r_2+1}\) as \(\mathbb Z_p\)-modules if \(K\) is a complex multiplication field or is totally real. In the latter case the non-trivial class in \(H^1(R,\Gamma)\) is represented by the cyclotomic \(\mathbb Z_p\)-extension. \{The authors' theorem has subsequently been extended to any number field by \textit{C. Greither} [Trans. Am. Math. Soc. 326, 307--343 (1991; Zbl 0743.11060)].\}