The ideal class group of the basic \(\mathbb Z_p\)-extension over an imaginary quadratic field (Q812890)

Let \(p\) be prime, let \(k\) be either \(\mathbb Q\) or an imaginary quadratic field, and let \(K\) be the cyclotomic \(\mathbb Z_p\)-extension of \(k\). Let \(\ell\) be prime and let \(C_K(\ell)\) denote the \(\ell\)-primary part of the class group of \(K\). The reviewer [Invent. Math. 49, 87--97 (1979; Zbl 0403.12007)] showed that \(C_K(\ell)\) is finite for all \(\ell\neq p\). The present paper shows explicitly that \(C_K(\ell)\) is usually trivial. Let \(q=p\) if \(p\) is odd and \(q=4\) if \(p=2\). Let \(\nu\) be an integer such that \(q\mid p^\nu\) and let \(h\) be the class number of the subfield of \(K\) of degree \(p^{2\nu-1}/q\) over \(k\) when \(k=\mathbb Q\) or degree \(p^{2\nu-2}\) over \(k\) when \(k\) is imaginary quadratic. The author shows that if \(\ell^{\phi(q)}\not\equiv 1\pmod{qp^{\nu}}\), if \((\ell, h)=1\), and if \(\ell\) is greater than an explicit bound (depending on \(p\), \(\nu\), and \(k\)), then \(C_K(\ell)\) is trivial.