A note on the capitulation in \(\mathbb{Z}_ p\)-extensions (Q1917589): Difference between revisions

For a finite extension \(K\) over the rational numbers and a prime number \(p\) let \(K_\infty/K\) be a \(\mathbb{Z}_p\)-extension. Let \(A_\infty\) be the inductive limit of the \(p\)-Sylow subgroups \(A_n\) of the ideal class group of the finite subextension \(K_n\) in \(K_\infty/K\). The author proves that if all primes of \(K\) which ramify in \(K_\infty\) are totally ramified in \(K_\infty\), then the lambda- and mu-invariants of \(K_\infty/K\) are equal to zero if and only if the kernel of the norm map from \(A_1\) to \(A_0\) is contained in the kernel of \(A_1 \to A_\infty\). The proof is short and uses \textit{R. Greenberg}'s results [Am. J. Math. 98, 263-284 (1976; Zbl 0334.12013)], though the method is different.