On \(p\)-adic zeta functions and \(\mathbb{Z}_p\)-extensions of certain totally real number fields (Q1292765)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On \(p\)-adic zeta functions and \(\mathbb{Z}_p\)-extensions of certain totally real number fields
scientific article

    Statements

    On \(p\)-adic zeta functions and \(\mathbb{Z}_p\)-extensions of certain totally real number fields (English)
    0 references
    0 references
    4 September 2000
    0 references
    Let \(k\) be a totally real number field. For an odd prime \(p\) and for \(n \geq 0\), let \(A_n\) denote the Sylow \(p\)-group of the \(n\)th layer in the cyclotomic \(\mathbb{Z}_p\)-extension of \(k\). Denote by \(A_n^\Gamma\) the Galois-invariant part of \(A_n\). The author proves that if \(p\) splits completely in \(k\) and Leopoldt's conjecture is true for \(k\) and \(p\), then card\((A_n ^\Gamma)\) equals the \(p\)-part of \(\zeta^*(1,k)\), for every sufficiently large \(n\), where \(\zeta^*(s,k)=\zeta (s,k)/ \zeta (s,\mathbb{Q})\), the quotient of the \(p\)-adic zeta functions of \(k\) and \(\mathbb{Q}\). Moreover, this \(p\)-part is equal to card\((A_0)\) times the \(p\)-part of \(R_p(k) - [k:\mathbb{Q}] + 1\), where \(R_p(k)\) denotes the \(p\)-adic regulator and \([k:\mathbb{Q}]\) the absolute degree of \(k\). This generalizes a result proved by \textit{T. Fukuda} and \textit{K. Komatsu} [J. Number Theory 23, 238-242 (1986; Zbl 0593.12003)] for real quadratic fields \(k\). As a consequence the author provides an alternative formulation for Greenberg's theorem on the nonvanishing of the Iwasawa invariants \(\lambda\) and \(\mu\) under the above assumptions. He also gives some computational data in the case \([k:\mathbb{Q}]=3\) and \(p=3\).
    0 references
    \(\mathbb{Z}_p\)-extensions
    0 references
    Iwasawa invariants
    0 references
    \(p\)-adic zeta functions
    0 references
    ideal class groups
    0 references
    totally real fields
    0 references
    Leopoldt's conjecture
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references