On Stickelberger elements for \(\mathbb{Q}(\zeta_{p^{n + 1}})^+\) and \(p\)-adic \(L\)-functions (Q897544): Difference between revisions

Let \(p\) be an odd prime, let \(k_n=\mathbb Q(\zeta_{p^{n+1}})\) be the \(p^{n+1}\)st cyclotomic field, and let \(k_n^+\) be its maximal real subfield. For a certain cyclotomic unit \(\delta_n\) of \(k_n\), the author defines \[ \Theta_n=\sum_{a=1, (a,p)=1}^{p^{n+1}} \log_p(\delta_n^{\sigma_a}) \sigma_a^{-1}, \] where \(\log_p\) is the Iwasawa logarithm and \(\sigma_a\in \mathrm{Gal}(k_n/\mathbb Q)\) is the usual Galois element. In [J. Number Theory 133, No. 7, 2324--2338 (2013; Zbl 1292.11121)], the author used \(\Theta_n\) to construct annihilators of the ideal class group of \(k_n^+\). In the present paper, the author lets \(\chi\) be a non-trivial even character of \(\mathrm{Gal}(k_0/\mathbb Q)\) and considers the \(\chi\)-component \(\Theta_n(\chi)\) of \(\Theta_n\). The elements \(\Theta_n(\chi)\) are shown to be coherent as \(n\) varies. After integralization, these elements are used to construct a \(p\)-adic valued measure, which yields \(p\)-adic \(L\)-functions. This construction is the analogue of Iwasawa's construction of \(p\)-adic \(L\)-functions from Stickelberger elements that annihilate the minus part of the class group of \(k_n\).