![Arxiv:1809.05690V1 [Math.NT] 15 Sep 2018 up Fγ of Cusps Weight Steweight the Is R Ooopi Teeycs Fγ of Cusp Every at Holomorphic Are Se](http://data.docslib.org/img/c5fd0932bb88acc0cacd519f056b45a9-1.webp)
arXiv:1809.05690v1 [math.NT] 15 Sep 2018 up fΓ of cusps weight steweight the is r ooopi teeycs fΓ of cusp every at holomorphic are se .. 1 hpe ) u hs ilpa io oei hspaper. this in role minor a play will h these operator of but differential forms 4), The Maass Chapter harmonic [1] and e.g., forms (see, modular holomorphic define can 2 ∆ (2) fΓ of where oua om fweight of forms modular upfrs iial,awal amncMasfr fweight of form Maass harmonic weakly a Similarly, forms. cusp (1) χ χ pe-afpaeadlet and plane upper-half let 1.1. oua om(ep upfr)o weight of form) cusp (resp. form modular A function ( sara-nltcfunction real-analytic a is − OKMDLRFRSWOESAOSAEEISENSTEIN ARE SHADOWS WHOSE FORMS MODULAR MOCK k 0 )=( = 1) , ooopi,hroi n okmdlrforms. modular mock and harmonic Holomorphic, ( N N γz Abstract. eut yKda aootadYn 19) n coe (2009) Schofer and (1999), Yang sh and Θ whose fie equal Rapoport quadratic forms shadows imaginary Kudla, construct to by associated we arbitra one results application, weight of of As series series Eisenstein Eisenstein character. are shadows and whose level, forms modular mock k .W eoeby denote We ). level , eitgr with integers be f =( := − 0 : ( 1) N H k az k .W eoeby denote We ). → ute,let Further, . N yeblcLpain n iha otlna xoeta rwha t at growth exponential linear most at with and Laplacian, hyperbolic f + SEBASTI C n character and h ups fti ril st ieasml n xlctcntuto o construction explicit and simple a give to is article this of purpose The Γ ( b γz 0 )( aifigtetasomto property transformation the satisfying ( 2 N = ) cz k ∆ ( EISO NERLWEIGHT INTEGRAL OF SERIES := ) z + k for ) NHREOADAN-AI O PIPPICH VON ANNA-MARIA AND HERRERO AN M ξ χ N ´ k k := d ( level , k d ) srltdt h alca ∆ Laplacian the to related is ≥ f ( − )( H k ,χ N, y ± 1 : 2 n let and 1 cτ { ∈ hc sas ooopi rs.vnse)a vr cusp every at vanishes) (resp. holomorphic also is which , = H H χ + 1 b a hs mgsudrtedffrniloperator differential the under images whose , h nt dimensional finite the ) d c ∂x { k → N ∂ , 1. ( z 2 d 2 0 ,χ N, , 2 ( ) = C 3 n character and N Introduction k + , ξ k f 4 k x aifig() ih∆ with (1), satisfying .B nrdcn eti utpirsse one system multiplier certain introducing By ). } ( χ = ∈ h pc fwal amncMasfrsof forms Maass harmonic weakly of space the ) ∂y =2 := hr Θ( where , z ∂ + o all for ) eoeaDrcltcaatrmod character Dirichlet a denote PSL 2 ξ 2 iy 2 1 − k iy k level , ∈ − 2 k ◦ ( ∂ C Z iky ξ z z k : ) γ : . eoe aoisteafunction. theta Jacobi’s denotes ) χ ,y x, N = c n by and , ∂x ≡ ∂ ± n character and ∈ k (mod 0 + C b a d c R yteformula the by vco pc fholomorphic of space -vector i > y , ∂y k ∂ ( ∈ f S k hogotti article, this Throughout d,rcvrn some recovering lds, ,where 0, = ) k N n om whose forms and , Γ level , ( dw r Hecke’s are adows weight, integral ry 0 ,χ N, ) 0 } ( N eoetecomplex the denote . χ l nerlweight integral alf ) h usaeof subspace the ) , saholomorphic a is N n character and N satisfying f he 2 HERRERO AND VON PIPPICH
It is known that every function F (z) H2−k(N, χ) has a Fourier expansion at the cusp of the form ∈ ∞ ∞ ∞ (3) F (z)= c+(n)qn c(n)β (n, y)q−n, − 2−k n=n0 n=0 X X 2πiz where n0 Z and q := e . Here, for n> 0, we have ∈ ∞ −4πnu k−2 (4) β2−k(n, y) := e u du, Zy and, for n = 0, (1 k)−1yk−1, if k =1, (5) β (0,y) := 2−k log(− y), if k 6=1. − The coefficients c+(n) C (resp. c(n) C) are called holomorphic (resp. non-holomorphic) coefficients of F (z). One∈ has ∈ ∞ ξ (F )(z)= c(n)qn M (N, χ), 2−k ∈ k n=0 X and one says that the function ∞ c+(n)qn
n=n0 X is a mock modular form of weight 2 k, level N and character χ with shadow ξ2−k(F ). Note that a mock modular form is determined− by its shadow up to addition of a weakly holomorphic modular form of weight 2 k (this is a meromorphic modular form whose poles are supported at cusps). − In general, it is a difficult problem to describe the Fourier coefficients of mock modular forms. In the case of half integral weight, we have the influential work of Zwegers [20] that involves the mock-theta functions of Ramanujan, and also the work of Bringmann and Ono [3], Bruinier and Ono [6], and Bruinier [4], among others. An explicit construction of a mock modular form whose shadow equals Θ3(z), where Θ(z) denotes Jacobi’s theta function, has been constructed by Rhoades and Waldherr in [18]. In the case of integral weight 2 k with k 2, we have the work of Bruinier, Ono and Rhoades [7] relating the non-constant− Fourier≥ coefficients of mock modular forms of weight 2 k to the coefficients of weakly holomorphic modular forms of weight k. More precisely,− their result states that for F H (N, χ) with Fourier expansion (3), one has ∈ 2−k ∞ Dk−1(F )= c+(n)nk−1qn M ! (N, χ), ∈ k n=n0 X 1 ! where D := 2πi ∂z and Mk(N, χ) denotes the space of weakly holomorphic modular forms of weight k, level N and character χ (see, loc. cit., Theorem 1.1, p. 675). This relation determines the coefficients c+(n) for n = 0 provided one has an explicit formula for the Fourier coefficients of Dk−1(F ). Unfortunately,6 in general, this seems to be a difficult problem (see, e.g., loc. cit., pp. 675-676, where some examples are discussed). In the case of weight one (the self dual case), there is the work of Duke and Li [9], where the authors investigate certain mock modular forms associated to imaginary quadratic fields, whose shadows are cuspidal new forms, and relate their Fourier coefficients to logarithms of absolute values of units in the ring of integers of the corresponding Hilbert class field. We would also like to mention the recent work of Li [14], where he constructs a MOCK MODULAR FORMS WHOSE SHADOWS ARE EISENSTEIN SERIES 3 mock modular form whose shadow is an Eisenstein series of weight one studied by Hecke, which is a holomorphic vector-valued modular form for the Weil representation. In this paper, we focus exclusively on the simplest case concerning mock modular forms whose shadows are Eisenstein series of integral weight. One of the first examples of such a form is given by the series π ∞ G (z) := 8π σ (n)qn, 2 3 − 1 n=1 X where σ1(n) := d|n d. The function G2(z) is a mock modular form of weight 2 with shadow equal to 1 (one can consider 1 as an Eisenstein series of weight zero and level one). P Mock modular forms whose shadows are Eisenstein series of weight k 4 and level one have been constructed by Bringmann, Guerzhoy, Kent and Ono in [2] (see≥ Theorem 2.1, p. 1100). Here, the authors needed to control the constant term of any given harmonic Maass form in order to compute a certain extended Petersson inner product between weakly holomorphic modular forms. These computations are also contained in [1] (see Theorem 6.15, p. 104).
1.2. Purpose of the article. The purpose of this article is to give a simple and explicit construction of mock modular forms whose shadows are Eisenstein series of arbitrary integral weight k 1, level N 1 and character χ. To be more precise, recall that, given f M (N, χ) and≥g S (N, χ≥), one can define the Petersson inner product ∈ k ∈ k 1 f,g := f(z)g(z)yk−2dxdy. h i [Γ (1) : Γ (N)] 0 0 ZΓ0(N)\H Then, a classical result of the theory of modular forms states that the subspace N (N, χ) := f M (N, χ): f,g = 0 for all g S (N, χ) k { ∈ k h i ∈ k } ψ,̺,t is generated by certain Eisenstein series Ek (z), where ψ and ̺ are Dirichlet characters mod L and M, respectively, satisfying ψ̺ = χ, and t 1 is an integer with tLM N. We ψ,̺,t ≥ | refer to Section 2 for the precise definition of Ek (z). Note that one can assume that k χ( 1)=( 1) , since otherwise Mk(N, χ)= 0 . −In this paper− we shall describe a simple and{ explicit} construction of a weight 2 k mock modular form − ∞ ψ,̺,t + n (6) G2−k (z)= c2−k(n, t, ψ, ̺)q , n=0 X ψ,̺,t whose shadow equals Ek (z). If k 2, the construction of the corresponding harmonic Maass form is fairly elementary and≥ it is obtained by evaluating certain classical non- holomorphic Eisenstein series (going back, at least, to Hecke) at special points. Only the case k = 1 requires some minor extra manipulations, since one has to evaluate a derivative of these non-holomorphic Eisenstein series, following ideas of Kudla, Rapoport and Yang [12]. This is done in detail in Section 4. The harmonic Maass form constructed here has only polynomial growth at the cusps of Γ0(N). If k 2, these properties determine the ψ,̺,t ≥ mock modular form G2−k (z) uniquely. If k = 1, this mock modular form is unique up to addition of a form in M1(N, χ). In order to state our results more precisely, let us introduce some notation. By 1N we denote the trivial Dirichlet character mod N. Furthermore, given a Dirichlet character χ mod N, we write χ0 for the unique primitive Dirichlet character inducing χ. We denote 4 HERRERO AND VON PIPPICH by mχ the conductor of χ and we define ℓχ := N/mχ. We also denote by
mχ W (χ0) := χ0(n)e2πin/mχ n=1 X the Gauss sum of χ0, and by ∞ L(s, χ) := χ(n)n−s n=1 X the Dirichlet L-function associated to χ, which converges absolutely for s C with Re(s) > 1. We convey that f(x) = 0 if x N, for any given arithmetic function f∈: N C. Throughout the article, we let ψ and6∈ ̺ denote Dirichlet characters mod L and→M, respectively, satisfying (7) ψ( 1)̺( 1)=( 1)k, − − − and we let t 1 be an integer. We set ≥ n ℓ ℓ c (8) σψ,̺ (n) := ψ ck−1 dµ ̺ ̺0 ̺ ̺0 . k−1 c d d d 0X
Theorem 1.2. Assume k =2 and (ψ, ̺)=(1L, 1M ). Put π log(t) c+(0, t, 1 , 1 ) := (1 p−1) (1 p−1), 0 L M M − − Yp|L pY|M and for n> 0 put
π 1 1 1 1 n c+(n, t, 1 , 1 ) := n−1 σ L, M (n) tσ L, M . 0 L M M 2 1 − 1 t Then, the series (6) defines a mock modular form of weight 0, level tLM and trivial 1L,1M ,t character with shadow E2 (z). Theorem 1.3. Assume k =1. Put ′ 2L (1, ̺), if ψ = 11, c+(0, t, ψ, ̺) := 2πi log(2tM)L(0, ψ) L′(0, ψ) (1 p−1), if ̺ = 1 , 1 − p|M − M 0, otherwise, Q MOCK MODULAR FORMS WHOSE SHADOWS ARE EISENSTEIN SERIES 5 and for n> 0 put 2πi n π c+(n, t, ψ, ̺) := W (̺0) σψ,̺ log + γ log(n) 1 − M 0 t M 2 − n ℓ ℓ c +2 ψ log(c) dµ ̺ ̺0 ̺ ̺0 , tc d d d 0 1.3. Organization of the article. This paper is organized as follows: In Section 2 we ψ,̺,t give the definition of the Eisenstein series Ek (z) mentioned above. In Section 3 we recall the definition and basic properties of some non-holomorhic Eisenstein series which ψ,̺,t play a central role in the construction of the harmonic pre-image of Ek (z), which is given in Section 4. Section 5 is devoted to the proofs of Theorems 1.1, 1.2 and 1.3. Finally, in Section 6 we give some examples including the ones mentioned above. 2. Holomorphic Eisenstein series ψ,̺,t In this section we review the construction of the holomorphic Eisenstein series Ek (z) mentioned in the introduction. Throughout this and the next sections, we let N, k, L and M be integers with N,k,L,M 1. Moreover, we let ψ and ̺ denote Dirichlet characters mod L and M, respectively, satisfying≥ (7). We set L(k, ̺), if ψ = 1 , C (ψ, ̺) := 1 k 0, if ψ = 1 , 6 1 and we define πiL(0, ψ) (1 p−1), if ̺ = 1 , D(ψ, ̺) := − p|M − M 0, if ̺ = 1 . Q 6 M ψ,̺ ψ,̺ With the above notation and with σk−1(n) given by (8), we define the functions Ek (z) by their Fourier expansion as follows. When k > 2, or k =2 and (ψ, ̺) = (1L, 1M ), we define 6 2πi k W (̺0) ∞ Eψ,̺(z) := C (ψ, ̺)+ σψ,̺ (n)qn. k k − M (k 1)! k−1 n=1 − X When k =2 and (ψ, ̺)=(1L, 1M ), we define 2 ∞ 1 1 π 4π 1 1 E L, M (z) := C (1 , 1 ) (1 p−1) (1 p−1) σ L, M (n)qn. 2 2 L M − 2My − − − M 2 1 n=1 pY|M Yp|L X When k = 1, we define 2πi ∞ Eψ,̺(z) := C (ψ, ̺)+ D(ψ, ̺) W (̺0) σψ,̺(n)qn. 1 1 − M 0 n=1 X 6 HERRERO AND VON PIPPICH Note that in this case ψ( 1)̺( 1) = 1, hence if ψ = 11, then ̺ = 1M and C1(ψ, ̺) is a well-defined complex number.− − − 6 The following result is well-known and it is also a consequence of Proposition 3.1 in Section 3. ψ,̺ Proposition 2.1. If k = 2, or k = 2 and (ψ, ̺) = (1L, 1M ), then the series E1 (z) 6 6 1L,1M defines a holomorphic modular form in Mk(LM, ψ̺). Moreover, the series E2 (z) defines a non-holomorphic function transforming like a form in M1(LM, 1LM ). For an integer t 1, we define the Eisenstein series ≥ 1 1 1 1 E L, M (z) tE L, M (tz), if k =2 and (ψ, ̺)=(1 , 1 ), Eψ,̺,t(z) := 2 − 2 L M k Eψ,̺(tz), otherwise. k ψ,̺,t It follows from Proposition 2.1 that Ek (z) is a holomorphic modular form in Mk(tLM, ψ̺). The following result is also well-known. ψ,̺,t Proposition 2.2. The Eisenstein series Ek (z) belongs to the subspace Nk(tLM, ψ̺). Moreover, given a Dirichlet character χ mod N with χ( 1) = ( 1)k, the collection of ψ,̺,t − − Eisenstein series Ek (z), where t 1 is an integer, and ψ, ̺ are Dirichlet characters mod L and M, respectively, satisfying≥ tLM N and ψ̺ = χ, generates N (N, χ). | k Remark. We remark that in the case k 2 one obtains a basis of N (N, χ) by restricting ≥ k to Eisenstein series Eψ,̺,t(z) with ψ and ̺ primitive, and with t 2 if k = 2 and k ≥ (ψ, ̺)=(1L, 1M ). In the case k = 1 one has to consider unordered pairs of primitive characters ψ, ̺ , since Eψ,̺,t(z) and E̺,ψ,t(z) satisfy the identity { } 1 1 M L Eψ,̺,t(z)= E̺,ψ,t(z). W (̺) 1 W ψ 1 This identity follows easily from comparison of Fourier expansions, together with the functional equation of Dirichlet L-series for primitive characters. We refer the reader to [10] (see Theorems 4.5.2, 4.6.2 and 4.8.1) for a nice exposition on the results described in this section. Note that the Eisenstein series are normalized in a slightly different way in loc. cit. 3. Non-holomorphic Eisenstein series In this section we consider non-holomorphic Eisenstein series that evaluated at special ψ,̺ points equal Ek (z). These non-holomorphic forms were studied by Hecke and are con- sidered nowadays as part of the classical theory of automorphic forms. We let k,L,M,ψ,̺ be defined as in Section 2. For s C with k +2Re(s) > 2, we define the Eisenstein series ∈ 1 (9) E (z,s,ψ,̺) := ψ(m)̺(n)(mz + n)−k mz + n −2s. k 2 | | m,n∈Z (m,nX)6=(0,0) A modern treatment of these Eisenstein series can be found in [15], 7.2 (more precisely, § the function studied in loc. cit. equals 2Ek(z,s,ψ,̺) in our notation). This Eisenstein series converges uniformly and absolutely for s C with 2 Re(s)+ k 2+ ε, for any ε> 0. Letting ∈ ≥ a b Γ (L, M) := PSL (Z): c = 0 (mod L), b = 0 (mod M) , 0 ± c d ∈ 2 MOCK MODULAR FORMS WHOSE SHADOWS ARE EISENSTEIN SERIES 7 they satisfy the transformation formula E (γz,s,ψ,̺)= ψ(d)̺(d)(cz + d)k cz + d 2sE (z,s,ψ,̺) k | | k for any γ = a b Γ (L, M). In particular, the function ± c d ∈ 0 s s 1 −k (10) y Ek(z,s,ψ,̺)= L(ψ̺, 2s + k) ψ(c)̺(d)(cz + d) Im ∗ ∗ z 2 c d c,d∈Z gcd(Xc,d)=1 ∗ ∗ (here ( c d ) denotes any matrix in SL2(Z) with bottom row (cd)) transforms like a modular form of weight k and character ψ̺ for Γ0(L, M), and s y Ek(Mz,s,ψ,̺) transforms like a modular form of weight k, level LM and character ψ̺. s For our purpose, the Fourier expansion of y Ek(Mz,s,ψ,̺) at the cusp will be very useful. To state it, we introduce the following notation. We set ∞ 2kπs+ki−k A (s; ̺) := W (̺0), k M s+kΓ(s + k) 2−kπsi−k̺( 1) B (s; ̺) := − W (̺0), k M sΓ(s) L(2s + k, ̺), if ψ = 1 , C (s; ψ, ̺) := 1 k 0, if ψ = 1 , 6 1 where Γ(s) denotes Euler’s Γ-function, and 2s+k−1 2s+k −k Γ( 2 )Γ( 2 ) −1 √πi L(2s + k 1, ψ) (1 p ), if ̺ = 1M , Dk(s; ψ, ̺) := Γ(s)Γ(s+k) − p|M − ( 0, if ̺ = 1M . Q 6 Furthermore, we define n ℓ ℓ c a (s; n, ψ, ̺) := ψ c2s+k−1 dµ ̺ ̺0 ̺ ̺0 , k c d d d 0X yβ ∞ (11) ω(y; α, β) := e−yu(u + 1)α−1uβ−1du. Γ(β) Z0 This function is basically equal to a confluent hypergeometric function and can be ex- tended to an analytic function on (z; α, β) C3 : Re(z) > 0 , satisfying the identities (see [15], Theorem 7.2.4, p. 279, and{ Lemma∈ 7.2.6, p. 281) } (12) ω(z;1 β, 1 α)= ω(z; α, β), − − (13) ω(z; α, 0)=1. 8 HERRERO AND VON PIPPICH With the above notation, we have the following Fourier expansion (see, e.g., [15], The- orem 7.2.9, p. 284) s (14) y Ek(Mz,s,ψ,̺) s −s−k+1 −2s−k+1 = y Ck(s; ψ, ̺)+ y M Dk(s; ψ, ̺) ∞ −s −s 2πinz +Ak(s; ̺)M ak(s; n, ψ, ̺)n e ω(4πny; k + s,s) n=1 X ∞ −k −k−s −s−k −2πinz +y Bk(s; ̺)M ak(s; n, ψ, ̺)n e ω(4πny; s,k + s). n=1 X s This Fourier expansion can be used to meromorphically continue the function y Ek(Mz,s,ψ,̺) to all s C. In particular, the following assertions hold. ∈ s Proposition 3.1. The function y Ek(Mz,s,ψ,̺) is analytic at s =0 and we have ψ,̺ (15) Ek(Mz, 0, ψ, ̺)= Ek (z). Proof. For the first assertion, we refer the reader to [15], Corollary 7.2.10, p. 285. The proof of equality (15) consists in a simple comparison of Fourier expansions. Indeed, one easily proves the following identities Ck(0; ψ, ̺)= Ck(ψ, ̺), π (1 p−1) (1 p−1), if k =2, (ψ, ̺)=(1 , 1 ), − 2 p|L − p|M − L M D (0; ψ, ̺)= k D(ψ,Q ̺), Q if k =1, 0, otherwise, 2πi k W (̺0) A (0; ̺)= , k − M (k 1)! − Bk(0; ̺)=0, ψ,̺ ak(0; n, ψ, ̺)= σk−1(n). This together with identity (13) proves that the Fourier expansion of Ek(Mz, 0, ψ, ̺) ψ,̺ given by (14) and the Fourier expansion defining Ek (z) agree, and henceforth these two functions are equal. This completes the proof. 4. Construction of pre-images Let k,L,M,ψ,̺ be defined as in Section 2 and let t 1 be an integer. In this section ψ,̺,t ≥ we construct a harmonic Maass form 2−k H2−k(tLM, ψ̺), whose image under the ψ,̺,t E ∈ differential operator ξ2−k equals Ek (z). When k> 2, the point s = k 1 is in the domain of the definition (9) of E2−k(tMz, s, ψ, ̺) and we can define − ψ,̺,t(z) := (k 1)−1yk−1E (tMz,k 1, ψ, ̺). E2−k − 2−k − When k = 2 and (ψ, ̺) = (1 , 1 ), the meromorphic continuation of the function 6 L M E2−k(tMz, s, ψ, ̺) is analytic at s = 1 (see [15], Corollary 7.2.11, p. 286) and we can define ψ,̺,t 0 (z) := yE0(tMz, 1, ψ, ̺). E s When k = 2 and (ψ, ̺)=(1L, 1M ) the function y E0(tMz, s, 1L, 1M ) has a simple pole at s = 1 with residue π (1 p−1) (1 p−1) 2tM − − Yp|L pY|M MOCK MODULAR FORMS WHOSE SHADOWS ARE EISENSTEIN SERIES 9 (loc. cit., Corollary 7.2.10 part (3) in p. 285), hence we can define 1L,1M ,t s s 0 (z) := lim (y E0(Mz, s, 1L, 1M ) ty E0(tMz, s, 1L, 1M )) . E s→1 − When k = 1, the meromorphic continuation of E1(Mz, s, ψ, ̺) is analytic at s = 0 (loc. cit., Corollary 7.2.11 in p. 286) and we can define ∂ ψ,̺,t(z) := ysE (tMz, s, ψ, ̺) . E1 ∂s 1 s=0 With the above definitions, we now prove the following result. Theorem 4.1. We have ψ,̺,t(z) H (LM, ψ̺) and ξ ( ψ,̺,t)= Eψ,̺,t. E2−k ∈ 2−k 2−k E2−k k Proof. We start by proving the identity ξ ( ψ,̺,t) = Eψ,̺,t. Let us first assume that 2−k E2−k k k> 2, or k =2 and(ψ, ̺) =(1 , 1 ). Combining the definition of ψ,̺,t with the Fourier 6 L M E2−k expansion of Ek(tMz, s, ψ, ̺) given by (14), we deduce (k 1) ψ,̺,t(z) − E2−k k−1 1−k = y C2−k(k 1; ψ, ̺)+(tM) D2−k(k 1; ψ, ̺) − ∞ − +A (k 1; ̺)(tM)1−k a (k 1; n, ψ, ̺)n1−ke2πitnzω(4πtny;1,k 1) 2−k − 2−k − − n=1 X ∞ +yk−2B (k 1; ̺)(tM)−1 a (k 1; n, ψ, ̺)n−1e−2πitnzω(4πtny; k 1, 1). 2−k − 2−k − − n=1 X Now, by (12) and (13), we have (16) ω(4πtny;1,k 1) = ω(4πtny;2 k, 0)=1. − − Furthermore, substituting u := r 1 in the definition (11) of ω(4πtny; k 1, 1), we obtain − ∞ − (17) yk−2ω(4πtny; k 1, 1) = 4πtnyk−1e4πtny e−4πtnyrrk−2dr − 1 4πtny Z = 4πtne β2−k(tn, y), k−1 where β2−k(tn, y) is defined in (4). Recalling that y = (1 k)β2−k(0,y) by (5), this gives − (18) (k 1) ψ,̺,t(z) − E2−k 1−k = (1 k)β2−k(0,y)C2−k(k 1; ψ, ̺)+(tM) D2−k(k 1; ψ, ̺) − −∞ − +A (k 1; ̺)(tM)1−k a (k 1; n, ψ, ̺)n1−kqtn 2−k − 2−k − n=1 ∞X +4πB (k 1; ̺)M −1 a (k 1; n, ψ, ̺)β (tn, y)q−tn. 2−k − 2−k − 2−k n=1 X Since (19) ξ (β (n, y)q−n)= qn for every integer n 0, 2−k 2−k − ≥ and since ξ2−k annihilates holomorphic functions, we conclude from (18) that ξ ψ,̺,t (z) = C (k 1; ψ, ̺) 2−k E2−k 2−k − ∞ 4π(k 1)−1B (k 1; ̺)M −1 a (k 1; n, ψ, ̺)qtn. − − 2−k − 2−k − n=1 X 10 HERRERO AND VON PIPPICH Finally, using the definition of the Fourier coefficients given in Sections 2 and 3, we get the identities C (k 1; ψ, ̺) = C (ψ, ̺), 2−k − k 2πi k W (̺0) 4π(k 1)−1B (k 1; ̺)M −1 = , − − 2−k − − M (k 1)! − a (k 1; n, ψ, ̺) = σψ,̺ (n), 2−k − k−1 ψ,̺,t which can easily be checked case by case. All in all, this proves the equality ξ2−k( 2−k )= ψ,̺,t E Ek , as asserted. s Let us now assume that k = 2and(ψ, ̺)=(1L, 1M ). Then, the function y E0(tMz, s, 1L, 1M ) has a simple pole at s = 1 coming from the second term in the Fourier expansion (14). We have 1−s 1−2s 1−s 1−2s lim y M D0(s; 1L, 1M ) ty (tM) D0(s; 1L, 1M ) s→1 − π 2−2s −1 = lim(1 t )L(2s 1, 1L) (1 p ) M s→1 − − − pY|M π = lim(1 t2−2s)ζ(2s 1) (1 p−1) (1 p−1) M s→1 − − − − Yp|L pY|M π = π log(t) (1 p−1) (1 p−1). M − − Yp|L Yp|M Using the Fourier expansion (14) together with the identities (16) and (17), this yields the Fourier expansion 1 1 π L, M ,t(z) = (1 t)C (1; 1 , 1 )β (0,y)+ log(t) (1 p−1) (1 p−1) E0 − − 0 L M 0 M − − Yp|L pY|M 1 ∞ +A (1; 1 ) a (1; n, 1 , 1 )n−1(qn qtn) 0 M M 0 L M − n=1 X 4π ∞ +B (1; 1 ) a (1; n, 1 , 1 )(q−nβ (n, y) tq−tnβ (tn, y)). 0 M M 0 L M 0 − 0 n=1 X π Since C0(1; 1L, 1M ) = C2(1L, 1M ), A0(1; 1M ) = B0(1; 1M ) = M and a0(1; n, 1L, 1M ) = 1L,1M σ1 (n), we get 1 1 π (20) L, M ,t(z) = (1 t)C (1 , 1 )β (0,y)+ log(t) (1 p−1) (1 p−1) E0 − − 2 L M 0 M − − Yp|L pY|M ∞ π 1 1 + σ L, M (n)n−1(qn qtn) M 2 1 − n=1 X 2 ∞ 4π 1 1 + σ L, M (n)(q−nβ (n, y) tq−tnβ (tn, y)). M 2 1 0 − 0 n=1 X As before, we use (19) and obtain 2 ∞ 1 1 4π 1 1 ξ L, M ,t (z)=(1 t)C (1 , 1 ) σ L, M (n)(qn tqtn). 0 E0 − 2 L M − M 2 1 − n=1 X MOCK MODULAR FORMS WHOSE SHADOWS ARE EISENSTEIN SERIES 11 1 1 This proves that ξ ( L, M ,t)= Eψ,̺,t, as claimed. 0 E0 2 Finally, let us assume that k = 1. Then, ψ,̺,t(z) = ∂ ysE (tMz, s, ψ, ̺) and we E1 ∂s 1 s=0 start by deducing from (14) the following Fourier expansion s (21) y E1(tMz, s, ψ, ̺) s 2 2 −s = y C1(s; ψ, ̺)+(yt M ) D1(s; ψ, ̺) ∞ −s −s 2πitnz +A1(s; ̺)(tM) a1(s; n, ψ, ̺)n e ω(4πtny;1+ s,s) n=1 X ∞ −1 −s−1 −s−1 −2πitnz +y B1(s; ̺)(tM) a1(s; n, ψ, ̺)n e ω(4πtny; s, 1+ s). n=1 X We have the identity ′ ∂ s log(y)L(1, ̺)+2L (1, ̺), if ψ = 11, (22) y C1(s; ψ, ̺) = . ∂s s=0 0, if ψ = 11, 6 Next, we compute ∂ (yt2M 2)−sD (s; ψ, ̺) = √πi L(0, ψ) √π log(yt2M 2) Γ′( 1 )+ √πΓ′(1) ∂s 1 s=0 − 2 √π2L′(0, ψ ) (1 p−1). − − pY|M Using the well-known identities (23) Γ′( 1 )= √π(2 log(2) + γ) and Γ′(1) = γ, 2 − − where γ denotes Euler’s constant (see, e.g., [11], formulas 8.366-1 and 8.366-2), we get ∂ (24) (yt2M 2)−sD (s; ψ, 1 ) ∂s 1 M s=0 = πi L(0, ψ) log(yt2M 2) + 2 log(2) 2L′(0, ψ) (1 p−1), − − p|M Y while ∂ (25) (yt2M 2)−2sD (s; ψ, ̺) =0, if ̺ = 1 . ∂s 1 s=0 6 M Now, by (12), we have that ω(4πtny;1+ s,s ) is invariant under s s, hence its derivative with respect to s vanishes at s = 0. Therefore, using (13) we7→ conclude − that ∂ (26) A (s; ̺)a (s; n, ψ, ̺)(tMn)−sω(4πtny;1+ s,s) ∂s 1 1 s=0 equals ∂ A (s; ̺)a (s; n, ψ, ̺)(tMn)−s . ∂s 1 1 s=0 Using the definitions of A1(s; ̺) and a1(s; n, ψ, ̺) given in Section 3, we get that (26) equals 2πi π (27) W (̺0) σψ,̺(n) log Γ′(1) log(tMn) − M 0 M − − n ℓ ℓ c +2 ψ log(c) dµ ̺ ̺0 ̺ ̺0 . c d d d 0X Furthermore, one has that ∂ (28) y−1B (s; ̺)a (s; n, ψ, ̺)(tMn)−1−sω(4πtny; s, 1+ s) ∂s 1 1 s=0 equals ∂ B (s; ̺) a (0; n, ψ, ̺)(tMny)−1ω(4πtny;0, 1), ∂s 1 s=0 1 since B1(0; ̺) = 0. We conclude, using the definitions of B1(s; ̺) and a1(0; n, ψ, ̺) given in Section 3, together with (17), that (28) equals 2πi (29) ̺( 1)W (̺0)σψ,̺(n)β (tn, y)e4πtny. − M − 0 1 Summing up, using (19), the identity ̺( 1)W (̺0)= W (̺0), and recalling that log(y)= β (0,y) by (5), we obtain − − 1 2πi ∞ ξ ψ,̺,t (z)= C (ψ, ̺)+ D(ψ, ̺) W (̺0) σψ,̺(n)qtn. 1 E1 1 − M 0 n=1 X ψ,̺,t ψ,̺,t This proves that ξ1( 1 )= E1 , as asserted. E ψ,̺,t ψ,̺,t We have thus shown that ξ ( ) = E in all possible cases. This automatically 2−k E2−k k implies that ψ,̺,t(z) is harmonic. Indeed, by (2) we have E2−k ∆( ψ,̺,t)= ξ ξ ψ,̺,t = ξ Eψ,̺,t =0. E2−k k ◦ 2−k E2−k k k ψ,̺,t The fact that 2−k (z) transforms like a modular form in M2−k(LM, ψ̺) follows from the E s ψ,̺,t modularity of the function y E2−k(tMz, s, ψ, ̺). Finally, since Ek is holomorphic at ψ,̺,t every cusp, we conclude that 2−k (z) H2−k(LM, ψ̺). This completes the proof of the theorem. E ∈ Remark. Note that the series (10) converges absolutely and uniformly for s in any fixed k compact subset of the half-plane Re(s) > 1 2 . In particular, when k > 2, one can ψ,̺,t − compute ξ2−k( 2−k ) by applying ξ2−k to each term in this series and then evaluating at s = k 1. ThisE argument, however, needs some adjustments in the cases k = 1 and k = 2.− We avoided this issue by working directly with the Fourier expansions in the proof of Theorem 4.1. Most of the computations will be re-used in the next section, where we shall give the Fourier expansion of the non-holomorphic part of ψ,̺,t(z). E2−k 5. Proof of Theorems 1.1, 1.2 and 1.3 In this section we describe the Fourier coefficients in the expansion ∞ ∞ ψ,̺,t(z) = c+ (n, t, ψ, ̺)qn c (n, t, ψ, ̺)β (n, y)q−n. E2−k 2−k − k 2−k n=0 n=0 X X Note that, by Theorem 4.1, the coefficients ck(n, t, ψ, ̺) are simply the Fourier coefficients ψ,̺,t of Ek (z), which can be obtained by using the formulas in Section 2. For this reason, + we shall restrict our attention to the non-holomorphic coefficients c2−k(n, t, ψ, ̺). In what follows, we will frequently refer to the computations given in the proof of Theorem 4.1. In doing so, we only have to take into account the holomorphic terms, since the non-holomorphic terms only contribute to the coefficients ck(n, t, ψ, ̺). MOCK MODULAR FORMS WHOSE SHADOWS ARE EISENSTEIN SERIES 13 Proof of Theorem 1.1. By (18) we have ∞ D (k 1; ψ, ̺) c+ (n, t, ψ, ̺)qn = (tM)1−k 2−k − 2−k k 1 n=0 X − A (k 1; ̺) ∞ + 2−k − a (k 1; n, ψ, ̺)n1−kqtn . k 1 2−k − n=1 − X But k−1 k k−2 Γ 2 Γ 2 −1 D2−k(k 1; ψ, ̺) √πi L(k 1, ψ) (1 p ), if ̺ = 1 , − = (k 1)! − p|M − M k 1 − − 0, Q if ̺ = 1M 6 By Legendre’s duplication formula (see, e.g., [11], formula 8.335-1), we have Γ( k−1 )Γ( k )=22−k√πΓ(k 1), 2 2 − hence 22−kπik−2 D2−k(k 1; ψ, ̺) L(k 1, ψ) (1 p−1), if ̺ = 1 , − = k 1 − p|M − M k 1 0, − if ̺ = 1 − Q 6 M + + This proves the formula forc2−k(0, t, ψ, ̺). The formula for c2−k(n, t, ψ, ̺) follows from the identities 22−kπik−2 A (k 1; ̺)= W (̺0), 2−k − M a (k 1; n, ψ, ̺)= σψ,̺ (n) 2−k − k−1 together with the relation A (k 1; ̺) c+ (tn, t, ψ, ̺)=(tM)1−k 2−k − a (k 1; n, ψ, ̺)n1−k, for n> 0, 2−k k 1 2−k − − + and c2−k(n, t, ψ, ̺) = 0 if t ∤ n. This completes the proof of the theorem. Proof of Theorem 1.2. By (20) we have ∞ ∞ π log(t) π 1 1 c+(n, t, 1 , 1 )qn = (1 p−1) (1 p−1)+ σ L, M (n)n−1(qn qtn). 0 L M M − − M 2 1 − n=0 n=1 X Yp|L pY|M X + This already implies the desired formula for c0 (0, t, 1L, 1M ). For n> 0, this also implies the relation π 1 1 π 1 1 c+(tn, t, 1 , 1 )= σ L, M (tn)(tn)−1 σ L, M (n)n−1, 0 L M M 2 1 − M 2 1 and π 1 1 c+(n, t, 1 , 1 )= σ L, M (n)n−1, if t ∤ n. 0 L M M 2 1 + This gives the desired formula for c0 (n, t, 1L, 1M ) and completes the proof of the theorem. 14 HERRERO AND VON PIPPICH + Proof of Theorem 1.3. The formula for c1 (0, t, ψ, ̺) follows from (21), together with (22), (24) and (25). Further, from (21), together with the fact that (26) equals (27) and (28) equals (29), we get ∞ 2πi ∞ π c+(n, t, ψ, ̺)qn = W (̺0) σψ,̺(n) log Γ′(1) log(tnM) 1 − M 0 M − − n=1 n=1 X X n ℓ ℓ c +2 ψ log(c) dµ ̺ ̺0 ̺ ̺0 qtn. c d d d 0X 6. Examples We shall now illustrate the results of Sections 4 and 5 by giving some simple and nice examples. 6.1. Level one Eisenstein series. For every even integer k > 2 we have the normalized (i.e. with constant Fourier coefficient equal to one) Eisenstein series of weight k 2k ∞ E (z) := 1 σ (n)qn, k − B k−1 k n=1 X which is a modular form in Mk(1, 11). Here Bk denotes the k-th Bernoulli number and k 11,11 Bk(2πi) σk−1(n) := σk−1 (n). Since ζ(k) = 2 k! (see, e.g., [15], Theorem 3.2.3, p. 90), one has the identity − 11,11,1 Ek (z)= ζ(k)Ek(z). Hence, it follows from Theorem 1.1 that the function 2−k k ∞ 1 1 1 2 πi E (z) := G 1, 1,1(z)= ζ(k 1) + n1−kσ (n)qn k ζ(k) 2−k −ζ(k)(k 1) − k−1 n=1 − X e is a mock modular form whose shadow equals Ek(z). As mentioned in the introduction, these forms have also been constructed in [2]. Our formulas agree with theirs. 6.2. Hecke’s Eisenstein series associated to imaginary quadratic fields. Let K = Q(√D) be an imaginary quadratic field of discriminant D< 0. Let us denote by D the ring of integers of K, by u(D) the number of units in this ring, and by h(D) itsO class number. For an integer n > 0 we define RD(n) to be the number of integral ideals of norm n in . One can then define Hecke’s Eisenstein series as OD h(D) ∞ E (z) := + R (n)qn. 1,D u(D) D n=1 X This is a holomorphic modular form in M ( D , ψ ), where ψ denotes the quadratic 1 | | D D Dirichlet character associated to the field extension Q(√D) of Q (more concretely, one D · has ψD(n)= n , where · denotes the Kronecker symbol). By using the identity (30) RD(n)= ψD(c), 0X −1 ψD,11,1 E1,D(z) := (2πi) G1 (z) + (log(π)+ γ)E1,D(z) is a mock modular form whose shadow equals E1,D(z). Using Theorem 1.3, together with (30) and (31), one obtainse the Fourier expansion ∞ + n E1,D(z)= RD(n)q , n=0 X where e h(D) R+(0) := (2 log(2) + log(π)+ γ) L′(0, ψ ), D u(D) − D and R+(n) := R (n) log(n) 2 ψ ( n ) log(c), for n> 0. D D − D c 0X E1,D(z) log( D )E1,D(z) in our notation. The fact that our formulas agree with theirs follows from− the| following| result. We define e −(s+1)/2 s+1 Λ(s, ψD) := π Γ( 2 )L(s, ψD) and use the notation ordp(n) for the p-adic order of an integer n. Proposition 6.1. We have 2h(D) Λ′(1, ψ ) R+(0) = D + log( D ) , D u(D) Λ(1, ψ ) | | D and for n> 0 we have the identity R+ (n)= R (n) log(p)ord (n) log(p)(ord (n)+1)R ( n ), D − D p − p D p p|n, p|n, ψDX(p)=0 ψDX(p)=−1 where both sums run only over the prime divisors of n. Proof. By using the functional equation of Λ(s, ψD), namely i D s Λ(1 s, ψD)= | | Λ(s, ψD) − W (ψD) (see, e.g., [8], Theorem 10.2.14, p. 173), one gets Λ′(1, ψ ) Λ′(0, ψ ) 1 Γ′( 1 ) L′(0, ψ ) D = D log( D )= log(π) 2 2 D log( D ). Λ(1, ψ ) − Λ(0, ψ ) − | | 2 − Γ( 1 ) − L(0, ψ ) − | | D D 2 D 16 HERRERO AND VON PIPPICH 1 From (23) and Γ( 2 )= √π, we see that ′ 1 Γ ( 2 ) 1 = 2 log(2) + γ. − Γ( 2 ) This, together with (31), gives ′ Λ (1, ψD) u(D) + = RD(0) log( D ). Λ(1, ψD) 2h(D) − | | + This implies the desired identity for RD(0). For the second identity, we start by writing ψ ( n ) log(c) = log(n)R (n) ψ (c) log(c), D c D − D 0X a1 ar r ψ (c) log(c) = ψ (pb1 pbr ) b log(p ) D ··· D 1 ··· r j j j=1 0X aj 2 , if ψD(pj)= 1 and aj is even, aj (aj +1) − bj 2 , if ψD(pj)= 1 and aj is odd, bjψD(pj )= − − 0, if ψD(pj)=0, bj =0 X aj (aj +1) 2 , if ψD(pj)=1. Similarly, we have r aj log(n)RD(n)= aj log(pj)RD(nj)RD(pj ), j=1 X with 1, if ψ (p )= 1 and a is even, D j − j a 0, if ψ (p )= 1 and a is odd, R (p j )= D j j D j 1, if ψ (p )=0−, D j aj +1, if ψD(pj)=1. Putting all this together, we obtain R+(n)= log(p )a R (n ) log(p )(a + 1)δ(a )R (n ), D − j j D j − j j j D j j=1,...,r j=1,...,r ψDX(pj )=0 ψD(Xpj )=−1 where δ(aj) = 0 if aj is even and δ(aj)=(aj + 1) if aj is odd. If ψD(pj) = 0, one has the identity RD(nj) = RD(n). Furthermore, when ψD(pj) = 1 one has the identity n − δ(aj)RD(nj)=(aj +1)RD( p ). This implies the desired result and completes the proof of the proposition. MOCK MODULAR FORMS WHOSE SHADOWS ARE EISENSTEIN SERIES 17 6.3. Certain theta series of weight one. In some particular cases one can use the computations in the previous subsection in order to construct mock modular forms whose shadows are theta series of weight one. More precisely, given an imaginary quadratic field K = Q(√D) of discriminant D < 0, one can construct the theta series 2πi(xx)z ϑD(z)= e . x∈O XD If K has class number one, which is the case if and only if D 3, 4, 7, 8, 11, 19, 43, 67, 163 , ∈ {− − − − − − − − − } then we have ϑD(z) = u(D)E1,D(z), and we can use the computations of the previous section to construct a pre-image of ϑD(z). To give one explicit example, we choose D = 4, in which case we have − 2 ϑ−4(z)=Θ (z), where 2 Θ(z) := qx . Xx∈Z It follows from our computations, together with the identity 4R (n)= r (n) := (x, y) Z2 : x2 + y2 = n , −4 2 { ∈ } that Θ2(z) := 2 log(2) + log(π)+ γ 4 L′(0, ψ ) − −4 ∞ f + r (n) log(n) 8 ψ ( n ) log(c) qn 2 − −4 c n=1 X 0X π3 where, for the second equality, we used that L(3, ψ ) = (see, e.g., [8], p. 189). By −4 25 using Theorems 1.2 and 1.1 one obtains the mock modular forms 1 ∞ Θ4(z) := 24 log(2) + n−1r (n)qn −23π 4 n=1 ! X ∞ f 1 1 Θ6(z) := 24L(2, ψ )+ n−2 r (n)+23 σ 1,ψ−4 (n) qn , −24π2 −4 6 2 n=1 ! X f 1 ∞ Θ8(z) := 23ζ(3) + n−3r (n)qn , −24π3 8 n=1 ! X whose shadowsf equal Θ4(z), Θ6(z) and Θ8(z), respectively. Acknowledgements The authors thank Ozlem¨ Imamo¯glu, Martin Raum and Arp´ad´ T´oth for their comments on a previous version of this paper. Herrero was partially funded by the Royal Swedish Academy of Sciences. Von Pippich acknowledges support from the LOEWE research unit Uniformized Structures in Arithmetic and Geometry. References [1] Bringmann, K., Folsom, A., Ono, K., Rolen, L.: Harmonic Maass forms and mock modular forms: theory and applications. American Mathematical Society Colloquium Publications, 64. American Mathematical Society, Providence, RI, 2017. [2] Bringmann, K., Guerzhoy, P., Kent, Z., Ono, K.: Eichler–Shimura theory for mock modular forms. Math. Ann. 355 (2013), no. 3, 1085–1121. [3] Bringmann, K., Ono, K.: Lifting cusp forms to Maass forms with an application to partitions. Proc. Natl. Acad. Sci. USA 104 (2007), no. 10, 3725–3731. [4] Bruinier, J. H.: Harmonic Maass forms and periods. Math. Ann. 357 (2013), no. 4, 1363–1387. [5] Bruinier, J. H., van der Geer, G., Harder, G., Zagier, D.: The 1-2-3 of modular forms. Lectures from the Summer School on Modular Forms and their Applications held in Nordfjordeid, June 2004. Edited by Kristian Ranestad. Universitext. Springer-Verlag, Berlin, 2008. [6] Bruinier, J. H., Ono, K.: Heegner divisors, L-functions and harmonic weak Maass forms. Ann. of Math. (2) 172 (2010), no. 3, 2135–2181. [7] Bruinier, J. H., Ono, K., Rhoades, R. C.: Differential operators for harmonic weak Maass forms and the vanishing of Hecke eigenvalues. Math. Ann. 342 (2008), no. 3, 673–693. [8] Cohen, H.: Number theory. Vol. II. Analytic and modern tools. Graduate Texts in Mathematics, 240. Springer, New York, 2007. [9] Duke, W., Li, Y.: Harmonic Maass forms of weight 1. Duke Math. J. 164 (2015), no. 1, 39–113. [10] Diamond, F., Shurman, J. M.: A first course in modular forms. Vol. 228. Springer, New York (2005). [11] Gradshteyn, I. S., Ryzhik, I. M.: Table of integrals, series, and products. Eighth edition. Else- vier/Academic Press, Amsterdam, 2015. [12] Kudla, S. S., Rapoport, M., Yang, T.: On the derivative of an Eisenstein series of weight one. Internat. Math. Res. Notices 1999, no. 7, 347–385. [13] Kudla, S. S., Yang, T.: Eisenstein series for SL(2). Sci. China Math. 53 (2010), no. 9, 2275-2316. [14] Li, Y.: Harmonic Eisenstein Series of Weight One. In: Bruinier J., Kohnen W. (eds) L-Functions and Automorphic Forms. Contributions in Mathematical and Computational Sciences, vol. 10. Springer, Cham, 2017. [15] Miyake, T.: Modular forms. Springer Science & Business Media, 2006. [16] Rankin, R. A.: Sums of squares and cusp forms. Amer. J. Math. 87 (1965), 857-860. [17] Rankin, R. A.: Modular forms and functions. Cambridge University Press, Cambridge-New York- Melbourne, 1977. [18] Rhoades, R. C., Waldherr, M.: A Maass lifting of Θ3 and class numbers of real and imaginary quadratic fields. Math. Res. Lett. 18 (2011), no. 5, 1001–1012. MOCK MODULAR FORMS WHOSE SHADOWS ARE EISENSTEIN SERIES 19 [19] Schofer, J.: Borcherds forms and generalizations of singular moduli. J. Reine Angew. Math. 629 (2009), 1–36. [20] Zwegers, S. P.: Mock Theta Functions. Utrecht PhD Thesis (2002), ISBN 90-393-3155-3. Sebastian´ Herrero, Department of Mathematical Sciences, Chalmers University of Technology and University of Gothenburg, SE-412 96 Gothenburg, Sweden. E-mail address: [email protected] Anna-Maria von Pippich, Fachbereich Mathematik, Technische Universitat¨ Darmstadt, Schloßgartenstraße 7, D-64289 Darmstadt, Germany. E-mail address: [email protected]