The class group of \(\mathbb{Z}_p\)-extensions over totally real number fields (Q1384454): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q4175669 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Remarks on \(\mathbb{Z}_ p\)-extensions of number fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the structure of certain Galois groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: On \(\mathbb Z_{\ell}\)-extensions of algebraic number fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Class numbers of certain real abelian fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on the capitulation in \(\mathbb{Z}_ p\)-extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3943047 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Iwasawa conjecture for totally real fields / rank
 
Normal rank

Revision as of 11:09, 28 May 2024

scientific article
Language Label Description Also known as
English
The class group of \(\mathbb{Z}_p\)-extensions over totally real number fields
scientific article

    Statements

    The class group of \(\mathbb{Z}_p\)-extensions over totally real number fields (English)
    0 references
    0 references
    24 September 1998
    0 references
    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.
    0 references
    pro-\(p\)-extensions
    0 references
    \(p\)-class groups
    0 references
    capitulation
    0 references
    Greenberg's conjecture
    0 references
    \(\mathbb{Z}_p\)-extensions over totally real number fields
    0 references
    \(p\)-class number
    0 references
    \(p\)-adic zeta function
    0 references

    Identifiers