The Lerch Zeta function III. Polylogarithms and special values
- Jeffrey C. Lagarias^{1} and
- Wen-Ching Winnie Li^{2}Email author
DOI: 10.1186/s40687-015-0049-2
© The Author(s) 2016
Received: 20 June 2015
Accepted: 20 November 2015
Published: 25 February 2016
Abstract
This paper studies algebraic and analytic structures associated with the Lerch zeta function, complex variables viewpoint taken in part II. The Lerch transcendent \(\Phi (s,z,c) := \sum _{n=0}^\infty \frac{z^n}{ (n+c)^{s}}\) is obtained from the Lerch zeta function \(\zeta (s, a, c)\) by the change of variable \(z = e^{2 \pi i a}\). We show that it analytically continues to a maximal domain of holomorphy in three complex variables (s, z, c), as a multivalued function defined over the base manifold \({\mathbb C}\times ({\mathbb P}^{1} ({\mathbb C}) {\setminus } \{0, 1, \infty \} )\times ( {\mathbb C}{\setminus } {\mathbb Z})\) and compute the monodromy functions describing the multivaluedness. For positive integer values \(s=m\) and \(c=1\) this function is closely related to the classical m-th order polylogarithm \(Li_{m}(z)\). We study its behavior as a function of two variables (z, c) for “special values” where \(s=m\) is an integer. For \(m \ge 1\) we show that it is a one-parameter deformation of \(Li_{m}(z)\), which satisfies a linear ODE, depending on \(c \in {\mathbb C}\), of order \(m+1\) of Fuchsian type on the Riemann sphere. We determine the associated \((m+1)\)-dimensional monodromy representation, which is a non-algebraic deformation of the monodromy of \(Li_m(z)\).
Mathematics Subject Classification
Primary 11M35 Secondary 33B301 Introduction
In his 1900 problem list Hilbert [34] raised a question related to the Lerch transcendent. This question appears just after the 18-th problem, perhaps intended as a prologue to several of the subsequent problems. Hilbert remarked that functions that satisfy algebraic partial differential equations form a class of “significant functions” , but that a number of important functions seem not to belong to this class. He wrote
The function of the two variables s and x defined by the infinite series
which stands in close relation with the function \(\zeta (s)\), probably satisfies no algebraic partial differential equation. In the investigation of this question the functional equation
will have to be used.
The function \(\zeta (s, x)\) is sometimes called Jonquiére’s function because it was studied in 1889 by Jonquiére [36].^{1} It is obtained as \(\zeta (s, x) = x\Phi (s, x, 1)\), where \(\Phi (s, x,1)\) is from the specialization of the Lerch transcendent at value \(c=1\). In 1920 Ostrowski [64] justified Hilbert’s assertion by proving that \(\zeta (s, x)\) satisfies no algebraic differential equation. Further work done on this question is discussed in Garunkštis and Laurenčikas [26].
The work of this paper determines new basic analytic properties of this function, which may bring insight to its specializations such as the Riemann zeta function and the polylogarithms. We construct an analytic continuation of the Lerch transcendent in all three variables, revealing its fundamental character as a multivalued function. We give an exact determination of its multivaluedness, specified by monodromy functions, and determine the effect of this multivalued analytic continuation on the partial differential equations and difference equations above. An important feature is that this analytic continuation does not extend to certain sets over a base manifold which we term singular strata; these form the branch locus for the multivaluedness. In the (z, c)-variables these are points where either c is a nonpositive integer and/or where \(z=1\) or \(z=0\). In particular this three-variable analytic continuation omits the specialization to the Riemann zeta function given in (1.3), which occurs at the singular stratum point \((z, c)=(1,1)\). The Lerch transcendent does possess additional analytic continuations in fewer variables valid on some singular strata outside the analytic continuation in three variables; for example, the Hurwitz zeta function \(\zeta (s, c)=\sum _{n=0}^{\infty } (n+c)^{-s}\) arises on (one branch of) the singular stratum \(z=1\) with c variable. These additional analytic continuations typically include meromorphic continuations in the s-variable to all \(s \in {\mathbb C}\). However, for many parameter ranges these functions in fewer variables are not continuous limits of the three-variable analytic continuations.
A particular goal of the paper is to understand the relation of this analytic continuation to the multivalued structure associated with the polylogarithm. The specialization to obtain the polylogarithm takes \(c=1\) (and also \(s=m \ge 1\), a positive integer), which lies on a singular stratum over the Lerch zeta manifold \({\mathcal M}\) in the (a, c)-variables described in Sect. 1.1. In part II, however, we showed that the three-variable analytic continuation has removable singularities at the points \(c=n\) for \(n \ge 1\) and hence extends to a larger manifold \({\mathcal M}^{\sharp }\). The polylogarithm case \(c=1\) is, therefore, covered in this extended analytic continuation when projected to the manifold \({\mathcal N}^{\sharp }\) in the (z, c)-variables described below.
The Lerch transcendent has the new feature that its analytic continuation introduces a new singular stratum consisting of the \(z=0\) manifold, which is a branch locus around which it is multivalued, whose monodromy must be determined. This singular stratum is not directly visible in the (a, c) variables used in the Lerch zeta function. Upon specializing two variables to obtain the polylogarithm in the z-variable, we obtain a new determination of its monodromy structure, and we also obtain an interesting one-parameter deformation of the polylogarithm in the c-variable.
An additional reason for interest in this c-deformation, apart from containing the polylogarithms, concerns the behavior of functional equations satisfied by the Lerch transcendent. A major property of the Lerch zeta function \(\zeta (s, a, c)\) is that it satisfies three-term and four-term functional equations relating certain linear combinations of functions at parameter values s to those at \(1-s\). The functional equation of the Riemann zeta function \(\zeta (s)\) and \(\zeta (1-s)\) can be derived for these functional equations, proceeding by a limiting process to a singular stratum yielding functional equations for the Hurwitz zeta function (when \(Re(s)>0\)) and for the periodic zeta function (when \(Re(s)<1)\), and from these recovering that of the Riemann zeta function, see Apostol [3, Chap.12]. The Lerch transcendent inherits multivalued versions of these functional equations, well-defined for all non-integer values of the c-parameter, but they fail to extend to the parameter values corresponding to polylogarithms, as we explain in Sect. 1.3.
The following Sects. 1.1–1.5 discuss the results of this paper in general terms, and the main results are stated in detail in Sect. 2.
1.1 Analytic continuation in three complex variables
We establish an analytic continuation of the Lerch transcendent in three complex variables (s, z, c) as a multivalued function of the variables (z, c), which are entire functions of s. The special choice \(s=n\), for n a positive integer, gives a one-parameter deformation of the n-th order polylogarithm.
- (1)
The Lerch transcendent becomes single-valued on a certain covering manifold of \({\mathcal N}\), which is a regular covering (i.e. Galois covering) with solvable covering group.
- (2)
The Lerch transcendent continues to satisfy the two independent differential-difference Eqs. (1.5) and (1.6) on the covering manifold.
In parallel to results given in Part II, the analytic continuation above has removable singularities at positive integer values of c and extends to an analytic continuation over the larger manifold \({\mathcal N}^{\sharp }\) above.
1.2 Specializations and Fuchsian ODE’s
We study consequences of this analytic continuation for functions of fewer variables obtained by specializing the variables. These specializations include the n-th order polylogarithms, corresponding to a “nonsingular” specialization at \(c=1\), and \(s=n \ge 1\) a positive integer. The classical specializations, giving rise to the Hurwitz zeta function or Riemann zeta function, approach singular strata where the analytic continuation breaks down. Here limiting values do exist for some ranges of the singular strata parameters, and a better understanding of the nature of these degenerations seems to be of particular interest.
First, we consider specialization to the point \(c=1\). This value is a “nonsingular” value for the extended analytic continuation to \({\mathcal N}^{\sharp }\). We deduce the complete multivalued analytic continuation of the extended polylogarithm. This covers the case of Hilbert’s example function in the variables (s, x) above. As already noted, this specialization loses the algebraic PDE property.
Second, we consider the specialization of variables that treats s as a constant. This specialization retains the linear PDE property in the (z, c)-variables, but loses the differential-difference equation property that depends on variation in s. In the case of \(s=-m\) a non-positive integer, the functions are rational functions of two variables (z, c), which are polynomial in the variable c, and which remain well-defined on certain singular strata in c and z. For positive integers, i.e. \(s=m \in {\mathbb Z}_{\ge 1}\), this specialization gives a one-parameter deformation, with deformation parameter c, of the classical m-th order polylogarithm \(Li_{m}( z)\), which corresponds to taking \(c=1\).
Third, specializing to integer values \(s=m \ge 1\) and additionally specializing \(c \in {\mathbb C}\) to be fixed, the specialized function \(Li_{m}(z, c)\) satisfies a linear ordinary differential equation of order \(m+1\) in the z-variable. This ODE is of Fuchsian type with regular singular points at \(\{ 0, 1, \infty \}\) for all values of the c-parameter; in particular this differential equation is defined for singular stratum parameter values \(c \in {\mathbb Z}_{\le 0}\). We determine the monodromy representation of the fundamental group \(\pi _1( {\mathbb P}^1{\setminus } \{0, 1, \infty \}, -1)\) for this equation as a function of the deformation parameter c. The monodromy is unipotent for \(c \in {\mathbb Z}\), is quasi-unipotent for \(c \in {\mathbb Q}\), and otherwise lies in a Borel subgroup of \(GL(m+1, {\mathbb C})\) but is not quasi-unipotent. A second interesting feature is that this deformation of the monodromy varies continuously on the regular stratum , but has discontinuous behavior of the monodromy representation at the singular strata values \(c \in {\mathbb Z}_{\le 0}\).
It is known that in the case \(c=1\) a mixed Hodge structure can be attached to the collection of polylogarithms for all \(n \ge 1\), viewed as pro-unipotent connection over \({\mathbb P}^{1} {\setminus }\{ 0, 1, \infty \}\) as described in Bloch [11]. We have not addressed the question whether a mixed Hodge structure can be associated to the singular strata cases \(c \in {\mathbb Z}_{\le 0}\), where the monodromy is unipotent.
1.3 Functional equations
- (1)
The two four-term functional equations for the Lerch transcendent are well-defined on the manifold \({\mathcal N}\) but are not well-defined on the extended manifold \({\mathcal N}^{\sharp }\). The extended manifold \({\mathcal N}^{\sharp }\) glues in the integer values \(c= n \ge 1\) in the Lerch transcendent (s, z, c) parameters, and these extra values include exactly the value \(c=1\) relevant to studying polylogarithms. This obstruction to extension occurs because always at least one of the four terms in the functional equation lies on a genuine singular stratum. A consequence is that four-term functional equations do not appear when studying the polylogarithm itself. Problems also occur with extending the three-term functional equations.
It is possible that further information can be extracted from these functional equations at the polylogarithm values, if one approaches these points along specific paths for restricted ranges of parameter values. In the c-deformation of the polylogarithm we study, the multivalued functional equations relating values at s and \(1-s\) “turn on” when c takes a non-integer value. Perhaps some modified functional equations in fewer variables survive in the limit as a value \(c = n \ge 1\) is approached for suitable ranges of the s-variable, because continuous limits to singular strata exist for some range of s, as shown in part I. One may also ask whether there is a “vanishing cycle” interpretation for some of this limit behavior.
- (2)On the other hand, at the polylogarithmic points \(c=m \ge 1\), new functional equations appear. Polylogarithms \(Li_m(z)\) are well known to satisfy functional equations of quite different shape, specific to each value of m, sometimes relating different values of m shifted by integers. These functional equations are relevant to geometry and physics, and relate these functions at different values of z. For the Euler dilogarithm there is a well-known functional equation found by Spence [70] in 1809, often given in the formsee Lewin [53, Sec. 1.2]. Since \(Li_1(x) = -\log (1-x)\) this functional equation relates polylogarithms with the two different s-parameter values \(s=2\) and \(s=1\). These shifts in the s-parameter are different from the s to \(1-s\) parameter shift in the four-term functional equation. The functional equation (1.17) can be transformed into the well-known 5-term functional equation for the Rogers dilogarithm, given by \(L_2(x) = Li_2(x) + \frac{1}{2} \log x \log (1-x)\), which is$$\begin{aligned}&Li_2\Big (\frac{x}{1-x} \frac{y}{1-y}\Big ) = Li_2\Big (\frac{x}{1-y}\Big ) + Li_2\Big ( \frac{y}{1-x}\Big ) - Li_2(x) - Li_2(y) - \log (1-x)\log (1-y),\nonumber \\ \end{aligned}$$(1.17)cf. Rogers [69], Zagier [80, 81]. These particular functional equations have an important relation to three-dimensional geometry, specifically to Cheeger-Cherns-Simons invariants of hyperbolic 3-manifolds, cf. Dupont [20], Neumann [61]. The functional equations and related ones for higher polylogarithms seem specific to integer values \(s=m >1\) of the s-parameter and are not known to survive deformation in s. Nonetheless, one may ask what is the fate of the functional equations of the dilogarithm under the c-deformation presented in this paper, which in (1.17) involve the integer values \(s=2\) and \(s=1\).$$\begin{aligned} L_2(x) + L_2(y) - L_2(xy) = L_2 \Big (\frac{x- xy}{1- xy} \Big ) + L_2\Big ( \frac{y- xy}{1-xy}\Big ), \end{aligned}$$
1.4 Prior work
There is a long history of work on analytic continuation of the Lerch transcendent. After Lerch’s 1887 work, in 1889 Jonquière [36] studied the two variable function \(\zeta (s, x) := \sum _{n=1}^{\infty } \frac{x^n}{n^{s}},\) obtaining various contour integral representations and a functional equation, with s and x allowed to take some complex values; this is the function considered by Hilbert [34]. In 1906, Barnes [4] studied the Lerch transcendent with some restrictions on its variables and noted some aspects of its multivalued nature. In the period 1900–2000, there was much further work on these functions obtaining analytic continuations in two of the variables, omitting one of either a or x (resp. c for the Lerch zeta function) while pursuing other objectives, such as functional equations, which we pass over here.
Concerning analytic continuation in three variables, in 2000 Kanemitsu, Katsurada, and Yoshimoto [38] obtained an analytic continuation of the Lerch transcendent in three variables to a single-valued function on various large domains in \({\mathbb C}^3\). These authors also obtained formulas for special values at negative integers, related to those given below in §5. They did not address the issue of further analytic continuation to a multivalued function. In 2008, Guillera and Sondow [30] also give a single-valued analytic continuation of \(\Phi (s, z, c)\) for certain ranges of (s, z, c), mostly restricting c to be real-valued. Very recently, Costin and Garoufalidis [16] obtained a multivalued analytic continuation for the function \(\zeta (x, s)\), calling it the “fractional polylogarithm” and denoting it \(Li_{\alpha }(x) = \sum _{n=1}^{\infty } \frac{x^n}{n^{\alpha }}\) in variables \((\alpha , x)\) on a cover of \({\mathbb C}\times ( {\mathbb P}^1 ( {\mathbb C}) {\setminus } \{0,1,\infty \} ) \); such a continuation appears here as a special case of Theorem 3.6. Vepstas [72] also obtained results applicable to analytic continuation of the fractional polylogarithm.
The detailed multivalued nature of the Lerch zeta function \(\zeta (s, a, c)\) itself in all variables appears to have been first worked out in Part II ([46]). We note that an old approach of Barnes [4] might be further developed to effect an analytic continuation of the Lerch transcendent in three variables.
Polylogarithms have their own independent history, as generalizations of the logarithm, and trace back to work of Euler [22], cf. [44, Sect. 2.4]. Much classical work on them is presented in the book of Lewin [52] and in the volume [54]. The appearance of the dilogarithm in many contexts in mathematics and physics is described in Zagier [80, 81] and Oesterlé [63]. It appears in the computation of volumes of hyperbolic tetrahedra, and from there to define invariants of hyperbolic manifolds, related to its functional equations, see Neumann [61]. Polylogarithms appear in the theory of motives, in iterated integrals and mixed motives, see the discussion in Bloch [11] and Hain [31]. Generalized polylogarithms given by iterated integrals are considered in Minh et al. [55] and Joyner [37]. They appear in Beilinson’s conjectures on special values of L-functions, in defining regulators ([5]), cf. Beilinson and Deligne [6], Huber and Wildeshaus [35]. Geometric versions of polylogarithms have been formulated (Goncharov [28, 29], Cartier [12]), as well as an elliptic curve generalization of the polylogarithm (Beilinson and Levin [7]).
The multivaluedness of the polylogarithms encodes period data and also data on mixed Hodge structures. In addition p-adic and \(\ell \)-adic analogues of polylogarithms have been introduced and studied (Coleman [15], Besser [10], Furusho [24, 25], Nakamura and Wajtkowiak [60], and Wojtkowiak [77–79]). In another direction, an exponentiated quantum deformation of the dilogarithm, the quantum dilograrithm, which satisfies a deformed functional equation, was proposed by Faddeev and Kashaev [23]) in 1994. It has since been much studied, see the survey of Kashaev and Nakanishi [40]. Certain dilogarithm identities play a role in integrable models and in conformal field theory (Nahm et al [58], Kirillov [41, 42]). Motivic realizations of polylogarithms are discussed in Wildeshaus [76].
There has been much other work on the Lerch zeta function and Lerch transcendent, treatments of which can be found in books of Erdelyi et al [21, Sect. 1.10–1.12], Laurenčikas and Garunkštis [49], Srivastava and Choi [71, Chap. 2], Kanemitsu and Tsukada [39, Chaps. 3–5] and Chakraborthy, Kanemitsu and Tsukada [13, Chap. 3].
1.5 Present work
- (i)
We determine explicit formulas for the monodromy functions and their behavior under specialization. On the conceptual side, these formulas illuminate a new way in which the the non-positive integer values \(s= -n \le 0\) are “special values” of the associated functions, namely they are distinguished points in the s-parameter space in the sense that these are the unique values where all monodromy functions vanish identically, see Theorem 2.4.
- (ii)
It is well known that the special values \(\zeta (-n)\) (\(n \ge 0\)) at negative integers are rational numbers whose arithmetic properties allow p-adic interpolation^{4} which leads to the construction of p-adic L-functions. In Sect. 6 we show that at these special values \(s=-n\) one can recover information from nearby nonsingular strata values \(z\Phi (-n, z, c)\) (taking limits \(c \rightarrow 0^{+}\)) that is sufficient to interpolate p-adic L-functions; this is achieved using periodic zeta function values.
- (iii)
From the viewpoint of polylogarithms and iterated integrals, we show that under specialization this Lerch transcendent provides a complete set of solutions to a one-parameter Fuchsian deformation of the polylogarithm differential equation in the parameter c, and we determine its monodromy representation. This deformation of the polylogarithm may in future shed interesting light on its behavior.
The extra variables in the Lerch transcendent potentially make visible new connections between these number-theoretic and geometric viewpoints. The variable z in the Lerch transcendent, added to the Hurwitz zeta function variable c, gives it the property of satisfying a linear partial differential equation, together with raising and lowering operators, whose form connects to mathematical physics. On the number theory side, the Lerch transcendent may potentially yield new information about the Hurwitz zeta function and the Riemann zeta function, even though these functions live on singular strata. This potentially may occur by explicit limiting processes (for certain parameter ranges), using also regularization methods, and perhaps through analysis of the indirect influence of its monodromy. In Sect. 9 we suggest a number of other directions for further work.
2 Summary of main results
Our notation used here for paths \(\gamma \) generalizes the notation used in part II, which was restricted to be a loop having \(\gamma (0)= \gamma (1) = {\mathbf x}_0=(\frac{1}{2}, \frac{1}{2}, \frac{1}{2}),\) with associated homotopy class \([\gamma ] \in \pi _1({\mathcal M}, {\mathbf x}_0)\). In part II we wrote \(Z(s, a, c, [\gamma ])\) to denote the function element centered at the endpoint \(\gamma (1)\), with (s, a, c) denoting local coordinates in a neighborhood of the endpoint of the loop \(\gamma \). Reaching the point (s, a, c) from \(\gamma (1)\) can be thought of as following an additional path \(\gamma ^{\prime }\) from \(\gamma ^{\prime }(0)=\gamma (1)\) to \(\gamma ^{\prime }(1) = (s, a, c)\) that remains in a simply connected region obtained by cutting the manifold \(\{ (s, a, c) \in {\mathbb C}\times ({\mathbb C}{\setminus } {\mathbb Z}) \times ({\mathbb C}{\setminus } {\mathbb Z})\)} along the lines \(\{ a= m+it: t \le 0\}\) for \(m \in {\mathbb Z}\) and similarly in the c-variable. In this paper \(\gamma \) denotes a path, to be thought of as the analogue of the composed path \(\gamma \circ \gamma ^{\prime }\), paths being composed left to right, as in Hatcher [33, p. 26]. Thus \(\gamma \) need not be a closed path.
Theorem 2.1
- (1)
The Lerch transcendent \(\Phi (s, z,c)\) on \({\mathcal N}\) analytically continues to a single-valued holomorphic function \(\tilde{Z}([\gamma ])= \tilde{Z}(s, z, c, [\gamma ])\) on the universal cover \({\tilde{\mathcal N}}\) of \({\mathcal N}\).
- (2)
The function \(\tilde{Z}(s, z, c, [\gamma ])\) becomes single-valued on a two-step solvable regular (i.e. Galois) covering manifold \({\tilde{\mathcal N}}^{solv}\) of \({\mathcal N}\), which can be taken to be the manifold fixed by the second commutator subgroup of \(\pi _1({\mathcal N}, {\mathbf x}'_0).\)
This is established in Sect. 3, where Theorems 3.4 and 3.5 give more detailed statements, which imply the result above. In particular we show that all monodromy functions vanish identically on a certain normal subgroup \(\Gamma ^{\prime }\) of \(\pi _1({\mathcal N}, {\mathbf x}'_0)\) which contains the second derived subgroup (second commutator subgroup) \((\pi _1( {\mathcal N}, {\mathbf x}'_0))^{'' }\).
Our next result shows that the singularities at \(c \in {\mathbb Z}_{\ge 1}\) are removable, giving an analytic continuation to a solvable covering of \({\mathcal N}^{\#}\), as follows (cf. Theorem 3.6).
Theorem 2.2
- (1)The Lerch transcendent \(\Phi (s, z,c)\) analytically continues to a single-valued holomorphic function \(\tilde{Z}(s, z, c, [\gamma ])\) on the universal cover \({\tilde{\mathcal N}}^{\sharp }\) of the manifold$$\begin{aligned} {\mathcal N}^{\sharp } := \{ (s, z, c) \in {\mathbb C}\times ({\mathbb P}^1({\mathbb C}){\setminus } \{0,1, \infty \}) \times ({\mathbb C}{\setminus } {\mathbb Z}_{\le 0})\}. \end{aligned}$$(2.2)
- (2)
The function \(\tilde{Z}(s, z, c, [\gamma ])\) becomes single-valued on a 2-step solvable covering manifold \({\tilde{\mathcal N}}^{\sharp , solv}\) of \({\mathcal N}^{\sharp }\), which can be taken to be the covering that is fixed by the second commutator subgroup of \(\pi _1({\mathcal N}^{\sharp }, {\mathbf x}'_0).\)
In Sect. 4 we observe that the Lerch transcendent and its analytic continuation satisfy two differential-difference equations and a linear partial differential equation, as follows (cf. Theorem 4.1):
Theorem 2.3
- (1)The Lerch transcendent \(\Phi (s, z, c)\) satisfies the differential-difference equations:and$$\begin{aligned} \left( z \frac{\partial }{\partial z} + c\right) \Phi (s, z, c)= \Phi (s-1, z, c), \end{aligned}$$(2.3)These differential-difference equations are also satisfied by the analytic continuation \(\tilde{Z}(s, z, c, [\gamma ])\) of the Lerch transcendent \(\Phi (s, z, c)\) on the universal cover \(\tilde{{\mathcal N}}\).$$\begin{aligned} \frac{\partial }{\partial c} \Phi (s, z, c) = -s \Phi (s+1, z, c). \end{aligned}$$(2.4)
- (2)The Lerch transcendent \(\Phi (s, z, c)\) satisfies the linear partial differential equationThe analytic continuation \(\tilde{Z}(s, z, c, [\gamma ])\) satisfies this equation on the universal cover \(\tilde{{\mathcal N}}\) of \({\mathcal N}\).$$\begin{aligned} \left( z \frac{\partial }{\partial z} + c \right) \frac{\partial }{\partial c} \Phi (s,z,c)= -s \Phi (s, z,c). \end{aligned}$$(2.5)
- (3)
For each \([\tau ] \in \pi _1 ( {\mathcal N}, {\mathbf x}'_0 )\) its associated monodromy function \(M_{[\tau ]} ( \tilde{Z})(s, z, c, [\gamma ])\) of the Lerch transcendent satisfies on \(\tilde{{\mathcal N}}\) the two differential-difference equations and the linear partial differential equation (2.5).
As explained in Sect. 3.1, the fundamental group \(\pi _1({\mathcal N},{\mathbf x}'_0 )\) is the product of \(\pi _1({\mathbb P}^1({\mathbb C}) {\setminus } \{0, 1, \infty \}, -1)\), a free group on two generators \([Z_0]\) and \([Z_1]\), and \(\pi _1({\mathbb C}{\setminus } {\mathbb Z}, \frac{1}{2})\), a free group on generators \([Y_n]\) for \(n \in {\mathbb Z}\). We next determine the structure of the vector spaces \({\mathcal W}_s\), for fixed \(s \in {\mathbb C}\), spanned by all the branches of the multivalued analytic continuation of the Lerch transcendent, over a neighborhood of a given point \((s, z, c) \in {\mathcal N}\), specifying a set of generators for these spaces. We define the space \({\mathcal W}_s\) to be a (generally infinite) direct sum of one-dimensional vector spaces given by particular monodromy generators, see Sect. 4. There is a generic basis for \(s \not \in {\mathbb Z}\) and for \(s \in {\mathbb Z}\) there are linear relations among the generators, effectively reducing their number. The following result is established as Theorem 4.3:
Theorem 2.4
- (i)(Generic case) If \(s \not \in {\mathbb Z}\), then \({\mathcal W}_s\) is an infinite-dimensional vector space and has as a basis the set of functions$$\begin{aligned} \{ M_{[Z_0]^{-k} [Z_1] [Z_0]^k}^s (\tilde{Z}) : k \in {\mathbb Z}\} \cup \{ M_{[Y_n]}^s ( \tilde{Z}) : n \in {\mathbb Z}\} \cup \{ \tilde{Z}^s\} ~. \end{aligned}$$(2.6)
- (ii)If \(s = m \in {\mathbb Z}_{> 0}\), then \({\mathcal W}_m\) is an infinite-dimensional vector space and has as a basis the set of functions$$\begin{aligned} \{ M_{[Z_0]^{-k} [Z_1 ] [Z_0]^k}^m ( \tilde{Z}) : k \in {\mathbb Z}\} \cup \{ \tilde{Z}^s\}~. \end{aligned}$$(2.7)
- (iii)If \(s = -m \in {\mathbb Z}_{\le 0}\), then all Lerch transcendent monodromy functions vanish identically, i.e.Thus \({\mathcal W}_{-m} = {\mathbb C}\tilde{Z}^s\) is a one-dimensional vector space.$$\begin{aligned} M_{[\tau ]}^{-m} ( \tilde{Z}) =0 \quad \text{ for } \text{ all }\quad [\tau ] \in \pi _1 ( {\mathcal N}, {\mathbf x}'_0 ) ~. \end{aligned}$$(2.8)
In Sects. 5–8 we specialize the Lerch transcendent variables (s, z, c) to cases where \(s=m\) is an integer. These are exactly the cases where the monodromy functions satisfy “non-generic” linear relations. We show that as functions of the two complex variables (z, c) we obtain further analytic continuation into the singular strata of the three-variable analytic continuation given in Sect. 3. Here the singular strata correspond to \(z=0, 1\) and/or \(c \in {\mathbb Z}_{\le 0}\). For convenience we state results in terms of the extended polylogarithm \(Li_{m}(c, z)= z \Phi (m, c, z)\).
Theorem 2.5
We also determine recursion relations for these rational functions and show they have a reflection symmetry \(z^{m+1} r_{m}(\frac{1}{z}) = r_m(z)\). (Theorem 5.3). The rational function \(Li_{-m}(c, z)\) takes well-defined values on the Riemann sphere for all \((z, c) \in {\mathbb P}^{1}({\mathbb C}) \times {\mathbb P}^1({\mathbb C})\) and thus extends to the singular strata regions given by the complex hyperplanes \(c \in {\mathbb Z}_{ \le 0} \), resp. \(z=0\). On the singular stratum \(z=0\) these functions take finite values, but on the singular stratum \(z=1\), they have a nontrivial polar part and take the constant value \(\infty \in {\mathbb P}^1({\mathbb C})\).
In Sect. 6 we consider the double specialization when \(s=-m \le 0\) is a nonpositive integer and \(c=0\). We show the function then agrees with the analytically continued value of the periodic zeta function \(F(a, s) := \sum _{n=1}^{\infty } e^{2 \pi i na}{n^{-s}}\), when \(z=e^{2\pi i a}\) lies on the unit circle (Theorem 6.1).
Theorem 2.6
- (1)For \(z \in {\mathbb P}^1({\mathbb C}) {\setminus } \{0, 1, \infty \}\) and \(s=-m \in {\mathbb Z}_{\le 0}\) there holdswhere the limit is taken through values of c in \(0< \mathfrak {R}(c)<1\).$$\begin{aligned} Li_{-m} (z, 0) = \lim _{c \rightarrow 0^{+}} Li_{-m}(z, c) = \lim _{c \rightarrow 0^{+}} z \Phi (-m, z, c), \end{aligned}$$(2.12)
- (2)For \(0 < \mathfrak {R}(a) < 1\) the periodic zeta function \(F(a,s) = \sum _{n=1}^\infty \frac{e^{2 \pi ina}}{n^s}\) analytically continues to an entire function of s. In particular, for \(s= -m \in {\mathbb Z}_{\le 0}\) there holds$$\begin{aligned} F(a, -m) = e^{-2 \pi i a} Li_{-m}(e^{2 \pi i a}, 0)= q_m(e^{2 \pi i a}). \end{aligned}$$(2.13)
This equality (2.12) is non-trivial because it involves a limiting procedure, since the point \(c=0\) lies in a singular stratum of the analytic continuation of the Lerch zeta function given in part II. This equality permits one to construct p-adic L-functions by interpolation from values of the Lerch zeta function. In contrast, it appears that one cannot recover values of the Hurwitz zeta function at \(s=-m\) directly from the Lerch transcendent by such a limiting procedure, letting \(a \rightarrow 0^{+}\) or \(a \rightarrow 1^{-}\); these limits do not exist.
Theorem 2.7
(c-Deformed Polylogarithm Analytic Continuation) For each positive integer \(s=m \ge 1\) the function \(Li_m(z,c)\) has a meromorphic continuation in two variables (z, c) to the universal cover of \(~({\mathbb P}^1 ({\mathbb C}) {\setminus } \{0,1,\infty \} ) \times {\mathbb C}\). For fixed \(\tilde{z}\) on the universal cover, this function is meromorphic as a function of \(c \in {\mathbb C}\), with its singularities consisting of poles of exact order m at each of the points \(c \in {\mathbb Z}_{\le 0}.\)
This result gives an analytic continuation of \(Li_{m}(z, c)\) to negative integer c, which are points that fall in the singular strata outside of the analytic continuation given in Sect. 3.
Theorem 2.8
- (1)The function \( F(z)= Li_{m}(z,c)\) satisfies the ordinary differential equationwhere \(D_{m+1}^c \in {\mathbb C}[z, \frac{d}{\mathrm{d}z}]\) is the linear ordinary differential operator$$\begin{aligned} D_{m+1}^c F(z) =0, \end{aligned}$$(2.15)of order \(m+1\).$$\begin{aligned} D_{m+1}^c := z^2 \frac{d}{\mathrm{d}z} \left( \frac{1-z}{z} \right) \left( z \frac{d}{\mathrm{d}z} + c-1\right) ^m \end{aligned}$$(2.16)
- (2)
The operator \(D_{m+1}^c\) is a Fuchsian operator for all \(c \in {\mathbb C}\). For each \(c \in {\mathbb C}\) its singular points on the Riemann sphere are all regular and are contained in the set \(\{0, 1, \infty \}\).
- (3)A basis of solutions of \(D_{m+1}^c\) for \(c \in {\mathbb C}{\setminus } {\mathbb Z}_{\le 0}\) is, for \(z \in {\mathbb C}{\setminus } \{ (-\infty , 0] \cup [1, \infty ) \}\), given by$$\begin{aligned} {\mathcal B}_{m+1,c} := \{Li_{m}(z,c), z^{1-c}(\log z)^{m-1}, z^{1-c}(\log z)^{m-2}, \ldots , z^{1-c} \}. \end{aligned}$$(2.17)
- (4)A basis of solutions of \(D_{m+1}^c\) for \(c= -k \in {\mathbb Z}_{\le 0}\) is, for \(z \in {\mathbb C}{\setminus } \{ (-\infty , 0] \cup [1, \infty ) \}\), given byin which$$\begin{aligned} {\mathcal B}_{m+1,c}^{*} := \{ Li_{m}^{*}(z,-k), z^{1-c}(\log z)^{m-1}, z^{1-c}(\log z)^{m-2}, \ldots , z^{1-c} \}, \end{aligned}$$(2.18)$$\begin{aligned} Li_{m}^{*}(z, -k) := \sum _{\begin{array}{c} {n=0}\\ {n \ne k} \end{array}}^{\infty } \frac{z^{n+1}}{(n-k)^m} + \frac{1}{m!} z^{k+1}(\log z)^m. \end{aligned}$$(2.19)
We next study the monodromy representation of the fundamental group
\(\pi _1({\mathbb P}^1({\mathbb C}) {\setminus } \{0, 1, \infty \}, -1) = \langle [Z_0], [Z_1]\rangle \) on the multivalued solutions of this differential equation. The associated monodromy representation is finite-dimensional, of dimension \(m + 1\), and independent of \(c \in {\mathbb C}\). We show that the image of the monodromy representation lies in a Borel subgroup of \(GL(m + 1, {\mathbb C})\) and lies in a unipotent subgroup exactly when \(c \in {\mathbb Z}.\) The result splits into two cases, one for the “non-singular” strata values of c and the other for the singular strata values \(c \in {\mathbb Z}_{\le 0}.\) This first case is given in Theorem 8.4, as follows:
Theorem 2.9
The special case \(c=1\) of this result corresponds to the polylogarithm case considered by Ramakrishnan [66–68]. (We remark at the end of Sect. 8 on the issue of reconciling our formulas with those of Ramakrishnan.)
We also obtain the monodromy in the singular strata cases \(c \in {\mathbb Z}_{\le 0}\), outside the analytic continuation in Sect. 3. Here the monodromy representation exhibits a discontinuous jump from the “non-singular” strata values that seems unresolvable by a change of basis of \(\langle [Z_0], [Z_1]\rangle \) (cf. Theorem 8.5).
Theorem 2.10
3 Analytic continuation of Lerch transcendent
In this section we analytically continue the Lerch transcendent \(\Phi (s,z,c)\) in the three complex variables (s, z, c) to a multivalued function and compute its monodromy functions, using the results of part II.
3.1 Analytic continuation of Lerch zeta function
In the c-variable, the homotopy group \(\pi _1 ( {\mathbb C}{\setminus } {\mathbb Z}, c=\frac{1}{2}) \) has a set of generators \( \{ [Y_n]: n \in {\mathbb Z}\}\), in which \([Y_n]\) denotes a path from base point \(c= \frac{1}{2}\) that lies entirely in the upper half-plane to the point \(c= n + \epsilon i\), followed by a small counterclockwise oriented loop of radius \(\epsilon \) around the point \(c=n\), followed by return along the path. The generators \([Y_n]\) are pictured in Fig. 2.
- (1)\( Z(s, a, c, [\gamma ]) = \zeta (s, a, c)\) whenever \([\gamma ]\) is in the commutator subgroupof \(\pi _1({\mathcal M}, {\mathbf x}_0)\) ([47, Theorem 4.6]). Thus the function \(Z(s, a, c, [\gamma ])\) is single valued on the maximal abelian cover \(\tilde{{\mathcal M}}^{ab}\) of \({\mathcal M}\). The multivaluedness on this cover is then described entirely in terms of the winding numbers \(k_n([\gamma ])\) (resp. \(k_n^{*}([\gamma ])\)) of the path \(\gamma \) around the submanifolds \(\tilde{{\mathcal V}}( a = -n)\) (resp. \({{\mathcal V}}( c= n)\)) while holding s constant.$$\begin{aligned} {\mathbf {D}}^{(1)}( \pi _1({\mathcal M}, {\mathbf x}_0)):= [ \pi _1({\mathcal M}, {\mathbf x}_0), \pi _1({\mathcal M}, {\mathbf x}_0)] \end{aligned}$$
- (2)For \(s= -m \le 0\) a nonpositive integer, all the monodromy functions vanish identically, i.e. for all \(n, k \in {\mathbb Z}\), one has([47, Theorem 7.2]).$$\begin{aligned} Z(-m, a, c, [X_n]^k) = Z(-m, a, c, [Y_n]^k )= \zeta (-m,a, c) \end{aligned}$$
- (3)For positive integers \(s=m \ge 1 \) the \([Y_n]\)-monodromy vanishes identically. However, the \([X_n]\) monodromy does not vanish for \(s= m \ge 1\) because the functions \(c_n(s)\) have simple poles offsetting the term \((e^{2 \pi i k s} -1)\). In fact one can show that the monodomy functions for \(m \ge 1\) areThe cases \(s=m \ge 1\) correspond to polylogarithm parameter values.$$\begin{aligned} Z(m, a, c, [X_n]^k) = \zeta (m, a, c) + {\left\{ \begin{array}{ll} - \frac{ k}{m!}e^{\frac{-\pi i m}{2}} (2 \pi )^{m} \psi _n^m(a, c) &{} \text{ if } \ m \ge 1,\\ &{}\\ \frac{ k}{m!}e^{\frac{\pi i m}{2}} (2 \pi )^{m} \psi _n^m(a, c) &{} \text{ if } \ m \le 0. \end{array}\right. } \end{aligned}$$(3.6)
3.2 Homotopy generators for Lerch transcendent
We next determine the lifts of the loops \([Z_0]\) and \([Z_1]\) to the a-plane and give other relevant information on the relation of \({\mathcal M}\) and \({\mathcal N}\), as follows:
Lemma 3.1
- (1)
The lift \(\widetilde{Z_0}\) to \(({\mathcal M}, {\mathbf x}_0)\) of the loop \(Z_0\) on \(({\mathcal N}, {\mathbf x}'_0)\) is a non-closed path with \(c= s = \frac{1}{2}\) fixed and whose projection to the a-plane connects the base point \(a=\frac{1}{2}\) to \(a= \frac{3}{2}\) while remaining in the upper half-plane \(\{ a: \mathfrak {I}(a) >0\}\).
- (2)
The lift \(\widetilde{Z_1}\) to \(({\mathcal M}, {\mathbf x}_0)\) of \(Z_1\) on \(({\mathcal N}, {\mathbf x}_0')\) has \(c= s = \frac{1}{2}\) fixed and is homotopic to the closed loop \( X_0\) on \(({\mathcal M}, {\mathbf x}_0)\).
- (3)The image group \({\mathsf {H}}_1:= (\pi ')_{*} ( \pi _1({\mathcal M}, {\mathbf x}_0))\) in \(\pi _1({\mathcal N}, {\mathbf x}'_0)\) is given by$$\begin{aligned} {\mathsf {H}}_1 := \langle [Z_0]^{-n} [Z_1] [Z_0]^n, ~[Y_n], ~~n \in {\mathbb Z}\rangle . \end{aligned}$$(3.13)
- (3)The image group \({\mathsf {H}}_1\) contains the commutator subgroup of \(\pi _1({\mathcal N}, {\mathbf x}'_0)\), i.e.$$\begin{aligned} (\pi _1({\mathcal N}, {\mathbf x}'_0))' := [ \pi _1({\mathcal N}, {\mathbf x}'_0), \pi _1({\mathcal N}, {\mathbf x}'_0)] \subset {\mathsf {H}}_1~. \end{aligned}$$(3.14)
Proof
- (1)
This is established by checking that images under \(\pi '\) of certain paths in the a-plane result in loops homotopic to \([Z_0]\) (resp. \([Z_1]\)) in the z-plane. For \(\widetilde{Z}_0\) we take a path from \(a= \frac{1}{2}\) to the point \(a= \frac{3}{2}\) that consists of a line segment in a-plane, from \(a=\frac{1}{2}\) to \(a= \frac{3}{2}\), except for a small clockwise-oriented half-circle in \(Im(a) >0\) centered at \(a=1\), made to detour around the point \(a=1\). When projected to the z-plane, the curve proceeds from \(z=-1\) in a counterclockwise circle of radius 1 around \(z=0\), with an indentation near \(z=1\) to leave \(z=1\) outside the loop. This image is clearly homotopic to \(Z_0\). These are pictured in Fig. 5.
- (2)We assert that the homotopy class of the projection of the loop of \(\widetilde{Z}_1\) pictured in Fig. 6 to the z-plane belongs to the homotopy class [\(Z_1\)]. To verify this, note that the path \(X_0\) given in part II is a closed path in the a-plane that first moves vertically from the base point \(a=\frac{1}{2}\) to \(a= \frac{1}{2} + \frac{i \epsilon }{2 \pi },\) (for small enough \(\epsilon \)) then moves horizontally to \(a= \frac{i \epsilon }{2\pi } \), then moves in a counterclockwise loop of radius \(\frac{\epsilon }{2\pi }\) around \(a=0\) back to \(a= \frac{i \epsilon }{2 \pi }\), and finally returns to \(a= \frac{1}{2}\) following the original path. One may verify that when projected to the z-plane, the image of \({X_0}\) moves along the z-axis from \(z= -1\) to \(z= -e^{ -\epsilon }\), then proceeds in a clockwise half-circle to \(z= e^{- \epsilon }\). Next, the image of the counterclockwise loop in the a-plane around \(a=0\) iswhich is a nearly circular path that encircles \(z=1\) counterclockwise, reaching at \(\theta =\pi \) the point \(z=e^{\epsilon } >1\) on the real axis, with the second half of its path from \(\theta = \pi \) to \(\theta =2\pi \) being the reflection of the first half in the real axis. Then it returns to \(z= -1\) along the outgoing path. This path is clearly homotopic to \(Z_1\), whence \(\widetilde{[Z_1]} = [X_0]\). This is pictured in Fig. 6.$$\begin{aligned} z = \exp ( -\epsilon e^{i \theta }), \quad 0 \le \theta \le 2 \pi , \end{aligned}$$
- (3)Recall that \(\pi _1 ( {\mathcal M}, {\mathbf x}_0)\) has generating setin which the homotopy class \([X_n]\) is given by a path \(X_n\) in the a-plane with basepoint \(a= \frac{1}{2}\), holding \(s= \frac{1}{2}, c=\frac{1}{2}\) fixed throughout, that traverses a line segment in the upper-half plane to \(a= n + \epsilon i,\) followed by a counterclockwise loop of radius \(\epsilon \) around \(a=n\), followed by return along the line segment; similarly \([Y_n]\) is given by a path \(Y_n\) in the c-plane with basepoint \(c= \frac{1}{2}\), holding \(s=\frac{1}{2}\) and \(a=\frac{1}{2}\) fixed throughout, that traverses a line segment in the upper-half plane to \(c= n + \epsilon i,\) followed by a counterclockwise loop of radius \(\epsilon \) around \(c=n\), followed by return along the line segment. Extending the argument of (2) we find that$$\begin{aligned} {\mathcal G}:= \{ [X_n]: n \in {\mathbb Z}\} \cup \{ [Y_n]: n \in {\mathbb Z}\}, \end{aligned}$$(3.15)This follows since the path \([Z_0]^n [Z_1] \) lifted to \({\mathcal M}\) first moves from \(a= \frac{1}{2}\) to the point \(a= n+ \frac{1}{2}\), encircles the point \(a=n\) once counterclockwise and returns to \(a= n+ \frac{1}{2}\) and \([Z_0]^{-n}\), and then returns to the base point \({\mathbf x}_0=(\frac{1}{2}, \frac{1}{2}, \frac{1}{2} )\) in \({\mathcal M}\). We also trivially have$$\begin{aligned} (\pi ' )_{*}([X_{n}]) = [Z_0 ]^{n} [Z_1] [Z_0]^{-n} ~, ~~n\in {\mathbb Z}. \end{aligned}$$(3.16)since the projection is constant. It follows that the image group \({\mathsf {H}}_1 := (\pi ')_{*}( \pi _1({\mathcal M}, {\mathbf x}_0))\) has generating set (3.13).$$\begin{aligned} (\pi ' )_{*}([Y_{n}])= [Y_{n}], ~~~n\in {\mathbb Z}, \end{aligned}$$
- (4)To verify the inclusion (3.14), note first that since both generators \([Z_0]\) and \([Z_1]\) commute with all \([Y_n]\) in \(\pi _1({\mathcal N}, {\mathbf x}'_0)\), we haveBy (2), \([Z_1] \in {\mathsf {H}}_1\), whence all commutators \([Z_0]^{k} [Z_1]^l [Z_0]^{-k} [Z_1]^{-l}\) are in \({\mathsf {H}}_1\), and since all \([Y_n] \in {\mathsf {H}}_1\), we see that all generators of \((\pi _1({\mathcal N}, {\mathbf x}'_0))'\) are in \({\mathsf {H}}_1\) and the inclusion (3.14) follows. Finally, since all subgroups of a group that contain its commutator subgroup are normal, we conclude from (3.14) that \({\mathsf {H}}_1\) is a normal subgroup of \(\pi _1({\mathcal N}, {\mathbf x}'_0)^{'}\). Thus \({\mathcal M}\) is an abelian covering of \({\mathcal N}\).\(\square \)$$\begin{aligned} (\pi _1({\mathcal N}, {\mathbf x}'_0))'=\langle [Z_0]^{k} [Z_1]^l [Z_0]^{-k} [Z_1]^{-l}, [Y_n]^k [Y_p]^l [Y_n]^{-k}[Y_p]^{-l}, k,l, n, p \in {\mathbb Z}\rangle . \end{aligned}$$(3.17)
3.3 Multivalued continuation of Lerch transcendent
To describe the multivalued nature of the analytic continuation of the Lerch transcendent \(\tilde{Z}\), we recall some definitions from part II.
Definition 3.2
Definition 3.3
In the sequel we will need two different branches of the logarithm, defined as follows. We let \(\log z\) denote the principal branch of the logarithm, cut along the negative real axis, with the negative real axis itself viewed as belonging to the upper half-plane, so \(\log 1=0, \log (-1) = \pi i, \log (-i) = - \frac{\pi i}{2}\). The semi-principal branch \(\mathrm{Log~}z\) of the logarithm is defined on the complex plane cut along the positive real axis, whose value at \(z=-1\) is \(\pi i\), and with the positive real axis connected to the upper half-plane, so \(\mathrm{Log~}(1)=0\), \(\mathrm{Log~}(-1) = \pi i, \mathrm{Log~}(-i) = \frac{3 \pi i}{2}\).
Theorem 3.4
- (i-a)In the domain \((s,z,c) \in {\mathcal D}\subset {\tilde{\mathcal N}}\) given in (3.18) the monodromy function for the generators \([Z_0], [Z_1]\) areand$$\begin{aligned} M_{[Z_0]} ( \tilde{Z}) (s, z, c) \equiv 0 ~, \end{aligned}$$(3.25)$$\begin{aligned} M_{[Z_1]} ( \tilde{Z}) (s,z,c) = - \frac{(2 \pi )^s}{\Gamma (s)} e^{\frac{i \pi s}{2}} f_0 (s,z,c) ~. \end{aligned}$$(3.26)
- (i-b)On the domain \({\mathcal D}\) the functions \(f_p (s,z,c)\) for a fixed \(p \in {\mathbb Z}\) have monodromy functionsand$$\begin{aligned} M_{[Z_0]^k} (f_p)(s, z, c) = f_{p-k}(s, z, c) - f_p(s, z,c)~~~~for~k \in ~{\mathbb Z}, \end{aligned}$$(3.27)In addition$$\begin{aligned} M_{[Z_1]^k} (f_p)(s,z,c) \equiv 0 ~~~~for~k \in ~{\mathbb Z}. \end{aligned}$$(3.28)$$\begin{aligned} M_{[Y_n]^k} (f_p)(s,z,c) \equiv 0 ~~~~for~k, n \in ~{\mathbb Z}. \end{aligned}$$(3.29)
- (ii-a)On the domain \({\mathcal D}\), the monodromy functions for the generators \([Y_n]\) for all \(n \in {\mathbb Z}\) are$$\begin{aligned} M_{[Y_n]} (\tilde{Z}) (s,z,c) =\left\{ \begin{array}{l@{\quad }ll} 0 &{} \text{ if } &{} n \ge 1 ~, \\ (e^{- 2 \pi is} -1) z^{-n} (c-n)^{-s} &{} \text{ if } &{} n \le 0 ~. \end{array}\right. \end{aligned}$$(3.30)
- (ii-b)For a path \(\gamma \) in \({\mathcal N}\) from \({\mathbf x}'_0\) to an endpoint falling in the multiply-connected regionthere holds$$\begin{aligned} {\mathcal N}_s= \{s\} \times ( {\mathbb P}^1 ({\mathbb C}) {\setminus } \{ 0,1, \infty \} ) \times ( {\mathbb C}{\setminus } {\mathbb Z}), \end{aligned}$$and$$\begin{aligned} M_{[Y_n]^{-1}} (\tilde{Z} ) ([\gamma ])= - e^{2 \pi is} M_{[Y_n]} (\tilde{Z})([\gamma ]) \end{aligned}$$(3.31)$$\begin{aligned} M_{[Y_n]^{\pm k}} (\tilde{Z} )([\gamma ]) =\frac{e^{\mp 2 \pi isk} -1}{e^{\mp 2 \pi is} -1} M_{[Y_n]^{\pm 1}} (\tilde{Z})([\gamma ]) ~. \end{aligned}$$(3.32)
- (2)
The formulas given in (i-a), (i-b) above are sufficient to compute the monodromy functions for all elements of the subgroup \({\mathsf {G}}_Z := \langle [Z_0], [Z_1] \rangle \) of \(\pi _1 ( {\mathcal N}, {\mathbf x}'_0)\); these include all monodromy functions not already determined in part II.
Proof
(i-b) The calculation of the monodromy functions of \(f_p (s,z,c)\) for the loops \([Z_0]^k\), \([Z_1]^k\), and \([Y_n]^k\) is straightforward, except that the case of \([Z_0]^k\) where \(p+k\) and p have opposite signs requires some care.
(ii-a), (ii-b) Clearly \((\pi ')_{*} ([Y_n]) = [Y_n]\), the closed loops \([Y_n]^k\) in \({\mathcal M}\) based at \({\mathbf x}_0\) project to closed loops \([Y_n]^k\) based at \({\mathbf x}'_0\) in \({\mathcal N}\). The monodromy formulas in Theorem 4.1(ii) of part II immediately apply to yield (3.30)–(3.32).\(\square \)
3.4 Conditions for vanishing monodromy
Theorem 3.5
- (1)For all paths \(\gamma \) based at \({\mathbf x}'_0\), the monodromy function \(M_{[\tau ]} (\tilde{Z} )([\gamma ]) \) satisfies$$\begin{aligned} M_{[\tau ]} ( \tilde{Z} ) ([\gamma ])= M_{[\tau _Z ]} (\tilde{Z} ) ([\gamma ])+ M_{[\tau _Y]} (\tilde{Z} ) ([\gamma ])~. \end{aligned}$$(3.38)
- (2)For all paths \(\gamma \) based at \({\mathbf x}'_0\), the monodromy function \(M_{[\tau _Y]} (\tilde{Z} ) ([\gamma ])\) satisfiesin which \(k(n) \in {\mathbb Z}\) is the sum of exponents of \([Y_n]\) occurring in \([\tau ]\).$$\begin{aligned} M_{[\tau _Y]} (\tilde{Z} ) ([\gamma ])= \sum _{n\in {\mathbb Z}} M_{[Y_n]^{k(n)} } (\tilde{Z} ) ([\gamma ])~, \end{aligned}$$(3.39)
- (3)The monodromy function \(M_{[\tau ]} ( \tilde{Z} )\) vanishes identically for any \([\tau ]\) in the subgroup \(\Gamma '\) of \(\pi _1({\mathcal N}, {\mathbf x}'_0)\) defined byin which$$\begin{aligned} \Gamma ^{\prime } := [ {\mathsf {H}}_0: {\mathsf {H}}_0], \end{aligned}$$(3.40)The group \(\Gamma '\) is a normal subgroup of \((\pi _1({\mathcal N}, {\mathbf x}'_0))\) that contains its second commutator subgroup \((\pi _1({\mathcal N}, {\mathbf x}'_0))^{'' }\). In particular its quotient \( \pi _1({\mathcal N},{\mathbf x}'_0)/ \Gamma '\) is a two-step solvable group.$$\begin{aligned} {\mathsf {H}}_0 := \langle [Z_0]^{m} [Z_1] [Z_0]^{-m} , [Z_0]^{m}[Y_n][Z_0]^{-m} :~ m,~ n \in {\mathbb Z}\rangle . \end{aligned}$$(3.41)
Proof
In this proof the argument is carried out for each homotopy class \([\gamma ]\) separately. We regard it as fixed and so abbreviate \(M_{[S]}(f) [\gamma ])\) to \(M_{[S]}(f)\), throughout.
- (1)We now prove (3.38) by induction on the length m of the formula (3.37). The base case \(m=1\) is clearly true. For the induction step, write \([\tau ] = [S'] [\tau ']\), where \([S'] =[S_1]^{\epsilon _1}\) and \([\tau '] = [S_2]^{\epsilon _2} \cdots [S_m]^{\epsilon _m}\). Lemma 4.4 of part II givesApplying the induction hypothesis to the terms on the right side gives$$\begin{aligned} M_{[\tau ]} (\tilde{Z}) = M_{[S']} (\tilde{Z}) +M_{[\tau ']} (\tilde{Z}) + M_{[S']} (M_{[\tau ']} ( \tilde{Z} )) ~. \end{aligned}$$Next, the relations (3.42) and (3.43) imply that$$\begin{aligned} M_{[\tau ]} (\tilde{Z}) = M_{[S'_Z]} (\tilde{Z}) + M_{[S'_Y]} (\tilde{Z}) + M_{[\tau '_Z]} (\tilde{Z}) + M_{[\tau '_Y]} ( \tilde{Z}) + M_{[S']} (M_{[\tau '_Z]} (\tilde{Z}) + M_{[\tau '_Y]} ( \tilde{Z})) ~.\nonumber \\ \end{aligned}$$(3.44)using the fact that \([S']\) equals one of \([S'_Y]\) and \([S'_Z ]\) and the other term on the right side of (3.45) is identically zero since \(M_{[I]} (f) =0\) for all functions f. Substituting (3.45) into (3.44) and applying Lemma 4.4 of part II twice to the right side yields$$\begin{aligned} M_{[S']} (M_{[\tau '_Z]} ( \tilde{Z}) +M_{[\tau '_Y]} ( \tilde{Z})) = M_{[S'_Y]} (M_{[\tau '_Y]} (\tilde{Z})) + M_{[S'_Z]} (M_{[\tau '_Z]} (\tilde{Z})) ~, \end{aligned}$$(3.45)which completes the induction step, yielding (3.38).$$\begin{aligned} M_{[\tau ]} (\tilde{Z})= & {} M_{[S'_Z][\tau '_Z]} (\tilde{Z}) + M_{[S'_Y][\tau '_Y]} (\tilde{Z}) \nonumber \\= & {} M_{[\tau _Z]} (\tilde{Z}) + M_{[\tau _Y]} ( \tilde{Z}) ~, \end{aligned}$$(3.46)
- (2)The subgroup \({\mathsf {G}}_Y \subseteq \pi _1 ( {\mathcal N}, {\mathbf x}'_0)\) is the image under \(\pi ' : {\mathcal M}\rightarrow {\mathcal N}\) of the subgroup \(\langle [Y_m ] : m \in {\mathbb Z}\rangle \) of \(\pi _1 ({\mathcal M}, {\mathbf x}_0)\). The map \(\pi '\) is injective when restricted to this subgroup; hence (3.39) is a direct consequence of the formulagiven in Theorem 4.6 of part II when restricted to the subgroup \({\mathsf {G}}_Y\).$$\begin{aligned} M_{[\tau ]} (Z) = \sum _{[S] \in {\mathcal G}} M_{[S]^{k(S)}} (Z) ~, \end{aligned}$$(3.47)
- (3)We observe that the homomorphism from \(\pi _1({\mathcal N}, {\mathbf x}'_0) \) to \({\mathbb Z}\) which maps \([\tau ] \in \pi _1({\mathcal N}, {\mathbf x}'_0)\) given by (3.37) to the sum of the exponents of \([Z_0]\) occurring in (3.37) has kernel \({\mathsf {H}}_0\) generated byThat is, we have the exact sequence$$\begin{aligned} {\mathsf {H}}_0 : = \langle [Z_0]^{k} [Z_1] [Z_0]^{-k} , [Z_0]^{k} [Y_n][Z_0]^{-k},~k,n \in {\mathbb Z}\rangle . \end{aligned}$$(3.48)Furthermore, every element \([\tau ]\) in \(\pi _1({\mathcal N}, {\mathbf x}'_0)\) can be written as \([\tau ] = [\sigma ] [Z_0]^k\) for some \([\sigma ]\) in \({\mathsf {H}}_0\) and \(k \in {\mathbb Z}\). Note that the inclusions$$\begin{aligned} 0 \rightarrow {\mathsf {H}}_0 \rightarrow \pi _1({\mathcal N}, {\mathbf x}'_0) \rightarrow {\mathbb Z}\rightarrow 0. \end{aligned}$$follow using (3.13) and (3.14). We next claim that the the monodromy functions \(M_{[\tau ]} ( \tilde{Z})\) vanish identically for \([\tau ] \in \Gamma '= [{\mathsf {H}}_0, {\mathsf {H}}_0]\). To prove the claim, Theorem 4.6 of part II shows that the monodromy functions \(M_{[\tau ]} (Z)\) vanish identically for \([\tau ]\) in the commutator subgroup \(\Gamma = (\pi _1({\mathcal M}, {\mathbf x}_0))^{'}\). Consequently all monodromy functions of \(\tilde{Z}\) vanish on the image group \(\Gamma ^{\prime } := (\pi ')_{*}(\Gamma )\). Now \((\pi ')_{*}(\pi _1({\mathcal M}, {\mathbf x}_0)) = {\mathsf {H}}_0\), so we conclude$$\begin{aligned}{}[ \pi _1({\mathcal N}, {\mathbf x}'_0), \pi _1({\mathcal N}, {\mathbf x}'_0)] \subset {\mathsf {H}}_1 \subset {\mathsf {H}}_0. \end{aligned}$$(3.49)which is (3.40). We next observe that \({\mathsf {H}}_0\) is a normal subgroup of \(\pi _1({\mathcal N}, {\mathbf x}'_0)\) because we have the inclusion of the commutator subgroup$$\begin{aligned} \Gamma ^{\prime } = (\pi ')_{*}(\Gamma )= [ {\mathsf {H}}_0, {\mathsf {H}}_0], \end{aligned}$$(3.50)It follows that \(\Gamma ^{\prime }=[{\mathsf {H}}_0,{\mathsf {H}}_0]\) is a normal subgroup of \( \pi _1({\mathcal N}, {\mathbf x}'_0)\) because it is a characteristic subgroup of the normal subgroup \({\mathsf {H}}_0\) of the group (cf. Robinson [18, 1.5.6(3)]). In addition, the inclusion \((\pi _1({\mathcal N}, {\mathbf x}'_0))^{'} \subset {\mathsf {H}}_1\) implies that$$\begin{aligned} (\pi _1({\mathcal N}, {\mathbf x}'_0))^{'} \subset {\mathsf {H}}_1 \subset {\mathsf {H}}_0. \end{aligned}$$It follows that \(\pi _1({\mathcal N}, {\mathbf x}'_0)/ \Gamma '\) is solvable in two steps, with \( \Gamma ^{\prime } \lhd {\mathsf {H}}_1 \lhd \pi _1({\mathcal N}, {\mathbf x}'_0)\). \(\square \)$$\begin{aligned} (\pi _1({\mathcal N}, {\mathbf x}'_0))^{'' } \subset [{\mathsf {H}}_1, {\mathsf {H}}_1] \subset [{\mathsf {H}}_0, {\mathsf {H}}_0] = \Gamma ^{\prime }. \end{aligned}$$(3.51)
3.5 Extended analytic continuation
We now obtain the extended analytic continuation of the Lerch transcendent, to \({\mathcal N}^{\#}\), the manifold obtained from \({\mathcal N}\) by gluing in the regions \({{\mathcal V}} (c= n) :=\{ (a, c) : a \in {\mathbb C}, c = n\}\) for \(c=n \in {\mathbb Z}_{\ge 1}\).
Theorem 3.6
Proof
The fact that the possible singularities at \(c=n\) are removable follows almost immediately from the corresponding result in Part II [47, Theorem 2.3]. It remains only to check that the additional monodromy functions in Theorems 3.4 and 3.5 remain holomorphic at points (s, a, c) with \(c= n \ge 1\), in \(\tilde{{\mathcal N}}^{\#}\). This is apparent from their form given in Theorem 3.4, i.e. the only locations where they are possibly not holomorphic are points (s, z, c ) with \(z= 0, 1\) or \(c \in {\mathbb Z}_{\le 0}\).
The manifold \(\tilde{{\mathcal N}}^{\#}\) has a smaller fundamental group than \({\mathcal N}\), which is obtained as a quotient of \(\pi _1({\mathcal N}, {\mathbf x}'_0)\) by setting all generators \(\{ [Y_n]: n \ge 1\}\) equal to the identity. However the vanishing of all relevant monodromy for \(M_{[Y_n]}(f)\) for \(n \ge 1\), for \(f= \tilde{Z}\) or \(f= M_{[\tau ]}(\tilde{Z})\) a monodromy function, allows the conclusion that all monodromy functions vanish identically for \([\tau ]\) in the second commutator subgroup \((\pi _1( {\mathcal N}^{\#}, {\mathbf x}'_0))'' \). This follows from the corresponding assertion of Theorem 3.5 for \((\pi _1({\mathcal N}, {\mathbf x}'_0))'' \). \(\square \)
Remark 3.7
4 Differential-difference operators and monodromy functions
Theorem 4.1
- (1)The analytic continuation \(\tilde{Z}(s, z, c, [\gamma ])\) of the Lerch transcendent \(\Phi (s, z, c)\) on the universal cover \(\tilde{{\mathcal N}}\) satisfies the two differential-difference equationsand$$\begin{aligned} \left( z \frac{\partial }{\partial z} + c\right) \tilde{Z}(s, z, c, [\gamma ]) = \tilde{Z}(s-1, z, c, [\gamma _{-}]), \end{aligned}$$(4.7)in which \([\gamma _{+ }] \) and \([\gamma _{-}]\) denote paths in \(\tilde{{\mathcal N}}\) which first traverse \(\gamma \) and then traverse a path from the endpoint of \(\gamma \) that changes the s-variable only, moving from s to \(s \pm 1\), respectively.$$\begin{aligned} \frac{\partial }{\partial c} \tilde{Z}(s, z, c, [\gamma ]) = -s \tilde{Z}(s+1, z, c, [\gamma _{+}]), \end{aligned}$$(4.8)
- (2)The analytic continuation \(\tilde{Z}(s, z, c, [\gamma ])\) on \(\tilde{{\mathcal N}}\) satisfies the linear partial differential equationwhere \(\mathsf {D}_{\Phi } = z \frac{\partial }{\partial z} \frac{\partial }{\partial c} + c \frac{\partial }{\partial c}\),$$\begin{aligned} \mathsf {D}_{\Phi } (\tilde{Z})(s,z,c,[\gamma ] ) = -s \tilde{Z}(s, z, c, [\gamma ] ) ~, \end{aligned}$$(4.9)
- (3)
For each \([\tau ] \in \pi _1 ( {\mathcal N}, {\mathbf x}'_0 )\), the Lerch transcendent monodromy function \(M_{[\tau ]} ( \tilde{Z})(s, z, c, [\gamma ])\) satisfies on \(\tilde{{\mathcal N}}\) the two differential-difference equations and the linear differential equation above.
Proof
(3) The monodromy functions satisfy the same differential-difference equations and differential equation because the differential operators \(z\frac{\partial }{\partial z}\) and \(\frac{\partial }{\partial c}\) are equivariant with respect to the covering map from \(\tilde{{\mathcal N}}\) to \({\mathcal N}\). \(\square \)
We now study the restricted Lerch transcendent monodromy functions \(M_{[\tau ']}^s ( \tilde{Z})\) obtained by holding the variable s fixed, in a fashion analogous to §7 of part II.
Definition 4.2
These vector spaces have the following properties:
Theorem 4.3
- (i)(Generic Case) If \(s \not \in {\mathbb Z}\), then \({\mathcal W}_s\) is an infinite-dimensional vector space and has as a basis the set of functions$$\begin{aligned} \{ M_{[Z_0]^{k} [Z_1] [Z_0]^{-k}}^s (\tilde{Z}) : k \in {\mathbb Z}\} \cup \{ M_{[Y_n]}^s ( \tilde{Z}) : n \in {\mathbb Z}\} \cup \{ \tilde{Z}^s\} ~. \end{aligned}$$(4.14)
- (ii)(Positive Integer Case) If \(s = m \in {\mathbb Z}_{> 0}\), then \({\mathcal W}_m\) is an infinite-dimensional vector space and has as a basis the set of functions$$\begin{aligned} \{ M_{[Z_0]^{k} [Z_1 ] [Z_0]^{-k}}^m ( \tilde{Z}) : k \in {\mathbb Z}\} \cup \{ \tilde{Z}^m\}~. \end{aligned}$$(4.15)
- (iii)(Nonpositive Integer Case) If \(s = -m \in {\mathbb Z}_{\le 0}\), then all Lerch transcendent monodromy functions vanish identically, i.e.Thus \({\mathcal W}_{-m} = {\mathbb C}[ \tilde{Z}^{-m}]\) is a one-dimensional vector space.$$\begin{aligned} M_{[\tau ]}^{-m} ( \tilde{Z}) =0 \quad \text{ for } \text{ all }\, [\tau ] \in \pi _1 ( {\mathcal N}, {\mathbf x}'_0 ) ~. \end{aligned}$$(4.16)
Proof
We establish these cases in reverse order:
(iii) Theorem 3.4 shows that for \(s = -m \in {\mathbb Z}_{\le 0}\) the monodromy functions of all generators \([S] \in {\mathcal G}'\) and their inverses vanish identically. In the case of \(M_{[Z_1]}^{-m} ( \tilde{Z})\) this is because \(\frac{1}{\Gamma (-m)} =0\). This carries over to all \([\tau ' ] \in \pi _1 ( {\mathcal N}, {\mathbf x}'_0)\) by induction in the length of a word expressing \([\tau ' ]\) in terms of the generators. Only the original function \(\tilde{Z}\) remains.
(i) The proof in the generic case parallels that of Theorem 7.1 of part II ([48]). It also makes use of the independence formula (3.38) of Theorem 3.5. \(\square \)
Remark 4.4
- (i)
The values of the periodic zeta function \(F(a, s) = \sum _{n=1}^{\infty } \frac{e^{2\pi i na}}{n^s}\) at negative integers \(s= -m \le 0\), corresponding to a singular strata degenerations of the Lerch transcendent, are recoverable as limits of non-singular Lerch transcendent values in this paper.
- (ii)
The classical p-adic L-functions can be constructed by p-adic interpolation starting from values of \(F(a, -m)\).
Remark 4.5
Theorem 4.3 treats the monodromy functions as multivalued functions of two variables (z, c). If the variable c is also fixed, so that the monodomy functions depend on only the variable z, then in Sect. 8 we show that the monodromy vector spaces become finite-dimensional when \(s=m \in {\mathbb Z}_{>0}\) is a positive integer, see Theorem 8.1.
5 Specialization of Lerch transcendent: s a non-positive integer
In this and the next section we specialize \(s=-m \) (\(m \ge 0\)) to be a nonpositive integer. In Theorem 2.4 (3) we observed that the values \(s=-m\) are distinguished by the fact that all monodromy functions vanish identically as functions of (z, c). At these values of s a great simplification occurs and the resulting two-variable functions are rational functions of (z, c). These rational functions of two variables were determined by Apostol [2, Section 3] in 1951. They were later studied by Kanemitsu, Katsurada, and Yoshimoto [38, Sect. 4], who obtained various formulas for them, cf. their Theorem 6.
In this section we determine recursions for these rational functions and deduce various symmetry properties they exhibit (Theorem 5.3) . We begin with the following expression for c-deformed negative polylogarithms \(Li_{-m}(z,c)\):
Theorem 5.1
Proof
Values of \(r_m (z)\)
m | \(\varvec{r}_{\varvec{m}} \varvec{(z)}\) |
---|---|
1 | z |
2 | \(z^{2} + z\) |
3 | \(z^{3} + 4z^{2} + z\) |
4 | \(z^{4} + 11z^{3} + 11z^{2} +z\) |
5 | \(z^{5} + 26z^{4} + 66z^{3} + 26 z^{2} + z\) |
To evaluate the rational functions \(q_m(z)\) we use the following result, which is due to Apostol [2, (3.1)].
Lemma 5.2
Proof
We now establish various properties of the rational functions \(q_m (z)\) appearing in these special values.
Theorem 5.3
- (i)(Laurent expansion). The Laurent expansion \(q_m (z) = \sum _{k=0}^{m+1} \frac{a_{m,k}}{(1-z)^k}\) around \(z=1\) is given byin which \(a_{m, 0} = 0\) for \(m \ge 0\), and for \(1 \le k \le m+1\) we have$$\begin{aligned} r_m (z) = \sum _{k=0}^{m+1} a_{m,k}(1-z)^{m+1-k} ~, \end{aligned}$$(5.9)$$\begin{aligned} a_{m,k} = (-1)^m \sum _{l=0}^{k-1} (-1)^l {\left( {\begin{array}{c}k-1\\ l\end{array}}\right) } (l+1)^m ~. \end{aligned}$$(5.10)
- (ii)(Reflection symmetry). For \(m \ge 1\),$$\begin{aligned} z^{m+ 1} r_m \left( \frac{1}{z} \right) = r_m (z) ~. \end{aligned}$$(5.11)
- (iii)(Recursion). The polynomials \(r_m(z)\) satisfy$$\begin{aligned} r_m (z) = z \sum _{j=1}^m {\left( {\begin{array}{c}m\\ j\end{array}}\right) } r_{m-j} (z) (1-z)^{j-1} ~. \end{aligned}$$(5.12)
Proof
- (i)Theorem 5.1 implies that the rational function \(q_m(z)\) has the form \(\sum _{k = 0}^{m+1} \frac{a_{m,k}}{(1 - z)^k}\). Substituting this expression for \(q_m(z)\) into the left-hand side of (5.14) and interchanging the order of summation over m and k yieldsWe express the right-hand side of (5.14) also as an infinite series in powers of \(\frac{1}{1-z}\) and u, valid for \(|1 - e^{-u}| < |1 - z|\):$$\begin{aligned} \sum _{m=0}^{\infty } q_m(z)\frac{u^m}{m!} = \sum _{m=0}^{\infty }\sum _{k = 0}^{m+1} \frac{a_{m,k}}{(1 - z)^k}\frac{u^m}{m!} = \sum _{k=1}^{\infty } \frac{1}{(1-z)^k} \left( \sum _{m=k-1}^{\infty } a_{m,k}\frac{u^m}{m!}\right) .\nonumber \\ \end{aligned}$$(5.15)Comparing the coefficients of \(\frac{1}{(1-z)^k}\frac{u^m}{m!}\) in (5.15) and (5.16) gives the expression for \(a_{m,k}\).$$\begin{aligned} \frac{1}{1 - ze^u}= & {} \frac{e^{-u}}{e^{-u} - z} = \frac{e^{-u}}{(1-z) - (1 - e^{-u})} = \frac{1}{1-z}\cdot \frac{e^{-u}}{1 - \frac{1-e^{-u}}{1-z}} \nonumber \\= & {} \frac{1}{1-z}\cdot e^{-u} \sum _{l =0}^{\infty }\Big (\frac{1-e^{-u}}{1-z}\Big )^l = \sum _{k=1}^{\infty } \frac{1}{(1-z)^k}\cdot e^{-u}(1 - e^{-u})^{k-1} \nonumber \\= & {} \sum _{k=1}^{\infty } \frac{1}{(1-z)^k} \left( \sum _{l=0}^{k-1}(-1)^l{\left( {\begin{array}{c}k-1\\ l\end{array}}\right) }e^{-(l+1)u}\right) \nonumber \\= & {} \sum _{k=1}^{\infty } \frac{1}{(1-z)^k} \left( \sum _{l=0}^{k-1}(-1)^l{\left( {\begin{array}{c}k-1\\ l\end{array}}\right) }\left( \sum _{m=0}^{\infty }(-1)^m(l+1)^m\frac{u^m}{m!}\right) \right) .\nonumber \\ \end{aligned}$$(5.16)
- (ii)The proof of this identity also uses (5.14). More precisely, replacing z by \( \frac{1}{z}\) in (5.14), we obtainThis gives the relation$$\begin{aligned} \sum _{m = 0}^{\infty } q_m(\frac{1}{z}) \frac{u^m}{m!} = \frac{1}{1 - \frac{1}{z}e^u} = \frac{z e^{-u}}{ze^{-u} - 1} = 1 - \frac{1}{1 - ze^{-u}} = 1 - \sum _{m = 0}^{\infty } q_m(z) \frac{(-u)^m}{m!}. \end{aligned}$$Since$$\begin{aligned} q_m(\frac{1}{z}) = (-1)^{m+1}q_m(z) \quad \mathrm{for} \, m \ge 1. \end{aligned}$$the above identity can be rewritten as$$\begin{aligned} q_m(z) = \frac{r_m(z)}{(1-z)^{m+1}}~, \end{aligned}$$which proves (ii).$$\begin{aligned} \frac{z^{m+1} r_m(\frac{1}{z})}{(z-1)^{m+1}} = \frac{r_m(\frac{1}{z})}{(1 - \frac{1}{z})^{m+1}} = (-1)^{m+1}\frac{r_m(z)}{(1-z)^{m+1}}~, \end{aligned}$$
- (iii)Dividing both sides of (5.12) by \((1-z)^{m+1}\), we convert (5.12) to an equivalent formWhen \(m = 1\), the right-hand side is \(\frac{z}{1-z} q_0(z) = \frac{z}{(1-z)^2} = q_1(z)\). We shall prove (5.17) by induction on m. Assume it holds for some \(m \ge 1\). Rewrite the identity in this case as$$\begin{aligned} q_m(z) = \frac{z}{1-z} \sum _{j = 1}^m {\left( {\begin{array}{c}m\\ j\end{array}}\right) } q_{m-j}(z) \quad \mathrm{for} \quad m \ge 1. \end{aligned}$$(5.17)Differentiating both sides of (5.18) and using the identity (5.4) that \(q_{n+1}(z)= z \frac{\partial }{\partial z}( q_n(z))\) for \(n \ge 0\), we arrive at$$\begin{aligned} (1-z) q_m(z) = z \sum _{j = 1}^m {\left( {\begin{array}{c}m\\ j\end{array}}\right) } q_{m-j}(z). \end{aligned}$$(5.18)In other words,$$\begin{aligned} - q_m(z) + (1-z)\frac{\partial }{\partial z}( q_m(z))= & {} \sum _{j = 1}^m {\left( {\begin{array}{c}m\\ j\end{array}}\right) } q_{m-j}(z) + z\sum _{j = 1}^m {\left( {\begin{array}{c}m\\ j\end{array}}\right) } \frac{\partial }{\partial z} q_{m-j}(z) \\= & {} \sum _{j = 1}^m {\left( {\begin{array}{c}m\\ j\end{array}}\right) } q_{m-j}(z) + \sum _{j = 1}^m {\left( {\begin{array}{c}m\\ j\end{array}}\right) } q_{m-j+1}(z)\\= & {} q_0(z) + \sum _{j = 2}^m {\left( {\begin{array}{c}m+1\\ j\end{array}}\right) } q_{m-j+1}(z) + m q_m(z). \end{aligned}$$Therefore,$$\begin{aligned} (1-z) \frac{\partial }{\partial z}( q_m(z)) = \sum _{j = 1 }^{m+1} {\left( {\begin{array}{c}m+1\\ j\end{array}}\right) } q_{m+1-j}(z). \end{aligned}$$as desired. \(\square \)$$\begin{aligned} q_{m+1}(z) = z \frac{\partial }{\partial z}(q_m(z))= \frac{z}{1-z}\sum _{j =1 }^{m+1} {\left( {\begin{array}{c}m+1\\ j\end{array}}\right) }, \end{aligned}$$
6 Double specialization: periodic zeta function
We now consider the double specialization of the Lerch transcendent setting \(s=-m\) a non-positive integer and setting \(c=0\). The importance of these “special values” \(s= -m\) of the s-parameter is that values of zeta and L-functions at these points have arithmetic significance; they encode information about the arithmetic structure of number fields. We have the problem that the c-parameter value \(c=0\) lies on the singular stratum outside the analytic continuation of \(\Phi (s, z, c)\) given in Sect. 3. Our object is to show that sufficiently many of these “special values” can be recovered by a limiting process from “regular stratum” values of the Lerch transcendent so as to carry out the number-theoretic construction of p-adic L-functions. We shall take a limit as \(c \rightarrow 0\), and to do this we set \(z =e^{2 \pi i a}\) and will also suppose that \(0 < \mathfrak {R}(a) < 1, \) so that \(z \in {\mathbb C}{\setminus } {\mathbb R}_{>0}\).
The arithmetic information in the “special values” \(L(-m, \chi )\) include p-adic regularities captured by interpolating these values p-adically to obtain p-adic L-functions. Two different interpolation methods to construct p-adic L-functions are known. A original construction of Kubota and Leopoldt [43] in 1964 used interpolation of Hurwitz zeta function values; it is presented in Washington [73, Sect. 5.2,Theorem 5.11]. A second approach was given in 1977 by Morita [56]. which uses interpolation of periodic zeta function values, at the points (z, a) with \(a= \frac{j}{p^k}\) having \(0 < j < p^k\) and with \(z= e^{\frac{2 \pi i j}{p^k}}\). More information on the periodic zeta function approach to p-adic L-functions is given in Amice and Fresnel [1] and Naito [59].
Theorem 6.1
- (1)For \(z \in {\mathbb P}^1({\mathbb C}) {\setminus } \{0, 1, \infty \}\) and \(-m \in {\mathbb Z}_{\le 0}\) there holdswhere the limit is taken through values of c in \(0< \mathfrak {R}(c)<1\).$$\begin{aligned} Li_{-m} (z, 0) = \lim _{c \rightarrow 0^{+}} Li_{-m}(z, c) = \lim _{c \rightarrow 0^{+}} z \Phi (-m, z, c), \end{aligned}$$(6.1)
- (2)For \(0 < \mathfrak {R}(a) < 1\) the periodic zeta function \(F(a,s) = \sum _{n=1}^\infty \frac{e^{2 \pi ina}}{n^s}\) analytically continues to an entire function of s. In particular, for \(s= -m \in {\mathbb Z}_{\le 0}\) there holds$$\begin{aligned} F(a, -m) = e^{-2 \pi i a} Li_{-m}(e^{2 \pi i a}, 0)= q_m(e^{2 \pi i a}), \end{aligned}$$(6.2)
Proof
- (1)By Theorem 5.1 \(Li_{-m}(z, c)\) is a rational function of (z, c), giving the left equality inwhere the limit is taken over values in \(0<\mathfrak {R}(c)< 1\). Now the equality \(Li_{-m}(z, c) = z\Phi (-m, z, c)\) (which holds by analytic continuation) gives the result (6.1).$$\begin{aligned} Li_{-m}(z, 0) = \lim _{c \rightarrow 0^{+} }Li_{-m}(z, c), \end{aligned}$$(6.3)
- (2)The analytic continuation of F(a, s) to an entire function of s for \(0 < \mathfrak {R}(a) < 1\) follows directly from the integral representationsince \(e^{2\pi i a}\) stays off the nonnegative real axis.$$\begin{aligned} F(a,s) = \frac{1}{\Gamma (s)} \int _{0}^{\infty } \frac{1}{1- e^{2\pi i a} e^{-t}} t^{s-1} \mathrm{d}t, \end{aligned}$$
Remark 6.2
The Kubota-Leopoldt [43] construction of p-adic L-functions in 1964 used interpolation of special values of the Hurwitz zeta function. However, it is not possible to obtain Hurwitz zeta function special values directly by a limiting process involving the Lerch transcendent. Theorem 2.3 of Part I shows that the Hurwitz zeta function values \(\zeta (s, c)\) at negative integers \(s=-m\) cannot be obtained as a limit of values \(\Phi (s, z, c)\), as the parameter \(a =\frac{1}{2\pi i } log z\) has \(a \rightarrow 0\) (resp. \(a \rightarrow 1\)). Under a variable change this limit corresponds to taking \(z \rightarrow 1\), which is a singular stratum value. As indicated by Theorem 6.1 above we can indirectly access Hurwitz zeta function values by expressing them as a linear combination of periodic zeta function values, see Apostol [3, Theorem 12.6]. The periodic zeta function values are obtainable as limiting values using Theorem 6.1.
7 Specialization of Lerch transcendent: s a positive integer
Theorem 7.1
(c-Deformed Polylogarithm Analytic Continuation) For each integer \(m \ge 1\) the function \(Li_m(z,c)\) has a meromorphic continuation in two variables (z, c) to the universal cover \(\tilde{{\mathbb C}}_{0, 1,\infty } \times {\mathbb C}\) of \(~({\mathbb P}^1 ({\mathbb C}) {\setminus } \{0,1,\infty \} ) \times {\mathbb C}\). For fixed \(\tilde{z} \in \tilde{{\mathbb C}}_{01\infty }\), this function is meromorphic as a function of \(c \in {\mathbb C}\), with its singularities consisting of poles of exact order m at each of the points \(c \in {\mathbb Z}_{\le 0}.\)
Proof
8 Double specialization: Deformed polylogarithm
Theorem 8.1
- (1)The function \( F(z)= Li_{m,c}(z)\) satisfies the ordinary differential equationwhere \(D_{m+1}^c \in {\mathbb C}[z, \frac{d}{\mathrm{d}z}]\) is the linear ordinary differerential operator$$\begin{aligned} D_{m+1}^c F(z) =0, \end{aligned}$$(8.2)of order \(m+1\).$$\begin{aligned} D_{m+1}^c := z^2 \frac{d}{\mathrm{d}z} \left( \frac{1-z}{z} \right) \left( z \frac{d}{\mathrm{d}z} + c-1\right) ^m \end{aligned}$$(8.3)
- (2)
The operator \(D_{m+1}^c\) has singular points contained in the set \(\{0, 1, \infty \}\) on the Riemann sphere in z, all of which are regular singular points. In particular, this equation is a Fuchsian operator for all \(c \in {\mathbb C}\).
- (3)A basis of solutions of \(D_{m+1}^c\) for \(c \in {\mathbb C}{\setminus } {\mathbb Z}_{\le 0}\) is, for \(z \in {\mathbb C}{\setminus } \{ (-\infty , 0] \cup [1, \infty ) \}\), given by(For \(c \in {\mathbb Z}_{\le 0}\) the function \(Li_{k,c}(z)\) is not well-defined.)$$\begin{aligned} {\mathcal B}_{m+1,c} := \{ Li_{m,c}(z), z^{1-c}(\log z)^{m-1}, z^{1-c}(\log z)^{m-2}, \ldots , z^{1-c} \}. \end{aligned}$$(8.4)
- (4)A basis of solutions of \(D_{m+1}^c\) for \(c= -k \in {\mathbb Z}_{\le 0}\) is, for \(z \in {\mathbb C}{\setminus } \{ (-\infty , 0] \cup [1, \infty ) \}\), given byin which$$\begin{aligned} {\mathcal B}_{m+1,c}^{*} := \{ Li_{m,-k}^{*}(z), z^{1-c}(\log z)^{m-1}, z^{1-c}(\log z)^{m-2}, \ldots , z^{1-c} \}, \end{aligned}$$(8.5)$$\begin{aligned} Li_{m,-k}^{*}(z) := \sum _{\begin{array}{c} {n=0}\\ {n \ne k} \end{array}}^{\infty } \frac{z^{n+1}}{(n-k)^m} + \frac{1}{m!} z^{k+1}(\log z)^m. \end{aligned}$$(8.6)
To prove this result, we use a preliminary lemma, concerning the form of the equation.
Lemma 8.2
Proof
Proof of Theorem 8.1
- (1)The factor of \(z^2\) at the front of the differential operator \(D_{m+1}^c\) is included so that it will have polynomial coefficients and belong to the Weyl algebra \({\mathbb C}[z, \frac{d}{\mathrm{d}z}]\), as shown in Lemma 8.2. We check, for \(m \ge 1\),where$$\begin{aligned} \left( z \frac{d}{\mathrm{d}z} + c-1\right) Li_{m, c}(z) = Li_{m-1, c}(z), \end{aligned}$$is independent of c. This implies \(D_{m+1}^c Li_{m,c}(z) =0\).$$\begin{aligned} Li_{0}(c, z) = \sum _{n=1}^{\infty } z^n = \frac{z}{1-z} \end{aligned}$$
- (2)Using Lemma 8.2 we haveWe now apply standard criteria for identifying singular points and determining if they are regular, given in Coddington and Levinson [14, Chap.4,Theorems5.1,6.1,6.2]. The finite singular points can only be at poles of the coefficients \(c_k(z)\) of \(\frac{1}{(1-z)z^{m+1}} D_{m+1}^c = \sum _{k=0}^{m+1} c_k(z) \frac{d^k}{\mathrm{d}z^k}\), which can occur only at \(z=0, 1\). The condition for a singular point of first kind (which implies regular singular point) at \(z_0 \in {\mathbb C}\) is that, for \(0 \le j \le m+1\), the order of the pole at \(z_0\) of the coefficient \(c_k(z)\) is at most \(m+1-k\). Now (8.12) shows that this condition holds at \(z=0,1\). The necessary and sufficient condition for at most a regular singular point at \(z= \infty \) is that, for \(0 \le k \le m+1\), each \(c_k(z)\) has a zero of order at least \(m+1-k\) at \(z=\infty \). This clearly holds in (8.12) as well. Thus the singular points are always a subset of \(\{0,1, \infty \}\) and each point is either nonsingular or else a regular singular point is regular, for all \(c \in {\mathbb C}.\) Thus the differential operator is Fuchsian for all \(c \in {\mathbb C}\). (In fact \(z=1\) is not a singular point for \(m=0\) and all \(c \in {\mathbb C}\), but when \(m \ge 1\) all three points \(0, 1, \infty \) are genuine singularities for all values of c.)$$\begin{aligned} \frac{1}{(1-z)z^{m+1}} D_{m+1}^c= & {} \frac{d^{m+1}}{\mathrm{d}z^{m+1}} + \sum _{k=0}^m \frac{a_{m+1, k}^c(z)}{(1-z)z^{m+1}} \frac{d^k}{\mathrm{d}z^k} \nonumber \\= & {} \frac{d^{m+1}}{\mathrm{d}z^{m+1}} + \sum _{k=0}^m \frac{\alpha _{m+1, k}(c)z + \beta _{m+1, k}(c)}{(1-z)z^{m+1-j}} \frac{d^k}{\mathrm{d}z^k}. \end{aligned}$$(8.12)
- (3)For integer \(k \ge 0\) we haveIt follows that \(\{ z^{1-c} (\log z)^j : 0 \le j \le m-1\}\) are annihilated by \(\left( z \frac{d}{\mathrm{d}z} + c-1\right) ^m\) hence by \(D_{m+1}^c\). This shows that the \(m+1\) functions listed above in \({\mathcal B}_{m+1,c}\) are all in the solution space of \(D_{m+1}^c\). It remains to check that they are linearly independent over \({\mathbb C}\). The functions \(z^{1-c}(\log z)^k\) are well-defined solutions for all \(c \in {\mathbb C}\), they are linearly independent from powers of the logarithm, and none of them have a singularity at \(z=1\). For \(c \in {\mathbb C}{\setminus } {\mathbb Z}_{\le 0}\) the function \(Li_{m,c}(z)\) is a well-defined solution, and it does have a singularity there since it diverges approaching this point along the real axis \(z \rightarrow 1^{+}\). We conclude that these \(m+1\) functions are a basis of solutions of the differential equation (8.2).$$\begin{aligned} \left( z \frac{d}{\mathrm{d}z} + c- 1\right) z^{1-c} (\log z)^k = k z^{1-c} (\log z)^{k-1} . \end{aligned}$$
- (4)The values \(c =-k \in {\mathbb Z}_{\le 0}\) are singular strata values of the three-variable analytic continuation. To see that \(D_{m+1}^c\left( Li_{m, -k}^{*}(z)\right) =0\), observe thatwhile$$\begin{aligned} \left( z \frac{d}{\mathrm{d}z} -k-1\right) ^m \left( \sum _{\begin{array}{c} {n=0}\\ {n \ne k} \end{array}}^{\infty } \frac{z^{n+1}}{(n-k)^m}\right) = \sum _{\begin{array}{c} {n=1}\\ {n \ne k+1} \end{array}}^\infty z^n, \end{aligned}$$Combining these results gives$$\begin{aligned} \left( z \frac{d}{\mathrm{d}z} -k-1\right) ^m \left( z^{k+1} (\log z)^m \right) = m! z^{k+1} \end{aligned}$$which gives the result. Linear independence over \({\mathbb C}\) is verified as in (3). \(\square \)$$\begin{aligned} \left( z \frac{d}{\mathrm{d}z} -k-1\right) ^m Li_{m, -k}^{*}(z) = \sum _{n=1}^{\infty } z^n = \frac{z}{1-z}, \end{aligned}$$
Definition 8.3
We may alternatively view \({\mathcal W}_{m+1, c}\) as a \((m+1)\)-dimensional vector bundle over the manifold \({\mathcal X}:= {\mathbb P}^{1}({\mathbb C}) {\setminus } \{ 0, 1, \infty \}.\)
Theorem 8.4
Proof
Now we treat the “singular” case \(c \in {\mathbb Z}_{\le 0}\) and determine that the monodromy representation jumps discontinuously between the “nonsingular” and “singular” cases.
Theorem 8.5
Proof
Remark 8.6
There is an interpretation of the polylogarithm as a variation of Hodge structure over \({\mathbb P}^1 ({\mathbb C}) {\setminus } \{0,1, \infty \}\), described in Bloch [11, p. 278]. This property does cannot extend to irrational parameters \(c \not \in {\mathbb Q}\) because the monodromy is then not quasi-unipotent.
Remark 8.7
Remark 8.8
Comparing the formulas of Theorem 8.5 for \(c=1\) with those of D. Ramakrishnan for the monodromy of the polylogarithm, in [67] and [68, Sect. 4.2 and Sect. 7.6], we note some discrepancies. The formulas for \([Z_1]\) given in [68, Sect 4.2] disagree with ours in a sign, and those in [68, Prop. 7.6.7] we believe have a misprint that interchanges \([Z_0]\) and \([Z_1]\). (We think our formulas are correct.)
9 Further directions
- (1)
Can one better understand the nature of the singularities on the singular strata? In particular, the Riemann zeta function is (formally) obtained as a limit function on a doubly specialized singular stratum. Part I showed that there are obstructions to this limiting process: for example, limiting values approaching the singular stratum \(a=1\) in the (a, c)-variables exist only for \(Re(s) >1\). It is an interesting problem to obtain “renormalized” limits on singular strata for other ranges of the s-variable. In part I [44, Sect. 6] the authors gave a way to do this for the Lerch zeta function for one fixed singular stratum, by removing a small number of divergent terms. In this paper in Sect. 6 we showed that one can extract data approaching the singular stratrum at \(c= 0^{+}\) and negative integer s sufficient to reconstruct p-adic L-functions.
- (2)
The Lerch zeta function possesses additional discrete symmetries. One can define an action of a commuting family of (two-variable) “Hecke operators” in the (a, c) variables on the Lerch zeta function (resp. (z, c)-variables for the Lerch transcendent) for which \(\zeta (s, a, c)\) (resp. \(\Phi (s, z, c)\)) is a simultaneous eigenfunction, acting on various function spaces. Part IV ([48]) of this series considers such operators on a function space with real variables. These additional discrete symmetries together with the differential equation (1.12) suggest that there should be an automorphic interpretation of the Lerch zeta function, made in terms of the related functions \(L^{\pm }(s, a, c)\). The first author has found such an interpretation for the real variables form treated in parts I and IV of this series, showing that symmetrized Lerch functions with characters are Eisenstein series on the real Heisenberg group quotiented by the integer Heisenberg group ([45]). It is an open problem to find an automorphic interpretation for the complex-analytic version of the Lerch zeta function (reap. Lerch transcendent) treated in part II and this paper.
- (3)One can ask if results of this paper might be interpretable in the framework of an algebraic D-module over the Weyl algebra \( {\mathbb C}[ c, z, \frac{\partial }{\partial c}, \frac{\partial }{\partial z}]\), which is associated to a parametric family of linear PDE’s \(\Delta _{\Phi } - sI\) withwith s as eigenvalue parameter. Such a reformulation may involve a non-holonomic D-module with an infinite set of singularities.$$\begin{aligned} \Delta _{\Phi } := \frac{1}{2}\Big ({\mathsf {D}}_{\Phi }^{+} {\mathsf {D}}_{\Phi }^{-} + {\mathsf {D}}_{\Phi }^{-}{\mathsf {D}}_{\Phi }^{+}) = z \frac{\partial }{\partial z}\frac{\partial }{\partial c} + c \frac{\partial }{\partial c} +\frac{1}{2}I, \end{aligned}$$
- (4)
What are the properties of the extension of polylogarithms under deformation in the c-variable? As mentioned in Sect. 1.3, one can ask whether functional equations such as the five-term relation for the dilogarithm might survive in some fashion under the c-deformation of the polylogarithm studied in Sect. 8. Specifically, the integer points \(c=m \ge 2\) and \(s=n \ge 1\) have maximally unipotent monodromy with apparent discontinuity in the monodromy matrices. One can ask whether the functions at these special points satisfy interesting identities in parallel fashion to the polylogarithms. The dilogarithm is known to have a single-valued variant, the Rogers dilogarithm, obtained by adding a correction term. One may wonder if there exists analogous single-valued variant of the extended function in the c-variable, or at specific integer points \(c=m \ge 2\).
- (5)
One may investigate generalizations of the Lerch transcendent in the direction of an “elliptic Lerch zeta function”, made in analogy with work of Beilinson [6] and Levin [50]) on the elliptic polylogarithm.
- (6)The partial differential operator \(\Delta _{\Phi }\) in (1.12) in the introduction can be viewed as an unbounded operator acting on functions restricted to the domaininside the Hilbert space \(L^2 \big ( T, \frac{dz}{z} \, dc \big )\). On this Hilbert space \(\Delta _{\Phi }\) can be shown to be formally skew-adjoint and to have the xp-form suggested by Berry and Keating ([8, 9]) as the possible form of a Hilbert-Polya operator encoding the zeta zeros as eigenvalues.$$\begin{aligned} T:= \{ (z, c) \in S^1 \times [0,1]\}, \quad \text{ with } \quad S^1 = \{ |z|=1 \}, \end{aligned}$$
One may search for natural skew-adjoint “boundary conditions” on the operator \(\Delta _{\Phi }\) of \(D_L\) which yield operators having spectra on the line \(\mathfrak {R}(s-\frac{1}{2}) = 0\). One such set of boundary conditions will be presented in [45, Sect. 9]; the spectrum of the resulting operator is purely continuous. It is an open question whether one can formulate natural geometric boundary conditions on \(\Delta _{\Phi }\) that will yield a Hilbert-Polya operator for \(\zeta (s)\).
Under the substitution \(x= e^{2 \pi i a}\) it has also been called the periodic zeta function (Apostol [3, Sec.12.7]).
The base point can be moved to \({\mathbf x}_{s}^{'}= (s, -1, \frac{1}{2})\) since the manifold \({\mathcal N}\) has a product structure splitting off the s-coordinate, in which it is simply-connected.
Declarations
Acknowledgments
The authors thank Dinakar Ramakrishnan for conversations regarding his work on polylogarithms. The first author thanks Peter Scott for discussions and queries on multidimensional covering manifolds. The authors thank the reviewers for helpful comments. This project was initiated while the first author was at AT&T Labs-Research and the second author consulted there; they thank AT&T for support. The first author received support from the Mathematics Research Center at Stanford University in 2009–2010. The second author received support from the National Center for Theoretical Sciences and National Tsing Hua University in Taiwan in 2009–2014. To these institutions the authors express their gratitude. The research of the first author was supported by NSF grants DMS-1101373 and DMS-1401224 and that of the second author by NSF-grant DMS-1101368 and Simons Foundation grant No. 355798.
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Amice, Y., Fresnel, J.: Fonctions zeta \(p\)-adiques des corps de nombres abéliens réels. Acta Arith. 20, 353–384 (1972)MathSciNetMATHGoogle Scholar
- Apostol, T.M.: On the Lerch zeta function. Pacific J. Math. 1, 161–167 (1951)View ArticleMathSciNetMATHGoogle Scholar
- Apostol, T.M.: Introduction to Analytic Number Theory. Springer-Verlag, New York (1976)MATHGoogle Scholar
- Barnes, E.W.: On certain functions defined by Taylor’s series with finite radius of convergence. Proc. Lond. Math. Soc. (Ser. 2) 4, 287–316 (1906)Google Scholar
- Beilinson, A.: Higher regulators and the values of $$L$$ L -functions, (Russian) Current problems in mathematics, vol. 24, pp. 181–238 Itogi Nauki i Tekhiki, Moscow 1984. (English Translation: J. Soviet Math. 30 (1985), 2036–2070.)Google Scholar
- Beilinson, A., Deligne, P.: Interprétation motivique de la conjecture de Zagier reliant polylogarithmes et régulateurs., in: Motives, (Seattle, Wash. 1991), 97–121, Proc. Symp. Pure Math. Vol. 55 , No. 2, American Mathematical Society, Providence (1994)Google Scholar
- Beilinson, A., Levin, A.: The elliptic polylogarithm. In: Motives (Seattle, WA 1991), 123–190, Proc. Symp. Pure Math. 55, Part 2, American Mathematical Society: Providence (1994)Google Scholar
- Berry, M.V., Keating, J.P.: $$H=xp$$ H = x p and the Riemann zeros. In: Lerner, I.V., Keating, J.P., Khmelnitskii, D.E. (eds.) Supersymmetry and Trace Formulae: Chaos and Disorder. NATO ASI Series B: Physics No. B370, pp. 355–367. Kluwer Academic, New York (1999)Google Scholar
- Berry, M.V., Keating, J.P.: The Riemann zeros and eigenvalue asymptotics. SIAM Rev. 41, 236–266 (1999)View ArticleMathSciNetMATHGoogle Scholar
- Besser, A.: Finite and p-adic polylogarithms: Compositio Math. 130(2), 215–223 (2002)Google Scholar
- Bloch, S.: Function theory of polylogarithms. In: Lewin, L. (ed.) Structural Properties of Polylogarithms, pp. 275–286. American Mathematical Society, Providence (1991)View ArticleGoogle Scholar
- Cartier, P.: Fonctions polylogaithmes, nombres polyzetas et groupes pro-unipotents, Séminarire Bourbaki, vol. 2000/2001, Astérisque No. 282 (2002), Exp. No. 885, pp. 137–173Google Scholar
- Chakraborty, K., Kanemitsu, S., Tsukada, H.: Vistas of Special Functions II. World Scientific Publ. Co., Singapore (2010)MATHGoogle Scholar
- Coddington, E.A., Levinson, N.: Theory of Ordinary Differential Equations. McGraw-Hill Book Co., New York (1955)MATHGoogle Scholar
- Coleman, R.F.: Dilogarithms, regulators, and \(p\)-adic \(L\)-functions. Invent. Math. 69, 171–208 (1982)View ArticleMathSciNetMATHGoogle Scholar
- Costin, O., Garoufalidis, S.: Resurgence of the Euler–MacLaurin summation formula. Ann. Inst. Fourier (Grenoble) 58(3), 893–914 (2008)View ArticleMathSciNetMATHGoogle Scholar
- Costin, O., Garoufalidis, S.: Resurgence of the fractional polylogarithms. Math. Res. Lett. 16, 817–826 (2009)View ArticleMathSciNetMATHGoogle Scholar
- Deligne, P.: Le groupe fondamental de la droite projective moins trois points. In: Ihara, Y., Ribet, K., Serre, J.-P. (eds.) Galois Groups over Q, pp. 79–297. New York, Springer-Verlag (1989)View ArticleGoogle Scholar
- Derek, J.S.: Robinson, A Course in the Theory of Groups. Springer-Verlag, New York (1982)Google Scholar
- Dupont, J.L.: The dilogarithm as a characteristic class for flat bundles, Proc. of Northwestern Conference on cohomology of groups (Evanston Ill. 1985), J. Pure Appl. Alg. 44(1-3), 137–164 (1987)Google Scholar
- Erdélyi, A., Magnus, W., Oberhettinger, F., Tricomi, F.: Higher transcendental functions. Based in part on notes left by Harry Bateman, vol. I. McGraw-Hill, New York (1953)Google Scholar
- Euler, L.: De summatione serierum in hac forma contentarum $$\frac{a}{1} + \frac{a^2}{4} + \frac{a^3}{9} + \frac{a^4}{16} + \frac{a^5}{25} + \frac{a^6}{36}+$$ a 1 + a 2 4 + a 3 9 + a 4 16 + a 5 25 + a 6 36 + etc., Memoires de l’acadmie des sciences de St.-Petersbourg 3, 26–42 (1811). (Opera Omnia, Series 1, Vol. 16, pp. 117–138) [Enëstrom Catalogue: E736]Google Scholar
- Faddeev, L.D., Kashaev, R.M.: Quantum dilogarithm. Mod. Phys. Lett. A 9(5), 427–434 (1994)View ArticleMathSciNetMATHGoogle Scholar
- Furusho, H.: \(p\)-adic multiple zeta values I. p-adic multiple polylogarithms and the p-adic KZ equation. Invent. Math. 155, 253–286 (2004)View ArticleMathSciNetMATHGoogle Scholar
- Furusho, H.: \(p\)-adic multiple zeta values II. Tannakian interpretations. Am. J. Math. 129(4), 1105–1144 (2007)View ArticleMathSciNetMATHGoogle Scholar
- Garunkštis, R., Laurenčikas, A.: On one Hilbert’s problem for the Lerch zeta function. Publ. Inst. Math. (Beograd) 65(79), 63–68 (1999)MathSciNetGoogle Scholar
- Gel’fand, I.M., MacPherson, R.D.: Geometry in Grassmannians and a generalization of the dilogarithm. Adv. Math. 44(3), 279–312 (1982)View ArticleMathSciNetGoogle Scholar
- Goncharov, A.B.: Polylogarithms and motivic Galois groups. In: Motives (Seattle, WA 1991), 43–96, Proc. Symp. Pure Math. 55, Part 2, American Mathematical Society, Providence (1994)Google Scholar
- Goncharov, A.B.: Geometry of configurations, polylogarithms and motivic cohomology. Adv. Math. 114, 197–318 (1995)View ArticleMathSciNetMATHGoogle Scholar
- Guillera, J., Sondow, J.: Double integrals and infinite products for some classical constants via analytic continuations of Lerch’s transcendent. Ramanujan J. 16, 247–270 (2008)View ArticleMathSciNetMATHGoogle Scholar
- Hain, R.: Classical polylogarithms. In: Motives (Seattle, WA 1991). 3–42, Proc. Symp. Pure Math. 55, Part 2, AMS, Providence (1994)Google Scholar
- Hain, R., MacPherson, R.: Higher logarithms. Ill. J. Math. 34(2), 392–475 (1990)MathSciNetMATHGoogle Scholar
- Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2001)Google Scholar
- Hilbert, D.: Mathematische Probleme, Göttinger Nachrichten (1900) 253–297. Reprinted in: Archiv der Mathematik und Physik, 3rd Ser. 1, 44–63 and 213–237 (1901). [English translation: Mathematical Problems, Bull. Amer. Math. Soc. 8 (1902) 437–479. Reprinted in: Mathematical Developments Arising From Hilbert Problems, Proc. Symp. Pure Math. Volume 28, AMS: Providence 1976, pp. 1-34.]Google Scholar
- Huber, A. , Wildeshaus, J.: Classical motivic polylogarithm according to Beilinson and Deligne, Doc. Math. 3, 27–133 (1998). [Correction: 3 (1998), 197–199]Google Scholar
- Jonquière, A.: Note sur la série \(\sum _{n=1}^{\infty } \frac{x^n}{n^s}\). Bull. Soc. Math. France 17, 142–152 (1889)MathSciNetMATHGoogle Scholar
- Joyner, S.E.: On an extension of the universal monodromy representation for $${P}^1 \ \{ 0, 1, \infty \}$$ P 1 { 0 , 1 , ∞ } , Comm. Number Theory Phys. 8(3), 369–402 (2014)Google Scholar
- Kanemitsu, S., Katsurada, M., Yoshimoto, M.: On the Hurwitz—Lerch zeta-function. Aequ. Math. 59, 1–19 (2000)View ArticleMathSciNetMATHGoogle Scholar
- Kanemitsu, S., Tsukada, H.: Vistas of Special Functions. World Scientific, Singapore (2007)View ArticleMATHGoogle Scholar
- Kashaev, R.M., Nakanishi, T.: Classical and quantum dilogarithm identities. SIGMA 7(102), 29 (2011)MathSciNetGoogle Scholar
- Kirillov, A.N.: Dilogarithm identities, partitions, and spectra in conformal field theory, Algebra i Analiz 6(2), 152–175 (1994), translation: St. Petersburg Math. J. 6 (1995), no. 2, 327–348Google Scholar
- Kirillov, A.N.: Dilogarithm identities. In: Quantum field theory, integrable models and beyond (Kyoto 1994), Prog. Theor. Phys. Suppl. No. 118, pp. 61–142 (1995)Google Scholar
- Kubota, T., Leopoldt, H.W.: Eine p-adische Theorie der Zetawerte I. J. Reine Angew. 214(215), 328–339 (1964)MathSciNetGoogle Scholar
- Lagarias, J.C.: Euler’s constant: Euler’s work and modern developments. Bull. Amer. Math. Soc. N. S. 50(4), 527–628 (2013)View ArticleMathSciNetMATHGoogle Scholar
- Lagarias, J.C.: The Lerch zeta function and the Heisenberg group, eprint: arXiv:1511.08157
- Lagarias, J.C., Li, W.-C.W.: The Lerch zeta function I. Zeta integrals. Forum Math. 24, 1–48 (2012)View ArticleMathSciNetMATHGoogle Scholar
- Lagarias, J.C., Li, W-C.W.: The Lerch zeta function II. Analytic continuation, Forum Math. 24, 49–84 (2012)Google Scholar
- Lagarias, J.C., Li, W-C.W.: The Lerch zeta function IV. Hecke operators, eprint: arxiv:1511.08116
- Laurenčikas, A., Garunkštis, R.: The Lerch zeta-function. Kluwer Academic Publishers, Dordrecht (2002)Google Scholar
- Lerch, M.: Note sur la fonction \({\cal {R} }(w, x, s) = \sum _{k=0}^\infty \frac{e^{2k \pi ix}}{(w+k)^s}\). Acta Math. 11, 19–24 (1887)View ArticleMathSciNetMATHGoogle Scholar
- Levin, A.: Elliptic polylogarithms: an analytic theory. Compos. Math. 106, 267–282 (1997)View ArticleMATHGoogle Scholar
- Lewin, L.: Polyalgorithms and Associated Functions. North-Holland, New York (1981)Google Scholar
- Lewin, L.: The Evolution of the Ladder Concept, pp. 1–10. In: Lewin, L. (ed.) Structural Properties of Polylogarithms, AMS, Providence (1991)Google Scholar
- Lewin, L. (ed.): Structural Properties of Polylogarithms. AMS, Providence (1991)MATHGoogle Scholar
- Mihh, H.N., Petitot, M., van der Hoeven, J.: Shuffle algebra and polylogarithms. Discret. Math. 225(1–3), 217–230 (2000)Google Scholar
- Morita, Y.: On the Hurwitz–Lerch \(L\)-functions. J. Fac. Sci. Univ. Tokyo 14, 29–43 (1977)Google Scholar
- Mumford, D.: Tata Lectures on Theta I. Birkhäuser, Boston (1983)View ArticleMATHGoogle Scholar
- Nahm, W., Recknagel, A., Terhoeven, M.: Dilogarithm identities in quantum field theory. Mod. Phys. Lett. A 8, 1835–1847 (1993)View ArticleMathSciNetMATHGoogle Scholar
- Naito, H.: The \(p\)-adic Hurwitz \(L\) functions. Tohoku Math. J. 34, 553–558 (1982)View ArticleMathSciNetMATHGoogle Scholar
- Nakamura, H., Wojtkowiak, Z.: On explicit formulae for $$\ell $$ ℓ -adic polylogarithms. In: Arithmetic fundamental groups and noncommutative algebra (Berkeley, CA 1999), 285–294, Proc. Symp. Pure Math. 70, American Mathematical Society, Providence (2002)Google Scholar
- Neumann, W.D.: Extended Bloch group and the Cheeger-Cherns-Simons class. Geom. Topol. 8, 413–474 (2004)View ArticleMathSciNetMATHGoogle Scholar
- Oberhettinger, E.: Note on the Lerch zeta function. Pacific J. Math. 6, 117–120 (1956)View ArticleMathSciNetMATHGoogle Scholar
- Oesterlé J.: Polylogarithmes, Séminare Bourbaki, 35, Exposé No. 762, pp. 19 (1992-1993)Google Scholar
- Ostrowski, A.: Über Dirichletsche Reihen und algebraischen Differentialgleichungen. Math. Z. 8, 241–298 (1920)View ArticleMathSciNetMATHGoogle Scholar
- Patterson, S.J.: An introduction to the theory of the Riemann zeta function. Cambridge University Press, Cambridge (1988)View ArticleMATHGoogle Scholar
- Ramakrishnan, D.: A regulator for curves via the Heisenberg group. Bull. Amer. Math. Soc. N. S. 5(2), 191–195 (1981)Google Scholar
- Ramakrishnan, D.: On the monodromy of higher logarithms. Proc. Amer. Math. Soc. 85, 596–599 (1982)View ArticleMathSciNetMATHGoogle Scholar
- Ramakrishnan, D.: Regulators, Algebraic Cycles, and Values of L-Functions. In: Algebraic K-Theory and algebraic number theory (Honolulu, HI 1987), Contemporary Math. vol. 83, pp. 183–310 (1989)Google Scholar
- Rogers, L.J.: On function sum theorems connected with the series \(\sum _{1}^{\infty } \frac{x^n}{n^2}\). Proc. London Math. Soc. 4, 169–189 (1907)View ArticleGoogle Scholar
- Spence, W.: An essay on logarithmic transcendents. Edinburgh, London (1809)Google Scholar
- Srivastava, H.M., Choi, J.: Series Associated with the Zeta and Related Functions. Kluwer Academic Publishers, Dordrecht (2001)View ArticleMATHGoogle Scholar
- Vepstas, L.: An efficient algorithm for accelerating the convergence of oscillatory series, useful for computing the polylogarithm and Hurwitz zeta functions. Numer. Algorithms 47(3), 211–252 (2008)View ArticleMathSciNetMATHGoogle Scholar
- Washington, L.C.: Introduction to Cyclotomic Fields, 2nd edn. Springer-Verlag, New York (1997)View ArticleMATHGoogle Scholar
- Weil, A.: Elliptic Functions according to Eisenstein and Kronecker. Springer-Verlag, New York (1976)View ArticleMATHGoogle Scholar
- Whittaker, E.T., Watson, G.N.: A Course of Modern Analysis, 4th edn. Cambridge University Press, Cambridge (1927). (Reprint 1965)MATHGoogle Scholar
- Wildeshaus, J.: Realizations of polylogarithms. Lecture Notes in Mathematics, vol. 1650. Springer-Verlag, Berlin (1997)MATHGoogle Scholar
- Wojtkowiak, Z.: On \(\ell \)-adic interated integrals I, Analog of Zagier conjecture. Nagoya Math. J. 176, 113–158 (2004)MathSciNetMATHGoogle Scholar
- Wojtkowiak, Z.: On \(\ell \)-adic interated integrals II. Functional equations and \(\ell \)-adic polylogarithms. Nagoya Math. J. 177, 117–153 (2005)MathSciNetMATHGoogle Scholar
- Wojtkowiak, Z.: On \(\ell \)-adic interated integrals III. Galois actions on fundamental groups. Nagoya Math. J. 178, 1–36 (2005)MathSciNetMATHGoogle Scholar
- Zagier, D.: The dilogarithm function in geometry and number theory. In: Number Theory and Related Topics (Bombay 1988), 231–249, Tata Inst. Fund. Res. Stud. Math. 12, Tata Institute, Bombay (1989) (Also: The remarkable dilogarithm, J. Math. Phys. Sci. 22 (1988), no. 1, 131–145.)Google Scholar
- Zagier, D.: The dilogarithm function, pp. 3–65. In: Frontiers in number theory, physics, and geometry, Vol II, Springer, Berline (2007)Google Scholar