Abstract
Based on the theory of L-series associated with weakly holomorphic modular forms in Diamantis et al. (L-series of harmonic Maass forms and a summation formula for harmonic lifts. arXiv:2107.12366), we derive explicit formulas for central values of derivatives of L-series as integrals with limits inside the upper half-plane. This has computational advantages, already in the case of classical holomorphic cusp forms and, in the last section, we discuss computational aspects and explicit examples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
As evidenced by the prominence of conjectures such as those of Birch–Swinnerton-Dyer, Beilinson, etc., central values of derivatives of L-series are key invariants of modular forms. Explicit forms of their values are therefore desirable, since they can lead to either theoretical or numerical insight about their nature.
On the other hand, an extension of classical modular forms that allowed for poles at the cusps, the weakly holomorphic modular forms, has, more recently, been the focus of intense research, with Borcherd’s work [1] representing an important highlight followed by further applications to arithmetic, combinatorial and other aspects, e.g. in [4, 7, 13, 21], etc. A comprehensive overview of the foundations of the theory as well as a variety of important applications is provided in [2].
Up until relatively recently, L-series of weakly holomorphic modular forms had not been studied systematically. In fact, to our knowledge, a first definition was given in [3] in 2014. In work by the first author and his collaborators [11], a systematic approach for all harmonic Maass forms was proposed which led to functional equations, converse theorems, etc.
A first application to special values of the L-series defined in [11] was given in [10], where results of [6] on cycle integrals were streamlined and generalised. Part of the work in [6] was based on an explicit formula of what could be thought of as the (at the time of writing of [6], not yet defined) central L-value of a weight 0 weakly holomorphic form. That formula had been suggested, in the case of the Hauptmodul, by Zagier. In [10] we interpreted those cycle integrals as values of the L-series defined in [11] and this allowed us to generalise the formulas of [6].
Here, we extend that study to values of derivatives of L-series of weakly holomorphic forms. To state the main theorem, we will briefly introduce the terms involved, but we will discuss them in more detail in the next section.
Let \(k \in 2\mathbb {N}\). We consider the action \(|_k\) of \({{\,\mathrm{SL}\,}}_2(\mathbb {R})\) on smooth functions \(f:\mathbb {H}\rightarrow \mathbb {C}\) on the complex upper half-plane \(\mathbb {H}\), given by
where \(j(\gamma , z):=cz+d\). We further recall the defining formula for the Laplace transform \(\mathcal {L}\) of a piecewise smooth complex-valued function \(\varphi \) on \(\mathbb {R}\). It is given by
for each \(s \in \mathbb {C}\) for which the integral converges absolutely. We use the same notation \(\mathcal {L}\varphi \) for its analytic continuation to a larger domain, if such a continuation exists. Finally, if \(N \in \mathbb {N}\),
Let now f be a weakly holomorphic cusp form of weight k for \(\Gamma _0(N)\), i.e. a meromorphic modular form whose poles may only lie at the cusps and its Fourier expansion at each cusp has a vanishing constant term. Assume that its Fourier expansion at infinity is given by
Then, the L-series of f is defined in [11] as the map \(\Lambda _f\) given by
for each \(\varphi \) in a certain family of functions on \(\mathbb {R}\) which will be defined in the next section.
The main object of concern in this note will be the specialisation of this L-series to a specific family of test functions: For \((s, w) \in \mathbb {C}\times \mathbb {H}\) we denote
where \({\mathbf {1}}_X\) denotes the characteristic function of \(X \subset {\mathbb {R}}.\) We then set
With this notation, we have
Theorem 1.1
Let \(k \in 2\mathbb {N}\) and \(m \in \mathbb {N}\). For each weakly holomorphic cusp form of weight k for \(\Gamma _0(N)\) such that \(f|_kW_N=f\), we have
where \(\zeta (s, z)\) stands for the classical Hurwitz zeta function and \(\zeta ^{(r)}(s,z)=\frac{\partial ^{r}}{\partial s^{r}} \zeta (s,z)\).
Our approach yields new expressions for derivatives of L-series of classical cusp forms too. Specifically, classical L-series can be expressed in terms of the L-series associated with weakly holomorphic forms in [11] in the following way: For a classical cusp form f of weight k and level N with L-series \(L_f(s)\), we consider its completed L-function
Then, as verified in Sect. 4, we have
for \(\varphi _s^{ix}\) as in (1.4). Because of this, we can apply the method that led to Theorem 1.1, to deduce Theorem 4.2, a special case of which is the following:
Theorem 1.2
For each weight 2 cusp form f of level N, such that \(f|_2W_N=f\) we have
In particular, this formula interprets the central value of the first derivative as an integral with limits inside the upper half-plane. After providing the theoretical background in Sect. 2 and provide proofs of Theorems 1.1 and 1.2 in Sects. 3 and 4, we will present some remarks regarding computational aspects, potential applications and numerical examples of Theorems 1.1 and 1.2 in the final section.
2 L-series evaluated at test functions
In [11], a new type of L-series was associated with general harmonic Maass forms and some basic theorems about it were proved. In this section, we will provide relevant results in the special case which we need here, namely weight k weakly holomorphic cusp forms for \(\Gamma _0(N)\). We require some additional definitions to describe the set-up.
Let \(C(\mathbb {R}, \mathbb {C})\) be the space of piecewise smooth complex-valued functions on \(\mathbb {R}\). For each function f given by an absolutely convergent series of the form
we let \(\mathcal {G}_f\) be the space of functions \(\varphi \in C(\mathbb {R}, \mathbb {C})\) such that
-
(i)
the integral defining \(\mathcal {L}\varphi \) converges absolutely if \(\Re (s) \ge 2 \pi N\) for some \(N \in \mathbb {N}\),
-
(ii)
the function \(\mathcal {L}\varphi \) has an analytic continuation to \(\{s \in \mathbb {H}, \Re (s) >-2 \pi n_0-\epsilon \}\) and can be continuously extended to \(\{s \ne 0; s\ge -2 \pi n_0 \}\)
-
(iii)
the following series converges:
$$\begin{aligned} \sum _{\begin{array}{c} n \ge N \\ n \ne 0 \end{array}} |a(n)| (\mathcal {L}|\varphi |)\left( 2 \pi n\right) . \end{aligned}$$(2.2)
We are now able to define the L-series and recall some results from [11].
Definition 2.1
Let f be a function on \(\mathbb {H}\) given by the Fourier expansion (2.1). The L-series of f is defined to be the map \(\Lambda _f:{\mathcal {G}}_f \rightarrow \mathbb {C}\) such that, for \(\varphi \in \mathcal {G}_{f}\),
Furthermore, for \({\text {Re}}(z)>0\), we recall the generalised exponential integral by
The function \(E_p(z)\) has an analytic continuation to \({\mathbb {C}} {\setminus } (-\infty , 0]\) as a function of z to give the principal branch of \(E_p(z)\). Specifically, from now on we will always consider the principal branch of the logarithm, so that \(-\pi < \arg (z) \le \pi \). Then, we define the analytic continuation of \(E_p(z)\) as in (8.19.8) and (8.19.10) of [17] to be:
Since the two series on the right hand side of (2.5) give entire functions, we can continuously extend \(E_p(z)\) to \({\mathbb {R}}_{<0}\). By (8.11.2) of [17], we also have the bound
A lemma that will be crucial is the sequel is:
Lemma 2.2
[11] If \({\text {Im}}(w)>0\), then we have
for all \(a \in {\mathbb {R}}.\) If \({\text {Im}}(w)=0\) and \({\text {Re}}(w)>0\), then (2.7) holds for all \(a<0.\)
Let \(S_k^!(N)\) denote the space of weakly holomorphic cusp forms of weight k for \(\Gamma _0(N)\). Suppose that \(f\in S_k^!(N)\) has Fourier expansion (2.1) with respect to the cusp at \(\infty \). By [5, Lemma 3.4], there exists a constant \(C_f>0\) such that
The L-series of f is then defined to be the map \(\Lambda _f:{\mathcal {G}}_f \rightarrow \mathbb {C}\) given in Definition 2.1.
To describe the L-values and derivatives which we are interested in, we consider the family of test functions given by (1.4) and then set
Remark 2.3
Though more similar in appearance to the usual L-series than (2.3), we do not consider \(\Lambda (f, s)\) as the “canonical” L-series of f, because, in contrast to \(\Lambda _f(\varphi )\) (see Th. 3.5 of [10]), it does not satisfy a functional equation with respect to s. We formulate our results in terms of \(\Lambda (f, s)\) to incorporate it into the setting of [6] and Zagier’s formula mentioned in the introduction. The choice of \(\Lambda \), rather than L in the notation hints at the analogy with the “completed” version of the classical L-series, rather than with the L-series itself.
By the proof of Lemma 4.1 of [10], or directly, we see that, for \({\text {Re}}(w)>-\epsilon \), \(\varphi _s^w \in {\mathcal {G}}_f\) and
Because of (2.6) and the trivial bound for \(a_f(n)\), the series \(\sum _{\begin{array}{c} n>0 \end{array}} a_f(n)E_{1-s}( (2 \pi n +w)/\sqrt{N})\) converges absolutely and uniformly in compact subsets of \(\{w \in \mathbb {H}; {\text {Re}}(w) >-\epsilon \}\), for each fixed \(s \in \mathbb {C}\). Since, in addition, \(E_{1-s}(z)\) is continuous from above at each \(z \in {\mathbb {R}}_{<0}\), we deduce, by comparing with (2.9), that
Let now \(s \in \mathbb {R}\) and \(x>0\). By Lemma 2.2, followed by a change of variables and (2.1), the sum (2.10) becomes
With the periodicity of f, we see that the last integral equals
where
is the Lerch zeta function, which is well defined since \(x>0\). Therefore, we have the following:
Proposition 2.4
For each \(f \in S^!_k(N)\) and for each \(x>0\) and \(s \in {\mathbb {R}}\), we have
3 Derivatives of \(\Lambda (f, s)\)
Let m be a positive integer. By \(\Lambda ^{(m)}_f(\varphi _s^{w})\), we denote the mth derivative with respect to s. Equation (2.10) implies that
By the absolute and uniform, in w with \({\text {Re}}(w)>-\epsilon \), convergence of the piece of this series with \(n>0\), we deduce that the limit as \(w \rightarrow 0\) (from above) exists and, with (2.9), we have
On the other hand, we have
Using (3.2) and Prop. 2.4, we deduce that
We now use (8) of Sect. 1.11 of [14] according to which, for \(z \in {\mathbb {H}}\), \(s \not \in {\mathbb {N}}\) and \(x>0\) small enough, we have
where \(\zeta (s, w)\) is the Hurwitz zeta function. This gives, for every \(\ell \in {\mathbb {N}},\)
and thus,
This implies that, for each \(j \in \mathbb {N}\), we have
Since f has a zero constant term in its Fourier expansion, it follows that
Therefore,
This, combined with (4.5), proves Theorem 1.1. In the case of weight 2, it simplifies to
Corollary 3.1
For each \(f \in S^!_2(N)\) such that \(f|_2W_N=f\), we have
Proof
If \(k=2\) and \(m=1 \), the formula of the theorem becomes
The well-known identity \(\zeta (0, z) = 1/2 - z\) and (3.6) imply that the first integral equals
For the second integral, we combine (3.6) with the identity (see, e.g. (10) of 1.10 of [14])
From those formulas for the two integrals, we deduce the corollary. \(\square \)
Finally, we comment on the relation between Theorem 1.2 (applying to holomorphic cusp forms) and Corollary 3.1 (applying to weakly holomorphic ones). Since a holomorphic cusp form is, of course, weakly holomorphic, Corollary 3.1 applies to it too and one might expect the two formulas to agree completely. However, the subject of Theorem 1.2 is a different L-series from the \(\Lambda (f, s)\) appearing in Corollary 3.1, namely \(L_f^*(s)\). They both originate in the more general \(\Lambda _f(\varphi )\) but they are not quite the same, \(L_f^*(s)\) being simply a “symmetrised” version of \(\Lambda (f, s).\) This explains why the formulas are identical except for the factor of 2 in the formula for the central derivative of \(L_f^*(s)\).
4 L-functions associated with cusp forms and their derivatives
The case of classical cusp forms and their L-functions can be accounted for by the same approach. However, the setting must be slightly adjusted, ultimately because of the lack of a functional equation for \(\Lambda (f, s)\) when f is weakly holomorphic, as discussed in Remark 2.3.
Specifically, we let f be a holomorphic cusp form of weight k for \(\Gamma _0(N)\) with a Fourier expansion
and such that
We recall the classical integral expression for the completed L-function of f:
We observe that, thanks to (2.6), this converges for all \(s \in \mathbb {C}.\) The completed L-function can be recast in terms of the L-series formalism of [10] and the family of test functions given in (1.4). Indeed, if \({\text {Re}}(w) >-\epsilon \), we have,
As in the previous section (but more easily, since we do not have any terms with \(n<0\)), the series converges absolutely and uniformly in compact subsets of \(\{w \in \mathbb {H}; {\text {Re}}(w) >-\epsilon \}\), for each fixed \(s \in \mathbb {C}\). Hence, comparing with (4.2), we see that
Let now \(s \in \mathbb {R}\) and \(w \in \mathbb {H}\) with \({\text {Re}}(w)>-\epsilon \). By Lemma 2.2, followed by a change of variables and (4.1), the sum (4.3) becomes
This is a “symmetrised” analogue of (2.11), and therefore, working similarly to the last section, we can deduce the following analogue of Prop. 2.4:
Proposition 4.1
Let \(f \in S_k(N)\) such that \(f|_kW_N=f\). For each \(w \in {\mathbb {H}}\) with \({\text {Re}}(w)>-\epsilon \) and each \(s \in {\mathbb {R}}\), we have
To pass to derivatives, we let m be a positive integer. Equation (4.3) implies that
which is the analogue of (3.1) and thus, we can work in an entirely analogous way to the last section to obtain
Applying (8) of Sect. 1.11 of [14] as in the last section implies that this equals
Since \(L^*_f(s)=(\sqrt{N}/(2 \pi ))^s\Gamma (s)L_f(s),\) this gives:
Theorem 4.2
Let m be a positive integer. For each \(f \in S_k(N)\) such that \(f|_kW_N=f\) and \(L^{(j)}_f(k/2)=0\) for \(j<m\), we have
Theorem 1.2 follows from this exactly as in Corollary 3.1 once we take into account that, if \(k=2\) and \(f|_2W_N=f\), we automatically have \(L_f(1)=0\) by the classical functional equation for \(f \in S_2(N).\)
5 Computational and algorithmic aspects
Consider first the special case of a holomorphic cusp form f of weight \(k=2\) and level N, which is invariant under the Fricke involution \(W_{N}\). Suppose that f has a Fourier expansion of the form (4.1). It is clear from (4.2) and symmetry that the central value \(L_{f}^{*}(1)\) is zero and the rth central derivative is zero, if r is even, and
if r is odd. Here
is \((-1)^{r}/r!\) times the rth derivative of \(E_{s}(z)\) with respect to s. It is initially defined for \(\Re (z)>0\) and can be extended to \(\mathbb {H}\cup \mathbb {R}_{<0}\) via (5.4) and (5.2) below. Using integration by parts, it can be shown that \(E_{0}^{r}(z)=\frac{1}{z}E_{1}^{r-1}(z)\), which leads to the expression
This expression was first obtained by Buhler, Gross and Zagier in [8], where the authors used the following expression to evaluate \(E_{1}^{m}(z)\) for any \(m\ge 1\) and \(z>0\)
Here, \(P_{r}(x)\) is a polynomial of degree r and if we write \(\Gamma (1+z)=\sum _{n\ge 0}\gamma _{n}z^{n}\) then
Extending this method to weights \(k\ge 4\) and weakly holomorphic modular forms is immediate. If \(f\in S_{k}^{!}(N)\) has Fourier expansion at infinity of the form (2.1) then the analogue of (4.2) is (2.9). Upon differentiating (2.9) r times with respect to s and setting \(s=k/2\) leads to
where we note that for a holomorphic f we have \((L_{f}^*)^{(m)}(k/2)=(1+i^{k+2m})\Lambda ^{(m)}(f,k/2)\). It follows that we need to evaluate \(E_{-n}^{r}\) where \(n=k/2-1.\) To compare the complexity of these computations with the weight 2 case, we note that Milgram [16, (2.22)] showed that
where \(\xi _{l,n}^{j}\) are constants independent of z and can be precomputed. Using this together with (5.2), it follows that the computation essentially reduces to that of a finite sum of polynomials and an infinite rapidly convergent sum.
It is also worth to mention here that the general algorithm to compute values and derivatives of Motivic L-functions introduced by Dokchitser in [12] and implemented in PARI/GP [19], essentially reduces to that described above in the case of holomorphic modular forms. Furthermore, in both [8] and [12] the authors make additional use of asymptotic expansions to speed up computations of \(E_{-n}^{m}(z)\) for large z.
5.1 The new integral formula
Let \(f\in S_{k}^{!}(\Gamma _{0}(N))\) be a weakly holomorphic cusp form of even integral weight k and that satisfies \(f|_{k}W_{N}=f\). Then, Theorem 1.1 implies that
where \(\Lambda (f,s)\) is defined in (1.5). When computing these values, it is clear that the main CPU time is spent on computing integrals of the form
The cusp form f is given in terms of the Fourier expansion (2.1) for some \(n_{0}\ge 0\). To evaluate \(f(x+i/\sqrt{N})\) up to a precision of \(\varepsilon =10^{-D}\) for all \(x\in [0,1]\), we can truncate the Fourier series at some integer \(M>0\). The precise choice of M depends on the available coefficient bounds. In case f is holomorphic then Deligne’s bound can be used to show that we can choose M such that
for some explicit positive constants \(c_{1},c_{2},c_{3}\) and \(c_{4}\), independent of N, D and k. However, if f is not holomorphic then we only have the non-explicit bound (2.8) and M must satisfy
where \(c_{1}',\) \(c_{2}',\) \(c_{3}'\) and \(c_{4}'\) are positive constants that depend on f and can be computed in special cases using Poincaré series. In both cases we From both inequalities above it is clear that as the level or weight increases we need a larger number of coefficients, which increases the number of arithmetic operations needed. Note that the working precision might also need to be increased due to cancellation errors. To evaluate the Hurwitz zeta function and its derivatives, it is possible to use, for instance, the Euler–Maclaurin formula
where \(M,L\ge 1\) and where the error term \(\text {Err}(M,L)\) can be explicitly bounded. For more details, including proof and analysis of rigorous error bounds and choice of parameters, see [15], where the generalisation to derivatives \(\zeta ^{(r)}(s,z)\) is also included. In our case, \(s=1-k/2\) and \(z=x+i/\sqrt{N}\) with \(0\le x\le 1\). It is easy to use Theorem 1 of [15] to show that if \(M>1\) and \(L>k/4\) then
where \((s)_{m}=s(s+1)\cdots (s+m-1)\) is the usual Pochhammer symbol. Furthermore, if the right-hand side above is denoted by B then it can be shown that the error in the Euler–Maclaurin formula for the rth derivative can be bounded by \(B\cdot r!\log (8(M+1))^{r}\). In [15], it is observed that to obtain D digits of precision we should choose \(M\sim L\sim D,\) meaning that the number of terms in both sums is proportional to D. It is also clear that as k or r increases we will need larger values of M and L.
Example 5.1
Consider \(f\in S_{2}\) (37) and standard double precision, i.e. 53 bits or 15 (decimal) digits. Then, a single evaluation of \(f(x+i/\sqrt{37})\) takes \(271\mu s\) while \(\zeta ^{(r)}(0,x+i/\sqrt{37})\) takes \(2\mu s\), \(114\mu s\), \(124\mu s\), \(171\mu s\) for \(r=1,2,3\) and 20, respectively.
5.2 Comments on the implementation
There are a few simple optimisations that can be applied immediately to decrease the number of necessary function evaluations.
-
Replace the sum of integrals by \(\int _{0}^{1}f(x+i/\sqrt{N})Z_{m}(x+i/\sqrt{N})\mathrm{d}x\), where
$$\begin{aligned} Z_{m}(z)=\sum _{j=0}^{m}{m \atopwithdelims ()j}\log ^{j}\left( \frac{i}{\sqrt{N}}\right) \zeta ^{(m-j)}\left( 1-\frac{k}{2},z\right) . \end{aligned}$$ -
If f(z) has real Fourier coefficients then \(f(1-x+i/\sqrt{N})=\overline{f(x+i/\sqrt{N})}\), which is very useful as we can choose the numerical integration method with nodes that are symmetric with respect to \(x=1/2\).
-
If we need to compute \(\Lambda ^{(r)}(f,k/2)\) for a sequence of rs, then function values of f and lower derivatives \(\zeta ^{(j)}\) can be cached in each step provided that the we use the same nodes for the numerical integration.
As the main goal of this paper is to present a new formula and not to present an optimised efficient algorithm as such, we have implemented all algorithms in SageMath using the mpmath Python library for the Hurwitz zeta function evaluations as well as for the numerical integration using Gauss–Legendre quadrature. The implementation used to calculate the examples below can be found in a Jupyter notebook which is available from [20].
5.3 Examples of holomorphic forms
To demonstrate the veracity of the formulas in this paper, we first present a comparison of results and indicative timings between the new formula in this paper and Dokchitser’s algorithm in PARI (interfaced through SageMath).
Table 1 includes three holomorphic cusp forms \(\text {37.2.a.a}\), \(\text {127.4.a.a}\) and \(\text {5077.2.a.a}\), labelled according to the LMFDB [18]. These are all invariant under the Fricke involution and it is known that the analytic ranks are 1, 2 and 3, respectively. The last column gives the difference between the values computed by Dokchitser’s algorithm and the integral formula.
As the level increases, we find that \(f(x+i/\sqrt{N})\) oscillates more and more and it is necessary to increase the degree of the Legendre polynomials used in the Gauss–Legendre quadrature. The comparison of timings in Table 1 indicates that our new formula is slower than Dokchitser’s algorithm but it is important to keep in mind the latter is implemented in the PARI C library and is compiled while our formula is simply implemented directly in SageMath using the mpmath Python library. All CPU times presented below are obtained on a 2GHz Intel Xeon Quad Core and we stress that the times should not be taken as absolute performance measures but simply to provide comparisons between different input and parameter values.
5.4 Examples of weakly holomorphic modular forms
To construct weakly modular cusp forms, we use the Dedekind eta functions
If we define
and
then it can be shown that \(\Delta _{2}^{+}\in S_{8}(\Gamma _{0}(2))\) and \(j_{2}^{+}\in S_{0}^{!}(\Gamma _{0}(2))\) are both invariant under the Fricke involution \(W_{2}\). The following holomorphic and weakly holomorphic modular forms of weight 16 on \(\Gamma _{0}(2)\) were introduced by Choi and Kim [9] to study weakly holomorphic Hecke eigenforms.
and it is easy to see that all of these functions are also invariant under \(W_{2}\). Furthermore, \(f_{16,-2},f_{16,-1}\in S_{16}(\Gamma _{0}(2))\) and \(f_{16,1},f_{16,2}\in S_{16}^{!}(\Gamma _{0}(2))\) while \(f_{16,0}\) is not cuspidal.
To check the accuracy of our formula in this setting, we first consider the holomorphic cusp forms. Observe that the unique newform of level 2 and weight 16 is
Using Dokchitser’s algorithm, we find that \(L_{f}^{*}(8)=0.0526855929956408\), while using the integral formula with 53 bits precision, we obtain
and
which agrees with the value of \(L^{*}_f(8)\) above.
Table 2 gives the values of \(\Lambda ^{(r)}(f_{16,i},8)\) for the weakly holomorphic modular forms \(f_{16,1}\) and \(f_{16,2}\), computed using the integral formula with 103 bits working precision. The table contains an indication of timings as well as a heuristic error estimate based on a comparison with the same value computed using 203 bits precision.
To provide some independent verification of the algorithm in the case of weakly modular forms, we also implemented the generalisation of the algorithm from [8] using (5.3) directly with \(E_{1-k/2}^{r}\) evaluated using (5.4) and (5.2). The main obstacle with the algorithm modelled on [8] is that the infinite sum in (5.2) suffers from catastrophic cancellation for large z unless the working precision is temporarily increased within the sum. The corresponding values of \(\Lambda ^{(r)}(f_{16,i},8)\) computed using the algorithm with 103 bits starting precision are given in Table 3 where we also give the corresponding timings as well as an error estimate based on comparison with values in Table 2.
Data Availability Statement
All data generated and analysed during this study are included in this published article. Further data can be obtained by using the program available at [20] with different input parameters.
References
Borcherds, R.: Automorphic forms with singularities on Grassmannians. Invent. Math. 132, 491–562 (1998)
Bringmann, K., Folsom, A., Ono, K., Rolen, L.: Harmonic Maass Forms and Mock Modular Forms: Theory and Applications, American Mathematical Society Colloquium Publications, vol. 64. American Mathematical Society, Providence (2017)
Bringmann, K., Fricke, K.H., Kent, Z.: Special L-values and periods of weakly holomorphic modular forms. Proc. Am. Math. Soc. 142(10), 3425–3439 (2014)
Bringmann, K., Ono, K.: The \(f(q)\) mock theta function conjecture and partition ranks. Invent. Math. 165(2), 243–266 (2006)
Bruinier, J., Funke, J.: On two geometric theta lifts. Duke Math. J. 125(1), 45–90 (2004)
Bruinier, J., Funke, J., Imamoglu, Ö.: Regularized theta liftings and periods of modular functions. J. Reine Angew. Math. 703, 43–93 (2015)
Bruinier, J., Ono, K.: Heegner divisors, L-functions and harmonic weak Maass forms. Ann. Math. (2) 172(3), 2135–2181 (2010)
Buhler, J.P., Gross, B.H., Zagier, D.B.: On the conjecture of Birch and Swinnerton-Dyer for an elliptic curve of rank 3. Math. Comput. 44(170), 473–481 (1985)
Choi, S.-Y., Kim, C.-H.: Weakly holomorphic Hecke eigenforms and Hecke eigenpolynomials. Adv. Math. 290, 144–162 (2016)
Diamantis, N., Rolen, L.: L-values of harmonic Maass forms (submitted). arXiv:2201.10193
Diamantis, N., Lee, M., Raji, W., Rolen, L.: \(L\)-series of harmonic Maass forms and a summation formula for harmonic lifts (submitted). arXiv:2107.12366
Dokchitser, T.: Computing special values of motivic \(L\)-functions. Exp. Math. 13(2), 137–149 (2004)
Duke, W., Imamoglu, Ö., Tóth, A.: Cycle integrals of the \(j\)-functions and mock modular forms. Ann. Math. (2) 173, 947–981 (2011)
Erdelyi, A., Magnus, W., Oberhettinger, F., Tricomi, F.G.: (The Bateman Manuscript Project), Higher Transcendental Functions, vol. I. McGraw-Hill, New York (1953)
Johansson, F.: Rigorous high-precision computation of the Hurwitz zeta function and its derivatives. Numer. Algorithms 69(2), 253–270 (2015)
Milgram, M.S.: The generalized integro-exponential function. Math. Comput. 44(170), 443–458 (1985)
Olver, F., Lozier, D., Boisvert, R., Clark, C. (eds.): NIST Handbook of Mathematical Functions. U.S. Department of Commerce, National Institute of Standards and Technology, Washington, DC (2004)
The LMFDB Collaboration. The L-functions and modular forms database. http://www.lmfdb.org (2022). Accessed 18 Sept 2022
The PARI Group, Univ. Bordeaux. PARI/GP version 2.13.4. http://pari.math.u-bordeaux.fr/ (2022)
Strömberg, F.: Algorithms and examples for derivatives of \(L\)-series available from https://github.com/fredstro/derivatives_lseries
Zwegers, S. Mock.: \(\theta \)-functions and real analytic modular forms in “\(q\)-Series with Applications to Combinatorics, Number Theory, and Physics” (Urbana: Contemporary Mathematics, 291, American Mathematical Society, Providence, 2001, 269–277 (2000)
Acknowledgements
We thank the referees for their insightful comments and helpful suggestions. We also thank D. Goldfeld for helpful and encouraging comments on the manuscript. Part of the work was done while the first author was visiting Max Planck Institute for Mathematics in Bonn, whose hospitality he acknowledges. Research on this work is partially supported by the authors’ EPSRC Grants (ND: EP/S032460/1 FS: EP/V026321/1).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Diamantis, N., Strömberg, F. Derivatives of L-series of weakly holomorphic cusp forms. Res Math Sci 9, 64 (2022). https://doi.org/10.1007/s40687-022-00363-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40687-022-00363-x