On some exact sequences in the theory of cyclotomic fields (Q2378600)

The author constructs exact sequences relating ideal class groups of cyclotomic fields to Gauss sums. Let \(p\) be an odd prime number, let \(F_n=\mathbb Q(\mu_{p^{n+1}})\), let \(A_n\) be the Sylow \(p\)-subgroup of the ideal class group of \(F_n\), and let \({\mathcal U}_n\) be the units of \(\mathbb Z_p[\mu_{p^{n+1}}]\) that are congruent to 1 modulo the maximal ideal. Let \(X\) be the inverse limit of \(A_n\) with respect to the norm. Let \(\kappa: \text{Gal}(F_{\infty}/F_0)\simeq 1+p\mathbb Z_p\) and let \(\gamma\) be such that \(\kappa(\gamma)=1+p\). Let \(\omega\) be the Teichmüller character and let \(M^{\omega^i}\) denote the \(\omega^i\) component of a \(\mathbb Z_p[\text{Gal}(F_{\infty}/\mathbb Q)]\)-module \(M\). Fix \(m_0\geq 0\) and an even integer \(j\). Let \(i\neq 0\). Let \(m\) be sufficiently larger than \(m_0\). The main theorem of the paper gives an exact sequence of the form \(0\to A\to B\to C\to D\to 0\), where \(A\) is the group of \(\mathbb Z_p\)-module homomorphisms from \(X^{\omega^j}/(\gamma^{p^{m_0}}-\kappa^{1-i}(\gamma^{p^{m_0}}))X^{\omega^j}\) to \(\mathbb Q_p/\mathbb Z_p(1)\). The group \(B\) is \(\{x\in A_m^{\omega^{1-j}}\, | \, \gamma^{p^{m_0}}x=\kappa^i(\gamma^{p^{m_0}})x\}\). The group \(C\) is \(({\mathcal U}_m/I_m{\mathcal U}_m)^{\omega^{1-j}}\), where \(I_m\) is the Stickelberger ideal. The group \(D\) is \(({\mathcal U}_m/(\overline{\mathcal G}_{m,i}^{(m_0)}+I_m{\mathcal U}_m))^{\omega^{1-j}}\), where \(\overline{\mathcal G}_{m,i}^{(m_0)}\) is constructed from Gauss sums. There is a similar sequence when \(i=0\). Also, when \(j\not\equiv 0\pmod{p-1}\), there is a similar sequence obtained from limits as \(m_0\to\infty\). As corollaries, results of \textit{Y.\ Hachimori} and \textit{H.\ Ichimura} [Manuscripta Math. 95, 377--395 (1998; Zbl 0902.11044)] and of \textit{T.\ Beliaeva} [J. Number Theory 115, 123--157 (2005; Zbl 1099.11064)] are obtained. An appendix gives similar, but slightly different, versions of the exact sequences, due to T.\ Nguyen Quang Do.