On a quotient of the unramified Iwasawa module over an abelian number field (Q5933401)

From MaRDI portal
Revision as of 11:51, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 1598955
Language Label Description Also known as
English
On a quotient of the unramified Iwasawa module over an abelian number field
scientific article; zbMATH DE number 1598955

    Statements

    On a quotient of the unramified Iwasawa module over an abelian number field (English)
    0 references
    0 references
    20 May 2001
    0 references
    Let \(p\) be an odd prime, \(k\) an imaginary abelian number field containing a primitive \(p\)-th root of unity \(\zeta_p\), \(\Delta = \text{ Gal}(k/{\mathbb Q})\), \(k_\infty/k\) the cyclotomic \({\mathbb Z}_p\)-extension of \(k\), \(E_\infty\) its unit group, \(L/k_\infty\) the maximal unramified pro-\(p\) extension of \(k_\infty\), and \(N = \cup k_\infty(E_\infty^{1/p^n})\). Then \({\mathcal X} = \text{ Gal}(L/k_\infty)\), its quotient \({\mathcal Y} = \text{ Gal}(L \cap N/k_\infty)\), and the direct limit \(A_\infty\) of the \(p\)-Sylow subgroups of the ideal class groups of the layers \(k_n\) in \(k_\infty/k\) are \(\mathbb Z_p\)-modules on which \(\Delta\) acts. Let \({\mathcal X}^-\) and \({\mathcal Y}^-\) denote the odd eigenspaces of these \(\mathbb Z_p[\Delta]\)-modules. Greenberg's conjecture that the even component \(A_\infty^+\) of \(A_\infty\) vanishes would imply \({\mathcal X}^- = {\mathcal Y}^-\), and since \({\mathcal X}^-\) is known to be torsion free over \({\mathbb Z}_p\), it is expected that \({\mathcal Y}^-\) is also torsion free over \({\mathbb Z}_p\). In this paper, the author decomposes \({\mathcal Y}^-\) into eigenspaces with respect to the action of \(\Delta\), and then shows that the torsion submoduls of these components are isomorphic (as abelian groups) to even components of the quotient \(A_\infty^\Gamma/B_0\), where \(A_\infty^\Gamma\) is the subgroup of the ideal class group \(A_\infty\) of \(k_\infty\) fixed by \(\Gamma = \text{ Gal}(k_\infty/k)\), and where \(B_0\) is the image of the \(p\)-class group of \(k_0\) in \(A_\infty\).
    0 references
    Greenberg's conjecture
    0 references
    class groups
    0 references
    Iwasawa theory
    0 references

    Identifiers