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.
We prove an upper bound for geodesic periods of Maass forms over hyperbolic manifolds. By definition, such periods are integrals of Maass forms restricted to a special geodesic cycle of the ambient manifold, against a Maass form on the cycle. Under certain restrictions, the bound will be uniform.
In this paper, we study non-trivial upper bounds for the sum $\sum \limits_{n \in S} |λ_f(n)|$ where $f$ is a normalized Maass eigencusp form for the full modular group, $λ_f(n)$ is the $n$th normalized Fourier coefficient of $f$ and $S$ is a proper subset of positive integers in $[1,x]$ with certain properties.
We prove a power saving over the local bound for the sup norm of Hecke-Maass forms on any quasi-split semisimple real group that is not isogenous to a product of odd special unitary groups.
In this paper, we improve the sup-norm bound and the lower bound of the number of nodal domains for dihedral Maass forms, which are a distinguished sequence of Laplacian eigenfunctions on an arithmetic hyperbolic surface. More specifically, let $ϕ$ be a dihedral Maass form with spectral parameter $t_ϕ$, then we prove that $\|ϕ\|_\infty \ll t_ϕ^{3/8+\varepsilon} \|ϕ\|_2$, which is an improvement over the bound $t_ϕ^{5/12+\varepsilon} \|ϕ\|_2$ given by Iwaniec and Sarnak. As a consequence, we get a better lower bound for the number of nodal domains intersecting a fixed geodesic segment under the…
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.
In this work we prove a prime number type theorem involving the normalised Fourier coefficients of holomorphic and Maass cusp forms, using the classical circle method. A key point is in a recent paper of Fouvry and Ganguly, based on Hoffstein-Ramakrishnan's result about the non-existence of the Siegel zeros for $GL(2)$ $L$-functions, which allows us to improve preceding estimates.
We investigate the norm of a degree 2 Siegel modular form of asymptotically large weight whose argument is restricted to the 3-dimensional subspace of its imaginary part. On average over Saito-Kurokawa lifts an asymptotic formula is established that is consistent with the mass equidistribution conjecture on the Siegel upper half space as well as the Lindelof hypothesis for the corresponding Koecher-Maass series. The ingredients include a new relative trace formula for pairs of Heegner periods.
We study two closely related problems stemming from the random wave conjecture for Maass forms. The first problem is bounding the $L^4$-norm of a Maass form in the large eigenvalue limit; we complete the work of Spinu to show that the $L^4$-norm of an Eisenstein series $E(z,1/2+it_g)$ restricted to compact sets is bounded by $\sqrt{\log t_g}$. The second problem is quantum unique ergodicity in shrinking sets; we show that by averaging over the centre of hyperbolic balls in $Γ\backslash \mathbb{H}$, quantum unique ergodicity holds for almost every shrinking ball whose radius is larger than the …
Duke, Imamoglu, and Toth constructed a polyharmonic Maass form of level 4 whose Fourier coefficients encode real quadratic class numbers. A more general construction of such forms was subsequently given by Bruinier, Funke, and Imamoglu. Here we give a direct construction of such a form for the full modular group and study the properties of its coefficients. We give interpretations of the coefficients of the holomorphic parts of each of these polyharmonic Maass forms as inner products of certain weakly holomorphic modular forms and harmonic Maass forms. The coefficients of square index are part…
Let $f$ be a Petersson normalized Hecke-Maass cusp form with spectral parameter $t\geq 2$ and let $\mathcal{C}_{D}$ be the union of closed geodesics in $\text{Sl}_{2}(\mathbb{Z})\setminus \mathbb{H}$ associated to a fundamental discriminant $D>0$. Following a suggestion by Sarnak in his letter to Reznikov, we express the restriction norm $||f|_{\mathcal{C}_{D}}||_{2}^{2}$ as a weighted sum of central values of L-functions using Waldspurger's formula. This allows us to get an unconditional improvement over the current bounds.
Let $f$ and $g$ be two Hecke-Maass cusp forms of weight zero for $SL_2(\mathbb Z)$ with Laplacian eigenvalues $\frac{1}{4}+u^2$ and $\frac{1}{4}+v^2$, respectively. Then both have real Fourier coefficients say, $λ_f(n)$ and $λ_g(n)$, and we may normalize $f$ and $g$ so that $λ_f(1)=1=λ_g(1)$. In this article, we first prove that the sequence $\{λ_f(n)λ_g(n)\}_{n \in \mathbb{N}}$ has infinitely many sign changes. Then we derive a bound for the first negative coefficient for the same sequence in terms of the Laplacian eigenvalues of $f$ and $g$.
Let $f$ be a Hecke-Maass cusp form for $\rm SL_2(\mathbb{Z})$ with Laplace eigenvalue $λ_f(Δ)=1/4+μ^2$ and let $λ_f(n)$ be its $n$-th normalized Fourier coefficient. It is proved that, uniformly in $α, β\in \mathbb{R}$, $$ \sum_{n \leq X}λ_f(n)e\left(αn^2+βn\right) \ll X^{7/8+\varepsilon}λ_f(Δ)^{1/2+\varepsilon}, $$ where the implied constant depends only on $\varepsilon$. We also consider the summation function of $λ_f(n)$ and under the Ramanujan conjecture we are able to prove $$ \sum_{n \leq X}λ_f(n)\ll X^{1/3+\varepsilon}λ_f(Δ)^{4/9+\varepsilon} $$ with the implied constant depending only …
Let $G$ be an anisotropic semisimple group over a totally real number field $F$. Suppose that $G$ is compact at all but one infinite place $v_0$. In addition, suppose that $G_{v_0}$ is $\mathbb{R}$-almost simple, not split, and has a Cartan involution defined over $F$. If $Y$ is a congruence arithmetic manifold of non-positive curvature associated to $G$, we prove that there exists a sequence of Laplace eigenfunctions on $Y$ whose sup norms grow like a power of the eigenvalue.
Blomer and Maga recently proved that, if $F$ is an $L^2$-normalized Hecke Maass cusp form for $\mathrm{SL}_n(\mathbb Z)$, and $Ω$ is a compact subset of $\mathrm{PGL}_n(\mathbb R)/\mathrm{PO}_n(\mathbb R)$, then we have $\|F|_Ω\|_\infty\ll_Ωλ_F^{n(n-1)/8-δ_n}$ for some $δ_n>0$, where $λ_F$ is the Laplacian eigenvalue of $F$. In the present paper, we prove an explicit version of their result.
Let $π$ be a Hecke--Maass cusp form for $\rm SL_3(\mathbb{Z})$ with normalized Hecke eigenvalues $λ_π(n,r)$. Let $f$ be a holomorphic or Maass cusp form for $\rm SL_2(\mathbb{Z})$ with normalized Hecke eigenvalues $λ_f(n)$. In this paper, we are concerned with obtaining nontrivial estimates for the sum \begin{equation*} \sum_{r,n\geq 1}λ_π(n,r)λ_f(n)e\left(t\,φ(r^2n/N)\right)V\left(r^2n/N\right), \end{equation*} where $e(x)=e^{2πix}$, $V(x)\in \mathcal{C}_c^{\infty}(0,\infty)$, $t\geq 1$ is a large parameter and $φ(x)$ is some real-valued smooth function. As applications, we give an improved s…
The sup-norm problem in analytic number theory asks for the largest value taken by a given automorphic form. We observe that the function-field version of this problem can be reduced to the geometric problem of finding the largest dimension of the $i$th stalk cohomology group of a given Hecke eigensheaf at any point. This problem, in turn, can be reduced to the intersection-theoretic problem of bounding the "polar multiplicities" of the characteristic cycle of the Hecke eigensheaf, which in known cases is the nilpotent cone of the moduli space of Higgs bundles. We solve this problem for newfor…
We show the estimates \inf_T \int_T^{T+δ} |ζ(1+it)|^{-1} dt =e^{-γ}/4 δ^2+ O(δ^4) and \inf_T \int_T^{T+δ} |ζ(1+it)| dt =e^{-γ} π^2/24 δ^2+ O(δ^4) as well as corresponding results for sup-norm, L^p-norm and other zeta-functions such as the Dirichlet L-functions and certain Rankin-Selberg L-functions. This improves on previous work of Balasubramanian and Ramachandra for small values of δand we remark that it implies that the zeta-function is not universal on the line Re(s)=1. We also use recent results of Holowinsky (for Maass wave forms) and Taylor et al. (Sato-Tate for holomorphic cusp forms )…
In [BS07] Breuil and Schneider formulated a conjecture on the equivalence of the existence of invariant norms on certain $p$-adically locally algebraic representations of $GL_n(F)$ and the existence of certain de-Rham representations of $Gal(\bar{F}/F)$, where $F$ is a finite extension of $\mathbb{Q}_p$. In [Bre03b, DI13] Breuil and de Ieso proved that in the case $n = 2$ and under some restrictions, the existence of certain admissible filtrations on the $ϕ$-module associated to the two-dimensional de-Rham representation of $Gal(\bar{F}/F)$ implies the existence of invariant norms on the corre…
Let f: S' --> S be a finite and faithfully flat morphism of locally noetherian schemes of constant rank n and let G be a smooth, commutative and quasi-projective S-group scheme with connected fibers. For every r>0, let Res_{G}^{(r)}: H^{r}(S_{et},G)---> H^{r}(S'_{et},G) and Cores_{G}^{(r)}: H^{r}(S'_{et},G)---> H^{r}(S_{et},G) be, respectively, the restriction and corestriction maps in etale cohomology induced by f. For certain pairs (f, G), we construct maps α_{r}: Ker Cores_{G}^{(r)}---> Coker Res_{G}^{(r)} and β_{r}: Coker Res_{G}^{(r)}---> Ker Cores_{G}^{(r)} such that α_{r}oβ_{r}=β_{r}oα_…
We show an asymptotic formula for the L^2 norm of the Eisenstein series restricted to a segment of a geodesic connecting infinity and an arbitrary real. For generic geodesics of this form, the asymptotic formula shows that the Eisenstein series satisfies restricted QUE. On the other hand, for rational geodesics, the Eisenstein series does not satisfy restricted quantum ergodicity. As an application, we show that the zero set of the Eisenstein series intersects every such geodesic segment, provided the spectral parameter is large. We also make analogous conjectures for the Maass cusp forms. In …
We estimate the $L^2$ norm of the restriction to a totally geodesic submanifold of the eigenfunctions of the Laplace-Beltrami operator on the standard flat torus $\mathbb{T}^d$, $d\ge2$. We reduce getting correct bounds to counting lattice points in the intersection of some $ν$-transverse bands on the sphere. Moreover, we prove the correct bounds for rational totally geodesic submanifolds of arbitrary codimension. In particular, we verify the conjecture of Bourgain-Rudnick on $L^2$-restriction estimates for rational hyperplanes. On $\mathbb{T}^2$, we prove the uniform $L^2$ restriction bounds …