Abstract
Period polynomials have long been fruitful tools for the study of values of L-functions in the context of major outstanding conjectures. In this paper, we survey some facets of this study from the perspective of Eichler cohomology. We discuss ways to incorporate non-cuspidal modular forms and values of derivatives of L-functions into the same framework. We further review investigations of the location of zeros of the period polynomial as well as of its analogue for L-derivatives.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The period polynomial provides a way of encoding critical values of L-functions associated with modular cusp forms that has proven very successful in the uncovering of important arithmetic properties of L-values. As such, its structure and properties as an object in its own right have attracted a lot of interest from various perspectives, one of the most important ones being that of Zagier, as will become apparent below. To give an idea of the uses of the period polynomial and its structure, we start by outlining its definition.
Let f be an element of the space \(S_k\) of weight k cusp forms for SL\(_2({\mathbb {Z}})\). The period polynomial of f is the polynomial in X given by
A relation with the L-function of f is provided by the identity (cf eg. [34])
where \(\Lambda _f(s):=(2 \pi )^{-s}\Gamma (s) L_f(s)\) is the “completed” L-function of f.
An example of the manner by which the structure of the period polynomial leads to important arithmetic information about values of L-functions is Manin’s Periods Theorem. The algebraic properties of \(r_f\) (cocycle relations) combined with the arithmetic nature of f (as a Hecke eigenform) lead to a certain one-dimensionality statement for \(r_f\), which with (1.1) translates to the following proportionality relation.
Theorem 1.1
Manin’s Periods Theorem [27]. Let f be a normalized Hecke eigenform in \(S_k\) with rational Fourier coefficients. Then there exist \(\omega _+(f)\), \(\omega _-(f) \in {\mathbb {R}}\) such that
for all s, w with \(1 \le s, w \le k-1\) and s even, w odd.
Remark 1.2
For illustration purposes, here we gave a special case of the actual theorem which will be discussed in slightly more detail in the next section. This special case was essentially known earlier; see, for instance, §9 of [32].
Fundamental applications such as the above theorem have motivated closer independent study of \(r_f\), for instance as a polynomial. The aspect we will be focusing on in this survey is the location of the zeroes of \(r_f(X)\).
The strength of techniques based on \(r_f\) has likewise motivated the search for analogues of the period polynomial in other situations. The example we will more closely be reviewing here is an analogue of the period polynomial associated with derivatives of L-functions.
Derivatives of L-functions are the subject of some of the main current conjectures in number theory, e.g. by Birch–Swinnerton-Dyer and by Beilinson. To review a part of the latter, in an explicit formulation due to Kontsevich-Zagier [23], we recall the definition of periods, again in the form given in [23]: These are complex numbers whose real and imaginary parts have the form
where V is a domain in \(\mathbb {R}^n\) defined by polynomial inequalities with coefficients in \({\mathbb {Q}}\) and \(P, Q \in {\mathbb {Q}}[X_1, \dots , X_n]\). The set \(\mathcal {P}\) of periods contains \(\pi ,\) \(\log (n)\) (\(n \in \mathbb {N}\)), etc. The arrangement of the following special case of Beilinson’s conjecture follows [23].
Conjecture
(Deligne–Beilinson–Scholl) Let f be a weight k Hecke eigencuspform for SL\(_2(\mathbb {Z})\), \(L_f(s)\) its L-function, and m an integer. Then, if r is the order of vanishing of \(L_f(s)\) at \(s=m\),
Apart from the cases \(r=0\) (treated by Manin, Deligne, Beilinson, Deninger–Scholl; see [23] and the references contained there) and \(r=1\) (thanks, in the case of weight 2, to Gross-Zagier [17]), this conjecture is still open. Analogues of the period polynomial for first derivatives of L-functions have been given in [7, 16]. The version we will be using is
The justification for this choice will come from cohomological considerations (see Sect. 3), but, for the time being, we note that that this polynomial, in analogy with (1.1), equals
This polynomial has an algebraic structure that fits into the same context as that of the standard period polynomial. It was recently observed by the authors that, at least conjecturally, its zeros follow the same pattern as those of the standard period polynomial.
Conjecture 1.3
(“Riemann hypothesis for period polynomials attached to L-derivatives”) [11] For any Hecke eigenform of weight k on \({\text {SL}}_2(\mathbb Z)\), and for each \(m\in \mathbb Z_{\ge 0}\), the polynomial
has all its zeros on the unit circle. Moreover, its odd part
has all of its zeros on the unit circle, except for 0, \(\pm a,\pm 1/a\) for some \(a\in \mathbb R\).
In [11], this statement was proved in the case of Eisenstein series.
In this survey, we will review the theory of period polynomials and of the “period polynomials” attached to L-derivatives from a cohomological perspective. We will further survey conjectures and results about zeros of period polynomials and of their counterparts for L-derivatives.
2 Period polynomials
2.1 Period polynomials of cusp forms
Set \(\Gamma \,{:=}\,\text {PSL}_2(\mathbb {Z})\). This group is generated by and (or, more precisely, by their images under the natural projection of SL\(_2(\mathbb {Z})\) onto \(\Gamma \)). The only relations are
For \( \tau \in \mathfrak {H}\), let \(f(\tau )=\sum _{n=1}^{\infty } a_n e^{2 \pi i n} \) be a cusp form of even weight k for \(\Gamma \). A way to define the period polynomial associated with f is as a polynomial in z of degree \(\le k-2\) given by
The origin of this definition goes back (at least) to Poincaré (cf. [30]) in the context of work on Abelian integrals (a fact brought to our attention by [12]). Since then, the period polynomial has been interpreted in several ways, each providing new insight and leading to important applications.
We will review two that are most relevant for our purposes.
a. Eichler cohomology
Firstly, Eichler [13] and Shimura [32] viewed them as periods of iterated integrals that are now called Eichler integrals:
The relation of F with \(r_f\) is given by
This identity can be viewed as the starting point of an algebraic approach to the study of the period polynomial which has far-reaching implications. It first implies that \(r_f\) induces a 1-cocycle in Eichler cohomology, which we will now define. Since we will later need cocycles in more general cases, we recall the general definition of cocycles.
Let M be a right \(\Gamma \)-module. For \(i \ge 0\), we call i-cochain for \(\Gamma \) with coefficients in M a map from \(\Gamma ^i\) to M. The group they form is denoted by \(C^i(\Gamma , n)\). The differential \(d^i:C^i(\Gamma , M) \rightarrow C^{i+1}(\Gamma , M)\) is given by
Set \(Z^i(\Gamma , M)=\ker (d^i)\) for the group of i-cocyles and, when \(i \ge 1\), \(B^i(\Gamma , M)=d^{i-1} (C^{i-1}(\Gamma , M))\) for the group of i-coboundaries. We set \(B^0:=0\). The group \(H^i(\Gamma , M):=Z^i(\Gamma , M)/B^i(\Gamma , M)\) is the set of i-cohomology classes. For instance, a 1-cocycle \(\phi \) is a map from \(\Gamma \) to M such that
Both \(Z^i\) and \(H^i\) are endowed with a Hecke action which we will not define but mention because it plays an important role in an application below. Detailed expositions can be found in [6, 32].
In Eichler cohomology, we apply this construction with M the space \(P_{k-2}\) of polynomials of degree \(\le k-2\). The action \(|_{2-k}\) of \(\Gamma \) on \(P_{k-2}\) or, more generally, on functions on \(\mathfrak {H}\) is:
where With this notation, (2.4) is rewritten as
We now consider the map \(\sigma _f:\Gamma \rightarrow P_{k-2}\) defined by first setting \(\sigma _f(S)=r_f\) and \(\sigma _f(T)=0\) and extending to \(\Gamma \) according to (2.6). This, in view of (2.1), gives a well-defined map because, with (2.7),
and likewise \(\sigma _f((ST)^3)=0\).
Note that (2.7) does not mean that \(r_f\) is a 1-coboundary in \(B^1(\Gamma , P_{k-2})\). It would only mean that if F were in \(P_{k-2}\). It is a coboundary in a larger space but, as we just saw, this fact suffices to show that \(r_f\) is 1-cocycle in \(Z^1(\Gamma , P_{k-2})\). This technique is used often in constructions of cocycles and will reappear in the sequel.
It is possible to express the value of \(\sigma _f\) at every \(\gamma \in \Gamma \) by a simple formula:
A fundamental fact is that Eichler cohomology parametrizes modular forms by means of the Eichler–Shimura isomorphism. For general f in the space \(M_k\) of all weight k modular forms for SL\(_2(\mathbb {Z})\), we define \(\sigma _f\) by
where \(\tau _0 \in \mathfrak {H}\) is fixed. If \(\bar{g}\) is the function obtained by conjugating the values of g, we define \(r_{\bar{f} }\) by a similar formula involving integration of antiholomorphic differentials. Then, a version of the Eichler–Shimura isomorphism can be stated as
Theorem 2.1
(Eichler–Shimura isomorphism) Let \(\sigma \) be the map assigning to \((f, \bar{g}) \in M_k \oplus \overline{S_k} \) the 1-cocycle \(\sigma _f+\sigma _{\bar{g}}\) and let \(\pi \) be the natural projection of \(Z^1(\Gamma , P_{k-2})\) onto \(H^1(\Gamma , P_{k-2})\). Then \(\pi \circ \sigma \) is a Hecke-equivariant isomorphism.
From this viewpoint, the period polynomial of a cusp form f can be redefined as the value at the involution S of the image of f under the Eichler–Shimura map \(\sigma \).
b. Critical values of L -functions
A second interpretation of the period polynomial is as a generating function of critical values of L-functions. As usual, we define the L-function of a modular form \(f(z)=\sum _{n=0}^{\infty }a_n e^{2 \pi i nz}\) by
and the completed L-function by
The function \(\Lambda _f\) has a meromorphic continuation to the entire complex plane with possible (simple) poles at 0 and k, and it satisfies the functional equation (see, e.g. [19], Chapt. 7):
It further has an integral expression:
When f is a cusp form, \(\Lambda _f(s)\) is entire and (2.11) becomes the classical Mellin transform:
The values of the L-functions of Hecke eigencuspforms are of fundamental importance, among other reasons, because they are, at least conjecturally, closely connected with arithmetic and classical arithmetic questions. For example, a part of the Birch–Swinnerton-Dyer conjecture implies that, if \(L_f(1) \ne 0\), for a weight 2 cusp form of a certain type, then a specific polynomial Diophantine equation has at most finitely many solutions. This is part of the order 0 Birch–Swinnerton-Dyer conjecture and has been proven in [4, 17, 24, 25].
Among the values of L-functions, the values at the integers within the critical strip \(0<\text {Re}(s)<k\) are called critical and were the first ones to be studied. Using the binomial theorem and (2.12), one can show that the period polynomial naturally encodes the critical L-values:
Remark 2.2
The cohomological properties of \(r_f\) discussed in Part a. can be translated to analogous statements here. Notably, if we rewrite the equations proving that \(\sigma _f\) is well-defined (e.g. (2.8)) in terms of (2.13), we are led to Manin’s important “Eichler–Shimura relations” (Prop. 2.1 of [27]). A crucial implication of these relations, discussed in the next application, is that \(Z^1(\Gamma , P_{k-2})\) (more precisely, the part of this space corresponding to the odd part of the polynomials in \(P_{k-2}\)) is defined by a linear system of equations with rational coefficients.
Application of a. and b. We will combine the above two interpretations of \(r_f\) to illustrate the power of the period polynomial with the following result.
Theorem 2.3
(Manin’s Periods Theorem [27]) Let f be a normalized Hecke eigencuspform in \(S_k\) and let \(K_f\) be the field obtained by adjoining to \({\mathbb {Q}}\) the Fourier coefficients of f. There exist \(\omega _+(f)\), \(\omega _-(f) \in {\mathbb {R}}\) such that
for all s, w with \(1 \le s, w \le k-1\) and s even, w odd.
Besides Manin’s proof in [27], other proofs stressing different aspects include those of Shokurov ([31], geometric methods on Kuga-Sato varieties), Zagier ([35], using Rankin–Selberg method and Rankin–Cohen brackets), Shimura ([33], by another variant of the Rankin–Selberg method), the first author and O’Sullivan ([10], by a variation of a method of [22] which uses holomorphic projection and Cohen’s kernel), etc.
Sketch of Proof of 2.3
The Hecke eigencuspform f generates a one-dimensional eigenspace of \(S_k\). By Theorem 2.1, this is mapped isomorphically to a one-dimensional eigenspace of \(H^1(\Gamma , P_{k-2})\) and, in fact, the restriction of that map to just the even (resp. odd) powers of the polynomial induces an isomorphism too. It can also be proved that this map sends f to a one-dimensional eigenspace \(A_f\) of the even (resp. odd) part of \(Z^1(\Gamma , P_{k-2})\) not just of \(H^1(\Gamma , P_{k-2})\). By Remark 2.2, \(Z^1(\Gamma , P_{k-2})\) is defined over \({\mathbb {Q}}\) and thus \(A_f\) is defined over \(K_f\). Since \({\text {dim}}(A_f)=1\), this implies that there is a \(c \in {\mathbb {C}}\) such that the even (resp. odd) part of \(\sigma _f(S)=r_f\) equals \(c P^+\) for an even polynomial \(P^+ \in K[z]\) (resp. \(c P^-\) for an odd polynomial \(P^- \in K[z]\)). With (2.13), this implies that quotients of critical L-values of the same parity belong to \(K_f\). \(\square \)
2.2 Period polynomials of non-cuspidal modular forms
The definition (2.2) no longer applies in the case that f is not cuspidal because the integral may fail to converge at the end points. However, it is possible to modify the definitions so that they include general modular forms as well. To our knowledge, the first one to give a general definition and systematically study it was Zagier in [34] (Grosswald [18], starting from a different departure point, also worked with a similar object and proved a explicit expression for it.) In the case of general \(f \in M_k\) the “first definition” (2.2) was replaced by
The “second definition” (2.13) was replaced by
This extended definition is then used in [34] to state and prove an expression of a striking generating function involving period polynomials over a basis of \(M_k\) as a quotient of products of values of the classical Jacobi theta function.
A difference from the case of cusp forms is that \(\widetilde{r}_f\) is not in \(P_{k-2}\) when f is not cuspidal. Recently, it was shown in [3] that it is possible to define the period polynomial of Eisenstein series so that it stays within \(P_{k-2}\). Set
This definition was made in a vastly general context by Brown in [3] which included general iterated Shimura integrals and originated from an integral at a tangential base point at infinity. In this more general setting, it is proved that \(r_f \in P_{k-2}\) and that it induces a 1-cocycle. Brown’s extension of the period polynomial was also motivated by important applications. For example, he used it to express non-critical values in terms of multiple modular values.
A way to compare this definition with that of [34] is to consider the explicit form of the Eichler cocycle it induces. Set
Then, with the definition of \(d^0\) in (2.5) we define \(\sigma _f:=d^0 v_f\).
It is clear that \(r_f=\sigma _f(S)\). On the other hand, the associated cocycle of \(\widetilde{r}_f\) is given by \(\widetilde{\sigma }_f:=d^0 \widetilde{v}_f\), where
and where \(d^0\) is defined by the same formula as (2.5) but its domain is enlarged to \(C^0(\Gamma , {\mathbb {C}}(z))\).
As mentioned above, in [3] it is proven in more general form that \(\sigma _f\) takes values in \(P_{k-2}\). This can also be seen by the identity shown in [11] [eq. (8)]:
From this, it is also clear that \(\sigma _f\) is “canonical” in the sense that it belongs to the same cohomology class as the image of f under the Eichler–Shimura isomorphism (Theorem 2.1). With this definition of the cocycle \(r_f\), we then have
(see the proof of Lemma 7.1 in [3]). Consider the case when \(f=E_k\), the Eisenstein series
where \(B_a\) is the ath Bernoulli number. Then Lemma 7.1 of [3] shows that the above equation takes the form
and, by Proposition of pg. 453 of [34] [or (2.14)], we have
2.3 Zeros of period polynomials
Having argued the case for the conceptual importance of period polynomial and for its usefulness due to its structure, it becomes clear that it is of interest to examine it for its own sake, as a polynomial. We review work on its zeros as a polynomial.
For \(k \in 2 \mathbb {N}\), Murty et al. [28] studied the Ramanujan polynomial
and proved the following result.
Theorem 2.4
[28] All non-real zeros of the Ramanujan polynomial are on the unit circle.
With (2.19), the Ramanujan polynomial equals the odd part of \(-2z \widetilde{r}_{E_k}(z)/(k-2)!\)
Because of (2.8), the circle is a natural “line of symmetry” for the period polynomials, and therefore results such this can be thought of as a “Riemann Hypothesis” for period polynomials. This viewpoint was adopted in [29] where similar statements are connected to Manin’s theory of “zeta polynomials” \(Z_f(s)\). These are versions of the period polynomials that send the unit circle to \({\text {Re}}(s)=\frac{1}{2}\) and satisfy the functional equation \(Z_f(1-s)=\pm Z_f(s)\).
In [26], Lalín and Smyth studied the zeroes of the “Ramanujan polynomials”
Theorem 2.5
[26] For each \(k \in 2 \mathbb {N}\), the zeroes of \(\mathcal R_k\) all lie on the unit circle.
From a modular perspective, our interest in these polynomials is that, by (2.19) they are the full \(-2z \widetilde{r}_{E_k}(z)/(k-2)!\). In the sequel, we shall be concerned with analogues of Theorem 2.4 for derivatives of Eisenstein L-series. In particular, it will serve as the main motivation for our first steps towards understanding our broader conjectures for entire modular forms spaces.
An interesting recent interpretation of the period polynomial of Eisenstein series and of their zeros in view of Ramanujan’s “formula” for \(\zeta (2m+1)\) is discussed in [2]. In the same paper, a question is raised about a variation of the Ramanujan polynomial:
Note that \(p_{k/2-1}(z)=(2 \pi i)^{k-1} r_{E_k}(z)/(k-2)!\). In Remark 7.4 of [2], it is asked whether \(p_m\) and \(p_m^-(z)/z\) (where \(p_m^-\) is the odd part of \(p_m\)) are unimodular. In [11], we proved the second part of this conjecture.
Analogous results have been proved for cusp forms. For example, Conrey, Farmer, and Imamoḡlu [5] have proved that, apart from five “trivial” real zeroes, all zeroes of the odd part of the period polynomial of a cusp form lie on the unit circle.
Theorem 2.6
(Conrey, Farmer, and Imamoḡlu) If f is a cuspidal Hecke eigenform on \(\mathrm {SL}_2({\mathbb {Z}})\), then the odd part of \(r_f\) has zeroes at \(0,\pm \frac{1}{2},\pm 2\). The remainder of the zeros lies on the unit circle.
A similar picture exists for the full-period polynomials \(r_f\) for Hecke eigencuspforms f. However, in this case, there are no trivial zeros, and all zeros of \(r_f\) lie on the unit circle. This is summarized in the following result, shown by El-Guindy and Raji in [14] for level 1 and for general level N by Jin et al. in [20].
Theorem 2.7
(El-Guindy and Raji and Jin, Ma, Ono, and Soundararajan) If f is a Hecke eigencuspforms on \(\Gamma _0(N)\) for any N, then all zeroes of the period polynomial \(r_f\) lie on the unit circle.
Remark 2.8
Explicit approximations for the exact locations of the zeroes were given in [20].
The proofs of the above results are based on the origin of the period polynomial as a cocycle. In particular, the behaviour of \(r_f\) under the action of the involution S imposes a special structure on the polynomial (it is a self-inversive polynomial). This allows for a more convenient investigation of the location of the zeros thanks to the following result.
Lemma 2.9
Theorem 2.2 of [14]) If h(z) is a polynomial of degree n with all zeros inside the unit disk \(|z|\le 1\), then for any \(d\ge n\) and \(\lambda \) on the unit circle, the polynomial
has all its zeroes on the unit circle, provided that it is not identically zero.
Statements of this type have a long history which can be traced back to Hermite (see the Addendum of [26] for an account) but, in this form, the proposition has been proved in [14].
In this way, the problem of locating the zeros of \(r_f\) is reduced to locating the zeros of the polynomial h associated with \(r_f\) through Lemma 2.9. This is achieved by bounds and monotonicity statements for values of L-functions appearing in the coefficients of h. The results cited above are proved by using different such bounds and monotonicity statements.
3 “Period polynomial” for derivatives of L-functions
Beilinson’s conjecture, part of which is stated in Conj. 1, pertains to values of derivatives of L-functions and, as mentioned in the introduction, very little is known about the case of order greater than 0. This has motivated many approaches to the study of values of derivatives. We will outline one, due to Goldfeld and the first author (see [6, 7, 16] and the later works by them and their collaborators: [1, 8, 9]) that incorporates these values into the Eichler cohomology setting. In the cited papers, only the cuspidal case was studied but here we will describe the general case as that was described in [11].
3.1 First derivatives
We first recall the Dedekind eta function
and then set \(u(\tau ):=2\log (\eta (\tau ))\). For each \(\gamma \in \Gamma \), this function satisfies
for some \(c_{\gamma } \in {\mathbb {C}}\). In particular, \(c_S=-\frac{\pi i}{2}\).
Let, as before, f be a modular form of weight k for SL\(_2(\mathbb Z)\). With the definition (2.5), we set \(\sigma _f:=d^1v_f\) where
It can be proved that, although \(v_f\) is a cochain that takes values in the space \(\mathcal {O}\) of holomorphic functions on the upper-half plane, \(\sigma _f\) takes values in the much smaller space of polynomials of degree \(\le k-2\). Since, further, it is in the image of the differential map \(d^1\), we deduce:
Lemma 3.1
(Lemma 3.3 of [11]) The map \(\sigma _f\) is a 2-cocycle in \(P_{k-2}\).
As mentioned above, this construction extends the corresponding one or cusp forms given in [7]. This is the content of the following proposition which, further, expresses \(\sigma _f\) in a way which makes the analogy with the standard polynomial (2.9) more transparent.
Proposition 3.2
Let f be a cusp form of weight k for \(\Gamma \). Then
The connection with values of derivatives of L-functions is given by
Proposition 3.3
(Prop. 3.5 of [11]) Set
Then
The proposition is stated in general, but, for cuspidal f, the analogy to (2.17) is obvious.
3.2 Zeros of “period polynomials” for L-derivatives
In light of the analogy with the standard period polynomial, it is natural to ask whether similar patterns in the distribution of zeros occur in “period polynomials” for derivatives of L-functions. Inspired by the behaviour exhibited by ordinary period polynomials as described in Theorems 2.6 and 2.7, the authors searched for similar properties for polynomials built from L-derivatives in [11]. There, the analogous period polynomials were defined to be polynomials
in direct analogy with (1.1) and the following conjecture was formulated.
Conjecture 3.4
For any Hecke eigenform of weight k on \({\text {SL}}_2(\mathbb Z)\) the polynomial \(Q_f(z)\) has all its zeros on the unit circle. Moreover, the odd part of \(Q_f(z)\) has all of its zeros on the unit circle, except for trivial zeros at 0 and \(\pm a,\pm 1/a\) for some real number a.
The evidence for this conjecture was both theoretical and experimental. The former was provided by our proof of the second part of Conjecture 3.4 in the case of Eisenstein series. This is, at the same time, the analogue of the main result of [28] on period polynomials of Eisenstein series.
Theorem 3.5
[11] If 4|k, all nonzero zeroes of the odd part of \(Q_{E_k}\) lie on the unit circle.
As in the case of the standard period polynomial, the pivot of the proof is the cohomological origin of the “period polynomial” \(Q_{E_k}\) which allows us to study it as a self-inversive polynomial. On the other hand, we were then able to use more general theorems about locations of zeros (Eneström–Kakeya Theorem [15, 21]). This is because our construction parallels Brown’s version of the period polynomial of Eisenstein series (\(r_{E_k}\)) and not that of [34] (\(\tilde{r}_{E_k}\)) which, with its two extra terms, takes us away from the coefficient module of polynomials.
At first glance, since in Theorem 2.4 there are further real roots (in addition to 0), the conclusion of Theorem 3.5 appears to not be analogous with its counterpart Theorem 2.4. The reason for this is that, whereas the subject of Theorem 2.4 is Zagier’s version of the period polynomial of Eisenstein series, the subject of Theorem 3.5 is a polynomial which extends Brown’s version of the period polynomial of Eisenstein series. The analogue of Theorem 2.4 for Brown’s version of the period polynomial of Eisenstein series was stated as a question in [2] and has the same conclusion as Theorem 3.5 (as shown in [11]).
Question Are all nonzero zeroes of the odd part of
on the unit circle?
The experimental evidence for the truth of Conjecture 3.4 is also very convincing and will be outlined along the respective discussion of higher derivatives.
We end this section by noting that it would be very interesting to interpret the role of the number a in the statement of the conjecture, and in particular to find an explanation for them as “trivial zeros”, as was the case for the zeros with \(a=2\) in Theorem 2.6.
3.3 The case of higher derivatives
An advantage of the approach on derivatives of L-function discussed here is that it includes in a natural way higher derivatives about which, as mentioned earlier, very little is known. Therefore, any progress by this method in the case of first derivatives might lead to insights for higher derivatives as well.
The cohomological tool enabling to extend the constructions of Sect. 3.1 to higher derivatives is cup products. This, in the case we need it, is defined as a map
given by
A crucial property that that cup products of cocycles are cocycles. For \(\phi _i \in C^1(\Gamma , \mathcal {O})\), we set:
If v is the 1-cocycle given by \(\gamma \rightarrow u|_0(\gamma -1)\) (with u as in Sect. 3.1), we set, for \(n \in \mathbb N\),
As mentioned above, this will be a n-cocycle.
Let \(v_f \in C^n(\Gamma , \mathcal {O})\) be given by
Setting \(\sigma _f:=d^n v_f\), we arrive at the following analogue of Lemma 3.1 for higher cocycles.
Lemma 3.6
(Lemma 3.6 of [11]) The map \(\sigma _f\) takes values in \(P_{k-2}\) and thus gives an \((n+1)\)-cocycle in \(P_{k-2}\).
Finally, the analogue of Proposition 3.3 is
Proposition 3.7
(Prop. 3.7 of [11]) For each \(m \in \mathbb {N}\), set
Then
where \(\sigma _f\) has \(m+1\) arguments.
This proposition led us to formulate Conjecture 1.3 as the general version of Conjecture 3.4.
Conjecture 3.8
For any Hecke eigenform of weight k on \({\text {SL}}_2(\mathbb Z)\), and for each \(m\in \mathbb Z_{\ge 0}\), the polynomial
has all its zeros on the unit circle. Moreover, the odd part
has all of its zeros on the unit circle, except for zeros at 0 and \(\pm a,\pm 1/a\) for some \(a\in \mathbb R\).
We were able to prove the Eisenstein series case of the second part of this conjecture too, but we had to truncate the “lower order” terms from the \(\Lambda ^{(m)}_f\) appearing in \(Q_f\). The precise construction is slightly complicated but the essence of the theorem is entirely analogous to Theorem 3.5 (see Theorem 4.2 of [11]).
The experimental evidence for Conjecture 3.8 in the case of both the first and the higher derivatives was based on computer search. In particular, the authors used SAGE to check that the norms of all zeroes of all full-period polynomials with \(m\le 3\) and \(k\le 50\) were within \(10^{-10}\) of 1. The structure of the second part of the conjecture was made on the basis of similar computational experiments.
Dedication
Dedicated to Don Zagier in honor of his 65th birthday.
References
Bruggeman, R., Choie, Y., Diamantis, N.: Holomorphic automorphic forms and cohomology. Memoirs of the AMS arXiv:1404.6718 (in press)
Berndt, B., Straub, A.: Ramanujan’s formula for \(\zeta (2n+1)\), chapter 2 of the book. In: Montgomery, H., Nikeghbali, A., Rassias, M. (eds.) Exploring the Riemann Zeta Function, pp. 13–34. Springer, Berlin (2017)
Brown, F.: Multiple modular values and the relative completion of the fundamental group of \(M_{1,1}\). arXiv:1407.5167 (under review)
Coates, J., Wiles, A.: On the conjecture of Birch and Swinnerton-Dyer. Invent. Math. 39, 223–251 (1977)
Conrey, J.B., Farmer, D.W., Imamoglu, Ö.: The nontrivial zeros of period polynomials of modular forms lie on the unit circle. Int. Math. Res. Not. 20, 4758–4771 (2013)
Diamantis, N.: Special values of higher derivatives of \(L\)-functions. Forum Math. 11(1), 229–252 (1999)
Diamantis, N.: Hecke operators and derivatives of \(L\)-functions. Compos. Math. 125(1), 39–54 (2001)
Diamantis, N.: The geometry of certain cocycles associated to derivatives of \(L\)-functions. Forum Math. 17(5), 739–752 (2005)
Diamantis, N., Neururer, M., Strömberg, F.: A correspondence of modular forms and applications to values of \(L\)-series. Res. Number Theory 1, 27 (2015)
Diamantis, N., O’Sullivan, C.: Kernels of \(L\)-functions of cusp forms. Math. Ann. 346(4), 897–929 (2010)
Diamantis, N., Rolen, L.: Eichler cohomology and zeros of polynomials associated to derivatives of \(L\)-functions. arXiv:1704.02667 (under review)
Duke, W., Imamoglu, Ö., Tóth, Á.: Rational period functions and cycle integrals. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 80(2), 255–264 (2010)
Eichler, M.: Eine Verallgemeinerung der Abelsche Integrale. Math. Z. 67, 267–298 (1957) (under review)
El-Guindy, A., Raji, W.: Unimodularity of zeros of period polynomials of Hecke eigenforms. Bull. Lond. Math. Soc. 46(3), 528–536 (2014)
Eneström, G.: Ramarque sur un théorème relatif aux recines de l’equation \(a_nx_n+\cdots +a_0 = 0\) où tous les coefficients sont réels et positifs, Tôhoku Math. J. 18, 34–36 (1920). Translation of a Swedish article in Ofversigt of Konogl. Vertenskaps Akademiens Förhandlingar 50, 405–415 (1893)
Goldfeld, D.: Special values of derivatives of \(L\)-functions. Number theory (Halifax, NS, 1994), 159–173, CMS Conference Proceedings, vol. 15. American Mathematical Society, Providence, RI (1995)
Gross, B., Zagier, D.: Heegner points and derivative of \(L\)-series. Invent. Math. 85, 225–320 (1986)
Grosswald, E.: Die Werte der Riemannschen Zeta-funktion an ungeraden Argumentstellen, Nachr. Akad. Wiss. Göttingen, 9–13 (1970)
Iwaniec, H.: Topics in Classical Automorphic Forms. Graduate Studies in Mathematics, vol. 17. AMS, Providence (1991)
Jin, S., Ma, W., Ono, K., Soundararajan, K.: The Riemann Hypothesis for period polynomials of modular forms. Proc. Natl. Acad. Sci. USA 113(10), 2603–2608 (2016)
Kakeya, S.: On the limits of the roots of an algebraic equation with positive coefficients. Tohoku Math. J. 2, 140–142 (1912-1913)
Kohnen, W., Zagier, D.: In: Rankin, R.A. (ed.) Modular Forms with Rational Periods in Modular Forms. Ellis Horwood, Chichester, pp. 197–249 (1984)
Kontsevich, M., Zagier, D.: Periods, Mathematics Unlimited -2001 and Beyond, pp. 771–808. Springer, Berlin (2001)
Kolyvagin, V.: Finiteness of \(E(\mathbb{Q})\) and III\((E, \mathbb{Q})\) for a subclass of Weil curves. Izv. Akad. Nauk SSSR Ser. Mat. 52(3), 522–540 (1988)
Kolyvagin, V.: The Mordell–Weil and Shafarevich–Tate groups for Weil elliptic curves. Izv. Akad. Nauk SSSR Ser. Mat. 52(6), 1154–1180 (1988)
Lalín, M., Smyth, C.: Unimodularity of zeros of self-inversive polynomials. Acta Math. Hungar. 138(1–2), 85–101 (2013). Addendum, Acta Math. Hungar. 147 (2015), no. 1, 255–257
Manin, Y.T.: Periods of cusp forms and \(p\)-adic Hecke series. Math. Sb., pp. 371–393 (1973)
Murty, M., Smyth, C., Wang, R.: Zeros of Ramanujan polynomials. J. Ramanujan Math. Soc. 26, 107–125 (2011)
Ono, K., Rolen, L., Sprung, F.: Zeta-polynomials for modular form periods. Adv. Math. 306, 328–343 (2017)
Poincaré, H.: Sur les invariants arithmètiques. J. für Reine u. Ang. Math. 129, 89–150 (1905)
Shokurov, V.: Shimura integrals of cusp forms. Izv. Akad. Nauk SSSR Ser. Mat. 44(3), 670–718 720 (1980)
Shimura, G.: Sur les intégrales attachées aux formes automorphesm. J. Math. Soc. Jpn. 11, 291–311 (1959)
Shimura, G.: The special values of the zeta functions associated with cusp forms. Commun. Pure Appl. Math. 29(6), 783–804 (1976)
Zagier, D.: Periods of modular forms and Jacobi theta functions. Invent. Math. 104(3), 449–465 (1991)
Zagier, D.: Modular forms whose Fourier coefficients involve zeta-functions of quadratic fields. Modular functions of one variable, VI (Proceedings of Second International Conference, University of Bonn, Bonn, 1976) LNM 627. Springer, Berlin, pp. 105–169 (1977)
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 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.
About this article
Cite this article
Diamantis, N., Rolen, L. Period polynomials, derivatives of L-functions, and zeros of polynomials. Res Math Sci 5, 9 (2018). https://doi.org/10.1007/s40687-018-0126-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40687-018-0126-4