arXiv:1801.01347v1 [math.NT] 4 Jan 2018 of h aknSlegmto 4.I h aknSlegmto,a au an method, Rankin-Selberg the In [4]. L method Rankin-Selberg the hoy en tlzdt rv h eoopi otnainadfu and continuation automorphic meromorphic other m the of in prove tions fixture to a utilized become being have theory, generalizations their and series Eisenstein accomplished. inof tion fteLnlnsporm a nybe rvdfrarltvl sma relatively a for proved unde been falls only which has conjecture, automorphic program, This Langlands the [20]. of equation functional a satisfy eis[4]. series iesensre ae ttecs tifiiy[8.B hnufliga unfolding then By [28]. series, infinity Eisenstein metaplectic at this cusp from composed the integral of at Selberg continuation based meromorphic series the Eisenstein established first Shimura method, weight a nltcvral fteEsnti eis h eoopi continua meromorphic such the for series, equation Eisenstein tional the of variable analytic eerdt as to referred functions. oopi ersnain.H hncnetrdta these that conjectured then He representations. tomorphic hcfnto.Smlfiain ftersligitga il h desire the suita yield integral other resulting some L the and of series Simplifications Eisenstein function. an phic by multiplied function this of inl nc”eeeto h ersnainspace representation the of element “nice” ciently fnto o natmrhcrpeetto ( representation automorphic an for -function fnto,aogwt nitga hc sblee osmlf oartoo ratio a to simplify to believed is which integral an with along -function, L 2010 1 sapr foeo h otclbae plctoso h Rankin-S the of applications celebrated most the of one of part a As n16,Rbr agad ulndadfiiinfor definition a outlined Langlands Robert 1967, In nraiy uhasmlfiainit am ucin sext is functions Gamma into simplification a such reality, In fntosadmlil iihe eis[,1,11]. 10, [3, series Dirichlet multiple and -functions L ahmtc ujc Classification. Subject Mathematics tributions eddc h ucinleuto o h orsodn cla corresponding the for equation functional the deduce we iesensre o SL for series Eisenstein Abstract. n iea xlctfntoa qainta hysatisfy. they that equation functional explicit an give and iesenseries. Eisenstein ( k s, 1 ek eigenform Hecke EALCI IESENDISTRIBUTIONS EISENSTEIN METAPLECTIC Sym ic h nltcvral fteresulting the of variable analytic the Since L fntos rnia ehdepoe nteecsshsbeen has cases these in employed method principal A -functions. automorphic 2 epoeta hs itiuin aemrmrhccontin meromorphic have distributions these that prove We . f ,tesmercsquare symmetric the ), nti ae,w en itiuinlaaouso h meta the of analogues distributional define we paper, this In L fntoscnb salse rmta fteEisenstein the of that from established be can -functions f L 2 hmr a bet rv h eoopi continua- meromorphic the prove to able was Shimura , L fntos n tlzdi h td faeaevalues average of study the in utilized and -functions, ( R -functions ,wihw ee oas to refer we which ), 1. oWlre Schmid Wilfried To RNO BATE BRANDON Introduction 11F37. a emrmrhclycniudand continued meromorphically be can , 1 L fnto for -function ,V π, V ealci iesendis- Eisenstein metaplectic scmue ytkn suffi- a taking by computed is ) n osdrn h integral the considering and , L L fnto orsod othe to corresponds -function fntosascae oau- to associated -functions f ic hn metaplectic then, Since . rmteeresults, these From eeydffiutadrarely and difficult remely sclmetaplectic ssical L fntos commonly -functions, a θ automorphic d fnto,and -function, inadfunc- and tion dr number odern cinlequa- nctional plectic h purview the r uation metaplectic a lnme of number ll l automor- ble tomorphic Gamma f Rankin- elberg 2 BRANDON BATE

One of the drawbacks to the Rankin-Selberg method, which we alluded to earlier, is the difficulty involved in computing the aforementioned ratio of Gamma functions, especially in the archimedean places. Fortunately, the recent adaptation of the Rankin-Selberg method to automorphic distributions by Miller and Schmid [25, 26], has in large part simplified the process of calculating these Gamma factors. The difficulty however, is that one must work with automorphic distributions, and in particular, one must utilize Eisenstein distributions, the distributional analogues of Eisenstein series. Thus in order to adapt the Rankin-Selberg integrals which utilize metaplectic Eisenstein series to this distributional setting, we must first define the metaplectic Eisenstein distributions, prove their meromorphic continuation, and compute an explicit functional equation. By doing this, it is believed that Rankin- Selberg integrals, such as the one in [10], can be adapted to the distributional setting, and thereby provide a means for the explicit computation of the corresponding Gamma factors. As indicated in [21, 26], Eisenstein distributions are identified as elements of distributional principal series for the group in question. Thus we begin Section 2 with a review of the metaplectic group and its corresponding distributional princi- pal series representations. In Section 3, we continue our analysis of distributional ( ) principal series representations, concluding with a definition of Eǫ,ν∞ , the metaplec- tic Eisenstein distribution based at the cusp at . In Section 4, we find that the ( ) ∞ Fourier coefficients of Eǫ,ν∞ will in part consist of Gauss ande Kloosterman sums, and we conclude this section by proving explicit formulas for these sums. Then in Section 5, we use thee results of Section 4 to compute explicit formulas for the ( ) Fourier coefficients, which in turn show that the Fourier coefficients of Eǫ,ν∞ have meromorphic continuation. The exact formulas for the Fourier coefficients is stated in Theorem 5.4. e ( ) In Section 6, we show that Eǫ,ν∞ has holomorphic continuation to C except for 1 simple poles on 0, 2 . We do this by utilizing the meromorphic continuation of { } ( ) its Fourier coefficients. Establishinge the meromorphic continuation of Eǫ,ν∞ in this manner is preferable since it affords us sharper information about the meromorphic continuation compared to spectral theory. Some care is required sincee the Fourier ( ) series for Eǫ,ν∞ does not capture its behavior “at infinity.” To handle this situation, we make reference to the notion of a distribution “vanishing” to a given order at a ( ) point [23].e In Proposition 6.2 we give a series expansion for Eǫ,ν∞ which accounts for this behavior “at infinity”, and which also has the property that it can be meromorphically continued. e (0) In Section 7, we define Eǫ,ν , the metaplectic Eisenstein distribution based at the cusp 0. Most of the work done in proving the meromorphic continuation for ( ) (0) Eǫ,ν∞ can be directly appliede to prove the meromorphic continuation of Eǫ,ν . We conclude this section with an explicit computation of the zeroeth Fourier coefficient (0) ofe Eǫ,ν , which is a necessary ingredient for our proof of the functionale equation. In Section 8, we prove some results concerning the intertwining operators for the metaplectice group, and then use these results to establish series expansions for the intertwined metaplectic Eisenstein distributions. In Section 9, we prove a func- tional equation for the metaplectic Eisenstein distributions, and then in Section 10, obtain from this a functional equation for the corresponding classical metaplectic Eisenstein series, which were first introduced by Kubota [18]. To the best of the METAPLECTICEISENSTEINDISTRIBUTIONS 3 author’s knowledge, no such explicit functional equation for the classical metaplec- tic Eisenstein series is recorded in the literature, although [27] gives a road map for proving the adelic functional equation. Given that its derivation from the distribu- tional functional equation required only a little extra work, it seemed appropriate to take the opportunity to record it here. The author would like to thank Stephen D. Miller for his advice and assistance in preparing this paper, Henryk Iwaniec for his insightful conversations on this subject, and the referees for their helpful comments. Finally, the author would like to thank Wilfried Schmid, whose work in the theory of automorphic distributions has served as a foundation for this article.

2. Principal Series Representations for SL2 In this section we define the metaplectic group and review some facts concerning f its principal series representations. In Section 3 we will define the metaplectic Eisen- stein distributions to be elements of these principal series representation spaces. As a set, let SL2(R) =SL2(R) 1 . Recall that the Hilbert symbol for R is given by the formula × {± } f 1 if x< 0 and y< 0 (2.1) (x, y)H = − (1 otherwise,

a b where x, y R=0. For SL2(R), define ∈ 6 c d ∈   a b c if c =0 (2.2) X = 6 c d d if c =0.   ( For g ,g SL (R), define 1 2 ∈ 2 X(g g ) X(g g ) (2.3) α(g ,g )= 1 2 , 1 2 . 1 2 X(g ) X(g )  1 2 H

One can show that α is a 2-cocycle [16, 19], and thus we give SL2(R) the structure of a group by defining the following multiplication law: f (2.4) (g ,ǫ ) (g ,ǫ ) = (g g , α(g ,g )ǫ ǫ ), 1 1 · 2 2 1 2 1 2 1 2 where g ,g SL (R) and ǫ ,ǫ 1 . In addition to identifying SL (R) as a 1 2 ∈ 2 1 2 ∈ {± } 2 group, one can give SL2(R) the structure of a smooth manifold by requiring the map f f (2.5) g = (g,ǫ) g 7→ to be a smooth covering map from SLe 2(R) onto SL2(R). With respect to this smooth structure, one can check that SL2(R) is a Lie group. This group is commonly referred to as the metaplectic groupf. f 4 BRANDON BATE

Let

ǫ1 0 u 0 (2.6) m = mǫ1,ǫ2 = ,ǫ2 , a = au = 1 , 1 , 0 ǫ 0 u−  1     1 x 1 0 ne = nex = , 1 , en =e n ,x = , 1 , 0 1 − − x 1       cos(θ) sin(θ) ke = ke = ,ε(θ) , e e θ sin(θ)− cos(θ)    where ǫe,ǫ e 1 , u R , x R, θ [ 2π, 2π), and 1 2 ∈ {± } ∈ >0 ∈ ∈ − 1 if π θ < π (2.7) ε(θ)= − ≤ 1 if 2π θ< π or π θ< 2π. (− − ≤ − ≤ We extend the definition of k periodically to all θ R. As indicated in the above θ ∈ definitions, sometimes we will suppress the variables ǫ1, ǫ2, u, x, and θ in our notation. Occasionally wee will write m(ǫ1,ǫ2), a(u), n(x), n (x), and k(θ) for − mǫ ,ǫ , au, nx, n ,x, and kθ (respectively). Let 1 2 − e e e e e (2.8) M = m : ǫ ,ǫ 1 , A = a : u R , e e e e { ǫ1,ǫ2 e1 2 ∈ {± }} { u ∈ >0} N = nx : x R , N = n ,x : x R , f { e ∈ } e− e{ − ∈ } K = kθ : θ [ 2π, 2π) , B = MAN . e {e ∈ − } e e − One can checke that the sets defined in (2.8) are subgroupse f e e of SL2(R). One can also verify that M is the center SL (R) and that θ k is a continuous isomorphism 2 7→ θ from R/[ 2π, 2π) onto K. f − Let ω denotef a quasi-characterf of B, and let e e (2.9) e 1 V ∞ = f C∞(SL (R)) : f(gb)= ω(b− )f(g) for all g SL (R), b B , ω { ∈ 2 ∈ 2 ∈ } 2 1 Vω = f Lloc(SL2(R)) : f(gb)= ω(b− )f(g) for all g SL2(R), b B , { ∈ f ee e e e∈ f e∈ e} 1 Vω−∞ = f C−∞(SL2(R)) : f(gb)= ω(b− )f(g) for all g SL2(R), b B , { ∈ f ee e e e f∈ e e∈ } where C (SL (R)) denotes the spaces of smooth functions on SL (R), L2 (SL (R)) ∞ 2 f ee e e e f2 loce e2 2 denotes the space of locally L -functions on SL2(R) (modulo the space of functions which vanishf almost everywhere), and C−∞(SL2(R)) denotesf the space off distri- f butions on SL2(R). The equality specified in the definition of Vω−∞ is interpreted as an equality between distributions on SL2(Rf). We refer to the spaces in (2.9) as smooth (resp.f L2, distributional) principal series representations spaces. Each of these spaces comes equipped with thef action of left inverse multiplication by elements of SL2(R). We denote these actions by π = πω. It is clear from the definitions in (2.9) that f (2.10) V ∞ V V −∞. ω ⊂ ω ⊂ ω We define the quasi-characters of B which will be of interest to us in this paper. For ν C, let ∈ e ν 1 (2.11) µν (au)= u − ,

e METAPLECTICEISENSTEINDISTRIBUTIONS 5 which is a quasi-character of A (the 1 in the exponent in (2.11) is a normalizing − factor common in representation theory). For ǫ 1 , let σ : M C∗ denote ∈ {± } ǫ → the character of M defined bye the following identities: f 1 0 1 0 (2.12) σǫ f , 1 = 1, σǫ − , 1 = ǫ i. 0 1 ± ± 0 1 ± ∓     −   For b = man , we define − (2.13) ωǫ,ν(b)= σǫ(m)µν (a), e e ee which is a quasi-character of B. In order to simplify notation, we will write Vǫ,ν∞ for e e e 2 Vω∞ǫ,ν . A similar notation will also be used for the L and distributional principal series representation spaces. e For f Vǫ,ν∞, define f0,f C∞(R) by the equalities ∈ ∞ ∈ 1 (2.14) f0(x)= f(nx) and f (x) = (π(s)f)(nx)= f(s− nx), ∞ where e 0 e1 e e e (2.15) s = k π = − , 1 . 2 1 0    We will now explain how f0 andef are related to each other. To do so, let e ∞ (2.16) log(z) denote the branch cut of the logarithm whose imaginary t part lies in ( π, π], and let z = exp(log(z)t) where t C,z C∗. − ∈ ∈ Since for x = 0, 6 1 1 (2.17) s− nx = n x−1 a x msgn( x),sgn( x)n , x − , − | | − − − − we find for f Vǫ,ν∞,
∈ e e e e e e ǫ/2 ν 1 1 (2.18) f (x) = sgn( x) x − f0( x− ) ∞ − | | − for x = 0. Conversely, when given f0,f C∞(R) which satisfy (2.18), it follows 6 ∞ ∈ that one can define a unique element f Vǫ,ν∞ such that (2.14) holds since N and 1 ∈ s− N cover SL2(R)/B. Thus 2 e (2.19) Vǫ,ν∞ ∼= (f0,f ) C∞(R) : f0 and f satisfy (2.18) . e e f {e ∞ ∈ ∞ } For f1 Vǫ,ν and f2 V ǫ, ν we define the following pairing: ∈ ∈ − − π/2 (2.20) f1,f2 ǫ,ν = f1(kθ)f2(kθ) dθ. h i π/2 Z− We claim that the integration is in fact overe the compacte group K/M. To see this, first recall that θ k is a continuous isomorphism from R/[ 2π, 2π) onto K. 7→ θ − Therefore a Haar measure on K is given by dθ under the parameterizatione f θ k . 7→ θ Since M = k 2π, k π, ke0, kπ , it follows that dθ likewise is a Haar measure fore { − − } K/M, allowing any interval ofe the form [a,a+π) to serve as a fundamental domaine for K/fM. In (2.20),e e we chosee e the fundamental domain [ π , π ). Since the integrand − 2 2 ise Mf-invariant and since K/M is compact, it follows that the integral converges e f and corresponds to integration over K/M. Since SL2(R)/B ∼= K/M, the pairing is clearlyf non-degenerate. Furthermore,e f it can be shown that the dual representation e f f e e f 6 BRANDON BATE of (π, Vǫ,ν ) under this pairing agrees with the representation (π, V ǫ, ν ). This allows − − us to identify (π, V ǫ, ν ) with the dual of (π, Vǫ,ν ). − − The pairing (2.20) extends (on the left) and restricts (on the right) to V −∞ ǫ,ν × V ∞ǫ, ν ; we can extend to Vǫ,ν−∞ since distributions are given locally by integration − − 2 against derivatives of locally L functions. Via this pairing we can identify Vǫ,ν−∞ with the dual of V ∞ǫ, ν , where we equip V ∞ǫ, ν with the usual test function topology. − − − − Relative to this topology, we equip V −∞ with the strong topology (see [29, 19] ǫ,ν § for the definition of the strong topology for topological vector spaces in general). This topology on Vǫ,ν−∞ is also known as the strong distribution topology. With this topology, one can check that V ∞ is dense in V −∞. The pairing , on ǫ,ν ǫ,ν h· ·iǫ,ν Vǫ,ν−∞ V ∞ǫ, ν is not continuous. However, it is separately continuous [29, 41], which× means− − that §

(2.21) v v′, v is continuous for fixed v′ V −∞, and 7→ h i ∈ ǫ,ν v′ v′, v is continuous for fixed v V ∞ǫ, ν . 7→ h i ∈ − −

It should also be noted that since Vǫ,ν−∞ is the dual of a Montel space, it follows that sequential convergence in the strong distribution topology is equivalent to sequential convergence in the weak topology [29, 34.4]. § We wish to speak of the restriction of f V −∞ to N = R. To do this in a ∈ ǫ,ν ∼ meaningful way, we select φ Cc∞(R) and define hφ V ∞ǫ, ν (via the isomorphism ∈ ∈ − − in (2.19)) by the equation e

(2.22) (hφ)0(x)= φ(x).

Although we have not specified (hφ) (x), its precise definition is easily deduced ∞ from (2.18) since φ has compact support. We define f C−∞(R) by the equation 0 ∈ (2.23) f (φ)= f,h . 0 h φiǫ,ν

We refer to f0 as the restriction of f to N. This definition for the restriction of f to N is appropriate since it agrees with the usual notion of restriction of f to N when f is a function. Indeed, if f V thene since ∈ ǫ,ν e 1 e (2.24) kθ = n tan(θ) a cos(θ) msgn(cos(θ)),1n , sin(θ) cos(θ) − − | | − − for θ ( π , π ), then
∈ − 2 2 e e e e e π/2 (2.25) f,hφ ǫ,ν = f(kθ)hφ(kθ)dθ h i π/2 Z− π/2 e eν 1 = f(n tan(θ)) cos(θ) − σǫ(msgn(cos(θ)),1) π/2 − | | Z− ν 1 hφ(n tan(θ)) cos(θ) − − σ ǫ(msgn(cos(θ)),1)dθ · e − | | −e π/2 2 = f0(e tan(θ))φ( tan(θ)) cos(eθ) − dθ π/2 − − | | Z− ∞ dt ∞ = f ( t)φ( t)( 1+ t2)2 = f (t)φ(t)dt. 0 − − 1+ t2 0 Z−∞ p Z−∞ In the last line we performed the change of variables θ arctan(t). 7→ METAPLECTICEISENSTEINDISTRIBUTIONS 7

1 We can likewise define the restriction of f V −∞ to s− N = R. We define ∈ ǫ,ν ∼ f C−∞(R) by the equation ∞ ∈ e (2.26) f (φ)= π(s)f,hφ ǫ,ν . ∞ h i 1 We refer to f as the the restriction of f to s− N. As before, one can check that ∞ 1 e the restriction of f to s− N is appropriate since it agrees with our usual notion of 1 1 restriction of f to s− N when f is a function.e Sincee N and s− N cover SL2(R)/B, it follows that f is completelye determined by f0 and f . Just as in the case of e ∞ smooth f, we have thate for f V −∞, e e f e e ∈ ǫ,ν e ǫ/2 ν 1 1 (2.27) f (x) = sgn( x) x − f0( x− ) ∞ − | | − as an equality between distributions on R=0. This can be deduced directly from 6 the analogous statement for smooth functions in (2.18) and the density of Vǫ,ν∞ in Vǫ,ν−∞. Conversely, when given f0,f C−∞(R) which satisfy (2.27), it follows ∞ ∈ that one can define a unique element f V −∞. Thus ∈ ǫ,ν 2 (2.28) Vǫ,ν−∞ = (f0,f ) C−∞(R) : f0 and f satisfy (2.27) . ∼ { ∞ ∈ ∞ } Sections 3-7 will rely heavily upon (2.28), with little need to explicitly reference back to the pairing , ǫ,ν . In Sections 8-10, we will again make explicit reference to , , and in particular,h· ·i need some of the following facts. h· ·iǫ,ν Notice that (2.25) applies not only to f V , but also to f V −∞. By ∈ ǫ,ν ∈ ǫ,ν changing notation slightly,2 we then have that

∞ ∞ (2.29) f, φ = f(n )φ(n ) dt = f (t)φ (t) dt, h iǫ,ν t t 0 0 Z−∞ Z−∞ for f Vǫ,ν−∞ and φ V ∞ǫ, ν , providede supp(e φ) NB or supp(f) NB. Similarly, ∈ ∈ − − ⊂ ⊂ ∞ 1 1 ∞ (2.30) f, φ ǫ,ν = f(s− nt)φ(s− nt) dt =e e f (t)φ (t) dt,e e h i ∞ ∞ Z−∞ Z−∞ 1 1 provided supp(φ) s− NB ore supp(e f)e se− NB. For arbitrary φ V ∞ǫ, ν , there ⊂ ⊂ ∈ − − exists φ1, φ2 V ∞ǫ, ν such that φ = φ1 + φ2, supp(φ1) NB, and supp(φ2) − − 1 ∈ e e e e ⊂ ⊂ s− NB. Thus by (2.29)e and (2.30), e e e (2.31) f, φ ǫ,ν = f, φ1 ǫ,ν + f, φ2 ǫ,ν e e e h i h i h i ∞ ∞ = f0(t)(φ1)0(t) dt + f (t)(φ2) (t) dt. ∞ ∞ Z−∞ Z−∞ The following proposition provides another convenient means by which to compute f, φ in certain cases. h iǫ,ν Proposition 2.1. Suppose Re(ν) > 0. Let f V −∞ such that f L∞(R) and ∈ ǫ,ν 0 ∈ such that (2.27) holds as an equality between distributions on R (as opposed to an equality between distributions on R=0). Then for φ V ∞ǫ, ν , 6 ∈ − − m2 (2.32) f, φ ǫ,ν = lim f0(x)φ0(x) dx. h i m1,m2 m →∞ Z− 1 2 The change in notation is slightly confusing: we replaced hφ with φ and φ with φ0. 8 BRANDON BATE

Proof. Let ω0 denote the trivial character on B. By (2.9),

V ∞ = h C∞(SL2(R)) : h(gb)= h(g) for all g SL2(R), b B . ω0 { ∈ e ∈ ∈ } 1 As we did in (2.14), let h0(x) = h(nx) and h (x) = h(s− nx) for h Vω∞. By f ee e∞ e f e e∈ 0 (2.17), we see that for h V ∞, ∈ ω0 e 1 e e (2.33) h (x)= h0( x− ). ∞ − 1 Conversely, since N and s− N cover SL2(R)/B, it follows that we can define a unique element h Vω∞ for given h0 and h which satisfy (2.33). With that in ∈ 0 ∞ mind, we will nowe define an elemente offψt V ∞e for t R>0. Let ψ∗ : R [0, 1] e ∈ ω0 ∈ → be a smooth cutoff function such that ψ∗(x) 1 near the origin. Let (ψ ) (x) = ≡ t 0 ψ∗(x/t) and 1 (2.34) (ψt) (x) = (ψt)0( x− ), ∞ − for x R=0, with (ψt) (0) = 0. Since (ψt) (x) is a smooth function and since ∈ 6 ∞ ∞ (ψt)0 and (ψt) satisfy (2.33), they together define a unique element ψt Vω∞0 . ∞ ∈ Let 1 denote the function (g 1) Vω∞. Notice that for φ V ∞ǫ, ν , 7→ ∈ 0 ∈ − − 1 (2.35) supp(φ ψ ) NB and supp(φ (1 ψ )) s− NB. · t ⊂ e · − t ⊂ Since e e e e f, φ = f, φ ψ + f, φ (1 ψ ) e , h iǫ,ν h · tiǫ,ν h · − t iǫ,ν it follows then by (2.29) and (2.30), (2.36) ∞ ∞ f, φ ǫ,ν = f0(x)φ0(x)(ψt) (x) dx + f (x)φ (x)(1 ψt) (x) dx. h i 0 ∞ ∞ − ∞ Z−∞ Z−∞ The second integral on the right-hand side vanishes as t by [23, Corollary 3.12].3 Hence → ∞

∞ (2.37) f, φ ǫ,ν = lim f0(x)φ0(x)(ψt) (x) dx. h i t 0 →∞ Z−∞ 1 If φ0 L (R), which is guaranteed to occur when Re(ν) > 0, then the integrand in (2.37)∈ is also in L1(R); hence by dominated convergence we can replace the smooth cutoff function in (2.37) with a hard cutoff. Indeed, since 1 2 1/2 t − (2.38) k( arctan(t)) = nt a (1 + t )− n , − − 1+ t2      it then followse from (2.9) and (2.13)e e that e 2 1 (ν+1) (2.39) φ (t) = φ(n ) (1 + t )− 2 , | 0 | | t | ≪ e e  with the implied constant dependent upon supk K φ(k) . e ∈ | | 3Corollary 3.12 is stated in terms of a distribution σ on RP1 ande a connected open neighborhood 1 ǫ/2 −ν+1 I containing ∞. In our application, I = RP − {0} =∼ R and σ(x) = sgn(−x) |x| f0(−x). Thus by (2.27), ǫ/2 ν−1 −1 σ(1/x) = sgn(−x) |x| f0(−x )= f∞(x). 1 Since f∞ ∈ Lloc(R), it follows from [23, Lemma 3.1] that σ vanishes to non-negative order at ∞. Applying [23, (3.23)] to the conclusion of Corollary 3.12 yields the desired result. METAPLECTICEISENSTEINDISTRIBUTIONS 9

3. The Metaplectic Eisenstein Distribution at ∞ In this section we define the metaplectic Eisenstein distribution based at the cusp . However before doing so, we prove some lemmas that will be helpful for computing∞ the Fourier series expansion for this metaplectic Eisenstein distribution. The proofs will make implicit reference to the following transformation laws for f V −∞: ∈ ǫ,ν ν+1 (3.1) f(gaum 1,κn )= ǫκiu− f(g) − − ν+1 f(gaum1,κn )= κu− f(g), ee e −e e where κ,ǫ 1 , ν C, and u R>0. One can check that (3.1) follows from (2.9) and (2.13).∈ {± } ∈ ee e∈ e e In the following lemma, we give explicit formulas for (π(g)f)0 and (π(g)f) in ∞ terms of f0 and f for f Vǫ,ν−∞. In the statement of this lemma, we will use the ∞ ∈ following notational convention: for a,b,c,d R and κ e1 , let κ′ e 1 such that ∈ ∈ {± } ∈ {± } a b d c (3.2) ,κ s 1 = s 1 ,κ , c d − − b− a ′    −   with s as defined in (2.15). e e

1 a b Lemma 3.1. Let f V −∞ and g− = ,κ SL (R). e ∈ ǫ,ν c d ∈ 2    (a) If c =0 then 6 e f ν 1 ǫ/2 ax + b (π(g)f) (x)= κ( c,cx + d) cx + d − sgn(cx + d) f , 0 − H | | 0 cx + d   as an equality between distributions on R= −d . e 6 c (b) If c =0 then

ν 1 ǫ/2 x b (π(g)f) (x)= κ d − sgn(d) f + , 0 | | 0 d2 d   as an equality betweene distributions on R. (c) If b =0 then 6 (π(g)f) (x) ∞ ν 1 ǫ/2 dx c = κ′(b, bx + a)H bx + a − sgn( bx + a) f − , e − |− | − ∞ bx + a  −  as an equality between distributions on R= a . 6 b (d) If b =0 then

ν 1 ǫ/2 x c (π(g)f) (x)= κ′ a − sgn(a) f , ∞ | | ∞ a2 − a as an equality between distributions on R.   e Recall that κ′ is defined according to (3.2).

d Proof. For c = 0 and x = − , 6 6 c 1 ax + b 1 c (3.3) g− nx = n a( cx+d − )m(sgn(cx+d),κ( c,cx+d)H )n cx + d | | − − cx + d     e e e e e e 10 BRANDON BATE

By utilizing (3.1), we find that

ν 1 ǫ/2 ax + b (π(g)f) (x)= κ( c,cx + d) cx + d − sgn(cx + d) f , 0 − H | | 0 cx + d   as an equality between distributions on R −d . Similarly, when c = 0 (which implies e = c 1 6 that a = d− = 0) we see that 6 1 x b 1 (3.4) g− n = n + a( d − )m x d2 d | | sgn(d),κ   Thus e e e e e ν 1 ǫ/2 x b (π(g)f) (x)= κ d − sgn(d) f + , 0 | | 0 d2 d   as an equality between distributions on R. This proves parts (a) and (b). e By (3.2) we have 1 a b − a b π ,κ f (x)= f ,κ s 1n c d c d − x    ∞       1 d c d c − = f s 1 ,κ n = π e ,κe (π(s)f)(n ). − b− a ′ x b− a ′ x  −    −   We repeat thee argument in the priore paragraph, except with f replacede byeπ(s)f and a b d c with ,κ replaced by ,κ . The conclusion of this repeated c d b− a ′    −   e argument then yields parts (c) and (d) since (π(s)f)0 = f .  ∞ Define e a,b,c,d Z a b c (3.5) Γ (4) = , SL (R): a d ∈1(mod 4) , 1  c d d ∈ 2 ≡ ≡     c 0(mod 4)    ≡  e f where · is the Kronecker symbol. One can show that Γ1(4) is a well-defined · subgroup
of SL2(R). Since we will be performing several computations involving the Kronecker symbol, we state (without proof) some of itse important properties. More informationf concerning the Kronecker symbol can be found in [2, 3.4.3], [6, 5]. § § Proposition 3.2 (Properties of the Kronecker Symbol). Let a,b,m,n Z. ∈ (a) If p is an odd prime then 0 if a 0(mod p) a ≡ = 1 if there exists x Z such that x2 a 0(mod p) p  ∈ ≡ 6≡    1 if there are no solutions to x2 a(mod p). − ≡ 0  if a 0(mod 2) a ≡ (b) = 1 if a 1, 7(mod 8) 2  ≡    1 if a 3, 5(mod 8). − ≡ a a 1 if a< 0 a 1 if a = 1 (c) =1, = − and = ± 1 1 (1 if a 0, 0 (0 otherwise.   −  ≥   METAPLECTICEISENSTEINDISTRIBUTIONS 11

(d) If n = pe1 pek is the prime factorization of n then ± 1 ··· k a a a e1 a ek = . n 1 p1 ··· pk   ±     a b ab (e) If ab =0 then = . 6 n n n  a a  a (f) If mn =0 then = . 6 m n mn a  b   (g) If n> 0 then = if a b(mod m) where n n ≡     4n if n 2(mod 4) m = ≡ (n otherwise. a a (h) If a =0 and a 0, 1(mod 4) then = if m n(mod a). 6 ≡ m n ≡ (i) If m,n are positive odd integers then   

1 (n 1)/2 2 (n2 1)/8 m n (m−1)(n−1) − = ( 1) − , = ( 1) − , = ( 1) 4 , n − n − n m −        for gcd(m,n)=1.

Let δ0 denote the Dirac distribution on R centered at zero. By (2.28), the pair (δ0, 0) defines an element of Vǫ,ν−∞. We denote this element of Vǫ,ν−∞ by δǫ,ν,0. Let δǫ,ν, = π(s)δǫ,ν,0, with s as defined in (2.15). By (3.1), ∞

(3.6) (δǫ,ν, ) (x) = 0 and e ∞ 0 e (δǫ,ν, ) (x)= δǫ,ν,0(m 1,1nx)= σǫ(m 1, 1)δ0(x)= ǫiδ0(x). ∞ ∞ − − −

1 a b c Lemma 3.3. Let γ− = e , e Γ (4)e . c d d ∈ 1    (a) We have
e e c ν 1 ǫ/2 d c − − sgn(c) δ −d if c =0 (π(γ)δǫ,ν, )0 = | | c 6 ∞ (0
if c =0, as an equalitye between distributions on R. (b) We have

c ν 1 ǫ/2 ǫi( c, d)H d − − sgn(d) δ c if bc =0 − d | | d 6 (π(γ)δǫ,ν, ) = ǫiδ0 if b =0,c =0 ∞ ∞ 
6 ǫiδc if b =0, e as an equality between distributions on R. Proof. By Lemma 3.1(a,b),

(3.7) (π(γ)δǫ,ν, )0(x)=0, ∞ as an equality between distributions on R= −d when c = 0, and as an equality e 6 c 6 between distributions on R when c = 0. Thus for part (a) it remains to describe 12 BRANDON BATE

d (π(γ)δǫ,ν, )0 about the point − when c = 0. To do this, first observe that a, d =0 ∞ c 6 6 since γ Γ (4). Next, observe ∈ 1 e 1 b d c c d c − (3.8) e eγs = − − , (c,a)H = , (c,a)H a c d a b d      − −     (for c = 0). Thus by Lemma 3.1(a), 6 ee (3.9) (π(γ)δǫ,ν, )0(x) = (π(γs)δǫ,ν,0)0(x) ∞ c ν 1 ǫ/2 cx + d = (c,a) (a, ax b) ax + b − sgn( ax b) δ , ed H − −ee H | | − − 0 ax b    − −  as an equality between distributions on R= −b . 6 a We can further simplify (3.9). To do so, consider φ a test function on R −b . By = a performing various changes of variables, we have 6

(π(γ)δǫ,ν, )0(x)φ(x) dx R ∞ 6 −b Z = a

ec ν 1 ǫ/2 = (c,a)H (a, ax b)H ax + b − sgn( ax b) R d − − | | − − 6 −b Z = a   cx + d δ φ(x) dx · 0 ax b − −  bc c ν 1 ǫ/2 cx a + d = (c,a) (a, ax) ax − sgn( ax) δ − d H H 0 ax R=06 − | | − ! Z   − b φ x dx · − a   c ν 1 ǫ/2 c 1 = (c,a)H (a, ax)H ax − sgn( ax) δ0 − 2 R d − | | − a − a x Z =06     b φ x dx · − a   2 c 1 1 ν 1 1 ǫ/2 c x = x− (c,a)H (a,ax− )H ax− − sgn(ax− ) δ0 − + 2 R d | | a a Z =06     1 b φ x− dx · − − a   2 c 1 1 ν 1 1 ǫ/2 = (ax)− (c,a)H (a, (ax)− )H (ax)− − sgn((ax)− ) R d | | Z =06   c 2 1 b δ − + x φ (a x)− dx · 0 a · − − a     2 c 1 1 ν 1 1 ǫ/2 1 b = c− (c,a) (a,c− ) c− − sgn(c− ) φ d H H | | −ac − a     c ν 1 ǫ/2 d = c − − sgn(c) φ d | | − c     c ν 1 ǫ/2 = c − − sgn(c) δ −d (x)φ(x) dx. c d | | R −b =6   Z a METAPLECTICEISENSTEINDISTRIBUTIONS 13

b d In this last equality we have used the fact that −a = −c (since ad bc = 1). Thus for c = 0, 6 − 6 c ν 1 ǫ/2 (3.10) (π(γ)δǫ,ν, )0 = c − − sgn(c) δ −d , ∞ d | | c   b d as an equality between distributions on R −b . Since − = − then it follows from e = a a c 6 b 6 (3.7) that (π(γ)δ )0 vanishes about the point −a . Thus we conclude that (3.10) holds as an equality∞ between distributions on R. This proves part (a). In order toe prove part (b), we follow the same approach we used for part (a). If c = 0 then it follows from (3.8) and Lemma 3.1(c) that 6 (3.11) (π(γ)δǫ,ν, ) = (π(γs)δǫ,ν,0) = 0 (for c = 0), ∞ ∞ ∞ 6 as an equality between distributions on R= c . If instead c = 0, then we must have e ee 6 d a = d = 1 since γ Γ (4), and hence ∈ 1 1 b 1 0 1 − e γse= , 1 = , 1 . −1− 0 1 b    − −   Therefore when c =ee 0, it follows from this equality and Lemma 3.1(c) that

(3.12) (π(γ)δǫ,ν, ) = (π(γs)δǫ,ν,0) = 0 (for c = 0), ∞ ∞ ∞ as an equality between distributions on R=0. Thus it remains to describe (π(γ)δǫ,ν, ) c e ee 6 ∞ ∞ about the point d , both for the case of c = 0 and the case of c = 0. We proceed by 1 6 considering the following cases for γ− : e

(i) bc = 0, (ii)eb = 0 and c = 0, (iii) b = 0. 6 6

First we consider case (i) (bc = 0). If bc > 0, then ad = bc +1 > 1, which implies either a,d > 0 or a,d < 0. If instead6 bc < 0, then ad = bc +1 < 1, which implies either a > 0 and d < 0, or a < 0 and d> 0 (since ad = 0 because γ Γ1(4)). By 1 1 6 ∈ computing sγ− s− for each of these possibilities, one can show that e e 1 1 1 d c c (3.13) ee e γ− s− = s− − , (a, d)H . b a d −    For case (ii) (b = 0 ande ec = 0),e we find that (3.13) also holds (recall that if c = 0 6 then a = d = 1 since γ Γ1(4)). Thus in what follows, we consider cases (i) and (ii) simultaneously. ∈ Notice that (3.13) ise of thee form (3.2). Thus by Lemma 3.1(c) and (3.6) it follows that (3.14)

(π(γ)δǫ,ν, ) (x) ∞ ∞ c ν 1 ǫ/2 dx c = (a, d)H (b, bx + a)H bx + a − sgn( bx + a) (δǫ,ν, ) − e d − |− | − ∞ ∞ bx + a   −  c ν 1 ǫ/2 dx c = ǫi(a, d) (b, bx + a) bx + a − sgn( bx + a) δ − , H d − H |− | − 0 bx + a   −  14 BRANDON BATE as an equality between distributions on R= a . We simplify (3.14) by integrating it 6 b against a test function φ on R= a and then performing various changes of variables: 6 b

(π(γ)δǫ,ν, ) (x)φ(x) dx ∞ ∞ R6 a Z = b e c ν 1 ǫ/2 = ǫi (a, d)H (b, bx + a)H bx + a − sgn( bx + a) R6 a d − |− | − Z = b   dx c δ − φ(x) dx · 0 bx + a −  ad c ν 1 ǫ/2 dx + b c = ǫi (a, d) (b, bx) bx − sgn( bx) δ − H d H 0 bx R=06 − |− | − ! Z   − a φ x + dx · b   c ν 1 ǫ/2 d 1 = ǫi (a, d) (b, bx) bx − sgn( bx) δ − H d − H | | − 0 b − b2x ZR=06   a   φ x + dx · b   ǫ/2 c x ν 1 ν 1 x d 1 = ǫi (a, d) b, − b − − x − sgn − δ − H d b | | | | b 0 b − x ZR=06  H     x a   φ + dx · b2 b   ǫ/2 c 1 ν 1 ν 1 1 d = ǫi (a, d)H b, b − − x − − sgn δ0 − + x R=06 d bx H | | | | bx b Z        1 a φ − + dx · b2x b   ǫ/2 c 1 ν 1 1 1 a = ǫi(a, d)H b, d − − sgn φ − + d d H | | d bd b        c ǫ/2 ν 1 c = ǫi(a, d)H (b, d)H d − − sgn(d) δ d (x)φ(x) dx. d | | R6 a   Z = b a c In this last equality we once more use the fact that b = d . Thus for cases (i) and (ii) we have 6

c ν 1 ǫ/2 (3.15) (π(γ)δǫ,ν, ) = ǫi(a, d)H (b, d) d − − sgn(d) δ c , ∞ ∞ H d | | d   a c as an equality between distributions on R a . Since = it follows from (3.11) = b b d e 6 6 a (and (3.12)) that (π(γ)δǫ,ν, ) vanishes about the point b . Thus we conclude that (3.15) holds as an equality∞ between∞ distributions on R. For case (ii), (3.15)e simplifies to

(3.16) (π(γ)δǫ,ν, ) = ǫiδ0, ∞ ∞ as an equality between distributions on R. For case (i), we can also further simplify e (3.15); in particular, (a, d)H (b, d)H can be written more concisely. Observe that if d > 0 then it follows that (a, d)H (b, d)H = ( c, d)H since (x, d)H = 1 whenever d> 0. We wish to prove that this is also the− case for d< 0. To do so, recall that METAPLECTICEISENSTEINDISTRIBUTIONS 15

(x, z)H (y,z)H = (xy,z)H for x,y,z R=0. Therefore ∈ 6 (3.17) (a, d) (b, d) ( c, d) = (a, d) ( bc,d) . H H − H H − H If a> 0 then ad < 0, which implies bc =1 ad > 0, and hence (a, d)H ( bc,d)H = 1. If a < 0 then ad 9 since a d− 1(mod− 4), which implies bc = 1− ad < 0, ≥ ≡ ≡ − − and hence (a, d)H ( bc,d)H = 1. Thus by (3.17), (a, d)H (b, d)H = ( c, d)H (both for d> 0 and d< 0).− Hence for case (i), −

c ν 1 ǫ/2 (3.18) (π(γ)δǫ,ν, ) = ǫi( c, d)H d − − sgn(d) δ c ∞ ∞ − d | | d as an equality between distributions on R.   For case (iii), wee have 1 c (3.19) γ 1s 1 = s 1 , 1 , − − − 0− 1    since if b = 0 then a = d =e 1 sincee γ e Γ1(4). Notice that (3.19) is also an equation of the form (3.2). Thus by Lemma 3.1(d)∈ and (3.6), e (3.20) (π(γ)δǫ,ν, ) (x)e = (δǫ,ν, ) (x c)= ǫiδc(x). ∞ ∞ ∞ ∞ − as an equality between distributions on R. Taken together, (3.16), (3.18), and (3.20) prove part (b). e  Let 1 n (3.21) Γ = , 1 : n Z . ∞ 0 1 ∈     For Re(ν) > 1, we definee the metaplectic Eisenstein distribution at to be the ∞ following distribution in Vǫ,ν−∞: ( ) (3.22) Eǫ,ν∞ (g)= ζ2(2ν + 1) π(γ)δǫ,ν, (g), ∞ e e e γ Γ1X(4)/Γ∞ e ∈ where e e e ν ν 1 (3.23) ζ (ν)=(1 2− )ζ(ν)= (1 p− )− . 2 − − p oddY prime The summation over Γ1(4)/Γ is justified since by Lemma 3.3 and (3.6), we have ∞ ( ) that δǫ,ν, is Γ -invariant under left inverse translation. Thus Eǫ,ν∞ is at least for- ∞ ∞ e e mally Γ1(4)-invariant. We shall justify the convergence of this series momentarily. e a b e For γ 1 = , c , observe e − c d d    1 n
d b c 1 n (3.24) e γ , 1 = − , , 1 · 0 1 c a d · 0 1    −       d dn b c e= − , . c cn + a d − −    2 Thus to each coset γΓ of Γ1(4)/Γ , there corresponds (c, d) Z such that gcd(c, d) = 1, c 0(mod∞ 4), and d 1(mod4).∞ This correspondence∈ is unique, for ≡ ≡ if ee e e d γ′ = ∗ , Γ1(4), c ∗ ∈ − ∗  e e 16 BRANDON BATE

2 as must be the case if γ′Γ and γΓ corresponded to the same (c, d) Z , then ∞ ∞ ∈ 1 d (γ′)− γ =e e ∗ ∗ e, e ∗ , = ∗ ∗ , . c d ∗ c ∗ 0 ∗   − ∗   ∗  Since the matrixe coordinatee of this element must have determinant 1 and since 1 we require a d 1(mod 4), it follows that (γ′)− γ Γ . This shows that the ≡ ≡ ∈ ∞ correspondence of cosets of Γ/Γ to such (c, d) Z2 is in fact unique. Conversely, ∞ ∈ when given (c, d) Z2 such that gcd(c, d) = 1,ec 0(mode e 4), and d 1(mod 4), it ∈ ≡ ≡ follows that there exists a,be eZ such that ad bc = 1. Since c 0(mod 4) and d 1(mod 4) it follows that a∈ 1(mod 4). Thus− we are able to construct≡ γ which corresponds≡ to such (c, d). Therefore≡

2 e (3.25) Γ1(4)/Γ = (c, d) Z : gcd(c, d)=1,c 0(mod 4), d 1(mod 4) . ∞ ∼ { ∈ ≡ ≡ } Thus by Lemma 3.3, e e ( ) c ν 1 ǫ/2 (3.26) Eǫ,ν∞ (x)= ζ2(2ν + 1) c − − sgn(c) δ d (x), 0 d | | − c   (c,d) Z=06 Z  gcd(X∈c,d)=1× e d 1(mod 4) c≡0(mod 4) ≡ and

( ) (3.27) Eǫ,ν∞ (x)  ∞ c ǫ/2 e ν 1 c = ǫiζ2(2ν + 1) δ0(x)+ ( c, d)H d − − sgn(d) δ d (x) . − d | | ! (c,d) Z=06 Z   gcd(X∈c,d)=1× d 1(mod 4) c≡0(mod 4) ≡ Notice that for Re(ν) > 1, the integrals of (3.26) and (3.27) converge uniformly and absolutely against compactly supported test functions on R. Therefore since ( ) ( ) ( ) ( ) Eǫ,ν∞ is determined completely by Eǫ,ν∞ and Eǫ,ν∞ , it follows that Eǫ,ν∞ 0 depends holomorphically on ν for Re(ν) > 1. Furthermore, ∞ it follows that our series e ( ) e e e expansion for Eǫ,ν∞ converges in the strong distribution topology.

e 4. Gauss and Kloosterman Sums ( ) We will assume throughout this section that Re(ν) > 1. Since Eǫ,ν∞ is 0 periodic, it has a Fourier series expansion   e ( ) (4.1) Eǫ,ν∞ (x)= aǫ,ν(n)e(nx), 0 n Z   X∈ where e 1 ( ) 2πix (4.2) aǫ,ν (n)= Eǫ,ν∞ (x)e( nx) dx and e(x)= e . 0 0 − Z   By computing explicit formulase for aǫ,ν(n), we will be able to show in Section 6 ( ) 1 that Eǫ,ν∞ has holomorphic continuation to C except for simple poles on 0, . By { 2 } e METAPLECTICEISENSTEINDISTRIBUTIONS 17

(3.26), observe

1 aǫ,ν(n) c ν 1 ǫ/2 = c − − sgn(c) δ d (x)e( nx) dx c ζ2(2ν + 1) 0 d | | − − (c,d) Z=06 Z Z   gcd(X∈c,d)=1× d 1(mod 4) c≡0(mod 4) ≡ c ν 1 nd c ν 1 nd = c − − e + ǫi c − − e d | | c d | | c (c,d) Z>0 Z   (c,d) Z<0 Z   0 X∈ dc×   d ≤−1(mod 4) d ≥−1(mod 4) c≡0(mod 4) c≡0(mod 4) ≡ ≡ c ν 1 nd c ν 1 nd = c − − e + ǫi − c − − e d | | c d | | c (c,d) Z>0 Z   (c,d) Z>0 Z  −  0 X∈ d ×c d ≤−1(mod 4) d ≥−1(mod− 4) c≡0(mod 4) c≡0(mod 4) ≡ ≡ c ν 1 nd c ν 1 nd = c − − e − + ǫi − c − − e . d | | c d | | c (c,d) Z>0 Z−    (c,d) Z>0 Z  −  0 X∈d

c c c c For c> 0, we have d = d , and for d 1(mod 4) we have −d = d . Thus − ≡
 

ǫ c ν 1 nd a (n)= ǫiζ (2ν + 1) ∆− c− − e ǫ,ν 2 d d − c (c,d) Z>0 Z   0 X∈d0 Z     0 X∈d<4c× ≤ where 1 if d 1(mod 4) ≡ (4.3) ∆d = i if d 3(mod 4)  ≡ 0 otherwise.

Let 

κ 4c nd (4.4) K (n;4c)= ∆− e , κ d d 4c d Z/(4c)Z     ∈ X x nx (4.5) G(n; c)= e , c c x Z/cZ ∈X     where κ 1(mod2). The expressions in (4.4) and (4.5) are referred to as Klooster- man Sums≡ and Gauss Sums (respectively). Observe

ν 1 ν 1 a (n)= ǫi4− − ζ (2ν + 1) c− − K ( n;4c). ǫ,ν 2 ǫ − c Z> ∈X0 18 BRANDON BATE

Since Kκ(n; c)= K κ( n; c), it follows that − − ν 1 ν 1 aǫ,ν (n)= ǫi4− − ζ2(2ν + 1) c− − ǫ(K 1(ǫn;4c)), C− − c Z> ∈X0 where

z if ǫ =1, (4.6) ǫ(z)= C z if ǫ = 1. ( − k For c =2 c′ where gcd(2,c′) = 1 and k Z 0, it follows from [13, Lemma 2] that ∈ ≥ k+2 k+2 k+2 (4.7) K 1(n;4c)= K 1(n;2 c′)= K c′ (nc′;2 )G(n2 ; c′), − − −

k+2 where c′ and 2 are integers such that

k+2 k+2 k+2 (4.8) c′c 1(mod 2 ) and 2 2 1(mod c′). ′ ≡ ≡ Thus (4.9) ν 1 ν 1 aǫ,ν (n)= ǫi4− − ζ2(2ν + 1) c− − ǫ(K 1(ǫn;4c)) C− − c Z> ∈X0 ν 1 k ν 1 k+2 k+2 = ǫi4− − ζ2(2ν + 1) (2 c′)− − ǫ K c′ (ǫnc′;2 )G(ǫn2 ; c′) . − − ′ C c Z k Z≥0 >0 ∈   c′X∈odd X

In light of the comments following (3.27), we know that this series expansion con- verges uniformly and absolutely for Re(ν) > 1. The following lemmas give explicit formulas for the Gauss and Kloosterman sums that occur in (4.9). By utilizing these formulas, we will show in Section 5 that the Fourier coefficients aǫ,ν (n) can be expressed in terms of Dirichlet L-functions.

Lemma 4.1. Let c> 0 and odd. n 1/2 (a) If gcd(n,c)=1 and c is prime then G(n; c)= c ∆cc . (p−1)(q−1) (b) If c = pq and gcd(p, q)=1 then G(n; c) = ( 1)
4 G(n; p)G(n; q). Con- − (p−1)(q−1) sequently, ∆cG(n; c) is multiplicative since ∆p∆q = ( 1) 4 ∆pq. n− 1/2 (c) If c is square-free and gcd(n,c)=1 then G(n; c)= c ∆cc . ℓ (d) If k 2, p is prime, and n = p n′ where gcd(n′,p)=1 and ℓ Z 0, then ≥
∈ ≥ 0 if ℓ < k 1 k 1 − p − if ℓ = k 1, k even − − k n′ k 1/2 G(n; p )=  ∆ p − if ℓ = k 1, k odd  p p −  k k 1 p p − if ℓ k, k even − ≥ 0 if ℓ k, k odd.   ≥  (e) If c is not square-free then G(1; c)=0. METAPLECTICEISENSTEINDISTRIBUTIONS 19

The results in Lemma 4.1 are well-known and are proved using the usual tech- niques [1, 12, 15]. Let

1 if c 1(mod 8) ≡ 1 if c 1(mod 4) 1 if c 3(mod 8) ≡  ≡ (4.10) χ4(c)=  1 if c 3(mod 4) and χ8(c)=  1 if c 5(mod 8) − ≡ − ≡ 0 otherwise  1 if c 7(mod 8) − ≡  0 otherwise.    Lemma 4.2. Let c> 0 and odd.  (a) If n 1(mod 4) ≡ 1 ∆c− K c(nc;4)=(1+ i)χ4(c), where c Z such that cc 1(mod 4), − ∈ ≡ 1 3/2 ∆c− K c(nc;8)=2 (1 + i)χ8(c), where c Z such that cc 1(mod 8), − ∈ ≡ 1 k+2 k+2 ∆c− K c(nc;2 )=0, where c Z such that cc 1(mod 2 ), − ∈ ≡ for k 2. (b) If n ≥3(mod 4) then ≡ 1 ∆c− K c(nc;4) = (1 + i)χ4(c), where c Z such that cc 1(mod 4), − − ∈ ≡ 1 ∆c− K c(nc;8)=0, where c Z such that cc 1(mod 8), − ∈ ≡ 1 k+2 k+2 ∆c− K c(nc;2 )=0, where c Z such that cc 1(mod 2 ), − ∈ ≡ for k 2. ≥ ℓ (c) If n =2 n′, ℓ> 0, and gcd(n′, 2)=1, then

1 (1 + i)χ4(c) if ℓ> 1 ∆c− K c(nc;4) = − (1 + i)χ (c) if ℓ =1, (− 4 where c Z such that cc 1(mod 4), ∈ ≡ 1 ∆c− K c(nc;8)=0, − where c Z such that cc 1(mod 8), ∈ ≡ and for k 2 and c Z such that cc 1(mod 2k+2), we have: (1) if ℓ ≥k +2 then∈ ≡ ≥ k 1 k+2 (1 + i)2 χ4(c) if k even ∆c− K c(nc;2 )= − (0 if k odd, (2) if ℓ = k +1 then

k 1 k+2 (1 + i)2 χ4(c) if k even ∆c− K c(nc;2 )= − − (0 if k odd, (3) if ℓ = k then

k 1 k+2 (1 + i)2 χ4(n′c) if k even ∆c− K c(nc;2 )= − (0 if k odd, 20 BRANDON BATE

(4) if ℓ = k 1 then −

0 if k even or 1 k+2 n′ 3(mod 4) ∆c− K c(nc;2 )=  ≡ − 1+i k+1 k odd and  2 χ8(n′c′) if  √2 n′ 1(mod 4), ≡   (5) if ℓ k 2 then ≤ −

1 k+2 ∆c− K c(nc;2 )=0. − Proof. Observe that for k 0 we have ≥

1 k+2 1 k+2 (4.11) ∆c− K c(nc;2 ) = ∆− K b(mb;2 ) − b −

k+2 k+2 1 if c b(mod 2 ) and n m(mod 2 ). Thus the evaluation of ∆c− K c(nc; 4) ≡ 1 ≡ − and ∆c− K c(nc; 8) in parts (a), (b), and (c) follows from a finite number of compu- − 1 k+2 tations which are easy to perform. The evaluation of ∆c− K c(nc;2 ) for k 2 in parts (a) and (b) will follow from our proof of part (c.5). − ≥ If k 1 then ≥

k+2 K c(nc;2 ) − 2k+2 ncd 2k+2 ncd = ∆c e = ∆c e d d 2k+2 d d 2k+2 d(mod2k+2)     d(mod2k+2)     X dXodd ncd ncd = e + ( 1)kic e 2k+2 − 2k+2 d(mod2k+2)   d(mod2k+2)   d 1(modX 8) d 3(modX 8) ≡ ≡ ncd ncd + ( 1)k e + ic e − 2k+2 2k+2 d(mod2k+2)   d(mod2k+2)   d 5(mod8)X d 7(modX 8) ≡ ≡ ncd nc(d + 2) = e + ( 1)kic e 2k+2 − 2k+2 d(mod2k+2)   d(mod2k+2)   d 1(modX 8) d 1(modX 8) ≡ ≡ nc(d + 4) nc(d + 6) + ( 1)k e + ic e − 2k+2 2k+2 d(mod2k+2)   d(mod2k+2)   d 1(mod8)X d 1(modX 8) ≡ ≡ 2nc 4nc 6nc = 1 + ( 1)kice + ( 1)ke + ice − 2k+2 − 2k+2 2k+2        ncd e . · 2k+2 d(mod2k+2)   d 1(modX 8) ≡ METAPLECTICEISENSTEINDISTRIBUTIONS 21

ℓ Since we can write n =2 n′ where gcd(2,n′) = 1, this equation can also be written as k+2 (4.12) K c(nc;2 ) − ℓ+1 ℓ+2 ℓ+1 2 n′c 2 n′c 2 3n′c = 1 + ( 1)kice + ( 1)ke + ice · − 2k+2 − 2k+2 2k+2        2ℓn cd e ′ . · 2k+2 d(mod2k+2)   d 1(modX 8) ≡ 1 c Along with this equation, we shall often use the identity ∆c− (1 + i )=(1+ i)χ4(c) k+2 in evaluating K c(nc;2 ). Suppose that−k 2. ≥ If ℓ k + 2 then by (4.12) we have • ≥ 1 k+2 1 k c k c k 1 ∆c− K c(nc;2 ) = ∆c− (1 + ( 1) i + ( 1) + i )2 − − − − ∆ 1(1 + ic)2k if k even (1 + i)2kχ (c) if k even = c− = 4 (0 if k odd (0 if k odd. This proves part (c.1). If ℓ = k + 1 then by (4.12) we have • 1 k+2 ∆c− K c(nc;2 ) − 1 k c k c n′cd = ∆− (1 + ( 1) i + ( 1) + i ) e c − − 2 d(mod 2k+2)   d 1(modX 8) ≡ 1 c k k ∆− (1 + i )2 if k even (1 + i)2 χ (c) if k even = − c = − 4 (0 if k odd (0 if k odd. This proves part (c.2). If ℓ = k then by (4.12) we have • 1 k+2 ∆c− K c(nc;2 ) − 1 k c k c n′cd = ∆− (1 ( 1) i + ( 1) i ) e . c − − − − 4 d(mod2k+2)   d 1(modX 8) ≡ Observe

1 k c k c 2(1 i) if k even ∆c− (1 ( 1) i + ( 1) i )= − − − − − (0 if k odd, 1 c since ∆− (1 i )=1 i regardless of the value of c. Also observe c − − k 1 2 − i if c n′ 1(mod 4) k 1 ≡ ≡ n′cd  2 − i if c n′ 1(mod 4) e = − k 1 − ≡ ≡ 4  2 − i if c n′ 1(mod 4) d(mod2k+2)    X −k 1 ≡− ≡ d 1(mod 8) 2 − i if c n′ 3(mod 4) ≡ ≡ ≡ k 1  = i2 − χ4(n′c).  22 BRANDON BATE

Thus for k even, 1 k+2 k ∆c− K c(nc;2 )=(1+ i)2 χ4(n′c). − This proves part (c.3) If ℓ = k 1 then by (4.12) we have • − k+2 K c(nc;2 ) − n c n c 3n c = 1 + ( 1)kice ′ + ( 1)ke ′ + ice ′ − 4 − 2 4        n cd e ′ · 8 d(mod2k+2)   d 1(mod8)X ≡ n c n c 3n c = 1 + ( 1)kice ′ + ( 1)ke ′ + ice ′ − 4 − 2 4        n c d e ′ · 8 d(mod2k+2)   d 1(mod8)X ≡ k 1 k c n′c k n′c c 3n′c =2 − 1 + ( 1) i e + ( 1) e + i e − 4 − 2 4        n c e ′ · 8   k 1 k c+n′c k c+3n′c n′c =2 − 1 + ( 1) i ( 1) + i e . − − − 8     If n′c 1(mod 4) then ≡ ′ ′ ic+3n c = ic+3 = ic+1 = ic+n c. − − If n′c 3(mod 4) then ≡ ′ ′ ic+3n c = ic+1 = ic+3 = ic+n c. − − Therefore, regardless of the values of n′ and c, we have ′ ′ 1 + ( 1)kic+n c ( 1)k + ic+3n c − −′ − ′ =1+( 1)kic+n c ( 1)k ic+n c − − − − 0 if k even = ′ 2(1 ic+n c), if k odd. ( − k+2 Thus K c(nc;2 ) = 0 if k is even, and if k is odd then − k+2 k c+n′c n′c K c(nc;2 )=2 (1 i )e . − − 8   c+n′c k+2 If n′ 3(mod 4) then 1 i = 0, and hence K c(nc;2 ) = 0. Thus ≡ − k+2 − it remains to evaluate K c(nc;2 ) for n′ 1(mod 4). Towards this end, observe − ≡

′ n c ′ ′′ ′ n c (1 ic+n c)e ′ = (1 ic +n c )e ′′ ′ − 8 − 8     METAPLECTICEISENSTEINDISTRIBUTIONS 23

if c c′(mod 8) and n′ n′′(mod 8). In light of this, we give the following ≡ ≡ ′ ′ 1 k+2 1 k c+n c n c table for values of ∆−c K c(nc;2 ) = ∆c− 2 (1 i )e : − − 8 n′ c 1 3 5 7  \ 1 1+i 2k+1 1+i 2k+1 1+i 2k+1 1+i 2k+1 √2 √2 − √2 − √2 5 1+i 2k+1 1+i 2k+1 1+i 2k+1 1+i 2k+1 − √2 − √2 √2 √2 From this we see

1 k+2 1+ i k+1 ∆c− K c(nc;2 )= 2 χ8(n′c). − √2 This proves part (c.4). If 0 ℓ k 2 then • ≤ ≤ − ℓ d 2 n′cd n′c e k+2 = e k ℓ+2 . 2 2 − d(mod2k+2)   d(mod2k+2)   d 1(modX 8) d 1(modX 8) ≡ ≡ If ξ = e 1 and m is an odd integer then since 1 k ℓ 1, we have 2k−ℓ+2 ≤ − − that ξ8m = 1. Furthermore, since 6

ξ8m ξmd = ξm(d+8) = ξmd, k+2 k+2 k+2  d(2X )  d(mod2X ) d(mod2X ) d 1(mod 8)  d 1(mod 8) d 1(mod 8)  ≡  ≡ ≡ it follows  2ℓn cd e ′ =0. 2k+2 d(mod2k+2)   d 1(modX 8) ≡ 1 k+2 Hence by (4.12), we have that ∆c− K c(n′c′;2 ) = 0. This proves part (c.5). Since we have allowed for ℓ = 0,− we have also proven the remaining statements of parts (a) and (b) for k 2.  ≥ 5. The Meromorphic Continuation of Fourier Coefficients

In this section, we further simplify the Fourier coefficients aǫ,ν(n) (given in (4.9)). By doing so, we shall see that these Fourier coefficients have meromorphic contin- uation to C. Let k ǫn ν 1 2ν 1 1 (5.1) (ǫ, n, 2 ; ν)= 1 2− − 2 1 p− − − Gr − 2 − p odd prime     Yp n
| j k j j ν 1 χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − , · C− j Z ∈X≥0   and n n ν (5.2) L ν, = d− , d d Z>   ·  ∈X 0  where r =4, 8, ǫ is defined in (4.6), χr is defined in (4.10), and · is the Kronecker symbol (whoseC properties are stated in Proposition 3.2). We assum· e throughout
24 BRANDON BATE that n = 0. Recall that L ν, n converges for Re(ν) > 1. We will establish the 6 · same domain of convergence for 4 and 8 momentarily. In Proposition 5.2, we

G G n will see that aǫ,ν (n) can be expressed in terms of 4, 8, and L ν, . Also in Proposition 5.2, we will show that G G ·

k ν 1 (5.3) χr(c′) ǫ ∆c′ G(ǫn2 ; c′) (c′)− − − ′ C c Z>0   c′X∈odd converges absolutely for Re(ν) > 1, where either r = 4 and k is even, or r = 8 and k is odd. But since we have not yet proved this to be the case, the following lemma is given as a conditional statement.

Lemma 5.1. If (5.3) converges absolutely for Re(ν) > 1, then 4 and 8 converge absolutely for Re(ν) > 1, and G G

k ν 1 ζ2(2ν + 1) χr(c′) ǫ ∆c′ G(ǫn2 ; c′) (c′)− − − ′ C c Z>0   cX∈′odd 1 ǫn = L ν + , (ǫ, n, 2k; ν), 2 Gr   ·  for either r =4 and k even, or r =8 and k odd.

Proof. Throughout the proof, suppose Re(ν) > 1. By Lemma 4.1(b), it follows that k χr(c′) ǫ ∆c′ G(ǫn2 ; c′) is multiplicative. Thus C−   k ν 1 ζ2(2ν + 1) χr(c′) ǫ ∆c′ G(ǫn2 ; c′) (c′)− − − ′ C c Z>0   c′X∈odd j k j j ν 1 = ζ2(2ν + 1) χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − . C− p odd prime j Z Y ∈X≥0  

j k j j ν 1 By Lemma 4.1(d), if p ∤ n then χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − = 0 for j 2. C− ≥ By Lemma 4.1(a) and (4.8), if p ∤ n then  

k ǫn2 1 k ν 1 2 ν 2 ǫ ∆pG(ǫn2 ; p) p− − = ǫ ∆p p− − . C− C− p      Therefore

k ν 1 (5.4) ζ2(2ν + 1) χr(c′) ǫ ∆c′ G(ǫn2 ; c′) (c′)− − − ′ C c Z>0   c′X∈odd k ǫn2 1 2 ν 2 = ζ2(2ν + 1) 1+ χr(p) ǫ ∆p p− − C− p p odd prime     Yp∤n

j k j j ν 1 χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − . · C− p odd prime j Z≥0 Yp n ∈X   | METAPLECTICEISENSTEINDISTRIBUTIONS 25

2 In the case where r = 4 and k is even, it follows that χ4(p)∆p = 1 for all odd 2k primes p, and that p = 1. Thus by (5.4),   k ν 1 ζ2(2ν + 1) χ4(c′) ǫ ∆c′ G(ǫn2 ; c′) (c′)− − − ′ C c Z>0   cX∈′odd

ǫn ν 1 = ζ (2ν + 1) 1+ p− − 2 2 p p odd prime    Yp∤n

j k j j ν 1 χ4(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − . · C− p odd prime j Z≥0 Yp n ∈X   | Since for p ∤ n, 1 ǫn ν 1 2ν 1 ǫn ν 1 − (5.5) 1+ p− − 2 = 1 p− − 1 p− − 2 , p − · − p        
and since 2ν 1 1 (5.6) ζ (2ν +1)= 1 p− − − , 2 − p odd prime Y
it follows that

k ν 1 ζ2(2ν + 1) χ4(c′) ǫ ∆c′ G(ǫn2 ; c′) (c′)− − − ′ C c Z>0   cX∈′odd 1 2ν 1 1 ǫn ν 1 − = 1 p− − − 1 p− − 2 − − p p odd prime p odd prime    Yp n
Yp∤n | j k j j ν 1 χ4(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − · C− p odd prime j Z≥0 Yp n ∈X   | 1 ǫn ǫn ν 1 2ν 1 1 = L ν + , 1 2− − 2 1 p− − − 2 − 2 −  ·  p odd prime       Yp n
| j k j j ν 1 χ4(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − . · C− p odd prime j Z≥0 Yp n ∈X   | This proves the formula stated in the lemma for r = 4 and k even. We also see that k if (5.3) converges absolutely for Re(ν) > 1 then 4(ǫ, n, 2 ; ν) converges absolutely for Re(ν) > 1 and k even. G 2 2k 2 2 For the case of r = 8 and k odd, observe that χ8(p)∆p p = χ8(p)∆p p =1 2k  2   for all odd primes p; this follows from the fact that p = p since k is odd, and the fact that     2 1 if p 1, 7(mod 8) = ≡ p 1 if p 3, 5(mod 8).   (− ≡ 26 BRANDON BATE

Thus by (5.4),

k ν 1 ζ2(2ν + 1) χ8(c′) ǫ ∆c′ G(ǫn2 ; c′) (c′)− − − ′ C c Z>0   c′X∈odd

ǫn ν 1 = ζ (2ν + 1) 1+ p− − 2 2 p p odd prime    Yp∤n

j k j j ν 1 χ8(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − . · C− p odd prime j Z≥0 Yp n ∈X   |

The portion of the proof for r = 4 and k even, subsequent to (5.5), can be reapplied to complete the proof for r = 8 and k odd. 

In (4.9), we showed for Re(ν) > 1,

aǫ,ν (n)

ν 1 k ν 1 k+2 k+2 = ǫi4− − ζ2(2ν + 1) (2 c′)− − ǫ K c′ (ǫnc′;2 )G(ǫn2 ; c′) , − − ′ C c Z k Z≥0 >0 ∈   c′X∈odd X

( ) where aǫ,ν(n) is the n-th Fourier coefficient of Eǫ,ν∞ . Recall that this series 0 converges absolutely. By utilizing Lemmas 4.2 and 5.1, we are able to prove the following more detailed formulas for a (n) when ne = 0. ǫ,ν 6 Proposition 5.2. For Re(ν) > 1, (5.3) converges absolutely. Furthermore, for Re(ν) > 1, we have the following formulas for the Fourier coefficients aǫ,ν(n) of ( ) Eǫ,ν∞ : 0   (a) If ǫn 3(mod 4) then e ≡

ν 1 1 ǫn a (n)= (1 + ǫi)4− − L ν + , (ǫ, n, 4; ν). ǫ,ν − 2 G4   ·  (b) If ǫn 1(mod 4) then ≡

ν 1 1 ǫn a (n)=(1+ ǫi)4− − L ν + , (ǫ, n, 4; ν) ǫ,ν 2 G4   ·  ν 1 1 ǫn +(1+ ǫi)8− − 2 L ν + , (ǫ, n, 8; ν). 2 G8   · 

(c) If n =2n′ where gcd(n′, 2)=1 then

ν 1 1 ǫn a (n)= (1 + ǫi)4− − L ν + , (ǫ, n, 4; ν). ǫ,ν − 2 G4   ·  METAPLECTICEISENSTEINDISTRIBUTIONS 27

ℓ (d) If n =2 n′ where ℓ> 1 and gcd(n′, 2)=1, then

ℓ 2 − ν 1 1 ǫn a (n)=(1+ ǫi) 2k 2k+2 − − L ν + , (ǫ, n, 2k+2; ν) ǫ,ν 2 G4 k=0  ·  kXeven
  ℓ 1 ℓ+1 ν 1 1 ǫn ℓ+1 δℓ 1(2)(1 + ǫi)2 − 2 − − L ν + , 4(ǫ, n, 2 ; ν) − ≡ 2 G  · 
  ℓ ℓ+2 ν 1 1 ǫn ℓ+2 + δℓ 0(2)(1 + ǫi)2 2 − − χ4(ǫn′)L ν + , 4(ǫ, n, 2 ; ν) ≡ 2 G  · 
  ℓ+ 3 ℓ+3 ν 1 1 ǫn + δℓ 0(2)δn′ 1(4)(1 + ǫi)2 2 2 − − χ8(ǫn′)L ν + , ≡ ≡ 2   ·  (ǫ, n, 2ℓ+3; ν),
· G8 1 if ℓ j(mod m), where δℓ j(m) = ≡ for j,ℓ,m Z. ≡ (0 otherwise, ∈

Proof. Suppose ǫn 3(mod 4). By (4.9) and Lemma 4.2(b), ≡ ν 1 k ν 1 aǫ,ν (n)= ǫi4− − ζ2(2ν + 1) (2 c′)− − ′ c Z k Z≥0 >0 ∈ c′X∈odd X 1 k+2 k+2 ǫ ∆−′ K c′ (ǫnc′;2 )∆c′ G(ǫn2 ; c′) ·C− c − ν 1  ν 1 1  = ǫi4− − ζ2(2ν + 1) (c′)− − ǫ ∆−′ K c′ (ǫnc′; 4)∆c′ G(ǫn4; c′) − c − ′ C c Z>0 cX∈′odd
ν 1 ν 1 = ǫi4− − ζ2(2ν + 1) (c′)− − ǫ(( 1 i)χ4(c′)) ǫ ∆c′ G(ǫn4; c′) − − ′ C − − C c Z>0 ∈′ cXodd
ν 1 ν 1 = ǫi4− − ζ2(2ν + 1) (c′)− − ( 1+ ǫi)χ4(c′) ǫ ∆c′ G(ǫn4; c′) − ′ − C c Z>0 cX∈′odd
ν 1 ν 1 = (1 + ǫi)4− − ζ2(2ν + 1) χ4(c′) ǫ ∆c′ G(ǫn4; c′) (c′)− − . − − ′ C c Z>0 cX∈′odd

We now see that aǫ,ν(n) has a series of the form (5.3). Since aǫ,ν (n) converges absolutely for Re(ν) > 1, this series of the form (5.3) must also converges absolutely for Re(ν) > 1. Part (a) then follows from Lemma 5.1. Suppose ǫn 1(mod 4). By (4.9) and Lemma 4.2(a), ≡

aǫ,ν(n) ν 1 ν 1 1 = ǫi4− − ζ2(2ν + 1) (c′)− − ǫ ∆−′ K c′ (ǫnc′; 4)∆c′ G(ǫn4; c′) − c − ′ C c Z>0 c′X∈odd
ν 1 ν 1 1 + ǫi4− − ζ2(2ν + 1) (2c′)− − ǫ ∆−′ K c′ (ǫnc′; 8)∆c′ G(ǫn8; c′) − c − ′ C c Z>0 c′X∈odd
28 BRANDON BATE

ν 1 ν 1 = ǫi4− − ζ2(2ν + 1) (c′)− − ǫ((1 + i)χ4(c′)) ǫ ∆c′ G(ǫn4; c′) − − ′ C C c Z>0 c′X∈odd
ν 1 ν 1 3 + ǫi4− − ζ2(2ν + 1) (2c′)− − ǫ 2 2 (1 + i)χ8(c′) ǫ ∆c′ G(ǫn8; c′) − − ′ C C c Z>0   c′X∈odd
ν 1 ν 1 = ǫi4− − ζ2(2ν + 1) (c′)− − (1 ǫi)χ4(c′) ǫ ∆c′ G(ǫn4; c′) − ′ − C c Z>0 c′X∈odd
ν 1 ν 1 3 + ǫi4− − ζ2(2ν + 1) (2c′)− − 2 2 (1 ǫi)χ8(c′) ǫ ∆c′ G(ǫn8; c′) − ′ − C c Z>0 c′X∈odd
ν 1 ν 1 = (1+ ǫi)4− − ζ2(2ν + 1) χ4(c′) ǫ ∆c′ G(ǫn4; c′) (c′)− − − ′ C c Z>0 cX∈′odd
3 ν 1 ν 1 +(1+ ǫi)2 2 8− − ζ2(2ν + 1) χ8(c′) ǫ ∆c′ G(ǫn8; c′) (c′)− − . − ′ C c Z>0 c′X∈odd

Once again, we see that aǫ,ν(n) contains series of the form (5.3). Since aǫ,ν (n) converges absolutely for Re(ν) > 1, it follows then that these series of the form (5.3) must also converges absolutely for Re(ν) > 1. Part (b) then follows from Lemma 5.1. Suppose n =2n′ with gcd(n′, 2) = 1. By (4.9) and Lemma 4.2(c),

ν 1 ν 1 1 aǫ,ν (n)= ǫi4− − ζ2(2ν + 1) (c′)− − ǫ ∆−′ K c′ (ǫnc′; 4)∆c′ G(ǫn4; c′) − c − ′ C c Z>0 c′X∈odd
ν 1 ν 1 = ǫi4− − ζ2(2ν + 1) (c′)− − ǫ(( 1 i)χ4(c′)) ǫ ∆c′ G(ǫn4; c′) − − ′ C − − C c Z>0 c′X∈odd
ν 1 ν 1 = (1 + ǫi)4− − ζ2(2ν + 1) χ4(c′) ǫ ∆c′ G(ǫn4; c′) (c′)− − . − − ′ C c Z>0 c′X∈odd

As was the case with parts (a) and (b), aǫ,ν (n) consists of a series of the form (5.3). Since aǫ,ν (n) converges absolutely for Re(ν) > 1, it follows then that this series of the form (5.3) must also converges absolutely for Re(ν) > 1. Part (c) then follows from Lemma 5.1. ℓ Suppose n =2 n′ with gcd(n′, 2)= 1 and ℓ> 1. By (4.9) and Lemma 4.2(c),

−ν−1 k ′ −ν−1 aǫ,ν (n)= ǫi4 ζ2(2ν + 1) (2 c ) ′ c X∈Z>0 k∈XZ≥0 c′ odd

−1 ′ k+2 k+2 ′ −ǫ ∆c′ K−c′ (ǫnc ; 2 )∆c′ G(ǫn2 ; c ) ·C   METAPLECTICEISENSTEINDISTRIBUTIONS 29

−ν−1 ′ −ν−1 ′ ′ = ǫi4 ζ2(2ν + 1) (c ) −ǫ (1 + i)χ4(c ) −ǫ ∆c′ G(ǫn4; c ) ′ C C c X∈Z>0

c′ odd ℓ−2 −ν−1 k ′ −ν−1 ′ k + ǫi4 ζ2(2ν + 1) (2 c ) −ǫ (1 + i)χ4(c )2 ′ C   c X∈Z> Xk=2 0 k even c′ odd

k+2 ′ −ǫ ∆c′ G(ǫn2 ; c ) ·C   −ν−1 ℓ−1 ′ −ν−1 ′ ℓ−1 + δℓ≡1(2)ǫi4 ζ2(2ν + 1) (2 c ) −ǫ ( 1 i)χ4(c )2 ′ C  − −  c X∈Z>0 c′ odd

ℓ+1 ′ −ǫ ∆c′ G(ǫn2 ; c ) ·C   −ν−1 ℓ ′ −ν−1 ′ ′ ℓ + δℓ≡0(2)ǫi4 ζ2(2ν + 1) (2 c ) −ǫ (1 + i)χ4(ǫn c )2 ′ C   c X∈Z>0 c′ odd

ℓ+2 ′ −ǫ ∆c′ G(ǫn2 ; c ) ·C   −ν−1 ℓ+1 ′ −ν−1 + δℓ≡0(2)δn′≡1(4)ǫi4 ζ2(2ν + 1) (2 c ) ′ c X∈Z>0 c′ odd

1+ i ℓ+2 ′ ′ ℓ+3 ′ −ǫ 2 χ8(ǫn c ) −ǫ ∆c′ G(ǫn2 ; c ) ·C  √2 C   −ν−1 ′ ′ ′ −ν−1 = (1+ ǫi)4 ζ2(2ν + 1) χ4(c ) −ǫ ∆c′ G(ǫn4; c ) (c ) ′ C c X∈Z>0
c′ odd ℓ−2 −ν−1 k k+2 +(1+ ǫi) 2 2 ζ2(2ν + 1) Xk=2   k even

′ k+2 ′ ′ −ν−1 χ4(c ) −ǫ ∆c′ G(ǫn2 ; c ) (c ) · ′ C   c X∈Z>0 c′ odd −ν−1 ℓ−1 ℓ+1 δℓ≡1(2)(1 + ǫi)2 2 ζ2(2ν + 1) −   ′ ℓ+1 ′ ′ −ν−1 χ4(c ) −ǫ ∆c′ G(ǫn2 ; c ) (c ) · ′ C   c X∈Z>0 c′ odd −ν−1 ℓ ℓ+2 ′ + δℓ≡0(2)(1 + ǫi)2 2 χ4(ǫn )ζ2(2ν + 1)   ′ ℓ+2 ′ ′ −ν−1 χ4(c ) −ǫ ∆c′ G(ǫn2 ; c ) (c ) · ′ C   c X∈Z>0 c′ odd −ν−1 1+ ǫi ℓ+2 ℓ+3 ′ + δℓ≡0(2)δn′≡1(4) 2 2 χ8(ǫn )ζ2(2ν + 1) √2   ′ ℓ+3 ′ ′ −ν−1 χ8(c ) −ǫ ∆c′ G(ǫn2 ; c ) (c ) . · ′ C   c X∈Z>0 c′ odd

Notice that aǫ,ν(n) has several series of the form (5.3). Since aǫ,ν (n) converges absolutely for Re(ν) > 1, it follows then that these series of the form (5.3) must also converges absolutely for Re(ν) > 1. Part (d) then follows from Lemma 5.1.  30 BRANDON BATE

For n = 0, we wish to show that aǫ,ν(n) has a meromorphic continuation to C. 6 k+2 Proposition 5.2 does not show this as yet, since r(ǫ, n, 2 ; ν), for r = 4, 8, is not seen from its definition (given in (5.1)) to haveG meromorphic continuation. In 1 ǫn k+2 what follows, we will analyze the product L ν + 2 , r(ǫ, n, 2 ; ν) for even k when r = 4 and for odd k when r = 8. We will find· thatG such products have meromorphic continuation, and therefore by Proposition

5.2, we will have that aǫ,ν(n) has a meromorphic continuation to C for n = 0. To begin, we write 6

(5.7) ǫn = st where s = pe and t = ǫ sgn(n) pe. pe n pe n e>Y0|| even eYodd|| For Re(ν) > 1,

1 1 t t ν 1 − L ν + , = 1 p− − 2 2 − p p prime   ·  Y     1 1 t ν 1 − t ν 1 − = 1 p− − 2 1 p− − 2 − p − p p prime    p prime    Yp s Yp∤s | 1 t ν 1 − 1 ǫn = 1 p− − 2 L ν + , , − p 2 p prime     ·  Yp s   | since ǫn = 0 for p s and ǫn = st = t for p ∤ s. Thus p | p p p         1 ǫn t ν 1 1 t (5.8) L ν + , = 1 p− − 2 L ν + , . 2 − p 2  ·  p prime      ·    Yp s | Therefore by (5.8) and (5.1), (5.9)

1 ǫn L ν + , (ǫ, n, 2k; ν) 2 Gr   · 

ǫn ν 1 1 t t ν 1 = p2,ǫn 1 2− − 2 L ν + ,  1 p− − 2  · − 2 2 − p   ·  p odd prime         Yp s   |   

2ν 1 1 j k j j ν 1  1 p− − − χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − , · − C− p odd prime j Z≥0  Yp n
∈X     |    where r =4, 8 and

1 t ν 2 1 2 2− − if 2 s, (5.10) p2,ǫn = − | (1
 otherwise, METAPLECTICEISENSTEINDISTRIBUTIONS 31 with s and t as defined in (5.7). Since

t ν 1 t ν 1 2ν 1 (5.11) 1 p− − 2 1+ p− − 2 =1 p− − − p p −        it follows from (5.9) that

(5.12)

1 ǫn L ν + , (ǫ, n, 2k; ν) 2 Gr   ·  ǫn ν 1 1 t = p 1 2− − 2 L ν + , 2,ǫn · − 2 2       ·  t ν 1 1 p− − 2 p j j j ν 1 − j k  2ν 1 χr(p ) ǫ ∆p G(ǫn2 ; p ) (p )− −  ·  1  p− −  C− p odd prime − j Z≥0  Yp s ∈X     |     

2ν 1 1 j k j j ν 1  1 p− − − χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− −  · − C− p odd prime j Z≥0  Yp t
∈X     |    ǫn ν 1 1 t = p 1 2− − 2 L ν + , 2,ǫn · − 2 2       ·  1 1 − t ν j k j j ν 1  1+ p− − 2 χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− −  · p C− p odd prime    j Z≥0  Yp s ∈X     |   

2ν 1 1 j k j j ν 1  1 p− − − χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − . · − C− p odd prime j Z≥0  Yp t
∈X     |    The following lemma allows us to further simplify (5.12).

Lemma 5.3. Suppose Re(ν) > 1, n =0, and ǫ = 1, with ǫn = st as in (5.7). 6 ± (a) If p is an odd prime such that pe t, e Z , then || ∈ >0

e 1 − j k j j ν 1 2ν 1 jν χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − = (1 p− − ) p− , C− − j Z≥0 j=0 ∈X   jXeven

where r =4, 8. 32 BRANDON BATE

e (b) Let p be an odd prime such that p s, e Z>0. If r = 4 and k is even, or if r =8 and k is odd, then || ∈

j k j j ν 1 χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − C− j Z ∈X≥0  

e 2 t ν 1 t ν 1 − jν eν = 1+ p− − 2  1 p− − 2 p− + p− . p − p         j=0  jXeven      Proof. First we prove part (a). Since pe t, by (5.7), we know that e is odd. Also e || by (5.7), we have that ǫn = p n′′ for some n′′ Z such that gcd(n′′,p) = 1. Since k ∈ k e p is an odd prime and since 2 is an even integer, we also have that ǫn2 = p n′ for some n′ Z such that gcd(n′,p) = 1. Thus by Lemma 4.1(d), ∈ j k j j ν 1 χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − C− j Z ∈X≥0   e 1 − j k j j ν 1 = χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − C− j=0 jXeven  

e+1 k e+1 e+1 ν 1 + χr(p ) ǫ ∆pe+1 G(ǫn2 ; p ) (p )− − C− e 1   − j j 1 j ν 1 e e+1 ν 1 =1+ (p p − )(p )− − p (p )− − . − − j=2 jXeven In the last equality, we also used the fact that pj 1(mod8) for j even, hence j ≡ χr(p )=1 for j even. Further simplifications show that

j k j j ν 1 χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − C− j Z ∈X≥0   e 1 − jν jν 1 (e+1)ν 1 =1+ (p− p− − ) p− − − − j=2 jXeven e 3 2ν 1 − jν (j+2)ν 1 (e 1)ν (e+1)ν 1 =1 p− − + (p− p− − )+ p− − p− − − − − j=2 jXeven e 3 − 2ν 1 2ν 1 jν 2ν 1 (e 1)ν = (1 p− − )+(1 p− − ) p− + (1 p− − )p− − − − − j=2 jXeven e 1 2ν 1 − jν = (1 p− − ) p− . − j=0 jXeven This proves part (a). Next we prove part (b). Since pe s, by (5.7), we know that e is even. Thus, || k e as we argued for in part (a), we have that ǫn2 = p n′ for some n′ Z such that ∈ METAPLECTICEISENSTEINDISTRIBUTIONS 33 gcd(n′,p) = 1. Therefore by Lemma 4.1(d),

j k j j ν 1 χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − C− j Z ∈X≥0   e j k j j ν 1 = χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − C− j=0 jXeven  

e+1 k e+1 e+1 ν 1 + χr(p ) ǫ ∆pe+1 G(ǫn2 ; p ) (p )− − C− e   j j 1 j ν 1 =1+ (p p − )(p )− − − j=2 jXeven k e+1 2 n′ e+ 1 e+1 ν 1 + χr(p ) ǫ ∆pe+1 ∆pp 2 (p )− − . C− p     e+1 2k For r = 4 and k even, χr(p )∆pe+1 ∆p = 1 for all odd primes p and p = 1. 2k 2 e+1 2   For r = 8 and k odd, p = p and χr(p )∆pe+1 p ∆p = 1 for all odd primes p. Thus for r = 4 andk even,  orr = 8 and k odd,  

j k j j ν 1 χr(p ) ǫ ∆pj G(ǫn2 ; p ) (p )− − C− j Z ∈X≥0   e j j 1 j ν 1 n′ e+ 1 e+1 ν 1 =1+ (p p − )(p )− − + p 2 (p )− − − p j=2   jXeven e jν jν 1 n′ (e+1)ν 1 =1+ (p− p− − )+ p− − 2 − p j=2   jXeven e 2 2ν 1 − jν (j+2)ν 1 eν n′ (e+1)ν 1 =1 p− − + (p− p− − )+ p− + p− − 2 − − p j=2   jXeven e 2 − 2ν 1 jν eν n′ ν 1 = (1 p− − ) p− + p− 1+ p− − 2 − p j=0     jXeven

e 2 − n′ ν 1 n′ ν 1 jν eν = 1+ p− − 2  1 p− − 2 p− + p− . p − p         j=0  jXeven      n′ t  Part (b) now follows since p = p .     Let 1 ǫn (5.13) (ǫn,ν)= L ν + , (ǫ, n, 2k; ν), L 2 Gr   ·  where r = 4 and k is even, or r = 8 and k is odd. Notice that in our notation for (ǫn,ν) we fail to account for r and k. This is justified since by Lemma 5.3 and L 34 BRANDON BATE

(5.12) we have that (5.14) (ǫn,ν) L

e 1 ǫn ν 1 1 t − jν = p2,ǫn 1 2− − 2 L ν + ,  p−  · − 2 2   ·  p odd prime j=0     pe Yt, e>0 jXeven  ||     e 2 t ν 1 − jν eν  1 p− − 2 p− + p− , · − p p odd prime     j=0 pe Ys, e>0  jXeven  ||     for Re(ν) > 1 (recall that p2,ǫn is defined in (5.10) and s and t are defined in (5.7)). Observe that (5.14) is the product of a Dirichlet polynomial and the Dirichlet L- 1 t 1 t function L ν + 2 , . If t = 1 then L ν + 2 , has holomorphic continuation · 6 1 t · to all of C. If t = 1 then L ν + 2 , has holomorphic continuation to all of C

1 ·

except for a simple pole ν = 2 . Therefore, by Proposition 5.2, we see that for n = 0,

6 1 aǫ,ν(n) has holomorphic continuation to all of C except for a simple pole at ν = 2 if ǫn is a square. We record this result along with explicit formulas for aǫ,ν (n) in the following theorem.

Theorem 5.4. The Fourier coefficients aǫ,ν(n) for n = 0 have holomorphic con- 1 6 tinuation to C except for a simple pole at ν = 2 when ǫn is a square. Furthermore, a (n)= c (n) (ǫn; ν) where c (n) is defined accordingly: ǫ,ν ǫ,ν L ǫ,ν If ǫn 3(mod 4) or n =2n′ where gcd(n′, 2)=1 then • ≡ ν 1 c (n)= (1 + ǫi)4− − . ǫ,ν − If ǫn 1(mod 4) then • ≡ ν 1 ν 1 cǫ,ν(n)=(1+ ǫi) 4− − +8− − 2 .

ℓ   If n =2 n′ where ℓ> 1 and gcd(n′, 2)=1, then • ℓ 2 − k k+2 ν 1 ℓ 1 ℓ+1 ν 1 cǫ,ν(n)=(1+ ǫi) 2 2 − − δℓ 1(2)2 − 2 − − − ≡ k=0 kXeven

ℓ ℓ+2 ν 1 + δℓ 0(2)χ4(ǫn′)2 2 − − ≡

ℓ+ 3 ℓ+3 ν 1 + δℓ 0(2)δn′ 1(4)χ8(ǫn′)2 2 2 − − ≡ ≡ !
1 if ℓ j(mod m), where δℓ j(m) = ≡ for j,ℓ,m Z. ≡ (0 otherwise, ∈

In the following proposition we obtain a formula for the Fourier coefficient aǫ,ν(0). This formula shows that aǫ,ν(0) also has a holomorphic continuation to all of C 1 except for a pole at ν = 2 . This formula for aǫ,ν (0) will play a vital role in establishing a functional equation for metaplectic Eisenstein distributions in Section 9. METAPLECTICEISENSTEINDISTRIBUTIONS 35

Proposition 5.5. For Re(ν) > 1, 2ν 2 aǫ,ν (0) = (1+ ǫi)2− − ζ(2ν). Proof. By (4.9) and (4.4),

ν 1 ν 1 aǫ,ν(0) = ǫi4− − ζ2(2ν + 1) c− − ǫ(K 1(0;4c)) C− − c Z> ∈X0

ν 1 ν 1 4c = ǫi4− − ζ2(2ν + 1) c− − ǫ ∆d . C−  d  c Z>0 d Z/4cZ   ∈X ∈X If c is a square then   4c 1+ i ∆ = ∆ = φ(4c), d d d 2 d Z/4cZ   d Z/4cZ ∈X ∈dXodd gcd(c,d)=1 where φ is the Euler totient function. If c is not a square then we can select 4c d′′ (Z/4cZ)∗ such that ′′ = 1. This follows from the law of quadratic ∈ d − reciprocity (Proposition 3.2) and [12, Theorem 5.2.3]. Notice that d′′ 1(mod 4). 4c
4c ≡± If d′′ 1(mod 4) then d′′ = 1 since 1 = 1. Thus we can always find ≡ − − − − 4c d′ (Z/4cZ)∗ such that d′ 1(mod 4) and ′ = 1. Since ∈ ≡ d − 4c 4c 4c 4c = it follows
that =0. d′ d d d   d(mod4c)  d(mod4c)  d(mod4c)  dX1(4) dX1(4) dX1(4) ≡ ≡ ≡ By the same argument, it also follows that 4c 4c =0, and thus =0. d d d(mod4c)  d(mod4c)  X dX3(4) ≡ Therefore if c is not a square then 4c ∆ =0. d d d Z/4cZ   ∈X Thus

ν 1 ν 1 1 ǫi a (0) = ǫi4− − ζ (2ν + 1) c− − − φ(4c) ǫ,ν 2 2 c Z>0 c a∈X square

1+ ǫi ν 1 2ν 2 2 = 4− − ζ (2ν + 1) c− − φ(4c ) 2 2 c Z> ∈X0

1+ ǫi ν 1 k 2ν 2 2k+2 2 = 4− − ζ (2ν + 1) (2 c)− − φ(2 c ) 2 2   c Z>0 k Z≥0  c∈Xodd ∈X   

1+ ǫi ν 1 k 2ν 2 2ν 2 2k+1 2 = 4− − ζ (2ν + 1) (2 )− − c− − 2 φ(c ) 2 2   c Z>0 k Z≥0  c∈Xodd ∈X    36 BRANDON BATE

1+ ǫi ν 1 2kν 2ν 2 2 = 4− − ζ (2ν + 1) 2 2− c− − φ(c ) 2 2   c Z>0 k Z≥0  c∈Xodd ∈X   

2ν 2 2ν 1 2ν 2 2 = (1+ ǫi)2− − (1 2− )− ζ (2ν + 1) c− − φ(c ) . − 2   c Z>0  c∈Xodd    Since φ(c2) is multiplicative,

2ν 2 2ν 1 k 2ν 2 2k a (0) = (1+ ǫi)2− − 1 2− − ζ (2ν + 1) (p )− − φ(p ). ǫ,ν − 2 p odd prime k Z
Y ∈X≥0 Observe that for odd primes p,

2ν 1 k 2ν 2 2k 2kν 2k 2k 2k 1 1 p− − (5.15) (p )− − φ(p )=1+ p− − (p p − )= − . − 1 p 2ν k Z k Z − ∈X≥0 ∈X≥1 −

Using this expression and the Euler product expansion for ζ2(2ν + 1), we find that

2ν 1 2ν 2 2ν 1 1 p− − aǫ,ν (0) = (1+ ǫi)2− − (1 2− )− ζ2(2ν + 1) − 2ν − 1 p− p oddY prime − 2ν 2 2ν 1 2ν 1 = (1+ ǫi)2− − (1 2− )− (1 p− )− − − p oddY prime 2ν 2 = (1+ ǫi)2− − ζ(2ν). 

( ) 6. The Meromorphic Continuation of Eǫ,ν∞ Now that we have established the meromorphic continuation of the Fourier coef- ( ) e ficients aǫ,ν(n), it remains to show that Eǫ,ν∞ also has a meromorphic continuation. The first step to accomplishing this is to establish some bounds for a (n) . We | ǫ,ν | begin by finding bounds for (ǫn,ν) , whiche is defined in (5.14). |L | For Re(ν) 0, we have the following (crude) bounds (recall that p2,ǫn was defined in (5.10),≥ and s and t are defined in (5.7)):

2 2 ǫn ν 1 Re(ν) 1 1 (6.1) p 1 2− − 2 1+2− − 2 1+2− 2 < 4, 2,ǫn · − 2 ≤ ≤        

e 1 e 1 − jν − e (6.2) p− 1 < p n , ≤ ≤ | | p odd prime j=0 p odd prime j=0 p odd prime pe Yt, e>0 jXeven pe Yt, e>0 jXeven pe Yt, e>0 || || ||

e 2 t ν 1 − jν eν (6.3)  1 p− − 2 p− + p−  − p p odd prime     j=0 pe Ys, e>0  jXeven  ||    

METAPLECTICEISENSTEINDISTRIBUTIONS 37

e e 2 − jν t ν 1 jν =  p− p− − 2 p−  − p p odd prime j=0   j=0 pe Ys, e>0 jXeven jXeven  ||    

e e 2 jν t ν 1 − jν  p− + p− − 2 p−  ≤ p p odd prime j=0   j=0 pe Ys, e>0  jXeven jXeven  ||     e e 2 1 −  1+ p− 2 1 ≤ p odd prime j=0 j=0 pe Ys, e>0 jXeven jXeven  ||     < (pe + pe) < pe+1 n 2. ≤ | | p odd prime p odd prime pe Ys, e>0 pe Ys, e>0 || || For Re(ν) 0, we have the following bounds: ≤ 2 ǫn ν 1 Re(ν) 1 (6.4) p 1 2− − 2 1+2− − 2 2,ǫn · − 2 ≤ 2  Re(ν)  Re(ν)+1  < 2 2− =4− , ·  

e 1 − jν eRe(ν) e( Re(ν)+1) (6.5) p− < e p− < p − · p odd prime j=0 p odd prime p odd prime pe Yt, e>0 jXeven pe Yt, e>0 pe Yt, e>0 || || ||

Re(ν)+1 n − , ≤ | |

e 2 − t ν 1 jν eν (6.6)  1 p− − 2 p− + p−  − p p odd prime     j=0 pe Ys, e>0  jXeven  ||     e e 2 − jν t ν 1 jν =  p− p− − 2 p−  − p p odd prime j=0   j=0 pe Ys, e>0 jXeven jXeven  ||    

e e 2 jν t ν 1 − jν  p− + p− − 2 p−  ≤ p p odd prime j=0   j=0 pe Ys, e>0  jXeven jXeven  ||    

e e 2 eRe(ν) Re(ν) 1 − eRe(ν)  p− + p− − 2 p−  ≤ p odd prime j=0 j=0 pe Ys, e>0 jXeven jXeven  ||     38 BRANDON BATE

e Re(ν) eRe(ν) Re(ν) eRe(ν) 2p− p−  < p p− ep− ≤ · p odd prime j=0 p odd prime pe Ys, e>0  jXeven  pe Ys, e>0 ||   ||  Re(ν) e eRe(ν)  < p p− p p− · p odd prime pe Ys, e>0 || (e+1)( Re(ν)+1) 2 Re(ν)+1 = p − n − . ≤ | | p odd prime pe Ys, e>0 || By these inequalities, it follows from (5.14) that (6.7) (ǫn,ν) |L | 3 1 t 4 n L ν + 2 , if Re(ν) 0 < | | · ≥ 4 Re(ν) 1 n Re(ν)+1 n2 Re(ν)+1 L ν + 1 , t if Re(ν) < 0 ( − − −

− 2 | | | | · 3 1 t 4 n L ν + 2 , if Re(ν) 0

< | | · ≥ 4n3 Re(ν)+1 L ν + 1 , t if Re(ν) < 0. ( −

2 | | · By the standard convexity bound for L -functions

[8, (2)], for ν C= 1 , ∈ 6 2 1 t (6.8) L ν + , t m 2 ≪ | |    · with both the implied constant and m having continuous dependence upon ν. This, along with (6.7), shows that (6.9) (ǫn,ν) 4n m, |L | ≪ | | where both the implied constant and m are continuously dependent upon ν. In Theorem 5.4 we see that for n = 0, aǫ,ν (n) is a finite linear combination with bounded scalar coefficients and terms6 of the form ν 1 (6.10) 2k 2k+2 − − (ǫn,ν) L ℓ with k such that k ℓ + 1 where n =
2 n′ with gcd(2,n′) = 1. Also observe that ≤ in Theorem 5.4, the number of summands of the form (6.10) for a given aǫ,ν(n) is bounded by 2n . Thus for ν = 1 , | | 6 2 (6.11) a (n) 4n m, | ǫ,ν | ≪ | | where both the implied constant and m are continuously dependent upon ν. We ( ) will utilize (6.11) to justify the convergence of Eǫ,ν∞ later in this section. ( ) To prove that Eǫ,ν∞ has meromorphic continuation to C, we will need to make reference to the notion of a distribution vanishinge to a given order at a point. See [23] for the relevante definitions and results. We will also use the notation we established in Section 2; namely, we let f0 and f denote the restrictions of 1 ∞ f V −∞ to N and s− N (respectively), where s is defined in (2.15). By (2.28), ∈ ǫ,ν we define e V ∞ such that ǫ,ν,n ∈ ǫ,ν

e e e e ǫ/2 ν 1

e e (6.12) (eǫ,ν,n)0(x)= e(nx) and ( ǫ,ν,n) (x) = sgn( x) x − ( ǫ,ν,n)0(x). ∞ − | | By Propositions 2.19 and 2.26 of [23], it follows that

(6.13) (eǫ,ν,n) vanishes to infinite order at 0. ∞ METAPLECTICEISENSTEINDISTRIBUTIONS 39

In light of this, the element eǫ,ν,n is referred to as the canonical extension of e(nx) to infinity. The aforementioned results of [23] in conjunction with (6.11) show that

(6.14) aǫ,ν (n)eǫ,ν,n converges in Vǫ,ν−∞, and n Z X∈ =06

aǫ,ν (n)eǫ,ν,n vanishes to infinite order at 0 for all ν C= 1 .   ∈ 6 2 n Z X∈ =06  ∞ Likewise, for ν C Z 0, ǫ 1 , we claim that the constant function can be ∈ − ≤ ∈ {± } identified with the distribution ½ V −∞, where ǫ,ν ∈ ǫ,ν

ǫ/2 ν 1 ½ (6.15) (½ǫ,ν )0(x)=1and ( ǫ,ν ) (x) = sgn( x) x − ∞ − | | See (2.28) for why, at least formally, this defines an element of Vǫ,ν−∞. At first

glance, it appears that ½ is not defined for ν with Re(ν) 0, since integration ǫ,ν ≤ of a smooth function of compact support on R against ( ½ǫ,ν) does not necessarily converge. However, a formal application of integration by parts∞ allows us to extend

the definition of (½ǫ,ν ) to all ν C Z 0. Furthermore, one can show that as ∞ ∈ − ≤ a function of ν, ½ǫ,ν has simple poles at ν Z 0. We adopt the convention that

∈ ≤ ½ eǫ,ν,0 = ǫ,ν. In the following lemma we utilize the distribution δǫ,ν, , whose relevant proper- ties we recall from (3.6). ∞ Lemma 6.1. For Re(ν) > 1,

( ) (6.16) Eǫ,ν∞ = aǫ,ν(n)eǫ,ν,n + ζ2(2ν + 1)δǫ,ν, . ∞ n Z X∈ e ( )

∞ e Proof. For Re(ν) > 1, we have already have that Eǫ,ν = n Z aǫ,ν(n) ǫ,ν,n 0. 0 ∈ Since (δǫ,ν, )0 = 0, it also follows that  
∞ e P ( ) (6.17) Eǫ,ν∞ = aǫ,ν (n)eǫ,ν,n + ζ2(2ν + 1)δǫ,ν, . 0 ∞ n Z !   X∈ 0 e This proves that (6.16) holds when restricted to N. It remains to establish the 1 same equality when we restrict to s− N. By (6.17) and (2.27), it follows that e e e ( ) (6.18) Eǫ,ν∞ aǫ,ν(n)eǫ,ν,n ζ2(2ν + 1)δǫ,ν, − − ∞ n Z ! X∈ ∞ is the zero distributione when restricted R=0, and therefore as a distribution on R 6 has support contained in 0 . By [23, Lemma 3.1], we have that ( ½ǫ,ν) vanishes { } ∞ to order 0 at 0. Since n Z aǫ,ν (n)eǫ,ν,n vanishes to infinite order at 0, it ∈ =06 ∞ follows then that n ZPaǫ,ν(n)eǫ,ν,n vanishes to order 0 at 0. Later we will show that ∈ ∞ P
( ) (6.19) Eǫ,ν∞ ζ2(2ν + 1)δǫ,ν, vanishes to order 0 at 0. − ∞  ∞ Assuming that thise is the case, it then follows that (6.18) vanishes to order 0 at 0, in addition to having support contained in 0 . Hence by [23, Lemma 2.8], it follows { } 40 BRANDON BATE that (6.18) is the zero distribution on R, which then proves the lemma. Thus it remains to prove (6.19). By (3.27) and (3.6),

( ) Eǫ,ν∞ ζ2(2ν + 1)δǫ,ν, − ∞ ∞   c ν 1 ǫ/2 =eǫiζ2(2ν + 1) ( c, d)H d − − sgn(d) δ c − d | | d (c,d) Z=06 Z   gcd(X∈c,d)=1× d 1(mod 4) c≡0(mod 4) ≡ c ν 1 (6.20a) = ǫiζ2(2ν + 1) d− − δ c d d (c,d) Z=06 Z>0  gcd(∈Xc,d)=1× d 1(mod 4) c≡0(mod 4) ≡ c ν 1 (6.20b) ζ2(2ν + 1) sgn( c) d − − δ c , − − d | | d (c,d) Z=06 Z<0   gcd(∈Xc,d)=1× d 1(mod 4) c≡0(mod 4) ≡ where (6.20a) is a summation with d > 0 and (6.20b) is a summation with d < 0. As the comments subsequent to (3.27) indicate, the above series converge uniformly and absolutely against compactly supported test functions on R. We begin by showing that (6.20a) vanishes to order 0 at 0. Towards this end, observe

c ν 1 c ν 1 c ν 1 d− − δ c = d− − δ c + − d− − δ −c d d d d d d (c,d) Z=06 Z>0  (c,d) Z>0 Z>0     gcd(∈Xc,d)=1× gcd(∈Xc,d)=1× d 1(mod4) d 1(mod 4) c≡0(mod 4) c≡0(mod 4) ≡ ≡ c ν 1 = d− − (δ c + δ −c ), d d d (c,d) Z>0 Z>0  gcd(∈Xc,d)=1× d 1(mod4) c≡0(mod 4) ≡ 1 where in the last line we used the fact that − = 1 for d 1(mod 4). Observe d ≡ that for φ C∞(R), ∈ c

(δ c (x)+ δ −c (x))φ(x) dx = h c (x)φ′(x) dx, d d − d ZR ZR where c 1 if d < x c c h c (x)= 0 if x d  − d ≤ ≤ d  1 if x< c . − − d For d> 0 and d 1(mod 4), let ≡  c (6.21) qd(x)= h c (x). d d c Z>0 gcd(∈Xc,d)=1   c 0(mod 4) ≡ METAPLECTICEISENSTEINDISTRIBUTIONS 41

The above analysis shows that the antiderivative of (6.20a) is equal to

ν 1 ν qd(x) (6.22) ǫiζ (2ν + 1) d− − q (x)= ǫiζ (2ν + 1) d− . 2 d 2 d d Z>0 d Z>0 d 1(mod∈X 4) d 1(mod∈X 4) ≡ ≡ 4 4 If 0 x d then qd(x)=0. If d < x then there exists maximal m Z such that m≤ 0(mod≤ 4), gcd(m, d) =1, and m < x. For such x, ∈ ≡ d c m h c (x)=0 for > , and d d d c m h c (x)=1 for , d d ≤ d where gcd(c, d) = 1 and c 0(mod 4). Thus for such x, ≡ c c c qd(x)= h c (x)= 1= . d d d · d c Z>0 00 d ≤ d qd(x) qd(x) is an odd function, it follows that x for all x R . Thus d ≤ | | ∈

ν qd(x) ν ǫiζ (2ν + 1) d− x ǫiζ (2ν + 1) d− , 2 d ≤ | | · 2 d Z>0 d Z>0 d 1(mod∈X 4) d 1(mod∈X 4) ≡ ≡ which implies (6.22) vanishes (at least) to order 1 at 0 by [23, Lemma 3.1(c)] (recall that we are assuming Re(ν) > 1, so the above series converges). Therefore (6.20a), which is the derivative of (6.22), must vanish to order 0 at 0. An almost identical argument shows that (6.20b) also vanishes to order 0 at 0, proving (6.19) and thereby completing the proof. 

By (6.14) and Theorem 5.4,

aǫ,ν (n)eǫ,ν,n + ζ2(2ν + 1)δǫ,ν, ∞ n Z X∈ =06 1 is well-defined for ν C 0, . Notice that a (0)½ is missing from this ∈ − { 2 } ǫ,ν ǫ,ν summation. Although ½ǫ,ν has simple poles at ν Z 0 (see discussion following ∈ ≤ (6.15)), since by Proposition 5.5, aǫ,ν(0) has simple zeros at ν Z 0, it follows that ∈ ≤

aǫ,ν(n)eǫ,ν,n + ζ2(2ν + 1)δǫ,ν, ∞ n Z X∈ 1 is well-defined for ν C 0, 2 . Thus by Lemma 6.1 and the uniqueness of meromorphic continuation,∈ −{ we obtain} the following proposition.

( ) Proposition 6.2. The metaplectic Eisenstein distribution Eǫ,ν∞ Vǫ,ν−∞ has holo- 1 ∈ morphic continuation to C except for simple poles on 0, 2 . In particular, { }e ( ) Eǫ,ν∞ = aǫ,ν (n)eǫ,ν,n + aǫ,ν ( )δǫ,ν, , ∞ ∞ n Z X∈ e 42 BRANDON BATE where 2ν 1 (6.23) a ( )= ζ (2ν +1)= (1 2− − )ζ(2ν + 1). ǫ,ν ∞ 2 − In the prior proposition we introduced the notation a ( ) for the coefficient ǫ,ν ∞ of δǫ,ν, . Throughout this paper, we will encounter Fourier series of the form ∞

cǫ,ν (n)eǫ,ν,n + h(ǫ,ν)δǫ,ν, , ∞ n Z X∈ where h(ǫ,ν) is a meromorphic function in ν. When this occurs, we denote h(ǫ,ν) by c ( ). ǫ,ν ∞ 7. The Metaplectic Eisenstein Distribution at 0 ( ) Recall that Eǫ,ν∞ is the distributional analogue of the usual metaplectic Eisen- (0) stein series based at the cusp . Next we will define Eǫ,ν , which will be a distri- butional analoguee of the metaplectic∞ Eisenstein series based at the cusp 0. This Eisenstein distribution will appear in the functional equatione (Theorem 9.1). Let 1 1 0 2− (7.1) ξ = a− s = sa = , 1 0 2 2 2− 0    0 1 e e e ee 2 0 where s = − , 1 and a2 = 1 , 1 (as defined in (2.15) and (2.6) 1 0 0 2−       respectively). Let e e 1 1 1 0 (7.2) Γ0 = ξ0− Γ ξ0 = ξ0Γ ξ0− = , 1 : n Z , ∞ ∞ 4n 1 ∈ −    which one cane checke ise ae subgroupe e e of Γ1(4). We define the metaplectic Eisenstein distribution at 0 to be the following distribution in Vǫ,ν−∞: e (0) (7.3) Eǫ,ν = ζ2(2ν + 1) π γξ0 δǫ,ν, , ∞ e e γe Γ (4)/Γ ∈ X1 0   e ee where Re(ν) > 1. Since δǫ,ν, is invariant under left translation by Γ , it follows ∞ ∞ that π(ξ0)δǫ,ν, is invariant under left translation by Γ0 (by virtue of (7.2)), justi- ∞ (0) e fying the appearance of Γ1(4)/Γ0 in the definition of Eǫ,ν . By construction, we see (0)e e that Eǫ,ν is formally Γ1(4)-invariant. We will justify the convergence of the series (0) e e e defining Eǫ,ν momentarily. Sincee Γ1(4) is generatede by e 1 1 1 0 1 (7.4) e , 1 = ξ , 1 ξ− and 0 1 0 4 1 0    −   1 0 1 1 1 , 1 =e ξ , 1 ξe− , 4 1 0 0 1 0 −      1 e 1 e 1 it follows that ξ0Γ1(4)ξ0− = Γ1(4). Since ξ0Γ1(4)ξ0− = Γ1(4) and ξ0Γ ξ0− = Γ0, ∞ (0) ( ) (7.5) Eǫ,ν = ζ2(2ν + 1) π ξ0γ δǫ,ν, = π ξ0 Eǫ,ν∞ . e e e e e e e ∞ e e e e e e e γe Γ (4)/Γ∞ ∈ 1X     e e e e e METAPLECTICEISENSTEINDISTRIBUTIONS 43

(0) Therefore the series defining Eǫ,ν converges for Re(ν) > 1. Furthermore, we see (0) ( ) that Eǫ,ν inherits the meromorphic continuation of Eǫ,ν∞ (stated in Proposition (0) e 1 6.2), and therefore Eǫ,ν is holomorphic on C except for simple poles on 0, . { 2 } Recalle that in Section 2, we let f0 and f denote thee restrictions of f Vǫ,ν−∞ ∞ ∈ 1 e (0) (0) to N and s− N. Since Eǫ,ν is Γ1(4)-invariant, it follows that Eǫ,ν is periodic, 0 and consequently, has the following Fourier series expansion:   e e e e e e (0) (7.6) Eǫ,ν (x)= bǫ,ν (n)e(nx), 0 n Z   X∈ where e 1 (0) (7.7) bǫ,ν(n)= Eǫ,ν (x)e( nx) dx. 0 0 − Z  

In (6.12), we extended the definitione of e(nx) to an element eǫ,ν,n of Vǫ,ν−∞. In ( )

Proposition 6.2, we gave a series expansion for Eǫ,ν∞ in terms of eǫ,ν,n and δǫ,ν, . (0) ∞ We claim that a similar series expansion holds for Eǫ,ν : e (0) (7.8) Eǫ,ν = bǫ,ν(n)eǫ,ν,ne, n Z X∈ where e 1 (0) (7.9) bǫ,ν(n)= Eǫ,ν (x)e( nx) dx. 0 0 − Z   Notice that (7.8) has no δǫ,ν, term (ine contrast to the series given in Proposition 6.2). Thus ∞ (7.10) b ( )=0, ǫ,ν ∞ in terms of the notation of Proposition 6.2.

To show that (7.8) holds, we must first establish that bǫ,ν(n)eǫ,ν,n does indeed n Z 1 X∈ converge for all ν C 0, 2 . To accomplish this, we need only show that bǫ,ν (n) is ∈ −{ } 1 bounded polynomially in n for each ν C 0, 2 , just as we did for aǫ,ν (n) in (6.11). ∈ −{ } (0) Since we already have the meromorphic continuation of Eǫ,ν , it follows immediately from [7, (9.15)] that bǫ,ν(n) is bounded polynomially for such ν. Having established the convergence of the Fourier series, we then observe thate for Re(ν) > 1,

(0)

(7.11) E b (n)e ǫ,ν − ǫ,ν ǫ,ν,n ∞ n Z !   X∈ ∞ has support contained in e 0 . By [23, Lemma 2.8], if we can show that both (0) { } Eǫ,ν and n Z bǫ,ν (n)eǫ,ν,n vanish to order 0 at 0, then (7.11) equals ∈ ∞ ∞ zero for Re(ν) >P0, whereupon the
uniqueness of meromorphic continuation then e 1 establishes this identity for all ν C 0, 2 . This in turn, would immediately imply (7.8). ∈ −{ }

In (6.14), we stated that n Z aǫ,ν (n)eǫ,ν,n vanishes to infinite order at ∈ =06 ∞ 0. This result relied upon [23,P Proposition 2.19], the proof of which only uses the fact that aǫ,ν(n) is polynomially bounded in n. Since we already have such a bound 44 BRANDON BATE

for bǫ,ν (n), a reapplication of this argument shows that n Z bǫ,ν (n)eǫ,ν,n ∈ =06 ∞ vanishes to infinite order at 0, from which it then follows thatP n Z bǫ,ν(n)eǫ,ν,n vanishes to order 0 at 0. ∈ ∞ (0) P
Proving that Eǫ,ν vanishes to order 0 at 0 is more involved. To obtain this result from our previous ∞ computations, observe that by (7.5) and the transformation law in (2.9) definede by (2.12) and (2.13), we have

(0) ( ) ( ) 2 ( ) Eǫ,ν = π(ξ0)Eǫ,ν∞ = π(sa2)Eǫ,ν∞ = π s a2 Eǫ,ν∞ 0 ∞ ∞ ∞    ( )   ( )
 =e π(a2)π(m 1e, 1e)Eǫ,ν∞ = σǫ(m 1,e 1) π(a2)Eǫ,ν∞ e − − 0 ee− − e e0  ( )    = ǫi π(a2)Eǫ,ν∞ . e e e e 0 e e   (0) ( ) From this, we can concludee that Eǫ,ν vanishes to order 0 at 0 if Eǫ,ν∞ e 0 vanishes to order 0 at 0.4 We will spare∞ the reader a detailed proof that such vanishing occurs, but this can be donee by modifying the proof given in Lemmae 6.1. ( ) One can check that the key lies in not having a δ0 term in Eǫ,ν∞ . By (3.26), we 0 see that this is indeed the case.   To prove the functional equation in Theorem 9.1, we neede to compute an explicit formula for the Fourier coefficient bǫ,ν(0). The derivation of this formula makes considerable use of the Kronecker symbol. We refer the reader back to Proposition 3.2, where the relevant properties of the Kronecker symbol are stated. Proposition 7.1. For Re(ν) > 1, ν 1 ν 1 2ν (7.12) b (0) = ǫi2− − ζ (2ν)= ǫi2− − (1 2− )ζ(2ν). ǫ,ν 2 − 1 a b c Proof. Let γ− = , Γ (4) with c = 0. To prove (7.12) we will first c d d ∈ 1 6   
prove (7.21), which provides a conveniente expression for π γξ0 δǫ,ν, ; recall e ∞ 0 (0)     1 that Eǫ,ν , which we defined in (7.3), is a sum of π γξ0 δǫ,ν, for such γ− . In ∞ee order to prove (7.21), we first need to establish (7.15).  e 1 ec e c c c e Since γ− Γ1(4), ad 1(mod c), which implies a d = ad = 1 = 1 by parts (f), (h),∈ and (c) of Proposition≡ 3.2. Thus



e c c (7.13) e = . d a bc     Next we evaluate −a for b = 0. Since we are already assuming c = 0 then 1 6 6 bc = 0. Since γ− Γ1(4), bc 1(mod a). If a > 0 then by Proposition 3.2(g), 6bc 1 ∈
− ≡ −a = a =1. If a< 0 then by parts (f), (c), and (g) of Proposition 3.2, e bc e bc bc 1

− = − − = sgn( bc) = sgn( bc). a 1 a − a −    −  −  −  Therefore b c bc (7.14) − = − = (a, bc) . a a a − H      4 The action of a2 preserves the order of vanishing at 0 since it simply scales the x-variable by a constant factor. e METAPLECTICEISENSTEINDISTRIBUTIONS 45

b 1 b b By parts (e) and (i) of Proposition 3.2, −a = −a a = a since a 1(mod 4). Thus by (7.13) and (7.14), ≡



c b (7.15) = (a, bc) , d a − H     1 for γ− Γ1(4) with bc = 0. Having∈ proved (7.15),6 we turn our attention to proving (7.21). Consider once 1 moree γ− e Γ1(4) with c = 0. Observe ∈ 6 1 d − 2 2b c 2a 2b c (7.16)e γξ0se = −c , sgn(c) = − c − d , sgn(c) . 2 2a d 2 2 d  −     − −    Thus by Lemmaee e 3.1(a), (7.17)

π γξ0 δǫ,ν, (x)= π γξ0s δǫ,ν,0 (x) ∞ 0 0         ν 1 ǫ/2 e c c c d e c d − c d 2ax 2b = sgn(e c) , x e e x sgn x δ0 − − d 2 −2 − 2 −2 − 2 −2 − 2 c x d  H   2 2 !   − − c ν +1 ν 1 ǫ/2 ax + b = sgn(c) (c, cx d) 2− cx + d − sgn( cx d) δ 4 , d − − H | | − − 0 cx + d      as an equality between distributions on R= −d since c = 0. Let φ be a test function 6 c 6 of compact support on R= −d . Observe 6 c c ν+1 ν 1 ǫ/2 (7.18) sgn(c) (c, cx d)H 2− cx + d − sgn( cx d) R d − − | | − − 6 −d Z = c   ax + b δ 4 φ(x) dx · 0 cx + d    c ν+1 ν 1 ǫ/2 = sgn(c) (c, cx)H 2− cx − sgn( cx) R d − | | − Z =06   ax ad + b d δ 4 − c φ x dx · 0 cx − c !!   c ν+1 ν 1 ǫ/2 4a 4 = sgn(c) (c, cx)H 2− cx − sgn( cx) δ0 2 R d − | | − c − c x Z =06     d φ x dx · − c   ǫ/2 c 4x ν+1 ν ν 1 ν 1 4x = sgn(c) c, − 2− 4 c − − x − sgn − R=06 d c H | | | | c Z      4a 1 4x d δ φ dx · 0 c − x c2 − c     ǫ/2 c 4 ν+1 ν 1 ν 1 4 4a = sgn(c) c, 2 c − − x − − sgn δ0 + x R=06 d cx H | | | | cx c Z        4 d φ − dx · c2x − c   46 BRANDON BATE

ǫ/2 c 1 ν+1 ν 1 1 1 d = sgn(c) c, − 2 4a − − sgn − φ d a H | | a ac − c        c ν 1 ǫ/2 b = sgn(c) (c, a) 2a − − sgn( a) φ − . d − H | | − a     Therefore by (7.17) and (7.18),

c ν 1 ǫ/2 (7.19) π γξ0 δǫ,ν, (x) = sgn(c) (c, a)H 2a − − sgn( a) δ −b (x) ∞ 0 d − | | − a       1 as an equalitye betweene distributions on R= −d for γ− Γ1(4) with c = 0. 6 c ∈ 6 We can further simplify (7.19) by using (7.15); in particular, if b = 0, e 6 c e b sgn(c) (c, a) sgn( a)ǫ/2 = sgn(c)(a, bc) (c, a) sgn( a)ǫ/2. d − H − − H − H a −     If a> 0 then sgn(c)(a, bc) (c, a) = sgn(c)2 =1, − H − H but if a< 0 then sgn(c)(a, bc) (c, a) = sgn(c)sgn( bc) = sgn( b). − H − H − − Thus sgn(c)(a, bc) (c, a) = (a, b) , − h − H − H and hence c b sgn(c) (c, a) sgn( a)ǫ/2 = (a, b) sgn( a)ǫ/2. d − H − a − H −     By this equality and (7.19), for b = 0 we have 6 b ǫ/2 ν 1 (7.20) π γξ0 δǫ,ν, = (a, b)H sgn( a) 2a − − δ −b , ∞ 0 a − − | | a       e 1 as an equality betweene distributions on R= −d for γ− Γ1(4) with c = 0. If instead c ∈ 6 b = 0 then since b = 0 implies a = d = 1,6 we have that e c e b sgn(c) (c, a) = sgn(c)sgn(c)=1= . d − H a     1 Thus for all γ− Γ (4) with c = 0, ∈ 1 6 ǫ/2 ν 1 (7.21) π γξ0 δǫ,ν, = λ(a,b)sgn( a) 2a − − δ −b , e e ∞ 0 − | | a where     ee b (a, b) ab =0 (7.22) λ(a,b)= a − H 6 b otherwise. ( a

b Notice λ(a,b) = 0 if gcd(a,b) = 1 since a = 0 if gcd(a,b) = 1 (by Proposition 3.2(a)). 6 6
d We wish to describe π γξ0 δǫ,ν, about the point −c . To do this, observe ∞ 0     1 d c c d c − 2b 2ee 2 2 (7.23) γξ0 = − −c , (a,c)H = , (a,c)H . 2a 2 d 2a 2b d      − −     ee METAPLECTICEISENSTEINDISTRIBUTIONS 47

Since (δǫ,ν, ) (x) = 0, then by Lemma 3.1(a), ∞ 0

π γξ0 δǫ,ν, =0, ∞ 0     ee d b as an equality between distributions on R= −b . Since −c = −a , it follows that 6 a 6 d π γξ0 δǫ,ν, vanishes about the point −c . Thus (7.21) holds as an equality ∞ 0 between   distributions on R. e (0) Sincee in (7.21), π γξ0 δǫ,ν, is expressed in terms of a and b, and since Eǫ,ν ∞ 0 is defined as a summation   over Γ(4)/Γ , we wish to index the cosets of Γ (4)/Γ e 1 0 1 e 0 in terms of a and b ase well. Observe e e e e 1 0 d b c 1 0 (7.24) γ , 1 = − , , 1 · 4n 1 c a d · 4n 1 −   −    −   d +4bn b c e= − , − . c 4an a a − −   

From this equality we see that to each coset of Γ1(4)/Γ0 there corresponds (a,b) Z2 such that gcd(a,b) = 1 and a 1(mod 4). This correspondence is unique, for∈ if ≡ e e b γ′ = ∗ − , , a ∗ ∗   e 2 as must be the case if γ′Γ and γΓ corresponded to the same (a,b) Z , then 0 0 ∈ e e 1 e a b e b 0 (γ′)− γ = , ∗ − , = ∗ , . ∗ a ∗ ∗ ∗ ∗ ∗   ∗ ∗  e e Since the matrix coordinate of this element must have determinant 1, and since 1 the diagonal entries are each congruent to 1 modulo 4, it follows that (γ′)− γ Γ . ∈ 0 Therefore the correspondence of cosets of Γ/Γ with such (a,b) Z2 is in fact unique. 0 ∈ Conversely, when given (a,b) Z2 such that gcd(a,b) = 1 and a e1(mode 4),e it ∈ ≡ follows that gcd(a, 4b) = 1. Thus theree existse c′, d Z such that ad 4bc′ = ∈ − ad b(4c′) = 1. Since a 1(mod 4) then d 1(mod 4). If we let c = 4c′ then c −0(mod 4). Thus we are≡ able to construct≡γ which corresponds to such (a,b). Therefore≡ e (7.25) Γ (4)/Γ = (a,b) Z2 : gcd(a,b)=1,a 1(mod 4) . 1 0 ∼ { ∈ ≡ }

By (7.3), (7.21),e ande (7.25),

(0) ν 1 ǫ/2 Eǫ,ν = ζ2(2ν + 1) λ(a,b) 2a − − sgn( a) δ −b 0 | | − a   (a,b) Z2 a 1(modX∈ 4) e ≡ 48 BRANDON BATE

(recall λ(a,b) = 0 if gcd(a,b) = 1). Observe 6 1 bǫ,ν(0) ν 1 ǫ/2 = λ(a,b) 2a − − sgn( a) δ −b (x) dx ζ2(2ν + 1) 0 | | − a Z (a,b) Z2 a 1(modX∈ 4) ≡ ν 1 ν 1 = ǫi λ(a,b) 2a − − + λ(a,b) 2a − − | | | | (a,b) Z>0 Z (a,b) Z<0 Z 0 X∈ ba× a ≤−1(mod 4) a ≥−1(mod 4) ≡ ≡ ν 1 ν 1 = ǫi λ(a, b) 2a − − + λ( a,b) 2a − − . − | | − | | (a,b) Z>0 Z (a,b) Z>0 Z 0 X∈b 0 then by parts (e) an (i) of Proposition 3.2, ≡ b 1 b b λ(a, b)= − = − = , − a a a a        both for b = 0 and b = 0. Likewise, if a 3(mod 4), a> 0, b 0, then by parts (f) and (c) of6 Proposition 3.2, ≡ ≥ b b b b λ( a,b)= = = , − − a − 1 a − a −  −     both for b> 0 and b = 0. Thus

bǫ,ν(0) b ǫ ν 1 = ǫi ∆a 2a − − , ζ2(2ν + 1)  a  | | a Z>0 b Z/aZ  ∈X ∈X   where ∆a is defined in (4.3). Observe that if a is a square then b = φ(a), a b Z/aZ  ∈X but if a is not a square then b =0. a b Z/aZ  ∈X The latter case follows since if a is not a square then there exists b′ Z such that b′ ∈ gcd(a,b′) = 1 and = 1, and thus a −   b b b b b b = ′ = ′ = . − a  a  a   a   a  b Z/aZ    b Z/aZ  b Z/aZ  b Z/aZ  ∈X ∈X ∈X ∈X         Therefore ǫ 2 2 ν 1 b (0) = ǫiζ (2ν + 1) ∆ 2 φ(a ) 2a − − ǫ,ν 2 a | | a Z> ∈X 0 ν 1 2 2ν 2 = ǫiζ (2ν + 1)2− − φ(a ) a − − . 2 | | a Z>0 a∈Xodd METAPLECTICEISENSTEINDISTRIBUTIONS 49

Since φ(a2) is multiplicative, it follows from (5.15) that ν 1 2k k 2ν 2 bǫ,ν(0) = ǫiζ2(2ν + 1)2− − φ(p )(p )− − p odd prime k Z Y ∈X≥0 2ν 1 ν 1 1 p− − ν 1  = ǫiζ2(2ν + 1)2− − − 2ν = ǫi2− − ζ2(2ν). 1 p− p oddY primes − 8. Intertwining Operators

In this section, we give results concerning intertwining operators on SL2(R). Much of this material is standard [17, 30, 31], but hard to find in print. Throughout, we make reference to much of the notation defined in Section 2, in particularf (2.6). Recall that (3.1) gives transformation laws for f V −∞. From this we deduce a ∈ ǫ,ν similar statement for f Vǫ,−∞ν (notice that we have ν instead of ν): ∈ − − ν+1 (8.1) f(g aum 1,κn )= ǫκiu f(g), − − ν+1 f(g aum1,κn )= κu f(g), ee e −e e where κ,ǫ 1 , ν C, and u R>0. This transformation law, along with (3.1), will be used∈ repeatedly{± } ∈ ande implicitlye e∈ e throughout thise section. For Re(ν) > 0, let Iǫ,ν : Vǫ,∞ ν Vǫ,ν∞ denote the intertwining operator − → ∞ (8.2) Iǫ,ν f(g)= f(g s nt) dt. Z−∞ It is a well-known result in representatione theoryee thate the integral in (8.2) converges absolutely for Re(ν) > 0 [17, VII.6]. It remains to justify our statement regarding § the codomain of Iǫ,ν . Observe that by changing variables and employing (8.1),

∞ ∞ t r 1 Iǫ,ν f(g aun ,r)= f(g aun ,rs nt) dt = f g s n − a(u− ) dt − − u2 Z−∞ Z−∞     1 ν+1 ∞ t ν 1 2 ∞ = (u−ee) e f g s n ee e dtee= u− − u efe(ges n ) dt e u2 t Z−∞    Z−∞ ν+1 = u− Iǫ,ν f(g). e ee eee

Since M is the center of SL2(R), then by (8.1), e ∞ Iǫ,ν f(gm 1,κ)= f(g s ntm 1,κ) dt = ǫκiIǫ,νf(g), and f − f − Z−∞ ∞ Iǫ,ν f(geme 1,κ)= f(g es enteme1,κ) dt = κIǫ,ν f(g). e Z−∞ By these equalities,ee we see that Iǫ,νef esatisfiese e (3.1) (or equivalently,e (8.1) for Vǫ,ν−∞). It is straightforward to confirm that Iǫ,ν f is smooth, since differentiation can be expressed in terms of the left regular representation. Thus Iǫ,ν does indeed have Vǫ,ν∞ as its codomain. A well-known result from representation theory states that Iǫ,ν can be meromor- phically continued to all of C [17, VII]. To be more precise, one identifies elements § of Vǫ,ν∞ as elements of C∞(K) via restriction to K (the so-called “compact picture”). Under this identification, the intertwining operators Iǫ,ν become a family of opera- tors on C∞(K) indexed bye ǫ and ν. The statemente of meromorphic continuation asserts the existence of intertwining operators I for all ν C, except possibly for ǫ,ν ∈ e 50 BRANDON BATE a subset of discrete points. The statement also asserts that for any fixed f C∞(K) ∈ and k K, the map ν I f(k) extends to a meromorphic function from C to C. ∈ 7→ ǫ,ν Since Iǫ,ν is continuous on Vǫ,∞ ν [5] and since Vǫ,∞ ν is dense in Vǫ,−∞ν , it followse − − − thateIǫ,ν cane be extended to a continuous,e intertwining operator from Vǫ,−∞ν to Vǫ,−∞ν . − − ( ) In this section, we wish to give a Fourier series expansion for Iǫ,ν Eǫ,∞ν similar to − ( ) the one given for Eǫ,ν∞ in Proposition 6.2. Recall that the pairing ,  defined e h· ·iǫ,ν in (2.20) can be extended to Vǫ,ν−∞ V ∞ǫ, ν . The following lemma describes how × − − the intertwining operatore Iǫ,ν behaves with respect to this pairing.

Lemma 8.1. For f1 Vǫ,−∞ν and f2 V ∞ǫ, ν , ∈ − ∈ − − Iǫ,ν f1,f2 ǫ,ν = ǫi f1, I ǫ,ν f2 ǫ, ν . h i − h − i − Proof. It suffices to prove this lemma for the case where f1 Vǫ,∞ ν . To see why ∈ − this is sufficient, recall that the pairing , is separately continuous on both h· ·iǫ,ν factors of Vǫ,ν−∞ V ∞ǫ, ν (see (2.21)) and that Iǫ,ν is continuous on Vǫ,−∞ν . Once we × − − − establish this identity for smooth f1, the lemma then follows for f1 Vǫ,−∞ν by the ∈ − aforementioned continuity and the fact that Vǫ,∞ ν is dense in Vǫ,−∞ν . Suppose Re(ν) > 0. By performing a change− of variables, − π/2 ∞ 2 Iǫ,ν f1(g)= f1(g s nt) dt = f1(g s ntan(φ))sec(φ) dφ. π/2 Z−∞ Z− Since e e ee e ee π π (8.3) ntan(φ) = k φacos(φ)n ,cos(φ) sin(φ) for φ , , − − ∈ − 2 2 it then follows from (8.1) that   e e e e π/2 2 (8.4) Iǫ,ν f1(g)= f1 gsk φacos(φ)n ,cos(φ) sin(φ) sec(φ) dφ π/2 − − Z− π/2   e eee νe+1 e 2 = f1(g s k φ) cos(φ) sec(φ) dφ π/2 − Z− π/2 e ee ν 1 = f1(g s k φ) cos(φ) − dφ. π/2 − Z− By changing variables ande ee using the fact that K is an abelian subgroup, π/2 π/2 ν 1 Iǫ,ν f1,f2 ǫ,ν = f1(kθsk eφ) cos(φ) − dφ f2(kθ) dθ h i π/2 π/2 − Z− Z− π/2 π/2 1 e ee ν 1 e = f1(kθs− k φm 1, 1)cos(φ) − dφ f2(kθ) dθ π/2 π/2 − − − Z− Z− π/2 π/2 e e e 1 e ν 1 e = ǫi f1(kθs− k φ)cos(φ) − f2(kθ) dθ dφ − π/2 π/2 − Z− Z− π/2 π/2 e e e ν 1 e = ǫi f1(kθ)f2(kθskφ) cos(φ) − dθ dφ − π/2 π/2 Z− Z− π/2 π/2 e e ee ν 1 = ǫi f1(kθ) f2(kθsk φ)cos(φ) − dφ dθ. − π/2 π/2 − Z− Z− e e ee METAPLECTICEISENSTEINDISTRIBUTIONS 51

The change in the θ variable does not result in a change in the bounds of integration since the integrand is M-invariant and dθ is a Haar measure for K/M (as mentioned in the discussion following (2.20)). By (8.4), which is also applicable to f2 V ∞ǫ, ν , ∈ − − f π/2 e f Iǫ,ν f1,f2 ǫ,ν = ǫi f1(kθ)I ǫ,ν f2(kθ) dθ h i − π/2 − Z− = ǫi f1, I ǫ,νf2 ǫ, ν . e e − h − i − This proves the lemma for the case when Re(ν) > 0. Invoking the uniqueness of meromorphic continuation completes the proof. 

By Schur’s lemma, we know that Iǫ, ν Iǫ,ν is a scalar operator. The following lemma, which we will use for computing− this◦ scalar operator, will also be used in Section 10 when we describe how to recover the classical metaplectic Eisenstein series from the metaplectic Eisenstein distributions.

Lemma 8.2. For ℓ 2Z, there exists unique φ V ∞ such that ∈ ǫ,ν,ℓ ∈ ǫ,ν 1 (8.5) φ (k ) = exp ǫ + ℓ iθ . ǫ,ν,ℓ θ − 2     Furthermore, e 1 ν ǫℓ 1 ǫi π2 − Γ(ν) Iǫ,ν φǫ, ν,ℓ = i− − φǫ,ν,ℓ − √2 · Γ 1 ℓ + 1 + ν+1 Γ 1 ℓ + 1 + ν+1 − 2 2 2 2 2 2 for ν C Z 0. ∈ − ≤



Proof. Define

ν+1 1 (8.6) φǫ,ν,ℓ(kθaun )= u− exp ǫ + ℓ iθ , − − 2     which determines φǫ,ν,ℓ completelye e e since SL2(R)= KAN . Notice that φǫ,ν,ℓ e is − |K a character. Thus if g = kθaun for kθ K, au A and n N , then since − ∈ ∈ − ∈ − M K is the center of SL (R), f e e e ⊂ 2 e e e e e e e e e ν+1 e (8.7) φǫ,ν,ℓ(gm)= φǫ,ν,ℓ(mkθaun )= φǫ,ν,ℓ(mkθ)u− f e f − ν+1 = φǫ,ν,ℓ(m)φǫ,ν,ℓ(kθ)u− = φǫ,ν,ℓ(m)φǫ,ν,ℓ(g), ee e e e e e e for all m M. With this in mind, observe ∈ e e e e ǫκiπ (8.8) fφǫ,ν,ℓ(m 1,κ)= φǫ,ν,ℓ(k κπ) = exp = ǫκi, e − − 2   e ǫ(κ 1)iπ φǫ,ν,ℓ(me 1,κ)= φǫ,ν,ℓ(k(κ 1)π) = exp − = κ, − − 2   for κ 1 . It follows from thee definition that ∈ {± } e ν+1 (8.9) φǫ,ν,ℓ(gaun )= u− φǫ,ν,ℓ(g). − Thus by (8.7), (8.8), and (8.9), we see that φǫ,ν,ℓ satisfies (3.1) (or equivalently, (8.1) for V −∞). Since it is also clearee thate φ is smooth,e it follows that φ V ∞. ǫ,ν ǫ,ν,ℓ ǫ,ν,ℓ ∈ ǫ,ν Clearly φǫ,ν,ℓ is the unique element of Vǫ,ν∞ which satisfies 1 φ(k ) = exp ǫ + ℓ iθ , θ − 2     e 52 BRANDON BATE since elements of Vǫ,ν∞ are determined by their restriction to K. Since 2 1/2 e (8.10) nx = k( arctan(x)) n ,x a (1 + x )− − − then for Re(ν) > 0,   e e e e ∞ (8.11) Iǫ,ν φǫ, ν,ℓ(kθ)= φǫ, ν,ℓ(kθs nx) dx − − Z−∞ ∞ e e 2 ν+1 = φǫ, ν,ℓ kθsk( arctan(xe))e (1 + x )− 2 dx − − Z−∞   e e ∞ 2 ν+1 = φǫ, ν,ℓ(kθ)φǫ, ν,ℓe (s) φǫ, ν,ℓ k( arctan(x)) (1 + x )− 2 dx − − − − Z−∞   e ǫℓ 1 ǫi ∞ e 2 ν+1 = φǫ,ν,ℓ(kθ)i− − e φǫ, ν,ℓ k( arctan(x)) (1 + x )− 2 dx, √2 − − Z−∞   where in the last equalitye we used that e

φǫ, ν,ℓ(kθ)= φǫ,ν,ℓ(kθ), − ǫℓiπ ǫiπ ǫℓ 1 ǫi φǫ, ν,ℓ(es)= φǫ, ν,ℓ(ekπ/2) = exp − exp − = i− − . − − 2 4 √2     It remains to evaluate the integral e e ∞ 2 ν+1 φǫ, ν,ℓ k( arctan(x)) (1 + x )− 2 dx. − − Z−∞   Using the identity arctan(x)= ei (log(1 ix) log(1 + ix)), we find 2 − − 1 (8.12) φǫ, ν,ℓ k( arctan(x)) = exp ǫ + ℓ i arctan(x) − − 2       ǫ 1 = exp e + ℓ (log(1 ix) log(1 + ix)) −2 2 − −     ǫ ( 1 +ℓ) ǫ ( 1 +ℓ) = (1 ix)− 2 2 (1 + ix) 2 2 . − Because of our choice of branch cut for log given in (2.16), we also have 2 ν+1 ν+1 ν+1 (8.13) (1 + x )− 2 = (1 ix)− 2 (1 + ix)− 2 . − Thus

∞ 2 ν+1 (8.14) φǫ, ν,ℓ k( arctan(x)) (1 + x )− 2 dx − − Z−∞   ∞ e ǫ 1 +ℓ ν+1 ǫ 1 +ℓ ν+1 = (1 ix)− 2 ( 2 )− 2 (1 + ix) 2 ( 2 )− 2 dx − Z−∞ π21 ν Γ(ν) = − Γ ǫ ℓ + 1 + ν+1 Γ ǫ ℓ + 1 + ν+1 − 2 2 2 2 2 2 for Re(ν) > 0, where this last
equality
follows from
[9, (1.3)].
Since ǫ = 1, by symmetry we can simply take ǫ = 1 in the last line of (8.14). Combining± (8.11) and (8.14) proves the assertion of the lemma when both sides are restricted to K for Re(ν) > 0. We complete the proof by noting that elements of Vǫ,ν∞ are uniquely determined by their restriction to K (hence our formula holds for all of SL2(Re)) and by invoking the uniqueness of meromorphic continuation.  e f METAPLECTICEISENSTEINDISTRIBUTIONS 53

Remark 8.3. Observe that k exp j θ : j Z is the set of all characters { θ 7→ 2 ∈ } on K. This follows from the fact that θ k is an isomorphism from R/[ 2π, 2π) 7→
θ − onto K. A character is said toe factor over K, the maximal compact subgroup of e j e SL2, if the map kθ exp 2 θ is also a character on K. The characters of K that e 7→ do not factor over K (i.e. the
genuine characters on K) are precisely those for which j / 2Z. Of these, one can show via (3.1) (or equivalently, (8.1) for V ∞e) that ∈ ǫ,ν φ e : ℓ 2Z is the set of all genuine characters containede in V ∞. { ǫ,ν,ℓ|K ∈ } ǫ,ν By applying Lemma 8.2 twice and utilizing standard identities for the Γ function, we find that 2πǫi cot(πν) Iǫ, ν Iǫ,ν φǫ, ν,0 = φǫ, ν,0. − − ν − Since we know by Schur’s lemma that Iǫ, ν Iǫ,ν is a scalar operator, it follows that 2πǫi cot(πν) − Iǫ, ν Iǫ,ν f = ν f for all f Vǫ,∞ ν . By applying a density argument, we can − ∈ − extend this result to Vǫ,−∞ν : −

Lemma 8.4. For f Vǫ,−∞ν , ∈ − 2πǫi cot(πν) Iǫ, ν Iǫ,ν f = f − ν for ν C Z. ∈ −

Recall that we defined ½ǫ,ν Vǫ,ν−∞ in (6.15) and δǫ,ν, Vǫ,ν−∞ just prior to ∈ ∞ ∈ (3.6). Lemma 8.5.

(a) Iǫ,ν δǫ, ν, = ½ǫ,ν , − ∞ 2πǫi cot(πν)

(b) Iǫ,ν ½ǫ, ν = δǫ,ν, . − ν ∞

Proof. Let f V ∞ǫ, ν with Re(ν) > 0. By Lemma 8.1 and (2.29), ∈ − − Iǫ,ν δǫ, ν, ,f ǫ,ν = ǫi δǫ, ν, , I ǫ,ν f ǫ, ν h − ∞ i − h − ∞ − i − π/2 1 = ǫi δǫ, ν,0(s− kθ)I ǫ,ν f(kθ)dθ − π/2 − − Z− π/2 e e e = ǫi δǫ, ν,0(kθ)I ǫ,ν f(skθ)dθ − π/2 − − Z− ∞ e e = ǫi δǫ, ν,0(nt)I ǫ,ν f(sent)dt = ǫiI ǫ,νf(s). − − − − − Z−∞ Once again, the change in the θ variablee doese note result in a changee in the bounds of integration since the integrand is M-invariant and dθ is a Haar measure for K/M. 2 Since s = m 1, 1 M and since M is the center of SL2(R), − − ∈ f e f ∞ 2 ∞ ∞ I ǫ,ν f(s)= ff(s nx) dt =f f(nxm 1, 1f) dt = ǫi f(nt) dt. e− e − − Z−∞ Z−∞ Z−∞ Thus e e e e e e ∞ ∞ Iǫ,ν δǫ, ν, ,f ǫ,ν = ǫi ǫi f(nt) dt = f(nt) dt. h − ∞ i − · Z−∞ Z−∞ e e 54 BRANDON BATE

5 This last equality shows that ∞ ½ǫ,ν (nt)f(nt) dt converges for any f V ∞ǫ, ν . −∞ ∈ − − Since the pairing , ǫ,ν is non-degenerate, it follows that for Re(ν) > 0, Iǫ,ν δǫ, ν, =

h· ·i R − ∞ ½ ½ǫ,ν. Since ν ǫ,ν is a meromorphic functione e on C, the lemma then follows from the uniqueness7→ of meromorphic continuation. Lemma 8.4 applied to δǫ, ν, shows that − ∞ 2πǫi cot(πν) Iǫ, ν Iǫ,ν δǫ, ν, = δǫ, ν, . − − ∞ ν − ∞ Therefore by part (a), 2πǫi cot(πν)

Iǫ, ν ½ǫ,ν = δǫ, ν, , − ν − ∞ which yields part (b) when we replace ν with ν.  − Let 2Γ(ν) πν (8.15) G (ν)= cos , 0 (2π)ν 2 2iΓ(ν)  πν G (ν)= sin , 1 (2π)ν 2 (1 ǫi)Γ(ν) πν πν G (ν)= − 1 cos + ǫ ǫ sin , (ǫ1,ǫ2) (2π)ν 2 1 2 2      where ǫ ,ǫ 1 . It follows directly from the definition of G (ν) that 1 2 ∈ {± } (ǫ1,ǫ2) (8.16) G(ǫ ,ǫ )(ν)= ǫ1iG( ǫ , ǫ )(ν). 1 2 − − 1 − 2 Notice that G0(ν) has simple poles at the non-positive even integers, G1(ν) has simple poles at the non-positive odd integers, and G(ǫ1,ǫ2)(ν) has simple poles at all the non-positive integers. For 0 < Re(ν) < 1, it is well-known that

m2 η ν 1 (8.17) Gη(ν) = lim sgn(t) t − e(t) dt m1,m2 m | | →∞ Z− 1 for η 0, 1 .6 The following lemma shows that a similar integral representation ∈ { } holds for G(ǫ1,ǫ2)(ν). Lemma 8.6. For 0 < Re(ν) < 1,

m2 ǫ1/2 ν 1 G(ǫ1,ǫ2)(ν) = lim sgn( ǫ2t)− t − e(t) dt. m1,m2 m − | | →∞ Z− 1 Proof. If ǫ2 = 1 then

ǫ /2 ǫ /2 1 ǫ1i sgn( ǫ t)− 1 = sgn( t)− 1 = (1 sgn(t)) (1 + sgn(t)). − 2 − 2 − − 2

5This can also be seen from Proposition 2.1. 6We obtain (8.17) by noting that

m2 m2 m1 sgn(t)η |t|ν−1e(t) dt = |t|ν−1e(t) dt + (−1)η |t|ν−1e(−t) dt, Z−m1 Z0 Z0 m Γ(ν) and recalling that lim tν−1e(t) dt = e(ν/4) for 0 < Re(ν) < 1, the latter of which ν m→∞ Z0 (2π) m follows by changing variables in the definition of Γ(ν)= lim tν−1e−t dt. m→∞ Z0 METAPLECTICEISENSTEINDISTRIBUTIONS 55

If ǫ = 1 then 2 − ǫ /2 ǫ /2 1 ǫ1i sgn( ǫ t)− 1 = sgn(t)− 1 = (1 + sgn(t)) (1 sgn(t)). − 2 2 − 2 − Thus in either case,

ǫ /2 1 ǫ1i sgn( ǫ t)− 1 = (1 ǫ sgn(t)) (1 + ǫ sgn(t)). − 2 2 − 2 − 2 2 Therefore by (8.17), for 0 < Re(ν) < 1,

m2 ǫ1/2 ν 1 lim sgn( ǫ2t)− e(t) t − dt m1,m2 m − | | →∞ Z− 1 m2 1 ǫ1i ν 1 = lim (1 ǫ2sgn(t)) (1 + ǫ2sgn(t)) t − e(t) dt m1,m2 m 2 − − 2 | | →∞ Z− 1   1 ǫ i = (G (ν) ǫ G (ν)) 1 (G (ν)+ ǫ G (ν)) 2 0 − 2 1 − 2 0 2 1 πν πν πν πν Γ(ν) = cos ǫ i sin ǫ i cos + ǫ i sin 2 − 2 2 − 1 2 2 2 (2π)ν    πν   πν  Γ(ν)    = (1 ǫ i) cos + ǫ ǫ sin − 1 2 1 2 2 (2π)ν       = G(ǫ1,ǫ2)(ν).

Lemma 8.7. For n =0, 6

ν e Iǫ,ν eǫ, ν,n = G(ǫ,sgn(n))(ν) n − ǫ,ν,n, − | |

for all ν C Z 0. Recall that eǫ,ν,n is defined in (6.12). ∈ − ≤ Proof. Assume 0 < Re(ν) < 1. Once we prove the identity for ν in this range, the lemma then follows by invoking the uniqueness of meromorphic continuation.

By Lemma 8.1, e (8.18) Iǫ,ν eǫ, ν,n, φ ǫ,ν = ǫi ǫ, ν,n, I ǫ,ν φ ǫ, ν h − i − h − − i − for φ V ∞ǫ, ν . Suppose supp(φ) NB. Consequently, φ0 Cc∞(R) (see (2.14) ∈ − − ⊂ ∈ for the definition φ ). Since for t = 0, 0 6 e e 1 1 1 (8.19) nxs nt = n( t− + x)a( t − )msgn(t),sgn(t)n (t− ), − | | − it then follows from (8.2) and (8.1) for V ∞ǫ, ν , e ee e e − − e e

∞ ǫ/2 1 ν 1 (8.20) (I ǫ,ν φ) (x)= sgn(t) φ0( t− + x) t − − dt − 0 − | | Z−∞ ∞ ǫ/2 ν 1 = sgn( t) t − φ (t + x) dt − | | 0 Z−∞ ∞ ǫ/2 ν 1 = sgn(x t) x t − φ (t) dt, − | − | 0 Z−∞ with the above integrals converging absolutely. 56 BRANDON BATE

By (6.12), we see that eǫ, ν,n satisfies the hypotheses of Proposition 2.1. Thus by (8.18), (8.20), and Proposition− 2.1,

m e (8.21) Iǫ,ν eǫ, ν,n, φ ǫ,ν = ǫi lim (I ǫ,ν φ) (x)( ǫ, ν,n) (x) dx − m − 0 − 0 h i − →∞ m m Z− ∞ ǫ/2 ν 1 = ǫi lim sgn(x t) x t − φ0(t) dt e(nx) dx. − m m − | − | →∞ Z− Z−∞ Since we’ve assumed φ0 has compact support, we can think of the integration over R in the last line of (8.21) as actually occurring over a finite interval, say [ R, R] for some R> 0. Hence by Fubini’s Theorem, we can swap the order of integration,− and then perform the following changes of variables:

(8.22) Iǫ,ν eǫ, ν,n, φ ǫ,ν − h i m ∞ ǫ/2 ν 1 = ǫi lim sgn(x t) x t − φ0(t)e(nx) dx dt − m m − | − | →∞ Z−∞ Z− m t ∞ − ǫ/2 ν 1 = ǫi lim sgn(x) x − φ0(t)e(nx + nt) dx dt − m m t | | →∞ Z−∞ Z− − m t ∞ − ǫ/2 ν 1 = ǫi lim φ0(t)e(nt) sgn(x) x − e(nx) dx dt − m m t | | →∞ Z−∞ Z− − n (m t) ∞ ν | | − ǫ/2 ν 1 = ǫi lim φ0(t)e(nt) n − sgn(nx) x − e(x) dx dt − m | | n (m+t) | | →∞ Z−∞ Z−| | ν ∞ = ǫi n − lim φ0(t)e(nt)hm(t) dt, − | | m →∞ Z−∞ where n (m t) | | − ǫ/2 ν 1 (8.23) hm(t)= sgn(nx) x − e(x) dx. n (m+t) | | Z−| | For m> 2R and t [ R, R], we have that m t, m + t > R. Thus ∈ − − ν ν 1 ν 1 (8.24) h′ (t) n m t − + m + t − 1, | m | ≤ | | | − | | | ≪ with the implied constant independent of m, but dependent
upon n and ν. This bound follows since Re(ν) < 1. By Lemma 8.6,

(8.25) lim hm(t)= G( ǫ, sgn(n))(ν). m − − →∞ Since m hm(0) is a continuous function, (m hm(0)) 1, with the implied constant7→ independent of m. By this and (8.24), we7→ have that≪ (8.26) h (t) t , | m | ≪ | | with the implied constant independent of m. By (8.26) and (8.25), we can pass the limit in m past the integral given in the last line of (8.22). Hence

ν ∞ (8.27) Iǫ,ν eǫ, ν,n, φ ǫ,ν = ǫiG( ǫ, sgn(n))(ν) n − φ0(t)e(nt) dt. h − i − − − | | Z−∞ We can further simplify (8.27) by invoking (8.16). This, together with the fact that

eǫ,ν,n, φ ǫ,ν = ∞ φ0(t)e(nt) dt, shows that h i −∞

ν e (8.28) R Iǫ,ν eǫ, ν,n, φ ǫ,ν = Gǫ,sgn(n)(ν) n − ǫ,ν,n, φ ǫ,ν h − i | | h i METAPLECTICEISENSTEINDISTRIBUTIONS 57 for all φ V ∞ǫ, ν such that supp(φ) NB. ∈ − − ⊂ By suitably modifying the above argument, one can show that (8.28) also holds 1 7 for φ with supp(φ) s− NB. Thus bye e (2.31) (and the surrounding discussion), ⊂ (8.28) holds for all φ V ∞ǫ, ν . The lemma then follows from the non-degeneracy ∈ − − of the pairing , . e e  h· ·iǫ,ν e The functional equation for the metaplectic Eisenstein distributions (given in ( ) Theorem 9.1) will include Iǫ,ν Eǫ,∞ν as one of its terms. The following proposition ( −) ( ) gives a series expansion for Iǫ,ν Eǫ,∞ν similar to the one given for Eǫ,ν∞ in Proposition 6.2. e − ( ) e e Proposition 8.8. Iǫ,ν Eǫ,∞ν = cǫ,ν (n)eǫ,ν,n + cǫ,ν( )δǫ,ν, , where − ∞ ∞ n Z X∈ e ν cǫ,ν (n)= G(ǫ,sgn(n))(ν) n − aǫ, ν(n) for n =0, | | − 6 2ν 1 c (0) = (1 2 − )G (2ν)ζ(2ν), and ǫ,ν − 0 2ν 1 c ( )=(1 ǫi)2 − G (2ν)ζ(2ν + 1). ǫ,ν ∞ − 0 ( ) Proof. We apply Iǫ,ν to the series expansion for Eǫ,∞ν given in Proposition 6.2. By Lemma 8.5 and Lemma 8.7, − ( ) e Iǫ,ν Eǫ,∞ν = cǫ,ν(n)eǫ,ν,n + cǫ,ν ( )δǫ,ν, , − ∞ ∞ n Z X∈ where e ν cǫ,ν (n)= G(ǫ,sgn(n))(ν) n − aǫ, ν (n) for n =0, | | − 6 2πǫi cot(πν) cǫ,ν ( )= aǫ, ν(0), and ∞ ν − cǫ,ν (0) = aǫ, ν ( ). − ∞ Notice that cǫ,ν(n) for n = 0 satisfies the equality asserted in the statement of the proposition. However, more6 justification is required for our statements regarding cǫ,ν(0) and cǫ,ν ( ). In what follows,∞ we shall use the following identities, the latter of which is the functional equation for the Riemann zeta function: π cot(πν) (8.29) G (2ν +1)= G (2ν), ν 0 − 0 ζ(1 ν)= G (ν)ζ(ν). − 0 By these identities and Proposition 5.5, it follows that 2πǫi cot(πν) cǫ,ν ( )= aǫ, ν(0) ∞ ν − 2πǫi cot(πν) 2ν 2 = (1 + ǫi)2 − ζ( 2ν) ν − 2ν 1 π cot(πν) = ǫi(1 + ǫi)2 − G (2ν + 1)ζ(2ν + 1) ν 0 2ν 1 = ǫi(1 + ǫi)2 − G (2ν)ζ(2ν + 1) − 0 2ν 1 = (1 ǫi)2 − G (2ν)ζ(2ν + 1). − 0 7 One merely replaces φ0 with φ∞ and verifies that (8.20) holds for φ∞. 58 BRANDON BATE

Similarly, by (8.29) and Proposition 6.2, it follows that

2ν 1 cǫ,ν(0) = aǫ, ν ( )=(1 2 − )ζ(1 2ν) − ∞ − − 2ν 1 = (1 2 − )G (2ν)ζ(2ν). − 0 From these computations we obtain the formulas for cǫ,ν (0) and cǫ,ν( ) given in the lemma. ∞ 

(0) We will also need to have explicit formulas for the Fourier coefficients of Iǫ,ν Eǫ, ν. (0) − Recall that Eǫ,ν was defined in (7.3) and has a Fourier series given in (7.8). e (0) Propositione 8.9. Iǫ,ν Eǫ, ν = dǫ,ν (n)eǫ,ν,n + dǫ,ν ( )δǫ,ν, , where − ∞ ∞ n Z X∈ e ν dǫ,ν (n)= G(ǫ,sgn(n))(ν) n − bǫ, ν (n) for n =0, | | − 6 dǫ,ν (0) = 0, and d ( )=2ν (1 22ν )G (2ν)ζ(2ν + 1). ǫ,ν ∞ − 0 Proof. We shall only justify the statements regarding dǫ,ν (0) and dǫ,ν ( ) since the first statement follows just as in the proof of Proposition 8.8. Once again,∞ we will use the identities in (8.29) to prove our results. By Lemma 8.5 and Proposition 7.1, 2πǫi cot(πν)

Iǫ,ν (bǫ, ν (0)½ǫ, ν)= bǫ, ν(0)δǫ,ν, − − ν − ∞ 2πǫi cot(πν) ν 1 2ν = ǫi2 − (1 2 )ζ( 2ν)δǫ,ν, ν − − ∞ 2πǫi cot(πν) ν 1 2ν = ǫi2 − (1 2 )G0(2ν + 1)ζ(2ν + 1)δǫ,ν, ν − ∞ ν 1 2ν = ( 2ǫi)ǫi2 − (1 2 )G0(2ν)ζ(2ν + 1)δǫ,ν, − − ∞ ν 2ν =2 (1 2 )G0(2ν)ζ(2ν + 1)δǫ,ν, . − ∞ Similarly, by Lemma 8.5 and (7.10),

Iǫ,ν (bǫ, ν( )δǫ, ν, )= Iǫ,ν (0) = 0 ½ǫ,ν .  − ∞ − ∞ ·

9. A Functional Equation for Metaplectic Eisenstein Distribution The following theorem gives a functional equation for metaplectic Eisenstein dis- tributions, the proof of which relies upon the calculation of the Fourier coefficients ( ) (0) ( ) of Eǫ,ν∞ (Proposition 5.5, Proposition 6.2), Eǫ,ν (Proposition 7.1, (7.10)), Iǫ,ν Eǫ,∞ν (0) − (Proposition 8.8), and Iǫ,ν Eǫ, ν (Proposition 8.9). e − e e Theorem 9.1. For ǫ 1 and ν C, ∈ {±e } ∈ ( ) 2ν 1 2ν 1 1 Iǫ,ν Eǫ,∞ν = (1 ǫi)2 − (1 2− − )− G0(2ν) − − −  ( ) ν 2ν (0)  E ∞ + (1 ǫi)2− (1 2 )E , e · ǫ,ν − − ǫ,ν ( )  (0)  where Eǫ,ν∞ is defined in (3.22),eEǫ,ν is defined in (7.3), ande G0(ν) is defined in (8.15). e e METAPLECTICEISENSTEINDISTRIBUTIONS 59

We begin by presenting an outline for the proof of Theorem 9.1. First, we will show that the distribution

( ) 2ν 1 2ν 1 1 (9.1) τǫ,ν = Iǫ,ν Eǫ,∞ν (1 ǫi)2 − (1 2− − )− G0(2ν) − − − −  ( ) ν 2ν (0)  E ∞ + (1 ǫi)2− (1 2 )E , e · ǫ,ν − − ǫ,ν   is “cuspidal” for all ν (in a sense thate will be defined shortly). Wee will then argue from the discreteness of the spectrum of cusp forms that τ 0 for almost all ν. ǫ,ν ≡ The uniqueness of meromorphic continuation then establishes that τǫ,ν 0 for all ν, from which Theorem 9.1 then follows. To make all this rigorous, we will≡ need to recall the notion of an automorphic distribution. See [22, 23, 24, 26] for more details on this subject. Since we will be considering automorphic distributions that are automorphic with respect to Γ1(4) (defined in (3.5)), we will also need to comment on the relationship between automorphic distributions and the cusps associated with Γ1(4). e In what follows, we recall the definition for automorphic distribution as stated in [24, e2]. Let (π, V ) be an admissible, finite length representation of SL (R), where § 2 V is a reflexive Banach space. One can show that the dual representation (π′, V ′) is also an admissible, finite length representation of SL2(R), with fV ′ a reflexive Banach space. Let (V ′)∞ denote the space of smooth vectors of (π′, V ′), equipped with the topology inherited from C∞(G, V ′) via the inclusionf v′ (g π′(g)v′). 7→ 7→ Let V −∞ denote the space of distributions on (V ′)∞. We identify elements of V with elements of (V ′)′ in the usual way. Thus, as linear functionals one (V ′)∞,e

(9.2) V ∞ V V −∞. ⊂ ⊂ In this way we are able to think of distributions as generalized functions in the sense of Gelfand et al. The dual action of (π′, (V ′)∞) defines an action of SL2(R) on V −∞, which we denote by π. When working with V −∞, one typically equips it with the weak* topology. However we shall use the finer topology knownf as the strong distribution topology [29, 19] that was previously discussed in Section § 2. One can check that the action π on V −∞ is (strongly) continuous with respect to the strong distribution topology [24, A] and that V ∞ (and hence also V ) is e § Γ (4) dense in V −∞ with respect to this topology. Let (V −∞) 1 denote the subspace of V −∞ consisting of elements that are Γ1(4)-invariant under the action of π. Using e Γ (4) the terminology established in [24], elements of (V −∞) 1 are called automorphic distributions. This definition of automorphice distribution slightly generalizes the definition of automorphic distribution that appears in earlier papers on this topic [22, 26]. Recall that γ Γ (4), or rather its SL -coordinate γ, acts upon R as a ∈ 1 2 ∪ {∞} linear fractional transformation. To each cusp a Q of Γ (4), we let Γa denote the ∈ 1 stabilizer of a ine Γ1(4)e under this action. It is well-known that Γa is a cyclic group, 1 and hence Γa has a generator γa Γ (4). The cusps of Γe (4) are 0, e, and . For ∈ 1 1 2 ∞ each cusp a, theree exists ξa SL (R) such that e ∈ 2 e e e e e f 1 r 1 1 (9.3) ξa = a and ξa− γaξa = n = , 1 , · ∞ 1 0 1    e e e e 60 BRANDON BATE for some r Z>0. For a = , we have ξ = (id, 1). For a = 0, we use ξ0 as defined ∈ ∞ ∞ in (7.1). It is straightforward to check that ξ and ξ0 both satisfy (9.3), and that e ∞ a 1 e in particular, r = 1 for both of these cusps. As for = 2 , one can compute that e e 1 4n 2n 8n 3 2 Γ 1 = − , − ,n Z = − , 1 . 2 8n 1+4n 1+4n ∈ 8 5 −  −     −   In thise case, (9.3) holds with

2 0 3 2 (9.4) ξ 1 = 1 , 1 , γ 1 = − , 1 , and r =2. 2 4 2− 2 8 5 −    −   e a 1 One can show that r = 2 is the minimale value of r for which (9.3) holds for = 2 . Recall that Vǫ,ν comes equipped with the action of SL2(R) by the left regular representation, which we denote by π. Observe (π, Vǫ,ν ) is an admissible represen- tation of finite length, with V a reflexive Banach space.f Let τ V −∞ such that ǫ,ν ∈ ǫ,ν τ is Γ1(4)-invariant, so that τ is an automorphic distribution for Γ1(4). We say that τ is cuspidal at a if

e 1 e 1 1 (9.5) π nx− ξa− τ dx =0. 0 Z   e Notice that the integral in (9.5) is ane integral of a Vǫ,ν−∞-valued function. This is well-defined since Vǫ,ν−∞ is a complete, locally convex, Hausdorff topological vector space with SL2(R) acting strongly continuously [24, A]. Recall that the dual rep- resentation of (π, V ) can be identified via the pairing§ , (defined in (2.20)) as ǫ,ν h· ·iǫ,ν (π′, V ǫ, ν ),f where π′ denotes the left regular representation. Thus by [24, (2.15)], − − 1 (9.6) F (g)= π(g− )τ, φ = τ, π′(g)φ τ,φ h iǫ,ν h iǫ,ν is a smooth automorphic forme for eΓ1(4), for any φ Ve∞ǫ, ν . Recall that a smooth automorphic form F is cuspidal at a if ∈ − −

1 e (9.7) F (ξanxg) dx =0, Z0 e for all g SL2(R). Thus if τ is cuspidale atea then so also Fτ,φ must be cuspidal at a. We say∈ that τ is a cuspidal automorphic distribution if (9.5) holds for all cusps a . e f In the classical setting, a cusp a is said to be singular relative to a multiplier system, if and only if the multiplier system is trivial on the stabilizer for that cusp [14, (2.65)]. Translated to the present setting, a cusp a is singular if and only if the second coordinate of γa is equal to 1. Thus for Γ1(4), we find that and 1 ∞ 0 are singular cusps (see (7.2)), while 2 is non-singular. In the classical setting, every automorphic form (relativee to a multiplier system)e is automatically cuspidal at the non-singular cusps [14, 2.7]. The same is true in our setting, and hence § a 1 in particular, τ is automatically cuspidal at = 2 . This claim can also be seen directly. Indeed, since

(9.8) ξ 1 n 1 = γ 1 ξ 1 m1, 1, 2 2 2 2 −

e e e e e METAPLECTICEISENSTEINDISTRIBUTIONS 61 it follows from (3.1) and the fact that m 1, 1 = ( id, 1) M, which is the center − − − − ∈ of SL2(R), that e f 1 1 1 f 2 2 (9.9) τ(ξ 1 nxg) dx = τ(ξ 1 nxg) dx + τ(ξ 1 n 1 nxg) dx 2 2 2 2 0 0 0 Z 1 Z 1 Z 2e e e 2 e e e e e e e = τ(ξ 1 nxg) dx τ(ξ 1 nxg) dx =0. 2 − 2 Z0 Z0 e a e1 Hence τ is automaticallye cuspidale at = 2 ease claimed.

8 e In (6.12), we defined eǫ,ν,n Vǫ,ν−∞ such that ( ǫ,ν,n) = e(nx) for all n Z=0. ∈ 0 ∈ 6 1 Since π ξa− τ is periodic by (9.3), it follows that 0     e 1 π ξa− τ = pǫ,ν,a(n)eǫ,ν,n , 0 n Z !     X∈ 0 e where 1 1 pǫ,ν,a(n)= πǫ,ν ξa− τ (x)e( nx) dx. 0 0 − Z     Thus e

1 (9.10) π ξa− τ = pǫ,ν,a(n)eǫ,ν,n + σǫ,ν,a n Z   X∈ e

1 1 9 e where σǫ,ν,a is a distribution supported in s− B. Since π(nx− )eǫ,ν,n = e(nx) ǫ,ν,n, it follows that 1 1 e e e

1 e (9.11) π n− e dx = e(nx) dx = 0 for n =0. x ǫ,ν,n ǫ,ν,n 6 Z0 Z0 
1 1 1 1

e ½ a Also observe that 0 π nx− ǫ,ν dx is supported on SL2(R) while 0 π nx− σǫ,ν, dx 1 is supported on s−R B. Thus
by (9.5), R
e f e (9.12) p a(0) = 0 and σ a =0 e e ǫ,ν, ǫ,ν, if and only if τ is cuspidal at a singular cusp a. As was mentioned earlier, we will prove Theorem 9.1 by showing that τǫ,ν (defined in (9.1)) is a cuspidal automorphic distribution. By the above discussion, it suffices to show that τǫ,ν is cuspidal at the cusps 0 and . ∞ Proof of Theorem 9.1. We begin by showing that τ is cuspidal at the cusp . ǫ,ν ∞ Since ξ = m1,1 = (id, 1), it follows from Proposition 6.2, Proposition 5.5, (7.8), ∞ e 8 e −∞ Recall that if f ∈ Vǫ,ν then f0 simply denotes the restriction of f to N.

9 −1 e To see that this is the case, observe that π(nx )eǫ,ν,n = (e(nx) ǫ,ν,ne )0 on R, and hence  0

−1 e by (2.27), π(nx )eǫ,ν,n = (e(nx) ǫ,ν,n)∞ oneR=06 . One can check that both distributions in  ∞ this latter equality vanish to non-negative order at 0. Thus by [23, Lemma 2.8], they must in fact e be equal on all of R. 62 BRANDON BATE

Proposition 7.1, and Proposition 8.8,

pǫ,ν, (0) ∞ 2ν 1 2ν 1 1 = c (0) (1 ǫi)2 − (1 2− − )− G (2ν) ǫ,ν − − − 0 ν 2ν a (0) + (1 ǫi)2− (1 2 )b (0)  · ǫ,ν − − ǫ,ν 2ν 1 2ν 1 2ν 1 1 = (1 2 − )G (2ν)ζ(2ν) (1 ǫi)2 −
(1 2− − )− G (2ν) − 0 − − − 0 2ν 2 ν 2ν ν 1 2ν (1 + ǫi)2− − ζ(2ν)+(1 ǫi)2− (1 2 )ǫi2− − (1 2− )ζ(2ν) =0. · − − −
Likewise, by Proposition 6.2, (7.10), and Proposition 8.8,

σǫ,ν, ∞ 2ν 1 2ν 1 1 = cǫ,ν ( )δǫ,ν, (1 ǫi)2 − (1 2− − )− G0(2ν) ∞ ∞ − − −  ν 2ν  aǫ,ν ( )+(1 ǫi)2− (1 2 )bǫ,ν( ) δǫ,ν, · ∞ − − ∞ ∞ 2ν 1 = (1 ǫi)2 − G0(2ν)ζ(2ν + 1)δǫ,ν,
− ∞ 2ν 1 2ν 1 1 2ν 1 (1 ǫi)2 − (1 2− − )− G0(2ν) (1 2− − )ζ(2ν + 1)δǫ,ν, =0. − − − · − ∞   Thus τǫ,ν is cuspidal at the cusp by (9.12). It remains to show that τ is∞ cuspidal at the cusp 0. Recall that in (7.1) we defined

1 1 0 2− ξ = a− s = s a = , 1 . 0 2 2 2− 0   

1 e e e e1e 1 Since ξ0(m 1, 1)− = ξ0( id, 1)− = ξ0− , then by (7.5) and (3.1), − − − −

1 ( ) (0) 1 (0) ( ) (9.13)e e π(ξ− e)E ∞ = ǫiE eand π(ξ− )E = E ∞ . 0 ǫ,ν − ǫ,ν 0 ǫ,ν ǫ,ν Thus e e e e e e

1 (0) 2ν 1 2ν 1 1 (9.14) π ξ0− τ = ǫiIǫ,νEǫ, ν (1 ǫi)2 − (1 2− − )− G0(2ν) − − − − −    (0) ν 2ν ( ) ǫiE + (1 ǫi)2− (1 2 )E ∞ . e e · − ǫ,ν − − ǫ,ν   By Proposition 5.5, Proposition 7.1, and Propositione 8.9, e

pǫ,ν,0(0)

2ν 1 2ν 1 1 = ǫid (0) (1 ǫi)2 − (1 2− − )− G (2ν) − ǫ,ν − − − 0 ν 2ν ǫib (0) + (1 ǫi)2− (1 2 )a (0)  · − ǫ,ν − − ǫ,ν 2ν 1 2ν 1 1 = (1 ǫi)2 − (1 2− − )− G (2ν)
− − − 0 ν 1 2ν ν 2ν 2ν 2 2− − (1 2− )ζ(2ν)+(1 ǫi)2− (1 2 )(1 + ǫi)2− − ζ(2ν) =0. · − − −
METAPLECTICEISENSTEINDISTRIBUTIONS 63

Likewise, by Proposition 6.2, (7.10), and Proposition 8.9,

σǫ,ν,0 2ν 1 2ν 1 1 = ǫidǫ,ν( )δǫ,ν, (1 ǫi)2 − (1 2− − )− G0(2ν) − ∞ ∞ − − −  ν 2ν  ǫibǫ,ν( )+(1 ǫi)2− (1 2 )aǫ,ν ( ) δǫ,ν, · − ∞ − − ∞ ∞ ν 2ν = ǫi 2 (1 2 )G0(2ν)ζ(2ν + 1)δǫ,ν,
− − ∞ 2ν 1 2ν 1 1 (1 ǫi)2 − (1 2− − )− G (2ν) − − − 0  ν 2ν 2ν 1  (1 ǫi)2− (1 2 )(1 2− − )ζ(2ν + 1) δǫ,ν, =0. · − − − ∞

Thus τǫ,ν is a cuspidal automorphic distribution. Since for
almost all ν, the only cuspidal automorphic distribution is 0, it follows that for almost all ν we have τǫ,ν 0. The uniqueness of meromorphic continuation then shows that τǫ,ν 0 for all ν≡. ≡ 

10. A Functional Equation for Metaplectic Eisenstein Series 1 For ℓ 2Z, the weight 2 ℓ (normalized) classical metaplectic Eisenstein series is ∈ − (10.1)

Ea,ℓ(z,ν) ℓ 1 − 2 je−1 (z) ν 1 ξa γ 1 = ζ2(4ν 1) ϑ(γ)w 1 ℓ(ξa, ξa− γ) Im ξa− γz , − 2 −   γ Γa Γ (4) je−1 (z) ∈ X\ 1 ξa γ     e 1 0 2− where a is either the cusp or 0, ξ = id and ξ0 = − (in compatibility ∞ ∞ 2 0   1 with (7.1)), z H = z C : Im(z) > 0 , ν C with Re(ν) > 1, w 1 ℓ(ξa, ξa− γ) ∈ { ∈ } ∈ 2 − a b is defined in [14, (2.48)], ϑ(γ) = c , and j (z) = cz + d for γ = . This d γ c d   definition is compatible with the definition
given in [14, (13.4)] except for the fact that we have a normalizing factor of ζ2(4ν 1), that ϑ in (10.1) is the η in [14, (13.4)], and that the ϑ in [14, (13.4)] is set as− the trivial multiplier system in (10.1). It is well-known that Ea,ℓ(z,ν) can be meromorphically continued to the entire 1 complex plane [11, 27]. It is easy to infer that w 1 (ξa, ξa− γ) = 1 when a = [14, 2 ℓ −1 ∞ (13.8)]. For a = 0, one can show that w 1 (ξa, ξa− γ) = 1 whenever we have γ such 2 ℓ 10 − that c> 0. Given that (10.1) is a defined as as summation over Γ0 Γ1(4), we can always arrange for this to be the case. Consequently, we find that (10.1)\ simplifies

10 π For such γ, there always exist z ∈ H such that | arg(cz + d)|, | arg(−az − b)| < 2 . From −1 π π this, one can show that arg(jξ0 (ξ0 γz)), arg(j −1 (z)), arg(jγ (z)) are all in − , . From the ξ0 γ 2 2
−1 definitions of ω and w 1 − given in [14, §2.6], it then follows from [14, (2.40)] that ω(ξ0, ξ0 γ) = 0 2 ℓ −1 for all such γ. This implies (by [14, (2.48)]) that w 1 − (ξ0, ξ0 γ) = 1 for all such γ. 2 ℓ 64 BRANDON BATE to the following: 1 ℓ 2 jγ (z) − ν (10.2) E ,ℓ(z,ν)= ζ2(4ν 1) ϑ(γ) (Im γz) , ∞ − jγ (z) γ Γ∞ Γ1(4)   ∈ X\ | | ℓ 1 − 2 je−1 (z) ν ξ0 γ 1 (10.3) E0,ℓ(z,ν)= ζ2(4ν 1) ϑ(γ) Im ξ0− γz , −  e−1  γ Γ0 Γ1(4) jξ γ (z) ∈ Xc>\ 0 0     e a b where in the summation of (10.3), γ = . c d We will show that Theorem 9.1 implies a functional equation for the classical metaplectic Eisenstein series. To do this, we will use Lemma 10.2, which relates metaplectic Eisenstein distributions to these classical metaplectic Eisenstein series. The following lemma will be needed in the proof of Lemma 10.2.

Lemma 10.1. For nt N, π(nt)δǫ,ν, = δǫ,ν, . ∈ ∞ ∞ Proof. Consider t = 0. By Lemma 3.1(b) and (3.6), we see that 6 e e e (10.4) (π(nt)δǫ,ν, ) (x) = (δǫ,ν, ) (x)=0. ∞ 0 ∞ 0 By this and (2.18), we then know that (π(nt)δǫ,ν, ) (x) = 0on R=0. Thus it ∞ ∞ 6 remains to determine (π(net)δǫ,ν, ) (x) on a neighborhood about 0. Let φ a test ∞ ∞ function on R= −1 . By Lemma 3.1(c), e 6 t e ν 1 ǫ/2 x (π(nt)δǫ,ν, ) (x) = (t,tx + 1)H tx +1 − sgn(tx + 1) (δǫ,ν, ) , ∞ | | ∞ tx +1 ∞ ∞  as an equality between distributions on R −1 . Thus by (3.6) and changing vari- e = t ables, 6

(π(nt)δǫ,ν, ) (x)φ(x) dx R ∞ ∞ 6 −1 Z = t

e ν 1 ǫ/2 x = (t,tx + 1)H tx +1 − sgn(tx + 1) ǫiδ0 φ(x) dx R | | tx +1 6 −1 Z = t   1 ν 1 ǫ/2 x t− 1 = (t,tx) tx − sgn(tx) ǫiδ − φ(x t− ) dx H | | 0 tx − ZR=06   ν 1 ǫ/2 1 2 1 1 = (t,tx) tx − sgn(tx) ǫiδ t− t− x− φ(x t− ) dx H | | 0 − − ZR=06
1 ν 1 ν 1 1 ǫ/2 1 2 1 1 = (t, tx− ) t − x − − sgn tx− ǫiδ t− + t− x φ( x− t− ) dx − H | | | | − 0 − − ZR=06

1 1 ν 1 ν 1 1 1 ǫ/2 1 = (t, t− x− ) t − − x − − sgn t− x− ǫiδ t− + x − H | | | | − 0 ZR=06 2 1 1

φ( t− x− t− ) dx · − − 2 ν 1 1 ν 1 ǫ/2 = (t,t− ) t − − t− − − sgn(1) ǫiφ(0) = ǫiφ(0) H | | | |

= (δǫ,ν, ) (x)φ(x) dx. ∞ R − ∞ =6 1 Z t METAPLECTICEISENSTEINDISTRIBUTIONS 65

This shows that

(10.5) (π(nt)δǫ,ν, ) (x) = (δǫ,ν, ) (x), ∞ ∞ ∞ ∞ thereby completing the proof.  e

Lemma 10.2. Let φǫ,ν,ℓ Vǫ,ν∞ such that (8.5) holds. For φ = φ 1, ν, ℓ, z = x + iy H, and a =0 or ∈, the following identities hold: − − − ∈ ∞ π/2 (a) 1/2 ℓ 1+ i ν +1 (a) E1,ν nxa(y )kθ φ(kθ) dθ = i− Ea,ℓ z, , π/2 √2 2 Z− π/2     e ( ) e 1/2 e (b) I1,ν Ee1∞, eν nxa(y )kθ φ(kθ) dθ π/2 − Z− 1 ν  eπ2 − Γ(ν) e e ν +1 = e e E ,ℓ z, − . Γ 3 ℓ + ν Γ 1 + ℓ + ν ∞ 2 4 − 2 2 4 2 2   Proof. By (3.22) and
(7.3),

(a) E1,ν (g)= ζ2(2ν + 1) π γξa δ1,ν, (g) ∞ e e γe Γ (4)/Γa ∈ X1   e e ee e where a =0 or and ∞ 1 0 2− ξ0 = − , 1 and ξ = m1,1 = (id, 1). 2 0 ∞    For Re(ν) > 1, observee e e

π/2 (a) 1/2 (10.6) E1,ν nxa(y )kθ φ(kθ) dθ π/2 Z−   π/2 e e e e e 1/2 = ζ2(2ν + 1) π(γξa)δ1,ν, nxa(y )kθ φ(kθ) dθ ∞ e e π/2 γe Γ (4)/Γa Z− ∈ X1   π/2 ee e e e e 1 1 1/2 = ζ2(2ν + 1) δ1,ν, ξa− γ− nxa(y )kθ φ(kθ) dθ ∞ e e π/2 γe Γ (4)/Γa Z− ∈ X1   1 e1/2e e e e e = ζ2(2ν + 1) fν ξa− γnxa(y ) , e e γe Γa Γ (4) ∈ X\ 1   e ee e where

π/2 (10.7) fν (g)= δ1,ν, gkθ φ(kθ) dθ with φ = φ 1, ν, ℓ. π/2 ∞ − − − Z−   e e e 1 e1/2 In order to evaluate fν ξa− γnxa(y ) we first evaluate the simpler expression 1/2 fν nxa(y ) . Since δ1,ν, is under N by Lemma 10.1, it follows that e∞ ee e
1/2 1/2 (10.8)e e fν nxa(y e) = fν a(y ) .     e e e 66 BRANDON BATE

1 1/2 1/2 1 Since s− a(y ) = a(y− )s− then it follows from (10.8), the fact that δǫ,ν, = ∞ π(s)δǫ,ν,0, and a change of variables, that (10.9)e e e e e π/2 1/2 1/2 1 1/2 fν nxa(y ) = fν a(y ) = δ1,ν,0 s− a(y )kθ φ(kθ) dθ π/2 Z−  π/2    π/2  e e 1/e2 1 e e e 1/2e = δ1,ν,0 a(y− )s− kθ φ(kθ) dθ = δ1,ν,0 a(y− )kθ φ(skθ) dθ. π/2 π/2 Z−   Z−   1 In this last equalitye we changede e variablese in θ (so as to removee s− intoe thee argumente of δ1,ν,0), but we did not change the domain of integration. This is justified by the discussion following (2.20). e Next, observe

1/2 tan(θ) sec(θ) (10.10) a(y− )kθ = n − a | | n (tan(θ)), y y1/2 −     for θ π , π e. It followse frome (10.10) ande (3.1), thate ∈ − 2 2
ν+1 1/2 tan(θ) sec(θ) − (10.11) δ1,ν,0 a(y− )kθ = δ1,ν,0 n − , y √y      ν+1 φ(skθ)=e φ s ne( tan(θ)) sec(e θ) . − | |   Thus by (10.9), (10.11), and a change of variables, ee ee (10.12)

1/2 fν nxa(y )  π/2  ν+1 tan(θ) sec(θ) − ν+1 = e e δ1,ν,0 n − φ s n( tan(θ)) sec(θ) dθ π/2 y √y − | | Z−      ν−1 ν+1 ν+1 ∞ t 2 − 2 dt = y 2 δ1,ν,e0 n − 1+ t φ(sene( t)) 1+ t y − 1+ t2 Z−∞    p p ν−1 ∞ t = y 2 δ ne φ( s n(t)) dt ee 1,ν,0 y Z−∞    ν−1 +1 ∞ ν+1 = y 2 δ1,ν,0e(nt)φ(s n(etye)) dt = y 2 φ(s) Z−∞ ν+1 ℓ πi ν+1 = y 2 φ 1, ν, ℓ(k π )= i− e 4 y 2 − − − 2 e ee e ℓ 1+ i ν+1 = i− Im(z) e2 , √2 where s is defined in (2.15). Let e a0 b0 h = ,κ SL2(R); c0 d0 ∈    1 later we will specialize h toe be ξa− γ. Observe f

1/2 1/2 (10.13) hn a(y )= n(Re(hz))a Im(hz) e , xe e e Kh,z   ee e e e METAPLECTICEISENSTEINDISTRIBUTIONS 67 where h is the SL2 component of h, z = x + iy, and

c0x+d0 c0y c z+d c−z+d (10.14) e = | e0 0| | 0 0| ,κ K. Kh,z c0y c0x+d0 ∈ c0z+d0 c0z+d0 ! ! | | | | e e Thus by changing variables in (10.7), utilizing the fact that φ K is a character, and applying (10.12), we have |

1/2 1/2 (10.15) f hn a(y ) = f n(Re(hz))a Im(hz) e ν x ν Kh,z 1    1/2  −   = fe n(Re(hz))a Im(hz) φ e νe e e e Kh,z ν+1 1 ℓ1+ i  −   = i− Im(hz) 2 φ e . e√2 e Kh,z   Since e K then there exists θ [ 2π, 2π) such that e = k . In particular, Kh,z ∈ ∈ − Kh,z θ there exists θ′ ( π, π) such that e∈ − e c0y c0x + d0 sin(θ′)= and cos(θ′)= , c z + d c z + d | 0 0| | 0 0| 1 11 provided h = ξa− γ where a =0 or . It then follows that θ = (1 κ)π + θ′ by ∞ 1 − (2.7). Since φ(kθ)= φ 1, ν, ℓ(kθ) = exp ℓ iθ , ℓ 2Z, and κ 1 , − − − 2 − ∈ ∈ {± } e e e 1

1 φ( ee )= φ(k ) = expe ℓ i(1 κ)π) exp ℓ iθ′ Kh,z θ 2 − − 2 −       iθ′e = κ exp exp( ℓiθ′). 2 −   By (2.16),

1 1 iθ′ exp(iθ′) 2 = exp log(exp(iθ′)) = exp . 2 2     Thus 1 ℓ 1 ℓ (10.16) φ( e )= κ exp(iθ′) 2 exp(iθ′)− = κ exp(iθ′) 2 − Kh,z 1 1 2 ℓ 2 ℓ 1 ℓ c0z + d0 − jh(z) − = κ(cos(θ′)+ i sin(θ′)) 2 − = κ = κ . c z + d j (z) | 0 0| | h | Therefore by (10.15),

ℓ 1 1+ i ν+1 j (z) − 2 1/2 ℓ 2 h (10.17) fν hnxa(y ) = i− Im(hz) κ , √2 jh(z)   | | where jh(z)= c0ze+ede0.

11 ′ −1 Notice that we have excluded −π from range of possible values for θ . If we have h = ξ∞ γ a b c ′ for γ = , ∈ Γ1(4) then c0 = c. In this case, if θ = −π then we must havee ce=e 0 c d  d  whiche then implies a = d = 1e since ad − bc = 1 and a ≡ d ≡ 1(mod 4). We would then have that −1 e Kh,z = (id, ∗), but this clearly does not equal k−π. If on the other hand we have h = ξ0 γ then c = −2a 6= 0 since a ≡ 1(mod 4), so clearly we cannot have θ′ = −π in this case either. 0 e e e e 68 BRANDON BATE

a b Let γ = , c . By (10.6) and (10.17) for h = ξ 1γ = γ, c d d −    ∞
e e e e e π/2 ( ) 1/2 (10.18) E1∞,ν nxa(y )kθ φ(kθ) dθ π/2 Z−   ℓ 1 1+e i e e c j (z) − 2 ν+1 ℓ e e γ 2 = i− ζ2(2ν + 1) Im(γz) √2 e e d jγ (z) γe Γ∞ Γ1(4) | | ∈ X\   ℓ 1+ i ν +1 = i− E ,ℓ z, √2 ∞ 2   for Re(ν) > 1. The uniqueness of meromorphic continuation proves part (a) for a = . For∞ the case of a = 0, observe

c d 1 c (10.19) ξ− γ = 2 2 , (a,c) . 0 2a 2b H d − −    e e 1 Thus by (10.6) and (10.17) for h = ξ0− γ,

e e e π/2 ( ) 1/2 E1∞,ν nxa(y )kθ φ(kθ) dθ π/2 Z−   ℓ 1 2 ν+1 e e e e−1 − e e j (z) 2 ℓ 1+ i c ξ0 γ 1 = i− ζ2(2ν + 1) (a,c)H Im ξ0− γz √2 d je−1 (z) e e e ξ0 γ ! γ ΓX0 Γ1(4)   | |   ∈ \ e ℓ 1+ i ν +1 = i− E0,ℓ z, , √2 2  

for Re(ν) > 1 and φ = φ 1, ν, ℓ. For this last equality we used the fact that for − − − any coset of Γ Γ (4), we can always choose γ Γ (4) such that c > 0. For such 0\ 1 ∈ 1 γ it follows that (a,c)H = 1. The uniqueness of meromorphic continuation then a proves part (a)e fore = 0. e e e The proof of part (b) will largely follow from (10.18). Observe that by (2.20),

π/2 ( ) 1/2 (10.20) I1,ν E1∞, ν nxa(y )kθ φ(kθ) dθ π/2 − Z−   1 e e1/e2 − e( ) e = I1,ν π nxa(y ) E1∞, ν , φ 1, ν, ℓ . − − − − 1,ν       e e e METAPLECTICEISENSTEINDISTRIBUTIONS 69

Thus by Lemma 8.1 and Lemma 8.2, π/2 ( ) 1/2 (10.21) I1,ν E1∞, ν nxa(y )kθ φ(kθ) dθ π/2 − Z−   1 e e1/2e − (e ) e = i π nxa(y− ) E1∞, ν , I 1,ν φ 1, ν, ℓ − − − − − − 1, ν   −   1 ν 1+ i e π2 − Γ(ν) = iiℓ e e − √2 · Γ 1 ℓ + 1 + ν+1 Γ 1 ℓ + 1 + ν+1 − 2 − 2 2 2 − 2 2 1 1/2 − ( )



π nxa(y ) E1∞, ν , φ 1,ν, ℓ − − · − 1, ν   −   1 ν 1+ i eπ2 − Γ(ν) = iℓ+1 e e − √2 · Γ 1 + ℓ + ν Γ 3 ℓ + ν 4 2 2 4 − 2 2 π/2 ( ) 1/2

E1∞, ν nxa(y )kθ φ 1,ν, ℓ(kθ) dθ. · π/2 − − − Z−   For Re(ν) < 1, it follows frome (10.18) thate e − e e π/2 ( ) 1/2 (10.22) I1,ν E1∞, ν nxa(y )kθ φ(kθ) dθ π/2 − Z−  1 ν ℓ+1 1+e i π2e− Γ(eν) ℓ 1+ i ν +1 = i e e i− E ,ℓ z, − − √2 · Γ 1 + ℓ + ν Γ 3 ℓ + ν √2 ∞ 2 4 2 2 4 − 2 2   1 ν π2 − Γ(ν)
ν
+1 = E ,ℓ z, − . Γ 1 + ℓ + ν Γ 3 ℓ + ν ∞ 2 4 2 2 4 − 2 2   The uniqueness of meromorphic
continuation
then proves part (b).  By Theorem 9.1, π/2 ( ) 1/2 I1,ν E1∞, ν nxa(y )kθ φ 1, ν, ℓ(kθ) dθ π/2 − − − − Z−   2ν 1 2ν 1 1 = (1 i)2e − (1e e 2− −e)− G0(2ν) e − −  π/2  ( ) 1/2 ν 2ν (0) 1/2 E1∞,ν nxa(y )kθ + (1 i)2− (1 2 )E1,ν nxa(y )kθ π/2 − − Z−      φ 1e, ν, ℓe(kθe) dθ. e e e e e · − − − After applying Lemma 10.2, this equation becomes e 1 ν π2 − Γ(ν) ν +1 (10.23) E ,ℓ z, − Γ 1 + ℓ + ν Γ 3 ℓ + ν ∞ 2 4 2 2 4 − 2 2   ℓ 1+ i 2ν 1 2ν 1 1 = i− (1
i)2 − (1
2− − )− G0(2ν) √2 − −   ν +1 ν 2ν ν +1 E ,ℓ z, + (1 i)2− (1 2 )E0,ℓ z, . · ∞ 2 − − 2      By the duplication formula for Γ(ν),

G0(2ν) 1 2ν 1 (10.24) = π− 2 − cos(πν)Γ + ν . Γ(ν) 2   70 BRANDON BATE

By applying this identity and simplifying (10.23), we find that ν +1 (10.25) E ,ℓ z, − ∞ 2   3ν 3 2ν 3 ℓ 2 − 2 π− − 2 1 1 ℓ ν 3 ℓ ν = i− cos(πν)Γ ν + Γ + + Γ + 1 2 2ν 1 2 4 2 2 4 − 2 2 − − −       ν +1 ν 2ν ν +1 E ,ℓ z, + (1 i)2− (1 2 )E0,ℓ z, . · ∞ 2 − − 2      Replacing ν with 2s 1 yields a more traditional form of the functional equation: − Theorem 10.3. For z H, s C, ℓ 2Z, ∈ ∈ ∈ E ,ℓ(z, 1 s) ∞ − 6s 9 1 4s ℓ 2 − 2 π 2 − 1 1 ℓ 1 ℓ = i− cos(2πs)Γ 2s Γ s + Γ s + − 1 21 4s − 2 − 4 2 4 − 2 − −       2s 1 s E ,ℓ(z,s)+(1 i)2− − (4 16 )E0,ℓ(z,s) . · ∞ − −   The following proposition will allow us to express Ea,ℓ in a Fourier series expan- sion. Proposition 10.4. For x R and y R , ∈ ∈ >0 1 1/2 − (a) π nxa(y ) ½1,ν , φ 1, ν, ℓ − − − 1,ν    1 ν  π2 − Γ(ν) −ν+1 2 = e1 e1 ν+1 1 1 ν+1 y , Γ 2 2 ℓ + 2 Γ 2 2 ℓ + 2 − 1 − − 1/2 − ℓ 1+ i ν+1 (b) π nxa(y
) δ1,ν,
, φ 1, ν, ℓ
=
i y 2 , ∞ − − − √2  1,ν   1 −ν+1 1/2 − 2 (c) π nexea(y ) e1,ν,n, φ 1, ν, ℓ = e(nx)y Wν (ny), − − − 1,ν     where e e ∞ 1 1 ℓ) ν+1 1 ( 1 ℓ) ν+1 (10.26) W (y)= e(ty)(1 it) 2 ( 2 − − 2 (1 + it)− 2 2 − − 2 dt. ν − Z−∞ Proof. By the uniqueness of meromorphic continuation, it suffices to prove the above identities for Re(ν) > 0. By Proposition 2.1,

1 1/2 − (10.27) π nxa(y ) ½1,ν , φ 1, ν, ℓ − − − 1,ν     ∞ 1/2 = e e½1,ν nxa(y )nt φ 1, ν, ℓ(nt) dt. − − − Z−∞   Since e e e e

2 1/2 t (10.28) nt = k( arctan(t))a (1 + t )− n − − 1+ t2     then by (8.6), e e e e 2 ν+1 (10.29) φ 1, ν, ℓ(nt)= φ 1, ν, ℓ(k( arctan(t)))(1 + t )− 2 . − − − − − − − e e METAPLECTICEISENSTEINDISTRIBUTIONS 71

Thus by (8.12) and (8.13),

1 ( 1 ℓ) 1 ( 1 ℓ) 2 ν+1 (10.30) φ 1, ν, ℓ(nt)=(1 it) 2 2 − (1 + it)− 2 2 − (1 + t )− 2 − − − − 1 ( 1 ℓ) ν+1 1 ( 1 ℓ) ν+1 = (1 it) 2 2 − − 2 (1 + it)− 2 2 − − 2 . − e Since

1/2 1/2 (10.31) nxa(y )nt = n(x + ty)a(y ), then by (3.1) e e e e e −ν+1 1/2 2 (10.32) ½1,ν nxa(y )nt = y .   Thus by (10.27), (10.30), and (10.32),e e e 1 1/2 − π nxa(y ) ½1,ν , φ 1, ν, ℓ − − − 1,ν     −ν+1 ∞ 1 ( 1 ℓ) ν+1 1 ( 1 ℓ) ν+1 = y e 2e (1 it) 2 2 − − 2 (1 + it)− 2 2 − − 2 dt. − Z−∞ Part (a) then follows from (8.14). By Lemma 10.1,

1 1 1/2 − 1/2 − (10.33) π nxa(y ) δ1,ν, = π a(y ) δ1,ν, . ∞ ∞     Therefore by (2.30) and the definition of δ1,ν, (given just above (3.6)), e e ∞e 1 1/2 − (10.34) π nxa(y ) δ1,ν, , φ 1, ν, ℓ ∞ − − − 1,ν     1 ∞ 1/2 − = e e π nxa(y ) δ1,ν, (nt) (φ 1, ν, ℓ) (t) dt ∞ · − − − ∞ Z−∞   ∞ ∞ 1/2 1 1 = δ1,ν,e ea y s− nt φ 1, eν, ℓ(s− nt) dt ∞ − − − Z−∞     ∞ 1 1/2 1 1 = δ1,ν,0 se− a y e se− nt φ 1, ν, eℓ(se− nt) dt. − − − Z−∞     Since e e e e e e 1 1/2 1 1/2 1/2 (10.35) s− a y s− nt = n(t/y)a y− m 1,1 = n(t/y)a y− ( id, 1), − −       by (3.1) e e e e e e e e e 1 1/2 − (10.36) π nxa(y ) δ1,ν, , φ 1, ν, ℓ ∞ − − − 1,ν     ∞ ν−1 1 = e eiy 2 δ1,ν,0(n(t/y))φ 1, ν, ℓ(s− nt) dt − − − Z−∞ ν+1 ∞ 1 = iy 2 δ1,ν,0(ent)φ 1, ν, ℓ(s− ne(tye)) dt − − − Z−∞ ν+1 1 = y 2 iφ 1, ν, ℓ(s− ). − − − e e e

e 72 BRANDON BATE

By (2.15) and (8.5),

1 π 1 πi iφ 1, ν, ℓ(s− )= iφ 1, ν, ℓ k − = i exp ℓ − − − − − − 2 − 2 − 2        1 1 1 1 1+ i = e(1/4)e e ℓ = e e ℓ + = iℓ . 4 − 2 4 2 √2       Part (b) follows from this and (10.36). By Proposition 2.1,

1 1/2 − (10.37) π nxa(y ) e1,ν,n, φ 1, ν, ℓ − − − 1,ν     ∞ 1/2 = e ee1,ν,n nxa(y )nt φ 1, ν, ℓ(nt) dt. − − − Z−∞   By (10.31), (3.1), and (6.12), e e e e

−ν+1 1/2 2 (10.38) e1,ν,n nxa(y )nt = e(n(x + ty))y .   Thus by (10.37) and (10.30),e e e

1 1/2 − π nxa(y ) e1,ν,n, φ 1, ν, ℓ − − − 1,ν     ∞ −ν+1 1 ( 1 ℓ) ν+1 1 ( 1 ℓ) ν+1 = e ee(n(x + ty))y 2 (1 it) 2 2 − − 2 (1 + it)− 2 2 − − 2 − −∞ Z −ν+1 = e(nx)y 2 Wν (ny), which completes the proof of part (c). 

By Lemma 10.2(a) and (2.20),

1 ν +1 ℓ 1 i 1/2 − (a) (10.39) Ea,ℓ z, = i − π nxa(y ) E1,ν , φ 1, ν, ℓ , − − − 2 √2 1,ν       e where z = x + iy H. By Proposition 6.2,e Propositione 10.4, and the fact that ℓ is even, ∈

ν +1 (10.40) E ,ℓ z, ∞ 2   1 ν ℓ 1 i π2 − Γ(ν) −ν+1 = i − a1,ν (0)y 2 √2 Γ 1 1 ℓ + ν+1 Γ 1 1 ℓ + ν+1 2 2 − 2 − 2 2 − 2 ν+1 ℓ 1 i −ν+1 + a ( )y 2 + i
−
e(nx)a (
n)y 2
W (ny), 1,ν ∞ √ 1,ν ν 2 n Z X∈ =06 where a (0) is given in Proposition 5.5, a ( ) is given in Proposition 6.2, and 1,ν 1,ν ∞ a1,ν (n) for n Z=0 is given in Theorem 5.4. Similarly, by (7.8) and Proposition ∈ 6 REFERENCES 73

10.4, ν +1 (10.41) E z, 0,ℓ 2   1 ν ℓ 1 i π2 − Γ(ν) −ν+1 = i − b1,ν (0)y 2 √2 Γ 1 1 ℓ + ν+1 Γ 1 1 ℓ + ν+1 2 2 − 2 − 2 2 − 2 ℓ 1 i −ν+1 + i − e(nx
)b (n)
y 2 W (ny)
,
√ 1,ν ν 2 n Z X∈ =06 where b1,ν (0) is given in Proposition 7.1. Replacing ν with 2s 1 in (10.40) and (10.41) yields a more traditional form of the these Fourier series− expansions. The following proposition shows that the Whittaker function Wν (y) defined in (10.26) is compatible with the Whittaker function defined in [11]. Proposition 10.5. For y R , ∈ >0 ℓ 1+ i ν ∞ e( nt) Wν (ny)= i− y − dt. 1 1 ℓ + ν+1 1 ℓ √2 2 2 2 ( 2 ) 2 2 Z−∞ (y + t )− − (t + iy) − Proof. By (10.26), (8.13), and a change of variable,

∞ 1 ( 1 ℓ) 1 ( 1 ℓ) 2 ν+1 W (ny)= e(nty)(1 it) 2 2 − (1 + it)− 2 2 − (1 + t )− 2 dt ν − Z−∞ ∞ 1 ( 1 ℓ) 1 ( 1 ℓ) 2 ν+1 = e( nty)(1 + it) 2 2 − (1 it)− 2 2 − (1 + t )− 2 dt. − − Z−∞ One can show that for α C and t R, ∈ ∈ α α α 2 α 2α (10.42) (1 + it) (1 it)− = e (1 + t ) (t + i)− . − 2 Applying (10.42) with α = 1 1 ℓ shows that 2 2 − 1 1 ∞
2 1 ( 1 ℓ) ν+1 ℓ 1 W (ny)= e ℓ e( nty)(1 + t ) 2 2 − − 2 (t + i) − 2 dt ν 4 2 − −    Z−∞ ℓ 1+ i ∞ e( nty) = i− − dt. 1 1 ℓ + ν+1 1 √2 2 2 ( 2 ) 2 2 ℓ Z−∞ (1 + t )− − (t + i) − Performing the change of variables t t shows that 7→ y ℓ 1+ i ∞ e( nt) dt Wν (ny)= i− − 1 1 ℓ + ν+1 1 ℓ √2 2 2 ( 2 ) 2 2 y Z−∞ t − − t − 1+ y2 y + i     ℓ 1+ i ∞ e( nt) dt = i− − ν 1 ℓ (ν+1) 1 1 ℓ + +1 1 1 ℓ √2 ( 2 ) 2 2 2 ( 2 ) 2 2 +ℓ 2 y Z−∞ y − − (y + t )− − y− (t + iy) − ℓ 1+ i ν ∞ e( nt)  = i− y 1 1 − ν+1 1 dt. √2 2 2 2 ( 2 ℓ)+ 2 2 ℓ Z−∞ (y + t )− − (t + iy) − References [1] Bruce C. Berndt, Ronald J. Evans, and Kenneth S. Williams. Gauss and Jacobi sums. Canadian Mathematical Society Series of Monographs and Ad- vanced Texts. A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1998, pp. xii+583. 74 REFERENCES

[2] Johannes Buchmann and Ulrich Vollmer. Binary quadratic forms. Vol. 20. Al- gorithms and Computation in Mathematics. An algorithmic approach. Berlin: Springer, 2007, pp. xiv+318. [3] Daniel Bump. “Introduction: multiple Dirichlet series”. In: Multiple Dirich- let series, L-functions and automorphic forms. Vol. 300. Progr. Math. Birkh¨auser/Springer, New York, 2012, pp. 1–36. [4] Daniel Bump. “The Rankin-Selberg method: an introduction and survey”. In: Automorphic representations, L-functions and applications: progress and prospects. Vol. 11. Ohio State Univ. Math. Res. Inst. Publ. Berlin: de Gruyter, 2005, pp. 41–73. [5] W. Casselman. “Canonical extensions of Harish-Chandra modules to repre- sentations of G”. In: Canad. J. Math. 41.3 (1989), pp. 385–438. [6] Harold Davenport. Multiplicative number theory. Third. Vol. 74. Graduate Texts in Mathematics. Revised and with a preface by Hugh L. Montgomery. New York: Springer-Verlag, 2000, pp. xiv+177. [7] Gerald B. Folland. Real analysis. Second. Pure and Applied Mathematics (New York). Modern techniques and their applications, A Wiley-Interscience Publication. New York: John Wiley & Sons Inc., 1999, pp. xvi+386. [8] John B. Friedlander. “Bounds for L-functions”. In: Proceedings of the Inter- national Congress of Mathematicians, Vol. 1, 2 (Z¨urich, 1994). Birkh¨auser, Basel, 1995, pp. 363–373. [9] George Gasper. “q-extensions of Barnes’, Cauchy’s, and Euler’s beta inte- grals”. In: Topics in mathematical analysis. Vol. 11. Ser. Pure Math. World Sci. Publ., Teaneck, NJ, 1989, pp. 294–314. [10] David Ginzburg. “On the standard L-function for G2”. In: Duke Math. J. 69.2 (1993), pp. 315–333. 1 [11] Dorian Goldfeld and Jeffrey Hoffstein. “Eisenstein series of 2 -integral weight and the mean value of real Dirichlet L-series”. In: Invent. Math. 80.2 (1985), pp. 185–208. [12] Kenneth Ireland and Michael Rosen. A classical introduction to modern num- ber theory. Second. Vol. 84. Graduate Texts in Mathematics. New York: Springer-Verlag, 1990, pp. xiv+389. [13] Henryk Iwaniec. “Fourier coefficients of modular forms of half-integral weight”. In: Invent. Math. 87.2 (1987), pp. 385–401. [14] Henryk Iwaniec. Topics in classical automorphic forms. Vol. 17. Graduate Studies in Mathematics. Providence, RI: American Mathematical Society, 1997, pp. xii+259. [15] Henryk Iwaniec and Emmanuel Kowalski. Analytic number theory. Vol. 53. American Mathematical Society Colloquium Publications. Providence, RI: American Mathematical Society, 2004, pp. xii+615. [16] D. A. Kazhdan and S. J. Patterson. “Metaplectic forms”. In: Inst. Hautes Etudes´ Sci. Publ. Math. 59 (1984), pp. 35–142. [17] Anthony W. Knapp. Representation theory of semisimple groups. Princeton Landmarks in Mathematics. An overview based on examples, Reprint of the 1986 original. Princeton, NJ: Princeton University Press, 2001, pp. xx+773. [18] Tomio Kubota. On automorphic functions and the reciprocity law in a number field. 1969. REFERENCES 75

[19] Tomio Kubota. “Topological covering of SL(2) over a local field”. In: J. Math. Soc. Japan 19 (1967), pp. 114–121. [20] Robert Langlands. Letter to Andre Weil. 1967. url: http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands. [21] Stephen D. Miller and Wilfried Schmid. “Adelization of automorphic distribu- tions and mirabolic Eisenstein series”. In: Representation theory and mathe- matical physics. Vol. 557. Contemp. Math. Providence, RI: Amer. Math. Soc., 2011, pp. 289–334. [22] Stephen D. Miller and Wilfried Schmid. “Automorphic distributions, L- functions, and Voronoi summation for GL(3)”. In: Ann. of Math. (2) 164.2 (2006), pp. 423–488. [23] Stephen D. Miller and Wilfried Schmid. “Distributions and analytic continu- ation of Dirichlet series”. In: J. Funct. Anal. 214.1 (2004), pp. 155–220. [24] Stephen D. Miller and Wilfried Schmid. “On the rapid decay of cuspidal automorphic forms”. In: Adv. Math. 231.2 (2012), pp. 940–964. [25] Stephen D. Miller and Wilfried Schmid. “Pairings of automorphic distribu- tions”. In: Math. Ann. 353.2 (2012), pp. 581–597. [26] Stephen D. Miller and Wilfried Schmid. “The Rankin-Selberg method for automorphic distributions”. In: Representation theory and automorphic forms. Vol. 255. Progr. Math. Boston, MA: Birkh¨auser Boston, 2008, pp. 111–150. [27] C. Mœglin and J.-L. Waldspurger. Spectral decomposition and Eisenstein series. Vol. 113. Cambridge Tracts in Mathematics. Une paraphrase de l’Ecriture´ [A paraphrase of Scripture]. Cambridge University Press, Cam- bridge, 1995, pp. xxviii+338. [28] Goro Shimura. “On the holomorphy of certain Dirichlet series”. In: Proc. London Math. Soc. (3) 31.1 (1975), pp. 79–98. [29] Fran¸cois Tr`eves. Topological vector spaces, distributions and kernels. Unabridged republication of the 1967 original. Mineola, NY: Dover Publi- cations Inc., 2006, pp. xvi+565. [30] Nolan R. Wallach. Real reductive groups. I. Vol. 132. Pure and Applied Math- ematics. Boston, MA: Academic Press Inc., 1988, pp. xx+412. [31] Nolan R. Wallach. Real reductive groups. II. Vol. 132. Pure and Applied Math- ematics. Boston, MA: Academic Press Inc., 1992, pp. xiv+454.

Department of Mathematics, Houghton College, 1 Willard Ave, Houghton, NY 14744 E-mail address: [email protected]