SHINTANI LIFTS AND FRACTIONAL DERIVATIVES FOR HARMONIC WEAK MAASS FORMS arxiv: v1 [math.nt] 19 May 2014

Transcription

1 SHINTANI LIFTS AND FRACTIONAL DERIVATIVES FOR HARMONIC WEAK MAASS FORMS arxiv: v [math.nt] 9 May 04 KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE Abstract. In this paper, we construct Shintani lifts from integral weight weakly holomorphic modular forms to half-integral weight weakly holomorphic modular forms. Although defined by different methods, these coincide with the classical Shintani lifts when restricted to the space of cusp forms. As a side effect, this gives the coefficients of the classical Shintani lifts as new cycle integrals. This yields new formulas for the L-values of Hecke eigenforms. When restricted to the space of weakly holomorphic modular forms orthogonal to cusp forms, the Shintani lifts introduce a definition of weakly holomorphic Hecke eigenforms. Along the way, auxiliary lifts are constructed from the space of harmonic weak Maass forms which yield a fractional derivative from the space of half-integral weight harmonic weak Maass forms to half-integral weight weakly holomorphic modular forms. This fractional derivative complements the usual ξ-operator introduced by Bruinier and Funke.. Introduction and statement of results In this paper, we introduce an extension of Shintani s lifts [8] from integral weight weakly holomorphic modular forms to half-integral weight weakly holomorphic modular forms. The resulting lifts are essentially equal to the classical lifts when one restricts to cusp forms, but our construction differs from that of Shintani, yielding a new interpretation of his lifts. A number of remarkable theorems have been proven using the relationship between integral and half-integral weight modular forms. In celebrated work of Waldspurger [0], the interplay between these two spaces was used to solve open problems in both spaces. On the integral weight side, it had been empirically observed that central values of L-functions of integral weight Hecke eigenforms were basically squares. On the other hand, the coefficients of half-integral weight eigenforms were shown by Shintani [8] to be certain cycle integrals of integral weight forms. Waldspurger fused these two statements into one coherent theory by proving that the central value of the L-function for integral weight Hecke eigenforms is proportional to the square of a coefficient of a certain halfintegral weight form. The explicit constant of proportionality is the main theme of the famous Kohnen-Zagier formula []. By proving that the constant of proportionality is positive, Kohnen and Zagier showed the non-negativity of central values of L-series. To give another example, Iwaniec [8] proved bounds for the size of the Fourier coefficients of half-integral weight modular forms. Combining these bounds with the results of Waldspurger, Iwaniec obtained sub-convexity bounds for central values. Conversely, recent developments in analytic number theory have led to improvements in the sub-convexity bounds of central L-values and accordingly sharpened the bounds of Iwaniec by using this connection in the reverse direction for example, see []. Date: March, Mathematics Subject Classification. F, F5, F7. Key words and phrases. half-integral weight harmonic weak Maass forms, Shimura lifts, Shintani lifts, Hecke operators, fractional-derivatives. The research of the first author was supported by the Alfried Krupp Prize for Young University Teachers of the Krupp Foundation and by the Deutsche Forschungsgemeinschaft DFG Grant No. BR 408/-. The research of the second author is supported by Simons Foundation Collaboration Grant.

2 KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE Having demonstrated the utility of the connection between integral and half-integral weight modular forms, we now briefly turn to the history of the construction of lifts between them. The interrelation between integral and half-integral weight modular forms was initiated by Shimura [7], who constructed a lift S n for every n N squarefree from half-integral weight cusp forms to integral weight holomorphic forms. The surprising connection between these two spaces led to a flurry of activity. Among the exciting work that followed, Shintani [8] defined a lift Sd for every fundamental discriminant d and integer k > satisfying k d > 0 from integral to half-integral weight cusp forms whose coefficients are related to cycle integrals of the integral weight cusp forms which we now briefly describe. There is a one-to-one correspondence between Q in the set Q of binary quadratic forms of non-square discriminant > 0 and semicircles S Q whose real endpoints are the roots of Q see.5. Moreover, the automorphs of Q in SL Z are an infinite cyclic group Γ Q. Defining C Q := S Q /Γ Q, for every function F satisfying weight κ Z modularity we define the cycle integral CF;Q := κ C Q FτQτ, κ dτ. Taking traces over all SL Z equivalence classes twisted by the genus characters χ defined in., Shintani s lifts are then defined for f S k cf. 8 of [] by. Sd fτ := δd k q δ, δ:δd>0 Q SL Z\Q δd χqcf;q where q := e πiτ. It was later shown by Kohnen and Zagier [] that Shintani s lift is adjoint to Shimura s lift. In order to provide an isomorphism between these two spaces, Kohnen [] defined for k 0 a distinguished subspace S k+ of weight k + cusp forms now known as the Kohnen plus space. Since the Shimura and Shintani maps both commute with the Hecke operators, there exists for every fundamental discriminant d with k d > 0 and weight k Hecke eigenform f a constant c f,d C possibly zero for which S d Sd f = c f,df. Kohnen [] further proved the existence of a linear combination of finitely many Shimura lifts which yields an isomorphism between S k classical weight k cusp forms and S k+. In order to extend Shintani s lifts to weakly holomorphic modular forms, we require pairs of fundamental discriminants d and D which, as we assume throughout, satisfy k d > 0 and k D < 0. Roughly speaking, the choice of d determines the cuspidal projection of our Shintani lift Sd,D explicitly defined in 7., while D contributes the principal part of the lift, which governs the growth of the function towards the cusp i. More precisely, using an extension of the Petersson inner product to weakly holomorphic modular forms, D provides the projection to the space orthogonal to cusp forms. The lifts Sd,D are constructed via intermediary lifts on non-holomorphic modular forms known as harmonic weak Maass forms see Section for the definition. When restricted to the subspace of cusp forms, they are furthermore related to the classical Shintani lifts via. S d,d = k k S d. By computing the Fourier coefficients of the harmonic weak Maass forms in two different ways, one obtains a striking identity between Shintani s classical cycle integrals and cycle integrals of weight 0 non-holomorphic modular forms. To state the result, we need the antiholomorphic differential

3 SHINTANI LIFTS operator ξ κ := iy κ τ and the Maass raising operator R κ defined in.7. While ξ κ maps harmonic weak Maass forms of weight κ to weakly holomorphic modular forms of weight κ, R κ maps non-holomorphic modular forms of weight κ to non-holomorphic modular forms of weight κ +. We denote the n-th repeated iteration by R n κ. The following theorem yields a new construction of Shintani s lifts. Theorem.. If M is a weight k harmonic weak Maass form for which ξ k M is a cusp form, then for every pair of positive discriminants d,δ for which dδ is not a square we have. χqcξ k M;Q = C k R k k M;Q, Q SL Z\Q δd Γ k+ where C k := k Γk Γ k. Q SL Z\Q δd χqc Remark. The twisted traces on the right hand side of. were studied for the excluded case k = in [], where cycle integrals for meromorphic and non-holomorphic forms were first considered. Cycle integrals of this type also occur in [4]. Methods for the case k = were developed in [9] which we expect could be extended to yield the coefficients in Theorem. when δd is a square. The lifts Sd,D also satisfy a number of remarkable properties on the entire space of weakly holomorphic modular forms. Theorem.. The lifts Sd,D all commute with the Hecke operators. The lifts Sd,D all map cusp forms to cusp forms and preserve orthogonality to cusp forms. In addition to yielding the proportionality in Theorem., the construction of pairs of lifts from integral to half-integral weight harmonic weak Maass forms plays a key role in extending the Shintani lifts to include weakly holomorphic modular forms. The resulting pairs of Zagier lifts, Z d and Z D, build upon a construction of lifts [] between spaces of weakly holomorphic modular forms. The lifts Z d.8 map harmonic weak Maass forms of weight k to harmonic weak Maass forms of weight k, while the lifts Z D.4 map weight k harmonic weak Maass forms directly to weight k+ weakly holomorphic modular forms. Using the connection of Waldspurger [0] between coefficients of half-integral weight Hecke eigenforms and central values of integral weight Hecke eigenforms, Theorem. leads to the following classification of the vanishing of the central L-value Lf,χ d,k of f S k twisted by the quadratic character χ d. Corollary.. Suppose that a cusp form f is a weight k Hecke eigenform and M is a weight k harmonic weak Maass form satisfying ξ k M = f. Then Z d M is weakly holomorphic if and only if Lf,χ d,k = 0. After completing this paper, Bruinier informed the authors that Zagier lifts also appear as theta lifts. In particular, Alfes [], motivated by algebraicity questions, has obtained overlapping partial results extending the Zagier lifts in certain cases. The cases of Corollary. with k even are contained in []. Since the obstruction to surjectivity of the classical Shintani maps yield interesting arithmetic information about vanishing of L-values, it is worthwhile to determine the image of the Shintani lifts when restricting to the subspace S,0 k consisting of those forms orthogonal to cusp forms with vanishing constant term. For this, we decompose the orthogonal complement of cusp forms S,0 k+ weight k+ with vanishing constant terms into subspaces S,0 k+,d consisting of those forms whose principal parts are supported in the square class D m m N 0. in

4 4 KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE Theorem.4. For each pair d,d, the restriction of S d,d S,0 k+,d. to S,0 k yields a bijection from S,0 k to We have seen that Z d and Z D play an important role in our new construction of the Shintani lift. To better understand these lifts, we next determine the image of the space H cusp k of harmonic weak Maass forms for which ξ k maps to cusp forms. As in Theorem.4, it is natural to decompose the space of weight k harmonic weak Maass forms into subspaces Hcusp consisting of those forms k,d whose principal parts are supported in the d m square class m N. In particular, elements of H cusp map to cusp forms under the ξ-operator. k,d Theorem.5. Each lift Z D is an isomorphism from H cusp k Every map Z d is an isomorphism from H cusp k to S,0 k+,d. to Hcusp k,d. Remark. Theorem. further allows us to use the maps Z d to give an alternate proof of the famous classical theorem of Kohnen [], proving the existence of the Shimura isomorphism mentioned above. While the Zagier lifts Z d give a new criterion to determine vanishing of central L-values, the lifts Z D may be used to build a theory of half-integral weight weakly holomorphic Hecke eigenforms. This parallels a construction of integral weight weakly holomorphic Hecke eigenforms by the second author [6]. He builds such forms by using the differential operator D k := k πi τ to define a distinguished finite dimensional quotient space. A key observation is the fact that S,0 k, which is the image under D k of the subspace S k! of weakly holomorphic modular forms with vanishing constant term, is preserved by the Hecke operators. Trying to follow this construction directly in the half-integral weight case immediately runs into a number of roadblocks. Although we have the operator ξ k, we are missing a complementary operator which plays the role of D k. Without the ability to act by a fractional derivative, D does not aid in the construction of such an operator. Moreover, even once an operator from the space of weight k harmonic weak Maass forms in Kohnen s plus space to S,0 is found, k+ one needs to determine a distinguished subspace which is preserved under the Hecke operators. To overcome these problems, we define the subspace.4 J D k+ := Z D S! k which is Hecke stable and serves the roleof D k S k! in ourconstruction of half-integral weight weakly holomorphic Hecke eigenforms. We call a weight k + weakly holomorphic modular form F a Hecke eigenform if for every n N there exists λ n C and F n D JD such that k+,.5 F Tn = λ n F +F n, where T n is the n-th Hecke operator. Since there are already Hecke eigenforms for M k+ S,0 k+ The next theorem shows that J D k+ by Theorem.5, it suffices to study Hecke eigenforms on the subspace S,0. k+.6 S,0 k+ / D J D k+ = D S /J,0 D k+,d k+ and

5 SHINTANI LIFTS 5 is spanned by Hecke eigenforms. However, contrasting the integral weight case, the eigenspaces are infinite dimensional. We overcome this by looking separately at each component of the decomposition on the right hand side of.6, which turn out to be finite dimensional. Theorem.6. The spaces S,0 k+,d /J D k+ and M k+ are isomorphic as Hecke modules. As mentioned in the discussion preceding Theorem.6, there is interest in determining a natural operator on weight k harmonic weak Maass forms which complements ξ k. Paralleling the integral weight operator D k, this new operator should map H cusp. Theorem.5 leads to such a natural Hecke equivariant isomorphism defined by.7 D k d,d := Z D Z d : H cusp k,d S,0 to S,0 k,d k+ k+,d. We shall see that D k d,d parallels Dk in a number of ways, leading us to call D k d,d the d,d-th fractional derivative of weight k. To describe another important property of D k, we note that on Fourier expansions D k n anq n = n n k anq n. This link is important for arithmetic applications. Moreover, uniquely define F m H cusp k m N by F m τ = q m +O and g m S,0 k by g m τ = q m +Oq. The coefficients of these functions satisfy a so-called Zagier duality []. This duality may be proven using the D k -operator via the identity [7].8 D k F m = m k g m. To explain the statement of duality, uniquely define G d H cusp hd S,0 k+ by G dτ = q d + O and k,d by h D τ = q D +Oq. Denote the D-th resp. d-th coefficient of G d resp. h D by ad, D resp. cd, d. Generalizing Zagier s original duality statement [], the first author and Ono [7] proved that.9 ad,d = cd,d. Denote the d-th coefficient of h D := D k d,d G d by bd,d. Paralleling.8, the coefficients of G d and h D satisfy duality. Theorem.7. The fractional derivatives D k d,d to S,0 k+,d. Moreover, one has.0 ad, D = bd, d. Remarks. are Hecke equivariant isomorphisms from Hcusp k,d By showing that h D = h D, one could use the maps D k d,d to give an alternate proof of the duality.0. Although one cannot get all of the coefficients of h D from a single fractional derivative, they can be obtained by taking D k d,d for all d. In order to do so, one must further extend the definition of the Zagier lifts to non-fundamental discriminants, which can be achieved by using the Hecke operators. See 7. for more details.

6 6 KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE The paper is organized as follows. The basic properties of harmonic weak Maass forms are recalled in Section. The definitions of the Zagier lifts are the main goal of Section. In Section 4, a well-known set of Poincaré series, which span the space of harmonic weak Maass forms, is constructed. The relationship between the Zagier and Shintani lifts is discussed in Section 5. The modularity properties of the image of the Zagier lifts are determined in Section 6. We define the generalized Shintani lift for weakly holomorphic modular forms in Section 7 and investigate Hecke eigenforms for half-integral weight weakly holomorphic modular forms in Section 8.. Finally, we investigate the fractional derivative D k d,d in Section 8.. Acknowledgements The authors thank Zagier for assistance with computer calculations related to Theorem.. We also thank the referees for carefully reading the paper and for their comments. Finally, the authors thank SoYoung Choi for pointing out a correction to the formula. after the article s publication.. Harmonic weak Maass forms Here we recall the basic facts about the theory of harmonic weak Maass forms. For a good reference on this theory, see [8]. Throughout, we write τ H as τ = x+iy with x,y R, y > 0 and let κ Z. We define the weight κ hyperbolic Laplacian by κ := y x + y +iκy x +i. y For notational ease, we set. Γ := { SL Z if κ Z, Γ 0 4 if κ Z\Z. For γ = a b c d Γ and any function g : H C, we define g κ γτ := jγ,τ κ g aτ +b cτ +d where { cτ +d if κ Z, jγ,τ := c d ε d cτ +d if κ Z\Z. Here c d is the usual Kronecker-Jacobi symbol and for d mod 4 we denote εd =, while for d mod 4 we have ε d = i. Definition.. A weak Maass form of weight κ and Laplace eigenvalue λ is a smooth function M : H C satisfying: i M κ γ = M for all γ Γ, ii κ M = λm, iii M has at most linear exponential growth at each cusp of Γ. If λ = 0, then we call M harmonic. The operator ξ κ = iy κ τ maps harmonic weak Maass forms of weight κ to weakly holomorphic modular forms of weight κ and plays a fundamental role in the theory of harmonic weak Maass forms. Its kernel is precisely the subspace M κ! consisting of weight κ weakly holomorphic modular forms. We denote the space of weight κ harmonic weak Maass forms which map to cusp forms,

7 SHINTANI LIFTS 7 under ξ κ by Hκ cusp. Bruinier and Funke [8] have shown that the map ξ κ is surjective onto S κ. For κ, M Hcusp κ has a Fourier expansion of the shape. Mτ = Γ κ c M nγ κ;4π n yqn + n<0 n c + M nqn, where, for y > 0, Γs;y := y t s e t dt is the incomplete Γ-function. We call M + τ := n c+ M nqn the holomorphic part of M and M := M M + the non-holomorphic part of M. The sum n<0 c+ M nqn is called the principal part of M. The action of the ξ-operator on the Fourier expansion. is given by. ξ κ Mτ = Γ κ 4πn κ c M nqn. n>0 Whenever κ is a negative integer, the operator D κ = κ πi τ injects H cusp κ into S κ!, the subspace of M κ! consisting of those forms with vanishing constant terms. As in the introduction, we let H cusp κ Hκ cusp denote the subspace of those half-integral weight harmonic weak Maass forms satisfying the plus space conditions of Kohnen, i.e., those forms whose Fourier expansions are supported only on those n Z for which κ n 0, mod 4. Furthermore, we let M! κ denote the subspace of H cusp κ consisting of weakly holomorphic modular forms and S! κ M! κ denote the subspace precisely containing those weakly holomorphic modular forms for which the constant term of the Fourier expansion vanishes at every cusp. We decompose H cusp κ resp. M! κ into the subspaces H cusp κ,δ resp. M! κ,δ consisting of those forms whose principal parts are supported in the δ m square class m N. We use pr to denote the usual extension of Kohnen s orthogonal projection operator [] to Hκ cusp. Since the Hecke operators commute, we only give the p-th resp. p -th Hecke operator if κ Z resp. κ Z. For a translation invariant function fτ = n Z cy;neπinx, κ Z, and a prime p, the p-th Hecke operator is defined by.4 f y κ Tpτ := p ακ c p ;np +p κ c py; n e πinx. p Here we have renormalized the classical Hecke operators with the p-power { κ if κ < 0, α κ := 0 otherwise, n Z so that the operators in this paper commute with the Hecke operators. We omit κ when it is clear from the context. Similarly, for κ = λ+ Z\Z, the p -th Hecke operator is defined by.5 f κ T p τ := p ακ n Z y c p ;np + λ n p p λ cy;n+p λ c p y; np e πinx. For κ Z, M Hcusp κ, and a prime p, Theorem 7.0 of [5] easily implies that.6 ξ κ M κ Tp = ξ κ M κ Tp.

8 8 KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE In addition to ξ κ, we require an additional operator which maps between different spaces of weak Maass forms. The Maass raising operator is defined by.7 R κ := i τ + κ y. Ifafunction f satisfies weight κautomorphicity andhas eigenvalue λunder κ, thenr κ fsatisfies weight κ+ automorphicity and has eigenvalue λ+κ under κ. Repeated iteration is given by R n κ := R κ+n R κ+ R κ. Since the usual Petersson inner product does not always converge, we require a regularized inner product to define it for weakly holomorphic modular forms. Hence, for T > 0 we let 6 F T 4 := γ j F T, where F T := j= {τ H : x, τ, and y T }, and γ,...,γ 6 are a chosen set of coset representatives for SL Z/Γ 0 4. Following Borcherds [4], for g M κ and h M! κ, we define g,h reg := lim gτhτy κdx dy T 6 y. F T 4 In the classical case when g S k+ and h M k+, we obtain the usual Petersson inner product g, h and we denote the standard Petersson norm by g. Using this regularized inner product, we let Sκ,0 be the subspace of S κ! of those weakly holomorphic modular forms with vanishing constant term which are orthogonal to cusp forms. The corresponding subspace of S! κ is S,0 κ. To exhibit another way that D κ is complementary to ξ κ, Theorem. of [0] states that D κ yields an isomorphism from Hκ cusp to S,0 κ. Vital to the construction of Hecke eigenforms is the fact that for g,h S! κ and n N, the regularized Petersson inner product satisfies.8 gt n,h reg = g,h T n reg. Note that for every κ and n N resp. every discriminant n for which κ n < 0 there exists precisely one element of Sκ,0 resp. S,0 κ of the form.9 q n +Oq. Existence follows by the construction of a weight κ harmonic weak Maass Poincaré series which turns out to be weakly holomorphic because there are no cusp forms of weight κ. Uniqueness follows from the fact that the difference between any two functions satisfying.9 vanishes at i and is hence a cusp form. However, the difference is also orthogonal to cusp forms, and thus is zero. For M H cusp κ and g M! κ, recall the pairing [8].0 {g,m} := g,ξ κ M reg. In this paper, we require a generalization to all harmonic weak Maass forms. By Proposition.5 of [8], for gτ = n a gnq n M! κ and M Hcusp κ, we have. {g,m} = c + 6 M na g n. n Z

9 SHINTANI LIFTS 9. The Zagier lifts In this section, we define the Zagier lifts Z D : H cusp k S,0 and Z k+,d d : H cusp k Hcusp k,d. In order to describe the constant terms in their respective Fourier expansions, for a discriminant we construct the L-series associated to the Dirichlet character χ := by L s := n= χ n n s, which converges absolutely for Res > and has a meromorphic continuation to C. As we shall see, the other coefficients are given as traces of binary quadratic forms. In order to state these, for each discriminant we first need some auxiliary definitions involving the set Q of binary quadratic forms of discriminant. The group SL Z acts on Q in the usual way. For discriminants D and D, the corresponding genus character pp of [9] of a binary quadratic form QX,Y = [a,b,c]x,y := ax +bxy +cy Q D D is given by { χ D r if a,b,c,d = and Q represents r with r,d =,. χq := 0 if a,b,c,d >. Whenever D D < 0, we let τ Q be the unique root of Qτ Q, = 0 in H and choose ω Q = unless Q is SL Z-equivalent to [a,0,a] or [a,a,a], in which case ω Q = or, respectively. For an SL Z-invariant function F : H C and each pair of discriminants D,D with D D < 0, the D,D -th twisted trace of F is given by. Tr D,D F := Q χqf τ Q. Q SL Z\Q D D ω For k D > 0 and k D < 0, we generalize [] to define the modified twisted traces Tr D,D of M H cusp k by. Tr D,D M := k+ 4π k D k D k TrD,D R k k M. Note that we have only defined Tr D,D whenever k D < 0 and k D > 0. Reversing the order of D and D with the same restrictions on the sign, we extend this definition by Tr D,D M := Tr D,D M. For M H cusp k with principal part m<0 c+ M mqm, we define the D-th Zagier lift by.4 Z D Mτ := c + M mmk χ D nn k q m n D + Tr δ,d Mq δ. m>0 n m δ:δd<0 We next turn to the construction of the maps Z d. For this, we need to extend our definition to include twisted traces for indefinite binary quadratic forms. These traces are given in terms of cycle integrals which we now describe. For a discriminant > 0, an indefinite binary quadratic form Q Q, and t,u the smallest positive solution to the Pell equation t u = 4, t+bu g Q := cu au t bu generates the infinite cyclic group of automorphs of Q. Let S Q be the oriented semicircle given by.5 a τ +bx+c = 0

10 0 KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE directed counterclockwise if a > 0 and clockwise if a < 0. For τ S Q, we define the directed arc C Q to be the arc from τ to g Q τ along S Q. It was shown in Lemma 6 of [] that the integral along C Q of an SL Z-invariant and continuous function is both independent of τ S Q and is a class invariant. Following Shintani [8] for an explicit statement, see 6 and 7 of [], for each pair δ,d the δ,d-th twisted trace k δ > 0 of f S k is.6 Tr δ,d f := k k χqcf;q. π Q SL Z\Q dδ For each pair δ,d, the modified δ,d-th twisted trace is then given by.7 Tr δ,d M := k 4π k d k δ k Trδ,d ξ k M. If M H cusp k has principal part m<0 c+ M mqm and constant coefficient c + M 0, then the d-th Zagier lift of M is defined by.8 Z d Mτ := m>0 c + M m n m χ d nn k q m n d + L d kc + M 0+ + δ:dδ>0 δ:dδ<0 Tr δ,d Mq δ Tr δ,d MΓ k ;4π δ y q δ. One can use the principal part of M to obtain alternative definitions of Z D and Z d. Recall that for every D and M there exists Z D M S,0 which satisfies k+,d.9 ZD Mτ = m>0 c + M mmk n mχ D nn k q m n D +Oq. Moreover, the difference of two such forms is both a cusp form and orthogonal to cusp forms. By the non-degeneracy of the Petersson inner product, for each pair D, M the form satisfying.9 is hence unique. To obtain a similar definition for Z d, recall that for each pair d,m there is a unique element Z d M H cusp of the form k,d.0 Zd Mτ = m>0 c + M m n mχ d nn k q m n d +O. Remark. The existence and uniqueness of the form satisfying the right hand side of.0 follows from the theory of Poincaré series, which we recall in Section 4. A comparison of two different ways to compute the coefficients of this unique harmonic weak Maass form leads to the unexpected connection in Theorem. between the twisted traces defined by the classical cycle integrals given in.6 and cycle integrals of weak Maass forms. The latter are given by Tr δ,d M := k 4π k d k δ k Trδ,d R k k M, where in the case of convergence for an SL Z-invariant function F,. Trδ,d F := Γ k+ πγ χqcf;q. k Q SL Z\Q δd

11 SHINTANI LIFTS Remark. In order to uniformly consider traces of positive and negative discriminant, whenever D D < 0 we also denote Tr D,D F := Tr D,D F, where Tr D,D F was defined in.. Theorem. is equivalent to the next theorem, whose proof is deferred to Proposition 6.. Theorem.. If δd > 0 is not a square and not both δ and d are negative, then one has c Z d M δ = Tr δ,d M. 4. Poincaré series In this section, we describe an important family of Poincaré series with Γ chosen as in.. For an integer m 0 and a function ϕ : R + C satisfying ϕy = Oy α y 0 for some α R, we set ϕ m τ := ϕyeπimx. Such functions are fixed by the translations Γ := {± 0 n : n Z}. Given this data, define the generic Poincaré series 4. Pm,κ,ϕ;τ := ϕ m κ γτ, γ Γ \Γ which converge absolutely and uniformly for κ > α. To define the Maass Poincaré series, one specifically chooses 4. ψ m,κ s;y := 4π m κ Γs M κ,s 4πmy. Here for complex s and u 0 M κ,s u := u κ Mκ u, sgnu,s where M ν,µ u is the usual M-Whittaker function. In the special cases that s = κ or s = κ the resulting functions ψ m,κs;τ are harmonic. Specifically, for u > 0 M κ, κ u =, eu M κ, κ u = u κ eu Γ κ;u+ κγ κe Using the notation in 4., the family of Poincaré series which we require is defined by { P m,κ,ψ m,κ s;y;τ if κ Z, 4. P m,κ s;τ := Pm,κ,ψ m,κs;y;τ pr if κ Z\Z. These Poincaré series converge absolutely and uniformly whenever Res >. For κ, the classical family [9] of weakly holomorphic modular forms is defined by 4.4 P m,κ τ := 4π m κ κ Γ+ κ Pm,κ ;τ. Similarly, the Poincaré series 4.5 F m, κ τ := 4π m κ P m, κ κ ;τ.

12 KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE are harmonic weak Maass forms for example, see [5] or 4.6 below with principal part q m whenever m > 0. For notational consistency, we also denote the positive weight weakly holomorphic form by F m,κ τ := 4π m κ P m,κ κ ;τ. Inthefollowing lemma, wecollect theimages of P m,κ s;τ undertheoperatorswhicharerelevant for Maass forms. Lemma 4.. For m Z\{0}, κ Z, and s C with Res >, we have κ P m,κ s;τ = s κ s κ 4.6 P m,κ s;τ, ξ κ P m,κ s;τ = s κ 4.7 P m, κ s;τ, L κ P m,κ s;τ = s κ 4.8 P m,κ s;τ, R κ P m,κ s;τ = s+ κ 4.9 P m,κ+ s;τ, Moreover, if κ N, then D k d,d Z d F m,κ = n m Z D F m,κ = m κ n m F d, κ+ = P D, κ. χ d nn κ F m n d, κ+ n κ F m, n D, κ Proof. Except for the last three identities, the lemma follows by a standard calculation involving the following relations between Whittaker functions: M l,s y = e πil Γs Γs l W l,s y+e πil s Γs Γs+l W l,s y, W l,m y = y Wl y+,m l+m W l,m y, W l,m y = y W l y+,m+ l m W l,m y, yw l,m y = l y W l,m y m l W l,m y. By comparing principal parts, uniqueness implies 4.0. If the right hand side of 4. were an element of S,0, then uniqueness would again imply 4. by comparing the principal parts. k+ This turns out to be the case, but we defer the proof of its orthogonality to Proposition 6.. The last identity shall be proven in 8., but we include it here for completeness. For κ Z\Z and a discriminant m satisfying sgnm = sgnκ, we also require the Fourier expansion of P m,κ s;τ for the modularity of the lifts. For this, we define the half-integral weight Kloosterman sums K κ m,n;c := + 4 κ i c ν mod 4c, 4c ε κ ν e πimν+nν 4c. ν

13 SHINTANI LIFTS Here the sum runs over ν mod 4c relatively prime to 4c and ν denotes the inverse of ν mod 4c. We also require the modified W-Whittaker function Γ s+sgnn κ y κ Wκ 4π n y if n 0, 4. W n,κ s;y := sgnn,s y κ s if n = 0. s Γs κ Γs+ κ The following special values of W n,κ s;y for n 0 prove useful: 4.4 W n,κ κ ;y = Furthermore, 4.5 W n,κ κ ;y = { 4πn κ e πny if n > 0, 4π n κ Γ κ eπ n y Γ κ;4π n y if n < 0. { 4πn κ e πny if n > 0, 0 if n 0. Calculations similar to those necessary to obtain the following lemma have been carried out in a number of places for example, see [5]. Lemma 4.. For κ Z\Z, Res >, and a discriminant m satisfying sgnm = sgnκ, P m,κ τ,s has the Fourier expansion 4.6 P m,κ s;τ = ψ m,κ s;ye πimx + b m,κ s;nw n,κ s;ye πinx, where n 0, mod b m,κ s;n := π κ+ 4 c>0k κ m,n;c Here I and J denote the I-Bessel and J-Bessel functions. m n 4c I s m n 4c J s πs m s π mn c π mn c if mn < 0, if mn > 0, 4c s if n = 0. Recall further that the coefficients at the cusps 0 and can be written in terms of the coefficients at i. In particular, for a translation invariant function define G e τ := G o τ := Gτ := n Z n 0 mod n mod an;ye πinx a n; y e πinx 4, 4 a n; y e πin 8 e πinx 4. 4 Then one has see [] for the holomorphic case P m,κ s; = κ κ+ 4 τ κ 4.8 P e 4τ i m,κs;τ, τ P m,κ s; = κ κ+ 4 τ + κ 4.9 P o τ + i m,κs;τ.

14 4 KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE For m Z\{0}, Res >, we define the Niebur Poincaré series by 4.0 F m s;τ := P m,0,φ m,s ;τ where φ m,s y := π m s y I s π m y. The functions F m are weight 0 weak Maass forms with eigenvalue s s under = 0 [4]. For Res >, the Niebur Poincaré series are related to the family P m,κ s;τ by the identity see.. and.6. of [] M 0,s y = s Γ s+ y Is y. We rewrite y I s π m y in terms of ψ m,0 s;y via 4. and use the duplication formula for the Γ-function to obtain 4. P m,0 s;τ = Γs m s F m s;τ. 5. The Zagier lift and the Shintani lift In this section we prove a theorem relating the lifts Z d defined in.0 to the classical Shintani lifts. It is useful to first show that the alternative versions of the Zagier lifts commute with the Hecke operators. Lemma 5.. If M H cusp k, then T n = Z D M k Tn,. Z D M k+ Z d M kt n = Z d M k Tn Proof. Since Z D M is orthogonal to cusp forms, it is uniquely determined by its principal parts. Moreover, S,0 is preserved under the action of the Hecke operators by.8. It hence suffices k+ to show that the principal parts of the two sides of 5. and 5. match. This calculation was carried out for M M k! [] and the proof follows mutatis mutandis for M Hcusp k. For 5., it suffices to compare the principal parts of both sides, since k < 0. Since this is a formal calculation which is analogous to the computation given in [] we skip it here. The next theorem is one of the main steps in the proof of Theorem.. Theorem 5.. For each M H cusp k, we have 5. ξ k Zd M = k k Sd ξ km. Proof. By comparing principal parts, it is easy to show that { } 5.4 F k, k Tn n N spans H cusp k. Hence it suffices to prove 5. for elements of 5.4. We now use the Hecke equivariance of the relevant operators to prove that the n = case suffices. The proof follows by induction on the number of divisors of n. To see the induction step, assume that 5. holds for some M H cusp k. Recall that for f S k, one has the classical Hecke equivariance 5.5 Sd fk Tp = Sd f k+ T p.

15 Then we may combine 5.5 with.6 and 5. to yield ξ Zd k M k Tp = ξ Zd k M kt p SHINTANI LIFTS 5 = k k S d ξ km kt p = k k S d ξ k M k Tp. We have hence reduced the problem to showing 5. for M = F, k. Supposethat {f,...,f l } l := dims k isabasisofhecke eigenforms fors k andh j τ := n= c j nq n S k+ isahecke eigenform with the same eigenvalues as f j []. We use the pairing.0, given by { } h j, Z d F, k = h j,ξ Zd k F, k. By 4.0, we have Z d F, k = F d, k, which has principal part q d. Hence by. and the fact that h j is a cusp form, { } ξ Zd k F, k,h j = h j,f d, k = 6 c j d. Therefore, we have 5.6 ξ Zd k F, k = l h j c j d 6 h j. To compute the right hand side of 5., we use 4.4, 4.5, and 4.7, to first compute 5.7 ξ k F, k τ = 4π k k P,k k;τ = 4πk k! P,kτ. We next rewrite P,k in terms of the Hecke eigenforms f j. Using the Petersson coefficient formula cf. Theorem. of [9], we have that j= f j,p,k = k! 4π k a j, where a j n denotes the nth Fourier coefficient of f j. Since a j = for every j, we therefore have k! l f j 5.8 P,k = 4π k f j By linearity, we only need to compute the image of each f j under Sd. For this we use. and Theorem of [] to evaluate j= Plugging this into 5.8 and using 5.7 yields Sd f j = k k f j c j d h j. S d ξ kf, k = 4πk k! S d P,k = k k This completes the proof. h j l h j c j d h j. j=

16 6 KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE 6. Proof of Theorems. and.5 Inthissection, weprovetheorem.5andtheorem.whichwehaverewrittenastheequivalent statement in Theorem.. We separate Theorem.5 into propositions, one establishing the automorphicity of Z D, one yielding the orthogonality, and finally one showing that they are both bijections on the relevant spaces. 6.. The constant term. Before showing the modularity of the Zagier lifts, for M H cusp k, we prove a useful lemma giving the constant term of Z d M, defined in.0. Lemma 6.. If M H cusp k has constant term c+ M 0 in the expansion., then the constant term of Z d M is 6. c + Zd M 0 = L d kc + M 0. Proof. Since the Poincaré series F m, k with m N span the space H cusp k, it suffices to show 6. for M = F m, k. We first use 4.0 to write 6. Zd F m, k = M d := n mχ d nn k M d,n, where 6. M d,n := F m n d, k. We next require an extension of Zagier s duality.9 to the case D = 0. Although well-known to experts, we provide a proof here for the convenience of the reader. We let G δ H cusp δ a k,d discriminant be the unique element satisfying G δ τ = q δ +O and denote by h 0 M k+ the weight k+ Eisenstein series, normalized to have constant coefficient. We use the pairing.0 and compute {h 0,G δ } = h 0,ξ kg δ = 0, because h 0 is orthogonal to cusp forms. Denoting the δ -th coefficient of h 0 by c0,δ and the 0-th coefficient of G δ by aδ,0, we use. to evaluate 0 = {h 0,G δ } = aδ,0 +c0,δ. 6 This establishes.9 for D = 0. To compute the coefficients of h 0, recall that the m d -th n coefficient of Cohen s Eisenstein series [] is given by L d k m µrχ d rr k σ k rn r m n while its constant coefficient equals ζ k. Applying duality and Möbius inversion hence yields 6.4 c + M d 0 = L d k d nn ζ k n mχ k m µrχ d rr k σ k = L d k rn ζ k σ k m. r m n Again applying an integral weight version of equation.9 with D = 0 the proof is exactly as above, the m-th coefficient of the normalized weight k Eisenstein series, namely 4k B k σ k m = ζ k σ k m,

17 SHINTANI LIFTS 7 is the negative of the constant coefficient of F m, k. Thus 6.4 becomes as desired. c + M d 0 = c+ M 0 L d k, 6.. Modularity. The next step in the proof of Theorem.5 is to show the automorphicity of our lifts. As a side effect, we obtain Theorem. and hence establish Theorem.. Proposition 6.. If M H cusp k, then Z D M M! k+,d, 6.5 Z d M = Z d M H cusp k,d. Furthermore, the functions Z D M are contained in the space spanned by the Poincaré series P k Dm,k+ m N and every Z d M satisfies Theorem.. Proof. Since the Poincaré series F m, k with m N form a basis for H cusp k, it suffices to work on the level of Poincaré series and determine each of their images under Z d and Z D. As stated in the proof of Proposition 5 of [], for m 0 and discriminants d,d which are not both negative and for which d d is not a square, the traces of the Niebur Poincaré series, defined in 4.0, are given by 6.6 Trd,d F m s;τ = d a n s, n n m where note the different normalization 6.7 a n s := π m s d d 4 n c>0 K d, m d n ;c 4c I s J s π m c n π m c n d d d d if d d < 0, if d d > 0. We use Z d defined in.0 and show that the holomorphic part of Z d F m, k matches the holomorphic part of Z d F m, k for every m N. We simultaneously prove Theorem., since these cases may be treated uniformly. The constant coefficients of Z d and Z d match by 6.. In order to use 6.6 to compare the other coefficients of the right hand side of 4.0 with the coefficients given in Theorem., we relate R k k F m, kτ to F m k;τ. By 4.5, 4.9, and 4., we obtain 6.8 R k k F m, kτ = 4πm k k!p m,0 k;τ = 4π k F m k;τ. We now choose d = d and s = k in 6.6 and relate a n k to the coefficient c ε M d,n ε d in., where ε := sgn k+ d. For this, we first rewrite an k in terms of k b n := b m n d, k + 4 ;ε d, which were defined in 4.7. Recall that K κ m,n;c = K κ n,m;c, K κ+ m,n;c = K κ m,n;c, and K κ n, m;c = K κ m,n;c e.g., see Proposition. of [7]. Hence 6.9 K d, m n d;c = K k m d,ε d ;c. n

18 8 KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE Thus 4.7 implies that b n = k π m n We conclude that d d c>0 K d, m d n ;c 4c I k J k π m c n π m c n 6.0 a n k = k m k d 4 d 4 n bn. Using 4.4 and 4.5, we rewrite n b n = Thus from 6.0 we obtain m k d d 4 c ε Md,n ε d. a n k = k d k d k n k c ε M d,n ε d. d d d d if d d < 0, if d d > 0. From 6.8, we have Tr d,d R k k F m, k = k 4π k d k k d d n k c ε M n d,n ε d, n m Tr d,d F m, k = d n k c ε M n d,n ε d = c ε M d ε d. n m We have thus shown that the non-holomorphic part of Z d F m, k satisfies Theorem. and its holomorphic part matches that of Z d F m, k. This concludes Theorem., once we have shown that Z d = Z d. To prove this, we use Theorem 5. to compute the non-holomorphic part of M d, which was defined in 6.. Since the coefficients c M d δ are completely determined by ξ km d, it suffices to evaluate this with 5.. Denoting the δ-th coefficient of Sd ξ kf m, k by r m δ,. and 5. yield c M d δ = k k Γ k 4π δ k r m δ. However, by the definition. of the Shintani lifts, one has r m δ = dδ k Cξ k F m, k ;Q. C Q Q SL Z\Q dδ χq This yields 6.5 and Theorem.. We next assume that d = D satisfies k D < 0. In this case, we denote Similarly to 6.9, we have K d, m n D;c For ease of notation, we abbreviate g D,n := F m n. D,k+ = K k+ b n := b m n D,k+ m D, k d ;c. n k + 4 ; k d.

19 SHINTANI LIFTS 9 By 6.7 and 4.7, we have For k d > 0, 4.5 and 4.5 imply that m b n = Therefore, we have a n k = k+ m k d 4 d 4 n bn. n k d d + 4 c + gd,n d. a n k = k+ m k n k d k d k c + g D,n d. We hence obtain Tr d,d R k k F m, k = k+ 4π k d k D k m k n m D n k c + g n D,n d. Tr d,d F m, k = m k n m Finally, we consider the case k d 0. By 4.5, we trivially obtain { c ε g D,n k if d = m d d = n and ε =, 0 otherwise. We hence conclude that Z D F m, k = m k n m n k g D,n. D n k c + g n D,n d, Since g D,n is a constant multiple of P k D m n,k+ by 4.4 and 4.5, the claim follows. 6.. Orthogonality. In this section, we show the orthogonality of Z D M to cusp forms. Proposition 6.. If M H cusp k, then all of the Zagier lifts Z DM are orthogonal to cusp forms and have vanishing constant terms. In particular, we have 6. Z D M = Z D M. Proof. By uniqueness, we only need to prove the firststatement. Since the constant term of Z D M vanishes by definition, it remains to prove that Z D M is orthogonal to cusp forms. However, Proposition 6. implies that Z D M is contained in the space spanned by the Poincaré series P m,k+ m N. It is hence enough to prove that P m,k+ is orthogonal to cusp forms. For we now compute,g. In order to evaluate the inner gτ = n= a gnq n S k+ P m,k+ reg product, we use 4.4, 4.5, and 4.7 to see that there exists a non-zero constant C k such that 6. ξ k F m, k Furthermore, F m, 6. F m, kτ = Γ = C k P m,k+. k has an expansion of the type k ; 4πmy q m + n<0c nγ k ;4π n y q n + n 0c + nq n.

20 0 KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE Proceeding as in Bruinier Funke [8], we use Stokes Theorem to show that { } F m, k,g = C k P m,k+,g = C k gτp reg 6 m,k+ τy k dxdy F T 4 = gτξ 6 F T 4 k F m, y kτ k dxdy = gτf 6 m, kτdτ. F T 4 A standard argument then shows that the integral along the boundary cancels except for the integral along the line from + it to + it and its image under the coset representatives I, ST, S, ST, ST, and ST S, where T := 0 and S := 0 0. Using 4.8 and 4.9, this reduces the proposition to showing the vanishing of 6 gx+it F m, kx+it dx. Every Fourier coefficient of the integrand vanishes except for the constant term. Using 6. and the expansion for g, the constant term equals a g nc nγ k ;4πnT, n>0 which vanishes as T. Therefore P m,k+ is orthogonal to cusp forms Bijectivity of the lifts. Finally, we show that the lifts are bijections. Proposition 6.4. For k > the maps Z d : H cusp bijections. k Hcusp k,d and Z D : H cusp k S,0 k+,d are Proof. Injectivity follows from the linearity of the lifts and the uniqueness of functions with given principal parts. In order to show surjectivity, we recursively construct M H cusp k such that the function Z dm resp. Z D M has a given principal part. This is sufficient, since S k = {0} and Z DM is orthogonal to cusp forms by Proposition 6.. By 4. and Z D = Z D, the principal part of Z D F, k equals q D. We iteratively take linear combinations of F n, k, n m in order to obtain a lift with principal part q D m. Using 4.0, the argument for Z d follows similarly. 7. A weakly holomorphic Shintani lift In this section we use the Zagier lifts to construct Shintani lifts for weakly holomorphic modular forms. For this, we firstuniquely decomposef S k! as f = f 0+f, wheref 0 S k and f S,0 k. For each pair d,d, the weakly holomorphic Shintani lift is then defined by 7. Sd,D f := ξ k Z d ξ k f 0+Z D D k f. Remarks. Before proving Theorem., a few comments about the definition 7. are in order. Firstly, note that although ξ k is not injective, one sees that the resulting map is welldefined by using 5.. No such problem arises when restricting to S,0 k, since Dk is a bijection.

21 SHINTANI LIFTS One can extend the definition 7. to include the case when d and D are not fundamental. In order to do so, for δ = m with fundamental, one sets 7. Z δ := T m Z = Z T m. Since Sδ = T m S by the remark following Theorem of [0], this is the natural definition. Thedefinition 7. may at firstseem naive, sincef is split into two pieces andthen separate operators are applied to each piece. However, we shall see that the lift is naturally tied together via the classical Shintani lift, motivating its name. i The lift maps a cusp form f to a non-zero constant multiple of its Shintani lift. The explicit constant follows by a short calculation and is given in.. ii Suppose that M is a preimage of f S k under the ξ-operator, and write g := D k M. Although one does not see an immediate connection between Sd,D g and the Shintani lift for one choice of D, packaging the d-th coefficient of all such lifts using 7. for non-fundamental discriminants into the generating function 7. c + Sd,δ gdq δ δ:dδ<0 yields a constant multiple of Sd f. This follows by the duality.0. iii Moreover, the connection between the two parts is p-adically justified. The authors plan to address this in the forthcoming paper [5]. Proof of Theorem.. Theorem. follows from Lemma 5., 6.5, and 6., since ξ k and D k are Hecke equivariant. If f S,0 k, then we see by 7. that S d,d f is in the image of Z D, which is orthogonal to cusp forms by Proposition 6.. Since Shintani s lift maps cusp forms to cusp forms, Theorem. follows by.. Proof of Corollary.. Note that by 7., for a Hecke eigenform f, we have Sd,D f = 0 if and only if Z d ξ k f M! k. By Theorem., Sd,D f = 0 if and only if S d f = 0. However, it is known that S d f = 0 if and only if Lf,χ d,k = 0 [, 0]. Proof of Theorem.4. By Theorem. of [0], the map D k is a bijection from H cusp k to S,0 k, while by Proposition 6.4, Z D is a bijection between H cusp k and S,0 k+,d. 8. Proof of Theorems.6 and.7 / 8.. Weakly holomorphic Hecke eigenforms. In this section we prove that S,0 k+ D JD, k+ where J D = Z k+ D S! k, is spanned by Hecke eigenforms. In order for Theorem.6 to be meaningful, we must first conclude that the Hecke algebra acts on the relevant subspaces. Lemma 8.. The spaces S k+, J d k, JD, S,0 k+ k+,d, and Hcusp k,d are Hecke stable.

22 KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE Proof. The first statement is classical [0]. Since Z d = Z d and Z D = Z D by 6.5 and 6., 5. and 5. imply that the subspaces J D and J d k+ are preserved under the Hecke algebra. Since k S,0 is Hecke stable by.8, the statements for S,0 and k+ k+,d Hcusp follow by determining the k,d action of T n on principal parts. Proof of Theorem.6. By Theorem.5, we know that Z D yields a Hecke equivariant isomorphism between H cusp k and S,0 k+,d. Therefore the associated quotient map π Z D : H cusp k /J S,0 D k+,d k+ is surjective. By Lemma 8., J D is Hecke stable, and hence we have k+ / H cusp k kerπ ZD = S /J,0 D, k+,d k+ as Hecke modules. Since J D k+ However, by Theorem. of [6], H cusp k = Z D S! k, it follows immediately that / S k! D k kerπ ZD = S! k. = S,0 k / D k S k! = Mk. Since D k and Z D are Hecke equivariant, it follows that / M k = H cusp k S k! Z D = S,0 /J D, k+,d k+ as Hecke modules. Finally, Kohnen [] proved that M k and M k+ modules. This completes the proof. are isomorphic as Hecke 8.. The fractional derivatives. The goal of this section is to prove Theorem.7 concerning the properties of D k d,d = Z D Z d = Z D Z d, where we have used the fact that Z d = Z d by uniqueness. Proof of Theorem.7. By Theorem.5, one sees immediately that D k d,d H cusp to S,0 k,d is an isomorphism from k+,d. By 5. and 5. together with Proposition 6., the lift Dk d,d is Hecke equivariant. It remains to show.0. Note that by 4.0, Similarly, one computes It follows that 8. D k d,d Z d F, k = F d, k. Z D F, k = P D,k+. F d, k = P D,k+. By definition, the constant term of Z D F, k = P D,k+ that Z D F, k S. Hence, since k+ ξ { bd,d+ad,d = P D,k+ k F d, k,f d, k } = vanishes and Proposition 6. implies is a cusp form, we see by. that Z D F, k,ξ k F d, k = 0. reg

23 SHINTANI LIFTS References [] M. Abramovitz and I. Stegun, Handbook of Mathematical functions with formulas, graphs, and mathematical tables, 9th edition, New York, Dover, 97. [] C. Alfes, Formulas for the coefficients of half-integral weight harmonic Maass forms, preprint. [] V. Blomer, G. Harcos, and P. Michel with appendix by Z. Mao, A Burgess-like subconvex bound for twisted L-functions, Forum Math , [4] R. Borcherds, Automorphic forms with singularities on Grassmannians, Invent. Math. 998, [5] K. Bringmann, P. Guerzhoy, and B. Kane, Algebraic and p-adic properties of half-integral weight weakly holomorphic modular forms, in preparation. [6] K. Bringmann, P. Guerzhoy, Z. Kent, and K. Ono, Eichler-Shimura theory for mock modular forms, Math. Ann., accepted for publication. [7] K. Bringmann and K. Ono, Arithmetic properties of coefficients of half-integral weight Maass-Poincaré series, Math. Ann , [8] J. Bruinier and J. Funke, On two geometric theta lifts, Duke Math. J , no., [9] J. Bruinier, J. Funke, and Ö. Imamoglu, Regularized theta liftings and periods of modular functions, preprint. [0] J. Bruinier, K. Ono, and R. Rhoades, Differential operators for harmonic Maass forms and the vanishing of Hecke eigenvalues, Math. Ann , [] H. Cohen, Sums involving the values at negative integers of L-functions of quadratic characters, Math. Ann , [] W. Duke and P. Jenkins, Integral traces of singular values of weak Maass forms, Algebra and Number Theory 008, [] W. Duke, Ö. Imamoglu, and Á. Tóth, Cycle integrals of the j-function and mock modular forms, Ann. of Math. 7 0, [4] W. Duke, Ö. Imamoglu, and Á. Tóth, Rational period functions and cycle integrals, Abh. Math. Semin. Univ. Hambg , [5] J. Fay, Fourier coefficients of the resolvent for a Fuchsian group, J. reine angew. Math , 4 0. [6] P. Guerzhoy, Hecke operators for weakly holomorphic modular forms and supersingular congruences Proc. Amer. Math. Soc , [7] P. Guerzhoy, On weak Maass - modular grids of even integral weight, Math. Res. Lett , 9 7. [8] H. Iwaniec, Fourier coefficients of modular forms of half-integral weight, Invent. Math , [9] H. Iwaniec, Topics in classical automorphic forms, Graduate Studies in Math. 7, American Mathematical Society, Providence, 997. [0] W. Kohnen, Modular forms of half-integral weight on Γ 04 Math. Ann , [] W. Kohnen, Newforms of half-integral weight, J. reine angew. Math. 98, 7. [] W. Kohnen, Fourier coefficients of modular forms of half-integral weight, Math. Ann , [] W. Kohnen and D. Zagier, Values of L-series of modular forms at the center of the critical strip 64 98, [4] D. Niebur, A class of nonanalytic automorphic functions, Nagoya Math. J. 5 97, 45. [5] K. Ono, Unearthing the visions of a master: harmonic Maass forms and number theory, Proceedings of the 008 Harvard-MIT Current Developments in Mathematics Conference, International Press, Somerville, MA, 009, [6] H. Poincaré, Sur les invariantes arithmétiques, J. reine angew. Math , [7] G. Shimura, On modular forms of half integral weight, Ann. of Math , [8] T. Shintani, On construction of holomorphic cusp forms of half integral weight, Nagoya Math. J , 8 6. [9] C. Siegel, Advanced analytic number theory, nd ed., Tata Institute of Fundamental Research Studies in Mathematics, 9, Tata Institute of Fundamental Research, Bombay, 980. [0] J.-L. Waldspurger, Sur les coefficients de Fourier des formes modulaires de poids demi-entier, J. Math. Pures et Appl , [] D. Zagier, Traces of Singular Moduli, Motives, polylogarithms and Hodge theory, Part I Irvine, CA, 998, 44, Int. Press Lect. Ser.,, I, Int. Press, Somerville, MA, 00.