Abstract
Let H be a semisimple algebraic group, K a maximal compact subgroup of \(G:=H({{\mathbb {R}}})\), and \(\Gamma \subset H({{\mathbb {Q}}})\) a congruence arithmetic subgroup. In this paper, we generalize existing subconvex bounds for Hecke–Maass forms on the locally symmetric space \(\Gamma \backslash G/K\) to corresponding bounds on the arithmetic quotient \(\Gamma \backslash G\) for cocompact lattices using the spectral function of an elliptic operator. The bounds obtained extend known subconvex bounds for automorphic forms to nontrivial Ktypes, yielding such bounds for new classes of automorphic representations. They constitute subconvex bounds for eigenfunctions on compact manifolds with both positive and negative sectional curvature. We also obtain new subconvex bounds for holomorphic modular forms in the weight aspect.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let M be a closed^{Footnote 1} Riemannian manifold M of dimension d and \(P_0:\mathrm{C^{\infty }}(M) \rightarrow \mathrm{L}^2(M)\) an elliptic classical pseudodifferential operator on M of degree m, where \(\mathrm{C^{\infty }}(M)\) denotes the space of smooth functions on M and \(\mathrm{L}^2(M)\) the space of squareintegrable functions on M. Assume that \(P_0\) is positive and symmetric. Denote its unique selfadjoint extension by P with the mth Sobolev space as domain, and let \(\left\{ \phi _j \right\} _{j\ge 0}\) be an orthonormal basis of \(\mathrm{L}^2(M)\) consisting of eigenfunctions of P with eigenvalues \(\left\{ \lambda _j \right\} _{j \ge 0}\) repeated according to their multiplicity. By a classical result of Avacumovic et al. [2, 23, 31] one has for any \(j \in {{\mathbb {N}}}\) the convex bound^{Footnote 2}
If the \(\phi _j\) are eigenfunctions of a larger family of commuting differential operators on M containing \(P_0\), this bound can be improved. Thus, assume that M carries an isometric action of a compact Lie group K such that all orbits have the same dimension \(\kappa \le d1\). Denote by \({\widehat{K}}\) the set of equivalence classes of irreducible unitary representations of K, which can be identified with the set of irreducible characters of K. Suppose further that P commutes with the family of differential operators generated by the action of K, so that the eigenfunctions \(\phi _j\) can be chosen to be compatible with the Peter–Weyl decomposition of \(\mathrm{L}^2(M)\) into \(\sigma \)isotypic components \(\mathrm{L}^2_\sigma (M)\), where \(\sigma \in {\widehat{K}}\). It was then shown in [42, 43] that the equivariant convex bound
holds, where \(d_\sigma \) denotes the dimension of a representation of class \(\sigma \), and \(D^u\) is a differential operator of order u on K. If \(K=T\) is a torus, one actually has the almost sharp estimate
where \({\mathcal {W}}_\lambda \) denotes the subset of Ktypes occuring in the Peter–Weyl decomposition of \(\mathrm{L}^2(M)\) that grow at most with rate \( \lambda ^{1/m}/\log \lambda .\)^{Footnote 3}
The bounds (1.1) and (1.2) are known to be sharp in the eigenvalue aspect on the standard dsphere, but if the considered eigenfunctions are joint eigenfunctions of an even larger family of commuting operators, they can be improved. Thus, let G be a semisimple real Lie group, K a maximal compact subgroup of G, \(\Gamma \subset G\) a lattice, and \(Y:=\Gamma \backslash G / K\) the corresponding locally symmetric space of dimension d and rank r. If \(\left\{ \psi _j \right\} _{j\ge 0}\) constitutes an orthonormal basis in \(\mathrm{L}^2(Y)\) of simultaneous eigenfunctions of the full ring of invariant differential operators on Y, which is isomorphic to a finitely generated polynomial ring in r variables and contains the Beltrami–Laplace operator \(\Delta \), Sarnak [45] was able to show the spherical convex bound
for arbitrary compacta \(\Omega \subset Y\), \(\lambda _j\) being the Beltrami–Laplace eigenvalue of \(\psi _j\). From an arithmetic point of view, there is still an additional family of commuting operators on Y given by the Hecke operators, and in the case \(G=\mathrm {SL}(2,{{\mathbb {R}}})\) and \(K=\mathrm {SO}(2)\), Iwaniec and Sarnak [28] were able to strengthen the bound (1.4) for certain compact locally symmetric spaces \(Y=\Gamma \backslash {\mathbb {H}}\) of rank \(r=1\), given as quotients of the complex upper half plane \({\mathbb {H}}\simeq G/K\) by suitable congruence arithmetic lattices \(\Gamma \), and proved for any \(\varepsilon >0\) and \(j \in {{\mathbb {N}}}\) the substantially stronger spherical subconvex bound
provided that the \(\psi _j\) are also eigenfunctions of the ring of Hecke operators on \(\mathrm{L}^2(\Gamma \backslash {\mathbb {H}})\). More generally, if H is a semisimple algebraic group over \({{\mathbb {Q}}}\) satisfying certain conditions, \(\Gamma \subset H({{\mathbb {Q}}})\) an arithmetic congruence lattice, and \(G=H({{\mathbb {R}}})\), Marshall [34] was able to strengthen the bound (1.4) and prove spherical subconvex bounds of the form
for some \(\delta >0\) and arbitrary compacta \(\Omega \subset Y\), if the \(\psi _j\) are also eigenfunctions of the ring of Hecke operators on \(\mathrm{L}^2(Y)\), generalizing previous work of Blomer–Maga [4, 5] and Blomer–Pohl [8], among others. In fact, for negatively curved manifolds, much better bounds are expected to hold generically, the bound (1.5) being the strongest known bound up to now. The estimates (1.4)–(1.6) represent bounds for automorphic forms on G which are right Kinvariant, and for this reason are called spherical.
In this paper, left \(\Gamma \)invariant functions on G which are simultaneous eigenfunctions of an invariant elliptic differential operator and some module of Hecke operators will be called Hecke–Maass forms of rank 1. In contrast, simultaneous eigenfunctions of such a module of Hecke operators and the full ring of invariant differential operators associated to the center of the universal envelopping algebra of the complexification of the Lie algebra of G will be called Hecke–Maass forms of rank r. The class of Hecke–Maass forms of rank 1 encompasses the usual concept of an automorphic form on G, and coincides with it in the rank 1 case, compare Sects. 5.3 and 7.4. Nevertheless, a Hecke–Maass form of rank 1 is not necessarily an eigenfunction of the full ring of invariant differential operators, since one can choose very small submodules of the ring of Hecke operators, see Remark 7.3 for details. The goal of this paper is to extend the spherical subconvex bounds (1.5) and (1.6) to nonspherical situations, that is, to nontrivial Ktypes in the Peter–Weyl decomposition of \(\mathrm{L}^2(\Gamma \backslash G)\) for Hecke–Maass forms of rank 1 and a large class of compact arithmetic quotients \(\Gamma \backslash G\), sharpening the bounds (1.1) and (1.2) in case that the eigenfunctions \(\phi _j\) are Hecke–Maass forms.
As our first main result, we extend the bound (1.5) to automorphic forms on G of arbitrary Ktype and Nebentypus character. Thus, let \({\mathcal {R}}\) be an Eichler order in an indefinite division quaternion algebra A over \({{\mathbb {Q}}}\). Denote by N(x) the reduced norm of an element \(x\in A\), and write \({\mathcal {R}}(m):=\left\{ \alpha \in {\mathcal {R}}\mid N(\alpha ) =m \right\} \) for any \(m \in {{\mathbb {N}}}_*\). Choose an embedding \(\theta :\sqcup _{m=1}^\infty {\mathcal {R}}(m) \rightarrow G\), and set \(\Gamma :=\theta ({\mathcal {R}}(1))\). Then \(\Gamma \) constitutes a congruence arithmetic subgroup, and \(\Gamma \backslash {\mathbb {H}}\simeq \Gamma \backslash G/ K\) becomes a compact hyperbolic surface. Now, let \(\chi \) be a Nebentypus character on \(\Gamma \), and denote by \(\mathrm{L}^2_\chi (\Gamma \backslash G)\) the Hilbert space of measurable functions on G such that
The space \(\mathrm{L}^2_\chi (\Gamma \backslash G)\) can be regarded as a closed subspace in \(\mathrm{L}^2(\Gamma _\chi \backslash G)\), where \(\Gamma _\chi :=\ker \chi \). Identifying \({\mathcal {R}}(n)\) with its image \(\theta ({\mathcal {R}}(n))\) for each n prime to a fixed natural number which depends only on \({\mathcal {R}}\), the finite cosets \(\Gamma \backslash {\mathcal {R}}(n)\) give rise to Hecke operators on \(\mathrm{L}^2_\chi (\Gamma \backslash G)\). Now, with the identification \(K\simeq S^1\simeq [0,2\pi )\), any Ktype \(\sigma _l \in {\widehat{K}}\) can be realized as the character \(\sigma _l(\theta )=e^{il\theta }\), \(\theta \in [0,2\pi )\), \(l \in {{\mathbb {Z}}}\), and we denote by \(\mathrm{L}^2_{\sigma _l,\chi }(\Gamma \backslash G)\) the \(\sigma _l\)isotypic component of \(\mathrm{L}^2_\chi (\Gamma \backslash G)\). It is then shown in Theorem 5.5 that for any orthonormal basis \(\left\{ \phi _j \right\} _{j\ge 0}\) of \(\mathrm{L}^2(\Gamma _\chi \backslash G)\) consisting of Hecke–Maass forms (of rank 1) with Beltrami–Laplace eigenvalues \(0 \le \lambda _0 \le \lambda _1 \le \lambda _2 \le \cdots \) and compatible with the Peter–Weyl decomposition one has the hybrid subconvex bound
for arbitrary small \(\varepsilon >0\) in the eigenvalue and isotypic aspect. This bound is the first sharpening the bound (1.3) for arbitrary Ktypes. If \(\sigma _l\) and \(\chi \) are trivial, one recovers the spherical subconvex bound (1.5). Note that (1.7) is a subconvex bound on a manifold which does have both positive and negative sectional curvature. It is stated from the perspective of elliptic operator theory, which is the natural one in our approach, while in the theory of automorphic forms it is more common to work within a representationtheoretic framework, and use the Casimir operator \({{\mathcal {C}}}\) of G instead of the Beltrami–Laplace operator \(\Delta \), the former being no longer elliptic. But since on \(\mathrm{L}^2_{{\sigma _l},\chi }(\Gamma \backslash G)\) the operators in question are related according to \( \Delta = {{\mathcal {C}}}+ \frac{l^2}{4} \mathrm {id}\,, \) the bound (1.7) can be rephrased accordingly. Thus, for any Hecke eigenform \(\phi \in \mathrm{L}^2_{{\sigma _l},\chi }(\Gamma \backslash G)\) satisfying \(\left\ \phi \right\ _{\mathrm{L}^2}=1\) and \({{\mathcal {C}}}\phi = \frac{s^21}{8}\phi \) one has the hybrid subconvex bound
see Theorem 5.8. In this way, we obtain subconvex bounds for new classes of automorphic representations, in particular for the discrete series \(D_s\) and their limits \(D_{\pm ,0}\), as well as the principal series H(1, s), compare Sect. 5.3. Let us note that for bounded s we obtain the bound \(\left\ \phi _j \right\ _\infty \ll _\varepsilon (1+l)^{\frac{5}{12}+\varepsilon }\) for any \( \phi _j \in \mathrm{L}^2_{{\sigma _l},\chi }(\Gamma \backslash G)\). This agrees with results of Venkatesh [54, p. 993], though by work of Reznikov [44, Theorem 1.5] one has in this case the much better bound \(\left\ \phi _j \right\ _\infty \ll _\varepsilon (1+l)^{\frac{1}{3}+\varepsilon }\). Nevertheless, our results do imply new results for a classical automorphic form \(f:{\mathbb {H}}\rightarrow {{\mathbb {C}}}\) of weight \(l\in {{\mathbb {N}}}\) and arbitrary Nebentypus character, for which we show in (5.12) the subconvex bound
in the weight aspect. The best previously known subconvex bound, proved by Das and Sengupta [13], had the exponent \(\frac{1}{2}\frac{1}{33}=\frac{31}{66}\).
In an analogous way, we are able to derive equivariant and nonequivariant subconvex bounds for \(G=\mathrm {SU}(2)\), \(K=\mathrm {SO}(2)\), and \(\Gamma :=\left\{ \pm 1 \right\} \) in the setting of [32, 33] by identifying G with the group of units in the quaternion algebra over \({{\mathbb {R}}}\), and defining corresponding Hecke operators \(T_n\) on \(\mathrm{L}^2(\Gamma \backslash G)\). Thus, we obtain again in Theorem 6.1 the equivariant subconvex bound (1.7) for any simultaneous eigenfunction \(\phi _j\in \mathrm{L}^2_{\sigma _l}(\Gamma \backslash G)\) of the Beltrami–Laplace operator \(\Delta \) on G with eigenvalue \(\lambda _j\) and the \(T_n\), where now \(\Gamma \backslash G\cong \mathrm {SO}(3)\). This generalizes a result of VanderKam [53, Theorem 1.1], where the case \(l=0\) with \(\mathrm{L}^2_{\sigma _0}(\Gamma \backslash G)\cong \mathrm{L}^2(\Gamma \backslash G/K) \cong \mathrm{L}^2(S^2)\) is treated, \(S^2\) being the 2sphere.
Our second main result concerns bounds of the form (1.6). As before, let H be a semisimple algebraic group over \({{\mathbb {Q}}}\) which is assumed to be connected in the sense of Zariski. Write \({\mathbb {A}}_{\mathrm {fin}}\) for the finite adele ring of \({{\mathbb {Q}}}\) and \({\mathbb {A}}:={{\mathbb {R}}}\times {\mathbb {A}}_{\mathrm {fin}}\) for the adele ring. Choosing an open compact subgroup \(K_0\) in \(H({\mathbb {A}}_{\mathrm {fin}})\), we obtain an arithmetic subgroup \(\Gamma :=H({{\mathbb {Q}}})\cap (H({{\mathbb {R}}}) K_0)\) in the semisimple Lie group \(G=H({{\mathbb {R}}})\). Assume that \(H({\mathbb {A}})=H({{\mathbb {Q}}})(H({{\mathbb {R}}})K_0)\) and that \(H({{\mathbb {Q}}})\backslash H({\mathbb {A}})\) is compact, so that \(\Gamma \backslash G\) is also compact.^{Footnote 4} From the point of view of automorphic representations, one has a suitable family of Hecke operators on \(\mathrm{L}^2(\Gamma \backslash G)\), which is given by unramified Hecke algebras over \({{\mathbb {Q}}}_p\) for infinitely many primes p [34]. Now, let K be a maximal compact subgroup of G and \(\left\{ \phi _j \right\} _{j\ge 0} \) an orthonormal basis of \(\mathrm{L}^2(\Gamma \backslash G)\) consisting of Hecke–Maass forms of rank 1 with respect to an elliptic leftinvariant differential operator \(P_0\) on \(\Gamma \backslash G\) of order m which commutes with the right regular representation of K. Assume that \(P_0\) is positive and symmetric, and that the cosphere bundle defined by its principal symbol is strictly convex. Then, assuming the condition (WS) made in [34], we show in Theorem 7.4 that there exists a constant \(\delta >0\) independent of \(\sigma \) such that one has the equivariant subconvex bound
where \(\lambda _j\) denotes the spectral eigenvalue of \(\phi _j\) with respect to \(P_0\); if \(K=T\) is a torus, one has the stronger estimate
The bound (1.8) sharpens the bound (1.2) for a large class of examples. If \(\sigma \) is trivial, it is implied by (1.6). As explained after Theorem 7.4, even if the orthonormal basis \(\{\phi _j\}_{j\in {{\mathbb {N}}}}\) consists of Hecke–Maass forms of rank r the bound (1.8) is the best at the present time. An example would be given by \(H=\mathrm {SL}(1,D)\), where D is any central division algebra of index n over \({{\mathbb {Q}}}\), and \(G=\mathrm {SL}(n,{{\mathbb {R}}})\). Furthermore, we show in Theorem 7.9 for some \(\delta >0\) the weaker nonequivariant subconvex bound
for an orthonormal basis of \(\mathrm{L}^2(\Gamma \backslash G)\) consisting of suitable Hecke–Maass forms, sharpening the bound (1.1), but without assuming the condition (WS) of [34]. An example is again \(H=\mathrm {SL}(1,D)\), where now D is any central division algebra over \({{\mathbb {Q}}}\), except when \(G=\mathrm {SL}(1,{\mathbb {H}})\). As before, (1.8) and (1.9) constitute first arithmetic subconvex bounds on a large class of manifolds which are both positively and negatively curved, and if \(P_0\) is the Beltrami–Laplace operator, the bounds can be rephrased in terms of the eigenvalues of the Casimir operator of G. Indeed, by Theorem 7.12 we have for each \(\phi _j\in \mathrm{L}^2_\sigma (\Gamma \backslash G)\) with Casimir eigenvalue \(\mu _j\) the bound
\(\mu _\sigma \) being the eigenvalue of the Casimir operator of K on \(\sigma \), and if \(K=T\) is a torus,
provided that in both cases \(H={\mathrm {Res}}_{F/{{\mathbb {Q}}}}\underline{G}\) and (WS) is fulfilled, while in general
Let us briefly say a few words about the methods employed. While in the theory of automorphic forms representationtheoretic tools prevail, our analysis is mainly based on the spectral theory of elliptic operators, and uses Fourier integral operator methods. Thus, let P be an elliptic pseudodifferential operator on a closed Riemannian manifold M as above. Our main tool is the spectral function or Schwartz kernel \(e(x,y,\mu )\) of the mth root \(Q:=\root m \of {P}\) of P given by
together with
which is the Schwartz kernel of the spectral projection \(s_\mu \) onto the sum of eigenspaces of Q with eigenvalues in the interval \((\mu , \mu +1]\). Statements about the growth of eigenfunctions can be deduced from the asymptotics of a suitable smooth approximation \({\widetilde{s}}_\mu \) of \(s_\mu \) obtained via Fourier integral operators, yielding in particular the bounds (1.1). In the presence of symmetries, these can be refined. More precisely, if M carries an effective and isometric action of a compact Lie group K and \(\sigma \in {\widehat{K}}\), denote by \(\Pi _\sigma \) the projector onto the \(\sigma \)isotypic component in the Peter–Weyl decomposition of \(\mathrm{L}^2(M)\). Then, the \(\mathrm{L}^\infty \)bounds (1.2), and analogous equivariant convex \(\mathrm{L}^p\)bounds, can be inferred from the asymptotics of the Schwartz kernel of \({\widetilde{s}}_\mu \circ \Pi _\sigma \) derived in [42, Corollary 2.2. and Theorem 3.3] in a neighbourhood of the diagonal. Now, in the situation of this paper, let G be a semisimple Lie group with finite center, \(\Gamma \) a discrete cocompact subgroup, and K a maximal compact subgroup of G. Let \({\widehat{\Gamma }}\) denote the set consisting of characters of \(\Gamma \) of finite order. For \(\chi \in {\widehat{\Gamma }}\), introduce on \(\mathrm{L}^2(\Gamma _\chi \backslash G)\) the Hecke operators \({{\mathcal {T}}}^\chi _{\Gamma \beta \Gamma }\)
where \(\beta \) belongs to a certain set containing the commensurator \(C(\Gamma )\) of \(\Gamma \). Based on the asymptotics for the kernel of \({{\widetilde{s}}_\mu \circ \Pi _\sigma }\) mentioned above, where \(M=\Gamma _\chi \backslash G\) in this case, we deduce in Proposition 4.1 for any small \(\delta >0\) and some constant \(C>0\) the equivariant bound
uniformly in \(x \in \Gamma _\chi \backslash G\) for the Schwartz kernel of \({{\mathcal {T}}}^\chi _{\Gamma \beta \Gamma } \circ {\tilde{s}}_\mu \circ \Pi _\sigma \), where we introduced the lattice point counting function
given in terms of the distance function on the Riemannian symmetric space G/K. In case that \(K=T\) is a torus, a corresponding better estimate holds. From this, we obtain the subconvex bounds (1.7) and (1.8) by using known uniform upper bounds [28, 34] for \(M(x,\beta ,\delta )\) combined with arithmetic amplification. The bound (1.9) is inferred by analogous methods. In both cases, it is crucial to control the caustic behaviour of the kernels of \({{\tilde{s}}_\mu \circ \Pi _\sigma }\) and \({{\tilde{s}}_\mu }\) near the diagonal as \(\mu \rightarrow +\infty \), respectively. In the spherical situations [4, 5, 8, 28, 34] examined before, a central role is played by the asymptotics of certain spherical kernel functions, see [28, Eq. (1.3)] and [34, Eq. (8)].^{Footnote 5} These kernel functions are particular smooth approximations to the kernel of the spectral projection onto the sum of eigenspaces of the Laplace–Beltrami operator on \(\Gamma _\chi \backslash G/K\) with eigenvalues in the interval \((\mu , \mu +1]\). Consequently, the kernels of the spectral projections \(s_\mu \circ \Pi _\sigma \) and their approximations \({\tilde{s}}_\mu \circ \Pi _\sigma \) considered by us constitute nonspherical generalizations of the former.
Let us close this introduction with some comments. There exist several variants of the bounds (1.5), beginning with [28, Appendix], where the non compact hyperbolic surface \(\mathrm {SL}(2,{{\mathbb {Z}}})\backslash {\mathbb {H}}\) is considered. On the other hand, bounds in the level aspect are shown in [51] for compact locally symmetric spaces of arithmetic type, while bounds in the eigenvalue and level aspect are derived for the modular surfaces \(\Gamma _0(N)\backslash {\mathbb {H}}\) in [3, 52] and other papers. It is likely that our work can be extended to these settings, and we plan to deal with these questions in a future paper. Also, we intend to widen our results to Hecke–Maass forms of rank r. For such forms, the exponent \(1/2m\) in (1.8) and (1.9) should be improvable by a factor r. Finally, we expect the factor \(\sqrt{d_\sigma \sup _{u \le \big \lfloor \frac{\dim K}{2}+1\big \rfloor } \left\ D^u \sigma \right\ _\infty }\) in (1.8) to be improvable to \(d_\sigma \).
This paper is structured as follows. In Sect. 2, we introduce Hecke operators with character on semisimple Lie groups with finite center, in Sect. 3 we give a description of the asymptotic behaviour of spectral function of an elliptic operator by means of Fourier integral operators, and explain how convex bounds can be deduced from this in equivariant and nonequivariant situations. Based on these results, we derive spectral asymptotics for kernels of Hecke operators in Sect. 4. Relying on the latter, we finally prove subconvex bounds for arithmetic congruence lattices in \(\mathrm {SL}(2,{{\mathbb {R}}})\), \(\mathrm {SO}(3)\), and a large class of semisimple algebraic groups in Sects. 5, 6, and 7, respectively. Throughout the paper, \({{\mathbb {N}}}:=\left\{ 0,1,2,3,\dots \right\} \) will denote the set of natural numbers, while \({{\mathbb {N}}}_*:=\left\{ 1,2,3,\dots \right\} \).
2 Hecke operators with character on semisimple Lie groups
To introduce our setting, let G be a real semisimple Lie group with finite center and Lie algebra \(\mathbf{{\mathfrak {g}}}\). Denote by \(\langle X,Y\rangle := {{\,\mathrm{tr}\,}}\, (\mathrm {ad}\,X\circ \mathrm {ad}\,Y)\) the CartanKilling form on \(\mathbf{{\mathfrak {g}}}\) and by \(\theta \) a Cartan involution of \(\mathbf{{\mathfrak {g}}}\). Let
be the Cartan decomposition of \(\mathbf{{\mathfrak {g}}}\) into the eigenspaces of \(\theta \), corresponding to the eigenvalues \(+1\) and \(1\) , respectively, and denote the maximal compact subgroup of G with Lie algebra \(\mathbf{{\mathfrak {k}}}\) by K. Put \(\langle X,Y\rangle _\theta :=\langle X,\theta Y\rangle \). Then \(\langle \cdot ,\cdot \rangle _\theta \) defines a leftinvariant Riemannian metric on G, which in general will possess some strictly positive sectional curvature, compare Milnor [36, p. 298 and p. 317]. Dividing by the Kaction, the quotient G/K becomes a Riemannian symmetric space of nonpositive sectional curvature. With respect to the leftinvariant metric on G, a distance function \(\mathrm {dist}\,(g,h)\) is defined on each connected component of G as the geodesic distance between two points g, h in that component. Note that \(\mathrm {dist}\,(g_1g,g_1h) = \mathrm {dist}\,(g,h)\) for all \(g_1\in G\). In contrast to the Killing form, \(\langle \cdot ,\cdot \rangle _\theta \) is no longer \(\mathrm {Ad}\,(G)\)invariant, but still \(\mathrm {Ad}\,(K)\)invariant, so that \(\mathrm {dist}\,(gk,hk)=\mathrm {dist}\,(g,h)\) for all \(k \in K\).
Next, let \(X_1, \dots X_{\dim \mathbf{{\mathfrak {p}}}}\) be an orthonormal basis of \(\mathbf{{\mathfrak {p}}}\) and \(Y_1, \dots , Y_{\dim \mathbf{{\mathfrak {k}}}}\) an orthonormal basis for \(\mathbf{{\mathfrak {k}}}\) with respect to \(\langle \cdot ,\cdot \rangle _\theta \). If \(\Omega \) and \(\Omega _K\) denote the Casimir elements of G and K, one has
and we put \(\Theta :=\Omega +2\Omega _K\). Then \(dR(\Theta )\) is the Beltrami–Laplace operator \(\Delta \) on G with respect to the left invariant metric defined by \(\langle \cdot , \cdot \rangle _\theta \), while \({{\mathcal {C}}}:=dR(\Omega )\) represents the Casimir operator, R being the right regular representation of G on \(\mathrm{C^{\infty }}(G)\), see [38, Section 3] and [9, Section 2.10]. Thus,
all three operators commuting with each other.
We consider now a discrete cocompact subgroup \(\Gamma \) of G, together with the set \({\widehat{\Gamma }}\) of its characters of finite order, and let \(\chi \in {\widehat{\Gamma }}\). Then \(\Gamma _\chi := \ker \chi \) is a subgroup of finite index in \(\Gamma \) and the quotient \(\Gamma _\chi \backslash G\) a compact manifold without boundary. By requiring that the projection \(G \rightarrow \Gamma _\chi \backslash G\) is a Riemannian submersion, we obtain a Riemannian structure on \(\Gamma _\chi \backslash G\) which locally has the same curvature than G. Furthermore, the Riemannian structure on G/K induces a Riemannian metric on \(\Gamma _\chi \backslash G/K\), becoming a locally symmetric space of negative curvature. In both cases, \(\mathrm {dist}\,\) induces corresponding distances on \(\Gamma _\chi \backslash G\) and \(\Gamma _\chi \backslash G/K\).
Before we proceed, note that due to the compactness of \(\Gamma _\chi \backslash G\), the right regular representation of G on \(\mathrm{L}^2(\Gamma _\chi \backslash G)\) decomposes into an orthogonal direct sum of countably many irreducible unitary representations with finite multiplicities, that is,
where \(\widehat{G}\) denotes the unitary dual of G and \(m(\pi ,\Gamma _\chi )\) is a nonnegative integer, see [19]. Furthermore, both the spectra of \(\Delta \) and \({\mathcal {C}}\) in \(\mathrm{L}^2(\Gamma _\chi \backslash G)\) are discrete. Note that the eigenvalues of \(\Delta \) are positive, while the ones of \({{\mathcal {C}}}\) can be both negative and positive.
In what follows, we introduce Hecke operators on \(\Gamma \backslash X\), where \(X:=G\) or G/K, following [22, Section 2], and consider the commensurator
of \(\Gamma \), where we say that two subgroups \(\Gamma _1\) and \(\Gamma _2\) are commensurable if, and only if, the indices \([\Gamma _1:\Gamma _1\cap \Gamma _2]\) and \([\Gamma _2:\Gamma _1\cap \Gamma _2]\) are finite. Let \(\beta \in C(\Gamma )\). Since the mapping
is bijective, the double coset \(\Gamma \beta \Gamma \) is a finite union of right cosets of \(\Gamma \), that is, there exist representative elements \(\beta _1\), \(\beta _2,\dots ,\beta _t\) in \(\Gamma \beta \Gamma \) such that
One can then associate to each double coset a linear operator \(T_{\Gamma \beta \Gamma }\) on \(\mathrm{L}^2(\Gamma \backslash X)\) by setting
where \(\beta _j \cdot x \equiv \Gamma \beta _j \cdot \Gamma x:= \Gamma \beta _j x\) depends on the choice of the representative x, but the sum does not depend on the choice of the representatives x and \(\beta _j\). Summing up, one writes^{Footnote 6}
and calls \(T_{\Gamma \beta \Gamma }\) a Hecke operator.
If a subset U of \(C(\Gamma )\) is decomposed into a finite disjoint union of double cosets of \(\Gamma \), a linear operator \(T_U\) can be defined in the same manner according to
More generally, one can introduce Hecke operators as follows. Write \(H(\Gamma ,C(\Gamma ))\) for the space of left and right \(\Gamma \)invariant \({{\mathbb {C}}}\)valued functions h on \(C(\Gamma )\) such that the support of h is included in a finite union of double \(\Gamma \)cosets. Endowed with the convolution product
\(H(\Gamma ,C(\Gamma ))\) becomes an associative algebra over \({{\mathbb {C}}}\) with the characteristic function \(1_\Gamma \) of \(\Gamma \) as unit element. For each \(h \in H(\Gamma ,C(\Gamma ))\), a linear operator \(T_h\) on \(\mathrm{L}^2(\Gamma \backslash X)\) can then be defined by
and one has \(T_{h_1*h_2}=T_{h_1}\circ T_{h_2}\). If U is as above and h is the characteristic function of U, then it is obvious that \(T_h\) equals \(T_U\). We call \(H(\Gamma ,C(\Gamma ))\) the Hecke algebra and refer the reader to [22, Section 2] for details. Next, let us introduce Hecke operators with character. Assume that G is a subgroup of another group \(G'\). Let \(\Xi \) be a subsemigroup of \(G'\) containing \(\Gamma \). We suppose that \(\chi \) can be extended to \(\Xi \), and that there exists a homomorphism \(\psi :\Xi \rightarrow C(\Gamma )\) such that \(\psi _\Gamma \) is the identity map, and \(\alpha x\alpha ^{1}=\psi (\alpha )x\psi (\alpha )^{1}\) holds for any \(\alpha \in \Xi \), \(x\in G\). In particular, for \(\alpha \), \(\beta \in \Xi \) we have \(\chi (\alpha \beta )=\chi (\alpha )\, \chi (\beta )\), while the inverse element \(\alpha ^{1}\) does not always belong to \(\Xi \).
Example 2.1
One of the main examples we are having in mind is \(G':=\mathrm {GL}(n,{{\mathbb {R}}})\) with
where \(\omega \) is a Dirichlet character on \(({{\mathbb {Z}}}/N{{\mathbb {Z}}})^\times \).
Let us now define a left action of \(\Xi \) on G by setting \(\alpha \cdot x:=\psi (\alpha )x\). For a fixed \(\beta \in \Xi \) we can then define the Hecke operator with character
where we took into account that \(\Gamma _\chi \backslash \Gamma \beta \Gamma \subset \Xi \). By definition we have \({{\mathcal {T}}}^\chi _{\Gamma \beta \Gamma }=T_h\) for some \(h\in H(\Gamma _\chi ,C(\Gamma ))\) satisfying \(h(\gamma _1 x \gamma _2)=\overline{\chi (\gamma _1\gamma _2)}h(x)\) for any \(\gamma _1,\gamma _2\in \Gamma \) and \(x\in C(\Gamma )\). Furthermore, for given \(\beta _j\in \Xi \) and \(h_j\in H(\Gamma _\chi ,C(\Gamma ))\) with \(T_{h_j}={{\mathcal {T}}}^\chi _{\Gamma \beta _j\Gamma }\), the convolution \(h_1*h_2\) also satisfies the latter condition. Thus, there exist elements \(l\in {{\mathbb {N}}}\), \(a_u\in {{\mathbb {C}}}\), and \(\alpha _u\in \Xi \) such that
Next, denote by \(\mathrm{L}^2_\chi (\Gamma \backslash X)\) the Hilbert space of measurable functions on X such that
and
which is welldefined since \(\chi (\gamma )=1\) for \(\gamma \in \Gamma \), compare [37, p. 228].^{Footnote 7} Notice that \(f \in \mathrm{L}^2_\chi (\Gamma \backslash X)\) implies \(f \in \mathrm{L}^2(\Gamma \backslash X)\). If \(\chi \) is trivial, then \(\mathrm{L}^2_\chi (\Gamma \backslash X)=\mathrm{L}^2(\Gamma \backslash X)\). Since \(\Gamma _\chi \) is a normal subset of \(\Gamma \) we have
where we regard \(\widehat{\Gamma /\Gamma _\chi }\) as a subset of \(\widehat{\Gamma }\), compare [37, Lemma 4.3.1]. In particular, because \(\chi \in \widehat{\Gamma /\Gamma _\chi }\), \(\mathrm{L}^2_\chi (\Gamma \backslash X)\) is a closed subspace in \(\mathrm{L}^2(\Gamma _\chi \backslash X)\), and for a fixed \(\beta \in \Xi \), the operator \({{\mathcal {T}}}^\chi _{\Gamma \beta \Gamma }\) restricts to the linear operator
Notice that for each \(\chi '\) in \(\widehat{\Gamma /\Gamma _\chi }\) with \(\chi '\ne \chi \) and each function \(f \in \mathrm{L}^2_{\chi '}(\Gamma \backslash X)\) we have
by the orthogonality relations for characters. Further, the projection of \(\mathrm{L}^2(\Gamma _\chi \backslash X)\) onto \(\mathrm{L}^2_{\chi }(\Gamma \backslash X)\) is given by the Hecke operator \(T_{h(\chi )}\), where \(h(\chi )\in H(\Gamma _\chi , \Xi )\) is the function
\(\mathbf{1}_{\Gamma _\chi \alpha }\) being the characteristic function of the coset \({\Gamma _\chi \alpha }\). Thus, one obtains the commutative diagram
and in view of (2.12) we have \( T_{h(\chi )} \circ T^\chi _{\Gamma \beta \Gamma } \circ T_{h(\chi )}= {{\mathcal {T}}}^\chi _{\Gamma \beta \Gamma }. \)
3 The spectral function of an elliptic operator and convex bounds for eigenfunctions
The main tool underlying our analysis is the spectral function of an elliptic operator on a smooth manifold, which contains essential information on the spectrum. For large spectral parameters, an asymptotic description of it can be derived within the theory of Fourier integral operators, yielding in particular convex bounds for eigenfunctions. In what follows, we shall briefly recall the main arguments in nonequivariant and equivariant situations, and provide the results that will be needed later.
3.1 The spectral function and convex bounds for eigenfunctions
Let M be a closed Riemannian manifold of dimension d and \(P_0\) an elliptic classical pseudodifferential operator on M of degree m, which is assumed to be positive and symmetric. Denote its unique selfadjoint extension by P, and let \(\left\{ \phi _j \right\} _{j\ge 0}\) be an orthonormal basis of \(\mathrm{L}^2(M)\) consisting of eigenfunctions of P with eigenvalues \(\left\{ \lambda _j \right\} _{j \ge 0}\) repeated according to their multiplicity. Let \(p(x,\xi )\) be the principal symbol of \(P_0\), which is strictly positive and homogeneous in \(\xi \) of degree m as a function on \(T^*M{\setminus }\left\{ 0 \right\} \), that is, the cotangent bundle of M without the zero section. Here and in what follows \((x,\xi )\) denotes an element in \(T^*Y \simeq Y \times {{\mathbb {R}}}^d\) with respect to the canonical trivialization of the cotangent bundle over a chart domain \(Y\subset M\). Consider further the mth root \(Q:=\root m \of {P}\) of P given by the spectral theorem. It is well known that Q is a classical pseudodifferential operator of order 1 with principal symbol \(q(x,\xi ):=\root m \of {p(x,\xi )}\) and the first Sobolev space as domain [47]. Again, Q has discrete spectrum, and its eigenvalues are given by \(\mu _j:=\root m \of {\lambda _j}\). The spectral function \(e(x,y,\lambda )\) of P can then be described by studying the spectral function of Q, which in terms of the basis \(\left\{ \phi _j \right\} \) is given by
and belongs to \(\mathrm{C^{\infty }}(M \times M)\) as a function of x and y for any \(\mu \in {{\mathbb {R}}}\). Let \(s_\mu \) be the spectral projection onto the sum of eigenspaces of Q with eigenvalues in the interval \((\mu , \mu +1]\), and denote its Schwartz kernel by
To obtain an asymptotic description of the spectral function of Q, one first derives a description of \(s_\mu (x,y)\) by approximating \(s_\mu \) by Fourier integral operators. To do so, let \(\varrho \in {{\mathcal {S}}}({{\mathbb {R}}},{{\mathbb {R}}}_+)\) be such that \({\hat{\varrho }}(0)=1\) and \({{\,\mathrm{supp\,}\,}}{\hat{\varrho }}\in (\delta /2,\delta /2)\) for an arbitrarily small \(\delta >0\), and define the approximate spectral projection operator
where \(E_j\) denotes the orthogonal projection onto the subspace spanned by \(\phi _j\). Clearly,
constitutes the kernel of \({\widetilde{s}}_\mu \). Now, notice that for \(\mu ,\tau \in {{\mathbb {R}}}\) one has
where \({\hat{\varrho }}(t)\) denotes the Fourier transform of \(\varrho \), so that for \(u \in \mathrm{L}^2(M)\) we obtain
where U(t) stands for the oneparameter group
of unitary operators in \(\mathrm{L}^2(M)\) given by the Fourier transform of the spectral measure, \(\{E_\mu ^Q\}\) being a spectral resolution of Q. The central result of Hörmander [23] then says that \(U(t):\mathrm{L}^2(M)\rightarrow \mathrm{L}^2(M)\) can be approximated by Fourier integral operators.
More precisely, let \(\left\{ (\kappa _\iota , Y_\iota ) \right\} _{\iota \in I}\), \(\kappa _\iota :Y_\iota {\mathop {\rightarrow }\limits ^{\simeq }}{\widetilde{Y}}_\iota \subset {{\mathbb {R}}}^d\), be an atlas for M, \(\left\{ f_\iota \right\} \) a corresponding partition of unity and \( {\hat{v}} (\eta ) :={{\mathcal {F}}}(v)(\eta ):= \int _{{{\mathbb {R}}}^d} e^{i\langle {\tilde{y}}, \eta \rangle } v({\tilde{y}}) \, d{\tilde{y}}\) the Fourier transform of \(v \in \mathrm{C^{\infty }_c}({\widetilde{Y}}_\iota )\). Write , and introduce on \(\widetilde{Y}_\iota \) the operator
where \(a_\iota \in S^0_{\mathrm {phg}}\) is a classical polyhomogeneous symbol satisfying \(a_\iota (0,{\tilde{x}}, \eta )=1\) and \(\psi _\iota \) the defining phase function given as the solution of the HamiltonJacobi equation
see [25, Page 254]. Let us remark that \(\psi _\iota \) is homogeneous in \(\eta \) of degree 1, so that Taylor expansion for small t gives
where we wrote \(q_\iota ({\tilde{x}}, \eta ):=q(\kappa _\iota ^{1}(\tilde{x}),\eta )\). In other words, there exists a smooth function \(\zeta _\iota \) which is homogeneous in \(\eta \) of degree 1 and satisfies
Put now \({\bar{U}}_\iota (t) u := [ {\widetilde{U}}_\iota (t) (u \circ \kappa _\iota ^{1})] \circ \kappa _\iota \) for any \( u \in \mathrm{C^{\infty }_c}( Y_\iota )\). Consider further test functions \({\bar{f}}_\iota \in \mathrm{C^{\infty }_c}( Y_\iota )\) satisfying \({\bar{f}}_\iota \equiv 1\) on \({{\,\mathrm{supp\,}\,}}f_\iota \), and define
where \(F_\iota \), \({\bar{F}}_\iota \) denote the multiplication operators with \(f_\iota \) and \({\bar{f}}_\iota \), respectively. Then Hörmander showed that for small t
compare [21, Page 134] and [49, Theorem 20.1]; in particular, the kernel \({\mathcal {R}}_t(x,y)\) of \({\mathcal {R}}(t)\) is smooth as a function of t.
Approximating in (3.3) the operator U(t) by \(\bar{U}(t)\), one obtains a description for the kernel of \(\widetilde{s}_\mu \) as the double oscillatory integral
up to terms of order \(O(\mu ^{\infty })\) which are uniform in x and y, where
and
while \(0 \le b \in \mathrm{C^{\infty }_c}(1/2,3/2)\) is a test function such that \(b\equiv 1\) in a neighborhood of 1, compare [42, Eq. (2.8)]. Here \({d\Sigma ^{R,t}_{\iota ,x}(\omega )}\) denotes the quotient of Lebesgue measure in \({{\mathbb {R}}}^d\) by Lebesgue measure in \({{\mathbb {R}}}\) with respect to \(\zeta _\iota (t, {\tilde{x}}, \omega )\). Furthermore, for sufficiently small \(\delta >0\) one can assume that the Rintegration is over a compact set, and R and t are close to 1 and 0, respectively. From (3.5), an asymptotic description can be inferred as \(\mu \rightarrow +\infty \) by means of the stationary phase principle. In fact, one has the following
Proposition 3.1
Suppose that the cospheres \(S^*_xM:=\left\{ (x,\xi ) \in T^*M\mid p(x,\xi )=1 \right\} \) are strictly convex.^{Footnote 8} Then, for any fixed \(x, y \in M\), and \({\tilde{N}}=0,1,2,3,\dots \) one has the expansion
up to terms of order \(O(\mu ^{\infty })\) as \(\mu \rightarrow +\infty \), where
The coefficients in the expansion and the remainder \({\mathcal {R}}_{\tilde{N}}(x,y,\mu )=O_{x,y}(\mu ^{{\tilde{N}}})\) term can be computed explicitly; if \(y=x\), they are uniformly bounded in x and y, while if \(y \not =x\), they satisfy the bounds
where \(\mathrm {dist}\,(x,y)\) denotes the geodesic distance between two points belonging to the same connected component. Otherwise, \(\mathrm {dist}\,(x,y):=\infty \).
Proof
If \(x=y\), one has \(I_{\iota }(\mu , R, t, x,y)=O(1)\) uniformly in all parameters since \(a_\iota \in \mathrm {S}^0_{phg}\) is a classical symbol of order 0, so that
Consequently, the dependence of the amplitude on \(\mu \) does not interfer with the asymptotics, compare [15, Proposition 1.2.4]. Applying the stationary phase principle [24, Theorem 7.7.5] to the (R, t)integral in (3.5) with \(t(1R)\) as phase function then yields the assertion for \(x=y\), the unique critical point being \((R_0,t_0)=(1,0)\) in this case. Let us now assume that \(x\not =y\). By assumption, the cospheres \(S_x^*M\) are strictly convex, so that for small t, the hypersurfaces \(\Sigma ^{R,t}_{\iota ,x}\) will be strictly convex, too. Applying [42, Lemma 3.5] to the integrals \(I_{\iota }(\mu , R, t, x,y)\) with \(\left\langle \frac{\kappa _\iota ( x)  \kappa _\iota (y)}{\left\ \kappa _\iota ( x)  \kappa _\iota (y) \right\ },\omega \right\rangle \) as phase function and \(\nu :=\mu \left\ \kappa _\iota ( x)  \kappa _\iota ( y) \right\ \) as asymptotic parameter yields for any \({\tilde{N}}\in {{\mathbb {N}}}\) the expansion
where the coefficients and the remainder are smooth in R and t, and satisfy the bounds
uniformly in R and t. Regarding the value of \(\Phi _{\iota , x,y}\) on its critical set, one computes for \(\omega _0 \in \mathrm {Crit}\, \Phi _{\iota , x,y}\)
since \(\kappa _\iota (x)  \kappa _\iota ( y )\) must be colinear to \({{\,\mathrm{grad}\,}}_\eta \zeta (t,\kappa _\iota (x),\omega _0)\). Notice that due to the fact that \(\zeta (t,\kappa _\iota (x),\eta )\) is homogeneous of degree 1 in \(\eta \), the gradient \({{\,\mathrm{grad}\,}}_\eta \zeta (t,\kappa _\iota (x),\omega _0)\) only depends on the direction of \(\omega _0\), and is therefore independent of R. From this and (3.5) we deduce for \(K_{{\widetilde{s}}_\mu }(x,y)\) as \(\mu \rightarrow +\infty \) the expansion
up to terms of order \(O(\mu ^{\infty })\). Again, we apply the stationary phase principle to the (R, t)integrals, where now the phase function reads \(t(1R) +\Phi _{\iota ,x,y}(\omega _0)\). The determinant of the matrix of its second derivatives is given by
By choosing the charts \(Y_\iota \) sufficiently small so that \(\Vert \kappa _\iota (x)  \kappa _\iota (y)\Vert \ll 1\), we can therefore achieve that in a sufficiently small neighborhood of \((R,t)=(1,0)\), which is where the amplitude of the (R, t)integral is supported, the phase function \(t(1R) +\Phi _{\iota ,x,y}(\omega _0)\) has, if at all, only nondegenerate, hence isolated, critical points. If we now apply the stationary phase theorem, the assertion follows in the case \(x\not =y\) as well. \(\square \)
Remark 3.2
By Cauchy–Schwarz and the positivity of the test function \(\varrho \) we infer from the previous proposition for \({\tilde{N}}=0\) that
uniformly in \(x,y\in M\). Also, note that the asymptotics in the proposition off the diagonal are only meaningful if \(\mathrm {dist}\,(x,y)^{1}\) is small with respect to \(\mu \).
As the previous proposition shows, the kernel of \({\tilde{s}}_\mu \) exhibits a caustic behaviour^{Footnote 9} in a neighbourhood of the diagonal since for \(x=y\) the integrals \(I_\iota (\mu ,R,t,x,y)\) no longer oscillate and are of order \(O(\mu ^0)\). From Proposition 3.1, similar asymptotics for \(s_\mu \) can be deduced. By looking at asymptotics on the diagonal, one obtains Weyl’s law for the spectral function of Q and convex \(\mathrm{L}^\infty \)bounds for eigenfunctions, since \(\left\ s_\mu \right\ _{\mathrm{L}^2 \rightarrow \mathrm{L}^\infty }^2\equiv \sup _{x\in M} s_\mu (x,x)\), yielding for any eigenfunction the convex bound
compare [23, Theorem 5.1] and [50, Eq. (3.2.6)]. Nevertheless, in order to prove subconvex bounds, we shall also need asymptotics off the diagonal, so that the full caustic behaviour of \(K_{{\tilde{s}}_\mu }(x,y)\) near the diagonal becomes relevant.
3.2 The reduced spectral function and equivariant convex bounds for eigenfunctions
Keeping the notation of Sect. 3.1, assume now that M carries an effective and isometric action of a compact Lie group K, and consider the right regular representation \(\pi \) of K on \(\mathrm{L}^2(M)\) with corresponding Peter–Weyl decomposition
where \({\widehat{K}}\) denotes the unitary dual of K and
the orthogonal projector onto the \(\sigma \)isotypic component, dk being Haar measure and \(d_\sigma \) the dimension of an irreducible representation of K in the class \(\sigma \in {\widehat{K}}\). Further, suppose that P commutes with \(\pi \), and that the orthonormal basis \(\left\{ \phi _j \right\} _{j \ge 0}\) is compatible with the decomposition (3.8) in the sense that each \(\phi _j\) lies in some \(\mathrm{L}^2_\sigma (M)\). Then every eigenspace of P is invariant under \(\pi \), and decomposes into irreducible Kmodules spanned by eigenfunctions. In order to study eigenfunctions of P of a certain Ktype, one is interested in the spectral function of the operator \(Q_\sigma :=\Pi _\sigma \circ Q \circ \Pi _\sigma = \Pi _\sigma \circ Q= Q \circ \Pi _\sigma \), also called the reduced spectral function, given by
For this, one considers the composition \(s_\mu \circ \Pi _\sigma \), or rather \( {\tilde{s}}_\mu \circ \Pi _\sigma \), whose kernel has the spectral expansion
Similarly to (3.5), it was shown in [42, Eq. (2.8)] that by approximating U(t) in (3.3) by the Fourier integral operator \({\bar{U}}(t)\) one obtains a description for the kernel of \({\widetilde{s}}_\mu \circ \Pi _\sigma \) as the double oscillatory integral
up to terms of order \(O(\mu ^{\infty })\) which are uniform in x and y, where
\(J_\iota (k,y)\) being a Jacobian. Write \({{\mathcal {O}}}_x:= x \cdot K\) for the Korbit through \(x \in M\). We then have the following
Proposition 3.3
Suppose that K acts on M with orbits of the same dimension \(\kappa \le d1\) and that the cospheres \(S^*_xM:=\left\{ (x,\xi ) \in T^*M\mid p(x,\xi )=1 \right\} \) are strictly convex. Then, for any fixed \(x, y \in M\), \(\sigma \in {\widehat{K}}\), and \(\tilde{N}=0,1,2,3,\dots \) one has the expansion
up to terms of order \(O(\mu ^{\infty })\) as \(\mu \rightarrow +\infty \), where
The coefficients in the expansion and the remainder term can be computed explicitly; if \(y \in {{\mathcal {O}}}_x\), they satisfy the bounds
uniformly in x and y, where \(D^u\) denote differential operators on K of order u, and if \(y \notin {{\mathcal {O}}}_x\), the bounds
where \(\mathrm {dist}\,(x, {{\mathcal {O}}}_y):=\min \left\{ \mathrm {dist}\,(x,z)\mid z \in {{\mathcal {O}}}_y \right\} \). If \(K=T\) is a torus, let \({\widehat{T}}' \subset {\widehat{T}}\) be the subset of representations occuring in the decomposition (3.8), and identify \({\widehat{T}}\) with the set of integral linear forms on \(\mathbf{{\mathfrak {t}}}\). Then the remainder estimates can be improved to
respectively, provided that \(\sigma \in {\mathcal {V}}_\mu :=\{\sigma ' \in {\widehat{T}}' \mid \sigma ' \le C \mu /\log \mu \}\) for some constant \(C>0\).
Remark 3.4

(1)
Proposition 3.3 implies for \({\tilde{N}}=0\) by Cauchy–Schwarz that
$$\begin{aligned} \begin{aligned} K_{ {\tilde{s}}_\mu \circ \Pi _\sigma }&(x,y) \le \sqrt{\sum _{j \ge 0, \phi _j \in \mathrm{L}^2_\sigma (M)} \varrho (\mu \mu _j) \phi _j(x)^2} \sqrt{\sum _{j \ge 0, \phi _j \in \mathrm{L}^2_\sigma (M)} \varrho (\mu \mu _j) \phi _j(y)^2}\\&=\sqrt{K_{ {\tilde{s}}_\mu \circ \Pi _\sigma }(x,x)} \sqrt{K_{ \tilde{s}_\mu \circ \Pi _\sigma }(y,y)}=O \Big (d_\sigma \mu ^{d\kappa 1} \sup _{u \le \lfloor \kappa /2+1\rfloor }\left\ D^u \sigma \right\ _\infty \Big ) \end{aligned} \end{aligned}$$uniformly in \(x,y\in M\) and \(\sigma \in {\widehat{K}}\), while taking \({\tilde{N}}=1\) would yield an estimate of order
$$\begin{aligned} O\Big (d_\sigma \, \mu ^{d\kappa 1} \big ( \left\ \sigma \right\ _\infty + \sup _{u \le \lfloor \kappa /2+3\rfloor }\left\ D^u \sigma \right\ _\infty \mu ^{1}\big ) \Big ). \end{aligned}$$If \(K=T\) is a torus, better remainder estimates hold.

(2)
Note that the asymptotics of Proposition 3.3 in the case \(y \not \in {{\mathcal {O}}}_x\) are only meaningful if \(\mathrm {dist}\,(x, {{\mathcal {O}}}_y)^{1}\) is small with respect to \(\mu \).
Proof of Proposition 3.3
This proposition is essentially a consequence of [42, Theorem 3.3] and [43, Theorem 3.2]. In particular, an asymptotic expansion of \(K_{{\widetilde{s}}_\mu \circ \Pi _\sigma }(x,x)\) was given in [42, Proposition 4.2] and, with an improved remainder estimate in the toric case, in [42, Proposition 4.1]. To obtain an asymptotic expansion off the diagonal from (3.11), we shall first apply the stationary phase theorem to the integrals \( I^\sigma _{\iota }(\mu , R, t, x,y)\), and then to the (R, t)integral. If \(x \not \in Y_\iota \) or \({{\mathcal {O}}}_y\cap Y_\iota =\emptyset \), \(I^\sigma _\iota (\mu ,R,t,x,y)=0\). Otherwise, [42, Theorem 3.3] implies for sufficiently small \(Y_\iota \), fixed \(R,t \in {{\mathbb {R}}}\), and any \({\tilde{N}}\in {{\mathbb {N}}}\) the asymptotic expansion
where \(\mathrm {Crit}\, \Phi _{\iota , x,y}\) denotes the critical set of \(\Phi _{\iota ,x,y}\), and
The coefficients and the remainder term are given by distributions depending smoothly on R, t with support in \(\mathrm {Crit}\, \Phi _{\iota ,x,y}\) and \(\Sigma ^{R,t}_{\iota ,x} \times K\), respectively. Furthermore, they and their derivatives with respect to R, t satisfy for \(y \not \in {{\mathcal {O}}}_x\) the bounds
while for \(y \in {{\mathcal {O}}}_x\) one has
uniformly in x and y. If \(K=T\) is a torus and \(\sigma \in {\mathcal {V}}_\mu \), the remainder estimates can be improved [43, Theorem 3.2] to contain only derivatives of \(\sigma \) up to order \(2{\tilde{N}}\). Finally,
denotes the constant value(s) of \(\Phi _{\iota ,x,y}\) on (the components of) its critical set, where \((\omega _0,k_0)\) is some point in \(\mathrm {Crit}\, \Phi _{\iota ,x,y}\). If \(y \in {{\mathcal {O}}}_x\) one has \(\Phi _{\iota ,x,y}^0(R,t)=0\). As already noted in the proof of Proposition 3.1, \(a_\iota \) is a polyhomogeneous symbol of order 0, so that the dependence of the amplitude on \(\mu \) does not interfer with the asymptotics. Putting (3.11) and (3.12) together we obtain
up to terms of order \(O(\mu ^{\infty })\) uniform in x and y. We now apply the stationary phase principle [24, Theorem 7.7.5] to the (R, t)integral. If \(y \in {{\mathcal {O}}}_x\), the phase function simply reads \(t(1R)\), and the only critical point is \((R_0,t_0)=(1,0)\), which is nondegenerate, the determinant of the Hessian being \(1\). Therefore, the necessary conditions for an application of the principle are fulfilled, yielding the assertion of the proposition in this case. In case that \(y \not \in {{\mathcal {O}}}_x\), the phase function is given by \(t(1R) +\Phi ^0_{\iota ,x,y}(R,t)\), and the determinant of the matrix of its second derivatives is given by
By choosing the charts \(Y_\iota \) sufficiently small so that \(\Vert \kappa _\iota (x)  \kappa _\iota (y \cdot k_0^{1})\Vert \ll 1\), we can achieve that in a sufficiently small neighborhood of \((R,t)=(1,0)\) the phase function \(t(1R) +\Phi ^0_{\iota ,x,y}(R,t)\) has, if at all, only nondegenerate, hence isolated, critical points. If we now apply the stationary phase theorem, the proposition follows. \(\square \)
From Proposition 3.3 equivariant convex bounds for eigenfunctions can be easily inferred. Indeed, recall that the test function \(\varrho \in {{\mathcal {S}}}({{\mathbb {R}}},{{\mathbb {R}}}^+)\) was chosen such that \(\hat{\varrho }(0)=1\) and \({{\,\mathrm{supp\,}\,}}{\hat{\varrho }} \subset (\delta /2,\delta /2)\) for some arbitrary \(\delta >0\). By choosing \(\delta \) sufficiently small, one can even achieve that \(\varrho >0\) on \([1,1]\), compare [16, Proof of Lemma 2.3]. But then
yielding a corresponding bound for \(K_{s_\mu \circ \Pi _\sigma }(x,x)\), compare [42, Remark 4.4 (2)]. In view of the equality \(\left\ s_\mu \circ \Pi _\sigma \right\ _{\mathrm{L}^2 \rightarrow \mathrm{L}^\infty }^2\equiv \sup _{x\in M} K_{ s_\mu \circ \Pi _\sigma }(x,x)\), one finally obtains the equivariant convex bound
for any \(\phi _j\in \mathrm{L}^2_\sigma (M)\) and \(\sigma \in {\widehat{K}}\), see [42, Proposition 5.1 and Eq. (5.4)]. As in the nonequivariant case, the kernels \(K_{{\tilde{s}}_\mu \circ \Pi _\sigma }(x,y)\) exhibit a caustic behaviour in their dependence on x, y, which will be crucial for the derivation of equivariant subconvex bounds. In case that \(K=T\) is a torus and \(\sigma \in {\mathcal {V}}_\mu \), the bounds above are independent of \(\sigma \), see [43, Proposition 5.1].
4 Spectral asymptotics for kernels of Hecke operators
Keep the notation of Sects. 2 and 3. The main goal of this paper consists in proving subconvex bounds for Hecke–Maass forms of rank 1 on the compact ddimensional Riemannian manifold \(M=\Gamma _\chi \backslash G\). To this purpose, we shall first derive asymptotics for kernels of Hecke operators in the eigenvalue and isotypic aspect. Recall that K acts on G and M from the right in an isometric and effective way, the isotropy group of a point \(\Gamma _\chi g\in \Gamma _\chi \backslash G\) being conjugate to the finite group \(gKg^{1}\cap \Gamma _\chi \). Hence, all Korbits in \(\Gamma _\chi \backslash G\) are either principal or exceptional, and of dimension \(\dim K\). Since the maximal compact subgroups of G are precisely the conjugates of K, exceptional Korbits arise from elements in \(\Gamma _\chi \) of finite order. Consider now the right regular representation \(\pi \) of K on \(\mathrm{L}^2(\Gamma _\chi \backslash G)\) together with the corresponding Peter–Weyl decomposition (3.8), and suppose that P commutes with \(\pi \) and the Hecke operators \({{\mathcal {T}}}^\chi _{\Gamma \beta \Gamma }\), which commute with the right regular Krepresentation as well.
To describe the growth of simultaneous eigenfunctions of P and \(T^\chi _{\Gamma \beta \Gamma }\) in the \(\sigma \)isotypic component
of \(\mathrm{L}^2_\chi (\Gamma \backslash G)\), we are interested in spectral asymptotics for the Schwartz kernel of the operator
Let \(\left\{ \phi _j \right\} _{j\ge 0}\) be an orthonormal basis of \(\mathrm{L}^2(\Gamma _\chi \backslash G)\) consisting of simultaneous eigenfunctions of P and \({{\mathcal {T}}}^\chi _{\Gamma \beta \Gamma }\) compatible with the decompositions (2.10) and (3.8). Applying the Hecke operators \({{\mathcal {T}}}^\chi _{\Gamma \beta \Gamma }\) to the spectral expansion (3.9) of the spectral function of \(Q \circ \Pi _\sigma \) yields
In order to get an asymptotic description of the righthand side of (4.2), we consider the composition \({{\mathcal {T}}}^\chi _{\Gamma \beta \Gamma } \circ {\tilde{s}}_\mu \circ \Pi _\sigma \) with the approximate spectral projection \({\tilde{s}}_\mu \). Clearly, its Schwartz kernel can be written as
\(K_{{\tilde{s}}_\mu \circ \Pi _\sigma }( x,y)\) being as in (3.10), and by Remark 3.4 (1) one immediately deduces
uniformly in x, or if \(K=T\) is a torus,
Nevertheless, to obtain subconvex bounds, more subtle estimates are necessary that take into account the caustic behaviour of the kernels \(K_{{\tilde{s}}_\mu \circ \Pi _\sigma }( x,y)\) near the diagonal.
Proposition 4.1
Let \(\chi \in {\widehat{\Gamma }}\), \(\sigma \in {\widehat{K}}\), \(x \in \Gamma _\chi \backslash G\), and \({\tilde{N}}\in {{\mathbb {N}}}\) be arbitrary. Assume that the cospheres \(S^*_x(\Gamma _\chi \backslash G)\) are strictly convex. Then, for any \(0 <\delta \ll 1\),
uniformly in \(x \in \Gamma _\chi \backslash G\) for some sufficiently large^{Footnote 10} constant \(C>0\) up to terms of order \(O(\Gamma _\chi \backslash \Gamma \beta \Gamma  \;\mu ^{\infty })\), where we set
and \(\mathrm {dist}\,(xK,\alpha \cdot xK)\equiv \mathrm {dist}\,(\Gamma xK,\Gamma \alpha xK)\). If \(K=T\) is a torus and \(\sigma \in {\mathcal {V}}_\mu \), the better estimate
holds.
Proof
By Proposition 3.3 one deduces as \(\mu \rightarrow +\infty \)
Furthermore, by Remark 3.4 (1) one has the uniform bound
In view of (4.3) we therefore obtain
by definition of the Stieltjies integral. In case that \(K=T\) is a torus, by Proposition 3.3 corresponding better estimates hold, and the assertion follows. \(\square \)
5 Subconvex bounds on \(\Gamma _{\chi } \backslash \mathrm {SL}(2,{{\mathbb {R}}})\) for arithmetic congruence lattices
In this section, we shall use the kernel asymptotics derived in the previous section to prove subconvex bounds on the quotient \(\Gamma \backslash \mathrm {SL}(2,{{\mathbb {R}}})\), where \(\Gamma \) is an arithmetic congruence lattice as considered by Iwaniec and Sarnak [28].
5.1 Arithmetic congruence lattices
To introduce the setting, let A be an indefinite quaternion division algebra over \({{\mathbb {Q}}}\). Hence, there exist two squarefree integers a and b such that \(a>0\) and
where \(\omega ^2=a\), \(\Omega ^2=b\), and \(\omega \Omega =\Omega \omega \). For each element \(x=x_0+x_1\omega +x_2\Omega +x_3\omega \Omega \), its conjugate is defined as \({\overline{x}}:=x_0x_1\omega x_2\Omega x_3\omega \Omega \), and its trace and norm as \({{\,\mathrm{tr}\,}}(x):=x+{\overline{x}}\) and \(N(x):=x{\overline{x}}\), respectively. Let \({\mathcal {R}}\) be an order of A, that is, \({\mathcal {R}}\) is a finitely generated free \({{\mathbb {Z}}}\)module, \({\mathcal {R}}\) is a subring of A cotaining 1, and \({\mathcal {R}}\otimes _{{\mathbb {Z}}}{{\mathbb {Q}}}=A\). For each prime number p, set \(A_p:=A\otimes {{\mathbb {Q}}}_p\) and \({\mathcal {R}}_p:={\mathcal {R}}\otimes {{\mathbb {Z}}}_p\). Let \(d_A\) be the product of all primes p such that \(A_p\) is a division algebra. Then \(d_A\) is called the discriminant of A. It is greater than 1 and square free, and \(A_p\) is isomorphic to \(M(2,{{\mathbb {Q}}}_p)\) if p does not divide q. Throughout this section, we assume that \({\mathcal {R}}\) is an Eichler order of level L, where L is a natural number such that \((d_A,L)=1\). Hence, \({\mathcal {R}}\) satisfies

(1)
\({\mathcal {R}}_p\) is the maximal order of \(A_p\) if p divides \(d_A\), or

(2)
\({\mathcal {R}}_p\) is conjugate to \(\begin{pmatrix}{{\mathbb {Z}}}_p&{}{{\mathbb {Z}}}_p \\ L{{\mathbb {Z}}}_p&{}{{\mathbb {Z}}}_p \end{pmatrix}\).
Note that any Eichler order is included in a maximal order. Particularly, \({\mathcal {R}}\) is maximal when \(L=1\). Now, choose an embedding \(\theta :A\rightarrow M(2,{{\mathbb {Q}}}(\sqrt{a}))\subset M(2,{{\mathbb {R}}})\) by setting
For each natural number \(n\in {{\mathbb {N}}}_*\), we set
Then \(\Gamma :=\theta ({\mathcal {R}}(1))\) becomes a cocompact lattice of \(G:=\mathrm {SL}(2,{{\mathbb {R}}})\). Note that \({{\,\mathrm{tr}\,}}(x)={{\,\mathrm{tr}\,}}(\theta (x))\) and \(N(x)=\mathrm {det}\,(\theta (x))\) hold for any x in A. In what follows, we identify A with \(\theta (A)\). Especially, we will often use \(\Gamma \) instead of \({\mathcal {R}}(1)\).
Next, let \(\chi \) be a Dirichlet character on \(({{\mathbb {Z}}}/L{{\mathbb {Z}}})^\times \). In view of the product isomorphism \(({{\mathbb {Z}}}/L{{\mathbb {Z}}})^\times \cong \prod _{pL} ({{\mathbb {Z}}}_p/L{{\mathbb {Z}}}_p)^\times \) given by the diagonal embedding \(a\mapsto (a)_p\), a character \(\chi _p\) can be defined on \(({{\mathbb {Z}}}_p/L{{\mathbb {Z}}}_p)^\times \) by restriction of \(\chi \) to each factor. Set
and define a character \(\chi _L\) on the semigroup \({\mathcal {R}}_L\) by
Composing \(\chi _L\) and the diagonal embedding \(\Xi _{\mathcal {R}}\subset {\mathcal {R}}_L\), we obtain a character \(\chi \) on the subsemigroup \(\Xi _{\mathcal {R}}\) of \(A^\times \). By the inclusion \(\Gamma \subset \Xi _{\mathcal {R}}\), \(\chi \) becomes a character on \(\Gamma \) which is called a Nebentypus character. Notice that there are only finitely many Nebentypus characters for each fixed Eichler order \({\mathcal {R}}\). Now, because \(\Gamma \) and \(\alpha ^{1}\Gamma \alpha \) are commensurable [40, Proposition 4.1], an inclusion map \(\psi :{\mathcal {R}}(n)\rightarrow C(\Gamma )\) is given by
Since the subset \({\mathcal {R}}(n)\) is left and right \(\Gamma \)invariant, and it is known that \(\Gamma \backslash {\mathcal {R}}(n)\) is finite [37, Section 5.3], we can introduce the Hecke operators
Indeed, since \(\psi ({\mathcal {R}}(n))\) is given as a disjoint union of double cosets \(\sqcup _j \Gamma \alpha _j \Gamma \), the operator \(T^\chi _n\) coincides with the sum \(\sum _j T^\chi _{\Gamma \alpha _j \Gamma }\) of Hecke operators defined in (2.11). In particular, we have also the Hecke operators
compare (2.6) and Diagram 2.14. Furthermore, set
For natural numbers n such that \((n,q)=1\), the \(T^\chi _n\) are selfdual, commute with the Beltrami–Laplace operator \(\Delta \) on G, and satisfy the composition rule [37, Section 5.3]
Next, recall that the group \(\mathrm {GL}(2,{{\mathbb {R}}})^+:=\{ x\in M(2,{{\mathbb {R}}}) \mid \mathrm {det}\,(x)>0\}\) acts transitively on the upper half plane \({\mathbb {H}}:=\left\{ z \in {{\mathbb {C}}}\mid \mathrm {Im}\,z>0 \right\} \) by fractional transformations^{Footnote 11}
by which \({\mathbb {H}}\) becomes isomorphic to the homogeneous space G/K, where \(K:=\mathrm {SO}(2)\), and we define
In what follows, we shall identify \(\Gamma _\chi \backslash G/K\simeq \Gamma _\chi \backslash {\mathbb {H}}\) with a subset in \({\mathbb {H}}\), and endow it with the standard hyperbolic distance on \({\mathbb {H}}\) given by [26, Section 1.1]
where
By this, \(\Gamma _\chi \backslash {\mathbb {H}}\) becomes a compact hyperbolic surface. Note that \(\mathrm {dist}\,_{\mathbb {H}}\) agrees with the distance function \(\mathrm {dist}\,\) introduced at the beginning of Sect. 2. Furthermore, one has the following important result of Iwaniec and Sarnak.
Lemma 5.1
For arbitrary \(\varepsilon >0\) one has
uniformly in z.
Proof
See [28, Lemma 1.3]. \(\square \)
5.2 Equivariant subconvex bounds
With the notation of the previous section, we shall first derive subconvex bounds for Hecke–Maass forms in \(\mathrm{L}_\chi ^2(\Gamma \backslash G)\) in the eigenvalue and isotypic aspect for the Beltrami–Laplace operator \(\Delta \). For this, let \(\left\{ \phi _j \right\} _{j\ge 0}\) be an orthonormal basis of \(\mathrm{L}^2(\Gamma _\chi \backslash G)\) consisting of simultaneous eigenfunctions of \(P_0=\Delta \) and \({{\mathcal {T}}}^\chi _n\) compatible with the decompositions (2.10) and (3.8), where \(X=G\) and \(M=\Gamma _\chi \backslash G\), respectively, so that with \((n,q)=1\)
Note that \(\lambda _j(n)=0\) if \(\phi _j \not \in \mathrm{L}^2_\chi (\Gamma \backslash G)\). Further, let \(\sigma \in {\widehat{K}}\) be a fixed Ktype, and \(\mathrm{L}^2_{\sigma ,\chi }(\Gamma \backslash G)\) be defined as in (4.1). When \(\sigma \) is trivial, the space \(\mathrm{L}^2_{\sigma ,\chi }(\Gamma \backslash G)\) can be identified with \(\mathrm{L}^2_\chi (\Gamma \backslash G/K)\). In what follows, we shall make the identification \(\mathrm {SO}(2)\simeq S^1 \subset {{\mathbb {C}}}\), so that the characters of K are given by the exponentials
Since all irreducible representations of K are onedimensional, Proposition 4.1 yields for any \(x \in \Gamma _\chi \backslash G\) and \(\sigma _l\) with \(l \ll \mu /\log \mu \) the estimate
up to terms of order \(O(\Gamma _\chi \backslash {\mathcal {R}}(n) \;\mu ^{\infty })\), where we set
regarding \(xK \in \Gamma _\chi \backslash G/ K\simeq \Gamma _\chi \backslash {\mathbb {H}}\) as an element in \({{\mathbb {C}}}\), and took into account that for suitable constants \(c_1,c_2>0\)
In order to derive a uniform bound for \( K_{{{\mathcal {T}}}^\chi _n \circ {\widetilde{s}}_\mu \circ \Pi _{\sigma _l} }(x,x), \) note that by Lemma 5.1 one has with \(N(s):=s^{1/2}\) and \(\delta =\mu ^{1}\)
Taking everything together we have shown
Theorem 5.2
For any \(n \in {{\mathbb {N}}}_*\), \(\mu >0\), and \(\sigma _l\) with \(l \ll \mu /\log \mu \) the uniform bound
holds up to terms of order \(O(n^{1+\varepsilon } \,\mu ^{\infty })\), where \(x\in \Gamma _\chi \backslash G\), and \(\chi \in {\widehat{\Gamma }}\) is a Nebentypus character.
\(\square \)
Remark 5.3
The previous theorem is the nonspherical analogon of [28, Lemma 1.2]. Note that the bounds for the point pair invariants on \({\mathbb {H}}\) used by Iwaniec and Sarnak in order to show [28, Lemma 1.2] are better than ours by a factor \((1+u(\alpha \cdot z, z))^{5/4}\) in the Stieltjes integral, but the lattice point counting function considered by them is unbounded, while ours is a priori bounded.
Following the original approach of Iwaniec and Sarnak, we shall now make use of arithmetic amplification to deduce from Theorem 5.2 equivariant subconvex bounds. Since we will later choose \(n \ll \mu ^A\) for some \(A\in {{\mathbb {N}}}\), we can neglect the contributions of order \(O(n^{1+\varepsilon } \,\mu ^{\infty })\) in the following. Thus, let \(\chi \in {\widehat{\Gamma }} \), \(\sigma _l \in {\widehat{K}}\) be arbitrary, and \(\{\phi _j\}_{j\in {{\mathbb {N}}}}\) as in (5.4). Writing \( \eta _j(n):={\lambda _j(n)}/{\sqrt{n}} \) we deduce with (3.10), (4.3), (5.1), and (5.4) that^{Footnote 12}
If one applies Theorem 5.2 to \(\nu :=\mu \log \mu \) instead of \(\mu >0\) one gets for any \(\sigma _l\in {\widehat{K}}\) with
the estimate
Since Ktypes in \(\mathrm{L}^2(\Gamma _\chi \backslash G)\) can grow at most with rate \(\lambda _j^{1/2}\) by the equivariant Weyl law and Gauss’ law [43], the condition (5.6) actually represents no restriction when estimating \(K_{{{\mathcal {T}}}^\chi _n \circ {\widetilde{s}}_\mu \circ \Pi _{\sigma _l} }(x,x) \ll K_{{{\mathcal {T}}}^\chi _n \circ {\widetilde{s}}_\nu \circ \Pi _{\sigma _l} }(x,x)\), and we obtain for any \(\sigma _l\in {\widehat{K}}\) the inequality
yielding for arbitrary \(N \in {{\mathbb {N}}}_*\) and \(\sigma _l\)
since \(\chi (d)=1\), where \(z_n \in {{\mathbb {C}}}\) are arbitrary complex numbers. A simple computation then gives
We thus arrive at
Proposition 5.4
For any \(\mu >0\), \({\sigma _l} \in {\widehat{K}}\), \(\chi \in \widehat{\Gamma }\), and \(N\in {{\mathbb {N}}}_*\) one has the estimate
uniformly in \(x \in \Gamma _\chi \backslash G\).
Proof
As explained at the end of Sect. 3, the test function \(\varrho \in {{\mathcal {S}}}({{\mathbb {R}}},{{\mathbb {R}}}^+)\) can be chosen such that \(\varrho >0\) on \([1,1]\). The proposition now follows from (5.7) and the estimate
\(\square \)
Next, one proceeds as follows. Let \(j_0\ge 0 \) be fixed such that \(\phi _{j_0} \in \mathrm{L}^2_{{\sigma _l},\chi }(\Gamma \backslash G)\), and consider the amplifier
where p is a prime not dividing q. Note that (2.14) and (5.1) imply
Hence,
by the Prime Number Theorem. Writing \(\lambda _j=1/4 +r_j^2\) and taking \(\mu =r_{j_0}\) Proposition 5.4 then gives
As a next step, note that Jacquet–Langlands correspondence [30] and the study of Rankin–Selberg convolutions [27, Theorem 8.3] and [17, Proposition 19.6] imply for any \(j\in {{\mathbb {N}}}\) with \(\phi _j \in \mathrm{L}^2_{\chi }(\Gamma \backslash G)\) the bound
where n moves over natural numbers prime to q. Here we used the facts that the Strong Multiplicity One Theorem holds for \(\mathrm {GL}(2)\) and each automorphic representation factors as a tensor product of local representations. Consequently, with (5.10) and Cauchy’s inequality one deduces
Choosing \(N=r_{j_0}^{1/3}\) finally gives
uniformly in \(x \in \Gamma _\chi \backslash G\). Thus, we have shown our first main result.
Theorem 5.5
Let \(G=\mathrm {SL}(2,{{\mathbb {R}}})\) and \(\Gamma \) be a congruence arithmetic lattice in G. Let further \(\chi \in {\widehat{\Gamma }}\) be a Nebentypus character. Then, for any Hecke–Maass form \(\phi _j \in \mathrm{L}^2_{\chi }(\Gamma \backslash G)\) with \(\Delta \phi _j =\lambda _j \phi _j\) and \(\left\ \phi _j \right\ _{\mathrm{L}^2}=1\) one has
for any \(\varepsilon >0\).
\(\square \)
For trivial \(\sigma _l\) and \(\chi \), Theorem 5.5 is due to Iwaniec–Sarnak [28, Theorem 0.1]. In fact, their method can also be used for nontrivial \(\chi \), as was done in [3, Section 10] for noncompact arithmetic surfaces. Thus, we recover
Corollary 5.6
(Iwaniec–Sarnak) For any Hecke–Maass form \(\phi _j \in \mathrm{L}^2_\chi (\Gamma \backslash {\mathbb {H}})\) with \(\left\ \phi _j \right\ _{\mathrm{L}^2}=1\) and Beltrami–Laplace eigenvalue \(\lambda _j\) one has
for any \(\varepsilon >0\).
Proof
If \(\sigma _l=\mathrm {id}\,\) is trivial, \(\mathrm{L}^2_{\sigma _l,\chi }(\Gamma \backslash G) \simeq \mathrm{L}^2_\chi (\Gamma \backslash {\mathbb {H}})\), and the assertion follows form the previous theorem. Note that since all Korbits in G have the same volume, each eigenfunction of the Beltrami–Laplace operator on \({\mathbb {H}}\simeq G/K\) lifts to a unique Kinvariant eigenfunction of the Beltrami–Laplace operator on G. \(\square \)
5.3 Automorphic forms on \(\mathrm {SL}(2,{{\mathbb {R}}})\) and representationtheoretic interpretation
In what follows, we would like to discuss our results within the theory of automorphic forms and their representationtheoretic meaning. For this, let us first recall the concept of an automorphic form on \(G=\mathrm {SL}(2,{{\mathbb {R}}})\) for a discrete cocompact subgroup \(\Gamma \), compare [9, Section 5].
Definition 5.7
A smooth function \(f:G \rightarrow {{\mathbb {C}}}\) is called an automorphic form on G for \(\Gamma \) iff:

(A1)
\(f(\gamma g)=f(g)\) for all \(\gamma \in \Gamma \) and \(g \in G\),

(A2)
f is Kfinite on the right, where \(K=\mathrm {SO}(2)\),

(A3)
f is \({\mathcal {Z}}\)finite, where \({\mathcal {Z}}\) denotes the center of the universal envelopping algebra \({\mathfrak {U}}(\mathbf{{\mathfrak {g}}}_{{\mathbb {C}}})\) of the complexification of \(\mathbf{{\mathfrak {g}}}\).
Note that (A2) means that f is a finite sum of functions \(f_l\) belonging to a specific Ktype \(\sigma _l\), while (A3) is equivalent to the existence of a polynomial \(p({{\mathcal {C}}})\) in the Casimir operator \({{\mathcal {C}}}=dR(\Omega )\) that annihilates f, the notation being as in Sect. 2. Now, \(\mathbf{{\mathfrak {g}}}=\{X\in M(2,{{\mathbb {R}}}) \mid {{\,\mathrm{tr}\,}}(X)=0 \}\), while a Cartan involution is given by \(\, ^tX\). With respect to the basis
of \(\mathbf{{\mathfrak {g}}}=\mathbf{{\mathfrak {p}}}\oplus \mathbf{{\mathfrak {k}}}\), the modified Killing form \(\left\langle \cdot , \cdot \right\rangle _\theta \) is represented by the matrix
Consequently, a corresponding orthonormal basis of \(\mathbf{{\mathfrak {g}}}\) is given by \(X_1:=X_1'/2 \sqrt{2}\), \(X_2:=X_1'/2 \sqrt{2}\), \(Y_1:=Y_1'/2 \sqrt{2}\), so that the Casimir element reads
compare (2.1). Note that our normalization of \({{\mathcal {C}}}\) differs from the one in [9, p. 20], where \(\Omega \equiv \frac{1}{2} \mathrm {id}\,\). Writing \(p({{\mathcal {C}}})=\prod _i({{\mathcal {C}}}\mu _i)\) and \(\mu _{\sigma _l}=l^2/8\) for the eigenvalue of \(dR(\Omega _K)\) on the \(\sigma _l\)isotypic component one sees that
where we took into account (2.2). Thus, \(p({{\mathcal {C}}}) f=0\) if, and only if, \(q_l(\Delta )f_l=0\) for all l, by orthogonality. Since \(q_l(\Delta )\) is an elliptic differential operator of the same order than \(p({{\mathcal {C}}})\), and any subspace defined by a Ktype and a Casimir eigenvalue is finite dimensional by Harish–Chandra’s theorem [10, Theorem 1.7], we see that f is essentially given by a finite sum of Hecke–Maass forms in the sense of this paper.
To interprete our results in terms of the representation theory of G, let us first notice that, since \(I_2\) belongs to \(\Gamma \), one has
Hence, in case that \(\mathrm{L}^2_{\sigma _l,\chi }(\Gamma \backslash G)\not =\left\{ 0 \right\} \), l must be even if \(\chi (I_2)=1\), and odd otherwise. Now, according to the decomposition (2.3) the following irreducible unitary representations of G can appear in \(\mathrm{L}^2_{\sigma _l,\chi }(\Gamma \backslash G)\), see [9, Section 15]:

(1)
If \(l=0\),

(a)
the trivial representation,

(b)
the unitary principal series H(0, s) with \(s\in i{{\mathbb {R}}}_{\ge 0}\),

(c)
the complementary series I(0, s) with \(s\in (0,1)\) can appear.

(a)

(2)
If l is even and \(l\ne 0\),

(a)
the discrete series \(D_s\) with \(s \in {{\mathbb {Z}}}\left\{ 0 \right\} \), \(s<l\), \(\mathrm {sgn}\,(s)=\mathrm {sgn}\,(l)\), s odd,

(b)
the unitary principal series H(0, s) with \(s\in i{{\mathbb {R}}}_{\ge 0}\),

(c)
the complementary series I(0, s) with \(s\in (0,1)\) can appear.

(a)

(3)
If l is odd,

(a)
the discrete series \(D_s\) with \(s \in {{\mathbb {Z}}}\left\{ 0 \right\} \), \(s<l\), \(\mathrm {sgn}\,(s)=\mathrm {sgn}\,(l)\), s even,

(b)
the unitary principal series H(1, s) with \(s\in i{{\mathbb {R}}}_{> 0}\),

(c)
the limits of discrete series \(D_{+,0}\) (resp. \(D_{,0}\)) with \(l>0\) (resp. \(l<0\)) can appear.

(a)
Note that in each of the above unitary representations the \(\sigma _l\)isotypic component is 1dimensional. By the above list, one sees that representations occuring in \(\mathrm{L}^2_{\sigma _l,\chi }(\Gamma \backslash G)\) are in general different from the spherical case \(\mathrm{L}^2(\Gamma \backslash {\mathbb {H}})\). Hence, Theorem 5.5 implies subconvex bounds for new classes of automorphic representations, in particular for the discrete series \(D_s\) and their limits \(D_{\pm ,0}\), as well as the principal series H(1, s).
To rephrase our results in terms of the spectrum of the Casimir operator \({{\mathcal {C}}}\), note that by (2.2) we have with \(\mu _{\sigma _l}=l^2/8\)
\(\mu _j\) being the Casimir eigenvalue of \(\phi _j\). Now, in the cases relevant to us the Casimir eigenvalues can take the following values [9, p. 158 and p. 163]:^{Footnote 13}

(1)
On \((D_s)^\infty \), \({\mathcal {C}}\equiv (s^21)\, \mathrm {id}\,/8\), where \(s \in {{\mathbb {Z}}}\left\{ 0 \right\} \). For \(s<l\) and \(\mathrm {sgn}\,(s)=\mathrm {sgn}\,(l)\) one has \(0<s^21<l^21\).

(2)
On \(H(0,s)^\infty \) or \(H(1,s)^\infty \), \({\mathcal {C}}\equiv (s^21)\, \mathrm {id}\,/8\). For \(s\in i{{\mathbb {R}}}_{\ge 0}\) one has \(s^21\le 1\).

(3)
On \(I(0,s)^\infty \), \({\mathcal {C}}\equiv (s^21)\, \mathrm {id}\,/8\). For \(s\in (0,1)\) one has \(1<s^21<0\).

(4)
On \((D_{+,0})^\infty \) or \((D_{,0})^\infty \), \({\displaystyle {\mathcal {C}}\equiv  \mathrm {id}\,}/8\).
Here \(H^\infty \) denotes the subspace of differentiable vectors in a Hilbert representation H. Consequently, the subconvex bound in Theorem 5.5 can be restated as follows.
Theorem 5.8
Let \(G=\mathrm {SL}(2,{{\mathbb {R}}})\), \(K=\mathrm {SO}(2)\), and \(\Gamma \) be a congruence arithmetic lattice in G. Let further \({\sigma _l} \in {\widehat{K}}\) and \(\chi \in {\widehat{\Gamma }}\) be a Nebentypus character. Then, for any Hecke eigenform \(\phi \in \mathrm{L}^2_{{\sigma _l},\chi }(\Gamma \backslash G)\) satisfying \(\left\ \phi \right\ _{\mathrm{L}^2}=1\) and \({{\mathcal {C}}}\phi = \frac{s^21}{8}\phi \) one has
for any \(\varepsilon >0\).
\(\square \)
Classically, an automorphic form of weight \(l\in {{\mathbb {N}}}\) and Nebentypus character \(\chi \) was first introduced as a holomorphic function \(f:{\mathbb {H}}\rightarrow {{\mathbb {C}}}\) satisfying
where j(g, z) is as in (5.2). Its lift \(\tilde{f}(g):=f(g\cdot i) j(g,i)^{l}\) constitutes an automorphic form on G in the sense of Definition 5.7; it is of Ktype \(\sigma _l\) and satisfies \({{\mathcal {C}}}{\tilde{f}}=\frac{1}{4} (l^2/2l) \tilde{f}\), see [9, Sections 5.14 and 5.15]. In particular, if \(l>1\), \({\tilde{f}}\) belongs to the discrete series representation \(D_{l1}\) in \(\mathrm{L}^2_{{\sigma _l},\chi }(\Gamma \backslash G)\). If, in addition, \({\tilde{f}}\) is a Hecke eigenform with \(\Vert {\tilde{f}}\Vert _2=1\), one deduces from Theorem 5.8
since \(\left\ f \right\ _p\equiv \Vert {\tilde{f}}\Vert _p\) for all p, compare [37, p. 219], yielding subconvex bounds for classical automorphic forms on \({\mathbb {H}}\) in the weight aspect. This is consistent with Godement’s formula [20], by which one has the convex bound \(\left\ f \right\ _\infty \ll l^{\frac{1}{2}}\), see [11, 13]. Furthermore, a corresponding subconvex bound was proven in [13], the exponent there being \(\frac{1}{2}\frac{1}{33}=\frac{31}{66}\). Thus, our results do imply new results about holomorphic modular forms on \({\mathbb {H}}\). Note that in the case \(\Gamma =\mathrm {SL}(2,{{\mathbb {Z}}})\) one can even show [56] that \(l^{\frac{1}{4}\varepsilon }\ll _\varepsilon \left\ f \right\ _\infty \ll _\varepsilon l^{\frac{1}{4}+\varepsilon }\) by using the Fourier expansion of f and Deligne’s bound [14], though this method is not available for cocompact arithmetic subgroups. In the noncocompact case, hybrid bounds in the eigenvalue and the level aspect were considered in [3].
6 Subconvex bounds on \(\mathrm {SO}(3)\)
In this section, we shall derive equivariant and nonequivariant subconvex bounds on \(\mathrm {SO}(3)\) in the setting of [32, 33]. They are proven in an analogous way than the ones proven in Sect. 5 using results of [53]. To begin, consider the quaternion algebra
over a given commutative ring R, where \({\mathbf {i}}^2={\mathbf {j}}^2=1 , \,{\mathbf {i}}{\mathbf {j}}={\mathbf {j}}{\mathbf {i}}={\mathbf {k}}\), and recall that for an element \(a:=a_0+a_1{\mathbf {i}}+a_2{\mathbf {j}}+a_3{\mathbf {k}}\in H(R)\) its conjugate is given by \({\overline{a}}:=a_0a_1{\mathbf {i}}a_2{\mathbf {j}}a_3{\mathbf {k}}\in H(R)\) while its norm reads \(N(a):=a{\overline{a}}=a_0^2+a_1^2+a_2^2+a_3^2\). Note that \(H({{\mathbb {R}}})\) corresponds to the field of Hamilton’s quaternions and \(H({{\mathbb {Z}}})\) to the ring of Lipschitz integers [12]. Write \(H(R)^1:=\{a\in H(R)\mid N(a)=1\}\) and put \(G:=H({{\mathbb {R}}})^1\). As a group G, can be identified with \(\mathrm {SU}(2)\) via the mapping
G is compact, while \(H({{\mathbb {Z}}})^1=\{\pm 1,\;\; \pm {\mathbf {i}},\;\; \pm {\mathbf {j}},\;\; \pm {\mathbf {k}}\}\) is finite, so that by choosing the lattice \(\Gamma := \{\pm 1\}\) in G we have
via the adjoint action of G on its Lie algebra. Next, we introduce Hecke operators on \(\mathrm {SO}(3)\) following [32, 33]. Thus, for each \(\alpha \in H({{\mathbb {R}}}){\setminus } \{0\}\) and \(x\in G\) set
As in Sect. 2, one can associate to each double coset \(\Gamma \alpha \Gamma \), \(\alpha \in H({{\mathbb {Q}}})\), a Hecke operator \(T_{\Gamma \alpha \Gamma }\). We then have \(T_{\Gamma \alpha _1\Gamma }\circ T_{\Gamma \alpha _2\Gamma }=T_{\Gamma \alpha _2\alpha _1\Gamma }\). Further, setting^{Footnote 14}
one can define the Hecke operator
For natural numbers r, \(s\equiv 1\mod 4\), one has \({{\mathcal {T}}}_r {{\mathcal {T}}}_s=\sum _{d(r,s)}d \, {{\mathcal {T}}}_{rs/d^2}\), see [33, Remark 1] and [53, p. 331]. Since Hecke operators commute with the right regular representation of G on \(\mathrm{L}^2(\Gamma \backslash G)\), we may replace \(\mathrm{L}^2(\Gamma \backslash G)\) by \(\mathrm{L}^2(\Gamma \backslash G/K)\) for any subgroup K of G in the above argument on Hecke operators. Choose \(K=\mathrm {SO}(2)\simeq {{\mathbb {C}}}^1\), and denote the corresponding characters by \(\sigma _l:e^{i\theta } \mapsto e^{il\theta }\), \(l \in {{\mathbb {Z}}}\). Let \(\Delta \) denote the Beltrami–Laplace operator on G. Since \(\Delta \) and \({{\mathcal {T}}}_n\) commute, there exists an orthonormal basis \(\left\{ \phi _j \right\} _{j\ge 0}\) of \(\mathrm{L}^2(\Gamma \backslash G)\) consisting of simultaneous eigenfunctions compatible with the decompositions (2.10) and (3.8), where \(X=G\) and \(M=\Gamma \backslash G\), respectively. Further, note that the action of K on \(\Gamma \backslash G\) is isometric and nonsingular. We then can prove the following equivariant subconvex bounds.
Theorem 6.1
Let \(G=\mathrm {SU}(2)\), \(K=\mathrm {SO}(2)\), \(\Gamma =\{\pm 1\}\), and \(\sigma _l\in \widehat{K}\simeq {{\mathbb {Z}}}\). Then, for any Hecke–Maass form \(\phi _j\in \mathrm{L}_{\sigma _l}^2(\Gamma \backslash G)\) with Beltrami–Laplace eigenvalue \(\lambda _j\) and \(\left\ \phi _j \right\ _{\mathrm{L}^2}=1\) one has
\(\varepsilon >0\) being arbitrary.
Remark 6.2
This theorem is a generalization of [53, Theorem 1.1], where the case \(\mathrm{L}^2_{\sigma _0}(\Gamma \backslash G)\cong \mathrm{L}^2(\Gamma \backslash G/K) \cong \mathrm{L}^2(S^2)\) is treated, \(S^2\) being the 2sphere. In the papers [6, 7], hybrid \(\mathrm{L}^\infty \)norms for general arithmetic quotients of 2spheres in the eigenvalue and level aspect are studied. However, the exponents for the spectral parameter are a little greater than 5/24 there, namely \(\frac{1}{24}\frac{1}{27}=\frac{1}{216}\).
Proof
By [53, Lemma 2.1] one has
Further, Proposition 4.1 also holds in the present case, since Proposition 3.3 is true for arbitrary compact manifolds and symmetry groups. By repeating the arguments given in Sect. 5.2 we therefore get for any \(l \ll \mu /\log \mu \), \(\mu >n\), and \(n\equiv 1\mod 4\) the uniform bound
up to neglegible terms. Now, by the Dirichlet prime number theorem on arithmetic progressions it is wellknown that
In addition, the Jacquet–Langlands correspondence [30] for \(\mathrm {GL}(2)\) gives a mapping from eigenfunctions on \(\mathrm {SO}(3)\) to holomorphic primitive forms on \({\mathbb {H}}\), the corresponding eigenfunctions having the same Hecke eigenvalues. For this reason, the Ramanujan conjecture proved by Deligne [14] for holomorphic cusp forms implies that the Hecke eigenvalues \(\lambda _j(p)\) of \({{\mathcal {T}}}_p\) are bounded from above by \(2p^{\frac{1}{2}+\varepsilon }\) for prime levels. Hence, the argument of Iwaniec–Sarnak already used in Sect. 5.2, but now applied to \(\mathrm{L}^2(\mathrm {SO}(3))\), yields
The theorem now follows by taking \(N= \mu ^{1/3}\). \(\square \)
Note that the right regular representation of \(\Gamma \backslash G \cong \mathrm {SO}(3)\) on \(\mathrm{L}^2(\Gamma \backslash G)\) decomposes according to
where \(\pi _k\) denotes the irreducible representation of \(\mathrm {SO}(3)\) of dimension \(2k+1\). In particular, the Beltrami–Laplace eigenvalue corresponding to \(\pi _k\) is \(k(k+1)\), and the restriction of \(\pi _k\) to K is isomorphic to \({\widehat{\bigoplus }}_{l=k}^{k} \sigma _l\). Hence, if we choose an orthonormal sequence \(\{\psi _j\}_{j\ge 0}\) in \(\mathrm{L}^2(\Gamma \backslash G)\) consisting of Hecke–Maass forms with \(\psi _j\in (\sigma _{l_j})^{\oplus 2k_j+1} \subset {\mathcal {M}}_{k_j}\), where \( l_j \le k_j\), Theorem 6.1 yields
7 Subconvex bounds on \(\Gamma \backslash G\) for semisimple groups and arithmetic congruence subgroups
7.1 General framework
In what follows, we shall develop a general framework to prove subconvex bounds of Hecke–Maass forms on semisimple groups. For this, let us return to the general setting of Sects. 2, 3 and 4. Write \({\mathfrak {L}}^2:=\mathrm{L}^2_{\chi }(\Gamma \backslash G)\) or \(\mathrm{L}^2_{\sigma ,\chi }(\Gamma \backslash G)\), and consider on this space the family of Hecke operators \(T^\chi _{\Gamma \beta \Gamma }\) introduced in (2.11), together with the corresponding \({{\mathbb {C}}}\)module
generated by them. In what follows, we assume that there exists a submodule \({\mathcal {H}}\) of \(H_\Xi ^\chi \) such that there is an orthonormal basis \(\{\phi _j\}_{j\in {{\mathbb {N}}}}\) of \(\mathrm{L}^2(\Gamma _\chi \backslash G)\) compatible with the decomposition (2.10), and in case that P commutes with the right regular Krepresentation, also with the decomposition (3.8), consisting of simultaneous eigenfunctions of P and all \({{\mathcal {T}}}\in {\mathcal {H}}\) with \(P \phi _j=\lambda _j \phi _j\). As before, such simultaneous eigenfunctions will be called Hecke–Maass forms of rank 1. We also suppose that \({{\mathcal {T}}}^*\) belongs to \({\mathcal {H}}\) for each \({{\mathcal {T}}}\in {\mathcal {H}}\) and that the cospheres \(S^*_x(\Gamma _\chi \backslash G):=\left\{ (x,\xi ) \in T^*(\Gamma _\chi \backslash G)\mid p(x,\xi )=1 \right\} \) are strictly convex for all \(x \in \Gamma _\chi \backslash G\). Further, consider the lattice point counting functions \({\mathfrak {M}}(x,\beta , \delta ):={{\mathcal {M}}}(x,\beta , \delta )\) or \(M(x,\beta , \delta )\) corresponding to \({\mathfrak {L}}^2\), respectively; that is,
where \(\mathrm {dist}\,(\alpha \cdot x,x) \equiv \mathrm {dist}\,(\Gamma \alpha x, \Gamma x)\), and \(M(x,\beta , \delta )\) is as in (4.4). We then have the following
Lemma 7.1
Fix a character \(\chi \) in \({\widehat{\Gamma }}\) such that \([\Gamma :\Gamma _\chi ]<\infty \). Let \(\phi _{j_0}\) be a Hecke–Maass form in \({\mathfrak {L}}^2\) with corresponding spectral eigenvalue \(\lambda _{j_0}\). Let \({\mathcal {P}}'\) be an infinite set and \({\mathfrak {N}}':{\mathcal {P}}'\rightarrow {{\mathbb {N}}}\) a mapping such that
Assume that for each element \(v\in {\mathcal {P}}'\) there exists a Hecke operator \({{\mathcal {T}}}_v'\in {\mathcal {H}}\) satisfying \({{\mathcal {T}}}'_v\phi _{j_0}=\phi _{j_0}\), and that for any \(N \in {{\mathbb {N}}}\) and any \(x\in \Gamma _\chi \backslash G\) we have a suitable finite subset \(Q_{N,x}'\subset {\mathcal {P}}'\) such that \(\# Q_{N,x}'\ll \log N\). Write
As a linear operator on \({\mathfrak {L}}^2\), \({{\mathcal {T}}}'_{N,x}\circ ({{\mathcal {T}}}_{N,x}')^*\) can be represented as
for certain \(l \in {{\mathbb {N}}}\), \(a_u\in {{\mathbb {C}}}\), and \(\alpha _u \in \Xi \) depending on x. Further, suppose that there exist numbers \(0 < \kappa \ll 1\) and \(A_1\), \(A_2>2\) such that for each \(N\gg 1\) and each \(x\in \Gamma _\chi \backslash G\) one has
Then, if \({\mathfrak {L}}^2=\mathrm{L}^2_\chi (\Gamma \backslash G)\), there exists a constant \(\delta >0\) such that
while if \({\mathfrak {L}}^2=\mathrm{L}^2_{\sigma ,\chi }(\Gamma \backslash G)\), there exists a constant \(\delta >0\), which does not depend on \(\sigma \), such that
Finally, if \(K=T\) is a torus and \({\mathfrak {L}}^2=\mathrm{L}^2_\chi (\Gamma \backslash G)\), there exists a constant \(\delta >0\) such that
Proof
Let us consider first the case \({\mathfrak {L}}^2=\mathrm{L}^2_{\sigma ,\chi }(\Gamma \backslash G)\). Set \(\mu :=\root m \of {\lambda _{j_0}}\) and denote by \(\lambda '_{j,N}\) the eigenvalue of \({{\mathcal {T}}}_{N,x}'\) for \(\phi _j\), so that
Taking \({\tilde{N}}=0\) in Proposition 3.3 we deduce that
up to terms of order \(O(N^{A} \, \mu ^{\infty })\), where we set \(A:=\frac{1}{2}A_2+A_1\). With the same arguments than at the end of Sect. 3 and in the proof of Proposition 4.1 one now deduces with \(\mu _j:= \root m \of {\lambda _j}\) for any \(x \in \Gamma _\chi \backslash G\)
up to terms of order \(O(N^{A} \, \mu ^{\infty })\). Hence, the assertion follows from (7.1) by taking \(N\sim \mu ^B\), \(B:=\frac{\dim G/K1}{2(A2+2\kappa )}\). The case \({\mathfrak {L}}^2=\mathrm{L}^2_{\chi }(\Gamma \backslash G)\) is seen in a similar way taking into account Proposition 3.1 and the toric case in Proposition 3.3. \(\square \)
Remark 7.2
The assumptions of the previous lemma are primarily motivated by the work of Marshall [34] in the case that \(\chi \) is trivial. One can easily verify that they are fulfilled in the setup of Sect. 5 when \({\mathcal {P}}'\) is the totality of primes and \({\mathfrak {N}}'\) is the inclusion mapping \({\mathcal {P}}' \subset {{\mathbb {N}}}\). Indeed, for each prime p with \((p,q)=1\), there exists an element \(\beta _p\) in \({\mathcal {R}}(p^2)\) such that \(\tilde{{\mathcal {T}}}^\chi _{p^2}:={{\mathcal {T}}}^\chi _{\Gamma \beta _p\Gamma }={{\mathcal {T}}}^\chi _{p^2}{{\mathcal {T}}}^\chi _{\Gamma (pI_2)\Gamma }\), see [37, p. 217]. Now, let \({\tilde{\lambda }}_j(p^2)\) be the eigenvalue of \({\tilde{{{\mathcal {T}}}}}^\chi _{p^2}\) belonging to the eigenfunction \(\phi _j \in \mathrm{L}^2_{\sigma ,\chi }(\Gamma \backslash G)\). For each \(\phi _j\) in \(\mathrm{L}^2_{\sigma ,\chi }(\Gamma \backslash G)\) and p as above, \(\lambda _j(p)\le p^{1/2}/2\) implies that \({\tilde{\lambda }}_j(p^2)\ge p/2\) by \({\tilde{\lambda }}_j(p^2)=\lambda _j(p)^2(p+1)\chi (p)\). Therefore, if we choose
the mentioned assumptions must hold by Lemma 5.1. This choice is essentially the same as in the work of Blomer–Maga [6, 7] on \(\mathrm {SL}(n,{{\mathbb {Z}}})\subset \mathrm {PGL}(n,{{\mathbb {R}}})\) in the case \(n=2\).
Remark 7.3
When using Lemma 7.1, we shall take for \({\mathcal {P}}'\) a subset of the totality of primes. Note that it is unnecessary to suppose that \(\phi _j\) is an eigenfunction of the operators \({{\mathcal {T}}}_p\) for all primes p to prove the subconvex bound in Sect. 5, as we did already see in Sect. 6. In fact, one can make the conditions on \({\mathcal {P}}'\) and \({\mathcal {H}}\) weaker. Namely, we can replace \({\mathcal {P}}'\) by a smaller subset satisfying (7.1) and replace \({\mathcal {H}}\) by the submodule \(\langle {{\mathcal {T}}}_v' \mid v\in {\mathcal {P}}' \rangle \). This means that our concept of a Hecke–Maass form is much weaker than the usual one in Sect. 5. Such forms are not eigenfunctions of the center of the universal enveloping algebra in general, and can be obtained in abundance by functorial lifts of Hecke characters.
7.2 Equivariant subconvex bounds
In what follows, we shall derive equivariant subconvex bounds on arithmetic quotients for a large class of semisimple algebraic groups, extending the work of Marshall [34] to nonspherical situations. Thus, let \({\underline{G}}\) be a connected semisimple algebraic group over a number field F. We write \({\underline{G}}(k)\) for the set of krational points in \({\underline{G}}\) for a field \(k\supset F\) and \(F_v\) for the completion of F by a place v of F. Following [34], we assume that there exists a real place \(v_0\) of F such that

(WS)
The group \({\underline{G}}(F_{v_0})\) is quasisplit, and not isogeneous to a product of odd special unitary groups.
We set \(H:={\mathrm {Res}}_{F/{{\mathbb {Q}}}}{\underline{G}}\), where \({\mathrm {Res}}_{F/{{\mathbb {Q}}}}\) means the restriction of scalars from F to \({{\mathbb {Q}}}\). Then H is a connected semisimple algebraic group over \({{\mathbb {Q}}}\) and \(G:=H({{\mathbb {R}}})\) a real semisimple Lie group with finite center [40, Chapter 3]. Let K be a maximal compact subgroup in G, \(K_0\) an open compact subgroup of \(H({\mathbb {A}}_{\mathrm {fin}})\), and put \(\Gamma :=H({{\mathbb {Q}}})\cap (H({{\mathbb {R}}})K_0)\). In the following theorem, we will also impose the condition \(H({\mathbb {A}})=H({{\mathbb {Q}}})(H({{\mathbb {R}}})K_0)\). This condition holds for any \(K_0\) if H has the strong approximation property with respect to \(\infty \), that is, if H is simply connected as an algebraic group, and does not have any \({{\mathbb {R}}}\)simple component \(H'\) such that \(H'({{\mathbb {R}}})\) is compact, compare [40, Theorem 7.12]. As the second main result of this paper we obtain
Theorem 7.4
Suppose that \(H({\mathbb {A}})=H({{\mathbb {Q}}})(H({{\mathbb {R}}})K_0)\) and \(H({{\mathbb {Q}}})\backslash H({\mathbb {A}})\) is compact, so that \(\Gamma \backslash G\) is compact as well. Further, assume that H satisfies the condition (WS). Now, let \(P_0\) be an elliptic leftinvariant differential operator on G of degree m which gives rise to a positive and symmetric operator on \(\Gamma \backslash G\) that commutes with the right regular Krepresentation and has strictly convex cospheres \(S^*_x(\Gamma \backslash G)\). Then, there exist a submodule \({\mathcal {H}}\) of \(H^{\chi =1}_{\Xi =H({{\mathbb {Q}}})}\) and a constant \(\delta >0\) such that

(1)
there is an orthonormal basis \(\{\phi _j\}_{j\in {{\mathbb {N}}}}\) of \(\mathrm{L}^2(\Gamma \backslash G)\) which consists of simultaneous eigenfunctions for the unique selfadjoint extension P of \(P_0\) and all \({{\mathcal {T}}}\in {\mathcal {H}}\);

(2)
for each \(\phi _j\in \mathrm{L}^2_\sigma (\Gamma \backslash G)\) with spectral eigenvalue \(\lambda _j\) one has
$$\begin{aligned} \Vert \phi _j\Vert _\infty \ll \sqrt{d_\sigma \sup _{u \le \lfloor \frac{\dim K}{2}+1\rfloor } \left\ D^u \sigma \right\ _\infty } \, \, \lambda _j^{\frac{\dim G/K1}{2m}\delta }. \end{aligned}$$If \(K=T\) is a torus, one has the stronger estimate
$$\begin{aligned} \Vert \phi _j\Vert _\infty \ll \, \lambda _j^{\frac{\dim G/K1}{2m}\delta }. \end{aligned}$$
Proof
By translating the results in [34, Section 3] to our nonadelic setting, one verifies that the assumptions of Lemma 7.1 are fulfilled under the hypothesis of the theorem. Note that it is unnecessary to relate the subgroup K to the specific maximal connected compact subgroup considered in [34], because the assumptions in question are concerned only with the structure of the Hecke algebra and the lattice point counting function \(M(x,\alpha ,\delta )\).
Let us explain this in a more detailed way. Since \(H({\mathbb {A}})=H({{\mathbb {Q}}})(H({{\mathbb {R}}}) K_0)\) one has
Now, any function \(\varphi \) in \(\mathrm{L}^2_\sigma (\Gamma \backslash G)\) can be identified with a function \(\varphi _{\mathbb {A}}\) in \(\mathrm{L}^2_\sigma (H({{\mathbb {Q}}})\backslash H({\mathbb {A}}) / K_0)\) by setting
For each double coset \(K_0\alpha K_0\) with \(\alpha \in H({\mathbb {A}}_{\mathrm {fin}})\), a linear operator \(T_{K_0\alpha K_0}\) on \(\mathrm{L}^2_\sigma (H({{\mathbb {Q}}})\backslash H({\mathbb {A}})/K_0)\) can then be defined by setting
Moreover, there exist finitely many elements \(\beta _1,\dots ,\beta _m\) in \(H({{\mathbb {Q}}})\) such that
the intersection being nonempty due to the assumption \(H({\mathbb {A}})=H({{\mathbb {Q}}})(H({{\mathbb {R}}}) K_0)\).^{Footnote 15} This implies that for all \(\varphi \in \mathrm{L}^2_\sigma (\Gamma \backslash G)\)
Hence, any adelic Hecke operator \(T_{K_0\alpha K_0}\) can be regarded as a sum of nonadelic Hecke operators via the identification \(\varphi \equiv \varphi _{\mathbb {A}}\).
In order to apply Lemma 7.1 in the present context, we choose \(\chi =1\) and \(\Xi =H({{\mathbb {Q}}})\). Let \({\mathcal {P}}'\) be the set denoted by \({\mathcal {P}}\) in [34, Section 2.5], that is, an infinite subset of the totality of finite places of F. A map \({\mathfrak {N}}':{\mathcal {P}}'\rightarrow {{\mathbb {N}}}\) is defined by the order of the residue field of \(F_v\). Then, \({\underline{G}}(F_v)\) is split for each \(v\in {\mathcal {P}}'\) and (7.1) holds by the prime ideal theorem and the Chebotarev density theorem. Now, put
Note that \({\underline{G}}(F_v)\subset H({{\mathbb {Q}}}_p)\) if vp, and by [37, Proof of Theorem 2.8.2 (2)] we have \((T_{K_0\alpha K_0})^*=T_{K_0\alpha ^{1} K_0}\in {\mathcal {H}}\). Since \(P_0\) commutes with all Hecke operators and each automorphic representation of \(H({\mathbb {A}})\) factors as a tensor product of irreducible unitary representations of \({\underline{G}}(F_v)\) for all places v [18], there exists an orthonormal basis \(\{\phi _j\}_{j\ge 0}\) of \(\mathrm{L}^2(\Gamma \backslash G)\) consisting of simultaneous eigenfunctions for P and all \({{\mathcal {T}}}\in {\mathcal {H}}\). Now, let \(\phi _{j_0} \in \mathrm{L}^2_\sigma (\Gamma \backslash G)\) be fixed. Applying the results in [34] to the function \(\psi :=\phi _{j_0,{\mathbb {A}}}\), that is also denoted by \(\psi \) there, one can verify the assumptions of Lemma 7.1 for \(\phi _{j_0}\). Indeed, by [34, Propositions 6.1], for each place \(v\in {\mathcal {P}}'\) there exists a Hecke operator \({{\mathcal {T}}}_v\in {\mathcal {H}}\) such that \({{\mathcal {T}}}_v\psi =\psi \) holds and \({{\mathcal {T}}}_v\) is a linear combination of operators \(T_{K_0\alpha K_0}\) with \(\alpha \in {\underline{G}}(F_v)\). In view of (7.5) we can identify \({{\mathcal {T}}}_v\) with a nonadelic Hecke operator \({{\mathcal {T}}}_v'\) on \(\mathrm{L}^2_\sigma (\Gamma \backslash G)\) such that
Similarly, set \({{\mathcal {T}}}_{N,x}:=\sum _{v\in {\mathcal {Q}}_{N,x}'} {{\mathcal {T}}}_v\), and denote the corresponding nonadelic Hecke operators by \({{\mathcal {T}}}_{N,x}'\), where \({\mathcal {Q}}_{N,x}'\) is chosen as the set denoted by \({\mathcal {Q}}_N\) in [34, Section 3.4]. By the convolution on \(H({\mathbb {A}}_{\mathrm {fin}})\), there exist \(n\in {{\mathbb {N}}}\), \(b_k\in {{\mathbb {C}}}\), and \(\omega _k \in H({\mathbb {A}}_{\mathrm {fin}})\) such that
The corresponding \(l \in {{\mathbb {N}}}\), \(a_u\in {{\mathbb {C}}}\), and \(\alpha _u \in C(\Gamma )\) in the decomposition of \({{\mathcal {T}}}_{N,x}'\circ ({{\mathcal {T}}}_{N,x}')^*\) in Lemma 7.1 are then obtained from this equality via the identification (7.5). Finally, the upper bounds (7.2) in Lemma 7.1 can be verified using (7.4), (7.5) and the arguments in [34, Section 3], completing the proof of the theorem. \(\square \)
We would like to emphasize that our subconvex bound in Theorem 7.4 cannot be improved in general at the present time, even if one supposes that the orthonormal basis \(\{\phi _j\}_{j\in {{\mathbb {N}}}}\) consists of Hecke–Maass forms of rank r, that is, eigenfunctions of the full center of the universal enveloping algebra and the Hecke operators. In fact, under this assumption, for trivial \(\sigma \in {\widehat{K}}\) and \(r \ge 2\) the subconvex bound in Theorem 7.4 is beaten by the spherical convex bound (1.4), but there is no equivariant version of the latter bound up to now. The major reason for this is that (1.4) relies on the Fourier inversion formula, in which several residues appear [1]. Except for the spherical case, the properties of these residues are unknown, which makes it impossible to produce nonspherical upper bounds for them at present. For one dimensional Ktypes, explicit expressions for the residues were given in [39] for \(\mathrm {SL}(2,{{\mathbb {R}}})\) and [48] for \({\mathrm {SU}}(1,n)\). Nevertheless, these expressions do not yield bounds in the Ktype aspect that are good enough. Consequently, the approach developed in Sect. 5 of this paper is more suitable than Patterson’s formula [39].
Remark 7.5
The equivariant subconvex bound of the previous theorem can be rephrased using the Cartan–Weyl classification of unitary irreducible representations of compact groups. In fact, assume that K is a compact connected semisimple Lie group, \(\mathbf{{\mathfrak {k}}}\) its Lie algebra, and \(T\subset K\) a maximal torus with Lie algebra \(\mathbf{{\mathfrak {t}}}\).
Denote by \(\mathbf{{\mathfrak {k}}}_{{\mathbb {C}}}\) and \(\mathbf{{\mathfrak {t}}}_{{\mathbb {C}}}\) the complexifications of \(\mathbf{{\mathfrak {k}}}\) and \(\mathbf{{\mathfrak {t}}}\), respectively. Then \(\mathbf{{\mathfrak {t}}}_{{\mathbb {C}}}\) is a Cartan subalgebra of \(\mathbf{{\mathfrak {k}}}_{{\mathbb {C}}}\), and we write \(\Sigma (\mathbf{{\mathfrak {k}}}_{{\mathbb {C}}},\mathbf{{\mathfrak {t}}}_{{\mathbb {C}}})\) for the corresponding system of roots and \(\Sigma ^+\) for a set of positive roots. Now, as a consequence of the Cartan–Weyl classification of irreducible finitedimensional representations of reductive Lie algebras over \({{\mathbb {C}}}\) one has the identification
compare [55], and we write \(\Lambda _\sigma \in \mathbf{{\mathfrak {t}}}_{{\mathbb {C}}}^*\) for the highest weight corresponding to \(\sigma \in {\widehat{K}}\) under this isomorphism. Weyl’s dimension formula then implies that \(d_\sigma =O\big (\Lambda _\sigma  ^{\Sigma ^+}\big )\), while from Weyl’s character formula one infers that if \(D^u\) is a differential operator on K of order u,
compare [41, Eq. (3.5)]. Consequently, the bound in Theorem 7.4 can be rewritten as
Example 7.6
(Equivariant subconvex bounds for \( \mathrm {SL}(n,{{\mathbb {R}}})\)) Choose a central division algebra D of index n over \({{\mathbb {Q}}}\) such that \(D\otimes {{\mathbb {R}}}\cong M(n,{{\mathbb {R}}})\). It is well known that the equivalence classes of central division algebras over \({{\mathbb {Q}}}\) are parameterized by the Brauer group \(\mathrm {Br}({{\mathbb {Q}}})\), which can be realized as the set
where p runs over all primes, via the Brauer–Hasse–Noether theorem, compare [40, Theorem 1.12]. If we choose a prime \(p_1\) and a parameter (0, x) in \(\mathrm {Br}({{\mathbb {Q}}})\) such that \(x_{p_1}=a/n\) and a is prime to n, then there is a central division algebra D corresponding to (0, x) and satisfying \(D\otimes {{\mathbb {R}}}\cong M(n,{{\mathbb {R}}})\). A semisimple algebraic group H over \({{\mathbb {Q}}}\) is then defined by \(H:=\mathrm {SL}(1,D)\). Clearly, \(G:=H({{\mathbb {R}}})\cong \mathrm {SL}(n,{{\mathbb {R}}})\), \(K:=\mathrm {SO}(n)\), and \(\Gamma :=H({{\mathbb {Q}}})\cap (H({{\mathbb {R}}})K_0) \) is cocompact for any open compact subgroup \(K_0\) of \(G({\mathbb {A}}_{\mathrm {fin}})\), while H satisfies the condition (WS) and is simply connected. Then, the assumptions of Theorem 7.4 hold, and for any Hecke–Maass form \(\phi _j\) in \(\mathrm{L}^2_\sigma (\Gamma \backslash G)\) with eigenvalue \(\lambda _j\) one obtains the subconvex bound
for some \(\delta >0\).
Example 7.7
(Equivariant subconvex bounds for \(\mathrm {SL}(n,{{\mathbb {C}}})\)) Let D denote a central division algebra over a number field F. Then \(H:={\mathrm {Res}}_{F/{{\mathbb {Q}}}}\mathrm {SL}(1,D)\) is a simply connected semisimple algebraic group over \({{\mathbb {Q}}}\). The Brauer–Hasse–Noether theorem ensures that there exist various division algebras D such that H satisfies the assumptions of Theorem 7.4. For example, by choosing suitable parameters in the Brauer group, one gets a central division algebra D of index n over an imaginary quadratic extension F of \({{\mathbb {Q}}}\) such that \(H({{\mathbb {R}}})\) is isomorphic to \(\mathrm {SL}(n,{{\mathbb {C}}})\). Since \(\mathrm {SL}(n,{{\mathbb {C}}})\) satisfies the condition (WS), Theorem 7.4 yields subconvex bounds for \(\Gamma \backslash \mathrm {SL}(n,{{\mathbb {C}}})\), where \(\Gamma \) is defined by an open compact subgroup \(K_0\) in \(H({\mathbb {A}}_{\mathrm {fin}})\).
Example 7.8
(Equivariant subconvex bounds for \(\mathrm {SU}(n,n,{{\mathbb {R}}})\)) There exists a central division algebra D over an imaginary quadratic extension F of \({{\mathbb {Q}}}\) with a \(F/{{\mathbb {Q}}}\)involution such that \(H:=\mathrm {SU}(1,D)\) satisfies \(G:=H({{\mathbb {R}}})\cong \mathrm {SU}(n,n,{{\mathbb {R}}})\), see [46, Chapter 10]. Since H obviously satisfies the assumptions of Theorem 7.4, one obtains equivariant subconvex bounds for \(\Gamma \backslash G\) in this case.
7.3 Nonequivariant subconvex bounds
We shall now prove nonequivariant subconvex bounds on arithmetic quotients of semisimple algebraic groups without the condition (WS). Let H be a connected semisimple algebraic group over \({{\mathbb {Q}}}\) and choose any open compact subgroup \(K_0\) of \(H({\mathbb {A}}_{\mathrm {fin}})\). We then have the following
Theorem 7.9
Put \(G:=H({{\mathbb {R}}})\) and \(\Gamma :=H({{\mathbb {Q}}})\cap (H({{\mathbb {R}}})K_0)\). Assume that \(H({\mathbb {A}})=H({{\mathbb {Q}}})(H({{\mathbb {R}}})K_0)\) and that \(\Gamma \backslash G\) is compact. Let \(P_0\) be an elliptic leftinvariant differential operator on G of degree m that gives rise to a positive and symmetric operator on \(\Gamma \backslash G\) with strictly convex cospheres \(S^*_x(\Gamma \backslash G)\). Then, there exist a submodule \({\mathcal {H}}\) of \(H^{\chi =1}_{\Xi =H({{\mathbb {Q}}})}\) and a constant \(\delta >0\) such that there is an orthonormal basis \(\{\phi _j\}_{j\in {{\mathbb {N}}}}\) of \(\mathrm{L}^2(\Gamma \backslash G)\) consisting of simultaneous eigenfunctions for P and all \({{\mathcal {T}}}\in {\mathcal {H}}\), so that for each \(\phi _j\) with spectral eigenvalue \(\lambda _j\) one has
Proof
To prove this theorem, we need an explicit distance on G. We may assume that H is a closed subgroup of \(\mathrm {SL}(m)\) over \({{\mathbb {Q}}}\) for some sufficiently large \(m \in {{\mathbb {N}}}\), so that \(G=H({{\mathbb {R}}})\) becomes a closed subgroup of \(\mathrm {SL}(m,{{\mathbb {R}}})\) with respect to the topology induced from the Euclidean topology on \({{\mathbb {R}}}^{m^2}\), compare [40, Chapter 3]. Note that \(H({{\mathbb {R}}})\) might consist of finitely many connected components with respect to the usual topology, even if H is connected in the sense of Zariski [40, Corollary 1]. One then defines on \(M(m,{{\mathbb {R}}})\) the Euclidean distance
obtaining a distance on G by the inclusions \(G\subset \mathrm {SL}(m,{{\mathbb {R}}}) \subset M(m,{{\mathbb {R}}})\). In fact, the distance \(\mathrm {dist}\,\) is locally equivalent to the distance \(\mathrm {dist}_1\). Indeed, \(\mathrm {dist}_1\) is equivalent to \(\mathrm {dist}\,\) in a small neighborhood \({\mathcal {U}}\) of the identity. Furthermore, for fixed \(g\in G\) one computes
so that \(\mathrm {dist}_1(x,y)\) is equivalent to the distance \((x,y)\mapsto \mathrm {dist}_1(gx,gy)\) on G. The assertion now follows by covering G by translates of \({\mathcal {U}}\).
The first assertion follows from the corresponding argument in Theorem 7.4. It remains to show that the assumptions in Lemma 7.1 are satisfied for the module \({\mathcal {H}}\) given in (7.6), for which we shall follow the considerations in [34]. Let us choose the same norm \(\Vert \;\; \Vert ^*\) as in [34, Section 2.2] on the group of cocharacters of a maxial torus over \(\overline{{{\mathbb {Q}}}}\), and regard \(\Vert \;\; \Vert ^*\) as a norm on the cocharacters of each \({{\mathbb {Q}}}_p\)torus by conjugation. Let \({\mathcal {P}}'\) be the set denoted by \({\mathcal {P}}\) in [34, Section 2.5] for \(F={{\mathbb {Q}}}\) and \({\underline{G}}=H\). Then \({\mathcal {P}}'\) is an infinite set of prime numbers, (7.1) holds, and for each prime \(p\in {\mathcal {P}}'\) the group \(H({{\mathbb {Q}}}_p)\) is split. Furthermore, a Hecke operator \(\tau (p,\mu )\) is defined by the product of \(p^{\Vert \mu \Vert ^*}\) with the characteristic function of \(H({{\mathbb {Z}}}_p)\mu (p)H({{\mathbb {Z}}}_p)\), where \(\mu \) is a cocharacter on a suitable maximal split torus \(\underline{T}_p\) in \(H({{\mathbb {Q}}}_p)\). In addition, several conditions are imposed on H, \({\mathcal {P}}'\), and \(\underline{T}_p\), and we refer the reader to [34, Section 2] for details. By [34, Proposition 6.1], there exists for each \(p\in {\mathcal {P}}'\) a Hecke operator \({{\mathcal {T}}}_p\) such that
for some constant \(R\in {{\mathbb {N}}}\). Now, choose a compact subset \(\Omega \) of G such that \(G=\Gamma \Omega \), let x be an element in \(\Omega \), and set \({{\mathcal {T}}}_{N,x}:=\sum _{p\in {\mathcal {P}}',\, p\le N} {{\mathcal {T}}}_p\).^{Footnote 16} In order to verify the necessary conditions in Lemma 7.1 we proceed as in the proof of Theorem 7.4, and let \({{\mathcal {T}}}_p'\) and \({{\mathcal {T}}}_{N,x}'\) be nonadelic Hecke operators corresponding to \({{\mathcal {T}}}_p\) and \({{\mathcal {T}}}_{N,x}\), respectively. For \(\gamma \in H({{\mathbb {Q}}})\subset \mathrm {SL}(m,{{\mathbb {Q}}})\), let \(\Vert \gamma \Vert _f\) denote the least common multiple of denominators of components of \(\gamma \). By [34, Corollary 3.6], one has \(\Vert \gamma \Vert _f\ll N^{A_2'}\) for some \(A_2'>0\) if \(\gamma \in H({{\mathbb {Q}}})\cap {{\,\mathrm{supp\,}\,}}({{\mathcal {T}}}_{N,x}({{\mathcal {T}}}_{N,x})^*)\), where \({{\,\mathrm{supp\,}\,}}({{\mathcal {T}}}_{N,x}({{\mathcal {T}}}_{N,x})^*)\) means the support of \({{\mathcal {T}}}_{N,x}({{\mathcal {T}}}_{N,x})^*\) in \(H({\mathbb {A}}_{\mathrm {fin}})\), and the second bound in (7.2) follows. Furthermore, for the distance \(\mathrm {dist}\,_1\), one can show that for some \(A_2>A_2'\) the inequality \(\mathrm {dist}_1(\gamma x,x)<c_1 N^{A_2}\) does not hold for any nontrivial element \(\gamma \in H({{\mathbb {Q}}})\cap \mathrm {supp}({{\mathcal {T}}}_{N,x}({{\mathcal {T}}}_{N,x})^*)\), where we choose \(c_1>0\) such that \(c_1 \mathrm {dist}\,(y_1,y_2)< \mathrm {dist}_1(y_1,y_2)\) for all \(y_1,y_2\in \Gamma \backslash G\). Indeed, if \(\gamma \in H({{\mathbb {Q}}})\cap \mathrm {supp}({{\mathcal {T}}}_{N,x}({{\mathcal {T}}}_{N,x})^*)\) is such that \(\mathrm {dist}(\gamma x,x)< N^{A_2}\), one necessarily must have \(\gamma =1\) together with \({{\mathcal {T}}}_p(x^{1}\gamma x)={{\mathcal {T}}}_p(1)=0\). It follows that
since
yielding the first bound in (7.2). Thus, the proof is completed. \(\square \)
Example 7.10
(Nonequivariant subconvex bounds for division algebras) Let D be a central division algebra over a number field F and \(H:={\mathrm {Res}}_{F/{{\mathbb {Q}}}}\mathrm {SL}(1,D)\). If H has no \({{\mathbb {R}}}\)simple components \(H'\) for which \(H'({{\mathbb {R}}})\) is compact, then Theorem 7.9 yields a subconvex bound for \(\Gamma \backslash G\) with G and \(\Gamma \) as in the previous theorem. If in particular \(G=\mathrm {SL}(n,{{\mathbb {R}}})\), there exists a constant \(\delta >0\) such that one has the subconvex bound
for any Hecke–Maass form \(\phi _j\) in \(\mathrm{L}^2(\Gamma \backslash G)\) with eigenvalue \(\lambda _j\). It is also possible to consider \(H:={\mathrm {Res}}_{F/{{\mathbb {Q}}}}\mathrm {SU}(1,D)\), where D is a central division algebra over a quadratic extension E of F equiped with a E/Finvolution. Under the assumption that \(G:=H({{\mathbb {R}}})\) has no \({{\mathbb {R}}}\)simple components \(H'\) for which \(H'({{\mathbb {R}}})\) is compact, Theorem 7.9 then implies subconvex bounds for \(\Gamma \backslash G\). Regarding the existence of division algebras with E/Finvolutions satisfying our assumptions we refer the reader to [46, Theorem 8.1].
7.4 Automorphic forms and representation theoretic interpretation of the results
To close, let us indicate how our results fit into the general theory of automorphic forms [10]. With G, K, and \(\Gamma \) as above let us recall the following
Definition 7.11
A smooth function \(f:G\rightarrow {{\mathbb {C}}}\) satisfying

(A1)
\(f(\gamma g) =f(g) \) for all \(g \in G\) and \(\gamma \in \Gamma \),

(A2)
f is Kfinite on the right,

(A3)
f is \({\mathcal {Z}}\)finite, where \({\mathcal {Z}}\) denotes the center of the universal envelopping algebra \({\mathfrak {U}}(\mathbf{{\mathfrak {g}}}_{{\mathbb {C}}})\) of the complexification of the Lie algebra \(\mathbf{{\mathfrak {g}}}\) of G,
is called an automorphic form on G for \(\Gamma \).
This definition implies that with respect to the decomposition (2.3) each automorphic form f is contained already in finitely many constituents, so that \(f\in \bigoplus _{k=1}^l m(\pi _k,\Gamma )\cdot \pi _k \) for suitable \(\pi _k\), compare [29, Corollaries 8.14 and 10.37]. Hence, \(p({{\mathcal {C}}}):=\prod _{k=1}^l({{\mathcal {C}}}\mu _k)\), where \(\mu _k\) is the Casimir eigenvalue of \(\pi _k\), represents a polynomial that annihilates f. On the other hand, (A2) implies that f is a finite sum of functions \(f_\sigma \) belonging to a specific Ktype \(\sigma \), and by (2.2) one deduces
where \(\mu _\sigma \) denotes the eigenvalue of \(dR(\Omega _K)\) on \(\sigma \), and q is a polynomial. Thus, f is essentially given by a sum of Hecke–Maass forms in the sense of this paper, because \(q(\Delta )\) is an elliptic differential operator and any subspace defined by a Ktype and a Casimir eigenvalue is finite dimensional by Harish–Chandra’s theorem [10, Theorem 1.7]. Consequently, Theorems 7.4 and 7.9 can be rephrased as follows.
Theorem 7.12
Let H be a connected semisimple algebraic group over \({{\mathbb {Q}}}\) and \(K_0\) an open compact subgroup of \(H({\mathbb {A}}_{\mathrm {fin}})\). Set \(G:=H({{\mathbb {R}}})\) and \(\Gamma :=H({{\mathbb {Q}}})\cap (H({{\mathbb {R}}})K_0)\), and suppose that \(H({\mathbb {A}})=H({{\mathbb {Q}}})(H({{\mathbb {R}}})K_0)\) and \(H({{\mathbb {Q}}})\backslash H({\mathbb {A}})\) is compact. Then, there exist a submodule \({\mathcal {H}}\) of \(H^{\chi =1}_{\Xi =H({{\mathbb {Q}}})}\) and a constant \(\delta >0\), which are independent of \(\sigma \in \widehat{K}\), such that

(1)
there exists an orthonormal basis \(\{\phi _j\}_{j\in {{\mathbb {N}}}}\) of \(\mathrm{L}^2_\sigma (\Gamma \backslash G)\) which consists of simultaneous eigenfunctions for the Casimir operator \({{\mathcal {C}}}\) and all Hecke operators \({{\mathcal {T}}}\in {\mathcal {H}}\);

(2)
provided that \(H={\mathrm {Res}}_{F/{{\mathbb {Q}}}}\underline{G}\) and (WS) is fulfilled, for each \(\phi _j\) with Casimir eigenvalue \(\mu _j\) one has
$$\begin{aligned} \Vert \phi _j\Vert _\infty \ll \sqrt{d_\sigma \sup _{u \le \lfloor \frac{\dim K}{2}+1\rfloor } \left\ D^u \sigma \right\ _\infty } \, \, (\mu _j+2\mu _\sigma )^{\frac{\dim G/K1}{4}\delta }, \end{aligned}$$\(\mu _\sigma \) being the eigenvalue of \(dR(\Omega _K)\) on \(\sigma \), while if \(K=T\) is a torus,
$$\begin{aligned} \Vert \phi _j\Vert _\infty \ll \, (\mu _j+2\mu _\sigma )^{\frac{\dim G/K1}{4}\delta }; \end{aligned}$$ 
(3)
for each \(\phi _j\) one has in general
$$\begin{aligned} \Vert \phi _j\Vert _\infty \ll (\mu _j+2\mu _\sigma )^{\frac{\dim G1}{4}\delta }. \end{aligned}$$
\(\square \)
Notes
By a closed manifold we shall understand a compact boundaryless manifold.
Here and in what follows we shall write \(a \ll _\gamma b\) for two real numbers a and b and a variable \(\gamma \), if there exists a constant \(C_\gamma >0\) depending only on \(\gamma \) such that \(a \le C_\gamma b\). If there are no relevant variables involved, we shall simply write \(a\ll b\).
The estimate is almost sharp in the sense that as a consequence of the equivariant Weyl law Ttypes in \(\mathrm{L}^2(M)\) can grow at most with rate \(\lambda _j^{1/m}\), see [43].
Note that \(H({\mathbb {A}})=H({{\mathbb {Q}}})(H({{\mathbb {R}}})K_0)\) is satisfied for any \(K_0\) if H has the strong approximation property. In this case, \(G=H({{\mathbb {R}}})\) can be any of the groups \(\mathrm {SL}(n;{{\mathbb {R}}}), \mathrm {SL}(n,{{\mathbb {C}}}), \mathrm {SL}(n,{\mathbb {H}}), \mathrm {SU}(m,n,{{\mathbb {R}}})\), \(n\ge 2,m\ge 1\), and their products, compare [40, Section 2.3 and Theorem 7.12].
Here and above \(\alpha \equiv \Gamma \alpha \) (resp. \(\beta _j\equiv \Gamma \beta _j \)) and \(x \equiv \Gamma x\) are considered both as right cosets of \(\Gamma \) and representatives in G, and the products \(\alpha x\) (resp. \(\beta _j x\)) are taken in G.
This condition is required only in the case \(x\not =y\). For example, it holds if \(P_0=\Delta \) equals the Beltrami–Laplace operator, since then \(p(x,\xi )=\Vert \xi \Vert ^2_x\).
For the terminology, see Appendix A in [42].
It suffices to take C larger than the diameter of any component of \(\Gamma _\chi \backslash G/K\).
Note that the center \(\begin{pmatrix}a&{}0 \\ 0&{} a \end{pmatrix}\), \(a\in {{\mathbb {R}}}^*\), acts trivially on \({\mathbb {H}}\).
Since the \(T^\chi _n\) are adjoint operators for all n with \((n,q)=1\), one has \(\eta _j(n)=\overline{\eta _j(n)}\), compare [37, Theorem 5.3.8]. More generally, \((T^\chi _{\Gamma \alpha \Gamma })^*=T^\chi _{\Gamma \alpha '\Gamma }\), where \(\alpha '=\mathrm {det}\,(\alpha )\alpha ^{1}\).
Note that our normalization of the Casimir operator differs from the one in [9] by a factor 1/4.
\(a_0+a_1{\mathbf {i}}+a_2{\mathbf {j}}+a_3{\mathbf {k}}\equiv 1 \; (2)\) means that \(a_0\) is odd and \(a_1,a_2,a_3\) are even. Note that \({\mathcal {R}}(n)\) is empty unless \(n\equiv 1\mod 4\).
Without this assumption, the intersection in (7.4) might be empty, and the following arguments make no sense. Along the same lines, recall that Hecke operators on \(\mathrm {SO(3)}\) are only defined in the case \(p\equiv 1\mod 4\).
Note that \({{\mathcal {T}}}_{N,x} \) does actually not depend on x, but we preferred to keep the notation of Lemma 7.1.
References
Arthur, J.: A Paley–Wiener theorem for real reductive groups. Acta Math. 150(1–2), 1–89 (1983)
Avacumovič, V.G.: Über die Eigenfunktionen auf geschlossenen Riemannschen Mannigfaltigkeiten. Math. Z. 65, 327–344 (1956)
Blomer, V., Holowinsky, R.: Bounding supnorms of cusp forms of large level. Invent. Math. 179, 645–681 (2010)
Blomer, V., Maga, P.: The supnorm problem for \({{\rm PGL}}(4)\). IMRN 14, 5311–5332 (2015)
Blomer, V., Maga, P.: Subconvexity for supnorms of cusp forms on \({{\rm PGL}}(n)\). Sel. Math. 22, 1269–1287 (2016)
Blomer, V., Michel, P.: Supnorm bounds for eigenfunctions on ellipsoids. Int. Math. Res. Not. 20, 4934–4966 (2011)
Blomer, V., Michel, P.: Hybrid bounds for automorphic forms on ellipsoids over number fields. J. Inst. Math. Jussieu 12, 727–758 (2013)
Blomer, V., Pohl, A.: The supnorm problem on the Siegel modular space of rank two. Am. J. Math. 136, 999–1027 (2016)
Borel, A.: Automorphic Forms on \({{\rm SL}}_2({\mathbb{R}})\), Cambridge Tracts in Mathematics, vol. 130. Cambridge University Press, Cambridge (1997)
Borel, A., Jacquet, H.: Automorphic forms and automorphic representations, automorphic forms, representations, and \(L\)functions. In: Proceedings of Symposium Pure Mathematics, vol. 33. American Mathematical Society, Providence, R.I., pp. 189–202 (1979)
Cogdell, J.W., Luo, W.: The Bergman kernel and mass equidistribution on the Siegel modular variety \({{\rm Sp}}_{2n}({\mathbb{Z}})\backslash {\mathfrak{H}}_n\). Forum Math. 23(1), 141–159 (2011)
Conway, J.H., Smith, D.A.: On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry. A K Peters Ltd., Natick (2003)
Das, S., Sengupta, J.: \({{\rm L}}^\infty \) norms of holomorphic modular forms in the case of compact quotient. Forum Math. 27(4), 1987–2001 (2015)
Deligne, P.: La conjecture de Weil. I. Publ. Math. l’IHÉS 43, 273–307 (1974)
Duistermaat, J.J.: Fourier Integral Operators. Birkhäuser, Basel (1996)
Duistermaat, J.J., Guillemin, V.W.: The spectrum of positive elliptic operators and periodic bicharacteristics. Inv. Math. 29(3), 39–79 (1975)
Duke, W., Friedlander, J., Iwaniec, H.: The subconvexity problem for Artin Lfunctions. Invent. Math. 149, 489–577 (2002)
Flath, D.: Decomposition of Representations into Tensor Products, Automorphic Forms, Representations, and LFunctions, Proceedings of Symposia in Pure Mathematics. Part I, vol. 33, pp. 179–183. American Mathematical Society, Providence (1979)
Gel’fand, I.M., Graev, M.I., PyatetskiiShapiro, I.I.: Generalized Functions, Vol. 6 Representation Theory and Automorphic Functions. AMS Chelsea Publishing, New York (2016)
Godement, R.: Série de poincaré et spitzenformen, Fonctions automorphes, Séminaire H. Cartan (1957/58)
Grigis, A., Sjöstrand, J.: Microlocal Analysis for Differential Operators, London Mathematical Society Lecture Note Series, vol. 196. Cambridge University Press, Cambridge (1994)
Hoffmann, W.: The trace formula for Hecke operators over rank one lattices. J. Funct. Anal. 84, 373–440 (1989)
Hörmander, L.: The spectral function of an elliptic operator. Acta Math. 121, 193–218 (1968)
Hörmander, L.: The Analysis of Linear Partial Differential Operators, vol. I. Springer, Berlin (1983)
Hörmander, L.: The Analysis of Linear Partial Differential Operators, vol. IV. Springer, Berlin (1985)
Iwaniec, H.: Spectral Methods of Automorphic Forms, Graduate Studies in Mathematics, vol 53. Revista Matemática Iberoamericana, Madrid. American Mathematical Society, Providence (2002)
Iwaniec, H.: Spectral Methods of Automorphic Forms, Graduate Studies in Mathematics, Revista Matematica Iberoamericana, Madrid, vol. 53. American Mathematical Society, Providence (2002)
Iwaniec, H., Sarnak, P.: \(L^\infty \) norms of eigenfunctions of arithmetic surfaces. Ann. Math. (2) 141(2), 301–320 (1995)
Knapp, A.: Representation Theory of Semisimple Groups. An Overview Based on Examples, Princeton Mathematics Series, vol. 36. Princeton University Press, Princeton (1986)
Knapp, A.W., Rogawski, J.D.: Applications of the trace formula. Proc. Symp. Pure Math. 61, 413–431 (1997)
Levitan, B.M.: On the asymptoptic behavior of the spectral function of a selfadjoint differential equation of the second order. Izv. Akad. Nauk SSSR Ser. Mat. 16, 325–352 (1952)
Lubotzky, A., Phillips, R., Sarnak, P.: Hecke operators and distributing points on the sphere I. Commun. Pure Appl. Math. 39, 149–186 (1986)
Lubotzky, A., Phillips, R., Sarnak, P.: Hecke operators and distributing points on the sphere II. Commun. Pure Appl. Math. 40, 401–420 (1987)
Marshall, S.: Upper bounds for Maass forms on semisimple groups. arXiv: 1405.7033 (arXiv Preprint) (2017)
Matz, J.: Distributions of Hecke eigenvalues for \({{\rm GL}}(n)\), Families of automorphic forms and the trace formula. In: Proceedings of the Simons symposium, Puerto Rico, 2014, Simons Symposia, pp 327–350 (2016)
Milnor, J.: Curvatures of left invariant metrics on Lie groups. Adv. Math. 21, 293–329 (1976)
Miyake, T.: Modular Forms. Springer Monographs in Mathematics. Springer, Berlin (2006)
Müller, W.: The trace class conjecture in the theory of automorphic forms. II. Geom. Funct. Anal. 8, 315–355 (1998)
Patterson, S.J.: The Laplacian operator on a Riemann surface. Compos. Math. 31(1), 83–107 (1975)
Platonov, V.P., Rapinchuk, A.S.: Algebraic Groups and Number Theory, Pure and Applied Mathematics, vol. 139. Academic Press Inc., Boston (1994)
Ramacher, P.: Addendum to Singular equivariant asymptotics and Weyl’s law. J. Reine Angew. Math. 745, 281–293 (2018)
Ramacher, P.: The equivariant spectral function of an invariant elliptic operator. \(L^p\)bounds, caustics, and concentration of eigenfunctions. J. Math. Pures Appl. 120, 33–90 (2018)
Ramacher, P.: Addendum to The equivariant spectral function of an invariant elliptic operator. arXiv:1809.03687 (arXiv Preprint) (2018)
Reznikov, A.: RankinSelberg without unfolding and bounds for spherical Fourier coefficients of Maass forms. J. Am. Math. Soc. 21(2), 439–477 (2008). (English)
Sarnak, P.: Letter to Morawetz. http://www.math.princeton.edu/sarnak/
Scharlau, W.: Quadratic and Hermitian Forms, Grundlehren der Mathematischen Wissenschaften, vol. 270. Springer, Berlin (1985)
Seeley, R.T.: Complex powers of an elliptic operator, singular integrals. In: Proceedings of Symposia in Pure Mathematics , vol. 10. American Mathematical Society, Providence, pp. 288–307 (1967)
Shimeno, N.: The Plancherel formula for spherical functions with a onedimensional \(K\)type on a simply connected simple Lie group of Hermitian type. J. Funct. Anal. 121(2), 330–388 (1994)
Shubin, M.A.: Pseudodifferential Operators and Spectral Theory, 2nd edn. Springer, Berlin (2001)
Sogge, C.: Hangzhou Lectures on Eigenfunctions of the Laplacian. Princeton University Press, Princeton (2014)
Templier, N.: On the supnorm of Maass cusp forms of large level. Sel. Math. (N.S.) 16, 501–531 (2010)
Templier, N.: Hybrid supnorm bounds for Hecke–Maass cusp forms. J. Eur. Math. Soc. 17, 2069–2082 (2015)
VanderKam, J.M.: \(L^\infty \) norms and quantum ergodicity on the sphere. Int. Math. Res. Not. 20, 329–347 (1997)
Venkatesh, A.: Sparse equidistribution problems, period bounds and subconvexity. Ann. Math. (2) 172(2), 989–1094 (2010). (English)
Wallach, N.R.: Real Reductive Groups, vol. I. Academic Press Inc, New York (1988)
Xia, H.: On \(L^\infty \) norms of holomorphic cusp forms. J. Number Theory 124(2), 325–327 (2007)
Acknowledgements
We would like to thank Valentin Blomer and Simon Marshall for their comments on an earlier draft of this paper. Besides, the second author would like to thank Jasmin Matz for her advice on spherical functions. He is partially supported by the JSPS GrantinAid for Scientific Research (Nos. 15K04795, 18K03235).
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ramacher, P., Wakatsuki, S. Subconvex bounds for Hecke–Maass forms on compact arithmetic quotients of semisimple Lie groups. Math. Z. 298, 1383–1424 (2021). https://doi.org/10.1007/s00209020026350
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209020026350