˘ VORONOI SUMMATION FOR GLn: COLLUSION BETWEEN LEVEL AND MODULUS ANDREW CORBETT Abstract. We investigate the Vorono˘ısummation problem for GLn in the level aspect for n ≥ 2. Of particular interest are those primes at which the level and modulus are jointly ramified – a common occurrence in analytic number theory when using techniques such as the Petersson trace formula. Building on previous legacies, our formula stands as the most general of its kind; in particular we extend the results of Ichino–Templier [18]. We also give (classical) refinements of our formula and study the p-adic generalisations of the Hankel transform. Contents 1. Developments in the Vorono˘ısummation problem for GLn 1 2. Background representation theory and notation 6 3. Vorono˘ısummation via the Whittaker model 10 4. Explicit Bessel transforms 18 5. A classical formulation 24 References 31 1. Developments in the Vorono˘ı summation problem for GLn The Vorono˘ısummation formula for GLn with n ≥ 2 is a relative of the Poisson summation formula, which describes the n = 1 case. The formula itself expresses a sum of additively twisted Fourier coefficients of automorphic forms on GLn in terms of a sum over corresponding dual terms. The beauty of this transformation is that the dual side exhibits cancellation in the original summation by redistributing the weight of the summation. This structural shift is intrinsically tied to the functional arXiv:1807.00716v1 [math.NT] 2 Jul 2018 equation of GLn × GL1-L-functions. The Vorono˘ısummation formula is an essential tool in the analytic theory of automorphic forms. It features critically in the study of moments of L-functions and subconvexity results [1, 25] but also in more esoteric problems, such as reci- procity formulae for spectral averages [4–6] and bounding norms of automorphic forms [3,7]. Vorono˘ıhimself [34] constructed the first such prototype formulae with Date: 1st July 2018. 1 ˘ VORONOI SUMMATION FOR GLn 2 the motivation of giving beyond trivial bounds for the error terms in Dirichlet’s divisor problem and Gauß’ circle problem.1 Despite the ubiquity of the Vorono˘ısummation formula, full generality in the level aspect has previously not been addressed: this is the goal of the present work. Our results describe such general summation formulae from two perspectives: (i) A precise Vorono˘ısummation formula for GLn in the most general setting, in particular allowing the level and modulus to ramify jointly. See Theorem 1.1 for sums of Hecke eigenvalues and Theorem 3.4 for Whittaker functions. (ii) We give two refinements of Theorem 1.1: the first describes a convenient choice of test vector at which we explicate the Bessel transform; the second determines a sum in an arithmetic progression. See Corollaries 1.4 & 1.6. Miller–Schmid [27] prove the level N = 1 case of our formula in Theorem 1.1 without non-archimedean test functions. They attribute the difficulty of the level aspect to the lack of understanding of Atkin–Lehner theory for GLn-automorphic forms when n> 2. One naturally understands new and old forms as vectors which are respectively fixed by a filtration of compact open subgroups. Our solution to this problem is to understand the corresponding dual sum- mands locally, via a p-adic transform derived from the local functional equation for GLn × GL1 at primes p dividing the level. Our formulae in (i) describe a gen- eral choice of vector in such transforms. We go on to give a prototype result for a particular choice of vector in (ii). This allows one to study the Fourier coefficients away from the level in a more refined and aesthetic way. 1.1. A general classical formula. An automorphic form f on SLn(R), or rather on the adele group GLn(AQ), naturally generates an automorphic representation of GLn(AQ), which we denote by πf = ⊗vπv. If such a form is a so-called newform then the associated representation is irreducible. In this work we consider Maaß cusp forms on SLn(R) of level N ≥ 1; these are 2 the eigenvectors in L (Γ1(N)\ SLn(R)) of the generalised Laplacian whose con- stant terms are zero. If truth be told, we study just the Fourier coefficients n−1 Af : Z → C, as given in Definition 5.1. The normalisation of these Fourier coefficients coincides with Goldfeld’s [16, p. 260, (9.1.2)]. For example, at least when the entries of Af are prime to N, they are the Hecke eigenvalues of f realised as a product of Schur polynomials in the Satake parameters of πf ; see Lemma 5.1. ε The Ramanujan conjecture predicts that Af (m1,...,mn−1) ≪ (m1 ··· mn−1) . As we consider only cusp forms, we have Af (m1,...,mn−1)=0 for m1 ··· mn−1 = 0. 2 Let χ be a (Dirichlet) character modulo N. For f ∈ L (Γ1(N)\ SLn(R)) we say that f has character χ if and only if f(γg)= χ(γn,n)f(g) 1We recommend the historical account of Miller–Schmid [26] who describe how the original results of Vorono˘ıare related to the summation formulae of the present day. ˘ VORONOI SUMMATION FOR GLn 3 for all γ =(γi,j) ∈ SLn(Z) such that γn,i ≡ 0 (mod N) for 1 ≤ i ≤ n − 1. Without loss of generality, we always assume this property of f.2 Moreover, χ determines the parity of f: f is even, or respectively odd, if and only if χ is. Theorem 1.1. Let N ≥ 1 be an integer and χ a Dirichlet character modulo N. 2 For n ≥ 2 let f ∈ L (Γ1(N)\ SLn(R)) be a Maaß cusp form with character χ and assume that f is Hecke eigenform at each prime p ∤ N. Let M ≥ 1 be an integer ∞ × ∞ × and for each p | M choose some φp ∈ Cc (Qp ); also pick φ∞ ∈ Cc (R ). Let n−2 c := (c2,...,cn−1) ∈ Z such that (c2 ··· cn−1, MN)=1. For a, ℓ, q ∈ Z with a =6 0, ℓ, q ≥ 1, (a, ℓq)=(q,NM)=1 and ℓ | (NM)∞ we have the following Vorono˘ısummation formula: n−1 am Af (m, c2,...,cn−1) i n−2 (n−i)( 2 −1) e n−1 φ∞(m) φp(m)= q |ci| × ℓq 2 |m| i=2 mX∈Z=06 pY|M Y −1 qc2 ··· cn−1 ··· KL aλℓℓr, m; q,c,d χ m¯ qc c qc ···c dn−1 ··· d2 m,r∈Z=06 dn−1|qc2 2 3 2 n−1 dn−2| d d2| (m,MNX)=1 X Xn−1 dXn−1···d3 r|(MN)∞ n−1 i n−1 i Af (dn−1,...,d2, m) rm di rm di × i(n−i) Bπ∞,φ∞ B a/ℓq n−1 n n−i πp,Φp n n−i n−1 2 λℓq c λℓq c |m| 2 d i=2 i ! p|MN i=2 i ! i=2 i Y Y Y n−1 n where λℓ := [Qℓ, N]ℓ L with L denoting the largest square-free integer dividing MN and [ℓ, N] := lcm(ℓ, N); we fix inverses aa¯ ≡ λℓλ¯ℓ ≡ 1 (mod q) and mm¯ ≡ 1 (mod N); the (n − 1)-dimensional Kloosterman sum is defined by n−1 xd α KL(x, y; q,c,d) = e (−1)n n−1 n−1 × q j=2 qc2···cn−j+1 X αj ∈ Z/ dX···d Z n−1 i (1) dn−2αn−2α¯n−1 d2α2α¯3 yα¯2 × e qc2 ··· e qc2···cn−2 e qc2···cn−1 dn−1 ! dn−1···d3 ! dn−1···d2 ! for x, y ∈ Z and d := (d2,...,dn−1); and the functions Bπ∞,φ∞ and B a/ℓq are πp,Φp a/ℓq given explicitly in (26) and (27), respectively, whilst Φp is defined in (19). The proof of Theorem 1.1 is detailed in §5.6. It is a specialisation of our more general summation formula in Theorem 3.4. × Remark 1.2 (The p-adic Bessel transforms). The functions B a/ℓq on Q are πp,Φp p crucial as they allow the explicit evaluation of the dual terms in the Vorono˘ıformula 2To avoid confusion, note that traditionally authors speak of f having character χ with respect to the group Γ0(N), which is precisely the inference in the present article. ˘ VORONOI SUMMATION FOR GLn 4 at primes p | N. In this work we explicate these transforms. For particular choices of f, we show they are proportional to sums of twists of GLn-root numbers when the the level N and modulus ℓ are jointly ramified (ℓ, N) > 1; see Corollary 1.4. n−1 n • The term λℓ = [ℓ, N]ℓ L is determined by a generic support condi- tion Proposition, 4.5, for B a/ℓq . In special cases, this term and the πp,Φp r | (MN)∞-sum may be greatly improved; see Corollary 1.4. • Upper bounds are sensitive to the test functions φp and the local repre- sentation πp attached to πp. We shall see that the size of the functions B a/ℓq is related to sums of twisted GLn-epsilon constants. πp,Φp Remark 1.3 (The real Bessel transforms). If one chooses the support of φ∞ to be contained in R>0 then Kowalski–Ricotta [24, Prop. 3.5] show that for any A > 0 −A we have Bπ∞,φ∞ (y) ≪ y . (See Proposition 4.3 for further details.) 1.2. Refined summation formulae. Here we consider a certain family of Maaß forms f by placing assumptions upon the local representations of πf = ⊗vπv at primes v = p for which p | N.