![Arxiv:1801.02146V3 [Math.NT]](http://data.docslib.org/img/e93ad245c4f340236a653359c46d2929-1.webp)
arXiv:1801.02146v3 [math.NT] 12 Jun 2018 P for where h whole the r eiwdi 1] nteohrhn,Lgra-hae [1 Lagarias-Rhoades hand, Shi other K of and the on coefficients On own results [11]. Kroneker’s Further in known, others. reviewed are many are and proofs function, of been Gamma lot has double a formula and limit ago, This time formula. limit first Kronecker’s iesensre ie by given series Eisenstein o-ooopi oua omo egt0o SL on 0 weight of form modular non-holomorphic a iefnto ftehproi alca ∆ Laplacian hyperbolic the of eigenfunction hr,for where, n ∞ ebgnb icsigKoekrsfis ii oml.TeR The formula. limit first Kronecker’s discussing by begin We 2010 e od n phrases. and words Key =1 s ∈ n γ ahmtc ujc Classification. Subject Mathematics hae’wrs sacrlay ecnoti riaeo an of preimage the a obtain under a can form basis we a Maass corollary, Maass construct a weak we As and works. polyharmonic cusp, Rhoades’ introduce at condition we growth paper, moderate this coeffici Taylor In the from series. basis its constructed They recently. Abstract. C − 0 = s ihRe( with s q a ipepl at pole simple a has pae hnti iesensre a h arn expansi Laurent the has series Eisenstein this Then -plane. . := 577215 E e 2 ( E OYAMNCWA AS OM OF FORMS MAASS WEAK POLYHARMONIC πiz ,s z, h pc fplhroi as om a nrdcdb Laga by introduced was forms Maass polyharmonic of space The ( s ,s z, . . . ) , rmtevepito amncMasfrs nfact, In forms. Maass harmonic of viewpoint the from ) η > ( = ) oyamncMasfrs amnc oua forms. Modular Harmonic; forms; Maass Polyharmonic z sElrscntn.A naaou enwcnie h ela real the consider now we analogue an As constant. Euler’s is n oua variable modular a and 1 := ) ξ s -operator. IHRDPHFOR DEPTH HIGHER − π q E 24 1 1 ( s ζ ,s z, ∆ 2 + Q ( ,adtefloigLuetepnini known. is expansion Laurent following the and 1, = s 0 n ∞ = ) E := ) OHK MATSUSAKA TOSHIKI π =1 ( 1. ( rmr 13,Scnay11F12. Secondary 11F37, Primary ,s z, γ (1 s ( Introduction − m,n − − = ) 1 log2 1 q ) 0 X n ∈ s + steDdkn t ucin hsi so-called is This function. eta Dedekind the is ) Z := 1 (1 2 − γ \ (0 − − + log( , z 0) y s O 2 ) = 2 | E √ ( ( mz ∂x Z s x ∂ ( y ,s z, 2 ,admrmrhclycniudto continued meromorphically and ), − 2 | + nso h elaayi Eisenstein analytic real the of ents y η + SL + 1) s ( iy ) z n . , eeaiaino Lagarias- of generalization a s 2 ) ∂y ]cniee h ihrLaurent higher the considered 8] | ∂ rirr oyamncweak polyharmonic arbitrary xesvl tde ic long a since studied extensively | ( 2 om,ta s erlxthe relax we is, that forms, nteuprhl plane half upper the in 2 2 Z s 2 )+ )) ) eanzt function zeta iemann oekrsfis ii formula limit first ronecker’s n satisfies and , tn 2]uigteBarnes the using [25] ntani O ( s no h form the of on − rias-Rhoades, 1) E ( ,s z, H ζ san is ) nalytic ( tis It . s := ) 2
Then they showed that the r-th Laurent coefficient Fr(z) in the form ∞ E(z,s)= F (z)(s 1)r r − rX=−1 r+2 satisfies the differential equation ∆0 Fr(z) = 0. Based on this property, they constructed a new space called polyharmonic Maass forms, and revealed the roles of these Laurent coeffi- cients in this new space.
A harmonic Maass form of even weight k 2Z on SL2(Z) is a smooth function f on H satisfying the following conditions. ∈ (1) For any γ = [ a b ] SL (Z), c d ∈ 2 az + b f = (cz + d)kf(z). cz + d (2) f is annihilated by the weight k hyperbolic Laplacian ∂2 ∂2 ∂ ∂ ∆ := y2 + + iky + i . k − ∂x2 ∂y2 ∂x ∂y (3) There exists an α R such that f(x + iy)= O(yα) as y , uniformly in x R. 1 ∈ →∞ ∈ αy The space of all such forms is denoted by Hk. Relaxing the condition (3) to f(x+iy)= O(e ), ! r Z we denote by Hk. In addition, we relax the condition (2) to ∆kf = 0 for r ≥1, then we r r,! r r,! ∈ denote by Hk and Hk , respectively, and we call a function f Hk (resp. Hk ) a polyharmonic ∈ 1 (weak) Maass form of weight k and depth r (see [3], [18]). In particular we see that Hk = Hk 1,! ! Z and Hk = Hk. We next consider the real analytic Eisenstein series of weight k 2 defined by ∈ ys E (z,s) := , k (mz + n)k mz + n 2s Z2 (m,n)X∈ \(0,0) | | and its double completion
k k k k k E (z,s) := s + s + 1 π−(s+ 2 )Γ s + + | | E (z,s). k 2 2 − 2 2 k b (As a remark, thisb doubly completed Eisenstein series E0(z,s) coincides Fz(s) in Brown-Omar
[5]). Then we also have the equation ∆kEk(z,s)= s(1 k s)Ek(z,s). We define the Taylor b− − coefficients of Ek(z,s) by b b ∞ b F (z)(s + k 1)r if k 0, k,r − ≤ r=0 Ek(z,s)= X∞ r Gk,r(z)s if k 2, b ≥ b r=0 X 1This definition of harmonic Maass forms adopted in Lagarias-Rhoades [18] is not the standard one. For example in Bringmann-Diamantis-Raum [4], a harmonic Maass form might have exponentially growing terms at the cusp. 3 then the following theorem was established. Theorem 1.1. [18] Let r 1 be an integer, and k 2Z an even integer. Then ≥ ∈ r (1) For an even integer k 0, Fk,0(z),...,Fk,r−1(z) is a basis for Hk. ≤ { r} (2) For k = 2, G2,1(z),...,G2,r(z) is a basis for H2 . { } r r r (3) For an even integer k 4, it holds that Hk = Ek + Sk, where Ek is spanned by G (z),...G (z) and≥ S consists of cusp forms on SL (Z). { k,0 k,r−1 } k 2 Remark. The first few coefficients are given by
F0,0(z) = 1, F (z)= γ + 1 log(4π) log(y η(z) 4), 0,1 − − | | G2,0(z) = 0, ∞ π 1 π G (z)= 8π σ (n)qn =: E∗(z), 2,1 3 − y − 1 3 2 nX=1 k k G (z)= 1 k!π− 2 ζ(k)E (z), for k 4, k,0 2 − k ≥ where σ1(n) is the sum of divisors of n, and Ek(z) is the usual Eisenstein series of weight k, whose constant term is equal to 1.
Moreover we define polyharmonic Maass forms with half-integral depth. Let ξk be the Maass type differential operator defined by ∂ ξ := 2iyk . k ∂z¯ This operator was introduced by Bruinier-Funke [6]. The important point is that this operator sends harmonic Maass forms of weight k to holomorphic modular forms of weight 2 k, and − ∆k = ξ2−k ξk holds. Then for an integer r 1, a polyharmonic Maass form f(z) of depth r 1/2− is characterized◦ by (1) modularity, (3) moderate≥ growth condition at the cusp, and (2)’ − ξ ∆r−1f(z) = 0. Lagarias-Rhoades [18] obtained the recursion formulas among the above k ◦ k Taylor coefficients Fk,r(z) and Gk,r(z) as follows.
ξkFk,r(z)= G2−k,r(z),
ξkGk,r(z) = (k 1)F2−k,r−1(z)+ F2−k,r−2(z), (1.1) − ∆ F (z) = (k 1)F (z) F (z), k k,r − k,r−1 − k,r−2 ∆ G (z) = (1 k)G (z) G (z). k k,r − k,r−1 − k,r−2 Hence we can refine Theorem 1.1. Theorem 1.2. [18] Let r 1 be an integer, and k 2Z an even integer. Then ≥ 1/2 ∈ (1) For an even integer k 2, Hk = 0 and Fk,0(z),...,Fk,r−1(z) is a basis for r r+1/2 ≤ − { } { } Hk = Hk . r r−1/2 (2) For k = 0, F0,0(z),...,F0,r−1(z) is a basis for H0 = H0 . { 1/2 } r r+1/2 (3) For k = 2, H2 = 0 and G2,1(z),...,G2,r(z) is a basis for H2 = H2 . { } { r r}−1/2 r r (4) For an even integer k 4, it holds that Hk = Hk = Ek + Sk, where Ek is spanned by G (z),...G (≥z) and S consists of cusp forms on SL (Z). { k,0 k,r−1 } k 2 4
By the above recursion formulas (1.1), for example we obtain the following “Maass se- quence”,
ξ2−k 1 ξ ξ2−k ξ G (z) k F (z) G (z) k 0. · · · −−−→ k 1 k,1 −→ 2−k,0 −−−→ k,0 −→ − In other words, we can construct preimages of the Eisenstein series under the ξ-operator. On the other hand as for the discriminant function ∆(z), Ono [22] constructed its preimage R∆(z) satisfying ξ−10R∆(z)=∆(z) up to a constant multiple. However it has an exponentially 1 1,! growing term, that is, R∆(z) H−10 but R∆(z) H−10. In order to construct a preimage of any polyharmonic Maass forms6∈ (of course, including∈ holomorphic cusp forms) under the ξ-operator, it is necessary to generalize Theorem 1.2 and the formulas (1.1) for the whole of polyharmonic weak Maass forms.
For the purpose of constructing polyharmonic weak Maass forms, we consider the Maass- Poincar´eseries. Let Γ = SL2(Z), and Γ∞ the stabilizer of in Γ. For k 2Z and m Z6=0, we define the Maass-Poincar´eseries by ∞ ∈ ∈
P (z,s) := φ (z,s) γ k,m k,m |k γ∈XΓ∞\Γ k − 2 2πimx = (4πy) Msgn(m) k ,s− 1 (4π m y)e γ 2 2 | | ! γ∈Γ∞\Γ k X for Re(s) > 1, where γ is the usual slash operator and M (y) is the M-Whittaker function. |k µ,ν This function satisfies ∆kPk,m(z,s) = (s k/2)(1 k/2 s)Pk,m(z,s), and it has the following Taylor expansion form − − −
∞ k F (z) s + 1 r if k 0, k,m,r 2 − ≤ r=0 Pk,m(z,s)= X∞ k r Gk,m,r(z) s if k 2. − 2 ≥ r=0 X If k = 0 or 2, this series needs the analytic continuation to s = 1. Then these Taylor coefficients Fk,m,r(z) and Gk,m,r(z) are polyharmonic weak Maass forms of weight k and depth r +1 in a similar manner, and satisfy the following recursion formulas.
Theorem 1.3. Let k 2Z, m = 0, and r 0 be integers. For the Taylor coefficients F (z) ∈ 6 ≥ k,m,r and Gk,m,r(z), they hold that
ξ F (z) = (4π)1−k (1 k)G (z)+ G (z) , k k,m,r − 2−k,−m,r 2−k,−m,r−1 1−k ξkGk,m,r(z) = (4π) F2−k,−m,r−1(z), ∆ F (z) = (k 1)F (z) F (z), k k,m,r − k,m,r−1 − k,m,r−2 ∆ G (z) = (1 k)G (z) G (z). k k,m,r − k,m,r−1 − k,m,r−2
Here we put Fk,m,r(z)= Gk,m,r(z) = 0 for any r< 0. 5
By Theorem 1.3, for example we obtain the following “Maass sequences”.
ξ−10 ξ12 ξ−10 ξ12 (4π)11G (z) F (z) 11(4π)11G (z) 0. · · · −−−→ 12,1,1 −−→ −10,−1,0 −−−→ 12,1,0 −−→ ξ0 ξ2 ξ0 ξ2 ξ0 4πG (z) F (z) 4πG (z) F (z) 0. · · · −→ 2,1,2 −→ 0,−1,1 −→ 2,1,1 −→ 0,−1,0 −→ Here we use the fact that G2,m,0(z) with m > 0 is equal to 0. Furthermore we have the following theorem as an extension of Theorem 1.2.
Theorem 1.4. Let r 1 be an integer. For an even integer k 2Z, we define an integer ℓk ′ ≥ ′ ∈ by k = 12ℓk + k where k 0, 4, 6, 8, 10, 14 . For each integer m ℓk, the unique weakly holomorphic modular form∈ of { the form f }(z) = q−m + a≥(m,n − )qn is given. Then k,m n>ℓk k f (z) m ℓ is a basis of H1/2,!. Moreover { k,m | ≥− k} k P (1) For an even integer k 0, ≤ (a) F (z) m>ℓ is a basis for Hr,!/Hr−1/2,!. { k,m,r−1 | k} k k ˜ r−1/2,! r−1,! (b) Fk,m,r−1(z) m ℓk is a basis for Hk /Hk . (2) For an{ even integer| k ≤ 2,} ≥ (a) G˜ (z) m>ℓ is a basis for Hr,!/Hr−1/2,!. { k,m,r | k} k k (b) G (z) m ℓ is a basis for Hr−1/2,!/Hr−1,!. { k,m,r−1 | ≤ k} k k Here we put k k F˜ (z) := m − 2 F (z)+ a ( m,n) n − 2 F (z), k,m,r−1 | | k,m,r−1 k − | | k,n,r−1 ℓkX Remark. It is known that G12,1,0(z) is equal to the discriminant function ∆(z) up to a constant multiple, and F (z) = j(z) 720, the elliptic modular j-function whose constant term 0,−1,0 − is equal to 24. The functions fk,m(z) in Theorem 1.4 are called the Duke-Jenkins basis, (for more details, see Section 4). 1,! Remark. In the special case of r = 1 and k = 2, a basis for H2 was constructed by Duke- Imamo¯glu-T´oth [10]. More recently, for general k 1 Z, Jeon-Kang-Kim [16] obtained a basis ∈ 2 for H1,!, and the author [20] generalized their works to Hr,! for any k, r 1 Z. k k ∈ 2 As a corollary of Theorem 1.3 and Theorem 1.4, we obtain the following statement. Corollary 1.5. For an even integer k 2Z and any r 1 Z, the map ∈ ∈ 2 r,! ։ r−1/2,! ξk : Hk H2−k is surjective. Historically speaking, Duke-Imamo¯glu-T´oth [9] constructed an example of polyharmonic Maass form of depth 3/2 whose Fourier coefficients encode real quadratic class numbers. After that Bringmann-Diamantis-Raum [4] introduced general sesquiharmonic Maass forms (“sesqui” means depth 3/2) to study the non-critical values of L-functions. (Poly-)Harmonic 6 Maass forms have played important roles in the number theory. Bruinier-Ono [8], and more generally Alfes-Griffin-Ono-Rolen [1] established the connection between the central values ′ L(ED, 1),L (ED, 1) and the theory of harmonic Maass forms, where L(ED,s) is the Hasse-Weil L-function of the quadratic twist elliptic curve ED. More precisely, they gave the canonical ′ harmonic Maass forms which encode the vanishing or non-vanishing of L(ED, 1) and L (ED, 1). Other studies on polyharmonic Maass forms are given by Bruinier-Funke-Imamo¯glu [7] and Ahlgren-Andersen-Samart [2]. Section 2 consists of basic properties of Whittaker functions and known results on poly- harmonic Maass forms. In this section, we give the Fourier-Whittaker expansion of poly- harmonic weak Maass forms. In Section 3, we review the Maass-Poincar´eseries based on Duke-Imamo¯glu-T´oth [10]. For the special case of depth 1/2, that is, weakly holomorphic modular forms, Duke-Jenkins [12] constructed a basis for the space of such forms. We recall their results in Section 4, and reveal the connection between their basis fk,m(z) and our poly- harmonic weak Maass forms Fk,m,r(z) and Gk,m,r(z). After that, in Section 5 and 6, we give proofs of Theorem 1.3 and 1.4, respectively. Finally in Section 7, we show some examples of known polyharmonic weak Maass forms. Acknowledgement. I would like to express my gratitude to Scott Ahlgren for letting me know polyharmonic Maass forms. Many thanks also to Daeyeol Jeon, Soon-Yi Kang, and Chang Heon Kim for their helpful comments on Theorem 1.4, and to Kathrin Bringmann and Jonas Kaszian for providing me a detailed history of polyharmonic Maass forms. Furthermore it is a pleasure to thank Shunsuke Yamana for inviting me to MPIM, and also thank Soon-Yi Kang and Masanobu Kaneko for giving me the precious opportunity to discuss in NIMS. I am very grateful to the referee for careful reading of this paper and fruitful suggestions. This work is supported by Research Fellow (DC) of Japan Society for the Promotion of Science, and JSPS Overseas Challenge Program for Young Researchers. 2. Polyharmonic weak Maass forms and Whittaker functions In this section, we review the basic definitions and properties of Whittaker functions, and give the Fourier-Whittaker expansion of polyharmonic weak Maass forms. 2.1. The Whittaker differential equation. For given parameters µ,ν C, the Whittaker differential equation [13, (9.220)], [19, (7.1.1)] is defined by ∈ d2w 1 µ 1 4ν2 (2.1) D w(z) := + + + − w = 0. µ,ν dz2 −4 z 4z2 The standard solutions to this differential equation are given the Whittaker functions Mµ,ν(z) and Wµ,ν(z). For parameters µ,ν with Re(ν µ + 1/2) > 0 and y > 0, these Whittaker functions have integral representations [19, (7.4.1),± (7.4.2)]; 1 ν+ 1 y Γ(1 + 2ν) ν+µ− 1 ν−µ− 1 −yt Mµ,ν(y)= y 2 e 2 t 2 (1 t) 2 e dt, Γ(ν + µ + 1 )Γ(ν µ + 1 ) − 2 2 Z0 ∞− ν+ 1 y 1 ν+µ− 1 ν−µ− 1 −yt Wµ,ν(y)= y 2 e 2 t 2 (t 1) 2 e dt. Γ(ν µ + 1 ) − − 2 Z1 7 Then from these integral representations, we can obtain their asymptotic behaviors as y (see [10], [19, (7.6.1)]); →∞ Γ(1 + 2ν) −µ y µ − y (2.2) Mµ,ν(y) y e 2 and Wµ,ν(y) y e 2 . ∼ Γ(ν µ + 1 ) ∼ − 2 However since the Wronskian between Mµ,ν (z) and Wµ,ν(z) is given by [19, (7.1.2)] Γ(2ν + 1) (Mµ,ν (z),Wµ,ν (z)) = , W −Γ(ν µ + 1 ) − 2 Mµ,ν(z) and Wµ,ν(z) are linearly dependent if the right-hand side vanishes. On the other πi hand, the function W−µ,ν(ze ) is also a solution of (2.1), and the Wronskian is given by [19, (7.1.2)] (W (z),W (zeπi)) = e−πiµ. W µ,ν −µ,ν πi Then we can take Wµ,ν(z) and W−µ,ν(ze ) as linearly independent solutions to (2.1). Ac- cording to the paper [3], we put + (z) := W (zeπi). By [13, (9.233)], we see Mµ,ν −µ,ν Γ(1 + 2ν) πiµ + Γ(1 + 2ν) −πi(ν−µ+ 1 ) (2.3) Mµ,ν (y)= e (y)+ e 2 Wµ,ν(y), Γ(ν µ + 1 ) Mµ,ν Γ(ν + µ + 1 ) − 2 2 for 2ν Z and y > 0. 6∈ <0 2.2. The Fourier-Whittaker expansion. As we mentioned in Section 1, a polyharmonic weak Maass form f of weight k 2Z and depth r Z is defined by the following conditions, ∈ ∈ ≥1 (1) For any γ = [ a b ] SL (Z), c d ∈ 2 az + b f = (cz + d)kf(z). cz + d (2) f(z) is smooth, and satisfies r ∆kf(z) = 0. (3) There exists an α R such that f(x + iy)= O(eαy) as y , uniformly in x R. ∈ r,→∞! ∈ We now explain the Fourier-Whittaker expansion of f(z) Hk . The key point is that the ∂ ∈ [j],± operator ∂s commutes with ∆k. In order to obtain our goal, we recall the functions uk,n (y) defined by j [j],− − k ∂ 2 1 uk,n (y) := y j Wsgn(n) k ,s− (4π n y) , ∂s 2 2 | | k s= 2 j [j],+ k ∂ − 2 + uk,n (y) := y j k 1 (4π n y) ∂s Msgn(n) 2 ,s− 2 | | k s= 2 for n Z , and for n =0 we put ∈ 6=0 j [j],− ∂ k 1− 2 −s j j 1−k uk,0 (y) := j y = ( 1) (log y) y , ∂s k − s= 2 j [j],+ ∂ k s− 2 j uk,0 (y) := j y = (log y) . ∂s k s= 2 8 [j],± These functions are the special cases uk,n (y; 0) of the functions introduced in [3, (3.4), (3.5)]. As a remark, it is known that [10, (2.11), (2.12)], [19, (7.2.4)] [0],− k 2πinx − 2 − 2πinx uk,n (y)e = y W k k 1 (4π n y)e sgn(n) 2 , 2 | | k (4πn) 2 qn if n> 0, = k ( (4π n ) 2 Γ(1 k, 4π n y)qn if n< 0, | | − | | [0],+ k 2πinx − 2 + 2πinx uk,n (y)e = y k k−1 (4π n y)e M− 2 , 2 | | k = (4πn) 2 qn, if n< 0, ∞ −t s−1 where Γ(s,y) := y e t dt is the incomplete Gamma function. By [3, Corollary A.2], the set R u[j],−(y) 0 j r u[j],+(y) 0 j r k,n ≤ ≤ ∪ k,n ≤ ≤ is linearly independent for each integer r. Then by the conditions (1) and (2), a polyharmonic weak Maass form has the following Fourier-Whittaker expansion form. r,! Z Z Proposition 2.1. [3, Section 3] Let f(z) Hk for k 2 and r ≥1. Then the Fourier- Whittaker expansion of f(z) is given by ∈ ∈ ∈ ∞ r−1 − [j],− 2πinx + [j],+ 2πinx f(z)= cn,juk,n (y)e + cn,juk,n (y)e , n=−∞ X Xj=0 where c± C. n,j ∈ [j],− Furthermore by Corollary A.3 in [3], for n = 0, uk,n (y) decays exponentially as y , [j],+ 6 → ∞ while uk,n (y) grows exponentially as y . Combining with the condition (3), we see +→ ∞ that the Fourier-Whittaker coefficients cn,j = 0 for almost all indices (n, j). If all coefficients c+ = 0 for n = 0, then f Hr. n,j 6 ∈ k 2.3. The action of ξ-operator. First, we recall some basic properties of the Maass type ∞ H C a b Z differential operator ξk. For a C -function f : , any γ = [ c d ] SL2( ) and integer k, it can be easily checked that → ∈ −k k−2 (2.4) ξk (cz + d) f(γz) = (cz + d) (ξkf)(γz). Thus we obtain the most important property, if f(z) is a modular form of weight k, then ξkf is of weight 2 k. Moreover, ξkf = 0 if and only if f is holomorphic. Since a harmonic Maass form − 1,! 1/2,! ! is characterized by ∆kf = ξ2−k ξkf = 0, we see that ξk maps Hk to H2−k = M2−k with ! − ! ◦ kernel Mk. Here we denote by Mk the space of weakly holomorphic modular forms of weight k. r,! For general Hk terms, we show the following Lemma. 9 Lemma 2.2. Under the above notations, we have [j],− 2πinx ξk(uk,n (y)e ) [j−1],− −2πinx [j−2],− −2πinx j(1 k)u2−k,−n(y)e j(j 1)u2−k,−n(y)e if n> 0, = [j−],− − − ( u (y)e−2πinx if n< 0, − 2−k,−n [j],+ 2πinx ξk(uk,n (y)e ) [j],+ −2πinx u2−k,−n(y)e if n> 0, = − [j−1],+ [j−2],+ ( j(1 k)u (y)e−2πinx j(j 1)u (y)e−2πinx if n< 0, − 2−k,−n − − 2−k,−n ξ (u[j],−(y)) = ( 1)j ju[j−1],+(y) + (1 k)u[j],+ (y) , k k,0 − 2−k,0 − 2−k,0 ξ (u[j],+(y)) = ( 1)j−1ju[j−1],−(y), k k,0 − 2−k,0 [j],± where we put uk,n (y) = 0 for any j < 0. ∂ ∂ Proof. By the commutativity ξk ∂s = ∂s¯ξk, we have j [j],− 2πinx − k ∂ 2πinx 2 1 ξk(uk,n (y)e )= ξk y j Wsgn(n) k ,s− (4π n y) e ∂s 2 2 | | k s= 2 ! j ∂ − k 2πny 2πinx−2πny 2 1 = j ξk y e Wsgn(n) k ,s− (4π n y)e . ∂s¯ 2 2 | | k ! s¯= 2 For n> 0, k − 2 2πny 2πinx−2πny ξk y e W k ,s− 1 (4πny)e 2 2 ! k ∂ ∂ − k 2πny 2πinz = iy + i y 2 e W k 1 (4πny)e ∂x ∂y 2 ,s− 2 ! k k k ∂ − 2πny −2πinz¯ = (4πn) 2 y (4πny) 2 e W k 1 (4πny) e . ∂y 2 ,s− 2 · By the formula [19, (7.2.1)], d 1 1 1 1 z−µe 2 zW (z) = + ν µ ν µ z−µ−1e 2 zW (z), dz µ,ν 2 − 2 − − µ−1,ν it holds that ∂ − k 2πny (4πny) 2 e W k 1 (4πny) ∂y 2 ,s− 2 1 k k 2πny − k = s 1 s e (4πny) 2 W k 1 (4πny), y − 2 − 2 − 2 −1,s− 2 10 that is, we obtain k k k k − 2 2πinx 2 −1 −2πinx ξk y W k ,s− 1 (4πny)e = y s¯ 1 s¯ W k −1,s¯− 1 (4πny)e . 2 2 ! − 2 − 2 − 2 2 For the case of n< 0, k k − 2πinx k ∂ − 2πny −2πinz¯ ξk y 2 W k 1 ( 4πny)e = y y 2 e W k 1 ( 4πny) e . − 2 ,s− 2 − ∂y − 2 ,s− 2 − · ! By using [19, (7.2.1)], d 1 1 zµe− 2 zW (z) = zµ−1e− 2 zW (z), dz µ,ν − µ+1,ν similarly we have [j],− 2πinx ξk(uk,n (y)e ) j − ∂ k k − 2 k −2πinx 2 2− 1 j s¯ 1 s¯ y W− k ,s¯− (4πny)e if n> 0, ∂s¯ − 2 − 2 − 2 2 k = s¯= 2 j − ∂ − 2 k −2πinx 2 2− 1 j y W k ,s¯− (4π n y)e if n< 0. ∂s¯ − 2 2 | | k s¯= 2 If n> 0, then j−1 [j],− k ∂ 2−k 2πinx − 2 − −2πinx ξk(uk,n (y)e )= j 1 s¯ y W− 2 k ,s¯− 1 (4πny)e − 2 − ∂s¯j−1 2 2 j−2 − ∂ − 2 k −2πinx 2 2− 1 j(j 1) j−2 y W− k ,s¯− (4πny)e − − ∂s¯ 2 2 k ! s¯= 2 = j(1 k)u[j−1],− (y)e−2πinx j(j 1)u[j−2],− (y)e−2πinx. − 2−k,−n − − 2−k,−n If n< 0, we have ξ (u[j],−(y)e2πinx)= u[j],− (y)e−2πinx. k k,n − 2−k,−n [j],+ For the case of uk,n (y), we can calculate them by using d 1 1 z−µe 2 z + (z) = z−µ−1e 2 z + (z), dz Mµ,ν − Mµ−1,ν d 1 1 1 1 + zµe− 2 z + (z) = + ν + µ ν + µ zµ−1e− 2 z (z). dz Mµ,ν 2 2 − Mµ+1,ν For the remaining cases, we can get them by direct calculatio ns. Combining Proposition 2.1 and Lemma 2.2, we obtain Proposition 2.3. The ξk operator sends polyharmonic weak Maass forms to polyharmonic weak Maass forms, that is, ξ (Hr,!) Hr−1/2,! and ∆ (Hr,!) Hr−1,!. k k ⊂ 2−k k k ⊂ k 11 r,! − In particular for a function f Hk with an integer r, if cn,r−1 = 0 for all n 0 and + ∈ ≤ cn,r−1 = 0 for all n> 0 in Proposition 2.1, then it strictly holds (2.5) f Hr−1/2,! ∈ k and the space of polyharmonic weak Maass forms of depth r 1/2 consists of such forms. − Remark. For the proof of this proposition, the ξ-operator is applied to the infinite Fourier- Whittaker expansion of Proposition 2.1. This is guaranteed as follows. We consider the Fourier 2πinx expansion of the form f(z)= n∈Z a(n,y)e . Since a polyharmonic weak Maass form f(z) is smooth, by the general theory of Fourier expansion, its termwise derivatives in x is valid. As for its termwise derivativesP in y, by the definition of the Fourier coefficients, we have ∂ 1 ∂f(x + iy) a(n,y)= e−2πinxdx, ∂y ∂y Z0 ∂ ∂ that is, ∂y a(n,y) is the n-th Fourier coefficient of ∂y f(x + iy). 3. Maass-Poincare´ series In this section, we consider the Maass-Poincar´e series as a generalization of Niebur’s Poincar´eseries [21], and compute its Taylor expansion with respect to s.LetΓ=SL2(Z). For an even integer k and nonzero integer m, let − k 2πimx φk,m(z,s) := (4πy) 2 M k 1 (4π m y)e sgn(m) 2 ,s− 2 | | and define the corresponding Poincar´eseries P (z,s) := φ (z,s) γ. k,m k,m |k γ∈XΓ∞\Γ This series converges for Re(s) > 1. We call Pk,m(z,s) the Maass-Poincar´eseries of weight k and index m. Lemma 3.1. For a nonzero integer m, we have k ξ φ (z,s) = (4π)1−k s¯ φ (z, s¯). k k,m − 2 2−k,−m Proof. By [19, (7.2.1)], they hold that d z 1 z z−µe 2 M (z) = + ν µ z−µ−1e 2 M (z), dz µ,ν 2 − µ−1,ν d z 1 z zµe− 2 M (z) = + ν + µ zµ−1e− 2 M (z). dz µ,ν 2 µ+1,ν 12 Applying these formulas to ξkφk,m(z,s), then we have k ∂ ∂ k − k 2πmy 2πimz ξkφk,m(z,s)= iy + i m 2 (4π m y) 2 e M k 1 (4π m y)e ∂x ∂y | | | | sgn(m) 2 ,s− 2 | | k k k ∂ − 2πmy −2πimz¯ = y m 2 (4π m y) 2 e M k 1 (4π m y) e | | ∂y | | sgn(m) 2 ,s− 2 | | · 1−k k k −1 −2πimx = (4π) s¯ (4πy) 2 M 2−k 1 (4π m y)e − 2 sgn(−m) 2 ,s¯− 2 | | k = (4π)1−k s¯ φ (z, s¯). − 2 2−k,−m From (2.4) and Lemma 3.1, for a nonzero integer m, we see that k (3.1) ξ P (z,s) = (4π)1−k s P (z, s), k k,m − 2 2−k,−m and k k (3.2) ∆ P (z,s)= ξ ξ P (z,s)= s 1 s P (z,s). k k,m − 2−k ◦ k k,m − 2 − 2 − k,m Thus Pk,m(z,s) is harmonic at s = k/2, 1 k/2. Substituting s = k/2 if k> 2, or s = 1 k/2 if k< 0, we immediately obtain harmonic− forms. In the cases of k = 0 and 2, Duke-Imamo¯glu-− T´oth [10] gave the analytic continuation for Pk,m(z,s) to s = 1. Thus we can include the cases of k = 0, 2. Remark. For the real analytic Eisenstein series Ek(z,s), they hold that ξ E (z,s) =sE ¯ (z, s¯ + k 1), k k 2−k − ∆ E (z,s)= s(1 k s)E (z,s). k k − − k By using Kohnen’s approach [17], we can compute the Fourier expansion of Pk,m(z,s) expressed in terms of the Kloosterman sums and Bessel functions. Further details are explained in [14, Section 3]. Proposition 3.2. (This form is found in [10, Proposition 2]). For an even integer k and a nonzero integer m, the Maass-Poincar´eseries Pk,m(z,s) has the following Fourier expansion form. k k − 2 2πimx − 2 1−s Pk,m(z,s) =(4πy) M k 1 (4π m y)e + gk,m,0(s)Lm,0(s)( 4πy) y sgn(m) 2 ,s− 2 | | − k − 2 2πinx + gk,m,n(s)Lm,n(s)( 4πy) W k 1 (4π n y)e − sgn(n) 2 ,s− 2 | | nX6=0 where 2π m/n | | if n = 0, g (s) := Γ(2s) Γ(s +p sgn(n)k/2) 6 k,m,n × 4π1+s m s | | if n = 0, (2s 1)Γ(s + k/2)Γ(s k/2) − − 13 and ∞ K(m,n,c) 4π mn J | | if nm > 0, c 2s−1 c c=1 p X∞ K(m, 0, c) L (s) := if n = 0, m,n c2s c=1 X∞ K(m,n,c) 4π mn I2s−1 | | if nm < 0, c c c=1 p X where Is(x) and Js(x) are two types of Bessel functions, and K(m,n,c) is the Kloosterman sum 2πi ma+nd K(m,n,c) := e c . d(c)∗ adX≡1(c) 4. Duke-Jenkins basis 1/2,! ! Duke-Jenkins [12] constructed a basis for the space Hk = Mk of weakly holomorphic ′ modular forms. For an even integer k 2Z, we define an integer ℓk by k = 12ℓk + k where k′ 0, 4, 6, 8, 10, 14 . For each integer∈m ℓ , there exists the unique weakly holomorphic ∈ { } ≥− k modular form fk,m(z) with the Fourier expansion of the form −m n fk,m(z)= q + ak(m,n)q . n>ℓXk ! Then they showed the set fk,m(z) m ℓk is a basis of Mk. In the case of k = 0, the first few of the basis are given by{ | ≥− } f0,0(z) = 1, f (z)= j(z) 744 = q−1 + 196884q + 21493760q2 + , 0,1 − · · · f (z)= j(z)2 1488j(z) + 159768 = q−2 + 42987520q + 40491909396q2 + . 0,2 − · · · ℓk For a general weight k, we put fk(z) = ∆(z) Ek′ (z), where E0(z) := 1. Then the functions fk,m(z) are characterized by the following generating function f (τ)f (z) f (τ)qm = k 2−k , k,m j(z) j(τ) mX≥−ℓk − (see [12, Theorem 2]). Hence it follows that (4.1) a (m,n)= a (n,m). k − 2−k 14 We describe these basis functions fk,m(z) in terms of our functions Fk,m,r(z) and Gk,m,r(z). Combining the Fourier expansion form in Proposition 3.2 and (2.3), we have k Γ(2s) − 2 −sπi Pk,m(z,s) = ( 4πy) e Wsgn(m) k ,s− 1 (4π m y) − Γ(s + sgn(m)k/2) 2 2 | | Γ(2s) + 2πimx + k 1 (4π m y) e Γ(s sgn(m)k/2) Msgn(m) 2 ,s− 2 | | − ! k + g (s)L (s)( 4πy)− 2 y1−s k,m,0 m,0 − k − 2 2πinx + gk,m,n(s)Lm,n(s)( 4πy) W k 1 (4π n y)e . − sgn(n) 2 ,s− 2 | | nX6=0 For a nonzero integer m, the Taylor coefficients Fk,m,r(z) and Gk,m,r(z) are given by 1 ∂r Fk,m,r(z)= Pk,m(z,s) k for k 0, r! ∂sr |s=1− 2 ≤ 1 ∂r Gk,m,r(z)= Pk,m(z,s) k for k 2. r! ∂sr |s= 2 ≥ As remarks, first for k = 0, 2, this Fourier expansion form gives the analytic continuation of Pk,m(z,s) to s = 1, that is, its termwise derivatives in s is valid, (see [10, Section 3.2]). Secondary, for a nonzero integer m, this Poincar´eseries Pk,m(z,s) has no pole at s = k/2 for k 2, and s = 1 k/2 for k 0. Then we have the Fourier-Whittaker expansion forms of ≥ − ≤ Fk,m,r(z) and Gk,m,r(z), (4.2) r r−j k r ∂ Γ(2s) [j],− 2 j −sπi 2πimx r!( 4π) Fk,m,r(z)= ( 1) r−j e uk,m (y)e − − j ∂s Γ(s + sgn(m)k/2) k j=0 s=1− 2 X r r−j j r ∂ Γ(2s) [j],+ 2πimx + ( 1) r−j uk,m (y)e − j ∂s Γ(s sgn(m)k/2) k j=0 s=1− 2 X − r r−j j r ∂ [j],+ + ( 1) r−j gk,m,0(s)Lm,0(s) uk,0 (y) − j ∂s k j=0 s=1− 2 X r r−j j r ∂ [j],− 2πinx + ( 1) r−j gk,m,n(s)Lm,n(s) uk,n (y)e , − j ∂s s=1− k j=0 n6=0 2 X X 15 and r r−j k r ∂ Γ(2s) [j],− 2 −sπi 2πimx r!( 4π) Gk,m,r(z)= r−j e uk,m (y)e − j ∂s Γ(s + sgn(m)k/2) k j=0 s= 2 X r r−j r ∂ Γ(2s) [j],+ 2πimx + r−j uk,m (y)e j ∂s Γ(s sgn(m)k/2) k j=0 − s= 2 (4.3) X r r−j r ∂ [j],− + r−j gk,m,0(s)Lm,0(s) uk,0 (y) j ∂s k j=0 s= 2 X r r−j r ∂ [j],− 2πinx + r−j gk,m,n(s)Lm,n(s) uk,n (y)e , j ∂s k j=0 n6=0 s= 2 X X j j where we use the property ∂ W (z) = ( 1)j ∂ W (z) . By these Fourier- ∂νj µ,ν |ν=ν0 − ∂νj µ,ν |ν=−ν0 Whittaker expansion forms, we see that F (z), G (z) Hr+1,!. In particular, since k,m,r k,m,r ∈ k Gk,m,r(z) satisfies the conditions for (2.5), Gk,m,r(z) has a half-integral depth r + 1/2. Let k 0 and m> 0. By (4.2), we immediately see that ≤ k F (z) = (1 k)!m 2 q−m k,−m,0 − k k k (1 k)m 2 Γ(1 k, 4πmy)q−m ( 4π2m)1− 2 L 1 − − − − − −m,0 − 2 k k k + ( 1) 2 2π(1 k)! m/nL 1 n 2 qn − − −m,n − 2 n>0 X p k k k + ( 1) 2 2π(1 k) m/n L 1 n 2 Γ(1 k, 4π n y)qn. − − | | −m,n − 2 | | − | | n<0 X p Comparing with Duke-Jenkins basis f (z) = q−m + a (m,n)qn, for k < 0 and m k,m n>ℓk k ≥ ℓk > 0, we see that − P − k − k (1 k)!fk,m(z) m 2 Fk,−m,0(z)+ ak(m,n) n 2 Fk,n,0(z) − − ( | | ) ℓkX As for k 2, it is known that the functions Gk,m,0(z) with m > 0 span the space Sk of holomorphic≥ cusp forms. More precisely, Rhoades [24] showed the following theorem. 16 Theorem 4.1. [24, Theorem 1.21] Let k 2Z with k 2 and be a finite set of positive integers. Then ∈ ≥ I α G (z) 0 m k,m,0 ≡ mX∈I if and only if there exists a weakly holomorphic modular form of weight 2 k with principal part at equal to − ∞ α m q−m. mk/2−1 mX∈I Here this theorem looks different from [24, Theorem 1.21], because his definition of the Poincar´eseries and ours are slightly different. By this theorem and the relation ℓ2−k = 1 ℓk, we see that G (z) 0 − k (4.5) f (z) m 2 G (z) k,m − k,−m,0 −m is a holomorphic cusp form for weight k > 2. For k = 2 and m > 0, since f2,m(z) = q + ∞ n n=0 a2(m,n)q holds, the function (4.5) is a holomorphic modular form with the constant term a2(m, 0). By f0,0(z) = 1 and the duality (4.1), we see a2(m, 0) = a0(0,m) = 0. Then (4.5)P for k = 2 is also a holomorphic cusp form. Finally, for k> 2 and m−= 0 we see that k π 2 fk,0(z) Ek(z)= fk,0(z) Gk,0(z) − − k 1 k!ζ(k) 2 − is a holomorphic cusp form. In conclusion, we obtain the following proposition. ′ Proposition 4.2. For an even integer k 2Z, we define an integer ℓk by k = 12ℓk + k where ′ ∈ k 0, 4, 6, 8, 10, 14 . For each integer m ℓk, the unique weakly holomorphic modular form∈ {f (z) = q−m}+ a (m,n)qn is≥ expressed − in terms of the functions F (z), k,m n>ℓk k k,m,0 G (z) as follows. k,m,0 P (1) For k 2, ≤− 1 − k − k fk,m(z)= m 2 Fk,−m,0(z)+ ak(m,n) n 2 Fk,n,0(z) . (1 k)!( | | ) − ℓkX 5. Proof of Theorem 1.3 We consider the Taylor expansion form of Pk,m(z,s) again, ∞ F (z) s + k 1 r if k 0, r=0 k,m,r 2 − ≤ Pk,m(z,s)= r P∞ G (z) s k if k 2. r=0 k,m,r − 2 ≥ Let k 0, we have P ≤ ∞ k ξ P (z,s)= ξ F (z) s¯ + 1 r. k k,m k k,m,r 2 − r=0 X On the other hand, by (3.1), k ξ P (z,s) = (4π)1−k s¯ P (z, s¯) k k,m − 2 2−k,−m ∞ k k = (4π)1−k 1 k +s ¯ + 1 G (z) s¯ + 1 r − 2 − 2−k,−m,r 2 − r=0 ∞ X ∞ k k = (4π)1−k (1 k) G (z) s¯ + 1 r + G (z) s¯ + 1 r+1 . − 2−k,−m,r 2 − 2−k,−m,r 2 − ( r=0 r=0 ) X X Term by term comparison in s¯ + k 1 r yields 2 − ξ F (z) = (4π)1−k (1 k)G (z)+ G (z) . k k,m,r − 2−k,−m,r 2−k,−m,r−1 Let k 2, we have ≥ ∞ k ξ P (z,s)= ξ G (z) s¯ r. k k,m k k,m,r − 2 r=0 X Similarly, k ξ P (z,s) = (4π)1−k s¯ P (z, s¯) k k,m − 2 2−k,−m ∞ k k = (4π)1−k s¯ F (z) s¯ r. − 2 2−k,−m,r − 2 r=0 X Then we have 1−k ξkGk,m,r(z) = (4π) F2−k,−m,r−1(z). 6. Proof of Theorem 1.4 By the Fourier-Whittaker expansion form of Fk,m,r(z) and Gk,m,r(z) in Section 4, it can be easily checked that, in the description of Proposition 2.1, the Fourier-Whittaker coefficients 18 [r],+ 2πimx of uk,m (y)e satisfy r r k ( 1) Γ(2s) ( 1) Γ(2 k) 2 + r!( 4π) cm,r = − = −k − = 0, for k 0, − Γ(s sgn(m)k/2) k Γ(1 sgn(m)k/2) 6 ≤ s=1− 2 2 − − − k Γ(2s) Γ(k) 2 + r!( 4π) cm,r = = k = 1 = 0, for k 2, m< 0. − Γ(s sgn(m)k/2) k Γ( sgn(m)k/2) 6 ≥ s= 2 2 − − For the case of k 2 and m> 0, since Γ(2s)/Γ(s sgn(m)k/2) has a simple zero at s = k/2, we have ≥ − k Γ(2s) 2 + r!( 4π) cm,r = = 0, − Γ(s sgn(m)k/2) k s= 2 − k ∂ Γ(2s) 2 + r!( 4π) cm,r−1 = r = 0. − · ∂s Γ(s sgn(m)k/2) k 6 s= 2 − r,! Thus for an even integer k 0 and an arbitrary f(z) Hk , canceling out all exponentially [j],+ ≤ ∈ growing terms uk,n (y), we have r−1 f(z) a F (z) Hr, − k,m,j k,m,j ∈ k Xj=0 mX∈S where S Z is a finite subset and ak,m,j C. By Theorem 1.1, the set Fk,m,r−1(z) m Z ⊂ r,! r−1,! ∈ { | ∈ } is a generating set of Hk /Hk , where we put Fk,0,r−1(z) := Fk,r−1(z) in Theorem 1.1. Next r,! r−1/2,! we show that the subset Fk,m,r−1(z) m ℓ2−k is a basis of Hk /Hk . For any finite subset S Z , we assume{ that | ≥− } ⊂ ≥−ℓ2−k ak,m,jFk,m,r−1(z) = 0. mX∈S Taking the action of ξ ∆r−1, we have k ◦ k r−1 (6.1) ξk ∆k ak,m,r−1Fk,m,r−1(z) = bk,m,r−1G2−k,−m,0(z), ◦ ! mX∈S mX∈S where (k 1)r(4π)1−ka if m = 0, b = − − k,m,r−1 6 k,m,r−1 (k 1)r−1a if m = 0. − k,0,r−1 The result (6.1) is a weakly holomorphic modular form of weight 2 k, and by assumption it is equal to 0. By Proposition 4.2, we can see that the set G −(z) m ℓ is a basis { 2−k,−m,0 | ≥− 2−k} for M ! . Then each coefficient b = 0, that is, a = 0. Thus F (z) m 2−k k,m,r−1 k,m,r−1 { k,m,r−1 | ≥ ℓ2−k is linearly independent. On the other hand, for m< ℓ2−k, there exists a finite subset −S Z} and a C such that − ⊂ ≥−ℓ2−k k,n,r−1 ∈ r−1 ξk ∆k Fk,m,r−1(z) ak,n,r−1Fk,n,r−1(z) = 0, ◦ − ! nX∈S 19 that is, Fk,m,r−1(z) is written as a linear combination of Fk,n,r−1(z) with n ℓ2−k in r,! r−1/2,! ≥ − Hk /Hk . Thus for k 0, we conclude that Fk,m,r−1(z) m ℓ2−k is a basis of r,! r−1/2,! ≤ { | ≥ − } Hk /Hk . Since it holds that ℓ2−k = 1 ℓk, we obtain Theorem 1.4 (1-a). By the same calculation as (6.1) and Proposition 4.2, − − − k − k F˜k,m,r−1(z) := m 2 Fk,m,r−1(z)+ ak( m,n) n 2 Fk,n,r−1(z) m ℓk ( | | − | | ≤ ) ℓk As for the case of k 2, we see that the set Gk,m,r(z) m Z is a generating set of r+1/2,! r−1/2,! ≥ { | ∈ } r+1/2,! r,! Hk /Hk . Similarly, we can take Gk,m,r(z) m ℓk as a basis of Hk /Hk . Moreover, by Proposition 4.2, { | ≤ } k −1 k −1 G˜k,m,r(z) := m 2 Gk,m,r(z) ak( n,m)n 2 Gk,n,r(z) m>ℓk ( − − ) 0 In this last section, we follow the expositions of some examples of the functions Fk,m,r(z), Gk,m,r(z) related to the previous works by [10], [15], and [22]. (1) In the cases of k = 12 and 10. Ono [22] constructed a mock modular form M∆(z) for the discriminant function ∆(z) of− the form 1 1 24 M∆(z)= + + O(q), 11! · q B12 20 where B12 = 691/2730 is the 12th Bernoulli number. This function satisfies the property that − i∞ ∆( τ¯) R (z) := M (z) + (2π)11 11i β − dτ ∆ ∆ · · ∆ ( i(τ + z))−10 Z−z¯ − is a weight 10 harmonic weak Maass form on SL (Z), where the constant β = 2.840287 . . . − 2 ∆ is defined by G12,1,0(z) = β∆∆(z). Then this function is expressed in our notations as F−10,−1,0(z)= R∆(z). (2) In the case of k = 2. Duke-Imamo¯glu-T´oth [10] gave the explicit formulas 0 if m> 0, G (z)= P (z, 1) = 2,m,0 2,m mqm nc (n)qn = j′ (z) if m< 0, − − n>0 m − m where jm C[j] is the unique polynomial inP the elliptic modular j-function having a Fourier expansion∈ of the form ∞ m n jm(z)= q + cm(n)q . n=1 X Moreover they showed that the space H1,! is spanned by G (z) m < 0 E∗(z) 2 { 2,m,0 | } ∪ { 2 }∪ G2,m,1(z) m> 0 . Furthermore they gave the Fourier-Whittaker expansion of G2,m,1(z) in terms{ of the| regularized} Petersson inner products. (3) In the case of k = 0. For a positive integer m, Jeon-Kang-Kim [15] considered a poly- harmonic Maass form J (z) satisfying ξ J (z) = 4πG (z) and ∆ J (z) = j (z) m k m 2,m,1 0 m − −m − 24σ1(m), and its cycle integral. According to this paper, their Jm(z) coincides our F0,−m,1(z), and we get F0,−m,0(z)=bj−m(z) + 24σ1(m)b from (4.4), originated with Ramanujanb [23]. b References [1] C. Alfes, M. Griffin, K. Ono, L. Rolen, Weierstrass mock modular forms and elliptic curves, Res. Number Theory, 1, (2015), 1–31. [2] S. Ahlgren, N. Andersen, D. Samart, A polyharmonic Maass form of depth 3/2 for SL2(Z), arXiv:1707.06117. [3] N. Andersen, J. C. Lagarias, R. C. Rhoades, Shifted polyharmonic Maass forms for P SL(2, Z), arXiv:1708.01278. [4] K. Bringmann, N. Diamantis, M. Raum, Mock period functions, sesquiharmonic Maass forms, and non- critical values of L-functions, Adv. Math., 233, (2013), 115–134. [5] F. Brown, S. Omar, Li’s criterion for Epstein zeta functions, generalization of Kronecker’s limit formula and the Gauss problem, J. Number Theory, 158, (2016), 90–103. [6] J. H. Bruinier, J. Funke, On two geometric theta lifts, Duke Math. J., 125, (2004), 45–90. [7] J. H. Bruinier, J. Funke, O.¨ Imamo¯glu, Regularized theta liftings and periods of modular functions, J. Reine Angew. Math., 703, (2015), 43–93. [8] J. H. Bruinier, K. Ono, Heegner divisors, L-functions, and harmonic weak Maass forms, Ann. Math., 172 (2), no. 3, (2010), 2135–2181. [9] W. Duke, O.¨ Imamo¯glu, A.´ T´oth, Cycle integrals of the j-function and mock modular forms, Ann. of Math., 173 (2), (2011), 947–981. [10] W. Duke, O.¨ Imamo¯glu, A.´ T´oth, Regularized inner products of modular functions, Ramanujan J., 41, (2016), 13–29. 21 [11] W. Duke, O.¨ Imamo¯glu, A.´ T´oth, Kronecker’s first limit formula, revisited, res. Math. Sci., 5, no. 2, (2018), 1–21. [12] W. Duke, P. Jenkins, On the zeros and coefficients of certain weakly holomorphic modular forms, Pure Appl. Math. Q. 4, (2008), no. 4, Special Issue: In honor of Jean-Pierre Serre. Part 1, 1327–1340. [13] I. S. Gradshteyn, I. M. Ryzhik, Table of integrals, series, and products, Translated from the Russian. Sixth edition. Translation edited and with a preface by Alan Jeffrey and Daniel Zwillinger. Academic Press, Inc., San Diego, CA, (2000), xlvii+1163 pp. [14] D. Jeon, S.-Y. Kang, C. H. Kim, Weak Maass-Poincar´eseries and weight 3/2 mock modular forms, J. Num. Theory, 133, (2013), 2567–2587. [15] D. Jeon, S.-Y. Kang, C. H. Kim, Cycle integrals of a sesqui-harmonic Maass form of weight zero, Journal of Number Theory, 141, (2014), 92–108. [16] D. Jeon, S.-Y. Kang, C. H. Kim, Bases of spaces of harmonic weak Maass forms and Shintani lifts on harmonic weak Maass forms, preprint. [17] W. Kohnen, Fourier coefficients of modular forms of half-integral weight, Math. Ann., 271, (1985), 237–268. [18] J. C. Lagarias, R. C. Rhoades, Polyharmonic Maass forms for P SL(2, Z), Ramanujan J., 41, (2016), 191–232. [19] W. Magnus, F. Oberhettinger, R. Soni, Formulas and theorems for the special functions of mathematical physics, Third enlarged edition. Die Grundlehren der mathematischen Wissenschaften, Band 52 Springer- Verlag New York, Inc., New York, (1966), viii+508 pp. [20] T. Matsusaka, Traces of CM values and cycle integrals of polyharmonic Maass forms, arXiv:1805.02064. [21] D. Niebur, A class of nonanalytic automorphic functions, Nagoya Math. J., 52, (1973), 133–145. [22] K. Ono, A mock theta function for the Delta-function, in Proc. 2007 Integers Conf. Combinatorial Number Theory, (de Gruyter, Berlin, 2009), 141–155. [23] S. Ramanujan, On certain trigonometrical sums and their applications in the theory of numbers, Collected Papers of Srinivasa Ramanujan, vol. 179, AMS, Providence, (2000). [24] R. C. Rhoades, Interplay between weak Maass forms and modular forms and statistical properties of number theoretic objects, Ph. D Thesis, The University of Wisconsin, Madison, (2008), 148 pp. [25] T. Shintani, A proof of the classical Kronecker limit formula, Tokyo J. Math., 3, no. 2, (1980), 191–199. Graduate School of Mathematics, Kyushu University, Motooka 744, Nishi-ku Fukuoka 819- 0395, Japan E-mail address: [email protected]