We consider the analogue of the quantum unique ergodicity conjecture for holomorphic Hecke eigenforms on compact arithmetic hyperbolic surfaces. We show that this conjecture follows from nontrivial bounds for Hecke eigenvalues summed over quadratic progressions. Our reduction provides an analogue for the compact case of a criterion established by Luo--Sarnak for the case of the non-compact modular surface. The novelty is that known proofs of such criteria have depended crucially upon Fourier expansions, which are not available in the compact case. Unconditionally, we establish a twisted variant of the Holowinsky--Soundararajan theorem involving restrictions of normalized Hilbert modular forms arising via base change.
We prove an equidistribution result for Hecke operators acting on the basic stratum of certain Shimura varieties. We relate the rate of convergence to the bounds from the Ramanujan conjecture of certain cuspidal automorphic representations on Gl_n for which this conjecture is known, and therefore we obtain optimal estimates on the rate of convergence.
For a fixed prime p, we consider the (finite) set of supersingular elliptic curves over $\bar{\mathbb{F}}$. Hecke operators act on this set. We compute the asymptotic frequence with which a given supersingular elliptic curve visits another under this action.
We investigate the equidistribution of Hecke eigenforms on sets that are shrinking towards infinity. We show that at scales finer than the Planck scale they do not equidistribute while at scales more coarse than the Planck scale they equidistribute on a full density subsequence of eigenforms. On a suitable set of test functions we compute the variance showing interesting transition behavior at half the Planck scale.
Using Duke's large sieve inequality for Hecke Gr{ö}ssencharaktere and the new sieve methods of Maynard and Tao, we prove a general result on gaps between primes in the context of multidimensional Hecke equidistribution. As an application, for any fixed $0<ε<\frac{1}{2}$, we prove the existence of infinitely many bounded gaps between primes of the form $p=a^2+b^2$ such that $|a|<ε\sqrt{p}$. Furthermore, for certain diagonal curves $\mathcal{C}:ax^α+by^β=c$, we obtain infinitely many bounded gaps between the primes $p$ such that $|p+1-\#\mathcal{C}(\mathbb{F}_p)|<ε\sqrt{p}$.
This paper is a continuation of the author's previous wotk. We supplement four results on a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$. First, we improve the result on Hecke fields. Namely, we prove that the degree of Hecke fields is unbounded on the subspace of genuine forms which do not come from functorial lift of smaller subgroups of $GSp_4$ under a conjecture in local-global compatibility and Arthur's classification for $GSp_4$. Second, we prove simultaneous vertical Sato-Tate theorem. Namely, we prove simultaneous equidistribution of Hecke eigenvalues at finitely many…
We use the theory of unipotent flows to prove, in a general setting, the equidistribution of Hecke points. We follow the approach of Burger-Sarnak, and use a theorem of Mozes-Shah.
We prove a conjecture of Rudnick and Sarnak on the mass equidistribution of Hecke eigenforms. This builds upon independent work of the authors see arxiv.org:math/0809.1640 and arxiv.org:math/0809.1635.
We establish the Sato-Tate equidistribution of Hecke eigenvalues on average for families of Hecke--Maass cusp forms on SL(n,R)/SO(n). For each of the principal, symmetric square and exterior square L-functions we verify that the families are essentially cuspidal and deduce the level distribution with restricted support of the low-lying zeros. We also deduce average estimates toward Ramanujan.
We consider families of exponential sums indexed by a subgroup of invertible classes modulo some prime power $q$. For fixed $d$, we restrict to moduli $q$ so that there is a unique subgroup of invertible classes modulo $q$ of order $d$. We study distribution properties of these families of sums as $q$ grows and we establish equidistribution results in some regions of the complex plane which are described as the image of a multi-dimensional torus via an explicit Laurent polynomial. In some cases, the region of equidistribution can be interpreted as the one delimited by a hypocycloid, or as a Mi…
We consider a family of character sums as multiplicative analogues of Kloosterman sums. Using Gauss sums, Jacobi sums and Deligne's bound for hyper-Kloosterman sums, we establish asymptotic formulae for any real (positive) moments of the above character sum as the character runs over all non-trivial multiplicative characters mod $p.$ Moreover, an arcsine law is also established as a consequence of the method of moments. The evaluations of these moments also allow us to obtain asymptotic formulae for moments of such character sums weighted by special $L$-values (at $1/2$ and $1$).
We investigate the distribution of the angles of Gauss sums attached to the cuspidal representations of general linear groups over finite fields. In particular we show that they happen to be equidistributed w.r.t.the Haar measure. However, for representations of $PGL_2(\mathbb F_q)$, they are clustered around $1$ and $-1$ for odd $p$ and around $1$ for $p=2$.
Let $\mathbf{F}_q$ be a finite field of $q$ elements. We show that the normalized Jacobi sum $J(χ,η)/\sqrt{q}$, for each fixed non-trivial multiplicative character $η$, becomes equidistributed in the unit circle as $q\rightarrow+\infty,$ when $χ$ runs over all non-trivial multiplicative characters different from $η^{-1}.$ Previously, the similar equidistribution was obtained by Katz and Zheng by varying both of $χ$ and $η$. On the other hand, we also obtain the equidistribution of $J(χ,η)$ as $(χ,η)$ runs over $\mathcal{X}\times\mathcal{Y}\subseteq(\widehat{\mathrm{F}^*})^2$, as long as $|\mat…
We use a specialization of Ramanujan's ${}_1ψ_1$ summation to give a new proof of a recent formula of Hickerson and Mortenson which expands a special family of Hecke-type double sums in terms of Appell-Lerch sums and theta functions.
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.
Shifted convolution sums play a prominent rôle in analytic number theory. We investigate pointwise bounds, mean-square bounds, and average bounds for shifted convolution sums for Hecke eigenforms.
By developing a connection between partial theta functions and Appell-Lerch sums, we find and prove a formula which expresses Hecke-type double sums in terms of Appell-Lerch sums and theta functions. Not only does our formula prove classical Hecke-type double sum identities such as those found in work Kac and Peterson on affine Lie Algebras and Hecke modular forms, but once we have the Hecke-type forms for Ramanujan's mock theta functions our formula gives straightforward proofs of many of the classical mock theta function identities. In particular, we obtain a new proof of the mock theta conj…
We extend Holowinsky and Soundararajan's proof of quantum unique ergodicity for holomorphic Hecke modular forms on SL(2,Z), by establishing it for automorphic forms of cohomological type on GL_2 over an arbitrary number field which satisfy the Ramanujan bounds. In particular, we have uncondtional theorems over totally real and imaginary quadratic fields. In the totally real case we show that our result implies the equidistribution of the zero divisors of holomorphic Hecke modular forms, generalising a result of Rudnick over Q.
By elaborating a two-dimensional Selberg sieve with asymptotics and equidistributions of Kloosterman sums from $\ell$-adic cohomology, as well as a Bombieri--Vinogradov type mean value theorem for Kloosterman sums in arithmetic progressions, it is proved that for any given primitive Hecke--Maass cusp form of trivial nebentypus, the eigenvalue of the $n$-th Hecke operator does not coincide with the Kloosterman sum $\mathrm{Kl}(1,n)$ for infinitely many squarefree $n$ with at most $100$ prime factors. This provides a partial negative answer to a problem of Katz on modular structures of Kloosterm…
We develop a setting in which one can evaluate certain Hecke-Rogers series in terms of false theta functions. We apply our setting to recent false theta function identities of Chan and Kim as well as Andrews and Warnaar.
We study semi-classical limits of eigenfunctions of a quantized linear hyperbolic automorphism of the torus ("cat map"). For some values of Planck's constant, the spectrum of the quantized map has large degeneracies. Our first goal in this paper is to show that these degeneracies are coupled to the existence of quantum symmetries. There is a commutative group of unitary operators on the state-space which commute with the quantized map and therefore act on its eigenspaces. We call these "Hecke operators", in analogy with the setting of the modular surface. We call the eigenstates of both the qu…
We study smoothed character sums involving $\sum_{m,n} ( \frac{m}{n} )_2$, where $( \frac{m}{n} )_2$ denotes the quadratic symbol in the Gaussian field. We extend previously known results to obtain asymptotic formulas for the sums considered to larger ranges of $m$ and $n$.
For the generalized Dedekind sums s_{ij}(p,q) defined in association with the x^{i}y^{j}-coefficient of the Todd power series of the lattice cone in R^2 generated by (1,0) and (q,p), we associate an exponential sum. We obtain this exponential sum using the cocycle property of the Todd series of 2d cones and the nonsingular cone decomposition along with the continued fraction of q/p. Its Weil bound is given for the modulus q, applying the purity theorem of the cohomology of the related l-adic sheaf due to Denef and Loeser. The Weil type bound of Denef and Loeser fulfills the Weyl's equidistribu…
We obtain four Hecke-type double sums for three of Ramanujan's third order mock theta functions. We discuss how these four are related to the new mock theta functions of Andrews' work on $q$-orthogonal polynomials and Bringmann, Hikami, and Lovejoy's work on unified Witten-Reshetikhin-Turaev invariants of certain Seifert manifolds. We then prove identities between these new mock theta functions by first expressing them in terms of the universal mock theta function.
Improving and extending recent results of the author, we conditionally estimate exponential sums with Dirichlet coefficients of L-functions, both over all integers and over all primes in an interval. In particular, we establish new conditional results on exponential sums with Hecke eigenvalues and squares of Hecke eigenvalues over primes. We employ these estimates to improve our recent result on squares of Hecke eigenvalues at Piatetski-Shapiro primes under the Riemann Hypothesis for symmetric square L-functions for Hecke eigenforms.
We approach the holomorphic analogue to the Quantum Unique Ergodicity conjecture through an application of the Large Sieve. We deal with shifted convolution sums as in ([Ho], arXiv:0809.1669), with various simplifications in our analysis due to the knowledge of the Ramanujan-Petersson conjecture in this holomorphic case.
We consider the question of the correlation of Fourier coefficients of modular forms with functions of algebraic origin. We establish the absence of correlation in considerable generality (with a power saving of Burgess type) and a corresponding equidistribution property for twisted Hecke orbits. This is done by exploiting the amplification method and the Riemann Hypothesis over finite fields, relying in particular on the ell-adic Fourier transform introduced by Deligne and studied by Katz and Laumon.
We prove $\sum_{K-G}\le κ_j \le K+G}α_j H_j^3(1/2) \ll_εGK^{1+ε}$ for $K^ε\le G \le K$, where $α_j = |ρ_j(1)|^2(\cosh πκ_j)^{-1}$, and $ρ_j(1)$ is the first Fourier coefficient of the Maass wave form corresponding to the eigenvalue $λ_j = κ_j^2 + 1/4$ to which the Hecke series $H_j(s)$ is attached. This result yields the new bound $H_j(1/2) \ll_εκ_j^{1/3+ε}$.
Let q be a prime and -D < -4 be an odd fundamental discriminant such that q splits in Q(\sqrt{-D}). For f a weight zero Hecke-Maass newform of level q and h the weight one theta series of level D corresponding to an ideal class group character of Q(\sqrt{-D}), we establish a hybrid subconvexity bound for L(f \times h,s) at the central point when q = D^η for 0 < η< 1. With this circle of ideas, we show that the Heegner points of level q and discriminant D become equidistributed, in a natural sense, as q, D become large with q < D^{1/20-\varepsilon}. Our approach to these problems is connected t…
We give an introduction to adelic mixing and its applications for mathematicians knowing about the mixing of the geodesic flow on hyperbolic surfaces. We focus on the example of the Hecke trees in the modular surface.
The purpose of this paper is to obtain asymptotics of shifted sums of Hecke eigenvalue squares on average. We show that for $X^{\frac{2}{3}+ε} < H <X^{1-ε},$ there are constants $B_{h}$ such that $$ \sum_{X\leq n \leq 2X} λ_{f}(n)^{2}λ_{f}(n+h)^{2}-B_{h}X=O_{f,A,ε}\big(X (\log X)^{-A}\big)$$ for all but $O_{f,A,ε}\big(H(\log X)^{-3A}\big)$ integers $h \in [1,H]$ where $\{λ_{f}(n)\}_{n\geq1}$ are normalized Hecke eigenvalues of a fixed holomorphic cusp form $f.$ Our method is based on the Hardy-Littlewood circle method. We divide the minor arcs into two parts $m_{1}$ and $m_{2}.$ In order to tr…
Let f(z) = sum_n a(n) n^{(k-1)/2} e(nz) be a cusp form for Gamma_0(N), character chi and weight k geq 4. Let q(x) = x^2 + sx + t be a polynomial with integral coefficients. It is shown that sum_{n \leq X} a(q(n)) = cX + O(X^{6/7+eps}) for some constant c depending on f and q. The constant vanishes in many cases, for example if k is even. On the way a Kuznetsov formula for half-integral weight and entries having different sign is derived.
We prove a uniform estimate for sums of Hecke--Maass eigenvalues squared over primes in short intervals that can be regarded as an analogue of Hoheisel's classical prime number theorem for all real analytic cusp forms. Our argument is modelled after our treatment of Linnik's least prime number theorem for arithmetic progressions (Tata LN 72) and depends on recent works in the theory of automorphic representations. We stress that constants in the present work, including those implicit, are all universal and effectively computable, although we pay no particular attention to numerical precision. …
In this paper we give a modular interpretation of the $k$-th symmetric power $L$-function of the Kloosterman family of exponential sums in characteristics 2 and 3, and in the case of $p=2$ and $k$ odd give the precise 2-adic Newton polygon. We also give a $p$-adic modular interpretation of Dwork's unit root $L$-function of the Kloosterman family, and give the precise 2-adic Newton polygon when $k$ is odd. In a previous paper, we gave an estimate for the $q$-adic Newton polygon of the symmetric power $L$-function of the Kloosterman family when $p \geq 5$. We discuss how this restriction on prim…
Upper bound estimates for the exponential sum $$ \sum_{K<κ_j\le K'<2K} α_j H_j^3(1/2) \cos(\k_j\log({4{\rm e}T\over κ_j})) \qquad(T^ε\le K \le T^{1/2-ε}) $$ are considered, where $α_j = |ρ_j(1)|^2(\coshπκ_j)^{-1}$, and $ρ_j(1)$ is the first Fourier coefficient of the Maass wave form corresponding to the eigenvalue $λ_j = κ_j^2 + {1\over4}$ to which the Hecke series $H_j(s)$ is attached. The problem is transformed to the estimation of a classical exponential sum involving the binary additive divisor problem. The analogous exponential sums with $H_j(\hf)$ or $H_j^2(\hf)$ replacing $H_j^3(1/2)$ a…
We provide a new and simple automorphic method using Eisenstein series to study the equidistribution of modular symbols modulo primes, which we apply to prove an average version of a conjecture of Mazur and Rubin. More precisely, we prove that modular symbols corresponding to a Hecke basis of weight 2 cusp forms are asymptotically jointly equidistributed mod $p$ while we allow restrictions on the location of the cusps. As an application, we obtain a residual equidistribution result for Dedekind sums. Furthermore, we calculate the variance of the distribution and show a surprising bias with con…
We consider cotangent sums associated to the zeros of the Estermann zeta function considered by the authors in their previous paper [5]. We settle a question on the rate of growth of the moments of these cotangent sums left open in [5], and obtain a simpler proof of the equidistribution of these sums.
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 …
