The class group of \(\mathbb{Z}_p\)-extensions over totally real number fields
type: Item
instance of: scholarly article
title: The class group of \(\mathbb{Z}_p\)-extensions over totally real number fields
zbMATH Open document ID: 0896.11044
author: Manabu Ozaki
published in: Tôhoku Mathematical Journal. Second Series
publication date: 1998-09-24T00:00:00Z
review text: Let \(k\) be a totally real number field, \(p\) an odd prime, and \(k_\infty/k\) a \(\mathbb{Z}_p\)-extension. Let \(L_\infty/k_\infty\) be the maximal unramified abelian pro-\(p\)-extension, and \(M_\infty/k_\infty\) the maximal abelian pro-\(p\)-extension unramified outside \(p\). The first theorem of this paper states that if \(p\) splits completely in \(k\) and is totally ramified in \(k_\infty/k\), then the following conditions are equivalent: i) \(L_\infty \neq k_\infty\); ii) the \(p\)-class number of the \(n\)th layer \(k_n\) of \(k_\infty/k\) is nontrivial for every \(n \geq 1\); iii) \(\zeta_p(0)\) is a \(p\)-adic integer, where \(\zeta_p(s)\) is the \(p\)-adic zeta function of \(k\). Now assume in addition that Leopoldt's conjecture holds for \(k\) and \(p\), then the author's second theorem shows the equivalence of the following three assertions: i) there is nontrivial capitulation in \(k_\infty/k_1\); ii) there is nontrivial capitulation in \(k_\infty/k_n\) for some \(n \geq 0\); iii) \(M_\infty \neq L_\infty\). If, in addition, the \(p\)-class groups of the \(k_n\) are cyclic and if the \(\mathbb{Z}_p\)-rank of \(M_\infty/k_\infty\) is at least \(2\), then Greenberg's conjecture for \(k_\infty/k\) is true.
reviewed by: Franz Lemmermeyer
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 11R29
zbMATH DE Number: 1140480
zbMATH Keywords: pro-\(p\)-extensions
zbMATH Keywords: \(p\)-class groups
zbMATH Keywords: capitulation
zbMATH Keywords: Greenberg's conjecture
zbMATH Keywords: \(\mathbb{Z}_p\)-extensions over totally real number fields
zbMATH Keywords: \(p\)-class number
zbMATH Keywords: \(p\)-adic zeta function
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2748/tmj/1178225114
OpenAlex ID: W2091841918
cites work: Q4175669
cites work: Remarks on \(\mathbb{Z}_ p\)-extensions of number fields
cites work: On the structure of certain Galois groups
cites work: On \(\mathbb Z_{\ell}\)-extensions of algebraic number fields
cites work: Class numbers of certain real abelian fields
cites work: A note on the capitulation in \(\mathbb{Z}_ p\)-extensions
cites work: Q3943047
cites work: The Iwasawa conjecture for totally real fields
DOI: 10.2748/TMJ/1178225114
description: scientific article; zbMATH DE number 1140480