Abstract
Let \(\phi \) be a Laplace eigenfunction on a compact hyperbolic surface attached to an order in a quaternion algebra. Assuming that \(\phi \) is an eigenfunction of Hecke operators at a fixed finite collection of primes, we prove an \(L^\infty \)-norm bound for \(\phi \) that improves upon the trivial estimate by a power of the logarithm of the eigenvalue. We have constructed an amplifier whose length depends on the support of the amplifier on Hecke trees. We have used a method of Bérard (Math Z 155: 249–276, 1977) to improve the Archimedean amplification.
Similar content being viewed by others
1 Introduction
1.1 Main theorem
Let M be a compact Riemannian manifold and \(\phi \) be a function on M that satisfies \(\varDelta \phi +\lambda ^2\phi =0\) and \(\Vert \phi \Vert _2=1\), where \(\varDelta \) is the Laplace–Beltrami operator on M and by \(\Vert \phi \Vert _p\) we mean \(\Vert \phi \Vert _{L^p(M)}\). It is known that (see e.g. [11]) one can have a general bound of the form
It is usually believed that if the geodesic flow on the unit cotangent bundle of M is sufficiently chaotic then the bound (1) can be improved. One result of this kind is due to Bérard [1], who proves that if M has negative sectional curvature, then one has
The case of bounding the supnorm of eigenfunctions on arithmetic manifolds is an interesting and more tractable problem due to automorphy and symmetries arising from the underlying Hecke algebra; one expects an improvement in (1), namely \(\Vert \phi \Vert _\infty \ll \lambda ^\varepsilon \), on a compact hyperbolic surface. The first breakthrough was achieved by Iwaniec and Sarnak [12] who proved that on a compact arithmetic hyperbolic surface (such as a quotient of \(\mathscr {H}^2\) by the group of units in an order of a quaternion division algebra over \(\mathbb {Q}\)) if \(\phi \) is an eigenfunction of the full Hecke algebra then
While the most general question still remains open, one can weaken the assumption of full Hecke symmetry and ask to improve upon the trivial estimate (2).
In this article, we will improve the estimate (2) assuming only that \(\phi \) is an eigenfunction of p-Hecke operators for fixed finitely many primes p. Following the pre-trace formula approach as in [12], we achieve a power of logarithm saving in (2). We will describe now our main theorem.
Let M be a compact hyperbolic surface. From the theorem of Cartan and Hadamard and the uniformization theorem, \(M=\varGamma \backslash \mathscr {H}^2\), where \(\mathscr {H}^2\) is the hyperbolic plane and \(\varGamma \) is a discrete subgroup of \(\mathrm {SL}_2(\mathbb {R})\). To make use of the Hecke symmetry, we assume that \(\varGamma \) is a discrete subgroup of \(\mathrm {SL}_2(\mathbb {R})\) with an arithmetic structure. For the ease of presentation of the paper, we will henceforth assume that \(\varGamma \) is the unit group of a maximal order in a quaternion division algebra over \(\mathbb {Q}\). Let \(\mathscr {P}\) be a fixed finite set of primes at which the underlying order is unramified.
Theorem 1
Let \(\phi \) simultaneously be a Maass form on M with Laplace eigenvalue \(\lambda ^2\) and a Hecke eigenform of the p-adic Hecke algebra for all \(p\in \mathscr {P}\). Then
where \(|\mathscr {P}|\) denotes the cardinality of \(\mathscr {P}\).
There are several results of the Iwaniec–Sarnak type in higher- dimensional and higher-rank arithmetic locally symmetric spaces (see e.g. [3,4,5,6,7, 10, 14, 16] and their references). It is by now well known to the experts that the idea behind saving a power of the eigenvalue in the supnorm problem for a Maass eigenform of several Hecke operators lies in the number of returns that the Hecke operators make near the maximal compact (see [14] for elaborate discussion about the criticality of the size of the maximal compact subgroup). As far we know, in all previous literature regarding this problem, the authors have always assumed that the Maass form is also an eigenform of p-Hecke operators for infinitely many distinct primes p. This assumption enlarges the scope of use of Hecke symmetry and leads to a better control on the Hecke returns. Here, we assume that the Maass form is an eigenform of finitely many p-adic Hecke algebras. However, this weaker hypothesis allows us a weaker result than the result of [12].
1.2 Remarks
-
1.
One can compare (2), and the bound in Theorem 1 as the Hecke operator at prime p is saving \(\sqrt{\log \lambda }\) from the former estimate. This is a non-Archimedean analogue of the fact that each differential operator in the universal enveloping algebra of a locally symmetric space helps saving \(\lambda ^{1/2}\) from (1) (see [16]).
-
2.
The general idea of the proof of Theorem 1 is the same as in [12]. But as we have, unlike [12], used the Hecke symmetry at only finitely many places, we could no longer use the usual Duke–Friedlander–Iwaniec-type amplifier which is supported on a fixed sphere on various Hecke trees. On the other hand, inspired by [15], here we are using a different kind of amplifier which is supported on spheres of growing radii. The success of this amplifier depends on the size of its radius, whereas in the former case, it depended on the number of primes contributing to the amplifier. A similar kind of amplifier has been constructed in [8] where the authors used the one-prime amplifier to prove a positive entropy result in the context of the quantum unique ergodicity; that essentially relies on a counting problem, as in ours, although in a different group.
-
3.
The bound we have proved in Theorem 1 should be optimal among the savings one can get following the Iwaniec–Sarnak method and using an amplifier which is constructed by taking a linear combination of Hecke operators. For details, one may look at the remark in Sect. 4.3.
-
4.
It can be understood from the proof that we can get a larger saving (as big as \(e^{-c\sqrt{\log \lambda }}\) for \(c>0\)) if \(\phi \) is non-tempered at a certain prime, however, we do not discuss it here.
-
5.
A similar approach can be followed to get a logarithm saving for the supnorm of Maass cusp forms which are eigenforms of finitely many Hecke operators on congruence quotients of hyperbolic 3-spaces.
We conclude the Introduction with remarking that the supnorm problem is essentially connected to the problem of multiplicity of the spectrum of the Laplacian (see [16]). One expects that on an arithmetic surface arising from the unit group of a maximal order (e.g. M), the spectrum of the Laplacian is essentially simple; in that case, the improved result of [12] can be extended to general Maass forms.
2 Non-Archimedean amplification
2.1 p-Adic structure
In this subsection, we introduce the Hecke operators to construct the amplifier. For the standard facts in the Hecke theory one may look at [9].
Let \(\mathbb {H}\) be a quaternion division algebra over \(\mathbb {Q}\) and \(\mathscr {O}\) a maximal \(\mathbb {Z}\)-order in \(\mathbb {H}\) and we fix an embedding \(\tau \) of \(\mathbb {H}\) into the \(2\times 2\) matrix group over a suitable number field. We will always assume p is a prime in \(\mathbb {Z}\) such that \(\mathbb {H}\) splits at p (which happens for all but finitely many primes). Let \(\mathscr {N}\) be the reduced norm on \(\mathbb {H}\) defined by \(\mathscr {N}(x)=x\bar{x}\).
Let us define
we define \(\varGamma =\tau (R(1))< \mathrm {SL}_2(\mathbb {R}).\) We define the nth Hecke operator acting on the space of functions on \(M=\varGamma \backslash \mathscr {H}^2\) by
If m, n are coprime with the non-split primes of the division algebra then one has the Hecke relation (see 0.6 of [12], also Ch. 3 of [9]),
Again if n is coprime with non-split primes from (3), one immediately concludes that T(n) can be written as a polynomial of \(\{T(p)\}_{p\mid n}\).
2.2 Construction of the amplifier
The construction of the amplifier is inspired by Lemma 22 in [15]. Let \(\lambda _\phi (m)\) be the eigenvalue of a Hecke eigenform \(\phi \) for the operator T(m). We will often drop the subscript \(\phi \) when it is clear which eigenform is being considered.
We will now choose our amplifier. We define
Lemma 1
-
1.
Let \(M_{\mathscr {P},L}=\{M=\prod _{p\in \mathscr {P}}p^{k_p}\mid 1\le k_p\le L\}\). For any integer \(L\ge 1\)
$$\begin{aligned} K_L=\sum _{m,n\in \mathscr {M}(\mathscr {P},L)}\lambda _\phi (m)\lambda _\phi (n)\sum _{d\mid (m,n)}T(mn/d^2). \end{aligned}$$ -
2.
Any \(\mathscr {P}\)-Hecke eigenform is also a \(K_L\) eigenform with non-negative eigenvalue. The \(K_L\) eigenvalue of \(\phi \) is \(\gg L^{2|\mathscr {P}|}\).
To prove Lemma 1, we first prove the main technical part.
Lemma 2
Let p be an unramified prime. For any Hecke eigenform \(\phi \) with T(m)-eigenvalue \(\lambda (m)\),
where the implied constant may depend on p.
The implied constant can be proved to be absolute but that is unnecessary for our purpose as our set of primes is, a priori, fixed. This lemma is standard in the subject, for instance see Lemma 8.3 of [13]. We record a proof here for the sake of completeness.
Proof
The proof of this lemma is similar to that of Lemma 22 in [15] where the author has proved almost the same bound for the eigenvalues of the sphere operators. We will first assume that \(\phi \) is tempered at p. In this case, it is convenient to parametrize \(\lambda (p)=\alpha +\alpha ^{-1}\) for some \(\alpha \in \mathbb {C}^{(1)}\). Then from the recurrence,
which follows from (3), we can conclude by induction that
We fix p. We want to prove that \(\sum _{n\le L} |\lambda _{\phi }(p^n)|^2 \gg L\) uniformly in \(\phi \). On the contrary, let us assume that there exists a sequence of \((\phi ,L)=(\phi _j,L_j)\), with \(L\rightarrow \infty \) as \(j\rightarrow \infty \), such that \(\sum _{n\le L} |\lambda _{\phi }(p^n)|^2= o(L)\) as \(j\rightarrow \infty \). We use the notation \(\lll \) (and \(\ggg \)) as in [15]. For quantities X and Y which depend on j implicitly, by \(X\lll Y\) (or \(X=o(Y)\)) we mean \(\overline{\lim }_{j\rightarrow \infty }X_j/Y_j=0\). \(X\ggg Y\) is defined symmetrically. From the assumption above we will deduce a contradiction. By passing to subsequences, there will be two cases to consider, as follows.
If \(|\alpha ^2-1|\ggg 1/L\) then,
On the other hand, if \(|\alpha ^2-1|\ll 1/L\) then letting m be the largest positive integer such that \(m\le L\) and \(m|\alpha ^2-1|\le 1/10\), we see that \(m\gg L\). Thus
Letting \(\alpha =e^{i\theta }\) the above quantity equals to
which concludes the proof in the tempered case.
Proving the non-tempered case is easy and we proceed as in Lemma 8.3 of [13]. We write \(\sigma (p^m)\) for the eigenvalue of \(p^{m/2}T(p^m)-p^{m/2-1}T(p^{m-2})\) with assumptions that \(T(p^{-1})=0\) and \(T(1)=1\). Thus
Letting \(\cosh \theta =\left| \frac{\sigma (p)}{2p^{1/2}}\right| =|\lambda (p)|\) and using the Hecke relation that
by induction on n one can easily verify that
Therefore, \(\lambda (p^{2n})\gg n\). Similarly one can prove, for any n, that \(\lambda (p^n)\gg n.\) Thus obviously,
concluding the proof. \(\square \)
Proof of Lemma 1
Expanding (4) and using the (3), we immediately see (1):
From the definition of \(K_L\), non-negativity of eigenvalues is clear as all Hecke operators, being self-adjoint, have real eigenvalues. The eigenvalue of \(\phi \) is
where in the last inequality we use Lemma 2.
Here we prove a technical lemma which we will be using in the final phase of proving the main theorem.
Lemma 3
For \(L\ge 1\) and \(x\in \mathbb {R}\),
Proof
First we note that the LHS is multiplicative, that is, it factors over \(p\in \mathscr {P}\). So it is enough to prove the lemma assuming that \(\mathscr {P}=\{p\}\). Hence For \(x<0\) we get that,
If \(x\ge 0\), following a similar calculation we see that the sum
completing the proof. \(\square \)
3 Revisiting Bérard’s theorem on a compact quotient
In this section, we will revisit Bérard’s theorem where a logarithm improvement of the error term in Weyl’s eigenvalue counting formula is established on a negatively curved, connected and compact Riemannian n-dimensional manifold with boundary. Most of the section follows §3 of [17] and §3 of [2]. Recall that \(\varDelta \) is the Laplace–Beltrami operator of M. We label the spectrum of \(-\varDelta \), counted with multiplicity, as
Suppose that \(\{\phi _j\}_{j=0}^\infty \), containing \(\phi \), is an orthonormal basis of \(L^2(M)\), such that, \(-\varDelta \phi _j=\lambda _j^2\phi _j\). Hörmander [11] proved an asymptotic for the eigenvalue counting function: for a constant \(C_M\) depending only on M,
Bérard [1] proved that if M has non-positive sectional curvature then one can improve (5) to
We will employ the same argument as in [1] to improve the bound for the Archimedean kernel. In our context, we fix \(M=\varGamma \backslash \mathscr {H}^2\) and \(n=2\). We define the operator \(E_j\) on \(C^\infty (M)\) as
We recall the standard spectral projector with \(E_j\)’s, which is
For the purpose of the proof of (6), we need to change the spectral window in (7), which is done as follows. By \(\hat{h}\), we will denote the Fourier transform of a function h. Let \(h\in \mathscr {S}(\mathbb {R})\) be a Schwartz function such that
Such a function exists, as one can construct h by taking the Fourier transform of the convolution of an even non-negative function \(0\ne \chi \in C_c^\infty ((-1/4,1/4))\) with itself. Scaling the spectral window by a factor \(\varepsilon >0\), which will be fixed later, we define
We also define a remainder operator by
Then by the Fourier transform we get that
Hence equating the kernels of these operators, we rewrite (9) as
Here as a kernel function of two variables one can write
Recall the covering map p at \(m\in M\); \(p=\exp _m:T_mM\rightarrow M\). We pull back \(f\in C^\infty (M)\) by p to \(\tilde{f}\in C^\infty (\mathscr {H}^2)\) which is periodic with respect to \(\varGamma \). Pulling the metric on M back to \(\mathscr {H}^2\) and folding the right-hand side, we may rewrite the kernel as
where \(p(z)=\tilde{z}\), \(p(w)=\tilde{w}\) and \(\varDelta _{\mathscr {H}^2}\) is the Laplacian on \(\mathscr {H}^2\). Combining with (10) we get that
where
This equation is the so-called pre-trace formula. By \(d_g\), we will denote the usual Riemannian distance on \(\mathscr {H}^2\) with respect to its hyperbolic metric. We also note that if \(d_g(z,w)\) is sufficiently small (\(\le 3\) should be enough, see §3 of [2]), then
due to Huygens principle.
Lemma 4
There exists an absolute constant \(C>0\) such that for \(\lambda ^{-1} \le \varepsilon \le 1\),
Most of the proof of this lemma already exists in the proof of Proposition 3.6.2 of [17], however not as explicit as in the statement of this lemma. We provide a complete proof using the ingredients which have been developed in the proof of Proposition 3.6.2 of [17] (we also refer \(\S 3\) of [2]) for the convenience of the reader.
Proof
We claim the following: there exists an absolute constant \(C>0\) such that for \(\lambda ^{-1} \le \varepsilon \le 1\),
We will first see that the claim (14) is sufficient for the proof. Note that \(h\ge 0\). We define
Let us fix \(z,w\in \mathscr {H}^2\) with \(d_g(z,w)\le 1\). Then using (13) and Cauchy–Schwarz we get that
Thus from the first estimate of (14) we conclude the first estimate of Lemma 4. Rest of the estimates of Lemma 4 are same as in the claim (14).
Now to prove the claim (14) we follow as in the proof of Proposition 3.6.2 of [17]. Among the three estimates of (14), proofs of first two estimates are similar. The first estimate, however, has been proved exactly as stated in (14), in the proof of (3.6.8) of [17]. So we focus on showing the second estimate of (14).
We may prove the lemma using theory of Hadamard’s parametrix for the solution of the Cauchy problem. For details about parametrix, we refer to \(\S 2.4\) of [17]. We consider the kernel function on \((\mathbb {R}^2,g)\) instead of the upper half plane, where g is the metric that makes \((\mathbb {R}^2,g)\) isometric to \(\mathscr {H}^2\). From (3.6.10) and (1.2.30) of [17], we write
where \(E_m\) are radial tempered distributions supported on \(\{(t,x)\in [0,\infty )\times \mathbb {R}^2\mid d_g(x,0)\le t\}\), defined by (as \(E_m\)’s are radial in second variable, by abuse of notation, we are identifying the second entry of \(E_m\) as the distance from origin)
From \((3.6.10)-(3.6.13)\) and Theorem 3.1.5 of [17], we obtain following properties of the coefficients \(\alpha _m\) and the remainder term \(R_N\): \(\alpha _m\) are smooth functions on \(M\times M\) with
and there is a \(\delta >0\) such that
From the estimate of \(R_N\), we conclude that
Now from (3.6.15) (and its proof which also works for \(r>0\)), we get that
Note that (17), along with (15) for \(d_g(x,y)\le \varepsilon ^{-1}\) and (16), proves the second estimate of (14). To see that we write
for some absolute constant C and \(\varepsilon \le \lambda ^{-1}\). This completes proof of the second estimate.
The third inequality of (14) follows from the support of \(\hat{h}\) as described in (8) and the fact that the Cauchy kernel \(\cos (t\sqrt{-\varDelta _{\mathscr {H}^2}})(x,y)\) vanishes when \(d_g(x,y)> t\) (for details see discussion in p. 46 of [17]). \(\square \)
4 Counting and bounds
4.1 Estimating Hecke returns
We recall the definition of standard point-pair invariant. Thinking of the upper half plane as \(\mathrm {SL}_2(\mathbb {R})/\mathrm {SO}(2)\), we recognize a point \(x+iy=z\in \mathscr {H}^2\) as gK, where \(K=\mathrm {SO}(2)\). From the Iwasawa decomposition, we write \(g=\begin{pmatrix} \sqrt{y}&{}x\sqrt{y^{-1}}\\ {} &{}\sqrt{y^{-1}} \end{pmatrix}K\). We define a point-pair invariant by
One may also note that \(u(z,w)=\sinh ^2(d_g(z,w)/2)\). Fix \(z\in M\). For \(t>0\) an \(N\in \mathbb {N}\), we define a counting function
Lemma 5
For any \(t>1\),
Also there exists a \(\delta _N>0\) such that \(M(N,\delta _N;z)\ll _\nu N^\nu \) for all \(\nu >0\) small enough.
Proof
This is direct from Lemma 1.3 of [12] which says that for any \(t> 0\)
which immediately implies the first claim. For
the second claim is also true. \(\square \)
4.2 Final bound
In this section, we will fix an h as in (8) and
in Lemma 4 where \(c>C\) is a constant to be fixed later. We will also drop the subscript \(\varepsilon \) from \(K_\varepsilon \).
Proof of Theorem 1
We choose an orthonormal Hecke eigenbasis containing \(\phi \) in the pre-trace formula in (12). We apply our amplifier \(K_L\) in (4) to (12) in the z variable and then plug-in \(z=w\). Using (8) and Lemma 1 and thus using non-negativity of each term of the left-hand side of amplified pre-trace formula, we deduce that
where
and thus from Lemma 2\(A_L\gg L^{|\mathscr {P}|}\).
Recall that \(u=\sinh ^2(d_g/2)\). We note that
Thus from Lemma 4, we get that
and so for any natural number N and small enough \(\delta >0\),
We have used Lemma 4 in the last line. Now we apply Lemma 5 with \(\nu =1/10\) and \(\delta =(\sqrt{mn}/d)^{-8}\), and \(N=mn/d^2\). From the chosen values of the parameters, we obtain estimates that
and from (18)
Now we combine (19) and (20), and use \(\delta =(\sqrt{mn}/d)^{-8}\) in the dth summand of (19), along with above estimates. Thus we obtain that
We have used Lemma 3 in the last estimate. Choosing \(L=\frac{\log \lambda }{100\log \prod _{p\in \mathscr {P}}p}\) and \(c=4C+4\), we conclude that
which gives the result.
4.3 Remark
One can ask about the optimality of the method, for e.g. whether one would be able to achieve a power saving using linear amplifier with finitely many primes. We give an argument why power of logarithm saving should be optimal. One can understand from the proof that if we use an amplifier of the form
(the definition of T(n) is in §2) then the geometric side of the amplified pre-trace formula is of the size of
Hence to get a saving from (2), we need \(\frac{(\sum _m\alpha _m\lambda _\phi (p^m))^2}{\sum _m|\alpha _m|^2}\) to be as big as possible, where \(\lambda _\phi (p^m)\) is the eigenvalue of \(\phi \) under \(T(p^m)\). By Cauchy–Schwarz, this quotient is the largest when \(\alpha _m=\lambda _\phi (p^m)\). On the other hand, the size of \(\sum _{m\le L} |\lambda _\phi (p^m)|^2\) is comparable to L, at least when \(\phi \) is tempered at p such that the saving is restricted to at most a power of logarithm of \(\lambda \).
References
Bérard, P.: On the wave equation on a compact manifold without conjugate points. Math. Z. 155, 249–276 (1977)
Blair, M., Sogge, C.: Concerning Toponogov’s Theorem and logarithmic improvement of estimates of eigenfunctions. J. Differ. Geom. (to appear). arXiv:1510.07726
Blomer, V., Maga, P.: The sup-norm problem for PGL(4). IMRN 14, 5311–5332 (2015)
Blomer, V., Maga, P.: Subconvexity for sup-norms of automorphic forms on PGL\((n)\). Sel. Math. 22, 1269–1287 (2016)
Blomer, V., Pohl, A.: The sup-norm problem on the Siegel modular space of rank two. Am. J. Math. 136, 999–1027 (2016)
Blomer, V., Harcos, G., Milićević, D.: Bounds for eigenforms on arithmetic hyperbolic \(3\)-manifolds. Duke Math. J. 165, 625–659 (2016)
Blomer, V., Harcos, G., Maga, P., Milićević, D.: The sup-norm problem for GL(2) over number fields. arXiv:1605.09360
Brooks, S., Lindenstrauss, E.: Non-localization of eigenfunctions on large regular graphs. Israel J. Math. 193(1), 1–14 (2013)
Eichler, M.: Lectures on Modular Correspondences. Tata Institute, Bombay (1955)
Holowinsky, R., Ricotta, G., Royer, E.: On the sup norm of an SL(3) Hecke-Maass cusp form. arXiv:1404.3622
Hormander, L.: The spectral function of an elliptic operator. Acta Math. 121, 193218 (1968)
Iwaniec, H., Sarnak, P.: \(L^\infty \)-norms of eigenfunctions of arithmetic surfaces. Ann. Math. Second Ser. 141(2), 301–320 (1995)
Lindenstrauss, E.: Invariant measures and arithmetic quantum unique ergodicity. Ann. Math. (2) 163(1), 165219 (2006)
Marshall, S.: Sup norms of Maass forms on semisimple groups. arXiv:1405.7033
Nelson, P.: Microlocal lifts and quantum unique ergodicity on GL\((2,{\mathbb{Q}}\_{p})\). arXiv:1601.02528
Sarnak, P.: Letter to Morawetz. http://www.math.princeton.edu/sarnak/
Sogge, C.: Hangzhou Lectures on Eigenfunctions of the Laplacian, Annals of Mathematics Studies, vol. 188. Princeton University Press, Princeton, NJ (2014). ISBN: 978-0-691-16078-8
Acknowledgements
The author thanks Lior Silberman whose supervision during the author’s masters thesis helped to start this project and also for encouragement. The author thanks Paul Nelson for teaching the amplification method he used in [15] and for the numerous helpful suggestions on an earlier draft of this paper. The author also thanks Djordje Milićević, Gergely Harcos, Kevin Nowland, Felix Dräxler and the anonymous referee for several helpful feedbacks, comments and suggestions on various aspects of the work.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Jana, S. Supnorm of an eigenfunction of finitely many Hecke operators. Ramanujan J 48, 623–638 (2019). https://doi.org/10.1007/s11139-018-0047-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-018-0047-2