On Stickelberger elements for Q(_p^n + 1)^+ and p-adic L-functions

DOI10.1016/J.JNT.2015.07.026MaRDI QIDQ897544zbMATH OpenOpenAlexFDO

Authors Timothy All

Publication date 7 December 2015

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1509.06441

zbMATH Keywords

\(p\)-adic \(L\)-functionsclass groupdistributionsreal abelian number fieldsStickelberger elements

Mathematics Subject Classification ID

Cyclotomic extensions (11R18) Iwasawa theory (11R23)

Abstract: We give a survey of a couple known constructions of $p$-adic $L$-functions including Iwasawa's construction from classical Stickelberger elements. We then construct "real" Stickelberger elements, i.e., explicit elements in the Galois group ring with $mathbb{Z}_p$ coefficients that annihilate the Sylow $p$-subgroup of the ideal class group of $mathbbQ(zet{a}_{p^{n+1}}{)}^{+}$. In analogy with Iwasawa's work, we show that these elements are coherent in $mathbb{Z}_p$-towers and give rise to twisted $p$-adic $L$-functions.

Review text

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

Recommendations

• The Stickelberger elements and the cyclotomic units in the cyclotomic \(\mathbb{Z}_p\)-extensions
• Cuspidal groups, ordinary Eisenstein series, and Kubota-Leopoldt p-adic L-functions
• Conjectures of Brumer, Gross and Stark
• The Iwasawa main conjecture for constant ordinary abelian varieties over function fields
• Another look at the index formulas of cyclotomic number theory
• ON A RESULT OF IWASAWA
• scientific article; zbMATH DE number 3867462
• scientific article; zbMATH DE number 3557898
• scientific article; zbMATH DE number 776163
• scientific article; zbMATH DE number 4103205

Cites work

• Class fields of abelian extensions of Q
• Global units and ideal class groups
• scientific article; zbMATH DE number 3296460 (Why is no real title available?)
• scientific article; zbMATH DE number 967875 (Why is no real title available?)
• Lectures on P-Adic L-Functions. (AM-74)
• On \(p\)-adic \(L\)-functions
• On \(p\)-adic annihilators of real ideal classes
• On a construction of \(C^1(\mathbb{Z}_p)\) functionals from \(\mathbb{Z}_p\)-extensions of algebraic number fields
• On some modules in the theory of cyclotomic fields
• On the -invariant of the -transform of a rational function
• On the ideal class groups of real abelian number fields
• On the Stickelberger ideal and the circular units of an abelian field

Cited in

(6)

• On certain stable wedge summands of \(B(\mathbb{Z} /p)_+^n\)
• The Stickelberger elements and the cyclotomic units in the cyclotomic \(\mathbb{Z}_p\)-extensions
• Gauss sums, Stickelberger's theorem and the Gras conjecture for ray class groups
• scientific article; zbMATH DE number 2005315 (Why is no real title available?)
• A Stickelberger theorem for p-adic Gauss sums
• Stickelberger elements for \(\mathbb Z^d_p\)-extensions of function fields

This page was built for publication: On Stickelberger elements for \(\mathbb{Q}(\zeta_{p^{n + 1}})^+\) and \(p\)-adic \(L\)-functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897544)