Abstract
In this paper, we show a non-vanishing result for L-functions associated to cuspidal Hecke eigenforms of half integral weight in plus space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Background
The first named author had shown in [4] that given any real number \(t_0\) and \(\epsilon >0\), then for k large enough, the average of the normalized L-functions \(L^*(f,s)\) with f varying over a basis of Hecke eigenforms of weight k on \(SL_2(\mathbb {Z})\) does not vanish on the line segment \(Im s=t_0\), \((k-1)/2< Re s<k/2-\epsilon , k/2+\epsilon<Re s<(k+1)/2\). In [5], the authors extend the result for cuspidal Hecke eigenforms of half integer weight. In what follows, we prove a non-vanishing result for sums of L-functions associated to cuspidal Hecke eigenforms of half-integral weight \(k+1/2\) where \(k\in 2\mathbb {Z}\) on level 4 in the plus space. For this, we determine the Fourier coefficients of the projected kernel function.
2 Projection onto the plus space
If \(z\in \mathbb {C}-\{0\}\) and \(x\in \mathbb {C}\), let \(z^x=e^{x\log z}\) where \(-\pi <arg z\le \pi \). Let \(q=e^{2\pi iz}\). The symbol \(\left( \frac{c}{d}\right) \) for c, \(d\ne 0\) integers is given in [6]. In addition, for more details about modular forms of half-integer weight, the reader can refer to [6]. We introduce the group \(\mathcal {C}\) consisting of all pairs \((A,\phi (z))\) where \(A=\left( \begin{array}{l@{\quad }l} a &{} b \\ c &{} d \\ \end{array} \right) \in GL_2^+(\mathbb {R})\) and \(\phi :\mathbb {H}\rightarrow \mathbb {C}\) is a holomorphic function with \(|\phi (z)|=(det A)^{-1/4}|cz+d|^{1/2}\) satisfying the following group law \((A,\phi (z))(B,\psi (z))=(AB,\phi (Bz)\psi (z))\). Throughout if \(\zeta =(A,\phi (z))\), k integer and \(f:\mathbb {H}\rightarrow \mathbb {C}\) is a function, we put \(f|_{k+1/2}\zeta =f|\zeta =\phi (z)^{-2k-1}f(Az)\). We have an embedding \(\Gamma _0(4)\hookrightarrow \mathcal {C}\) given by \(A\rightarrow A^*:=(A,j(A,z))\) where \(j(A,z)=\left( \frac{c}{d}\right) \left( \frac{-4}{d}\right) ^{-1/2}(cz+d)^{1/2}\) if \(A=\left( \begin{array}{l@{\quad }l} a &{} b \\ c &{} d \\ \end{array} \right) \). Recall also that \(M_{k+1/2}(4)\) consists of complex valued functions f holomorphic on \(\mathbb {H}\) which satisfy \(f|A^*=f\) for all \(A\in \Gamma _0(4)\) and which are holomorphic at the cusps. Also, \(S_{k+1/2}(4)\) is the subspace of \(M_{k+1/2}(4)\) consisting of f which vanish at the cusps. We also define \(M^+_{k+1/2}(4)\) to be the subspace of \(M_{k+1/2}(4)\) consisting of functions whose nth Fourier coefficients vanish whenever \((-1)^kn\equiv 2,3\mod (4)\). We also put \(S^+_{k+1/2}(4)=S_{k+1/2}(4)\cap M^+_{k+1/2}(4)\). Let L(f, s) be the L-function associated to cusp forms \(f\in S^+_{k+1/2}(4)\) defined by \(L(f,s)=\sum _{(-1)^kn\equiv 0,1 \ (4)}a_f(n)n^{-s}\) for \(\sigma :=Re \ s \gg 1\) where \(a_f(n)\) is the nth Fourier coefficient of f. The completed L-function is defined as \(L^*(f,s):=(2\pi )^{-s}2^s\Gamma (s)L(f,s)\).
The kernel function of the map \(f\rightarrow L^*(f,s)\)in the case of half integral weight on \(\Gamma _0(4)\) is given in [5] by
where
and the sum runs over all matrices \(A=\left( \begin{array}{cc} a &{}\quad b \\ c &{}\quad d \\ \end{array} \right) \) in \(\Gamma _0(4)\).
What we will do is to determine non-vanishing of L-functions for modular forms of half integral weight in the plus space. In order to do so, one needs to define the kernel function that acts on that space.
For the sake of efficiency, we will write
where \(A \in \Gamma _0(4)\). In order to determine the kernel function for modular forms in the plus space, one has to use the projection operator pr as given in [2]. For \(g \in S_k(\Gamma _0(4))\), we have
where
The Fourier expansion of the projected function g|pr (in the more general case of \(\Gamma _0(4N)\)) is given in ([2] Proposition 3) in terms of the Fourier coefficients of g at different cusps. In particular on \(\Gamma _0(4)\), we get the following lemma for \(R_{s,k}|pr\).
Lemma 1
where
and
Proof
As for the expansion at the infinite cusp, we follow similar steps as in [4] with minor changes due to the fact of considering real weight. We consider first the case \(ac=0\) where we get the elements \(\left( \begin{array}{ll} 1 &{}\quad n \\ 0 &{}\quad 1 \\ \end{array} \right) \) in \(\Gamma _0(4)\). The contribution of the terms with \(ac=0\) to the sum thus is given by
To determine the contribution of the terms with \(ac\ne 0\), we consider
We get
where the Fourier coefficients \(a_{s}(n)\) are given by
Here \(a'\) is an inverse of a modulo c, and \({_1}F_1(\alpha , \beta ;z)\) is Kummer’s degenerate hypergeometric function.
As for the expansion at the cusp 1, we have to determine the expansion of
where \(\eta ^{1}(z)=\left( \left( \begin{array}{ll} 1 &{}\quad 0 \\ 1 &{}\quad 1 \\ \end{array} \right) , (z+1)^{k+1/2}\right) \).
We have to determine \(a_s^1(n)\) such that
We have
where a and b chosen such that \(ad-bc=1\).
Replace \(c+d\) by c and \(a+b\) by a to get
Thus we get
where \(d(c)^*\) means that d runs through a primitive residue system modulo c. We proceed with finding \(a_s^1(n)\) similarly as we determined the expansion at infinity to get
What remains is to determine the expansion at the cusp 1/2. We have
where \(\eta ^{1/2}(z)=\left( \left( \begin{array}{ll} 1 &{}\quad 0 \\ 2 &{}\quad 1 \\ \end{array} \right) , (2z+1)^{k+1/2}\right) \).
We have to determine \(a_s^{1/2}(n)\) such that
We argue in the same way as at the cusp 1 and we obtain
\(\square \)
3 Statement of results
Throughout this section, we will assume that \(k\in 2\mathbb {Z}\). If \(f=\sum _{n\equiv 0,1 (4)}a_f(n)e^{2\pi inz}\in S^+_{k+1/2}(4)\), the L-function associated to f is defined by
The completed L-function defined as \(L^*(f,s)\) has the following functional equation
where \(W_4\) is the Fricke involution on \(S_{k+1/2}(4)\) defined by
cf [6]. Using [1], we know that \(S^+_{k+1/2}(4)\) has an orthogonal basis of Hecke eigenforms with respect to all Hecke operators \(T^+(p^2)\), p prime. Let \(\{f_{k,1},f_{k,2},\ldots f_{k,d}\}\) be such a basis of Hecke eigenforms, where d is the dimension of the space \(S^+_{k+1/2}(4)\). We know as well that we can choose the coefficients a(n) of the eigenforms to be real.
Since our projection operator is hermitian, we have for \(f\in S^+_{k+1/2}(4)\),
where \(c_k\) is a non-zero constant depending only on k. We therefore deduce that
for all \(f\in S^+_{k+1/2}(4).\) As a result, we have
(where \(c^{'}_k=\) constant) and we get
Theorem 1
Let \(t_0\in \mathbb {R}\). Then there exists a constant \(C(t_0,\epsilon )>0\) depending only on \(t_0\) and \(\epsilon \) such that for \(k>C(t_0,\epsilon )\) and \(k\in 2\mathbb {Z}\), the function
does not vanish at any point \(s=\sigma +it_0\) with \(t=t_0, k/2-1/4<\sigma <k/2+3/4\).
Proof
Assume that \(\sum _{j=1}^{d}\frac{1}{\langle f_{k,j}, f_{k,j}\rangle }L^*(f_{k,j}|W_4,s)=0\), for s as given in the theorem. This implies in particular that the first Fourier coefficient of \(R_{s,k}|pr\) is 0. Thus dividing by \(\frac{2}{3}4^s(2\pi )^s\Gamma (k+1/2-s)\), we have for \(k\in 2\mathbb {Z}\),
where
Let \(s=k/2+1/4-\delta +it_0\), where \(0\le \delta \le 1/2\). We have in [4] that
As a result, we have
We now take the limit of both sides as \(k\rightarrow \infty \) to get \(2\le 0\) and hence a contradiction.
\(\square \)
It is important to note that the above result translates into the same non-vanishing result for \(L^*(f_{k,j},s)\) and this due to the fact that the strip we are considering is invariant under \(s\rightarrow k+1/2-s\).
Corollary 1
Let \(s_0=\sigma +it_0\) with \( k/2-1/4<\sigma <k/2+3/4\), then for \(k>C(t_0,\epsilon )\), k even, there exists a Hecke eigenform \(f\in S^+_{k+1/2}(4)\) whose L-values do not vanish at \(s_0\).
References
Kohnen, W.: Modular forms of half-integral weight on \(\Gamma _0(4)\). Math. Ann. 248, 249–266 (1980)
Kohnen, W.: Fourier coefficients of modular forms of half-integral weight. Math. Ann. 271, 237–268 (1985)
Kohnen, W.: Newforms of half-integral weight. J. Reine. Angew. Math. 333, 32–72 (1982)
Kohnen, W.: Nonvanishing of Hecke L-functions. J. Number Theory 67, 182–189 (1997)
Ramakrishnan, B., Deo Shankhadhar, K.: Non-vanishing of L-functions associated to cusp forms of half-integral weight. Automorphic forms. Springer Proceedings in Mathematics and Statistics, vol. 115. pp. 223–231. Springer, Cham (2014)
Shimura, G.: On modular forms of half integral weight. Ann. Math. 97, 440–481 (1973)
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.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, 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 license, and indicate if changes were made.
About this article
Cite this article
Kohnen, W., Raji, W. Non-vanishing of L-functions associated to cusp forms of half-integral weight in the plus space. Res. number theory 3, 6 (2017). https://doi.org/10.1007/s40993-017-0072-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-017-0072-z