On \(p\)-adic annihilators of real ideal classes (Q2444497)

Let \(F\) be a real abelian number field with Galois group \(G\) and ideal class group \(\mathfrak C\). For an odd prime \(p\), let \(\mathcal F\) denote a \(p\)-adic completion of \(F\) and \(\mathcal O\) its valuation ring. Using cyclotomic units of \(F\) and the \(p\)-adic logarithm, \textit{D. Solomon} [Invent. Math. 109, No. 2, 329--350 (1992; Zbl 0772.11043)] defined some element \(\text{sol}(F) \in \mathcal O [G]\), analogous to the Stickelberger element, and conjectured that under certain conditions \(\text{sol}(F)\) should annihilate \(\mathfrak C \otimes \mathcal O\). Assuming that \(p\) is totally split in \(F\), \textit{J.-R. Belliard} and \textit{T. Nguyen Quang Do} [Nagoya Math. J. 177, 77--115 (2005; Zbl 1092.11043)] proved a modified version of this conjecture. In the present paper, a strengthened version of Solomon's conjecture is proved. In Theorem 1.1, annihilators of \(\text{Syl}_p (\mathfrak C) \otimes \mathcal O\) are given, where the proof is based on some result of \textit{K. Rubin} [Invent. Math. 89, No.3, 511--526 (1987; Zbl 0628.12007)]. In Theorem 4.1, a \(p\)-adic index formula, similar to those of Kummer and Sinnott, is obtained, which is reduced to a simpler form in Theorem 5.3 in the case that \(G\) is cyclic of order coprime to \(p\).