Applications of analytic newvectors for GL(n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm {GL}(n)$$\end{document}

We provide a few natural applications of the analytic newvectors, initiated in Jana and Nelson (Analytic newvectors for GLn(R)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {GL}_n(\mathbb {R})$$\end{document}, arXiv:1911.01880 [math.NT], 2019), to some analytic questions in automorphic forms for PGLn(Z)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm {PGL}_n(\mathbb {Z})$$\end{document} with n≥2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n\ge 2$$\end{document}, in the archimedean analytic conductor aspect. We prove an orthogonality result of the Fourier coefficients, a density estimate of the non-tempered forms, an equidistribution result of the Satake parameters with respect to the Sato–Tate measure, and a second moment estimate of the central L-values as strong as Lindelöf on average. We also prove the random matrix prediction about the distribution of the low-lying zeros of automorphic L-function in the analytic conductor aspect. The new ideas of the proofs include the use of analytic newvectors to construct an approximate projector on the automorphic spectrum with bounded conductors and a soft local (both at finite and infinite places) analysis of the geometric side of the Kuznetsov trace formula.


Motivation
Given a finite family F of automorphic representations π of a reductive group G several important questions can be formulated in terms of asymptotic behaviour of the average behaviour of A(π ) by making such averages is easier to handle than understanding A(π ) individually, due to availability of strong analytic techniques e.g. (relative) trace formulae. The families usually are defined in terms of some intrinsic attributes of the automorphic representations π , such as, their levels (non-archimedean), weights, spectral parameters, Laplace eigenvalues (archimedean), or analytic conductors. A plethora of works have been done in these aspects on various higher rank and higher dimensional arithmetic locally symmetric spaces among which we refer to [2][3][4][5][6]8].
Let G be the group PGL r (R). Let C(π ) be the archimedean analytic conductor of an automorphic representation for PGL r (Z), defined by Iwaniec-Sarnak [22], see Sect. 2.3. Consider the family F X defined by {automorphic representation π for PGL r (Z) | C(π ) < X }.
Obtaining an asymptotic formula or estimating size of (1.1) when F = F X as X → ∞ for various A(π ) is the motivating problem in this article. For instance, if A(π ) = |L(1/2, π)| k , an asymptotic formula for (1.1) for large enough k would yield a subconvex bound for L (1/2, π) in terms of C(π ). This seems to be a potential approach to understand the infamous conductor-drop issue. We refer to [30] for a survey on various other averaging problems over F X .
As a side note, we record that |F X | X r −1 . Moreover, from Langlands classification of the continuous spectrum (described in the next subsection) and a few inductive applications of the Weyl law (with respect to the analytic conductors) imply that the size of the subfamily {π cuspidal | π ∈ F X } is also X r −1 .
In this article our goal is to initiate understanding of a smoothened version of the averages as in (1.1) by constructing an approximate projector on F X using archimedean analytic newvectors (see Sect. 1.9) and subsequently analysing the averages by means of the Kuznetsov trace formula. An application of this kind in the question of weighted counting of automorphic forms for PGL r (Z), for r ≥ 2, with bounded analytic conductors is provided in [27,Theorem 9]. In this article we will give a few other averaging applications of this kind which (including their proofs) are mostly influenced by the recent works [2,3,5,6,18,19,33,39].

Main Theorems
Let G := PGL r (R), := PGL r (Z), and X := \G. ByX we denote the isomorphism class of irreducible unitary standard automorphic representations of G in L 2 (X). Here by standard, we mean the automorphic representations which appear in the spectral decomposition of L 2 (X). Similarly, byX gen we denote the subclass of generic representations inX i.e., class of representations which have (unique) Whittaker models (see Sect. 2.2).
We mention Langlands' descriptions forX andX gen . We refer to [12,Section 5], [35] for details. We take a partition r = r 1 + · · · +r k . Let π j be a unitary square-integrable automorphic representation (see [35] for the classification of the square-integrable representations of GL(n)) for GL r j (Z) (if r j = 1 we take π j to be a unitary character). Consider the unitary induction from the Levi GL(r 1 ) × · · · × GL(r k ) to G of the tensor product π 1 ⊗ · · · ⊗ π k . There exists a unique irreducible constituent of which we denote by the isobaric sum π 1 · · · π k . Then Langlands classification says that every element inX is isomorphic to such an isobaric sum. Further, we start with unitary cuspidal automorphic representations π j for GL r j (Z) and proceed with the same construction as above to obtain an isobaric sum. Then another theorem of Langlands asserts that every element inX gen is isomorphic to such an isobaric sum.
Let dμ aut be the automorphic Plancherel measure onX compatible with the Ginvariant probability measure on X (see [17,Chapter 11.6] for details). Let C(π ) be the analytic conductor of π ∈X gen (see Sect. 2.3).

Orthogonality of Fourier coefficients
The Fourier coefficients of automorphic forms on GL(r ) for r ≥ 2 behave similarly to the characters on GL (1). In particular, one expects that the Fourier coefficients satisfy an orthogonality relation when averaged over a sufficiently large family, similar to characters. In [44,Conjecture 1.1] an orthogonality conjecture of the Fourier coefficients is formulated, which loosely states that Here ϕ are spherical (i.e. also unramified at infinity) cusp forms on X, λ ϕ are the Fourier coefficients of ϕ, ν ϕ are the Laplace eigenvalues of ϕ, and m, n ∈ N r −1 . For detailed notations see Sect. 2.1. In Theorem 1 we prove a variant of the conjecture in (1.2) in the analytic conductor aspect (i.e. the Laplace eigenvalue ν ϕ replaced by the analytic conductor of ϕ) for general r . Theorem 1 Let m, n ∈ N r −1 and X > 1 be a large number tending off to infinity, such that min(n r −1 r −1 . . . n 1 m r −1 where (π ) is a positive number, defined in (2.4), depending only on the nonarchimedean data attached to π .
We remark that the number of cuspidal representations of G with analytic conductor bounded by X is of size X r −1 .

Remark 1
In Theorem 1, unlike (1.2), we have averaged over not just the cuspidal spectrum but also included the continuous spectrum. However, one can modify the proof of Theorem 1 to have an orthogonality result over a subset of the cuspidal spectrum only, by killing off the contributions from the continuous spectrum using a projector attached to a matrix coefficient of a supercuspidal representation σ of PGL r (Q p ) for some fixed prime p. We give such an example in Theorem 7 which loosely describes a statement of the following spirit. Theorem 7. If m, n ∈ N r −1 coprime with p fixed, then lim X →∞ where L ( p) is the partial L-function excluding the p-adic Euler factor, c σ is a constant depending on σ , and π p and π ∞ are the p-adic and infinity components of an automorphic representation π of PGL r (Z[1/ p]), respectively.

Remark 2
We only show that the cut-off function J X (π ) is non-negative over the relevant spectrum and large on the cuspidal spectrum if the analytic conductor is bounded by X . Although we do not show that J X (π ) is negligible if the analytic conductor is large, we expect that it is true nevertheless (see Sect. 1.9).

Vertical Sato-Tate
For a finite prime p and π ∈X gen we denote the complex unordered r -tuple to be the Langlands parameters attached to π at p. Langlands parameters are invariant under the action of the Weyl group W . Let T and T 0 be the standard maximal tori in SL r (C) and SU(r ), respectively. We identify μ p (π ) as an element of T /W by μ p (π ) → p μ p (π ) := diag( p μ p 1 (π ) , . . . , p μ p r (π ) ). As a tuple p μ p (π ) are the Satake parameters attached to π at p. Let μ st be the push-forward of the Haar measure on SU(r ) on T 0 /W , which is also called to be the Sato-Tate measure attached to the group GL(r ).
The Ramanujan conjecture at a finite prime p for GL(r ) predicts that all the Satake parameters will be purely imaginary, in other words, p μ p (π ) will be in T 0 /W , for all π ∈X gen . Although the Ramanujan conjecture itself is still open, one can verify its truth on an average as in Theorem 2. For details we refer to [5,44]. Theorem 2 can also be regarded as a weighted equidistribution result of the Satake parameters with respect to the Sato-Tate measure.
Theorem 2 Let f be a continuous function on T /W . Let p be a finite prime and p μ p (π ) ∈ T /W be the Satake parameters attached to π at p. Then as X → ∞.
A variant of Theorem 2 in the Laplace eigenvalue aspect assuming the conjecture in (1.2) is proved in [44] for general r . Unconditionally, the same variant is proved in [29,Theorem 10.2] for r = 2 and in [5, Theorem 3] for r = 3. In [33,Theorem 1.4], and in [39] the authors proved Sato-Tate equidistribution over a cuspidal spectrum without the harmonic weights (π ) for PGL(r ) and for general reductive group, respectively. In particular, both [33,39] use the Arthur-Selberg trace formula while we use the Kuznetsov trace formula. We also mention that Theorem 2 can be formulated over a cuspidal spectrum following a similar technique as in Theorem 7 (see Remark 1).
In [38, p. 465], Sarnak conjectured that for a nice enough finite family F of unitary irreducible automorphic representations for GL r (Z) the number of representations which are at least θ -non-tempered at a fixed place, is essentially of size |F| 1− 2θ r −1 . We refer to [4] for motivation and details. In Theorem 3 we prove Sarnak's conjecture in [38] in the analytic conductor aspect for a finite place p for PGL r (Z).

Theorem 3 Let p be a fixed prime. Then
as X tends off to infinity.
Many variants of the density estimate as in Theorem 3 of similar strength are available in the literature. We refer to [2, Theorem 2] for r = 3 in the spectral parameter aspect, [5, Theorem 1, Theorem 2] for r = 3 in the Laplace eigenvalue aspect, [6, Theorem 4, Theorem 5] for r = 3 in the level aspect, and more recently, [3,Theorem 1] in the level aspect for general r . In [33,Corollary 1.8] (also see [15] which discusses this for general reductive group) a density bound is obtained using the Arthur-Selberg trace formula for general r , however the bound is weaker than Sarnak's density hypothesis in [38].

Remark 3
We mention that [3, Theorem 1] proves a stronger estimate in the nonarchimedean aspect than the non-archimedean variant of Sarnak's density hypothesis [38]. The analogous estimate in our archimedean setting would be X −4η+ . To obtain a stronger bound one needs to have an estimate of certain double unipotent orbital integral which arises in the geometric side of the Kuznetsov formula (as in the second term of the RHS of the equation in Proposition 2.1) similar to what is achieved in the non-archimedean case in [3, Theorem 3] (see discussion after Theorem 2 in [3]). It seems such estimates might be achievable by a delicate stationary phase analysis of the unipotent orbital integrals, which is not in our grasp currently for general r and we hope to come back to this in future.

Statistics of low-lying zeros and symmetry type
There have been strong evidences so far in support of Hilbert and Pólya's suggestion that there might be a spectral interpretation of the distribution of the zeros of the Riemann Zeta function in terms of the eigenvalues of the random matrices, e.g. Montgomery's pair correlation of high zeros of Riemann zeta function. Katz and Sarnak [28] predicted that given a family of L-function for a reductive group one can associate a symmetry type (e.g. orthogonal, unitary, or symplectic) to that family, which is given by the associated random matrix ensemble which conjecturally determines the distribution of the low-lying zeros of the L-functions in the family. We refer to [39, §1.3- §1.6] for a detailed overview and motivations.
We start by assuming the Langlands strong functoriality principle, as in [39,Hypothesis 10.1]. Note that the Langlands L-group of G is SL r (C). By ρ we will denote the L-homomorphism SL r (C) → GL d (C) arising from a d-dimensional irreducible representation of SL r (C).

Conjecture 1 (Langlands Functoriality)
For every π ∈X gen and every L-homomorphism ρ : SL r (C) → GL d (C) there exists an irreducible automorphic representation ρ * π for GL d (Z), which is called to be the functorial lift of π under ρ, such that (s, ρ * π, Standard) = (s, π, ρ), and for every p ≤ ∞ the p-component (ρ * π) p = ρ p * π p where ρ p * in the RHS denotes the induced functorial transfer for the local representations at p.
To exclude the case ρ being trivial we also assume that d > 1. It is known that Conjecture 1 implies the generalized Ramanujan conjecture for G.
Let ψ be the Fourier transform of a smooth function on R supported on the interval [−δ, δ] for some δ > 0. Then ψ is a Paley-Wiener type (or Schwartz class) function. We define a weighted 1-level density statistic D ρ,X for low-lying zeros of (s, ρ * π) with C(π ) < X by the equation (1.3) Similarly, we denote the poles of (s, π, ρ) in the critical strip by 1/2 + iτ ρ * π and define (1.4) From the Katz-Sarnak [28] random matrix heuristics about the distribution of the zeros of one can predict that there is a limiting 1-level distribution of the low-lying zeros. That is, where W is determined by the Frobenius-Schur indicator s(ρ) of the representation ρ. In particular, a family is (even) orthogonal, (unitary) symplectic, or unitary if the value of s is −1, 1, or 0, respectively. Shin-Templier [39, Theorem 1.5] showed that the above prediction is true for certain families of automorphic L-functions in the level and weight aspects for a general reductive group, assuming some hypotheses on the size of the average conductor and the number of poles of the L-function. In Theorem 4 we prove a weighted version of [39, Theorem 1.5] for the group G assuming similar hypotheses as in [39], which we describe below.
We make a conjecture about the size of the average conductor as in [39,Hypothesis 11.4] that log C ρ,X ρ log X .

Conjecture 2
For all L-homomorphisms ρ there exist nonnegative constants c(ρ) and C(ρ) such that, for all large enough X > 1.
Conjecture 2 should probably not be hard to establish upon an asymptotic expansion of J X (π ) for various ranges of C(π ) (see Sect. 1.9) and using local Langlands correspondence for G to describe the archimedean L-parameters of ρ * π . Heuristically, at least when ρ is the standard representation, we expect For general d-dimensional representation ρ, it is not difficult to prove a trivial bound C(ρ * π) ≤ C(π ) d (however this bound is far from being sharp when ρ * π has a conductor drop). Correspondingly, a crude bound of C(ρ) may be obtained as discussed in the heuristic above. We assume Langlands functoriality in Conjectures 1 and 2 about the size of the average conductor and state the following weighted version of the density estimate of the low-lying zeros of (s, π, ρ) over the family π ∈X gen with C(π ) < X . 1). Recall s(ρ) and C(ρ) from the above discussion. Let ψ be a Schwartz class function with its Fourier transformψ supported

Remark 4
It should be noted that that D pole term in Theorem 4 typically should be negligible. In [39] it is shown that the corresponding D pole in their analysis is negligible upon assuming [39, Hypothesis 11.2] which heuristically predicts that (s, ρ * π) is entire for for most π . We refer to Remark 6 for details.

Remark 5
We use Ramanujan Conjecture in full strength (which is implied by Langlands functoriality principle in Conjecture 1) in the proof. However, we only need a bound towards Ramanujan. Thus alternatively, one can assume functoriality for fewer ρ and prove a bound towards Ramanujan and consequently, to prove a stronger version of Theorem 4.
Apart form [39], there are a few results on the distribution of the low-lying zeros for various families of L-functions e.g., for r = 2 [21,43] in the weight and level aspect, for r = 3 [18] in the Laplace eigenvalue aspect, and for general r [33] in the dilated Plancherel ball aspect.

A large sieve inequality
In the next application we prove a large sieve inequality in the analytic conductor aspect for Fourier coefficients of automorphic forms on PGL(r ). This result is in the spirit of celebrated large sieve inequalities in [13] in the spectral parameter aspect for r = 2.
Theorem 5 Let all the notations be as in Theorem 1. Let α(n) n∈N r −1 be any sequence of complex numbers and N := N (n) := n 1 . . . n r −1 . Then Here the implicit constant in the condition N X is assumed to be sufficiently small.
Theorem 5 is of similar strength as in [3,Theorem 4] in the level aspect. We also mention previous works on large Sieve inequalities in [2,Theorem 3] in the spectral parameter aspect, [6, Theorem 2, Theorem 3] in level aspect for r = 3, and [14,41] in the level aspect for general r .

Second moment of the central L-values
Finally, we give a corollary of Theorem 5 to the best possible, i.e. Lindelöf on average, second moment estimate of the central L-values.

Theorem 6
Let L(s, π) be the standard L-function attached to π . Then

as X tends off to infinity.
A level aspect variant of Theorem 6 is recently proved in [3, Corollary 5]. One can get rid of the harmonic weight L(1, π, Ad) in the above second moment estimate (similarly also in Theorem 5) by using an upper bound of L(1, π, Ad) as in (4.4) from [32].

Smoothened average using analytic newvectors
We end this section with a few words about the archimedean analytic newvectors and their application in proving above theorems. The classical or non-archimedean newvector theory was pioneered by Casselman [9] and Jacquet-Piatetski-Shapiro-Shalika [24]. They showed that for every generic irreducible representation π of PGL r (Q p ) there exists a nonzero vector in π which is invariant under the open compact subgroup K 0 ( p c(π ) ), where c(π ) is the conductor exponent of π and K 0 ( p N ) is the subgroup of PGL r (Z p ) consisting matrices whose last row is congruent to (0, . . . , 0, * ) mod p N . Several works in the literature have used such invariance of newvectors when working on a family of automorphic forms with bounded conductor in the non-archimedean aspect, to understand the spectral side of a relative (e.g. Kuznetsov) trace formulae (e.g. [6,34]).
As far as we know, in higher rank the averaging problems as described above have not been much dealt with over families with bounded analytic conductor in the archimedean aspect, due to unavailability of "newvectors with required invariance" at the archimedean place. In a previous work, jointly with Paul. D. Nelson, we gave an analytic analogue of the non-archimedean newvector theory at an archimedean place [27, Theorem 1, Theorem 2]. Loosely speaking, we showed that for every nice enough representation π (e.g. archimedean component of a cuspidal automorphic representation) of PGL n (R) there are nonzero vectors in π , which we call analytic newvectors, which are invariant by some open "approximate congruence subgroup" analogous to K 0 ( p N ) in the non-archimedean setting (see (3.1) for definition).
The main contribution of the existence of analytic newvectors goes in the construction of the weight function J X (π ) as in Theorem 1 so that its integral transform under the Kuznetsov trace formula is fairly easy to understand. Apart from the properties of J X stated in Theorem 1, we also expect that J X (π ) should decay rapidly if C(π ) X 1+ i.e., J X behaves like an approximate projector on the automorphic representations with analytic conductor bounded by X , see [27,Remark 5]. However, in this article we do not pursue in this direction and hope to come back in future.

Basic notations
Let N < G be the maximal unipotent subgroup consisting of upper triangular matrices and W be the Weyl group of G. For any subgroup H < G we denote [H ] := ∩ H \H . We define an additive character of N by for some m ∈ Z r −1 . We abbreviate ψ (1,...,1) by ψ. We fix some Haar measures dg and dn on G and N , respectively. Correspondingly, we fix right G-invariant quotient measures on X and N \G, which will again, by abuse of notations, be denoted by dg.
By δ(g) we will denote that the modular character of G evaluated at g.

Automorphic Forms
For details and general discussions we refer to [17]. For any π ∈X gen and ϕ ∈ π we denote its Whittaker functional by As π is generic there is a G-equivariant isomorphism between π and its Whittaker model W(π, ψ) := {W ϕ | ϕ ∈ π }, where G acts on W(π, ψ) by right translation. We fix the usual G-invariant inner product on π e.g., if π is cuspidal it is induced from the inner product underlying L 2 (X). A unitary structure on W(π, ψ) can be given by (see [23,Chapter 3]) where N r −1 is the maximal unipotent of the upper triangular matrices in GL r −1 (R). We note that, by Schur's Lemma, there exists a positive constant It is known that when π is cuspidal then (π ) L(1, π, Ad) where the implied constant in is absolute (coming from the residue of a maximal Eisenstein series at 1, see [4, p. 617]).

L-functions and conductor
One can attach a global L-function to a π ∈X gen , denoted by L(s, π), which can be given by a Dirichlet series in some right half plane by and meromorphically continued to all s ∈ C. Every such L-function satisfies a functional equation as follows whereπ is the contragredient of π and γ ∞ is the local gamma factor attached to the archimedean data attached to π . One can define the γ -factor by where ∞ is the -factor which is of modulus 1, {μ ∞ i (π )} are the archimedean Langlands parameters attached to π , and R (s) := π −s/2 (s/2). One has ∞ (π) = ∞ (π ) and consequently Correspondingly, one can define the analytic conductor C(π ) of π by It is known, e.g. by Stirling estimates, that as long as s is away from a pole or zero of the γ ∞ .

Kloosterman sum
We refer to [16] and [17,Chapter 11] for detailed discussion of Kloosterman sum on GL(r ). For a tuple of nonzero integers c : If, for m, n ∈ N r −1 and w ∈ W , the compatibility condition holds then the Kloosterman sum attached to m, n and moduli c is defined by where γ = b 1 c * wb 2 denotes its Bruhat decomposition (see [17,Chapter 10]). The following result is due to Friedberg, a proof can be found in [16, p. 175].

Lemma 2.1 Let w ∈ W be any Weyl element. The compatibility condition in the definition of the Kloosterman sum is satisfied only if w is of the form
where I d is the identity matrix of rank d, i.e. S w (m, n; c) is nonzero only for this type of Weyl element.

Bessel distribution
In this subsection we let π to be an abstract generic irreducible representation of G. Let B(π ) be an orthonormal basis of W(π, ψ). We define the Bessel distribution J π attached to π by . We refer to [1,11,31] and references there for general discussions about Bessel functions attached to generic representations.

Lemma 2.2 The RHS of (2.8) is well-defined and does not depend on the choice of the orthonormal basis B(π ). Thus if F is a self-convolution of some f
for B(π ) some orthonormal basis of π .
Proof The first assertion follows from [1, Lemma 23.1, Lemma 23.3]. For the second assertion we see that the RHS of (2.8) is after changing the basis to {π(h)W } W ∈B(π ) , and we conclude.

Pre-Kuznetsov formula
Now we will record a soft version of the Kuznetsov formula for GL(n), as in [11]. Our goal in this subsection is to prove Proposition 2.1.
Recall that dμ aut is the automorphic Plancherel measure onX compatible with the G-invariant measure of X. We fix a test function f ∈ C ∞ c (G). We define F to be the self-convolution of f as in Lemma 2.2. We consider the sum The above sum as a function of x 2 is left -invariant, hence lives in L 2 (X). So we can spectrally decompose the sum as follows.
where B o (π ) is an orthogonal basis of π . For generic π we normalize ϕ ∈ π so that its first Fourier coefficient is 1.
We fix m, n ∈ N r −1 and integrate both sides of (2.9) against ψ m (x 1 )ψ n (x 2 ) over x 1 , x 2 ∈ [N ]. As the non-generic part of the spectrum automatically vanishes, we obtain using (2.5) and (2.4) that (2.10) Here we have identified π with its Whittaker model W(π ) for generic π and B(π ) is an orthonormal basis of W(π ). We replace F in (2.10) by F m,n where F m,n (g) := F(mgñ −1 ).

Using Lemma 2.2 we obtain
We replace F by F m,n in the RHS of (2.10) as well and simplify. Doing a foldingunfolding over the γ -sum and x 1 -integral we obtain the RHS is Note that the identity term in the above sum simplifies to On the other hand, we do a Bruhat decomposition of − N . For γ ∈ w which is the Bruhat cell attached to w ∈ W we write x 2 -integral over [N ] as a product of Again unfolding over the θ -sum and x 2,2 -integral, changing of variables, and recalling the definition of the Kloosterman sum we obtain the summand above corresponding to w ∈ W and c ∈ Z r −1 =0 is Now writing x 2,1 = x 2,1 (c * w) −1 (c * w) ∈ N and using the compatibility condition of the Kloosterman sum we obtain the above equals to S w (m, n; c) Finally, changing variables x 1 →mx 1m −1 and x 2 →ñx 2ñ −1 we obtain the RHS of (2.10) is Here δ w (ñ) is the Jacobian arising from the change of variable x 2 →ñx 2ñ −1 . We define, for F ∈ C ∞ c (G), the function lies in C ∞ c (N \G, ψ). It can be checked that the RHS of (2.11) is absolutely convergent. Thus we obtain a version of the Kuznetsov trace formula. λ π (m)λ π (n) JF (π ) (π ) dμ aut (π ) = δ m=n W F (1) where W F and J F are as in (2.11) and (2.8), respectively.

Auxiliary lemmata and proof of Theorems 1 and 5
We start by recalling an approximate subgroup K 0 (X , τ ) of G, as in [27], where X > 1 tending off to infinity and τ > 0 is sufficiently small but fixed. From here on we will, as usual in analytic number theory, not distinguish between τ and a fixed constant multiple for it.
Here, various |.| denote arbitrary fixed norms on the corresponding spaces of matrices.
Let f X be a smoothened L 1 -normalized non-negative characteristic function of f X and F X be the self-convolution of f X as in Lemma 2.2. We abbreviate J F X and W F X as J X and W X , respectively (see (2.8) and (2.11)).

Lemma 3.1 The function J X as in (2.8) is non-negative.
For π ∈X gen cuspidal if the analytic conductor C(π ) is smaller than X then J X (π ) 1.

Lemma 3.2
Let X > 1 be large enough and τ > 0 be sufficiently small but fixed. Let m, n ∈ N r −1 and x 1 , . . . m r −1 ) 1/r X with sufficiently small constant. From the definition of K 0 (X , τ ) in (3.1) we obtain that the last row of det( Thus |c| τ N /X τ with a sufficiently small implied constant. As coordinates of c are integers for sufficiently small τ we get c = 0, consequently, d = 1, as γ lies in PGL r (Z).

Lemma 3.3 Let m, n, x 1 , x 2 be as in Lemma 3.2. Then
where F X is as defined after (3.1).
Proof From (the proof of) Proposition 2.1 we obtain that Hence, from Lemma 2.1 we conclude that it is enough to consider γ ∈ − N in the Bruhat cell attached to the Weyl elements w of the form which implies that the last row of γ is not of the form (0, . . . , 0, 1). Therefore, from Lemma 3.2 we obtain the support condition thatmx 1 γ x 2ñ −1 / ∈ K 0 (X , τ ) for small enough τ . We conclude by noting that the support of F X is K 0 (X , τ ), which follows from the definition of F X .

Finally noting that
we conclude the proof.

Proof of Theorem 5
Using Lemma 3.1, (2.4), and artificially adding the continuous spectrum we write We open the square above, let M := m 1 , . . . m r −1 for m ∈ N r −1 to obtain the RHS is Thus we can apply Theorem 1 to obtain that We conclude the proof recalling that W X (1) X r −1 from the proof of Theorem 1.

Proof of Theorem 6
In this subsection we change the notation a bit. For n ∈ Z we will denote the Fourier coefficient λ π (n, 1, . . . , 1) by λ π (n). Following lemma is a standard exercise using the approximate functional equation of the L-value. We include the argument for the sake of completeness.
Proof We start by proving approximate functional equation as in [20]. We define Note that, H X (s, π) is holomorphic as (s) > 0 and H X (0, π) = 1. From (2.6) we can write the global functional equation as The estimate in (2.7) implies that

L(1/2 + s, π)H X (s, π)h(s) ds s
where in the last equality we have used the Dirichlet series of L(s, π) as in Sect. 2.3. Here and V 2 has a similar definition. Let C(π ) < X from now on. Thus H X (s, π) X (s)/2 (1 + |s|) O(1) We first claim that the above sums can be truncated at n ≤ X 1/2+ with an error O(X −A ) for all large A. To see that we shift the contour in the defining integral of V 1 to K for some large K > 0. Thus we obtain Consequently, using λ π (n) n c for some fixed c (follow from e.g. [26]), for all large B. We also note that, for > 0 small, But, Thus we obtain that n λ π (n) √ n V 1 (n) = |t| X n X 1/2+ λ π (n) for all large B. We can do similar analysis for V 2 summand. Thus using that |γ ∞ (1/2, π)| = 1 we get Finally, note that Thus doing a Cauchy-Schwarz in the first term of the estimate of |L(1/2, π)| 2 above ,we conclude the proof.

Fourier coefficients for PGL(r)
Multiplicative properties of the Fourier coefficients of automorphic forms for PGL r (Z) can be understood in terms of the standard character theory of SU(r ) by the work of Shintani and Casselman-Shalika. It is known that the irreducible representations of SU(r ) are in bijection with the dominant elements (i.e. elements with non-increasing coordinates) of Z r /Z(1, . . . , 1) which are in bijection with the elements of Z r −1 ≥0 by the map For α ∈ Z r −1 ≥0 , let χ α be the character of the highest weight representation of SU(r ) attached to α, given by a Schur polynomial. The following Lemma, which is a theorem by Shintani and Casselman-Shalika [10,40], gives a formula of the Fourier coefficients of π in terms of the Satake parameters. Lemma 4.1 Let π ∈X gen with Satake parameters μ p (π ) at a finite prime p. Then where λ π is defined in (2.5).
Lemma 4.1 helps to linearize the monomials of Fourier coefficients. By decomposing the tensor product of the highest weight representations in a direct sum of irreducible representations attached to various α we can compute that for any multiindices α (1) , . . . , α (k) ∈ Z r /Z(1, . . . , 1) and nonnegative integers s 1 , . . . , s k we may write for some coefficients c β . Correspondingly, using Lemma 4.1, we get where the sums in the RHS are finite.

Proof of Theorem 3
We follow the proof of [3, Theorem 1]. From [3, Lemma 4] we get that for n > r one has We choose n large enough such that p n X with small enough implied absolute constant (admissible by Theorem 1). Then for θ p (π ) > η we obtain from (4.3) that On the other hand, |λ π ( p n− j , 1, . . . , 1)| 2 .
From Theorem 1 we conclude that the RHS is X r −1−2η+ . 938 S. Jana

Proof of Theorem 4
We recall Conjectures 1 and 2. Throughout this section we will assume these two conjectures. These are also assumptions in the statement of Theorem 4.
We start by recalling the functional equation of L(s, ) as in Sect. 2.3. We write the global L-function . Then (2.6) reads as Let ψ 0 be an entire function with rapid decay in the vertical strips. Using Cauchy's argument principle and the global functional equation we can write Let (s) = 2. We employ the Euler product to obtain that We exchange (2) and p<∞ which is justified by the absolute convergence of the Euler product and the rapid decay of ψ 0 in the vertical direction. We then shift each contour to the vertical line (s) = 1/2. Thus we obtain the RHS of (5.1) We use that the parameters of˜ are complex conjugate of parameters of . Recall the average conductor C ρ,X and the test function ψ from the statement of Theorem 4. We choose This choice is admissible as ψ is (the analytic continuation of) a Fourier transform of a smooth function supported on [−δ, δ]. Then whereψ is the Fourier transform of ψ. Now Langlands functoriality in Conjecture 1 implies that μ ∞ j ( ) are away from the poles of R R (s + μ ∞ j ( )). We use Stirling's estimate for s ∈ iR to obtain R R (1/2 + s + μ) = 1 2 log |1/2 + s + μ| + O(1) = log(1 + |μ|) + O(log(1 + |s|)), uniformly in μ. Thus Doing a similar computation we get

S. Jana
We also define the moment of the Satake parameters by As before, we write zeros of (., ) as 1/2 + iγ and poles as 1/2 + iτ . We rewrite (5.1) to obtain the explicit formula Note that, Langlands functoriality in Conjecture 1 implies that to truncate the last k-sum at k ≤ 2 with an error of O((log X ) −1 ). Finally, summing over the spectrum π ∈X gen in (5.2) with the weight J X (π ) (π ) we obtain an expression for 1-level zero density statistic The error bound follows from Theorem 1.
Proof We have, where ν is the diagonal matrix in SL r (C) with entries ν are the Satake parameters of π at p, and χ θ is the character of the highest weight representation of SU(r ) attached to θ . Any symmetric polynomial in {ν j } j can be written as a finite linear combination of characters attached to the highest weight representations (the Schur polynomials), evaluated at {ν j } j . Thus where γ runs over dominant elements in Z r /Z(1, . . . , 1). We write every weight γ := (γ 1 , . . . , γ r ) appearing in the above equation in (γ 1 −γ r , . . . , γ r −1 −γ r , 0) ∈ Z r ≥0 . The lexicographically highest weight of the polynomial expression in the LHS is clearly k(θ 1 − θ r , . . . , θ r −1 − θ r , 0). By comparing the highest weights in the polynomial expansion of the both sides we can rewrite the last display as We calculate the summand corresponding to the zero weight using orthogonality of characters of SU(r ) with respect to its probability Haar measure: Thus, clearly c 0 (1, θ) = 0 and c 0 (2, θ) = s(ρ). We conclude the proof writing α = ι(γ ) and the relation between λ and χ as in Lemma 4.1.

Lemma 5.2
Let ψ, ρ, θ be as in Theorem 4 and c 0 (k, θ) as in Lemma 5.1. Then as X tends off to infinity.
Proof The summand for k = 1 vanishes by Lemma 5.1. Employing the value of c 0 (2, θ) from Lemma 5.1 thus it will be enough to show that 1 log C ρ,X p<∞ log p pψ as changing log p to − log p in the entry ofψ the main term in the RHS above would be 0 −∞ψ (t)dt. Adding these two main terms we obtain ∞ −∞ψ (t)dt = ψ(0), as required.
Let (x) := n≤x (n) be the Chebyshev's function where is the Von Mangoldt function (not to be confused with the completed L-function ). A strong form of the prime number theorem implies that We write the sum as a Stieltjes integral, x .
Doing an integration by parts and a change of variable the RHS of the above can be written as This can be easily checked to be equal to hence the claim follows.

Proof of Theorem 4
We calculate the RHS of (5.3). Using Lemma 5.1 we write If p k(θ 1 −θ r ) = o(X ) then using Theorem 1 we conclude the second summand in the RHS above vanishes. However,ψ is supported on [−δ, δ]. Conjecture 2 and the size of δ as in the statement of Theorem 4 imply that Hence the second summand in the RHS of (5.3) is Doing a similar analysis with with the third summand in the RHS of (5.3) we conclude We conclude the proof employing Lemma 5.2.

Remark 6
We expand the remark after Theorem 4 that D pole is typically negligible. It follows from the following conjecture, as in [39,Hypothesis 11.2] (also see the comment afterwards), that (., ρ * π) is entire for almost all π . Quantitatively, we conjecture the following weighted version.

Conjecture 3
Let P denote the characteristic function onX gen such that (s, ρ * π) has a pole in the critical strip. Then for some η(ρ) > 0.
Note that, because of the Langlands functoriality in Conjecture 1 it makes sense to talk about the poles of (., ρ * π). Conjecture 3 is most likely true. In fact, if ρ is the standard representation, we know that (s, π) will have a pole only if π is noncuspidal. A standard Weyl law for non-cuspidal spectrum of G supports Conjecture 3.
Thus, if we further assume Conjecture 3 then the assertion of Theorem 4 can be rewritten as

The orthogonality conjecture over a cuspidal spectrum
We give a variant of Theorem 1 (that is, the conjecture in (1.2)) over a cuspidal spectrum as discussed in Remark 1. We also mention that a similar technique may be applied to prove a variant of Theorem 2 over a cuspidal spectrum. In this section we will work in the S-arithmetic setting. We fix p to be a fixed finite prime. We redefine our notations. Let G := PGL r (R) × PGL r (Q p ), := PGL r (Z[1/ p]) diagonally embedded in G, and X := \G. The strong approximation theorem on G implies that where A is the ring of adeles over Q. For any irreducible automorphic representation π of G let π p and π ∞ be p-adic and infinite components of π , respectively.
Let N be the unipotent subgroup in G and ψ m : is an additive character on N , where ψ m,∞ is defined as in (2.1) and ψ ., p is induced similarly from an unramified character ψ 0 of Q p . We abbreviate ψ v = ψ m,v for m = (1, . . . , 1), v = p, ∞.
We can realize a Whittaker model W(π ∞ , ψ ∞ ) of π ∞ . We define J F (π ∞ ) (similarly, J F X (π ∞ ) = J X (π ∞ ) for F = F X as defined after (3.1)) similarly as in (2.8). J X , as usual, enjoys similar property as in Lemma 3.1. We also define W F (similarly, W F X = W X for F = F X ) as in (2.11) with respect to the additive character ψ ∞ of N (R). We provide a similar orthogonality statement as in Theorem 1 varying only over the cusp forms, as follows.
where p is the p-adic -factor, W X (1) X r −1 and L ( p) denotes the partial Lfunction excluding the Euler factor at p.

Proof of Theorem 7
As before, for a subgroup H < G we define H := ∩ H . For a generic irreducible unitary automorphic representation π ∈X gen and a factorizable ϕ ∈ π we may attach a Whittaker function W ϕ := W ϕ, p W ϕ,∞ to ϕ.
[N ] where m p and m o are the p-adic part and the p-coprime part ofm, respectively. 2 and (π ) L ( p) (1, π, Ad) with an absolute implied constant, if π is cuspidal. Let σ be a supercuspidal representation of PGL r (Q p ) with conductor exponent of σ being fixed. A particular choice of σ will be fixed in the next section. Let σ be the matrix coefficient of σ as defined in (6.7). Also recall F X , a smoothened L 1 -normalized characteristic function of K 0 (X , τ ) as in (3.1) and the discussion afterwards. Then a very similar argument as in the proof of Proposition 2.1 would yield where, similar to (2.8) for some orthonormal basis of B(π p ) of π p . Similarly, as in (2.11) we define 3
We first prove following lemma about a Fourier transform of the matrix coefficient to prepare the proof of Proposition 6.1. The following lemma appeared for GL 2 (Q p ) in [37,Lemma 3.5], also in [34, Lemma 3.4.2]. Lemma 6.1 Let σ be the matrix coefficient defined above. Then N (Q p ) σ (ng)ψ p (n)dn = W 0 (g)W 0 (1).
Proof As σ is supercuspidal σ is compactly supported in PGL r (Q p ). Thus the integral is absolutely convergent. Clearly it is enough to prove that for W 1 , W 2 ∈ W(σ, ψ p ).
We write n = I r −1 x 1 u 1 for u ∈ N r −1 (Q p ) and x ∈ Q r −1 p . Correspondingly, we write dn = dudx, and ψ p (n) = ψ p (u)ψ 0 (e r −1 x), where e r −1 is the row vector (0, . . . , 0, 1) and ψ p (u) (denoted with an abuse of notation) is the restriction of ψ p on N r −1 (Q p ). We use unipotent equivariance of W 1 to re-write the last integral as By Fourier inversion the inner-most integral evaluates to δ e r −1 h=e r −1 (as a distribution) and thus we can re-write the above as Proceeding similarly with the u-integral and inducting on r we conclude the proof.
We record that W 0 is compactly supported in PGL r (Q p ) mod N (Q p ) [10, Corollary 6.5]. This fact will be used below. where is the local -factor. Proof Let P be the maximal parabolic, attached to the partition r = (r − 1) + 1 in PGL(r ). Let be the characteristic function of Z r p . We define a function on PGL r (Q p ) by which is defined for (s) > 0 and then can be meromorphically continued. Clearly, f s, is spherical (i.e. PGL r (Z p ) invariant) and We use the PGL(r ) × PGL(r ) local functional equation as in [25,2.5 Theorem] to obtain |W 0 (g)| 2 f 1−s,ˆ (g)dg, (6.8) whereW 0 is the contragredient of W 0 andˆ is the Fourier transform of , which also equals to . Here the local γ -factor using (6.6) can be written as where denote the local -factor which is entire as a function of s. We first look at the integral in the RHS of (6.8). Using Iwasawa decomposition we write N (Q p )\PGL r (Q p ) g = a 1 k where a ∈ A r −1 (Q p ) the subgroup of the diagonal matrices in GL r −1 (Q p ) and k ∈ PGL r (Z p ). Correspondingly, we write dk, d × a := d × a i , a := diag(a 1 , . . . , a r −1 ).
For W ∈ W(π p , ψ p ) we consider the GL r (Q p )-invariant pairing between π p and σ by N (Q p )\PGL r (Q p ) W (g)W 0 (g)dg, (6.10) where dg is the projection of the Haar measure on GL r (Q p ). Note that the integral in (6.10) is absolutely convergent as W 0 is compactly supported in the domain of the integration. Schur's lemma implies that (6.10) is non-zero only if π p ∼ = σ and if π p ∼ = σ then (6.10) is proportional to the invariant unitary product in σ given by Recalling (6.4) and folding the PGL r integral over N we can write Using Lemma 6.1 we obtain Hence J σ (π p ) = 0 if π p is not isomorphic to σ , and if π p = σ , choosing an orthonormal basis B(σ ) W 0 we obtain We conclude the proof using Lemma 6.2.

Proof of Theorem 7
We apply (6.3) for m, n coprime with p. A similar argument as in Theorem 1 would imply that all terms in the geometric side of (6.3) corresponding to non-trivial Weyl terms will vanish. We conclude the proof after applying Lemma 6.1.