On a quotient of the unramified Iwasawa module over an abelian number field (Q5933401): Difference between revisions
From MaRDI portal
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
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