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

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\).