On capitulation of \(S\)-ideals in \(\mathbb{Z}_p\) (Q5929401)

This paper presents criteria for the nullity of the inductive limit \(A'_\infty\) of the \(p\)-parts \(A'_n\) of the S-class groups of the fields \(k_n\) in a \(\mathbb{Z}_p\)-tower \(k_\infty\) over a number field \(k\). (Greenberg's conjecture predicts \(A'_\infty=0\) for \(k\) totally real and \(k_\infty\) the \(p\)-cyclotomic tower.) The main result (Theorem 1) states that \(A_\infty'=0\) iff \(A_0'=H^1(k_n/k,E'_n)\) and a certain condition concerning semilocal units at level \(n\) is fulfilled, for some \(n\). The latter condition is automatic if \(p\) does not split in \(k_\infty\). Using previous work of \textit{T. Fukuda} and \textit{H. Taya} [Mem. Sch. Sci. Eng., Waseda Univ. 58, 175-203 (1994; Zbl 0852.11064), Acta Arith. 69, 277-292 (1995; Zbl 0828.11060)] and \textit{H. Ichimura} and \textit{H. Sumida} [Tôhoku Math. J. (2) 49, 203-215 (1997; Zbl 0886.11060), Int. J. Math. 7, 721-744 (1996; Zbl 0881.11075)], it his shown how to apply this for two examples.