Hostname: page-component-8448b6f56d-jr42d Total loading time: 0 Render date: 2024-04-20T03:11:34.652Z Has data issue: false hasContentIssue false
  • English
  • Français

Sum expressions for Kubota–Leopoldt $p$-adic $L$-functions

Part of: Computational number theory Algebraic number theory: local and $p$-adic fields

Published online by Cambridge University Press:  10 June 2022

Luochen Zhao
Luochen Zhao*
Affiliation:
Department of Mathematics, Johns Hopkins University, 404 Krieger Hall, 3400 N. Charles Street, Baltimore, MD 21218, USA (lzhao39@jhu.edu)
Rights & Permissions [Opens in a new window]

Abstract

When $p$ is an odd prime, Delbourgo observed that any Kubota–Leopoldt $p$-adic $L$-function, when multiplied by an auxiliary Euler factor, can be written as an infinite sum. We shall establish such expressions without restriction on $p$, and without the Euler factor when the character is non-trivial, by computing the periods of appropriate measures. As an application, we will reprove the Ferrero–Greenberg formula for the derivative $L_p'(0,\chi )$. We will also discuss the convergence of sum expressions in terms of elementary $p$-adic analysis, as well as their relation to Stickelberger elements; such discussions in turn give alternative proofs of the validity of sum expressions.

Keywords

Infinite sumKubota–Leopoldt p-adic L-functionsFerrero–Greenberg derivative formulaStickelberger elementsnumerical values of p-adic L-functions

MSC classification

Primary: 11S40: Zeta functions and $L$-functions
Secondary: 11S80: Other analytic theory (analogues of beta and gamma functions, $p$-adic integration, etc.) 11Y35: Analytic computations
Type
Research Article
Information
Proceedings of the Edinburgh Mathematical Society , Volume 65 , Issue 2 , May 2022 , pp. 460 - 479
Check for updates
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
Copyright © The Author(s), 2022. Published by Cambridge University Press on Behalf of The Edinburgh Mathematical Society

1. Introduction

1.1. Motivation

The facts that we mention in the following without proof, if not specified otherwise, can be found in Chapter 3 of [Reference Hida9], Chapter 2 of [Reference Koblitz14], Chapters 4 and 10 of [Reference Lang16], and Chapters 5 and 12 of [Reference Washington20]. All limits, when not emphasized, are with respect to the $p$-adic topology.

Given an even Dirichlet character $\chi$, it is well known that there exists a unique $p$-adic meromorphic function $L_p(s,\chi )$ for $s\in \mathbf {Z}_p$ that satisfies the interpolation property:

(1.1)\begin{equation} \text{for all integer }n\ge 1,\ L_p(1-n,\chi) = (1-\chi\omega^{{-}n}(p)p^{n-1})L(1-n,\chi\omega^{{-}n}), \end{equation}

where $L(s,\chi )$ for $s\in \mathbf {C}$ is the usual Dirichlet $L$-function. As is customary, we refer to these $L_p(s,\chi )$ as Kubota–Leopoldt $p$-adic $L$-functions, or just $p$-adic $L$-functions for short. Also, when $\chi$ is the trivial character $\mathbf {1}$ (respectively is of conductor $p^{t}$ for some $t\in \mathbf {Z}_{>0}$), we refer to $L_p(s,\mathbf {1})$ (respectively $L_p(s,\chi )$) as the $p$-adic zeta function (respectively a twist of the $p$-adic zeta function).

One construction of the Kubota–Leopoldt $p$-adic $L$-functions, as initiated by Mazur, is from their integral representations. For example, when the conductor of $\chi$ is a power of $p$, for any $c\in \mathbf {Z}_{>0}$ prime to $p$, there exists a $p$-adic measure $\mu _{1,c^{-1}}$ [Reference Koblitz14, § II.5] (denoted $E_{1,c}$ in [Reference Lang16, § 2.2]), such that [Reference Lang16, p. 107]

(1.2)\begin{equation} -L_p(s,\chi) = \displaystyle\frac{1}{1-\chi(c)\langle {c}\rangle^{1-s}}\displaystyle\int_{\mathbf{Z}_p^{{\times}}}\omega^{{-}1}\chi(x) \langle {x}\rangle^{{-}s} \mu_{1,c^{{-}1}}(x). \end{equation}

In a different flavour, thanks to the works of Delbourgo, it is also possible to write $p$-adic $L$-functions more explicitly as a conditionally convergent infinite sum. For instance, when $p$ is odd, Delbourgo [Reference Delbourgo2] obtained the following sum expression:

(1.3)\begin{equation} L_p(s,\omega^{\beta+1}) = \displaystyle\frac{1}{2(1-\omega^{\beta+1}(2)\langle {2}\rangle^{1-s})} \displaystyle\sum_{n\ge 1} \left(\sum_{\substack{p^{n-1}\le m< p^{n} \\ p\nmid m}} \frac{\omega^{\beta}(m)}{\langle {m}\rangle^{s}}({-}1)^{m+1}\right), \end{equation}

where $\beta \in \mathbf {Z}/(p-1)$ and $s\in \mathbf {Z}_p$. His method, which crucially exploits a periodicity nature of the measure $\mu _{1,2^{-1}}$, will be explained in § 1.5.

We conclude by summarizing the importance of sum expressions beyond their inherent appeal: First, they provide a straightforward way to numerically approximate the special values of $L_p(s,\chi )$ for $s\in \mathbf {Z}_{>1}$, which are outside of the classical range. In turn, the nonvanishing of such values would imply the finiteness of certain Iwasawa modules (see, e.g. [Reference Coates1, Proposition 3.3.7]). Second, their theoretical significance is illustrated in the study of derivatives, and higher derivatives, of $p$-adic $L$-functions, thanks to their explicit nature. We shall demonstrate this point by giving a direct proof of the Ferrero–Greenberg formula for the derivative of the $p$-adic $L$-function in § 4, a result that is known to be a key link in the proof of Gross–Stark conjecture in the case of $\mathbf {Q}$ [Reference Gross8, § 4].

1.2. Notation

Fix a rational prime $p$. Let $\mathbf {C}_p$ be the completion of an algebraic closure $\bar {\mathbf {Q}}_p$ of $\mathbf {Q}_p$, and let $\mathfrak {o}_p$ be its ring of integers. Fix also an algebraic closure $\bar {\mathbf {Q}}$ of $\mathbf {Q}$ and embeddings of $\bar {\mathbf {Q}}$ into $\mathbf {C}$ and $\mathbf {C}_p$, so we can identify $\bar {\mathbf {Q}}$ as a subfield of both. For $a,b\in \mathbf {C}_p$ and $r\in \mathbf {Z}_{\ge 0}$, by $a\equiv b \bmod p^{r}$ we mean that $a-b\in p^{r}\mathfrak {o}_p$. Thus, if $a,b\in \mathbf {Q}_p$, then $a\equiv b\bmod p^{r}$ means $a-b\in p^{r}\mathbf {Z}_p$. In the rest of this article, unless specified otherwise, $N$ will always denote a positive integer bigger than 1 and is prime to $p$, and $q=p^{f}>1$ will denote the smallest power of $p$ such that $q\equiv 1\bmod N$. The letter $\chi$ shall denote a Dirichlet character of conductor $N$, while $\psi$ shall denote one of conductor a power of $p$, which will be simply denoted by $\mathbf {1}$ when it is trivial. When $h>1$ is an integer, for any $a\in \mathbf {Z}/h$, we denote by $a^{\flat }_h$,$a^{\sharp }_h$ the unique integers such that $a^{\flat }_h\in [0,h)$, $a^{\sharp }_h\in (0,h]$ and $a\equiv a^{\flat }_h\equiv a^{\sharp }_h\bmod h$.

1.3. Overview of the main result

Our main achievement in this paper is the establishment of sum expressions for all Kubota–Leopoldt $p$-adic $L$-functions in complete generality, extending the previous works of Delbourgo [Reference Delbourgo2–Reference Delbourgo4]. The exact statement is as follows:

Theorem 1.1 Let $p$ be a prime, $N\in \mathbf {Z}_{>1}$ be prime to $p,$ and let $q=p^{f}>1$ be the smallest $p$-power such that $p^{f}\equiv 1\bmod N$. Suppose $\chi$ is a Dirichlet character of conductor $N,$ and $\psi$ is one of conductor a power of $p$. Then, we have

  1. (i) for the (twist of) $p$-adic zeta function:

    \[ L_p(s,\psi\omega) ={-}\displaystyle\frac{1}{1-\psi\omega(N)\langle {N}\rangle^{1-s}}\lim_{n\to \infty}\displaystyle\sum_{1\le m< q^{n}, p\nmid m} \frac{\psi(m)}{\langle {m}\rangle^{s}}m^{\sharp}_N; \]

  2. (ii) for the (twist of) $p$-adic Dirichlet $L$-function:

    \[ L_p(s,\chi\psi\omega) ={-}\lim_{n\to \infty} \displaystyle\sum_{1\le m< q^{n}, p\nmid m} \displaystyle\frac{\psi(m)}{\langle {m}\rangle^{s}}\sum_{1\le a< m^{\flat}_N} \chi(a). \]

Remark 1.2 After the draft of this paper has been finalized, we are informed that Knospe and Washington [Reference Knospe and Washington15, Theorem 2.4, Corollary 2.5] have obtained (i) and a weaker version of (ii). For this reason, we only sketch the proof of (i) in § 1.5. Our formula in (ii) may be regarded as stronger as it removes the auxiliary Euler factor away from $p$ that is present in [Reference Knospe and Washington15].

Remark 1.3 While the Kubota–Leopoldt $p$-adic $L$-functions are in fact defined on the larger domain [Reference Washington20, Theorem 5.9]

\[ \{s\in \mathbf{C}_p: |s|_p<|2p^{\frac{p-2}{p-1}}|_p^{{-}1}\}, \]

in this article, we will exclusively treat the case when $s$ varies in $\mathbf {Z}_p$, for it is sufficient for our purposes, and for saving us from additional discussions on analysis. Basically, when $s\notin \mathbf {Z}_p$, using our approach one can derive the same limit formulas, and even estimates on the error term if one so desires, by using the asymptotic identity $\langle {x}\rangle ^{s}= \langle {a}\rangle ^{s} + O(p^{n} s)$ for all $a\in \mathbf {Z}_p^{\times }$, $x\in a+p^{n}\mathbf {Z}_p$ and $s$ in the above range.

Remark 1.4 It is worth pointing out that, when $s=1$, $\psi =\mathbf {1}$ and $N=2$, the formula in (i) is virtually due to Koblitz [Reference Koblitz13, p. 461, Remark 1] (see also [Reference Schikhof18, Theorem 59.1]). Formulas of a similar flavour are recorded in Remark 3.10.

1.4. Novelty in this paper

As remarked earlier, the statement about the sum expressions for $p$-adic Dirichlet $L$-functions without the Euler factor is new. The explicit period formulas that lead to them, however, were implicit in the works of Iwasawa on Stickelberger elements, and were studied in the works of Ferrero [Reference Ferrero5] and Ferrero–Washington [Reference Ferrero and Washington7]. Nevertheless, the measure-theoretic form in which the formulas are stated does not seem to have been recorded in the literature, not does our proof of them by computing certain periods of a particular rational function. Finally, the analytic formulas listed in Remark 3.10 (when $N\ne 2$) and the expressions of higher derivatives of $p$-adic $L$-functions in (4.3) seem to be new.

Another aspect we supplement to previous works on sum expressions is an alternative explanation of their convergence. This only uses some elementary $p$-adic analysis, as well as a trick of Ferrero–Greenberg. We believe it makes these infinite sums less mysterious and exemplifies the naturalness and significance of the Ferrero–Greenberg permutation in their studies. The last point is further strengthened in our re-derivation of the derivative formula, a useful application that is not pointed out in preceding works.

1.5. The method

To establish Theorem 1.1, we will follow the method of Delbourgo [Reference Delbourgo2], complemented by its measure-theoretic reflection. In concrete terms, we invoke a machinery that yields infinite sum expressions of $p$-adic $L$-functions based on three ingredients:

  1. (a) the integral representation of the $p$-adic $L$-functions;

  2. (b) computability of various periods $\mu (a+p^{n}\mathbf {Z}_p)$ for all $a\in \mathbf {Z}_p$ and $n\in \mathbf {Z}_{\ge 0}$, where $\mu$ is the attached measure in (a);

  3. (c) uniform periodicity of the above periods, i.e., there exists $f\in \mathbf {Z}_{>0}$ such that for all $m\in \mathbf {Z}_{\ge 0}$ and all $n,n'\in \mathbf {Z}_{\ge 0}$ such that $p^{n}> m$, $p^{n'}> m$ and $n\equiv n' \bmod f$, we have $\mu (m+p^{n}\mathbf {Z}_p) = \mu (m+p^{n'}\mathbf {Z}_p)$.

We explain here how these can be assembled together to give a quick proof of the first part of Theorem 1.1: The integral representation is provided by (1.2) with $c=N$, and we have the explicit formula [Reference Lang16, p. 38]

\[ \mu_{1,N^{{-}1}}(a+p^{n}\mathbf{Z}_p) = \displaystyle\frac{a}{p^{n}}-\frac{1}{2} - N\left(\frac{(a/N)^{\flat}_{p^{n}}}{p^{n}}-\frac{1}{2}\right), \]

where $n\in \mathbf {Z}_{\ge 0}$ and $0\le a< p^{n}$. It can be worked out that $\mu _{1,N^{-1}}(a+p^{n}\mathbf {Z}_p) = (\tfrac {a}{p^{n}})^{\sharp }_N - \frac {N+1}{2}$ (cf. [Reference Knospe and Washington15, Theorem 3.1]). Therefore, by taking the Riemann sums of (1.2), we have

\[ -(1-\psi\omega(N)\langle {N}\rangle^{1-s})L_p(s,\psi\omega) = \lim_{n\to\infty}\displaystyle\sum_{1\le m< p^{n}, p\nmid m} \displaystyle\frac{\psi(m)}{\langle {m}\rangle^{s}}\left[\left(\frac{m}{p^{n}}\right)^{\sharp}_N -\frac{N+1}{2}\right]. \]

This is not yet an infinite sum, since the $m$-th coefficient, $a_m(n) = (\tfrac {m}{p^{n}})^{\sharp }_N-\frac {N+1}{2}$, depends on $n$. Still, one can see that their dependence on $n$ is uniform and periodic in the sense of (c) above. Thus, taking only $n$ to be divisible by $f$, we have the formula in Theorem 1.1.(i), by noting that $\lim _{n\to \infty } \sum _{1\le m< p^{n}, p\nmid m} \psi (m)\langle {m}\rangle ^{-s}=0$.

Remark 1.5 When $N=2$, this reproduces the argument in [Reference Delbourgo2], by [Reference Lang16, Proposition 4.3.4].

1.6. Further developments

The sum expressions also exist for $p$-adic Hecke $L$-functions of totally real fields under an analogue of Heegner hypothesis introduced by Cassou-Noguès, and will be treated in a forthcoming paper. These sum expressions thus give rise to generalizations of the Ferrero–Greenberg derivative formula, and we hope they could shed more light on the Gross–Stark conjecture.

In a separate paper, we will discuss the possibility of writing the $p$-adic $L$-functions of cuspidal forms as an infinite sum. In this case, the integral representation (of an allowable root of the Hecke polynomial) is known by the works of Amice-Vélu and Vishik (see, e.g.[Reference Mazur, Tate and Teitelbaum17]), and the periods are in a sense computable, being modular integrals. We are, however, not certain if uniform periodicity holds for them. For example, when the weight is $2$ and the form is rational, the periodicity implies the attached elliptic curve has multiplicative reduction at $p$, as well as the vanishing of abundant modular integrals.

2. Background on $p$-adic measures

In this section, we give a quick recapitulation of $p$-adic measure theory; the details can be found in the standard textbooks listed in § 1.1.

Let $R$ be the ring of integers of some $p$-adic field over $\mathbf {Q}_p$. Denote by $\mathcal {C}(\mathbf {Z}_p,R)$ the set of all continuous functions from $\mathbf {Z}_p$ to $R$, topologized by the sup-norm. Recall a measure on $\mathbf {Z}_p$ valued in $R$ is a continuous $R$-linear map $\mathcal {C}(\mathbf {Z}_p,R) \to R$, and we denote by $\mathrm {Mes}(\mathbf {Z}_p,R)$ the set of all such linear maps. For $f\in \mathcal {C}(\mathbf {Z}_p,R)$ and $\mu \in \mathrm {Mes}(\mathbf {Z}_p,R)$, their pairing will be written as $\int _{\mathbf {Z}_p} f(x)\mu (x)$, which is explicitly given by the limit of Riemann sums, $\lim _{n\to \infty }\sum _{0\le a< p^{n}}f(a)\mu (a+p^{n}\mathbf {Z}_p)$.

The space of measures can in fact be understood algebraically. By restricting the Amice transform, defined a priori on locally analytic distributions, we have an isomorphism $\mathcal {F}: \mathrm {Mes}(\mathbf {Z}_p,R) \xrightarrow {\sim } R[[t-1]]$, where $R[[t-1]]$ is the ring of formal power series in $t-1$, equipped with the $(p,t-1)$-adic topology. As such, for any $F\in R[[t-1]]$ and $\mu \in \mathrm {Mes}(\mathbf {Z}_p,R)$, we shall denote $\mathcal {F}(\mu )(t)$ by $\mathscr {A}_\mu (t)$, and $\mathcal {F}^{-1}(F(t))$ by $\mu _F$. The power series realization of a measure, to us, is most useful in the following

Proposition 2.1 For any $\mu \in \mathrm {Mes}(\mathbf {Z}_p,R),$  $n\in \mathbf {Z}_{\ge 0}$ and $a\in \mathbf {Z}_p,$ we have

\[ \mu(a+p^{n}\mathbf{Z}_p) = \displaystyle\frac{1}{p^{n}}\displaystyle\sum_{\zeta:\zeta^{p^{n}}=1}\zeta^{{-}a}\mathscr{A}_\mu(\zeta), \]

where the sum is over all $p^{n}$-th root of unity in $\mathbf {C}_p$.

Symmetrically, for $F(t)\in R[[t-1]]$ and all $n\in \mathbf {Z}_{\ge 0}$ and $a\in \mathbf {Z}_p$, we define

(2.1)\begin{equation} \Omega_F(a,n) = \displaystyle\frac{1}{p^{n}}\displaystyle\sum_{\zeta:\zeta^{p^{n}}=1}\zeta^{{-}a}F(\zeta), \end{equation}

which, through the Amice transform, equates $\mu _F(a+p^{n}\mathbf {Z}_p)$. We will often refer to $\Omega _F(a,n)$'s as periods (attached to $F$ or $\mu _F$). In turn, we have

(2.2)\begin{equation} \displaystyle\int_{\mathbf{Z}_p} f(x)\mu_F(x) = \lim_{n\to \infty}\displaystyle\sum_{0\le a< p^{n}}f(a)\Omega_F(a,n). \end{equation}

We finish this section by introducing our protagonist, the rational function

(2.3)\begin{equation} L_\chi(t) = \displaystyle\sum_{1\le a< N} \chi(a)\displaystyle\frac{t^{a}}{t^{N}-1}. \end{equation}

Here, as set in § 1.2, $\chi$ denotes a Dirichlet character of conductor $N>1$ that is prime to $p$. Denote further by $\mathbf {Z}_p[\chi ]$ the ring obtained from $\mathbf {Z}_p$ by adjoining values of $\chi$. Since $N$ is prime to $p$, we see that $L_\chi (t)$, as an element in the fraction field of $\mathbf {Z}_p[\chi ][[t-1]]$, is regular except potentially having a pole of order $1$ at $t=1$. The singularity is, however, superfluous, since

(2.4)\begin{equation} \begin{aligned} \displaystyle\sum_{1\le a< N}\chi(a)\displaystyle\frac{t^{a}}{t^{N}-1} & = \sum_{1\le a< N}\chi(a)\frac{t^{a}-1}{t^{N}-1}+\frac{1}{t^{N}-1}\sum_{1\le a< N}\chi(a) \\ & = \displaystyle\sum_{1\le a< N}\chi(a)\displaystyle\frac{t^{a}-1}{t^{N}-1}\\ & = \sum_{1\le a< N}\chi(a)\frac{a+\frac{a(a-1)}{2}(t-1)+\cdots}{N + \frac{N(N-1)}{2}(t-1) + \cdots}. \end{aligned} \end{equation}

Thus, $L_\chi (t)$ belongs to $\mathbf {Z}_p[\chi ][[t-1]]$, and $L_\chi (1)=\sum _{0\le a< N}\chi (a)\frac {a}{N}$, which is further equal to $-L(0,\chi )$ [Reference Hida9, Corollary 2.3.2]. Finally, we remind the reader of the role $L_\chi$ plays in the integral representation: let $\psi$ be any Dirichlet character of a $p$-power conductor, then

(2.5)\begin{equation} -L_p(s,\chi\psi) = \displaystyle\int_{\mathbf{Z}_p^{{\times}}}\omega^{{-}1}\psi(x)\langle {x}\rangle^{{-}s} \mu_{L_\chi}(x). \end{equation}

As (2.5) is not found in [Reference Hida9], we give it a very brief account. By a density argument, it suffices to prove the above integral of $\mu _{L_\chi }$ interpolates $L$-values for all $s=-k\in \mathbf {Z}_{\le 0}$. Also, we may work with $\psi \omega ^{k+1}$ instead of $\psi$, where $\psi$ is of conductor $p^{t}$. Then, we have (cf. [Reference Katz12, p. 485]):

\begin{align*} & -\displaystyle\sum_{n\ge 1, p\nmid n} \chi\psi(n)n^{k} ={-}\sum_{n\ge 1, p\nmid n} \chi\psi(n)n^{k} t^{n}\Big|_{t=1}\\ & \quad = \left(t\displaystyle\frac{d}{dt}\right)^{k}\Big\{\sum_{\substack{1\le a< Np^{\max\{t,1\}}\\ p\nmid a}}\frac{\chi\psi(a)t^{a}}{t^{Np^{\max\{t,1\}}}-1}\Big\}\Big|_{t=1}, \end{align*}

where the leftmost quantity is no other than $-(1-\chi \psi (p)p^{k})L(-k,\chi \psi )$, and the rightmost quantity, by the Amice transform, is $\int _{\mathbf {Z}_p} x^{k}\mu _{[\psi |_{\mathbf {Z}_p^{\times }}]L_\chi }(x) = \int _{\mathbf {Z}_p^{\times }}x^{k}\psi (x)\mu _\chi (x)$ (see [Reference Hida9, § 3.5]).

Remark 2.2 We will not need it, but the same argument establishes the identity

\[{-}L({-}k,\chi) = \displaystyle\int_{\mathbf{Z}_p} x^{k} \mu_{L_\chi}(x). \]

When $k=0$, this has been observed in the form of $L_\chi (1) = -L(0,\chi )$.

In what follows we shall often write $\mu _{L_\chi }$ simply as $\mu _\chi$.

3. Explicit period formulas and sum expressions

Invoking the machinery introduced in § 1.5, in this section, we will establish the second part of Theorem 1.1 for any Dirichlet character $\chi$ of conductor $N>1$, where $\gcd (N,p)=1$. Note that ingredient (a) is provided by (2.5). As such, in the following, we will start by establishing the explicit formulas of the periods $\Omega _{L_\chi }(m,n)=\mu _\chi (m+p^{n}\mathbf {Z}_p)$ attached to the power series $L_\chi$, or $\mu _\chi$, for all $n\in \mathbf {Z}_{\ge 0}$ and $m\in \mathbf {Z}_p$; this fulfils the requirement (b). We will see from the explicit formula (3.4) that (c) automatically follows.

Recall that $L_\chi (t) = \sum _{1\le a< N} \chi (a)\frac {t^{a}}{t^{N}-1}$ is an element in $\mathbf {Z}_p[\chi ][[t-1]]$. In § 2, we have seen that

(3.1)\begin{equation} L_\chi(1) = \displaystyle\sum_{1\le a< N}\chi(a)(a/N) ={-}L(0,\chi). \end{equation}

For $\zeta \ne 1$, we have the following

Lemma 3.1 The following identity holds in $\bar {\mathbf {Q}},$ and thus in $\mathbf {C}_p$:

(3.2)\begin{equation} \displaystyle\sum_{\zeta\ne 1:\zeta^{p^{n}}=1}L_\chi(\zeta)\zeta^{{-}m} = \sum_{1\le a< N}\chi(a)\left(\displaystyle\frac{m-a}{N}\right)^{\flat}_{p^{n}}. \end{equation}

Proof. It suffices to prove this in $\mathbf {C}$. For this, we introduce an auxillary parameter $x\in \mathbf {R}$ such that $0< x<1$, and observe the following archimedean limit:

\[ \displaystyle\sum_{\zeta\ne 1:\zeta^{p^{n}}=1}L_\chi(\zeta)\zeta^{{-}m} = \lim_{x\to 1^{-}}\sum_{\zeta\ne 1:\zeta^{p^{n}}=1}\zeta^{{-}m}\sum_{1\le a< N}\chi(a)\displaystyle\frac{\zeta^{a}}{x\zeta^{N}-1}. \]

Before taking the limit, the right-hand side can be expanded as:

\begin{align*} \displaystyle\sum_{\zeta\ne 1:\zeta^{p^{n}}=1}\sum_{1\le a< N}\chi(a)\displaystyle\frac{\zeta^{a}}{x\zeta^{N}-1}\zeta^{{-}m} & =\sum_{\zeta:\zeta^{p^{n}}=1}\sum_{1\le a< N}\chi(a)\frac{\zeta^{a}}{x\zeta^{N}-1}\zeta^{{-}m} - \frac{1}{x-1}\sum_{1\le a< N}\chi(a)\\ & ={-}\displaystyle\sum_{\zeta:\zeta^{p^{n}}=1}\sum_{1\le a< N}\chi(a)\zeta^{a-m}\displaystyle\frac{1}{1-x\zeta^{N}}\\ & ={-}\sum_{1\le a< N}\chi(a)\sum_{\zeta:\zeta^{p^{n}}=1}\zeta^{a-m}\sum_{k\ge 0}x^{k}\zeta^{Nk}\\ & ={-}\sum_{1\le a< N}\chi(a)\sum_{k\ge 0}x^{k}\sum_{\zeta:\zeta^{p^{n}}=1}\zeta^{a-m+Nk}\\ & ={-}p^{n} \sum_{1\le a< N}\chi(a)\sum_{\substack{k\ge 0\\ Nk\equiv m-a\bmod p^{n}}} x^{k}. \end{align*}

As we have assumed that $\gcd (p,N)=1$, the above can be malleated further to

\begin{align*} -p^{n} \displaystyle\sum_{1\le a< N}\chi(a)\sum_{\substack{k\ge 0\\ k\equiv \frac{m-a}{N}\bmod p^{n}}} x^{k} & ={-}p^{n}\displaystyle\sum_{1\le a< N}\chi(a)\frac{x^{(\frac{m-a}{N})^{\flat_{p^{n}}}}}{1-x^{p^{n}}}\\ & =p^{n}\sum_{1\le a< N}\chi(a)\frac{1-x^{(\frac{m-a}{N})^{\flat}_{p^{n}}}}{1-x^{p^{n}}}\\ & \to \sum_{1\le a< N}\chi(a)\left(\frac{m-a}{N}\right)^{\flat}_{p^{n}} \quad(x\to 1^{-}).\end{align*}

□

We can further analyse $(\tfrac {m-a}{N})^{\flat }_{p^{n}}$. Clearly, there is a unique $h(a,m) = h_n(a,m) \in \mathbf {Z}$ such that $(\tfrac {m-a}{N})^{\flat } = \frac {m-a+h(a,m)p^{n}}{N}$. So, we may re-structure the above sum as:

\begin{align*} \displaystyle\sum_{1\le a< N}\chi(a)\left(\displaystyle\frac{m-a}{N}\right)^{\flat} & = \sum_{1\le a< N}\chi(a)\frac{m-a+p^{n} h(a,m)}{N}\\ & = \displaystyle\frac{m}{N}\displaystyle\sum_{1\le a< N}\chi(a) -\frac{1}{N}\sum_{1\le a< N}\chi(a)a +\frac{p^{n}}{N}\sum_{1\le a< N}\chi(a)h(a,m)\\ & =L(0,\chi) + \frac{p^{n}}{N}\sum_{1\le a< N}\chi(a)h(a,m). \end{align*}

Combining (3.1) and (3.2), we conclude that

(3.3)\begin{equation} \Omega_\chi(m,n) = \displaystyle\frac{1}{p^{n}}\displaystyle\sum_{\zeta:\zeta^{p^{n}}=1}\zeta^{m}L_\chi(\zeta^{{-}1}) = \frac{1}{N}\sum_{1\le a< N}\chi(a)h(a,m). \end{equation}

We now compute $h(a,m) = h_n(a,m)$. Recall that for $b\in \mathbf {Z}/N$, we use $b^{\flat }_N$ to denote the unique integer in $[0,N)$ such that $b^{\flat }_N \equiv b\bmod N$.

Proposition 3.2 For $n\ge 0,$  $0\le a< N$ and $0\le m< p^{n},$ we have $0\le h_n(a,m) < N$, whence $h_n(a,m) = (\tfrac {a-m}{p^{n}})^{\flat }_N$. In turn, for $n,a,m$ in the said range, the function $h_n(a,m)$ is periodic in $n$ with period $f,$ the smallest positive integer such that $p^{f} \equiv 1\bmod N,$ and is periodic in $m$ with period $N$. As a special case, if $p^{n}\equiv 1\bmod N,$ then $h_n(a,m) = (a-m)^{\flat }_N$.

Proof. Since $(\tfrac {m-a}{N})^{\flat } = \frac {m-a+h(a,m)p^{n}}{N} < p^{n}$, $a< N$ and $m\ge 0$, we have:

\[ \frac{-N+h(a,m)p^{n}}{N}< \frac{m-a+h(a,m)p^{n}}{N} \le p^{n}-1, \]

which gives $h(a,m)< N$. On the other hand, because $(\tfrac {m-a}{N})^{\flat } \ge 0$, $a\ge 0$ and $m< p^{n}$, we have

\[ \frac{p^{n} + h(a,m)p^{n}}{N}> \frac{m-a+h(a,m)p^{n}}{N}\ge 0. \]

Therefore $h(a,m) > -1$, which implies $h(a,m)\ge 0$. Now, we can pin down the value of $h_n(a,m)$: By definition, $\frac {m-a+p^{n} h(a,m)}{N}$ is an integer, so $m-a+h(a,m)p^{n} \equiv 0 \bmod N$, from which we have $h(a,m) \equiv \frac {a-m}{p^{n}} \bmod N$. The inequality $0\le h(a,m) < N$ then forces $h(a,m)$ to be $(\tfrac {a-m}{p^{n}})^{\flat }_N$. The remaining statements are clear.

With the value of $h(a,m)$ uncovered, we can now establish the explicit period formula:

Theorem 3.3 Let $\chi$ be a Dirichlet character of conductor $N>1$ that is prime to $p,$ and let $\mu _\chi = \mu _{L_\chi }$ be the $p$-adic measure attached to $L_\chi$ (2.3). Then for any $0\le m< p^{n},$ we have

(3.4)\begin{equation} \mu_\chi(m+p^{n}\mathbf{Z}_p) = \displaystyle\frac{1}{N}\displaystyle\sum_{1\le a< N}\chi(m+p^{n} a)a. \end{equation}

When $p^{n}\equiv 1\bmod N,$ the above formula becomes

(3.5)\begin{equation} \mu_\chi(m+p^{n}\mathbf{Z}_p) ={-}L(0,\chi) + \displaystyle\sum_{1\le a< m} \chi(a). \end{equation}

Proof. By (3.3) and Proposition 3.2, we have $\mu _\chi (m+p^{n}\mathbf {Z}_p) = \Omega _\chi (m,n) = \frac {1}{N}\sum _{1\le a< N}\chi (a)(\tfrac {a-m}{p^{n}})^{\flat }_N$. Thus

\[ \mu_\chi(m+p^{n}\mathbf{Z}_p) = \displaystyle\frac{1}{N}\displaystyle\sum_{1\le a< N} \chi(a+m)\left(\frac{a}{p^{n}}\right)^{\flat}_N = \frac{1}{N}\sum_{1\le a< N} \chi(m+ a p^{n}) a. \]

Now assume $p^{n}\equiv 1\bmod N$. To start, note that since $h(a,m)$ is periodic in $m$ with period $N$, so is $\Omega _\chi (m,n)$ by (3.3), as long as $0\le m< p^{n}$. As such, since the same periodicity in $m$ is also enjoyed by the right-hand side of (3.5), we only need to prove (3.5) when $0\le m< N$. In this case:

\begin{align*} \Omega_\chi(m,n) & = \displaystyle\frac{1}{N}\displaystyle\sum_{1\le a< N}\chi(a)(a-m)^{\flat}_N = \frac{1}{N}\sum_{1\le a< N}\chi(a)(a-m)\\ & \quad + \frac{1}{N}\sum_{1\le a< m}\chi(a)N ={-}L(0,\chi) + \sum_{1\le a< m}\chi(a). \end{align*}

□

Corollary 3.4 Let $\chi$ be as in Theorem 3.3, and $\psi$ be a Dirichlet character of conductor a power of $p$. Let $q>1$ be the smallest power such that $q\equiv 1\bmod N$. Then

(3.6)\begin{equation} \begin{aligned} -L_p({-}s,\chi\psi\omega) & =\lim_{n\to \infty} \displaystyle\sum_{1\le m< q^{n},p\nmid m} \left(\sum_{1\le a< m^{\flat}_N}\chi(a)\right) \psi(m)\langle {m}\rangle^{s}\\ & =\lim_{n\to \infty} \displaystyle\sum_{1\le a< N}\chi(a)\sum_{\substack{1\le m< q^{n}\\ p\nmid m,m^{\flat}_N>a}}\psi(m)\langle {m}\rangle^{s}. \end{aligned} \end{equation}

Proof. This follows from taking the Riemann sums of (2.5) with respect to the cosets of $q^{n}\mathbf {Z}_p$ for all $n\ge 0$, and the two simple facts mentioned below; the second is standard in $p$-adic analysis (see [Reference Schikhof18, § 34]).

  1. 1. $\sum _{1\le a< m}\chi (a) = \sum _{1\le a< m^{\flat }_N} \chi (a)$ since $\chi$ is non-trivial;

  2. 2. $\lim _{n\to \infty } \sum _{1\le m< q^{n}, p\nmid m} \psi (m)\langle {m}\rangle ^{s} = 0$, since the function $\psi (m)\langle {m}\rangle ^{s}$ is continuous on $\mathbf {Z}_p^{\times }$, and thus on $\mathbf {Z}_p$ by extending by zero.

Remark 3.5 We may change $\flat$ to $\sharp$ and still get an equality, since $\sum _{1\le a< N} \chi (a) =0$.

Remark 3.6 The limit sign of the second equality of (3.6) can be taken inside. Namely,

\[ \lim_{n\to \infty} \sum_{\substack{1\le m< q^{n}\\ p\nmid m,m^{\flat}_N>a}} \psi(m)\langle {m}\rangle^{s} \]

exists. This is discussed in Appendix B.

Remark 3.7 With some algebraic manipulation, one can show that the 2-regularized sum expression given by Theorem 2.4 of [Reference Delbourgo3] follows from the second period formula (3.5), by deriving the following 2-regularized version ($p$ is odd and $f'$ is the order of $p$ in $(\mathbf {Z}/2N)^{\times }$):

(3.7)\begin{equation} \Omega_{L_{\chi,2}}(m,f'n) = L(0,\chi) + \displaystyle\sum_{1\le a< m} \chi(a) - 2\sum_{1\le a< m/2} \chi(a), \end{equation}

where $L_{\chi,2}(t) = L_\chi (t) - 2L_\chi (t^{2})$ is the rational function used in [Reference Delbourgo3].

Remark 3.8 While we have only focussed on the case of $p^{n}\equiv 1$ in the sum expression (3.6), there are also sum expressions for other residues in $(\mathbf {Z}/N)^{\times }$. For instance, when $p \equiv 2\bmod 3$ and $\chi$ is the quadratic character of conductor $3$, we have

\[ L_p({-}s,\chi\psi\omega) = \lim_{n\to \infty} \displaystyle\sum_{\substack{1\le m< p^{2n+1}, p\nmid m\\ m\equiv 1\bmod 3}} \psi(m)\langle {m}\rangle^{s}. \]

Remark 3.9 Since $\mu _\chi$ is valued in $\mathbf {Z}_p$ and $s\in \mathbf {Z}_p$, the $n$th partial sum of (3.6), being the Riemann sum of division by $q^{n}\mathbf {Z}_p$, is equal to $-L_p(-s,\chi \psi \omega )$ modulo $q^{n}$. In practise, the computational complexity of the sum expression can be cut by half by noting that $\chi \psi \omega$ is even, and that $\langle {m}\rangle ^{s}\equiv \langle {p^{n} - m}\rangle ^{s}\bmod p^{n}$.

Remark 3.10 Using Leopoldt's formula [Reference Iwasawa11, p. 61, Theorem 3], one can deduce the following analogous formulas by letting $s=1$:

\begin{align*} & -\left(1-\displaystyle\frac{1}{p}\right)\log_p N = \lim_{n\to \infty} \displaystyle\sum_{1\le m< q^{n}, p\nmid m} \frac{m^{\sharp}_N}{m}\\ & \log_p\left(\displaystyle\frac{1-\zeta_{p^{h}}^{b}}{1-\zeta_{p^{h}}^{bN}}\right) = \lim_{n\to \infty} \displaystyle\sum_{1\le m< q^{n}, p\nmid m} \frac{\zeta_{p^{h}}^{bm} m^{\sharp}_N}{m}\quad \text{ for }h\ge 1, b\in (\mathbf{Z}/p^{h})^{{\times}}\\ & \log_p\left(\displaystyle\frac{1-\zeta_N^{c}}{(1-\zeta_N^{cp})^{1/p}}\right) = \lim_{n\to \infty} \displaystyle\sum_{1\le m< q^{n}, p\nmid m} \frac{\sum_{1\le a< m^{\flat}_N} \zeta_N^{ca}}{m}\quad \text{ for } c\in (\mathbf{Z}/N)^{{\times}}\\ & \log_p(1-\zeta_{p^{h}}^{b}\zeta_N^{c}) = \lim_{n\to \infty} \displaystyle\sum_{1\le m< q^{n}, p\nmid m} \displaystyle\frac{\zeta_{p^{h}}^{bm}\sum_{1\le a< m^{\flat}_N}\zeta_N^{ca}}{m}\quad \text{ for }h\ge 1, b\!\in\!(\mathbf{Z}/p^{h})^{{\times}},c\!\in\!(\mathbf{Z}/N)^{{\times}}. \end{align*}

When $p$ is odd and $N=2$, starting from the first formula, we can easily obtain the following variant

\[{-}2\left(1-\displaystyle\frac{1}{p}\right)\log_p 2 = \lim_{n\to \infty} \displaystyle\sum_{1\le m<\frac{p^{n}}{2},p\nmid m} \frac{1}{m}. \]

An interesting question is the following: given $n$, what is the largest $d(n)\in \mathbf {Z}_{\ge 0}$ such that

\[{-}2\left(1-\displaystyle\frac{1}{p}\right)\log_p 2 \equiv \displaystyle\sum_{1\le m<\frac{p^{n}}{2},p\nmid m} \frac{1}{m} \pmod{p^{d(n)}}? \]

While it is automatic from the Riemann sum perspective that $d(n)\ge n$, from some small numerical experiments we find that $d(n)\ge 2n-1$. Can one show that there exists a constant $C>0$, such that for all $p>2$ and $n\ge 1$, $d(n)\ge 2n-C$?

Remark 3.11 Finally, we remark on an important application of explicit period formulas on Iwasawa invariants. Basically, for any $p$-adic measure $\mu$ attached to some Kubota–Leopoldt $p$-adic $L$-function, by choosing a topological generator $\kappa$ of $1+p\mathbf {Z}_p$, we can form a power series in $R[[t-1]]$ via the integral $\int _{\mathbf {Z}_p^{\times }} t^{-\frac {\log _p x}{\log _p \kappa }} \mu (x)$, which in turn is the Iwasawa power series of the corresponding $p$-adic $L$-function. If we take the $p^{n}\mathbf {Z}_p$-Riemann sum of the integral, we then get a well-defined element in $R[t-1]/(t^{p^{n}}-1)$, whose coefficients encode the information of Iwasawa $\mu$ and $\lambda$ invariants modulo $p^{n}$. This observation is classically exploited by [Reference Ferrero5] and [Reference Ferrero and Washington7], where the coefficients are obtained from Stickelberger elements. For the link between Stickelberger elements and sum expressions, we refer the reader to Appendix D.

4. Application: Derivative formulas at $s=0$

As promised, we now reprove the Ferrero–Greenberg formula using the sum expression for $p$-adic Dirichlet $L$-functions, based on an eponymous trick recalled in Appendix A. Even better, our approach also leads to formulas of higher derivatives expressed in terms of certain elementary functions. For the original and other existing proofs, see [Reference Ferrero and Greenberg6, Reference Koblitz13, Reference Washington19]

As is customary, let $\chi$ be a non-trivial Dirichlet character of conductor $N$ that is prime to $p$, and let $\psi$ be one of a $p$-power conductor with $\chi \psi (-1)=-1$ so that $L_p(s,\chi \psi \omega )$ is not identically zero. For simplicity, in this section, we will drop the subscript from the notation $m^{\flat /\sharp }_N$. Changing $\flat$ to $\sharp$ in (3.6), we have

(4.1)\begin{equation} \begin{aligned} -L_p({-}s,\chi\psi\omega) & = \lim_{n\to \infty}\displaystyle\sum_{1\le a< N}\chi(a)\sum_{\substack{1\le m< q^{n}\\ p\nmid m, m^{\sharp} > a}}\psi(m)\langle {m}\rangle^{s}\\ & = \lim_{n\to \infty}\displaystyle\sum_{1\le a< N}\chi(a)\sum_{\substack{1\le m< q^{n}\\ p\nmid m,m^{\sharp} >a}}\psi(m)\sum_{k\ge 0} (\log_{p} m)^{k}\displaystyle\frac{s^{k}}{k!}\\ & = \lim_{n\to \infty}\sum_{1\le a< N}\chi(a)\sum_{k\ge 0}\frac{s^{k}}{k!}\sum_{\substack{1\le m< q^{n}\\ p\nmid m,m^{\sharp} >a}}\psi(m)(\log_{p} m)^{k}. \end{aligned} \end{equation}

We now show $\lim _{n\to \infty }\sum _{\substack {1\le m< q^{n}\\ p\nmid m,m^{\sharp } >a}} \psi (m)(\log _p m)^{k}$ exists for all $k\ge 0$, so that we may take the limit inside and obtain a Taylor expansion. To achieve this, we invoke the Ferrero–Greenberg permutation (see Appendix A), supposing $q^{n}$ is larger than the conductor of $\psi$:

\begin{align*} \displaystyle\sum_{\substack{1\le m< q^{n}\\ p\nmid m,m^{\sharp} >a}}\psi(m)(\log_{p} m)^{k} & \equiv \displaystyle\sum_{\substack{1\le m< q^{n}\\ p\nmid m,m^{\sharp} >a}} \psi(\iota(m)N)[\log_p\iota(m) + \log_p N]^{k} \pmod{q^{n}}\\ & =\sum_{\substack{1\le m<\frac{N-a}{N}q^{n}\\ p\nmid m}} \psi(m)\psi(N)[\log_p m+\log_p N]^{k} \\ & = \psi(N)\sum_{0\le i\le k}\binom{k}{i}(\log_{p} N)^{k-i}\sum_{\substack{1\le m<\frac{N-a}{N}q^{n}\\ p\nmid m}} \psi(m)(\log_{p} m)^{i}. \end{align*}

As such, we conclude that $\lim _{n\to \infty } \sum _{\substack {1\le m< q^{n}\\ p\nmid m,m^{\sharp } >a}} \psi (m)(\log _{p} m)^{k}$ exists from the existence of

\[ \lim_{n\to \infty} \sum_{\substack{1\le m<\frac{N-a}{N}q^{n}\\ p\nmid m}} \psi(m)(\log_p m)^{i}, \]

which in turn is guaranteed by Example 3. Indeed, as we have seen in that example, the above limit is exactly $\Lambda _{\psi \log _p^{i}}(\tfrac {a}{N})$, whereby

(4.2)\begin{equation} \lim_{n\to \infty}\displaystyle\sum_{\substack{1\le m< q^{n}\\ p\nmid m,m^{\sharp} >a}} \psi(m)(\log_{p} m)^{k} = \psi(N)\displaystyle\sum_{0\le i\le k}\binom{k}{i}(\log_{p} N)^{k-i} \Lambda_{\psi\log_p^{i}}\left(\displaystyle\frac{a}{N}\right). \end{equation}

Combining (4.1) and (4.2), we then have:

Theorem 4.1 Let $\chi$ be a Dirichlet character of conductor $N>1$ that is prime to $p,$ and $\psi$ be one of a $p$-power conductor. Then, we have

(4.3)\begin{equation} -L_p({-}s,\chi\psi\omega) = \psi(N) \displaystyle\sum_{k\ge 0}\displaystyle\frac{s^{k}}{k!} \sum_{1\le a< N}\chi(a) \left[\sum_{0\le i\le k}\binom{k}{i}(\log_p N)^{k-i}\Lambda_{\psi\log_p^{i}}\left(\frac{a}{N}\right)\right]. \end{equation}

Next, we compare our computation with the Ferrero–Greenberg formula: Let $\psi =\mathbf {1}$ be the trivial character and $\chi$ be odd, then for $k=1$:

\begin{align*} \displaystyle\sum_{0\le i\le 1} \binom{1}{i}(\log_p N)^{1-i}\Lambda_{\log_p^{i}}\left(\displaystyle\frac{a}{N}\right) & = \Lambda_{1}\left(\frac{a}{N}\right)\log_{p} N + \Lambda_{\log_p}\left(\frac{a}{N}\right)\\ & =\left[\frac{a}{N} - 1 - V\left(\frac{a}{N}-1\right)\right]\log_{p} N + \log_p\Gamma_p\left(\frac{a}{N}\right), \end{align*}

where the last equality follows from our discussions in Example 1 and 2. By (4.3), we thus have

(4.4)\begin{equation} \begin{aligned} L'_p(0,\chi\omega) & = \displaystyle\sum_{1\le a< N}\chi(a)\left[\log_{p} N\left(\displaystyle\frac{a}{N} - 1 - V\left(\frac{a}{N}-1\right)\right) + \log_{p}\Gamma_p\left(\frac{a}{N}\right)\right]\\ & = \displaystyle\sum_{1\le a< N}\chi(a)\log_{p}\Gamma_p\left(\displaystyle\frac{a}{N}\right) + \log_{p} N\sum_{1\le a< N}\chi(a)\frac{a}{N}\\ & \quad - \log_{p} N\sum_{1\le a< N}\chi(a)V\left(\frac{a}{N}-1\right)\\ & = \sum_{1\le a< N}\chi(a)\log_p\Gamma_p\left(\frac{a}{N}\right) - L(0,\chi)\log_p N - \log_p N\sum_{1\le a< N}\chi(a)V\left(\frac{a}{N}-1\right). \end{aligned} \end{equation}

Combining (4.4) with the following lemma, we have recovered the following formula of Ferrero–Greenberg [Reference Ferrero and Greenberg6, Proposition 1]:

(4.5)\begin{equation} L'_p(0,\chi\omega) = \displaystyle\sum_{1\le a< N}\chi(a)\log_p\Gamma_p\left(\displaystyle\frac{a}{N}\right) -(1-\chi(p))L(0,\chi)\log_p N.\end{equation}

Lemma 4.2 If $\chi$ is odd, then

(4.6)\begin{equation} \displaystyle\sum_{1\le a< N}\chi(a) V\left(\displaystyle\frac{a}{N}-1\right) = \chi(p) \sum_{1\le a< N}\chi(a)\frac{a}{N}. \end{equation}

Proof. First, we see that $V(\tfrac {a}{N}-1) =\frac {1}{p}[\tfrac {a}{N}-1 -(\tfrac {a}{N}-1)^{\flat }_p]$. Write $(\tfrac {a}{N}-1)^{\flat }_p = \frac {-(N-a)+p h(0,N-a)}{N}$ as in § 3. Then Proposition 3.2 shows that $h(0,N-a) = (-a/p)^{\flat }_N$. Thus

\begin{align*} \displaystyle\sum_{1\le a< N}\chi(a) V\left(\displaystyle\frac{a}{N}-1\right) & ={-}\sum_{a\in (\mathbf{Z}/N)^{{\times}}} \chi(a) \frac{({-}a/p)^{\flat}_N}{N}\\ & ={-}\displaystyle\sum_{1\le a< N} \chi({-}ap) \displaystyle\frac{a}{N}\\ & = \chi(p) \sum_{1\le a< N}\chi(a)\frac{a}{N}. \end{align*}

□

Acknowledgements

The author is very thankful to Professor Antonio Lei for suggesting this direction and the various topics it covers, as well as reviewing, discussing, and correcting the many drafts that led to this paper; we owe this paper to him. The author is also thankful to Professor Daniel Delbourgo for his advice and for pointing out the paper [Reference Knospe and Washington15]. Finally, we are grateful to the referee for a careful reading and helpful suggestions.

Appendix A. Ferrero–Greenberg permutation

Notation as set in § 1.2. Let $M_n$ be the set $\{1\le m< q^{n}: p\nmid m\}$, which has two filtrations:

  • • $M_n = \Phi ^{n}_0 \supsetneq \Phi ^{n}_1\supsetneq \cdots \Phi ^{n}_{N-1} \supsetneq \Phi ^{n}_N = \emptyset$, where for $0\le a\le N$, $\Phi ^{n}_a = \{1\le m< q^{n}: p\nmid m, m^{\sharp }_N > a\}$.

  • • $M_n = \Psi ^{n}_0 \supsetneq \Psi ^{n}_1 \supsetneq \cdots \Psi ^{n}_{N-1} \supsetneq \Psi ^{n}_N = \emptyset$, where for $0\le a\le N$, $\Psi ^{n}_a = \{1\le m < \frac {N-a}{N}q^{n}: p\nmid m\}$.

Following [Reference Ferrero and Greenberg6], we define the map $\iota : M_n \to M_n$,

\[ \text{for }m = m^{\sharp}_N + h N,\ \iota(m) = h+1 + (N-m^{\sharp}_N)\frac{q^{n}-1}{N}. \]

We record here the standard properties of $\iota$.

Proposition A.1 The Ferrero–Greenberg map $\iota$ is a well-defined permutation on the finite set $M_n$. More precisely, we have:

  1. (i) If $m\in M_n,$ then $\frac {q^{n}-1}{N} \cdot m \equiv -\iota (m) \bmod q^{n},$ i.e., $m\equiv N\iota (m) \bmod q^{n}$.

  2. (ii) For all $0\le a\le N,$  $\iota$ induces a bijection between $\Phi ^{n}_a$ and $\Psi ^{n}_a$.

Proof. See the proof of [Reference Ferrero and Greenberg6, Lemma 1].

Here is an illustration of how $\iota$ looks like for $p=5$ and $N=3$: We may arrange $M_2=\{1\le m<25 : 5\nmid m\}$ in the table

\[ \begin{array}{|*{8}{c|}} \hline 1 & 4 & 7 & & 13 & 16 & 19 & 22\\ \hline 2 & & 8 & 11 & 14 & 17 & & 23\\ \hline 3 & 6 & 9 & 12 & & 18 & 21 & 24\\ \hline \end{array} \]

which under $\iota$ is mapped to

\[ \begin{array}{|*{8}{c|}} \hline 17 & 18 & 19 & & 21 & 22 & 23 & 24\\ \hline 9 & & 11 & 12 & 13 & 14 & & 16\\ \hline 1 & 2 & 3 & 4 & & 6 & 7 & 8\\ \hline \end{array} \]

Appendix B. Convergence of sum expressions

It may appear intriguing that the limits that show up in sum expressions exist. Our goal here is to give an elementary proof to their convergence. More specifically, in both sum expressions stated in Theorem 1.1, by grouping terms according to their residues modulo $N$, it suffices to prove for any $0\le a\le N$ the existence of the following

\[ \lim_{n\to \infty} \displaystyle\sum_{\substack{1\le m< q^{n}\\ p\nmid m,m^{\sharp} >a}} \psi(m)\langle {m}\rangle^{s}. \]

By using Ferrero–Greenberg permutation in the style of § 4, it reduces to prove the existence of

(B.1)\begin{equation} \lim_{n\to \infty} \displaystyle\sum_{\substack{1\le m<\frac{N-a}{N}q^{n}\\ p\nmid m}} \psi(m)\langle {m}\rangle^{s}. \end{equation}

To show this, we invoke some standard fact of $p$-adic analysis [Reference Schikhof18]. Let $f$ be a continuous function on $\mathbf {Z}_p$ valued in $\mathbf {C}_p$. Then we may uniquely solve the difference equation (ibid., Theorem 34.1)

\[ F(x+1)-F(x) = f(x), \]

so that $F$ is also continuous on $\mathbf {Z}_p$ and $F(0)=0$. Now, if $f$ is only a continuous function on $\mathbf {Z}_p^{\times }$, we may extend $f$ on $\mathbf {Z}_p$ by zero, and denote the resulting continuous function by $f_!$. As such, we let $\Lambda _f$ be the unique solution to the difference equation of $f_!$. In this way, the existence of (B.1) follows from Example B.3.

Example 1 Let $f(x) = 1$ be the constant function. Then for all $n\in \mathbf {Z}_{>0}$, $\Lambda _f(n) = \sum _{1\le m< n, p\nmid m} 1 = n-1 - \lfloor \frac {n-1}{p}\rfloor$. The function $n\mapsto \lfloor \frac {n}{p}\rfloor$ sends $a_0 + a_1 p +\cdots a_r p^{r}$ to $a_1 + a_2 p + \cdots + a_r p^{r-1}$, and therefore is extended to the familiar (continuous) Verschiebung operator $V$ on the Witt ring $W(\mathbf {F}_p)=\mathbf {Z}_p$. Therefore, $\Lambda _f(x) = x-1 - V(x-1)$.

Example 2 Let $f(x) = \log _p x$. Then, we have

\[ \Lambda _f(x) = \lim _{n>0,n\to x}\log _p\Big(\prod _{1\le m\le n,p\nmid m} m\Big) = \log _{p}\Gamma _p(x+1), \]

where $\Gamma _p(x)$ is the Morita $p$-adic Gamma function [Reference Lang16, § 14.1].

Example 3 Finally, let $f$ be continuous on $\mathbf {Z}_p^{\times }$, $0\le \frac {a}{N}\le 1$ with $\gcd (N,p) =1$, and $q = p^{f}\equiv 1\bmod N$. Then

\[ \lim_{n\to \infty} \displaystyle\sum_{1\le m<\frac{N-a}{N}q^{n} , p\nmid m} f(m) = \lim_{n\to \infty} \Lambda_f\left(\frac{(N-a)q^{n}+a^{\flat}_N}{N}\right) = \Lambda_f\left(\frac{a^{\flat}_N}{N}\right). \]

Appendix C. An elementary method to sum expressions

In this appendix, we sketch how sum expressions can be proved by using only some elementary $p$-adic analysis, following the discussions in previous appendices. We will only treat $p$-adic zeta functions with odd $p$, since they are technically easier.

C.1. Preliminaries on power sums

For $k,n\in \mathbf {Z}_{\ge 0}$ we let $S_k(n) = \sum _{0\le d\le n} d^{k}$. For example, we have $S_0(n) = n+1$, $S_1(n) = \frac {n(n+1)}{2}$ and $S_2(n) = \frac {n(n+1)(2n+1)}{6}$. In general, if we write

\[ \displaystyle\frac{Xe^{yX}}{e^{X}-1} = \displaystyle\sum_{r\ge 0}\frac{X^{r}}{r!}B_r(y), \]

then

\[ S_r(n) = \displaystyle\frac{B_{r+1}(n+1) - B_{r+1}}{r+1}. \]

Here $B_r(0) = B_r$ is the usual Bernoulli number.

Following Appendix B, for $k\in \mathbf {Z}_{\ge 0}$ we consider the function $\Lambda _{k}(x) = \lim _{n\in \mathbf {Z}_{>0},n\to x} \sum _{0\le d< n, p\nmid d} d^{k}$. For any $n\in \mathbf {Z}_{>0}$ we have

\[ \Lambda_{k}(n) = S_k(n-1) - p^{k} S_k\left(\left\lfloor \displaystyle\frac{n-1}{p} \right\rfloor\right) = \frac{B_{k+1}(n) - p^{k} B_{k+1}\left(\left\lfloor \frac{n-1}{p}\right\rfloor +1\right)}{k+1} - (1-p^{k})\frac{B_{k+1}}{k+1}. \]

Hence

(C.1)\begin{equation} \Lambda_k(x) = \displaystyle\frac{B_{k+1}(x) - p^{k} B_{k+1}(V(x-1)+1)}{k+1} - (1-p^{k})\frac{B_{k+1}}{k+1}, \end{equation}

where $V$ is the Verschiebung operator.

C.2. The proof

Let $N$ and $q$ be as in § 1.2. For an even number $k$, define:

\[ L_k(s) = \lim_{n\to \infty}\displaystyle\sum_{1\le m< q^{n}, p\nmid m} \omega^{k-1}(m)\langle {m}\rangle^{{-}s}m^{\sharp}_N. \]

Then, by density, to prove the sum expression for $-(1-\omega ^{k}(N)\langle {N}\rangle ^{-s+1})L_p(s,\omega ^{k})$, it suffices to show that for all $r\in \mathbf {Z}_{>0}$ such that $r \equiv k\bmod p-1$, $L_k(1-r)=-(1-N^{r})L_p(1-r,\omega ^{k})$. First, note that by the Ferrero–Greenberg permutation (applied to $\Phi ^{n}_{a-1}\setminus \Phi ^{n}_a$), we have

(C.2)\begin{equation} L_k(1-r) = N^{r-1}\lim_{n\to \infty}\displaystyle\sum_{1\le a\le N} a \sum_{\frac{N-a}{N}q^{n}\le m< \frac{N-a+1}{N}q^{n}, p\nmid m} m^{r-1}. \end{equation}

Using (C.1), for all $a$ in $[1,N]$, it is not hard to see that

\begin{align*} & \displaystyle\sum_{\frac{N-a}{N}q^{n}\le m< \frac{N-a+1}{N}q^{n}, p\nmid m} m^{r-1}\\ & \quad=\frac{1}{r}\left\{B_r\left(\frac{a-1}{N}\right) - B_r\left(\frac{a^{\flat}_N}{N}\right) - p^{r-1}\left[B_r\left(V\left(-\frac{N-a+1}{N}\right)+1\right)\right.\right.\\ & \left.\left. \quad -\, B_r\left(V\left(-\frac{N-a^{\flat}}{N}\right)+1\right)\right]\right\}. \end{align*}

To simplify, note the following Abel-type summations:

\[ \displaystyle\sum_{1\le a\le N} a \left[B_r\left(\displaystyle\frac{a-1}{N}\right) - B_r\left(\frac{a^{\flat}_N}{N}\right)\right] = \sum_{0\le a< N} B_r\left(\frac{a}{N}\right) - N B_r, \]

and

\begin{align*} & \displaystyle\sum_{1\le a\le N} a \left[B_r\left(V\left(-\displaystyle\frac{N-a+1}{N}\right)+1\right) - B_r\left(V\left(-\frac{N-a^{\flat}_N}{N}\right)+1\right)\right] \\ & \quad =\sum_{1\le a\le N} B_r\left(V\left(-\frac{N-a^{\flat}}{N}\right)+1\right) - N B_r(V({-}1)+1)\\ & \quad = \sum_{1\le a\le N} B_r\left(\frac{N-(a/p)^{\sharp}_N}{N}\right) - N B_r = \sum_{0\le a< N}B_r\left(\frac{a}{N}\right) - N B_r. \end{align*}

Combining these equalities, we have

\[ L_k(1-r) = N^{r-1}(1-p^{r-1})\displaystyle\frac{1}{r}\left[\displaystyle\sum_{0\le a< N}B_r\left(\frac{a}{N}\right) - N B_r\right]. \]

To proceed, we use the identity

\[ \displaystyle\sum_{0\le a< N} B_r\left(\displaystyle\frac{a}{N}\right) = N^{1-r} B_r, \]

which can be seen from the Taylor expansion of

\[ \displaystyle\sum_{0\le a< N} \displaystyle\frac{X e^{\frac{a}{N} X}}{e^{X}-1} = \frac{X}{e^{X/N}-1}. \]

In turn,

\[ L_k(1-r) = N^{r-1}(1-p^{r-1})\displaystyle\frac{1}{r}(N^{1-r}-N)B_r = (1-N^{r})(1-p^{r-1})\frac{B_r}{r}. \]

This concludes $L_k(1-r)= -(1-N^{r})L_p(1-r,\omega ^{r})$ by (1.1).

Appendix D. From Stickelberger elements to sum expressions

In this appendix, we will show that the sum expressions for $p$-adic $L$-functions can be directly derived from Stickelberger elements. Our main reference is [Reference Iwasawa10], complemented by Chapter 6 of [Reference Iwasawa11]. For simplicity, we assume $p\ge 3$, for $p=2$ the argument runs mutatis mutandis.

D.1. Background on Stickelberger elements

Let $\chi$ be a character of conductor $N\ge 1$ such that $\gcd (N,p)=1$, and $\psi$ be one of conductor $p^{e}$ for some $e\ge 0$. For any $n\ge e-1$, the $n$th Stickelberger element attached to $(\chi,\psi )$ is defined to be [Reference Iwasawa10, p. 200]

\[ \xi_n ={-}\displaystyle\frac{1}{Np^{n+1}}\displaystyle\sum_{1\le a< Np^{n+1}, p\nmid a} \chi\psi(a)a [\gamma(a)^{{-}1}] \in \bar{\mathbf{Q}}_p[\Gamma_n]. \]

Here $\Gamma _n = 1+p\mathbf {Z}_p/1+p^{n+1}\mathbf {Z}_p$, $\gamma : (\mathbf {Z}/N)^{\times }\times \mathbf {Z}_p^{\times } \to 1+p\mathbf {Z}_p$ is the natural projection, and $[\gamma (a)]$ is the element in $\bar {\mathbf {Q}}_p[\Gamma _n]$ corresponding to $\gamma (a)$. When $\chi$ is non-trivial, $\xi _n$ is known to be in $\bar {\mathbf {Z}}_p[\Gamma _n]$ [Reference Iwasawa11, pp. 75-76]. When $\chi$ is trivial, hence $N=1$, a regularization process is required: Let $c\in \mathbf {Z}_p^{\times }$ and define the regularized Stickelberger element

\[ \eta_{c,n} = (1-\psi(c)c[\gamma(c)^{{-}1}])\xi_n. \]

It can be shown that $\eta _{c,n}$ has coefficients in $\bar {\mathbf {Z}}_p$; explicitly

\begin{align*} \eta_{c,n} & ={-}\displaystyle\frac{1}{p^{n+1}}\displaystyle\sum_{1\le a< p^{n+1}, p\nmid a} \left\{\psi(a) a[\gamma(a)^{{-}1}] - \psi(ac)ac[\gamma(ac)^{{-}1}] \right\}\\ & = \sum_{1\le a< p^{n+1}, p\nmid a}\psi(ac)\frac{ac-(ac)^{\flat}_{p^{n+1}}}{p^{n+1}} [\gamma(ac)^{{-}1}]. \end{align*}

As discussed in [Reference Iwasawa11, pp. 72–73], when $\chi \psi$ is odd, the Stickelberger elements are compatible with respect to projections, and thus we may consider the limits $\xi =\lim _{n\to \infty } \xi _n$ (when $\chi$ is non-trivial) and $\eta _c=\lim _{n\to \infty }\eta _{c,n}$ (when $\chi$ is trivial). Now, let $\varphi _s: \varprojlim _n \bar {\mathbf {Z}}_p[\Gamma _n] \to \mathbf {C}_p$ be the specialization map sending $\gamma (a)$ to $\gamma (a)^{-s}$, then [Reference Iwasawa10, § 3] has shown that

(D.1)\begin{equation} \varphi_s(\eta_c) = (1-\psi\omega(c)\langle {c}\rangle^{1+s})L_p({-}s,\psi\omega), \end{equation}

and

(D.2)\begin{equation} \varphi_s(\xi) = L_p({-}s,\chi\psi\omega). \end{equation}

D.2. Re-deriving sum expressions: zeta case.

By approximating $\eta _c$ by $\eta _{c,n}$ for all $n\ge e$, we have the following limit by (D.1):

\begin{align*} (1-\psi\omega(c)\langle {c}\rangle^{1+s})L_p({-}s,\psi\omega) & = \lim_{n\to\infty} \displaystyle\sum_{1\le a< p^{n}, p\nmid a} \left(\displaystyle\frac{ac-(ac)^{\flat}_{p^{n}}}{p^{n}}\right)\psi(ac)\langle {ac}\rangle^{s}\\ & = \lim_{n\to\infty} \displaystyle\sum_{1\le a< p^{n}, p\nmid a} -\left(\displaystyle\frac{(a/c)^{\flat}_{p^{n}}c-a}{p^{n}}\right)\psi(a)\langle {a}\rangle^{s}\\ & \quad - \frac{c-1}{2}\lim_{n\to\infty}\sum_{1\le a< p^{n}, p\nmid a}\psi(a)\langle {a}\rangle^{s}\\ & ={-}\lim_{n\to\infty} \sum_{1\le a< p^{n}, p\nmid a}\left(\frac{a}{p^{n}}-\frac{1}{2} \!-\! c \left[\frac{(a/c)^{\flat}_{p^{n}}}{p^{n}}\!-\!\frac{1}{2}\right]\right) \psi(a)\langle {a}\rangle^{s}. \end{align*}

As such, to obtain the sum expression when $c\in \mathbf {Z}_{>1}$, one may proceed by employing the identity $(\tfrac {a}{c})^{\flat }_{p^{n}} = \frac {a+p^{n}(-a/p^{n})^{\flat }_{c}}{c}$.

D.3. Re-deriving sum expressions: Dirichlet case

Now assume the character $\chi$ is non-trivial, so we may take the limit over $\xi _n$'s as they are already bounded. As such, by (D.2):

\begin{align*} L_p({-}s,\chi\psi\omega) & ={-}\lim_{n\to\infty} \displaystyle\frac{1}{Np^{n}} \displaystyle\sum_{1\le a< Np^{n}, p\nmid a} \chi\psi(a) a\langle {a}\rangle^{s}\\ & ={-}\lim_{n\to\infty} \frac{1}{Np^{n}} \sum_{1\le a< p^{n}, p\nmid a} \psi(a)\langle {a}\rangle^{s}\sum_{0\le d< N}\chi(dp^{n}+a) (dp^{n}+a)\\ & ={-}\lim_{n\to\infty} \sum_{1\le a< p^{n}, p\nmid a} \psi(a)\langle {a}\rangle^{s}\left[\frac{1}{N}\sum_{0\le d< N} \chi(a+dp^{n})d\right]\\ & ={-}\lim_{n\to\infty}\sum_{1\le a< p^{n}, p\nmid a} \psi(a)\langle {a}\rangle^{s} \mu_\chi(a+p^{n}\mathbf{Z}_p). \end{align*}

Remark D.1 It is no coincidence that, in the calculations above, the coefficients of Stickelberger elements give rise to values of the periods attached to $\mu _\chi$. Indeed, define the unconventional Stickelberger elements by (cf. [Reference Lang16, § 2.1])

\[ \Theta_n = \displaystyle\sum_{a\in \mathbf{Z}/Np^{n+1}} \left(\displaystyle\frac{a^{\flat}_{Np^{n+1}}}{Np^{n+1}}-\frac{1}{2}\right)\chi(a)[a] \in \bar{\mathbf{Q}}[\mathbf{Z}/Np^{n+1}]. \]

Then, we can project $\Theta _n$ to $\theta _n \in \bar {\mathbf {Q}}[\mathbf {Z}/p^{n+1}]$. Explicitly,

\[ \theta_n = \displaystyle\sum_{0\le a< p^{n+1}} [a]\sum_{0\le d< N} \displaystyle\frac{\chi(a+dp^{n+1}) d}{N}, \]

which can be thus regarded as an element in $\mathbf {Z}_p[\chi ][\mathbf {Z}/p^{n}]$. Note that the restriction of $\theta _n$ to $\mathbf {Z}_p[\chi ][(\mathbf {Z}/p^{n+1})^{\times }]$ followed by a projection to $\mathbf {Z}_p[\chi ][\Gamma _n]$ recovers $-\xi _n$. On the other hand, using the additivity of the first Bernoulli polynomial [Reference Lang16, p. 36, B 4], it can be easily shown that the Stickelberger elements $\Theta _n$'s give rise to a distribution on $\varprojlim _n \mathbf {Z}/Np^{n} = \mathbf {Z}/N \times \mathbf {Z}_p$, and so do $\theta _n$'s on $\mathbf {Z}_p$; in the latter case a measure by integrality. Moreover, this measure is exactly $\mu _{\chi }$, and we get the explicit period formula for free by reading off the coefficients of $\theta _n$'s.

References

Coates, J., Values of the Riemann zeta function at the odd positive integers and Iwasawa theory, in The Bloch-Kato conjecture for the Riemann zeta function, London Mathematical Society Lecture Note Series, Volume 418, pp. 45–64 (Cambridge University Press, Cambridge, 2015).CrossRefGoogle Scholar
Delbourgo, D., A Dirichlet series expansion for the $p$-adic zeta-function, J. Aust. Math. Soc. 81(2) (2006), 215–224.CrossRefGoogle Scholar
Delbourgo, D., The convergence of Euler products over $p$-adic number fields, Proc. Edinb. Math. Soc. (2) 52(3) (2009), 583–606.CrossRefGoogle Scholar
Delbourgo, D., Zeta-functions through the 2-adic looking glass, Austral. Math. Soc. Gaz. 36(4) (2009), 266–272.Google Scholar
Ferrero, B., Iwasawa invariants of abelian number fields, Math. Ann. 234(1) (1978), 9–24.CrossRefGoogle Scholar
Ferrero, B. and Greenberg, R., On the behavior of $p$-adic $L$-functions at $s=0$, Invent. Math. 50(1) (1978/79), 91–102.CrossRefGoogle Scholar
Ferrero, B. and Washington, L. C., The Iwasawa invariant $\mu _p$ vanishes for abelian number fields, Ann. Math. (2) 109(2) (1979), 377–395.CrossRefGoogle Scholar
Gross, B. H., $p$-adic $L$-series at $s=0$, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28(3) (1982/1981), 979–994.Google Scholar
Hida, H., Elementary theory of $L$-functions and Eisenstein series, London Mathematical Society Student Texts, Volume 26 (Cambridge University Press, Cambridge, 1993).CrossRefGoogle Scholar
Iwasawa, K., On $p$-adic $L$-functions, Ann. Math. (2) 89 (1969), 198–205.CrossRefGoogle Scholar
Iwasawa, K., Lectures on $p$-adic $L$-functions, Annals of Mathematics Studies, Volume 74 (Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1972).Google Scholar
Katz, N. M., $p$-adic $L$-functions via moduli of elliptic curves. In Algebraic geometry (Proc. Sympos. Pure Math., Vol. 29, Humboldt State Univ., Arcata, Calif., 1974), 479–506, 1975.CrossRefGoogle Scholar
Koblitz, N., A new proof of certain formulas for $p$-adic $L$-functions, Duke Math. J. 46(2) (1979), 455–468.CrossRefGoogle Scholar
Koblitz, N., $p$-adic numbers, $p$-adic analysis, and zeta-functions, Graduate Texts in Mathematics, Volume 58, 2nd ed. (Springer-Verlag, New York, 1984).CrossRefGoogle Scholar
Knospe, H. and Washington, L. C., Dirichlet series expansions of $p$-adic $L$-functions, Abh. Math. Semin. Univ. Hambg. 91(2) (2021), 325–334.CrossRefGoogle Scholar
Lang, S., Cyclotomic fields I and II, Graduate Texts in Mathematics, Volume 121, 2nd ed. (Springer-Verlag, New York, 1990). With an appendix by Karl Rubin.CrossRefGoogle Scholar
Mazur, B., Tate, J. and Teitelbaum, J., On $p$-adic analogues of the conjectures of Birch and Swinnerton-Dyer, Invent. Math. 84(1) (1986), 1–48.CrossRefGoogle Scholar
Schikhof, W. H., Ultrametric calculus, Cambridge Studies in Advanced Mathematics, Volume 4 (Cambridge University Press, Cambridge, 2006). An introduction to $p$-adic analysis, Reprint of the 1984 original [MR0791759].CrossRefGoogle Scholar
Washington, L. C., The derivative of $p$-adic $L$-functions, Acta Arith. 40(1) (1981/1982), 109–115.CrossRefGoogle Scholar
Washington, L. C., Introduction to cyclotomic fields, Graduate Texts in Mathematics, Volume 83, 2nd ed. (Springer-Verlag, New York, 1997).CrossRefGoogle Scholar