Dirichlet series expansions of p-adic L-functions

DOI10.1007/S12188-021-00244-0MaRDI QIDQ2058451zbMATH OpenOpenAlexFDO

Authors Heiko Knospe, Lawrence C. Washington

Publication date 9 December 2021

Published in Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

\(p\)-adic \(L\)-functions\(p\)-adic measuresBernoulli distributionDirichlet charactersDirichlet series

Mathematics Subject Classification ID

Other Dirichlet series and zeta functions (11M41) Iwasawa theory (11R23) Zeta functions and (L)-functions of number fields (11R42) Other analytic theory (analogues of beta and gamma functions, (p)-adic integration, etc.) (11S80)

Abstract: We study $p$-adic $L$-functions $L_p(s,chi)$ for Dirichlet characters $chi$. We show that $L_p(s,chi)$ has a Dirichlet series expansion for each regularization parameter $c$ that is prime to $p$ and the conductor of $chi$. The expansion is proved by transforming a known formula for $p$-adic $L$-functions and by controlling the limiting behavior. A finite number of Euler factors can be factored off in a natural manner from the $p$-adic Dirichlet series. We also provide an alternative proof of the expansion using $p$-adic measures and give an explicit formula for the values of the regularized Bernoulli distribution. The result is particularly simple for $c=2$, where we obtain a Dirichlet series expansion that is similar to the complex case.

Review text

Let \(\chi\) be a Dirichlet character of conductor \(f\). It is well known that the associated complex \(L\)-function \(L(s,\chi)\) is given by an expansion \[ L(s,\chi) = \sum_{n=1}^{\infty} \frac{\chi(n)}{n^s} \] if the real part of \(s\) is greater than \(1\). Recall that in general an expansion of the form \(\sum_{n=1}^{\infty} a_n/n^s\) with \(a_n \in \mathbb{C}\) is called a Dirichlet series. \par Now assume that \(\chi\) is even and let \(p\) be prime, which we assume to be odd for simplicity. Then there is also a \(p\)-adic \(L\)-function \(L_p(s,\chi)\), which is a \(p\)-adic meromorphic function that interpolates values of complex \(L\)-series at non-positive integers. Starting from a formula for \(L_p(s,\chi)\) in the book of the second named author (Theorem 5.11 in [Introduction to cyclotomic fields. 2nd ed. New York, NY: Springer (1997; Zbl 0966.11047)]), the authors derive at a Dirichlet series expansion for \(L_p(s,\chi)\). More precisely, for any integer \(c>1\), which is coprime to \(pf\), one has the formula \[ -(1 - \chi(c)\langle c \rangle^{1-s}) \cdot L_p(s,\chi) = \lim_{n \rightarrow \infty} \sum_{\genfrac{}{}{0pt}{}{a=1}{p \nmid a} }^{fp^n} \chi \omega^{-1}(a) \frac{\varepsilon_{a,c,fp^n}}{\langle a \rangle^s}, \] where \(\omega\) denotes the Teichmüller character and the \(\varepsilon_{a,c,fp^n}\) are certain explicit (half-) integers. A similar formula is obtained for \(S\)-truncated \(p\)-adic \(L\)-series. \par It is also shown that the numbers \(\varepsilon_{a,c,fp^n}\) are related to the Bernoulli distribution \(E_1\) on \(X := \mathbb{Z}/ f\mathbb{Z} \times \mathbb{Z}_p\) as follows. One first replaces \(E_1\) with a regularization \(E_{1,c}\) which is actually a measure. Then one has \[ \varepsilon_{a,c,fp^n} = E_{1,c}(a + fp^n X). \] In a final section, the authors specialize their formulas to different regularization parameters \(c\). In particular, the case \(c=2\) is considered. In this case the obtained results are similar to those of \textit{D. Delbourgo} [J. Aust. Math. Soc. 81, No. 2, 215--224 (2006; Zbl 1207.11112); Proc. Edinb. Math. Soc., II. Ser. 52, No. 3, 583--606 (2009; Zbl 1243.11104)], where the method of proof is different. Similar expansions for slightly different \(p\)-adic \(L\)-functions are due to \textit{M. S. Kim} and \textit{S. Hu} [J. Number Theory 132, No. 12, 2977--3015 (2012; Zbl 1272.11130)].

Recommendations

• Sum expressions for Kubota-Leopoldt \(p\)-adic \(L\)-functions
• Linear independence result for \(p\)-adic \(L\)-values
• Sum expressions for \(p\)-adic Hecke \(L\)-functions of totally real fields
• \(p\)-adic zeroes of the Kubota-Leopoldt zeta-function
• A \(p\)-adic \(L\)-function of two variables
• An Elementary Proof of a Weak Exceptional Zero Conjecture
• On the rank one Gross-Stark conjecture for quadratic extensions and the Deligne-Ribet \(q\)-expansion principle
• ON A p-ADIC INTERPOLATION FUNCTION FOR THE EULER NUMBERS AND ITS DERIVATIVES
• Special values of Artin L-series
• Infinite product identities for \(L\)-functions

Cites work

• A Dirichlet series expansion for the p-adic zeta-function
• scientific article; zbMATH DE number 45378 (Why is no real title available?)
• scientific article; zbMATH DE number 3296460 (Why is no real title available?)
• scientific article; zbMATH DE number 967875 (Why is no real title available?)
• On \(p\)-adic \(L\)-functions
• On \(p\)-adic Hurwitz-type Euler zeta functions
• The convergence of Euler products over p-adic number fields

Cited in

(9)

• \(p\)-adic \(L\)-functions and sums of powers
• On some modules attached to the Lubin-Tate formal groups.
• A Dirichlet series expansion for the p-adic zeta-function
• scientific article; zbMATH DE number 2149249 (Why is no real title available?)
• An Elementary Proof of a Weak Exceptional Zero Conjecture
• Sum expressions for Kubota-Leopoldt \(p\)-adic \(L\)-functions
• On Iwasawa 𝜆-invariants for abelian number fields and random matrix heuristics
• On the linear independence of \(p\)-adic \(L\)-functions modulo \(p\)
• Special values of p-adic L-functions and Iwasawa -invariants of Dirichlet characters

This page was built for publication: Dirichlet series expansions of \(p\)-adic \(\mathrm{L}\)-functions

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