Let $ψ$ be a function such that $ψ(x) \rightarrow \infty$ as $x \rightarrow \infty.$ Let $λ_{f}(n)$ be the $n$-th Hecke eigenvalue of a fixed holomorphic cusp form $f$ for $SL(2,\mathbb{Z}).$ We show that for any real valued function $h(x)$ such that $(\log X)^{2-2α} \ll h(X) =o(X),$ $$\sum_{n=x}^{x+h(X)} |λ_{f}(n)| \ll_{f} h(X)ψ(X)(\log X)^{α-1}$$ for all but $O_{f}( Xψ(X)^{-2})$ many integers $x\in [X,2X-h(X)],$ in which $α$ is the average value of $|λ_{f}(p)|$ over primes. We generalize this for $|λ_{f}(n)|^{2^{k}}$ for $k \in \mathbb{Z^{+}}.$
This work contains a proof of a non-trivial explicit quantitative bound in the eigenvalue aspect for the sup-norm of a SL(3,Z) Hecke-Maass cusp form restricted to a compact set.
Let $F$ and $G$ be Siegel cusp forms for $\Sp_4(\Z)$ and weights $k_1, k_2$ respectively. Also let $F$ and $G$ be Hecke eigenforms lying in distinct eigen spaces. Further suppose that neither $F$ nor $G$ is a Saito-Kurokawa lift. In this article, we study simultaneous arithmetic behaviour of Hecke eigenvalues of these Hecke eigenforms.
In this paper, we study the Drinfeld cusp forms for $Γ_1(T)$ and $Γ(T)$ using Teitelbaum's interpretation as harmonic cocycles. We obtain explicit eigenvalues of Hecke operators associated to degree one prime ideals acting on the cusp forms for $Γ_1(T)$ of small weights and conclude that these Hecke operators are simultaneously diagonalizable. We also show that the Hecke operators are not diagonalizable in general for $Γ_1(T)$ of large weights, and not for $Γ(T)$ even of small weights. The Hecke eigenvalues on cusp forms for $Γ(T)$ with small weights are determined and the eigenspaces characte…
Given a self-dual cuspidal automorphic representation for GL(2) over a number field, we establish the existence of an infinite number of Hecke eigenvalues that are greater than an explicit positive constant, and an infinite number of Hecke eigenvalues that are less than an explicit negative constant. This provides an answer to a question of Serre. We also consider analogous problems for cuspidal automorphic representations that are not self-dual.
We introduce a new trace formula of Kuznetsov type involving the central standard L-values and the Whittaker periods of cuspidal automorphic representations of PGL_n(Q) which are spherical at the archimedean place. As an application, we show a simultaneous non-vanishing of standard L-values at n-1 points on the critical strip for infinitely many Hecke-Maass cuspidal newforms.
Let $k\geq 2$ and $n\geq 1$ be any integers. In this paper, we prove that all Hecke operators act trivially on the space of ordinary Drinfeld cuspforms of level $Γ_1(t^n)$ and weight $k$.
In this paper, we show that half of non-zero coefficients of the spinor zeta function of a Siegel cusp form of genus 2 are positive and half are negative.
This note is concerned with the zeros of holomorphic Hecke cusp forms of large weight on the modular surface. The zeros of such forms are symmetric about three geodesic segments and we call those zeros that lie on these segments, real. Our main results give estimates for the number of real zeros as the weight goes to infinity.
We prove that the fourth moment of holomorphic Hecke cusp forms is bounded provided that the Riemann Hypothesis holds for an appropriate degree 8 L-function. We accomplish this using Watson's formula, which translates the question in hand into a moment problem for L-functions which is amenable to the techniques of Soundararajan and Harper on obtaining sharp bounds for moments of the Riemann zeta function.
In this article, the authors give a lower bound on the number of sign changes of Fourier coefficients of a non-zero degree two Siegel cusp form of even integral weight on a Hecke congruence subgroup. They also provide an explicit upper bound for the first sign change of Fourier coefficients of such Siegel cusp forms. Explicit upper bound on the first sign change of Fourier coefficients of a non-zero Siegel cusp form of even integral weight on the Siegel modular group for arbitrary genus were dealt in an earlier work of Choie, the first author and Kohnen.
We prove that the "naive" convolution Dirichlet series D_2(s) attached to a degree 2 Siegel Hecke cusp form F, has a pole at s=1. As an application, we write down the asymptotic formula for the partial sums of the squares of the eigenvalues of $F$ with an explicit error term. Further, as a corollary, we are able to show that the abscissa of absolute convergence of the (normalized) spinor zeta function attached to F is s = 1.
We consider sign changes of Fourier coefficients of Hecke-Maass cusp forms for the group $\mathrm{SL}_3(\mathbb Z)$. When the underlying form is self-dual, we show that there are $\gg_\varepsilon X^{5/6-\varepsilon}$ sign changes among the coefficients $\{A(m,1)\}_{m\leq X}$ and that there is a positive proportion of sign changes for many self-dual forms. Similar result concerning the positive proportion of sign changes also hold for the real-valued coefficients $A(m,m)$ for generic $\mathrm{GL}_3$ cusp forms, a result which is based on a new effective Sato-Tate type theorem for a family of $\…
Let F in S_k(Sp(2g, Z)) be a cuspidal Siegel eigenform of genus g with normalized Hecke eigenvalues mu_F(n). Suppose that the associated automorphic representation pi_F is locally tempered everywhere. For each c>0 we consider the set of primes p for which |mu_F(p)| >= c and we provide an explicit upper bound on the density of this set. In the case g=2, we also provide an explicit upper bound on the density of the set of primes p for which mu_F(p) >= c.
There are various reasons why a naive analog of the Maeda conjecture has to fail for Drinfeld cusp forms. Focussing on double cusp forms and using the link found by Teitelbaum between Drinfeld cusp forms and certain harmonic cochains, we observed a while ago that all obvious counterexamples disappear for certain Hecke-invariant subquotients of spaces of Drinfeld cusp forms of fixed weight, which can be defined naturally via representation theory. The present work extends Teitelbaum's isomorphism to an adelic setting and to arbitrary levels, it makes precise the impact of representation theory,…
In the literature, the standard approach to finding bases of spaces of modular forms is via modular symbols and the homology of modular curves. By using the Eichler-Shimura isomorphism, a work by Wang shows how one can use a cohomological viewpoint to determine bases of spaces of cusp forms on $Γ_0(N)$ of weight $k \geq 2$ and character $χ$. It is interesting to look at the complexity of this alternative approach, and we do this for an explicit implementation of the algorithm suggested by Wang.
In this paper, we consider three problems about signs of the Fourier coefficients of a cusp form $\mathfrak{f}$ with half-integral weight:\begin{itemize}\item[--]The first negative coefficient of the sequence $\{\mathfrak{a}\_{\mathfrak{f}}(tn^2)\}\_{n\in \N}$,\item[--]The number of coefficients $\mathfrak{a}\_{\mathfrak{f}}(tn^2)$ of same signs,\item[--]Non-vanishing of coefficients $\mathfrak{a}\_{\mathfrak{f}}(tn^2)$ in short intervals and in arithmetic progressions,\end{itemize}where $\mathfrak{a}\_{\mathfrak{f}}(n)$ is the $n$-th Fourier coefficient of $\mathfrak{f}$ and $t$ is a square-f…
We investigate some key analytic properties of Fourier coefficients and Hecke eigenvalues attached to scalar-valued Siegel cusp forms $F$ of degree 2, weight $k$ and level $N$. First, assuming that $F$ is a Hecke eigenform that is not of Saito-Kurokawa type, we prove an improved bound in the $k$-aspect for the smallest prime at which its Hecke eigenvalue is negative. Secondly, we show that there are infinitely many sign changes among the Hecke eigenvalues of $F$ at primes lying in an arithmetic progression. Third, we show that there are infinitely many positive as well as infinitely many negat…
Let $f$ be a Hecke cusp form of weight $k$ for the full modular group, and let $\{λ_f(n)\}_{n\geq 1}$ be the sequence of its normalized Fourier coefficients. Motivated by the problem of the first sign change of $λ_f(n)$, we investigate the range of $x$ (in terms of $k$) for which there are cancellations in the sum $S_f(x)=\sum_{n\leq x} λ_f(n)$. We first show that $S_f(x)=o(x\log x)$ implies that $λ_f(n)<0$ for some $n\leq x$. We also prove that $S_f(x)=o(x\log x)$ in the range $\log x/\log\log k\to \infty$ assuming the Riemann hypothesis for $L(s, f)$, and furthermore that this range is best …
Matrix representations of Hecke operators on classical holomorphical cusp forms and corresponding period polynomials are well known. In this article we define Hecke operators on period functions and show that they correspond to the Hecke operators on Maass cusp forms. Moreover we give an explicite general compatibility criterion for formal sums of matrices to represent Hecke operators ob period functions. An explicite example with only nonnegative entries in the matrices is constructed.
In this paper we consider the question of when the set of Hecke eigenvalues of a cusp form on $GL_n(A_F)$ is contained in the set of Hecke eigenvalues of a cusp form on $GL_m(A_F)$ for $n \leq m$.This question is closely related to a question about finite dimensional representations of an abstract group, which also we consider in this work.
In this paper we express the multiple Hecke $L$-function in terms of a linear combination of iterated period integrals associated with elliptic cusp forms, which is introduced by Manin around 2004. This expression generalizes the classical formula of Hecke $L$-function obtained by the Mellin transformation of a cusp form. Also the expression gives a way of the analytic continuation of the multipleHecke $L$-function.
The standard realization of the Hecke algebra on classical holomorphic cusp forms and the corresponding period polynomials is well known. In this article we consider a nonstandard realization of the Hecke algebra on Maass cusp forms for the Hecke congruence subgroups Gamma_0(n). We show that the vector valued period functions derived recently by Hilgert, Mayer and Movasati as special eigenfunctions of the transfer operator for Gamma_0(n) are indeed related to the Maass cusp forms for these groups. This leads also to a simple interpretation of the ``Hecke like'' operators of these authors in te…
Integrality of Hecke eigenvalues and the growth of Hecke fields
Faculty of Education, Shinshu University（信州大学教育学部）；Faculty of Mathematics and Physics, Institute of Science and Engineering, Kanazawa University（金泽大学理工学域数理系）
We consider the Fourier expansion of a Hecke (resp.\ Hecke--Maaß) cusp form of general level $N$ at the various cusps of $Γ_{0}(N)\bs\Hb$. We explain how to compute these coefficients via the local theory of $p$-adic Whittaker functions and establish a classical Voronoï summation formula allowing an arbitrary additive twist. Our discussion has applications to bounding sums of Fourier coefficients and understanding the (generalised) Atkin--Lehner relations.
Let S_{w+2} be the vector space of cusp forms of weight w+2 on the full modular group, and let S_{w+2}^* denote its dual space. Periods of cusp forms can be regarded as elements of S_{w+2}^*. The Eichler-Shimura isomorphism theorem asserts that odd (or even) periods span S_{w+2}^*. However, periods are not linearly independent; in fact, they satisfy the Eichler-Shimura relations. This leads to a natural question: which periods would form a basis of S_{w+2}^*. First we give an answer to this question. Passing to the dual space S_{w+2}, we will determine a new basis for S_{w+2}. The even period …
We prove, in respect of an arbitrary Hecke congruence subgroup Γ=Γ_0(q_0) of the group SL(2,Z[i]), some new upper bounds (or `spectral large sieve inequalities') for sums involving Fourier coefficients of Γ-automorphic cusp forms on SL(2,C). The Fourier coefficients in question may arise from the Fourier expansion at any given cusp c of Γ: our results are not limited to the case in which c is the cusp at infinity. For this reason, our proof is reliant upon an extension, to arbitrary cusps, of the spectral-Kloosterman sum formula for Γ\SL(2,C) obtained by Hristina Lokvenec-Guleska in her doctor…
Let F be a real quadratic field with ring of integers O and with class number 1. Let Gamma be a congruence subgroup of GL_2 (O). We describe a technique to compute the action of the Hecke operators on the cohomology H^3 (Gamma; C). For F real quadratic this cohomology group contains the cuspidal cohomology corresponding to cuspidal Hilbert modular forms of parallel weight 2. Hence this technique gives a way to compute the Hecke action on these Hilbert modular forms.
Matrix representations of Hecke operators on classical holomorphical cusp forms and the corresponding period polynomials are well known. In this article we derive representations of Hecke operators for vector valued period functions for the congruence subgroups $Γ_0(n)$. For this we use an integral transform from the space of vector valued cusp forms to the space of vector valued period functions.
In 1997, Serre proved that the eigenvalues of normalised $p$-th Hecke operator $T^{'}_p$ acting on the space of cusp forms of weight $k$ and level $N$ are equidistributed in $[-2,2]$ with respect to a measure that converge to the Sato-Tate measure, whenever $N+k \to \infty$. In 2009, Murty and Sinha proved the effective version of Serre's theorem. In 2011, using Kuznetsov trace formula, Lau and Wang derived the effective joint distribution of eigenvalues of normalized Hecke operators acting on the space of primitive cusp forms of weight $k$ and level $1$. In this paper, we extend the result of…
We show that the systems of Hecke eigenvalues occurring in the spaces of Siegel modular forms (mod p) of fixed dimension g, fixed level N, and varying weight, are the same as the systems occurring in the spaces of Siegel cusp forms with the same parameters and varying weight. In particular, in the case g=1, this says that the Hecke eigensystems (mod p) coming from classical modular forms are the same as those coming from cusp forms. The proof uses restriction to the superspecial locus. We also give a comparison of cusp forms on the Satake compactification versus the toroidal compactifications …
A well-known observation of Serre and Tate is that the Hecke algebra acts locally nilpotently on modular forms mod 2 on $\mathrm{SL}_2(\mathbb{Z})$. We give an algorithm for calculating the degree of Hecke nilpotency for cusp forms, and we obtain a formula for the total number of cusp forms mod 2 of any given degree of nilpotency. Using these results, we find that the degrees of Hecke nilpotency in spaces $M_k$ have no limiting distribution as $k \rightarrow \infty$. As an application, we study the parity of the partition function using Hecke nilpotency.
We prove for L-function attached to an automorphic cusp form for the Hecke congruence group $Γ_0(D)$, which is also an eigenfunction of all the Hecke operators, that a positive proportion of its non-trivial zeros lie on the critical line. This result extends the work of J.L. Hafner of 1983 where the case of the full modular group is considered.
Let $η>0$ be a fixed positive number, let $N$ be a sufficiently large number. In this paper, we study the second moment of the sum of Hecke eigenvalues over primes in short intervals (whose length is $η\log N$) on average (with some weights) over the family of weight $k$ holomorphic Hecke cusp forms. We also generalize the above result to Hecke-Maass cusp forms for $SL(2,\mathbb{Z})$ and $SL(3,\mathbb{Z}).$ By applying the Hardy-Littlewood prime 2-tuples conjecture, we calculate the exact values of the mean values.
We sharpen some estimates of Rankin on power sums of Hecke eigenvalues, by using Kim & Shahidi's recent results on higher order symmetric powers. As an application, we improve Kohnen, Lau & Shparlinski's lower bound for the number of Hecke eigenvalues of same signs.
Let $f$ be a normalized Hecke-Maass cusp form of weight zero for the group $SL_2(\mathbb Z)$. This article presents several quantitative results about the distribution of Hecke eigenvalues of $f$. Applications to the $Ω_{\pm}$-results for the Hecke eigenvalues of $f$ and its symmetric square sym$^2(f)$ are also given.
Let πbe a unitary cuspidal automorphic representation for GL(n) over a number field. We establish upper bounds on the number of Hecke eigenvalues of πequal to a fixed complex number. For GL(2), we also determine upper bounds on the number of Hecke eigenvalues with absolute value equal to a fixed number γ; in the case γ=0, this answers a question of Serre. These bounds are then improved upon by restricting to non-dihedral representations. Finally, we obtain analogous bounds for a family of cuspidal automorphic representations for GL(3).
In this paper, we are interested in exploring the cancellation of Hecke eigenvalues twisted with an exponential sums whose amplitude is $\sqrt{n}$ at prime arguments.
A Hecke action on the space of periods of cusp forms, which is compatible with that on the space of cusp forms, was first computed using continued fraction and an explicit algebraic formula of Hecke operators acting on the space of period functions of modular forms was derived by studying the rational period functions. As an application an elementary proof of the Eichler-Selberg trace formula was derived. Similar modification has been applied to period space of Maass cusp forms with spectral parameter $s$. In this paper we study the space of period functions of Jacobi forms by means of Jacobi …
In this article, we derive a sub convexity estimate of Hecke eigen cusp forms associated to certain cocompact arithmetic subgroups of SL(2,R). The main result can be considered as the holomorphic version of the estimate of Hecke eigen Maass forms, derived in a famous paper of Iwaniec and Sarnak. A stronger estimate was derived by Khayutin and Steiner in arXiv:2009.07194. However, techniques used in both the papers are very different.
We prove a result on the distribution of Hecke eigenvalues, $μ_F(p^r)$ (for $r=1,2$ or $3$) of a non Saito--Kurokawa lift $F$ of degree $2$. As a consequence, we obtain an Omega result for the Hecke eigenvalues for such an $F$, which is the best possible in terms of orders of magnitude.
We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues associated to Hilbert modular forms over a totally real field.
