Stabilization for Iwasawa modules in \(\mathbb{Z}_p\)-extensions
type: Item
instance of: scholarly article
title: Stabilization for Iwasawa modules in \(\mathbb{Z}_p\)-extensions
zbMATH Open document ID: 1368.11114
DOI: 10.4171/RSMUP/136-10
author: Andrea Bandini
author: Fabio Caldarola
published in: Rendiconti del Seminario Matematico della Università di Padova
publication date: 2017-02-15T00:00:00Z
review text: Let \(k_{\infty}/k\) be a \(\mathbb Z_p\)-extension of a number field \(k\) with \(n\)-th layer \(k_n\). Let \(A_n\) be the \(p\)-part of the class group of \(k_n\). By a famous theorem of Iwasawa one has \[ |A_n| = p^{e_n}, \, e_n = \lambda n + \mu p^n + \nu \] for sufficiently large \(n\), where \(\nu\) is a constant and \(\lambda\) and \(\mu\) are the Iwasawa invariants associated to the Iwasawa module \(X = \varprojlim_n A_n\). Suppose in the following (for simplicity) that all ramified primes in \(K/k\) are totally ramified. Then \textit{T. Fukuda} [Proc. Japan Acad. Ser. A Math. Sci. 70, 264--266 (1994; Zbl 0823.11064)] has shown that \(|A_n| = |A_{n+1}|\) for some \(n\) implies \(|A_n| = |A_m| = |X|\) for all \(m \geq n\). In the paper under review, the authors prove a similar result for capitulation kernels. For integers \(m \geq n\) let \(H_{n,m}\) be the kernel of the natural map \(A_n \rightarrow A_m\) induced by inclusion, and put \(H_n := \bigcup_{m \geq n} H_{n,m}\). Then \(|H_n| = |H_{n+1}|\) implies that \(H_n \simeq H_m \simeq D\) for all \(m \geq n\), where \(D\) denotes the maximal finite submodule of \(X\). In particular, there is an integer \(r\) such that \[ \dots < |H_{r-2}| < |H_{r-1}| < |H_r| = |H_{r+1}| = \dots = |D|. \] For any \(n \geq 0\) the authors then define an integer \(h(n)\). Here we only say that for \(n \geq r\) one has \(h(n) = n + \varepsilon\), where \(p^{\varepsilon}\) is the exponent of \(D\). Then for \(n < r\) one has \[ 1 = |H_{n,n}| \leq |H_{n,n+1}| \leq \dots \leq |H_{n,r}| < |H_{n,r+1}| < \dots < |H_{n,h(n)}| = |H_{n,h(n)+1}| = \dots \] whereas for \(n \geq r\) one has \[ 1 < |H_{n,n+1}| < \dots < |H_{n,h(n)}| = |H_{n,h(n)+1}| = \dots = |D|. \] In particular, \((|H_{n,m}|)_{m \geq n}\) stabilizes for \(m \geq h(n)\). In a final chapter, the authors deal with the relation between stabilization and the triviality of the Iwasawa invariants \(\lambda\) and \(\mu\) above. Similar results arising from the non-abelian theory…
reviewed by: Andreas Nickel
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 11R29
zbMATH DE Number: 6684902
zbMATH Keywords: \(\mathbb Z_p\)-extensions
zbMATH Keywords: class groups
zbMATH Keywords: Iwasawa theory
zbMATH Keywords: stabilization
zbMATH Keywords: capitulation kernels
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.4171/rsmup/136-10
OpenAlex ID: W2566608078
Recommended article: Q5149073
Recommended article: Capitulation for even \(K\)-groups in the cyclotomic \(\mathbb Z_p\)-extension
Recommended article: Stabilization in non-abelian Iwasawa theory
Recommended article: Remarks on \(\mathbb{Z}_ p\)-extensions of number fields
Recommended article: CONOYAUX DE CAPITULATION ET MODULES D'IWASAWA
Recommended article: Q4977335
Recommended article: A generalized Iwasawa's theorem and its application
Recommended article: The class group of \(\mathbb{Z}_p\)-extensions over totally real number fields
Recommended article: The Capitulation Problem in Class Field Theory
Recommended article: Tate kernels and capitulation
description: scientific article; zbMATH DE number 6684902