Abstract
We consider the Fourier expansion of a Hecke (resp. Hecke–Maaß) cusp form of general level N at the various cusps of \(\Gamma _{0}(N)\backslash \mathbb {H}\). We explain how to compute these coefficients via the local theory of p-adic Whittaker functions and establish a classical Voronoï summation formula allowing an arbitrary additive twist. Our discussion has applications to bounding sums of Fourier coefficients and understanding the (generalised) Atkin–Lehner relations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The purpose of this note is to prove two formulae. The first, a Voronoï-type summation formula, relating additively twisted Fourier coefficients of a cuspidal Hecke eigenform f to a dual sum of coefficients at another cusp, related to the original twist. Secondly, we give an explicit formula for the Fourier coefficients f at an arbitrary cusp. As applications, we prove upper bounds for sums of Fourier coefficients and we revise the classical Atkin–Lehner relations in a p-adic setting.
Whilst similar formulae are, in certain settings, well known, we provide a perspective here that links the two fundamentally and lays bare the mechanics behind additive twists and switching cusps. That perspective is derived from noting that classical Fourier coefficients are special values of p-adic Whittaker functions on \({\text {GL}}_{2}(\mathbb {Q}_{p})\). In that vein, we intend the following exposition to serve pedagogically as a reference for the analysis of classical Fourier coefficients with adelic machinery.
For the remainder of this introduction we detail our main results for a holomorphic cusp form \(f(z)=\sum _{n\ge 1}a_{f}(n)e(nz)\) of level \(N\in \mathbb {N}\), weight \(k\in 2\mathbb {N}\) and nebentypus \(\chi \); see Proposition 4.1 and Corollary 6.3 below where the case of Maaß forms is included. Fix a modulus \(q\in \mathbb {N}\) for the additive character \(n\mapsto e(an/q)\) where \((a,q\delta (a))=1\). Then for a Bruhat–Schwartz function \(F:\mathbb {R}_{>0}\rightarrow \mathbb {C}\) we prove
where \({\mathcal {H}}_f F\) is the Hankel transform of F [see (38) and (39) below] and \(a_{f}(n;{\mathfrak {a}})\) denotes the n-th Fourier coefficient of f at the cusp \({\mathfrak {a}}=a/q\) of (extended) cusp width \(\delta ({\mathfrak {a}})\), as defined in (8). Formula (1) constitutes one case of Corollary 6.3 given later.
Many of the technicalities in evaluating such formulae explicitly, in terms of the coefficients \(a_{f}(n)\), are buried inside the coefficients \(a_{f}(n;{\mathfrak {a}})\), bringing us to our second result, formally given in Proposition 4.1. Write \(n_1 = \prod _{p\mid N}p^{n_p}\) for some \(n_p\ge 0\) and \(n_0\in \mathbb {N}\) with \((n_0,N)=1\). Then at the cusp \({\mathfrak {a}}=a/q\) for some \(q\mid N\) we have
where \(W_p\) is the p-th component of the global Whittaker function associated to f (see (24) below), its matrix argument is given in Proposition 4.1; \(\omega _{\chi ,p}\) is the p-th component of the Hecke-character associated to \(\chi \); and \(\Omega _{\chi ,q,\delta ({\mathfrak {a}})}\in \mathbb {C}_{|{z}|=1}\) is defined in (33) and in particular satisfies \({\Omega _{\chi ,q,\delta ({\mathfrak {a}})}}=1\) whenever \(\chi = 1\) or \(q=1\). By the results of [1], one may evaluate the local factors at \(p\mid n_1\) explicitly. Furthermore, combining (2) with (1) we thus obtain a general Voronoï summation formula for \({\text {GL}}_{2}\) in the N-q aspect.
Remark 1.1
Formula (2) implies the well known phenomenon that the Fourier coefficients \(a_f(n;{\mathfrak {a}})\) in general are not multiplicative objects. Moreover, due to the possible large values of \(W_{p}\), derived in [1], the coefficients \(a_f(n;{\mathfrak {a}})\) can be quite large in terms of the level N.
We are able to give some novelty results as immediate corollaries to (2). For example, in Corollary 4.4 we compute the bound
Another application of (2) is to derive an adelic approach to the classical Atkin–Lehner relations. We will see in Sect. 5 that, via (2), the Atkin–Lehner involution arises naturally through local matrix identities. The corresponding identities relating Fourier coefficients at different cusps arise from several functional equations of the local Whittaker functions \(W_p\).
Remark 1.2
Such formulae as (1) and (2) are naturally sensitive to the inducing information that determines the local representation attached to f at p. Hence a Voronoï formula is inherently non-uniform in the N-q aspect outside the extreme cases \((N,q)=1\) and \(N\mid q\), where the local representations do not interact. We remark that our formula trivially agrees with the ‘go-to’ reference [13, Sect. A] in such extreme cases (see Corollaries 6.5 and 6.6). Uniformity may nonetheless be recovered should one concede to looking at families of fixed (or restricted) representation type at p, in which case such a general Voronoï formula is quickly derived from the formulae given in [1], in conjunction with (1) and (2).
Remark 1.3
Our approach towards Voronoï summation does not directly rely on the functional equation of Dirichlet series. Instead it can be explained in terms of a strong Gelfand formation. (See [16] for discussion on strong Gelfand formations.) The sides of the formation are formed by the inclusions \(\{1\}\subset N \subset {\text {GL}}_{2}\) and \(\{1\} \subset wNw^{-1} \subset {\text {GL}}_2\) where N is the unipotent subgroup of \({\text {GL}}_{2}\). Each inclusion comes with the strong multiplicity-one property. This enables one to expand the trivial period
for an automorphic representation \(\pi \) of \({\text {GL}}_{2}\), in terms of well chosen model periods in the intermediate \({\text {Hom}}\)-spaces; one wall of the Gelfand formation of course gives rise to the Whittaker model. The equality arising from equating the expansions coming from each side determines the functional equation for a general Voronoï-type formula in the representation theoretic setting. Classically, this can be thought of as swapping from the Fourier expansion of a cusp form at \(\infty \) to the Fourier expansion at 0. This is because the group N (resp. \(wNw^{-1}\)) corresponds to the stabiliser of \(\infty \) (resp. 0). We make this remark precise in Theorem 6.2.
1.1 Common notation
Put \(e(z):=e^{2\pi i z}\) for \(z\in \mathbb {C}\). If \(g=\left( {\begin{matrix} a&{}b\\ c&{}d \end{matrix}}\right) \in {\text {GL}}_{2}(\mathbb {C})\) we write \(gz=\frac{az+b}{cz+d}\) and \(j(g,z)=cz+d\). If moreover \(g\in {\text {SL}}_{2}(\mathbb {Z})\) then, by convention, a Dirichlet character \(\chi \) defines a function \(\chi (g):=\chi (d)\). Let (a, b) and [a, b] denote the greatest common divisor and the least common multiple of \(a,b\in \mathbb {N}\), respectively. Additionally, if \(c\in \mathbb {N}\) let \([a,b,c]:=[a,[b,c]]=[[a,b],c]\). We write \(a\mid b^{\infty }\) to denote that there exists a \(k\in \mathbb {N}\) such that \(a\mid b^{k}\); similarly we let \((a,b^{\infty }):=\max _{k\ge 1}(a,b^{k})\). We let \(\lfloor y \rfloor \) and \(\lceil y \rceil \) denote the floor and ceiling of \(y\in \mathbb {R}\). The p-adic valuation of \(x\in \mathbb {Q}_{p}\) is denoted by \(v_p(x)\). If A is a logical assertion, we use Dirac’s symbol \(\delta (A)\) to denote a 1 if A is true and a 0 otherwise.
2 Classical Fourier expansions at the cusps of \(\Gamma _0(N)\backslash \mathbb {H}\)
2.1 Classical newforms
The results of this work apply specifically to newforms on \(\Gamma _0(N)\backslash \mathbb {H}\) which vanish in the cusps. These may come from either the world of Maaß forms or holomorphic modular forms.Footnote 1 We introduce notation here to deal with both of these cases. From a pedagogical perspective, much of the theory we introduce in this section and the next applies more generally, without the assumptions that the form is new or indeed cuspidal [4, 8]. We shall uniformly refer to a function \(f:\mathbb {H}\rightarrow \mathbb {C}\) as a cuspidal newform of weight \(k\in \mathbb {Z}_{\ge 0}\) if f falls into one of the following two categories:
-
Cuspidal holomorphic Hecke newforms, in which case \(k>0\).
-
Cuspidal Hecke–Maaß newforms of weight \(k=0\). In this case fix \(m\in \{0,1\}\) such that \(f(-{\overline{z}})=(-1)^{m}f(z)\) and \(\lambda _f=\frac{1}{4}+t_f^2\), the (Laplace) eigenvalue of \(\Delta :=-y^2(\frac{\partial ^2}{\partial x^2} + \frac{\partial ^2}{\partial y^2})\) for which \(\Delta f= \lambda _f f\).
We additionally assume the normalisation of (6). We consider such a cuspidal newform f as fixed throughout our exposition. For a Dirichlet character of conductor M with \(M\mid N\), we say that a newform f has level N and nebentypus \(\chi \) if for each \(\gamma \in \Gamma _{0}(N)\) the weight k modular identity holds:
where we apply the usual definitions such that for, \(g=\left( {\begin{matrix} a&{}b\\ c&{}d \end{matrix}}\right) \!\in \!{\text {GL}}_{2}(\mathbb {R})\) with \(\det (g)\!>\!0\), we have \((f\vert _{k}g)(z):=\deg (g)^{k/2}(cz+d)^{-k}f(gz)\) where \(gz:=\frac{az+b}{cz+d}\), and when moreover \(g\in {\text {SL}}_{2}(\mathbb {Z})\) then \(\chi (g):=\chi (d)\). In particular, for \(f\ne 0\) we further impose that \(\chi (-1)=(-1)^{k}\).
We are able to speak of both genres of newform in the same breath by introducing the notation
Since \(\left( {\begin{matrix} 1&{}1\\ 0&{}1 \end{matrix}}\right) \in \Gamma _{0}(N)\) for any \(N\ge 1\), we have in particular that \(f(z+1)=f(z)\) by (3). Then with the specialist notation in (4), we deduce the usual Fourier expansion for f (at the cusp \(\infty \))
the cuspidal condition implying \(a_f(0)=0\). Without loss in generality we assume the normalisation
Then the Hecke eigenvalues of f, denoted by \(\lambda _f(n)\), satisfy \(a_f(n)=\lambda _f(n)n^{\frac{k-1}{2}}\).
2.2 The cusps of \(\Gamma _{0}(N)\backslash \mathbb {H}\)
A detailed account of the construction of the cusps of the Riemann surface \(\Gamma _{0}(N)\backslash \mathbb {H}\) is given in [14, Sect. 3.4.1], to which we refer. We denote this set of cusps by \({\mathcal {C}}(N)\); that is, the set of boundary points of \(\mathbb {H}\) (modulo the left Möbius action of \(\Gamma _{0}(N)\)) that are stabilised by a non-scalar element of \(\Gamma _{0}(N)\), or simply \({\mathcal {C}}(N)=\Gamma _{0}(N)\backslash \mathbb {P}^{1}(\mathbb {Q})\). Indeed, \({\text {SL}}_{2}(\mathbb {Z})\) acts transitively on \(\mathbb {P}^{1}(\mathbb {Q})\) and the stabiliser of the point \(\infty =[1:0]\in \mathbb {P}^{1}(\mathbb {Q})\) is \(\Gamma _{\infty }=\{\pm \left( {\begin{matrix} 1&{}n\\ 0&{}1 \end{matrix}}\right) : n\in \mathbb {Z}\}\). Thus \({\mathcal {C}}(N)\) is identified with \(\Gamma _{0}(N)\backslash {\text {SL}}_{2}(\mathbb {Z})/\Gamma _{\infty }\) as a left \(\Gamma _{0}(N)\)-set. We write its elements as \({\mathfrak {a}}=\sigma ^{-1}\infty \) for a choice of representatives \(\{\sigma \}\) of \({\mathcal {C}}(N)\).
On the other hand, there is a (transitive) right action of \({\text {SL}}_{2}(\mathbb {Z})\) on \(\mathbb {P}^{1}(\mathbb {Z}/ N\mathbb {Z})\) which, as in [14, Sect. 3.4.1], may be used to parameterise the set of cusps by classes \([q:d]\in \mathbb {P}^{1}(\mathbb {Z}/ N\mathbb {Z})\) such that \(q\mid N\) and \(d\in (\mathbb {Z}/(q, N/q)\mathbb {Z})^{\times }\). From this perspective one refers to [q : d] as the “fraction” d/q and calls q the denominator of the cusp. It follows that the number of cusps of denominator q is \(\phi ((q,N/q))\) and furthermore \(\#{\mathcal {C}}(N)=\sum _{q\mid N}\phi ((q,N/q))\). In this description, the cusp \({\mathfrak {a}}=\infty \) corresponds to [0 : 1] and is the unique cusp of denominator N.
To summarise these constructions, any cusp \({\mathfrak {a}}\in {\mathcal {C}}(N)\) may be identified by an element
such that \(\sigma {\mathfrak {a}}=\infty \). Then the cusp \({\mathfrak {a}}\) has denominator q; it corresponds to the class \([q:d]\in \mathbb {P}^{1}(\mathbb {Z}/ N\mathbb {Z})\) (as above); and if \(\sigma \not \equiv 1\in \Gamma _{0}(N)\backslash {\text {SL}}_{2}(\mathbb {Z})/\Gamma _{\infty }\) then \({\mathfrak {a}}\) is equal to the rational cusp \(a/q\in \mathbb {P}^{1}(\mathbb {Q})\) where \((a,N)=1\) and \(ad\equiv 1 \ ({\text {mod}}\ (q,N/q))\).
The width of a cusp \({\mathfrak {a}}\in {\mathcal {C}}(N)\) is defined to be \(w({\mathfrak {a}})=[\Gamma _{\infty }:\Gamma _{\infty }\cap \sigma \Gamma _{0}(N)\sigma ^{-1}]\) where \(\sigma \in \Gamma _{0}(N)\backslash {\text {SL}}_{2}(\mathbb {Z})/\Gamma _{\infty }\) satisfies \(\sigma {\mathfrak {a}}=\infty \). Equivalently, a more tactile definition may be given by noting that \(w({\mathfrak {a}})\) is the least integer \(n\ge 1\) such that the stabiliser of \({\mathfrak {a}}\in \mathbb {P}^{1}(\mathbb {Q})\), under the left action of \({\text {SL}}_{2}(\mathbb {Z})\), contains \(\left( {\begin{matrix}1&{}n\\ 0&{}1\end{matrix}}\right) \). In fact, one may compute the width precisely as \(w({\mathfrak {a}})=N/(q^{2},N)\), or equivalently \(w({\mathfrak {a}})=[q^{2},N]/q^{2}\) (see [14, Sect. 3.4.1]).
Later on it shall be handy to take any fraction a/q with \((a,q)=1\) and consider the equivalence class defining the cusp \({\mathfrak {a}}\). This relates to our notion above as follows: with \(\sigma ^{-1}\) as in (7), let \(r,s\in \mathbb {Z}\) such that \(qr+Nds = (q,N)\) and rescale \(\sigma \) so that
Replacing the coefficient ar by its unique minimal representative \(a'\ge 0\) modulo (q, N), another representative of the cusp \({\mathfrak {a}}\) is then \(a'/(q,N)\), the upshot being that the latter has denominator dividing N.
2.3 The classical Fourier expansion at an arbitrary cusp
For a cusp \({\mathfrak {a}}\in {\mathcal {C}}(N)\), pick a representative \(\sigma \in {\text {SL}}_{2}(\mathbb {Z})\) such that \(\sigma {\mathfrak {a}}=\infty \). The expansion of f about \({\mathfrak {a}}\) is given by the expansion of \(f\vert _{k}\sigma ^{-1}\) at the cusp \(\infty \). If the nebentypus were trivial, \(\chi =1\), then \(f\vert _{k}\sigma ^{-1}\) would be periodic on vertical strips of width \(w({\mathfrak {a}})\) in \(\mathbb {H}\). However, to account for general characters of conductor \(M\mid N\), we introduce the extended width
As with \(w({\mathfrak {a}})\), the extended width only depends on the equivalence class of \({\mathfrak {a}}\). Suppose that \(\sigma =\left( {\begin{matrix} d&{}-b\\ -q&{}a \end{matrix}}\right) \); that is, \({\mathfrak {a}}=\sigma ^{-1}\infty \) corresponds to the cusp a/q as described in § 2.2. Then we have
for each \(t\in \mathbb {Z}\). A few applications of the modular identity (3) imply that
As the conductor of \(\chi \) is M we see that \(\chi (1- aqw({\mathfrak {a}})t)=1\) if and only if \(M\mid qw({\mathfrak {a}})t\), or equivalently, \(\frac{M}{(qw({\mathfrak {a}}),M)}\mid t.\) Hence, our definition of \(\delta ({\mathfrak {a}})\) is justified in that it is the minimally chosen positive integer satisfying the periodicity relation
The resulting Fourier expansion f at the cusp \({\mathfrak {a}}\) is of the form
(One may refer to [9, Theorems 3.4.1 and 3.7.4] for both the holomorphic and Maaß cases, respectively.)
When \({\mathfrak {a}}=\infty \) we recover the familiar coefficients \(a_{f}(n;{\mathfrak {a}})=a_{f}(n)\); however, unlike \(a_{f}(n)\), the coefficients \(a_{f}(n;{\mathfrak {a}})\) are not multiplicative in general (the reason for this can be found in Section 4.2 below). We refer to f as a cusp form whenever its constant terms vanish, \(a_{f}(0;{\mathfrak {a}})=0\), with respect to each \({\mathfrak {a}}\in {\mathcal {C}}(N)\). By definition, if f is holomorphic then its Laurent expansion contains no negatively indexed terms: \(a_{f}(n;{\mathfrak {a}})=0\) for all \(n<0\).
Remark 2.1
Note that \(\delta ({\mathfrak {a}})=w({\mathfrak {a}})\) whenever the conductor M is sufficiently small; for example, if \(M\mid N_{1}\) where \(N_{1}\) is the smallest integer such that \(N\mid N_{1}^{2}\). On the other hand, if q is sufficiently square-full above its prime divisors then \(\delta ({\mathfrak {a}})=w({\mathfrak {a}})\), likewise. As with \(w({\mathfrak {a}})\), the extended width depends only on (q, N) as can be seen from \(\delta ({\mathfrak {a}})=w({\mathfrak {a}})\frac{M}{(qw({\mathfrak {a}}),M)}\) and the fact that \((M\mid N)\).
Finally, suppose we wish to choose a different representative \(\tau \) satisfying \(\tau {\mathfrak {a}}=\infty \). This includes representing \({\mathfrak {a}}\) by a different fraction without necessarily asking for the numerator and denominator to be coprime. Then \(\tau ^{-1}= \left( {\begin{matrix} 1 &{} m \\ &{} 1 \end{matrix}}\right) {\sigma }^{-1}\gamma \) for some \(m\in \mathbb {Z}\) and \(\gamma \in \Gamma _0(N)\). Applying (3) we obtain
This shows explicitly that replacing the matrix \(\sigma \) by an equivalent one \(\tau \) only skews the Fourier coefficients by the root of unity \(\chi (\gamma ) e(nm/\delta ({\mathfrak {a}}))\).
3 Whittaker–Fourier expansions and adele groups
In this section we take an expository route to give explicit realisations of classical forms recast in the adelic theory of representations for \(G:={\text {GL}}_{2}\). We hope to exhibit the advantage gained by strong approximation when working with adelic constructions – this is the key insight in converting global ramification problems into p-adic analytic ones.
3.1 Background on automorphic forms on \({\text {GL}}_{2}(\mathbb {A})\)
3.1.1 Notation for adele groups
Let \(\mathbb {A}\) denote the adele ring of \(\mathbb {Q}\) and \(\mathbb {A}_{{\text {f}}}\) its ring of finite adeles; these are given respectively by the restricted direct products \(\mathbb {A}=\prod '_{p\le \infty }\mathbb {Q}_{p}\) and \(\mathbb {A}_{{\text {f}}}=\prod '_{p<\infty }\mathbb {Q}_{p}\) with respect to the additive subgroups \(\mathbb {Z}_{p}\le \mathbb {Q}_{p}\). We reserve the letter G to denote \({\text {GL}}_{2}\) and introduce shorthand for the p-adic groups \(G_{p}={\text {GL}}_{2}(\mathbb {Q}_{p})\), \(G_{\infty } ={\text {GL}}_{2}(R)\) and their maximal compact subgroups \( K_{p}={\text {GL}}_{2}(\mathbb {Z}_{p})\), \(K_{\infty }={\text {O}}_{2}(\mathbb {R})\), respectively. At finite places \(p<\infty \) we shall consider the subgroups \(K_{p}(N)\le K_{p}\) containing those matrices \(\left( {\begin{matrix} a&{}b\\ c&{}d \end{matrix}}\right) \in K_{p}\) such that \(c\in N\mathbb {Z}_{p}\). Further, the finer subgroups \(K_{1,p}(N)\subset K_p(N)\) (resp. \(K_{1,p}'\subset K_p(N)\)) are defined to contain the elements \(K_{p}(N)\) such that \(d \in 1+N\mathbb {Z}_{p}\) (resp. \(a\in 1+N\mathbb {Z}_{p}\)). The adele group of \({\text {GL}}_{2}\) is then the restricted direct product \(G(\mathbb {A})=\prod '_{p\le \infty }G_{p}\) with respect to the subgroups \(K_{p}\). We consider the global congruence subgroups of \(G(\mathbb {A})\) defined by \(K_{0}(N)=\prod _{p<\infty } K_{p}(N)\), \(K_{1}(N)=\prod _{p<\infty } K_{1,p}(N)\) and \(K_{1}'(N)=\prod _{p<\infty } K_{1,p}'(N)\).
3.1.2 Notation for matrix groups
For a commutative unital ring R and a subgroup \(H\le G(\mathbb {R})\) write \(H^{+}\) for the subgroup of matrices \(h\in H\) such that \(\det (h)>0\). We consider certain elements given by
for each \(\lambda ,y\in R^{\times }\) and \(x\in R\). These elements determine the familiar subgroups \(Z(R):=\{z(\lambda ):\lambda \in R^{\times }\}\), the centre of G(R); \(N(R):=\{n(x):x\in R\}\), the unipotent matrices; \(A(R):=\{a(y):y\in R^{\times }\}\); and the upper triangular Borel subgroup \(B:=ZNA\).
3.1.3 Strong approximation
We diagonally embed \(\mathbb {Q}\hookrightarrow \mathbb {A}\) as a discrete subgroup. The quotient \(\mathbb {Q}\backslash \mathbb {A}\) is compact and we have the strong approximation theorem
(see [15, Corollary 5–9]). We additionally have strong approximation theorems for the adele groups \(\mathbb {A}^{\times }={\text {GL}}_{1}(\mathbb {A})\) and \(G(\mathbb {A})={\text {GL}}_{2}(\mathbb {A})\) which state the following:
for each \(N\ge 1\) (see [8, Ch. 3]). The adelic congruence subgroups are then related to the classical ones via
In the spirit of clarity, we specify the place-value of matrices \(\gamma \in G(\mathbb {Q})\) by defining the inclusions \(\iota _{p}:G(\mathbb {Q})\hookrightarrow G(\mathbb {Q}_{p}) \hookrightarrow G(\mathbb {A})\) for each \(p\le \infty \) and the diagonal imbedding \(\iota _{{\text {f}}}:G(\mathbb {Q})\hookrightarrow G(\mathbb {A}_{{\mathrm{f}}}) \hookrightarrow G(\mathbb {A})\).
3.1.4 Dirichlet characters à la Hecke
A Dirichlet character \(\chi \) (of conductor M) may be associated to a Hecke character \(\omega _{\chi }:\mathbb {A}^{\times }\rightarrow \mathbb {C}^{\times }\) via the diagram
where \({\text {pr}}\) denotes the projection of \(\mathbb {R}_{>0}\times \prod _{p<\infty }\mathbb {Z}_{p}^{\times }\) after applying strong approximation (12) to \(\mathbb {A}^{\times }\); and \({\text {Ch}}_{M}\) denotes the cannonical surjection induced by the Chinese remainder theorem, \(\prod _{p}\mathbb {Z}_{p}^{\times }/(1+p^{m_{p}}\mathbb {Z}_{p})\cong (\mathbb {Z}/M\mathbb {Z})^{\times }\) for \(M=\prod _{p}p^{m_{p}}\). Explicitly, we highlight the inverse; \(\omega _{\chi }(x) = \chi ({\text {Ch}}_{M}({\text {pr}}(x)))^{-1}\). As with all Hecke characters, we have the tensor factorisation \(\omega _{\chi } = \otimes _{p \le \infty } \omega _{\chi ,p}\). Observe in particular that \(\omega _{\chi ,\infty }\vert _{\mathbb {R}_{+}} = 1\). See [12, Sect. 12.1] for extended details. Abusing notation, we extend the character \(\omega _{\chi }=\otimes _{p \le \infty } \omega _{\chi ,p}\) to a character of \(K_0(N)\) by setting
3.1.5 Adelisation of classical modular forms
We refer the unfamiliar reader to [8] for a friendly introduction and to the following construction; see also [12, Sect. 12]. For our classical newform f, the ‘adelisation process’ is to associate an automorphic form \(\varphi :G(\mathbb {Q})\backslash G(\mathbb {A})\rightarrow \mathbb {C}\) to f by defining
where \(g=\gamma g_{\infty } k_{0}\in G(\mathbb {A})\) is decomposed as in (13) with \(\gamma \in G(\mathbb {Q})\), \(g_{\infty }\in G_{\infty }^{+}\) and \(k_{0}\in K_{0}(N)\). By choice of f, we consider \(\varphi \) as fixed throughout our exposition. The central character of \(\varphi \) is given by \(\omega _{\chi }\), which is understood as follows. Via (12), choose \(r=r_{\mathbb {Q}}r_{\infty }r_{{\text {f}}}\in \mathbb {A}^{\times }\) with \(r_{\mathbb {Q}}\in \mathbb {Q}^{\times }\), \(r_{\infty }\in \mathbb {R}_{>0}\) and \(r_{{\text {f}}}\in \prod _{p<\infty }\mathbb {Z}_{p}^{\times }\). Then one computes \(\varphi (z(r)g) = \omega _{\chi }(z(r_{{\text {f}}})k_0)(f\vert _k z(r_{\infty })g_{\infty })(i) = \omega _{\chi }(z(r_{{\text {f}}})) \varphi (g).\) But indeed \(\omega _{\chi }(z(r_{{\text {f}}})) = \omega _{\chi }(r)\) as \(\omega _{\chi }(r_{\infty })=1\) by construction. In the adelic setting, the central character also finds itself as the one dimensional representation of \(K_0(N)\) generated by \(\varphi \) since
for all \(k_0\in K_0(N)\) and \(g\in G(\mathbb {A})\). In particular, \(\varphi \) is right \(K_1(N)\)-invariant.
3.1.6 Automorphic representations
The right regular actionFootnote 2 of \(G(\mathbb {A})\) is realised in the space \(L^{2}(Z(\mathbb {A})G(\mathbb {Q})\backslash G(\mathbb {A}),\omega _{\chi })\), containing only forms with central character \(\omega _{\chi }\). Let \(\pi \) denote the fixed automorphic representation representation of \(G(\mathbb {A})\) generated by \(\varphi \) (or, by abuse of language, f). The property that f is a cusp form is equivalent to \(\pi \) being contained in the cuspidal part of the spectrum of \(L^{2}(Z(\mathbb {A})G(\mathbb {Q})\backslash G(\mathbb {A}),\omega _{\chi })\); that f is moreover a newform directly implies that \(\pi \) is irreducible. Let \({\tilde{\pi }}\) denote the contragredient representation attached to \(\pi \). Then \({\tilde{\pi }}\) has central character \(\omega _{\chi }^{-1}\) and satisfies the isomorphism \({\tilde{\pi }}\cong (\omega _{\chi }^{-1}\circ \det )\otimes \pi \). The tensor product theorem (see [4]) states that an automorphic representation \(\pi \) may be realised as a restricted tensor product \(\pi \cong \otimes '_{p}\pi _{p}\) where each \(\pi _{p}\) is some (complex) representation of \(G_{p}\). This algebraic construction is tied fundamentally to the theory of Euler products of L-functions in that the coefficients \(\lambda _{\pi }(n)\) of
are local objects. It is the \(G(\mathbb {Q})\)-invariance of \(\pi \) that implies the global functional equation about \(s\mapsto 1-s\) involving the epsilon factor \(\varepsilon (s,\pi )=\prod _{p\le \infty }\varepsilon (s,\pi _p)\). Note that in our particular example that \(\lambda _\pi =\lambda _f\) and the completed L-function attached to f is given by \(\Lambda (s,f)=L(s,\pi )\).
3.2 The Whittaker–Fourier Expansion
Let \(\psi :\mathbb {Q}\backslash \mathbb {A}\rightarrow \mathbb {C}^{\times }\) be the standard additive character on \(\mathbb {A}\) defined as follows: \(\psi =\otimes _{p}\psi _{p}\) where \(\psi _{\infty }(x_{\infty })= e(x_{\infty })\) and \(\psi _{p}(x_{p})=1\) if and only if \(x_{p}\in \mathbb {Z}_{p}\). A smooth function \(W:G(\mathbb {A})\rightarrow \mathbb {C}\) is called a \(\psi \)-Whittaker function if \(W(n(x)g)=\psi (x)W(g)\) is satisfied for each \(x\in \mathbb {A}\) and \(g\in G(\mathbb {A})\). By the uniqueness of Whittaker models for \(G(\mathbb {A})\), there exists a subspace of such functions which, under the right regular action of \(G(\mathbb {A})\), is isomorphic to \(\pi \); this subspace itself is called the Whittaker model and is denoted by \({\mathcal {W}}(\pi ,\psi )\). The implied \(G(\mathbb {A})\)-isomorphism may be explicated via the map
where we take the invariant measure dx on \(\mathbb {A}\), which naturally descents to a probability measure on \(\mathbb {Q}\backslash \mathbb {A}\). It is then apparent that \({\mathcal {W}}(\pi ,\psi )\) contains the Fourier transforms of the function \(x\mapsto \varphi (n(x)g)\) on \(\mathbb {Q}\backslash \mathbb {A}\) whose dual group is identified as \(\mathbb {Q}\) by considering the characters \(x\mapsto \psi (\xi x)\) for each \(\xi \in \mathbb {Q}\). By Fourier inversion, we thus derive an expansion of \(\varphi \) in terms of \(W_{\varphi }\) so that
where we have implicitly used the cuspidal property of \(\varphi \) to deduce the vanishing of the constant term (at \(\xi =0\)). This adelic Fourier expansion is rather marvellous in that it encodes the classical Fourier expansion (9) of f at all cusps \({\mathfrak {a}}\) of \(\Gamma _0(N)\backslash \mathbb {H}\) simultaneously. We now conclude this section with some remarks on using the vantage point of (19) to compute the coefficients \(a_{f}(n;{\mathfrak {a}})\).
3.3 Adelic realisation of classical Fourier coefficients
Let \(z=x+iy\in \mathbb {H}\) and define \(g_{z}=n(x)a(y)\in G_{\infty }^{+}\). Evaluating \(\varphi \) on this matrix we recover
Shifting to an arbitrary cusp \({\mathfrak {a}}=\sigma ^{-1}\infty \), we combine (19) with our observation above in (20) to find
Note the conceptual part played by strong approximation 13 for this identity to hold. The corollary to (21) is that we may determine the values \(W_{\varphi }(a(\xi )g_{z}\iota _{{\text {f}}}(\sigma ))\) in two ways: firstly by returning full circle in recovering the classical Fourier expansion (9), and secondly by explicating their values locally via the associated representation theory. Beginning with the former, a special case of the following result is given (for amusement) in [8, Lem. 3.6]. We give full generality here.
Proposition 3.1
Let \(g_{z}=n(x)a(y)\) for \(z=x+iy\in \mathbb {H}\) and let \({\mathfrak {a}}\in {\mathcal {C}}(N)\) with \(\sigma {\mathfrak {a}}=\infty \). Then for \(\xi \in \mathbb {Q}^{\times }\) we have that
if \(\xi =n/\delta ({\mathfrak {a}})\) for some \(n \in \mathbb {Z}\) and \(W_{\varphi }(a(\xi ) g_{z}\iota _{{\text {f}}}(\sigma ))=0\) otherwise.
Proof
Using the left invariance of \(\varphi \) by \(G(\mathbb {Q})\) and of the additive Haar measure on \(\mathbb {A}\), \(d(\xi x')=|{\xi }|_{\mathbb {A}}dx'=dx'\) for each \(\xi \in \mathbb {Q}^{\times }\), we compute
where we have defined
Firstly, let \(\xi =n/\delta ({\mathfrak {a}})\) with \(n\in \mathbb {Z}\). Consider the fundamental domain
where we associate \(\mathbb {R}/\delta ({\mathfrak {a}})\mathbb {Z}=[0,\delta ({\mathfrak {a}}))\). This is chosen using strong approximation (11). For any \(x_{p}\in \delta ({\mathfrak {a}})\mathbb {Z}_{p}\) we have \(\sigma ^{-1}n(x_{p})\sigma \in K_{p}(N)\), considering the inclusion \(\Gamma _{0}(N)\hookrightarrow K_{p}(N)\). Then (16) implies that
writing \(x'=x_{\infty }x_{{\text {f}}}\) with \(x_{{\text {f}}}=(x_{p})\) as in (22). By construction (of \(\delta ({\mathfrak {a}})\)), we have
for \(\sigma ^{-1}=\left( {\begin{matrix} a &{} b \\ q &{} d \end{matrix}}\right) \). Evaluating \(\varphi (\iota _{\infty }(\sigma ^{-1})n(x_{\infty })a(y))\) by definition as in (15) we find
as desired. This last step follows by applying orthogonality of additive characters after inserting (9).
Now suppose that \(\delta ({\mathfrak {a}})\xi \not \in \mathbb {Z}\). Then there exists a prime \(p<\infty \) and an integer \(m\ge 1\) such that \(\xi =up^{-m}\delta ({\mathfrak {a}})^{-1}\) with \(|{u}|_{p}=1\). Consider the matrix \(\iota _{p}(n(\delta ({\mathfrak {a}})p^{m-1}))\). As \(w({\mathfrak {a}})\mid \delta ({\mathfrak {a}})\), one has \(n(\delta ({\mathfrak {a}})p^{m-1})\in \sigma \Gamma _{0}(N)\sigma ^{-1}\), as in §2.2, and hence \(\sigma ^{-1}n(\delta ({\mathfrak {a}})p^{m-1})\sigma \in K_{p}(N)\). By (16) this element acts by the scalar \(\omega _{\chi }(\sigma ^{-1}n(\delta ({\mathfrak {a}})p^{m-1})\sigma )\), whence we deduce
But \(\omega _{\chi }(\sigma ^{-1}n(\delta ({\mathfrak {a}})p^{m-1})\sigma )^{-1}=1\) by (23), hence \(C_{\varphi }(\xi ; y,\sigma )=0\) as \(up^{-1}\not \in \mathbb {Z}_{p}\). \(\square \)
4 Computing Fourier coefficients via Whittaker functionals
The key application of Proposition 3.1 is that we can now give an explicit product formula for the classical coefficients \(a_{f}(n;{\mathfrak {a}})\) in terms of the factorisation of \(W_{\varphi }\) into local Whittaker functionals; this is stated in Proposition 4.1. We then exhibit several immediate corollaries to this product formula.
4.1 Local Whittaker new vectors
At each \(p\le \infty \) one may construct local Whittaker models \({\mathcal {W}}(\pi _{p},\psi _{p})\cong \pi _{p}\), analogous to the global case. In fact, the global Whittaker model factorises as \({\mathcal {W}}(\pi ,\psi )=\otimes '{\mathcal {W}}(\pi _{p},\psi _{p})\) for \(\pi \cong \otimes _{p}'\pi _{p}\). In particular the function \(W_{\varphi }\), defined by (18), factorises directly as a product of local ones
which we normalise here by choosing \(W_p(1)=1\) for all \(p< \infty \). Using Proposition 3.1 this pins down \(W_{\infty }\) on \(A(\mathbb {R})\) to be
and thus on all of \(G(\mathbb {R})\) by the Iwasawa decomposition. In particular, we find \(W_{\varphi }(1) = \kappa _f(1)\). At the finite primes \(p\not \mid N\), right invariance by \(K_p\) determines the normalised spherical vector \(W_p\) uniquely: by the Iwasawa decomposition it is enough to determine \(W_p\) on \(A(\mathbb {Q}_{p})\) which is described by the well-known formula
for any \(n\in \mathbb {N}\) (see [4, Th. 4.6.5]). In fact (26) this holds more generally for all \(p<\infty \) (see [19, Section 2.4]).
The theme of the present article is to understand the new vectors \(W_p\) when \(p\mid N\). By a generalisation of Atkin–Lehner theory [5] the new vector is uniquely determined by the property that \(W_p\vert _{K_{1,p}(v_p(N))} =1\). However, the interesting twist in such ramification problems is that a complete description of \(W_p\) is not obtained by its values (26) on \(A(\mathbb {Q}_p)\), alone.
By Proposition 3.1, (25) and (26) we recover the well known identity
for \(n>0\). Implicit in (27) is the well-known fact that the Fourier coefficients of f at the cusp \(\infty \) are multiplicative. The main result of this section, Proposition 4.1, depicts explicitly the degeneracy in the multiplicative property in \(a_f(n,{\mathfrak {a}})\) at other cusps \({\mathfrak {a}}\ne \infty \).
4.2 A product formula for Fourier coefficients
Now let us derive the product formula for the coefficients \(a_f(n;{\mathfrak {a}})\), as a generalisation to (27). To highlight the ramified behaviour, let us factorise an arbitrary non-zero integer
where \(n_0\ge 1\) with \((n_0,N)=1\). We extend Proposition 3.1 here, alongside (25) and (26), to allow for \(n<0\). If f is holomorphic, we intend the archimedean component \(\kappa _f\) to account for the vanishing on \(n<0\). We obtain
We evaluate the \(p\mid n_0\) sum via (26) as before so that
To handle the terms \(W_{p}(a(n/\delta ({\mathfrak {a}}))\sigma )\) for \(p\mid N\) – and to suggest how one might go about evaluating them – we invoke the Bruhat decomposition of \(\sigma \) which, with notation as in Sect. 2.3, is given by
so that
We now consider the expression prime-by-prime; to this end write \(q=\prod _{p\mid N}p^{q_{p}}\), \(M=\prod _{p\mid N}p^{M_{p}}\), \(N=\prod _{p\mid N}p^{N_{p}}\) and recall thatFootnote 3
where we define
Then, for some \(p\mid N\), the right-\(K_{p,1}(N)\) invariance of \(W_{p}\) implies
where \(u_{p}=-a\dfrac{(n,p^{\infty })\delta ({\mathfrak {a}})q}{n(\delta ({\mathfrak {a}})q,p^{\infty })}\in \mathbb {Z}_{p}^{\times }\). A convenient notation for us now shall be
for \(t,l\in \mathbb {Z}\) and \(v\in \mathbb {Z}_{p}^{\times }\). This notation is in accordance with [1, 2, 7, 17, 18] and we use it here to summarise our computations with the following proposition.
Proposition 4.1
Fix a cusp \({\mathfrak {a}}=\sigma ^{-1}\infty \) of denominator \(q=\prod _{p\mid q}p^{q_{p}}\), writing \(\sigma ^{-1}=\left( {\begin{matrix} a&{}b\\ q&{}d \end{matrix}}\right) \) with \((a,N)=1\). Let \(M=\prod _{p\mid N}p^{M_{p}}\) denote the conductor of a Dirichlet character \(\chi \) let the level of f be denoted by \(N=\prod _{p\mid N}p^{N_{p}}\). Consider an arbitrary integer \(n=n_{0}\prod _{p\mid N}p^{n_{p}}\), where \((n_{0},N)=1\), and for each \(p\mid N\) define
with \(d_{\pi _{p}}(q_{p})\) as in (30). Then the n-th Fourier coefficient \(a_{f}(n;{\mathfrak {a}})\) in the expansion of a Hecke newform f at the cusp \({\mathfrak {a}}\) is given by the formula
where
and \(W_p\) are the normalised local Whittaker new vectors associated to f as in (24).
Proof
After the deduction of (31), the proof now follows from the observation that, as \(-nd[q/(q,N^{\infty })]^{-1}/\delta ({\mathfrak {a}})(q,N^{\infty })\in \mathbb {Q}^{\times }\), we trivially have
since \(\psi _{p}\) is trivial on \(\mathbb {Z}_{p}\). Moreover we have \(d\equiv a^{-1} \ ({\text {mod}}\ q)\). \(\square \)
Remark 4.2
By Proposition 4.1, we reduce the problem of understanding the coefficients \(a_{f}(n;{\mathfrak {a}})\) to the local problem of evaluating the terms \(W_{p}(g_{t,l,v})\) for \(p\mid N\). There is a quite beautiful method to do so via taking the Fourier expansion of the function \(v\mapsto W_{p}(g_{t,l,v})\) on \(\mathbb {Z}_{p}^{\times }/(1+p^{N_p}\mathbb {Z}_p)\) and computing the Fourier coefficients via the Jacquet–Langlands’ local functional equation for \({\text {GL}}_{2}\) (see [18, Sect. 2]). These computations were performed to some extent in [1] and then in greater detail in the (University of Bristol) PhD thesis of the first named author.
Remark 4.3
The twist of f by a primitive Dirichlet character \(\xi \) is given by
Whilst \(\xi f\) may not be a newform itself (even if f is), there exists a unique newform \(f^{\xi }\) which generates the automorphic representation \(\omega _{\xi }\pi \). From the identification of the associated local Whittaker newforms \(W_p\) as in (24), the Fourier expansion of \(f^{\xi }\) at the cusp infinity is easily determined by means of (27), say. However, at other cusps \({\mathfrak {a}}\ne \infty \) this is not the case. Proposition 4.1 shows that \(a_{f^{\xi }}(n;{\mathfrak {a}})\) can be expressed in terms of the Whittaker new vectors in \({\mathcal {W}}(\omega _{\xi ,p}\pi _p ,\psi _p)\), however at least when \(\omega _{\xi }\) ramifies at p, there is no uniform formula relating \(W_{p}\) and \(\xi f\).
4.3 Bounds for Fourier coefficients on average
We now explore some amusing corollaries to Proposition 4.1.
Corollary 4.4
Let \(0\le \theta \le \frac{7}{64}+\epsilon \) be an exponent towards the Ramanujan conjecture for Hecke eigenvalues (see [3]). Then we have
Proof
According to Proposition 4.1 we have to bound
Observe that the function
is (q, N/q) periodic, see also [17, Lemma 3.12]. Thus, by the Chinese reminder theorem and [17, Proposition 2.10] we have
for any \(r\in {\text {N}}_0\). Thus, applying the bound \(a_f(n_0)\ll n_0^{\theta }\) yields
The result follows after estimating the remaining sums, in particular the \(n_1\)-sum using the Rankin trick. \(\square \)
Remark 4.5
While this bound is satisfactory for holomorphic modular forms, in the Maaß case, where the Ramanujan conjecture is still open, this fails to provide the expected upper bound for a second moment. Another approach to bounding averages of Fourier coefficients is to use the bound [18, Corollary 2.35] and estimate the ramified coefficients globally. This approach yields
4.4 A worked example: principal series
Let f be a holomorphic modular form of nebentypus \(\chi \). Furthermore, assume that \(M=N=p^{h}\) for even h. Thus, \(\pi _{p}\) is the irreducible principal series \(\omega _{\chi ,p}\vert \cdot \vert ^{s}\boxplus \vert \cdot \vert ^{-s}\) in the sense of [11] (see also [7, Sect. 2.1.6] for notation). In this specific case one can extract a precise expression for \(W_{p}\) from [1, Lemma 5.8] for the sake of completeness we will give a proof here.
Lemma 4.6
We have
Proof
For the proof of this lemma we will temporarily introduce some notation from [1, 18]. Indeed, let \(W_{\pi _p}\) be the unique \(K_{1,p}(N)'\)-fixed vector normalised by \(W_{\pi _p}(1)=1\). Using [18, Lemma 2.18, Propositon 2.28] we find that
Furthermore according to [18, (11)] we expand
Fortunately the finite Fourier coefficients have been computed in [1, Lemma 2.3]. With this at hand we obtain
We now apply [18, Lemma 2.37] to find \(b_{\chi }\in \mathbb {Z}_{p}^{\times }\) such that
The claimed statement now follows directly from orthogonality of characters. \(\square \)
Together with Proposition 4.1, Lemma 4.6 implies
remarking that \(|{\chi (a)p^{-\frac{sh}{2}}}|=1\). Furthermore, Corollary 4.4 gives the bound
Note that individually \(|{a_f(n,{a}/{p^{\frac{h}{2}}})}|^2 \ll _{\epsilon } n^{k-1+\epsilon }N^{-\frac{k}{2}+\frac{1}{2}}\). Thus for large X the average bound above exploits the narrow support of the coefficients \(a_f(n,{a}/{p^{\frac{h}{2}}})\).
5 Generalised Atkin–Lehner relations
In this section we will show how to relate the Fourier coefficients at different cusps. Classically, this corresponds to the Atkin–Lehner involution. From our point of view it will appear in terms of certain ‘functional equations’ of the local Whittaker functions \(W_p\). The upshot is that we get a large variety of relations between the cusps. Even though these relations become combinatorially quite involved and require a bit of notation we will maintain a description of the complete picture.
We start by providing the key identities. Indeed, this section is based on the following three lemmata. The first one is a local incarnation of the fact that cusps of the form a/q with \(N\mid q\) are equivalent to the cusp \(\infty \).
Lemma 5.1
Let \(l \ge N_p\), then we have
for all \(v\in \mathbb {Z}_p^{\times }\) and all \(t\in \mathbb {Z}\).
This is a reformulation of [2, Lemma 2.3]. We include a shorter more instructive proof here.
Proof
Note that
Since \(l\ge N_p\), in \(K_{1,p}(N)\). Thus, exploiting the transformation behaviour of \(W_{p}\) and (26) yields the result at once. \(\square \)
The next result is a local take on switching the cusps 0 and \(\infty \) using the classical Atkin–Lehner involution.
Lemma 5.2
For all \(v\in \mathbb {Z}_p^{\times }\) we have
The result can be derived from [2, Sect. 2.2.2] together with [18, Corollary 2.26]. Let us give a slightly more direct proof here.
Proof
We put \(W'=\pi _{p}(w)W_{p}\) and define
The local functional equation for this zeta integral is given by
We can rewrite this as
By p-adic Mellin inversion we find
The statement follows after evaluating the remaining archimedean integral. \(\square \)
The final lemma lies at the heart of the generalised Atkin–Lehner involution.
Lemma 5.3
Let \(0\le l\le v_p(N)\). Then we have
Here \({\tilde{W}}_p\) is the normalised new vector in \({\tilde{\pi }}_p\).
This is exactly [18, Proposition 2.28] after accounting for an unramified twist to remove the assumption \(\omega _{\chi ,p}(p)=1\). To avoid shuffling around the unramified twist we give a self-contained proof.
Proof
Let \(W_{p}'\) be the unique \(K_{1,p}'(N)\)-fixed vector normalised by \(W_{p}'=1\). We write
and check that, according to Lemma 5.2, we have
In particular, after checking the right transformation behaviour, we find that
For \(0\le l\le N_p\) we have the matrix identity
We compute
To conclude the proof we must identify \(W_{p}'\) in terms of \({\tilde{W}}_{p}\). But given the isomorphism
and since
the uniqueness of the new vector in \({\tilde{\pi }}_p\) implies that
\(\square \)
We now piece together these local results. Given a cusp a/q, we can flip the sign of \(v_p(q)\) according to the lemmata above at any place \(p\mid N\). Let us moreover assume the cusp to be in standard form; that is, \(q\mid N\). For a set \(S\subset \{ p \mid N \}\) define
Factorise the global character \(\omega _{\chi } = \prod _{p\mid M} \omega _{\chi }^{(p)}\). Here, the \( \omega _{\chi }^{(p)}\) are Hecke characters of conductor \(p^{M_p}\), so that their pth-component restricted to \(\mathbb {Z}_{p}^{\times }\) equals the pth-component of \(\omega _{\chi }\) restricted to \(\mathbb {Z}_{p}^{\times }\) and \(\omega _{\chi ,p}^{(p)}(p) = 1\). (This is an elaborate way of stating that, if \(\chi \) factors into a product of primitive Dirichlet characters \(\chi ^{(p)}\) of conductor \(p^{v_p(M)}\), then \(\omega _{\chi }^{(p)}\) is the adelisation of \(\chi ^{(p)}\).) With this at hand we define
The idea above is to replace \(\pi _p\) (up to unramified twist) with \({\tilde{\pi }}_p\) at each place \(p\mid M^S\). Note that the conductor of \(\omega _{\pi }^S\) is \(M^S\), while the conductor of \(\pi ^S\) remains N. Finally, let \(f^S\) be the newform associated to \(\pi ^S\). This turns out to be the correct (generalised) Atkin–Lehner partner of f for given S. The generalised (pseudo)-Atkin–Lehner eigenvalue will turn out to be related to
We are now ready to establish the following proposition.
Proposition 5.4
Let S be as above. Then we have
The cusp \({\mathfrak {a}}^S = {a^S}/{q^S}\), where \(a^S\) is uniquely determined modulo \(\delta ({\mathfrak {a}})q = \delta ({\mathfrak {a}}^S)q^S\) defined by
Proof
We start with Proposition 4.1 and inspect the product of local Whittaker functions piece by piece. At each place \(p\in S\) we apply Lemma 5.3 and find
At the remaining places, \(p\not \in S\), we leave the value of \(W_p\) as it is. Note that \(q_p-\max (2q_p,M_p+q_p, N_p)\) is invariant under changing \(q_p\) to \(N_p-q_p\). We arrive at
We make two observations. Firstly, \(\delta ({\mathfrak {a}})^{-1} = \frac{q}{q^S\delta ({\mathfrak {a}}^S)}\). Secondly,
Finally, writing \(W^S_p\) for the p-Whittaker new vector of \(\pi ^S\), we have
for \(p\mid N\) and \(p\notin S\). On the other hand, if \(p\in S\), then
Summing up what we have observed so far,
Finally, we have
Thus, using Proposition 4.1 for \(a_{f^S}(n;{\mathfrak {a}}^S)\), yields the desired result. \(\square \)
6 The Voronoï summation formulae
We now discuss some variants of the Voronoï summation formula for \({\text {GL}}_{2}\). Our starting point is the following pre-Voronoï formula.
Lemma 6.1
Let \(\zeta \in \mathbb {A}\) and let \(\phi \) be a cuspidal automorphic form in the representation space of \(\pi \). Then we have
where \({\hat{W}}_{\phi }(g) := W_{\phi }(w{}^tg^{-1})\).
The trick used alongside the pre-Voronï summation formula is to choose the cuspidal function in various ways \(\phi \) to determine a variety of Voronoï summation formulae. The following one is our take on a commonly used classical formula. This previously appeared in [2, Lemma 2.1] and is based on [20, Theorem 3.1].
Theorem 6.2
Let f be a modular form and let \(F:\mathbb {R}_{>0}\rightarrow \mathbb {R}\) be a compactly supported smooth function and \({\mathfrak {a}}= {p}/{q}\) be a cusp given by scaling matrix
Then
where the cusp \({\mathfrak {b}} := {(ap\delta ({\mathfrak {a}})+bs)}/{(qa\delta ({\mathfrak {a}})+rb)}\) is not written in lowest terms, \((a,b\delta ({\mathfrak {b}}))=1\), and the Hankel transform \({\mathcal {H}}_f F\) of F is defined by
if f is holomorphic and by
if f is Maaß form.
Proof
We will start by setting up the left hand side of (37) accordingly. We choose \(\zeta \) to be \(-\frac{a}{b}\) embedded into \(\mathbb {A}\) via
Furthermore we pick \(\phi \) as follows. Write \(\phi = (v_{\phi ,{\text {f}}}, v_{\phi ,\infty })\) under the isomorphism \(\pi = \pi _{{\text {f}}}\otimes \pi _{\infty }\). Then \(\phi \) will be uniquely determined by assuming that \(v_{\phi ,{\text {f}}}=\pi _{{\text {f}}}(a(\delta ({\mathfrak {a}})^{-1})\sigma _{{\mathfrak {a}}})v_{\varphi ,{\text {f}}}\) and that in the Kirillov model of \(\pi _{\infty }\) we have \( v_{\phi ,\infty } = \pi _{\infty }(a(\delta ({\mathfrak {a}})^{-1})[|{\cdot }|^{\frac{1}{2}}\cdot F]\). With this at hand we find that
Furthermore \(\phi \) is chosen such that \(W_{\infty ,\phi }(a(\xi )) = |{\xi \delta ({\mathfrak {a}})^{-1}}|^{\frac{1}{2}}F(\xi \delta ({\mathfrak {a}})^{-1})\) and
as in (28). These choices imply that
We now evaluate the right-hand side of (37). We do so by treating archimedean and finite places separately. This is possible as
At \(p=\infty \) we find that
This holds since the action of w in the Kirillov model is precisely described by this Hankel transform. See [6] for details.
In order to deal with the finite places we artificially write
and define \({\mathfrak {b}} = (\delta \sigma _{{\mathfrak {a}}})^{-1}\infty \). Note that \({\mathfrak {b}} = \frac{ap\delta ({\mathfrak {a}})+bs}{qa\delta ({\mathfrak {a}})+rb}\) in non-lowest terms. We have set things up so that
Thus we find that
At this stage we use (28) and obtain that
Finally, we have all the ingredients together. We find that
The statement follows in a straightforward manner after shifting the summation. \(\square \)
Corollary 6.3
Let f be a classical cusp form and let \(F:\mathbb {R}_{>0}\rightarrow \mathbb {R}\) be a compactly supported smooth function. Then
where \({\mathfrak {b}}={a}/{b}\), \((a,b\delta ({\mathfrak {b}}))=1\), and \({\overline{a}}\) is the inverse of a modulo \(b\delta ({\mathfrak {b}})\).
Proof
This is a direct consequence of Theorem 6.2 with \({\mathfrak {a}}=\infty \). In particular we have \(\sigma _{{\mathfrak {a}}}=1\) and \(\delta ({\mathfrak {a}})=1\). \(\square \)
It is a nice exercise to apply Corollary 6.3 with \(F(x) = x^{\frac{k-1}{2}}e(ixy)\) when f is a holomorphic modular form of weight k. Note that even though the result is stated for compactly supported F it is possible to extend its validity to the F in question. According to [10, 6.631.(4)] we find that
Thus, the right-hand side of our Voronoï summation formula becomes
The last equality follows from \(j(\sigma ,\frac{a}{b}+iy) = -iby\) and \(\sigma (\frac{a}{b}+iy) = -\frac{{\overline{a}}}{b}+\frac{i}{yb^2}\).
Remark 6.4
This example shows that Voronoï summation is precisely the transition between the Fourier expansions of f at different cusps. While classically it is a very subtle matter to include an archimedean test function, it is straightforward adelically.
A reasonable generalisation of Corollary 6.3 would be to replace the cusp \({\mathfrak {a}}=\infty \) on the left-hand side with an arbitrary cusp. One obtains the following extension of our theorem given in Corollary 6.5. We end this note by reproducing two of the most classical Voronoï formula from Corollary 6.3. These agree with the formula given in [13], for instance.
Corollary 6.5
If \((a,bN)=1\) then
where \(i^k\eta (f)\) is the root number of the L-function associated to f and \({\tilde{f}}\) is the dual newform determined by the functional equation \(\Lambda (f,s)=i^k\eta (f)\Lambda ({\tilde{f}},1-s)\) of the completed L-function.
Proof
Our corollary provides us with the formulae
Without loss of generality we can assume that \((a,N)=1\) and use Proposition 4.1 to obtain
Note that
and
The statement then follows by using Lemma 5.2 and using the additional characters to twist \(a_f(n_0)\) to \(a_{{\tilde{f}}}(n_0)\). \(\square \)
Of course this corollary exploits that if \((a,N)=1\) then the cusp \({\mathfrak {b}}= {a}/{b}\) is equivalent to 0, which switches to \(\infty \) under the classical Atkin–Lehner involution. Lastly we consider the other extreme case \(N\mid b\). In this case \({\mathfrak {b}}={a}/{b}\) is in fact equivalent to \(\infty \).
Corollary 6.6
Suppose \(N\mid b\). Then
Once again, this result would follow from the application of Corollary 6.3 together with Proposition 4.1 and Lemma 5.1, but this would be like shooting pigeons with canons. We give a much simpler proof here.
Proof
In this situation \(\delta ({\mathfrak {a}})=1\) so that by Corollary 6.3 we have that
Furthermore, because \(N\mid b\) the scaling matrix for \({\mathfrak {a}}\) is in \(\Gamma _0(N)\). Thus according to (10) we find that \(a_f(n,{\mathfrak {a}})= \chi (a)^{-1}a_f(n)\). This concludes the proof. \(\square \)
Notes
We near enough consider the full spectrum of \(\Gamma \backslash \mathbb {H}\) from a representation theoretic point of view. The weight k Maaß forms reduce to the weight 0 and 1 cases via the weight lowering operator (see [4, Exercise 2.1.7]). Our omission of the weight 1 Maaß forms is but for notational convenience. Our results may be straightforwardly amended to describe such forms.
There is a caveat at \(p=\infty \); we instead have a (commuting) action of \(({\text {Lie}}(G_{\infty }),K_{\infty })\).
While \(\delta ({\mathfrak {a}})\) depends only on (N, q), the exponent \(d_{\pi _{p}}(q_{p})\) depends on q in its full.
References
Assing, E.: On the size of \(p\)-adic Whittaker functions. Trans. Am. Math. Soc. 372(8), 5287–5340 (2019)
Assing, E.: Adelic Voronoi summation and subconvexity for \(GL(2)\) L-functions in the depth aspect. Int. J. Number Theory (2020). https://doi.org/10.1142/S1793042121500470
Blomer, V., Brumley, F.: On the Ramanujan conjecture over number fields. Ann. Math. 174(1), 581–605 (2011)
Bump, D.: Automorphic forms and representations. Cambridge Studies in Advanced Mathematics, vol. 55. Cambridge University Press, Cambridge (1997)
Casselman, W.: On some results of Atkin and Lehner. Math. Ann. 201, 301–314 (1973)
Cogdell, J.: Bessel functions for \(GL_2\). Indian J. Pure Appl. Math. 45(5), 557–582 (2014)
Corbett, A., Saha, A.: On the order of vanishing of newforms at cusps. Math. Res. Lett. 25(6), 171–1804 (2018)
Gelbart, S.: Automorphic forms on adèle groups. Annals of Mathematics Studies, vol. 83. Princeton University Press, University of Tokyo Press, Princeton, Tokyo (1975)
Goldfeld, D., Hundley, J.: Automorphic representations and \(L\)-functions for the general linear group. Volume I, Cambridge Studies in Advanced Mathematics, vol 129, With exercises and a preface by Xander Faber. Cambridge University Press, Cambridge (2011)
Gradshteyn, I., Ryzhik, I.: Table of integrals, series, and products, 7th edn. Elsevier/Academic Press, Amsterdam (2007)
Jacquet, H., Langlands, R.: Automorphic forms on \({{\rm GL}}(2)\). Lecture Notes in Mathematics, vol. 114. Springer, Berlin (1970)
Knightly, A., Li, C.: Traces of Hecke operators. Mathematical Surveys and Monographs, vol. 133. American Mathematical Society, Providence, RI (2006)
Kowalski, E., Michel, P., VanderKam, J.: Rankin-Selberg \(L\)-functions in the level aspect. Duke Math. J. 114(1), 123–191 (2002)
Nelson, P., Pitale, A., Saha, A.: Bounds for Rankin-Selberg integrals and quantum unique ergodicity for powerful levels. J. Am. Math. Soc. 27(1), 147–191 (2014)
Ramakrishnan, D., Valenza, R.: Fourier analysis on number fields. Graduate Texts in Mathematics, vol. 186. Springer, New York (1999)
Reznikov, A.: Rankin-Selberg without unfolding and bounds for spherical Fourier coefficients of Maass forms. J. Am. Math. Soc. 21(2), 439–477 (2008)
Saha, A.: Hybrid sup-norm bounds for Maass newforms of powerful level. Algebra Number Theory 11(5), 1009–1045 (2017)
Saha, A.: Large values of newforms on \({{\rm GL}}(2)\) with highly ramified central character. Int. Math. Res. Not. IMRN 13, 4103–4131 (2016)
Schmidt, R.: Some remarks on local newforms for \({{\rm GL}}(2)\). J. Ramanujan Math. Soc. 17(2), 115–147 (2002)
Templier, N.: Voronoï summation for \({{\rm GL}}(2)\). Representation Theory, Automorphic Forms, and Complex Geometry. In Proceedings Volume in Honor of Wilfried Schmid. International Press, Vienna, pp. 163–196 (2020)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Adrian Constantin.
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
Assing, E., Corbett, A. Voronoï summation via switching cusps. Monatsh Math 194, 657–685 (2021). https://doi.org/10.1007/s00605-021-01537-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-021-01537-5