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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1006/jnth.2000.2618 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2046370960 / rank
 
Normal rank

Revision as of 18:30, 19 March 2024

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