INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS

Size: px
Start display at page:

Download "INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS"

Transcription

1 INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS W. DUKE AND PAUL JENKINS ABSTRACT. We define traces associated to a weakly holomorphic modular form f of arbitrary negative even integral weight and show that these traces appear as coefficients of certain weakly holomorphic forms of half-integral weight. If the coefficients of f are integral, then these traces are integral as well. We obtain a negative weight analogue of the classical Shintani lift and give an application to a generalization of the Shimura lift.. INTRODUCTION Recently there has been a resurgence of interest in the classical theory of singular moduli, these being the values of the modular j-function at quadratic irrationalities. This resurgence is due largely to the influential papers of Borcherds [], [] and Zagier [6]. The present paper arose from a suggestion made at the end of [6] to extend some of the results given there on traces of singular moduli to higher weights. One such generalization has been given recently by Bringmann and Ono [3], who provide an identity for the traces associated to certain Maass forms in terms of the Fourier coefficients of half-integral weight Poincaré series. However, it does not seem to be known when these traces are integral or even rational. Here we will identify the traces associated to a weakly holomorphic form f of negative integral weight with the coefficients of certain weakly holomorphic forms of half-integral weight and show that these coefficients are integral when the coefficients of f are integral. We will use this identification to obtain a negative weight analogue of the classical Shintani lift. We also give an application to Borcherds generalization of the Shimura lift to weakly holomorphic modular forms. Recall that a weakly holomorphic modular form of weight k, where k Z, is a holomorphic function f on the upper half-plane H that satisfies f k γ τ = cτ + d k f aτ+b = fτ cτ+d for all γ = a c d b Γ = PSL, Z and that has a q-expansion fτ = n anqn with an = 0 for all but finitely many n < 0; here, as usual, q = eτ = e πiτ. Let M k! denote the vector space of all weakly holomorphic modular forms of weight k. Similarly, for k = s + / with s Z let M k! denote the space of holomorphic functions on H that transform like θ k under Γ 0 4, have at most poles in the cusps, and have a q-expansion supported on integers n with s n 0, mod 4. Here, as usual, θτ = n Z qn. For any k let M k M k! denote the subspace of holomorphic forms and S k M k the subspace of cusp forms. In this paper d is always an integer with d 0, mod 4 and D is always a fundamental discriminant possibly. Suppose that dd < 0 and that F is a Γ-invariant function on H. Date: September 5, 008. Supported by National Science Foundation grants DMS , DMS

2 W. DUKE AND PAUL JENKINS Define the twisted trace Tr d,d F = Q w Q χqf τ Q, where the sum is over a complete set of Γ-inequivalent positive definite integral quadratic forms Qx, y = ax + bxy + cy with discriminant dd = b 4ac, and τ Q = b + dd a is the associated CM point. Here w Q = unless Q ax + y or Q ax + xy + y, in which case w Q = or 3 respectively, and { χd r, if a, b, c, D = and Q represents r, where r, D = ; 3 χq = χa, b, c = 0, if a, b, c, D >, where χ D is the Kronecker symbol. It is known that χ is well defined on classes, that χ restricts to a real character a genus character on the group of primitive classes, and that all such characters arise this way. For the usual j-function j = E 3 4/ M! 0 with Fourier expansion H jτ = q q q +..., it is classical that the value jτ Q is an algebraic integer in an abelian extension of Q dd. Let j = j 744. Zagier showed in [6] that for a fundamental discriminant D we have q D + d>0 d Trd,D j q d M! / if D < 0, q D D Tr d,d j q d M 3/! if D > 0, d<0 and that both forms have integral Fourier coefficients. For instance, when D = 3 and D = 5 we have the two weakly holomorphic forms q 3 48q + 675q q 5 + M! / and q q q q 7 + M! 3/, and Tr 5, 3 j = Tr 3,5 j = j + 5 j + 5 = In this paper we will give such a result when j is replaced by a function f of negative weight. To state it, first define the Maass raising operator k in τ = x + iy: 4 k = D k 4πy, where D = πi d dτ = q d dq. Now k f k γ = k f k+ γ for any γ PSL, R. Thus, if f M! s for s Z +, the function s f is Γ-invariant, where 5 s s 4 4 s s. After Maass we know that s f is an eigenfunction of the Laplacian = y + x y

3 INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS 3 with eigenvalue s s, so s f is a weak Maass form see e.g. [6, p.6] for a precise definition. As was shown in special cases in [6] by a method that readily generalizes, s f is a rational function of j and h = EE 4 E 6 /, where E τ = 4 n σnq n 3 πy σn = m n m is the nonholomorphic weight Eisenstein series. For a CM point like τ Q given in, it was shown by Ramanujan that hτ Q is algebraic [, eq. 3 p. 33]. More precisely, hτ Q Qjτ Q see [8, Thm. A, p. 4]. Using this, we can deduce the remarkable fact that for any f M! s with s and with rational Fourier coefficients, the singular value of the weak Maass form s fτ Q is algebraic. We are thus motivated to study Tr d,d s f for such f. For D a fundamental discriminant let ŝ = s if s D > 0 and ŝ = s otherwise. It is also convenient to set 6 Tr d,df = ŝ d ŝ D ŝ Tr d,d s f. Suppose that f M s! for s has Fourier coefficients an. For D fundamental, define the D th Zagier lift of f to be Z D fτ = a mm s ŝ χ D nnŝ q m D n + L s, χ Da0 + Trd,Dfq d. m>0 d: dd<0 The linear map f Z D f is a negative weight analogue of the Shintani lift on integral weight cusp forms. This follows from our main result, whose proof will be completed in Section 5. Theorem. Suppose that f M! s for an integer s. If D is a fundamental discriminant with s D > 0, we have that Z D f M! 3/ s, while if s D < 0, then Z D f M! s+/. If f has integral Fourier coefficients, then so does Z D f. Here we will not treat the case s =, which requires special considerations and which can be dealt with by the methods of [6]. Furthermore, when s =, 3, 4, 5, 7, Theorem can also be deduced from results of [6]. The first new example occurs when s = 6 and D =, where we have the pair fτ = E 4τ τ =q + 4q q + M! 0 Z fτ =q q q q q 7 + M! 9/. Here ζ = 390 and the first few values of Tr d, f are f + 3 = fi = f + 7 = Similarly, when D = 3 we have Z 3 fτ = q 8q q q 4 + M! 3/. The main new difficulty in proving Theorem comes from the existence of cusp forms in M! s. The method of Poincaré series adapts nicely to handle it. A key dividend of the method is the last statement of Theorem, showing that the integrality of coefficients is preserved under the lift.

4 4 W. DUKE AND PAUL JENKINS Remarks: It follows from Theorem that if s D > 0 then the image Z D f M! 3/ s is determined by its principal part, hence by the principal part of f. Furthermore, a0 is divisible by the denominator of each of the L-values L s, χ D, provided that the Fourier coefficients of f are integral. Using well-known properties of the generalized Bernoulli numbers, one can reproduce the divisibility properties that follow from work of Siegel [3, pp ]. On the other hand, if s D < 0 then L s, χ D = 0. It can be shown that the Zagier lift is compatible with the Hecke operators. For more details, see the end of Section 5. Using a theta lift, Bruinier and Funke [4] have generalized Zagier s result in various other ways, for instance to higher levels, where the existence of cusp forms in the dual weight is also a complication see also []. As another application of these methods we will give a simple proof of a basic property of the Shimura lift for weakly holomorphic modular forms. For gτ = n bnq n M! s+ with s Z + and fundamental D with s D > 0, define the D th Shimura lift of g by 7 S D gτ = L s, χ Db0 + χ D nn s b m D q m. n m>0 When g is holomorphic this is the usual definition. We will repeatedly use the basic fact that S D g M s if g M s+/ see [6]. Recall that a CM point is a point in H of the form b+ b 4ac for integral a, b, c. The proof of the following result will be completed in Section a 6. In the case D = it is due to Borcherds and follows from a special case of Theorem 4.3 in [] see Example 4.4. Theorem. For g M! with s and D a fundamental discriminant with s D > 0, s+ S D g is a meromorphic modular form of weight s for Γ whose possible poles are of order at most s and occur at CM points.. WEAKLY HOLOMORPHIC FORMS In this section we will define a canonical basis for the space M k! for any k = s + / with s Z in which all basis elements have integral Fourier coefficients. Then we will construct forms in M k! when s using Poincaré series. We begin by recalling the canonical basis for M s! defined in [9] for any s Z. Write s = l + k with uniquely determined l Z and k {0, 4, 6, 8, 0, 4}, so that if l 0, then l is the dimension of the space S s of cusp forms of weight s. For every integer m l, there exists a unique f s,m M s! with a q-expansion of the form f s,m τ = q m + n>l a s m, nq n, and together they form a basis for M! s. The basis element f s,m can be given explicitly in the form f s,m = f s P j,

5 INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS 5 where f s = f s, l = l E k and P is a polynomial of degree m + l. As shown in [9], the basis elements have the following generating function: 8 f s,m zq m = f szf s τ = f s,m τr m, jτ jz m l m l+ where r = ez. It follows from this that the coefficients a s m, n are integral and satisfy the duality relation 9 a s m, n = a s n, m. In order to formulate a similar result for M k! when k = s+/ with s Z, let l be defined by s = l + k as above. By the Shimura correspondence given in [4] one finds that the maximal order of a nonzero f M k! at i is { l A = s, if l is odd; l, otherwise. If B < A is the next admissible exponent we can construct functions in M k! of the form f k τ = q A + Oq B+4 and f k τ = q B + Oq B+4. Writing s = a + b, where b {6, 8, 9, 0,,, 3, 4, 5, 6, 7, 9}, f k and fk can be given explicitly in the form f k τ = 4τ a f b+/ τ and f k τ = 4τ a f b+/τ, where the forms f b+/, fb+/ M b+/ are given in the appendix and have integral Fourier coefficients. Using them it is easy to construct a unique basis for M k! consisting of functions of the form 0 f k,m τ = q m + n>a a k m, nq n, where m A satisfies s m 0, mod 4. Here f k, A = f k and f k, B = fk. This can be done recursively; f k,m τ is obtained by multiplying f k,m 4 τ by j4τ and then subtracting a suitable linear combination of the forms f k,m τ with m < m. We also have the following generating function, whose proof is similar to Zagier s proof of the k = / case in [6]: f k,m zq m = f kzf k τ + f k zf kτ = f k,m τr m. j4τ j4z m m By and the fact that f k and fk have integral Fourier coefficients, we have the following result. Proposition. The Fourier coefficients a k m, n defined in 0 are integral and satisfy the duality relation a k m, n = a k n, m for all m, n Z. Another way to construct weakly holomorphic forms is by Poincaré series. In this paper we only need them for k = s + / where s. Set jγ, τ = θγτ/θτ for γ Γ 0 4. For m Z define the Poincaré series P k,m τ = emγτjγ, τ k, γ Γ \Γ 0 4

6 6 W. DUKE AND PAUL JENKINS where Γ is the subgroup of translations in Γ 0 4. For k 5/ this is absolutely convergent and represents a weakly holomorphic form of weight k for Γ 0 4, but it is not in M k! since its Fourier coefficients are not supported on n with s n 0, mod 4. When m = 0 the Poincaré series is an Eisenstein series that Cohen [7] projected to a form in M k and whose Fourier coefficients are expressed in terms of the values of Dirichlet L-functions at s. When m > 0, Kohnen see [5] showed how to obtain in this way cusp forms in S k. It was observed in [5] that a similar procedure works for m < 0. Petersson [] had explicitly computed the Fourier expansions of P k,m in terms of Bessel functions and Kloosterman sums, and the projections g k,m of P k,m to M k! have Fourier expansions that are simple modifications of these. To give them, for m, n Z and c Z + with c 0 mod 4 let 3 K k m, n; c = amod c c a ε k a e ma+na c be the Kloosterman sum, where c a is the extended Legendre symbol and { if a mod 4 ε a = i if a 3 mod 4. Also, let δ odd n = if n is odd and δ odd n = 0 otherwise. Proposition. Suppose that k = s + / where s. Then, for any nonzero integer m with s m 0, mod 4, there exists a form g k,m M k! with Fourier expansion g k,m τ = q m + b k m, nq n n s n 0,4 where for s 0, mod 4 the coefficient b k m, n is given explicitly by the absolutely convergent sum b k m, n = πi k n k m + δodd c c I k 4π mn, if m < 0; K 4 k m, n; c c J k 4π mn, if m > 0. c c 04 c>0 A similar formula holds when m = 0 that can be further evaluated to give Cohen s formulas. Also, a modified version holds when s = see [5]. Of course, g k, m can be expressed in terms of the basis elements f k,m. If there are no nonzero cusp forms in M s, then g k, m = f k,m for all m. In general, however, 4 g k, m f k,m S k is a nonzero cusp form. It seems likely that the Fourier coefficients b k m, n of g k,m are irrational, even transcendental, in general. 3. WEAK MAASS FORMS Next we will show that for f M! s with s Z +, the function s f is a weak Maass form and compute its Fourier expansion. Recall that s was defined in 5. Then we express s f s,m in terms of certain Poincaré series. We need the following result which, in essence, is due to Maass see also [7, p. 50].

7 INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS 7 Proposition 3. Suppose that fτ = n anqn M s! for integral s. Then s f is a weak Maass form for Γ with eigenvalue s s. Explicitly, we have 5 s fτ = πy a nn s Is πnye nx n>0 + π s s Γs y s a0 + y an n s Ks π n yenx, where I and K are the usual Bessel functions. Proof. By induction it is readily shown that for n > 0 n 0 s s e nτ = n s s + m! m!s m! 4πnym e nτ. m=0 Standard formulas for Bessel functions with half-integral parameter see e.g. [] yield s e nτ = n s y πi s πny + s K s πny enx s enτ = s n s y Ks s = s π s Γs y s. πnyenx, These formulas easily give 5, thus finishing the proof of Proposition 3. We next express the weak Maass form s f s,m associated to the basis element f s,m in terms of certain Poincaré series, when s and s = l + k as before. For m Z with m 0 consider the Poincaré series see [0] 6 F m τ, s = π m s γ Γ \Γ em Re γτim γτ Is π m Im γτ, which converges absolutely for Re s >. Here Γ is the subgroup of translations in Γ. Clearly F m γτ, s = F m τ, s for γ Γ and F m τ, s = s sf m τ, s. Proposition 4. For integral s we have for m l + 7 s f s,m τ = F m τ, s + a s m, nf n τ, s. 0<n<l+ Proof. To prove Proposition 4, we need the Fourier expansion of F m. This can be found, for instance, in [0]. Let ξs = π s Γs/ζs. Then we have 8 where F m τ, s = π m s y 9 cm, n; s = c>0 Is π m yemx + 4πσ s m s ξs y s + 4π m s c K 0 m, n; c n 0 cm, n; sy Ks π n yenx, { I s 4π mn c if mn < 0 J s 4π mn c if mn > 0

8 8 W. DUKE AND PAUL JENKINS and K 0 m, n; c = e ma+nā c amod c is the usual Kloosterman sum, the * restricting the sum to a, c =. Consider the Maass form φτ = s f s,m τ F m τ, s + a s m, nf n τ, s. By Proposition 3 and 8 we have that φτ = c0y s + n 0 0<n<l+ cny Ks π n yenx. where the cn are explicitly computable in terms of the c s m, n and the a s m, n. Since φ L Γ\H with eigenvalue s s, it must be equal to 0. In the case s = the Poincaré series F m τ, is defined through analytic continuation see e.g. [0] and Proposition 4 continues to hold in the modified form f 0,m τ = j m τ = F m τ, 4σm for m. 4. PRELIMINARY FORMULAS FOR THE TRACE For the proof of Theorem, we will need to compute the trace of s f s,m in terms of the coefficients of the basis elements f s+/,m. In view of Proposition 4, we are reduced to computing Tr d,d F m, s, where F m τ, s is the Poincaré series defined in 6. When D = s = it was shown in [8] that this trace may be expressed in a simple way in terms of a certain exponential sum. In general we need the exponential sum introduced in [5]: S m d, D; c = b mod c b Dd mod c where χ is defined in 3 and c 0 mod 4. Clearly We have the following identity. χ c, b, b Dd 4 c e mb c S m d, D; c = S m d, D; c = S m d, D; c. Proposition 5. Let s and m 0. Suppose that D is fundamental and that dd < 0. Then Tr d,d F m, s = π m s 4π d 4 D 4. c 0 mod 4 Proof. We have the absolutely convergent expression Tr d,d F m, s = π m s 0 Q = π m s d 4 D 4 χq ω Q a= γ Γ \Γ a Is where the sum over γ is over all γ Γ \Γ with, c Sm d, D; ci s m dd c emre γτ Q Im γτ Q Is π m Im γτ Q π m dd a [ Q χq ω Q e m Re γτ Q ], γ Im γτ Q = Dd a.

9 INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS 9 Consider the sum in brackets in 0. For fixed a > 0, the values of are γτ Q run over the mod a-incongruent solutions to the quadratic congruence b dd mod 4a with multiplicity w Q as γ and Q run over their respective representatives. Thus we have e m Re γτ Q = S md, D; 4a. Q χq ω Q γ Substitute this in 0 and write c for 4a to finish the proof. We need to express the traces in terms of the Fourier coefficients of modular forms. This is done by applying an identity originally due to Salié in a special case to transform the sum of exponential sums in Proposition 5 into a sum of Kloosterman sums. This sum may then be interpreted in terms of the Fourier coefficients of half-integral weight Poincaré series. This technique goes back to Zagier [5], who applied it in the context of base-change. Kohnen [5] applied it to the Shimura lift of cusp forms. More recently, this method has proven to be fruitful in the context of weakly holomorphic forms. In [8] it was applied to give a new proof of Zagier s original identity for traces of singular moduli. The technique has since been extended in various ways in [3] and [3]. In particular, the following formula for the trace of F m τ, s in terms of the coefficients b k m, n of half integral weight Poincaré series was given in [3] when m = and s D < 0. Proposition 6. Suppose that m 0, s and dd < 0 with D fundamental. Then ε d s s D Tr d,d F m, s = ε d s D s m s χ Dnn s b s+ χ Dnn s b s+ d, m D n, if s D > 0, m D n, d, if s D < 0, where the sum is over the positive divisors of m, ε = s+, and b s+/ was defined in Proposition. Proof. Recall the Kloosterman sum associated to modular forms of half integral weight defined in 3. It is clear that replacing k with k + does not change this sum; each K s+ m, n, c is equal to K m, n; c or K 3 m, n; c, depending on whether s is even or odd, respectively. In fact, we have the relations K m, n; c = i K 3 m, n; c = K n, m; c. We have the following identity for the Kloosterman sums, which can be proved by a slight modification of the proof of Kohnen in [5, Prop. 5, p. 58] see also [8], [3] and [4]. Lemma. For integers m 0 and c > 0 with 4 c, an integer d with d 0, mod 4 and D a fundamental discriminant, we have the identity S m d, D; c = i, c 4 + δodd c n χ 4n D n K c d, m D n ; c n.

10 0 W. DUKE AND PAUL JENKINS By Proposition 5 and Lemma we quickly derive that Tr d,d F m, s = π i m s d 4 D 4 χ D nn c 04 c + δ odd c 4 K d, m D n ; c I s 4π m Dd /n c. Comparison with Proposition and use of finishes the proof of Proposition THE ZAGIER LIFT In this section we give the proof of Theorem. The following proposition gives an explicit formula for the Zagier lift of f M! s when s D > 0. In its proof we make repeated use of the classical Shimura lift, integral and half-integral weight duality from 9 and, and the fact that the constant term of a form in M! must vanish. Write s = l + k with k {0, 4, 6, 8, 0, 4} as above. Proposition 7. Suppose that s is an integer and that fτ = n anqn M! s. Suppose that D is a fundamental discriminant with s D > 0. Then the D th Zagier lift of f is given by Z D f = m>0 a m χ D nn s f 3 s, m D n. Proof. Recall that when s D > 0 the Zagier lift was defined by Z D fτ = a m χ D nn s q m D n + L s, χ Da0 + m>0 d: dd<0 Tr d,dfq d, where Trd,Df = s d s s D Tr d,d s f. We prove Proposition 7 by comparing the Fourier coefficients of Z D f with those of the function on the right hand side of, which we will denote simply by F. We do this for the positive coefficients, the principal parts and the constant terms separately. Consider first the positive coefficients. By Propositions 4 and 6, we have for m > l that Trd,Df s,m = χ D nn s b s+ d ; m D 3 n + l a s m, j h j j= χ D hh s b s+ d ; j D h. From 4 we have the cusp form Cτ = g s+, d τ f s+, d τ = n cnqn. Thus b s+ d, j D h = as+ d, j D h + c j D h. However, S D C, the D th Shimura lift of C, is a cusp form of weight s with jth coefficient h j χ D hh s c j D h. The contribution to Tr d,d f s,m in 3 from coefficients of C, which is χ D nn s c m D + n l a s m, j h j j= χ D hh s c j D, h

11 INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS can be interpreted as the constant term of S D Cf s,m M,! which must be zero. Thus we have Trd,Df s,m = χ D nn s a s+ d, m D 4 n 5 + l a s m, j h j j= χ D hh s a s+ d, j D h. By duality, Tr d,d f s,m is the coefficient of q d in the Fourier expansion of χ D nn s f 3 s, m D n l a s j, m h j j= For an arbitrary form f = amq m M! s we have χ D hh s f 3 s, j D h. f = m>l a mf s,m, and so Tr d,df = m>l a mtr d,df s,m is the coefficient of q d in 6 a m m>l χ D nn s f 3 s, m D n l a s j, m h j j= χ D hh s f 3 s, j D. h For j l we have, once again using that the constant of a form in M! vanishes, that a j = m>l a ma s j, m. Thus the form in 6 simplifies to F. Next consider the principal parts. The properties of the basis elements given in Section show that f 3 s, m D n = 0 if for some C that depends only on the weight 3 s. We use this and the Fourier expansion m D n < C f 3 s, m D n τ = q m D n + h a m D 3 s n, h q h to write the negative powers of q appearing in the Fourier expansion of F as χ D nn s q m D 7 n a m m>0 a m χ D hn s q m D n + m>0, m D n <C m,h>0 a m χ D nn s a 3 s m D n, h q h. The first sum is the principal part of Z D f, so we must prove that the expression in the second line of 7, call it S, vanishes. By duality, S = a m χ D nn s q m D n + χ D nn s a s+ h, m D n q h. m>0 h>0, m D n <C

12 W. DUKE AND PAUL JENKINS Now for any h > 0, the coefficient of q m in the Shimura lift S D f s+, h of the cusp form f s+, h is given by χ D nn s a s+ h, m D n + {, if m D n = h, 0, otherwise. The last term here arises from the initial q h in the Fourier expansion of f s+, h, since h, h is zero by definition. From this, it is clear that the coefficient of q h in S for a s+ each h > 0 can be interpreted as the constant term of S D f s+, hf M,! so S = 0. Finally we evaluate the constant term of F, again using duality, as m>0 a m Since s we have by [6] χ D nn s a 3 s m D n, 0 = m>0 S D f s+,0τ = L s, χ D + m>0 a m χ D nn s a s+ χ D nh s a s+ 0, n D q m h and the constant term of S D f s+,0f M! is L s, χ Da0 + a m χ D nn s a s+ 0, m D = 0, n m>0 as desired. This concludes the proof of Proposition 7. We also need the corresponding statement if s D < 0. 0, m D n. Proposition 8. Suppose that s is an integer and that f M! s has Fourier coefficients an. Suppose that D is a fundamental discriminant with s D < 0. Then the D th Zagier lift of f is given by 8 Z D f = m>0 a mm s χ D nn s f s+, m D n + g, where g S s+/ is the unique cusp form whose Fourier coefficients bn match those of Z D f for the first l positive values of n with s n 0, mod 4. Proof. Using Propositions 4 and 6 as before, we find that Trd,Df s,m =m s χ D nn s b s+ m D 9 ; d n + l a s m, jj s h j j= Thus, the trace Trd,D f of an arbitrary form χ D hh s b s+ j D ; d. h is given by m>l a m f = amq m = m>l a mf s,m m s χ D nn s b s+ m D n ; d

13 INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS 3 + l a s m, jj s h j j= χ D hh s b j D s+ ; d h = m>0 a mm s χ D nn s b m D s+ ; d, n where we have simplified as before. This is just the coefficient of q d in the modular form F M! given by s+ F = m>0 Now since g s+, m D n f s+, m D n S s+ F = m>0 a mm s χ D nn s g s+, m D n. from 4, we find that a mm s χ D nn s f s+, m D + g n for a certain cusp form g, and, arguing as in Proposition 7, the principal part of F matches the principal part of Z D f. Since the constant term and positive coefficients of F match those of Z D f, Proposition 8 now follows. The first statement of Theorem follows from Propositions 7 and 8. The statement on integrality follows from Proposition in the case s D > 0. Otherwise we can reduce to this case using the following identity, which holds if s D < 0 and D is fundamental with s D > 0: Tr m D,D f = ms µaχ D a χ D bab s Tr m ab D,D f. a m b ma This identity is a consequence of the following lemma. Lemma. For D and D fundamental discriminants with DD < 0 and m Z + we have Tr m D,D = µaχ D a χ D btr m ab D,D. a m b ma Lemma is obtained by writing the trace as a sum of sums over primitive quadratic forms, noting that χ D = χ D for such primitive forms, and applying Möbius inversion. We now briefly indicate how one shows that the Zagier lift is compatible with the Hecke operators. If k Z > 0 and p is a prime, the weight k Hecke operator k T p acts on a modular form fτ = n anqn M k! by f k T p = apn + p k a n q n. p n If k Z 0, we multiply this by p k so that k T p preserves the integrality of Fourier coefficients. When 0 < s Z, the half integral weight Hecke operator s+/ T p acts on a form gτ = n bnqn M s+/! by g s+/ T p = n bp n + s n p s bn + p s b n q n. p p Again, for s 0, we normalize this by multiplying by p s.

14 4 W. DUKE AND PAUL JENKINS It is straightforward to see that for any prime p, Z D f 3/ ŝ T p = Z D f s T p. In the case that s D > 0, we need only use the explicit Fourier expansion of the Zagier lift to compare principal parts. If s D < 0, though, we must also show that 30 Tr s n,df s T p = Tr s np,d f + s n p s n p p s Tr s n,df + p s Tr s n/p,d f for the first l positive values of n with s n 0, mod 4. To see that this holds, we argue as in the proof of [6, Theorem 5ii] to show that Tr s n,d s f 0 T p equals Tr s np,d s f + Tr s n,d s f + ptr s n/p,d s f, and use the fact that if k < 0, then k f k T p = p k f k+ T p to obtain equation THE SHIMURA LIFT In this final section we prove Theorem. For this we need the following two propositions. Proposition 9. Suppose that s Z + and τ H. As a function of z H, s fs zf s τ jτ jz is a meromorphic modular form of weight s with poles of order at most s that only occur at points equivalent to τ under Γ. Proof. Observe first that if f has weight k and g has weight 0 then by 4 k fg = g k f + f Dg. Apply this repeatedly with gτ = jτ jz n for n < s. We derive that s f s τ s g n τ = jτ jz jz jτ n for g n M! 0, from which the result follows easily. Theorem is a consequence of Proposition 9 together with the following explicit formula for the D th Shimura lift of f s+/, d. Write s = l + k as above. Proposition 0. Suppose that s, s D > 0 and that dd < 0. Then S D f s+/, d z = Trd,D fs zf s τ + fz, jτ jz where f M s is the unique holomorphic form whose Fourier coefficients an match those of S D f s+/, d for n = 0,..., l. Proof. By 7 we have, writing r = ez, 3 n= S D f s+/, d z = L s, χ Da s+/ d, 0 + m>0 χ D nn s a s+/ d, m D n r m.

15 By 4 and 3 we have 3 33 INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS 5 m>l Tr d,df s,m r m =S D f s+/, d z L s, χ Da s+/ d, 0 0<m l + χ D nn s a s+/ d, m D n l j= m>l a s m, jr m h j By integral weight duality 9 the term in 33 is l j= χ D hh s a s+ d, j D h a s j, mr m m>l h j l = s, j z r j=f j h j so by 3 we get after some cancellation that r m χ D hh s a s+ d, j D h. χ D hh s a s+ d, j D h, 34 m>l Tr d,df s,m r m = S D f s+/, d z fz. The identity of Proposition 0 follows from 8 and 34, at least when Im z > max Q Im τ Q. Proposition 0 now follows by analytic continuation. Acknowledgements: After this paper was written we learned that results similar to some of those presented here were obtained independently in a recent preprint by Miller and Pixton [9]. Additionally, we thank the referee for some helpful comments. 7. APPENDIX Table gives explicit formulas for the first two basis elements f b+, f of weight b+/ b+ for all b {6, 8, 9, 0,,, 3, 4, 5, 6, 7, 9} as polynomials in the weight / theta function θ = n Z qn and the weight Eisenstein series on Γ 0 4 given by F z = σn + q n+. n=0 Both θ and F have integral Fourier coefficients. The space of holomorphic modular forms on Γ 0 4 of weight s + / is generated by the forms F n θ s+ 4n, where 0 n s+ see [7]. Thus, to construct these basis elements 4 we examine the Fourier expansion of the form f = s+ 4 n=0 AnF n θ s+ 4n and choose the coefficients An so that f is in the plus space M! and has the appropriate s+ leading terms in its Fourier expansion. Table shows that all of the An are integral for

16 6 W. DUKE AND PAUL JENKINS TABLE f 3 f 3 f 7 f 7 f 9 f 9 f f f 3 f 3 f 5 f 5 f 7 f 7 f 9 f 9 f 3 f 3 f 33 f 33 f 35 f 35 f 39 f 39 = F θ 9 8F θ 5 + 3F 3 θ = q + Oq 4 = θ 3 6F θ F θ 5 = + Oq 4 = F θ 3 6F θ 9 + 5F 3 θ 5 + 8F 4 θ = q + Oq 4 = θ 7 34F θ F θ 9 86F 3 θ 5 = + Oq 4 = F 3 θ 7 6F 4 θ 3 = q 3 + Oq 4 = θ 9 38F θ F θ 67F 3 θ 7 = + Oq 4 = F θ 7 34F θ F 3 θ 9 800F 4 θ 5 + 5F 5 θ = q + Oq 4 = θ 4F θ F θ 3 9F 3 θ F 4 θ 5 = + Oq 4 = F 3 θ F 4 θ 7 64F 5 θ 3 = q 3 + Oq 4 = θ 3 46F θ F θ F 3 θ F 4 θ 7 = + Oq 4 = F 4 θ 9 6F 5 θ 5 = q 4 + Oq 5 = F θ 4F θ F 3 θ 3 808F 4 θ F 5 θ F 6 θ = q + Oq 5 = F 3 θ 5 3F 4 θ + 7F 5 θ 7 56F 6 θ 3 = q 3 + Oq 4 = θ 7 54F θ F θ F 3 θ F 4 θ 675F 5 θ 7 = + Oq 4 = F 4 θ 3 36F 5 θ F 6 θ 5 = q 4 + Oq 5 = F θ 5 50F θ + 896F 3 θ F 4 θ F 5 θ 9 307F 6 θ F 7 θ = q + Oq 5 = F 4 θ 5 30F 5 θ + 4F 6 θ 7 = q 4 + Oq 7 = F 3 θ 9 38F 4 θ F 5 θ 408F 6 θ 7 04F 7 θ 3 = q 3 + Oq 7 = F 4 θ 7 3F 5 θ 3 + 7F 6 θ 9 56F 7 θ 5 = q 4 + Oq 5 = F θ 9 58F θ 5 + 7F 3 θ 84F 4 θ F 5 θ 3 755F 6 θ F 7 θ F 8 θ = q + Oq 5 = F 4 θ 9 38F 5 θ F 6 θ 408F 7 θ 7 = q 4 + Oq 7 = F 3 θ 3 46F 4 θ F 5 θ 5 440F 6 θ +563F 7 θ F 8 θ 3 = q 3 + Oq 7 = F 4 θ 3 46F 5 θ F 6 θ F 7 θ F 8 θ 7 = q 4 + Oq 7 = F 3 θ 7 54F 4 θ F 5 θ 9 90F 6 θ F 7 θ 644F 8 θ F 9 θ 3 = q 3 + Oq 7 the first two basis elements of each half integral weight, so it follows that all of the f b+ and f have integral Fourier coefficients. b+

17 INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS 7 REFERENCES. R. E. Borcherds, Automorphic forms on O s+, R and infinite products, Invent. Math , no., 6 3.., Automorphic forms with singularities on Grassmannians, Invent. Math , no. 3, K. Bringmann and K. Ono, Arithmetic properties of coefficients of half-integral weight Maass-Poincaré series, Math. Ann , no. 3, J. H. Bruinier and J. Funke, Traces of CM values of modular functions, J. Reine Angew. Math , J. H. Bruinier, P. Jenkins, and K. Ono, Hilbert class polynomials and traces of singular moduli, Math. Ann , no., J. H. Bruinier, G. van der Geer, G. Harder, and D. Zagier, The 3 of modular forms, Universitext, Springer-Verlag, Berlin, 008, Lectures at a Summer School in Nordfjordeid, Norway. 7. H. Cohen, Sums involving the values at negative integers of L-functions of quadratic characters, Math. Ann , no. 3, W. Duke, Modular functions and the uniform distribution of CM points, Math. Ann , no., W. Duke and P. Jenkins, On the zeros and coefficients of certain weakly holomorphic modular forms, Pure Appl. Math. Q , no. 4, J. D. Fay, Fourier coefficients of the resolvent for a Fuchsian group, J. Reine Angew. Math. 93/94 977, J. Funke, CM points and weight 3/ modular forms, Analytic number theory, Clay Math. Proc., vol. 7, Amer. Math. Soc., Providence, RI, 007, pp I. S. Gradshteyn and I. M. Ryzhik, Table of integrals, series, and products, Russian ed., Academic Press Inc., Boston, MA, 994, Translation edited and with a preface by Alan Jeffrey. 3. P. Jenkins, Kloosterman sums and traces of singular moduli, J. Number Theory 7 006, no., W. Kohnen, Modular forms of half-integral weight on Γ 0 4, Math. Ann , no. 3, , Fourier coefficients of modular forms of half-integral weight, Math. Ann , no., W. Kohnen and D. Zagier, Values of L-series of modular forms at the center of the critical strip, Invent. Math , no., J. Lewis and D. Zagier, Period functions for Maass wave forms. I, Ann. of Math , no., D. Masser, Elliptic functions and transcendence, Springer-Verlag, Berlin, 975, Lecture Notes in Mathematics, Vol A. Miller and A. Pixton, Arithmetic traces of non holomorphic modular invariants, preprint, D. Niebur, A class of nonanalytic automorphic functions, Nagoya Math. J , H. Petersson, Konstruktion der Modulformen und der zu gewissen Grenzkreisgruppen gehörigen automorphen Formen von positiver reeller Dimension und die vollständige Bestimmung ihrer Fourierkoeffizienten, S.-B. Heidelberger Akad. Wiss. Math.-Nat. Kl , S. Ramanujan, Modular equations and approximations to π [Quart. J. Math , ], Collected papers of Srinivasa Ramanujan, AMS Chelsea Publ., Providence, RI, 000, pp C. L. Siegel, Evaluation of zeta functions for integral values of arguments [Nachr. Akad. Wiss. Göttingen Math.- Phys. Kl. II , 87 0], Advanced Analytic Number Theory, Tata Institute of Fundamental Research Studies in Mathematics, vol. 9, Tata Institute of Fundamental Research, Bombay, second ed., 980, Translated from the German by S. Raghavan, pp Á. Tóth, On the evaluation of Salié sums, Proc. Amer. Math. Soc , no. 3, electronic. 5. D. Zagier, Modular forms associated to real quadratic fields, Invent. Math , no., , Traces of singular moduli, Motives, polylogarithms and Hodge theory, Part I Irvine, CA, 998, Int. Press Lect. Ser., vol. 3, Int. Press, Somerville, MA, 00, pp. 44. UCLA MATHEMATICS DEPARTMENT, BOX 95555, LOS ANGELES, CA address: wdduke@ucla.edu UCLA MATHEMATICS DEPARTMENT, BOX 95555, LOS ANGELES, CA address: jenkins@math.ucla.edu

Arithmetic properties of harmonic weak Maass forms for some small half integral weights

Arithmetic properties of harmonic weak Maass forms for some small half integral weights Arithmetic properties of harmonic weak Maass forms for some small half integral weights Soon-Yi Kang (Joint work with Jeon and Kim) Kangwon National University 11-08-2015 Pure and Applied Number Theory

More information

AN ARITHMETIC FORMULA FOR THE PARTITION FUNCTION

AN ARITHMETIC FORMULA FOR THE PARTITION FUNCTION AN ARITHMETIC FORMULA FOR THE PARTITION FUNCTION KATHRIN BRINGMANN AND KEN ONO 1 Introduction and Statement of Results A partition of a non-negative integer n is a non-increasing sequence of positive integers

More information

PARITY OF THE COEFFICIENTS OF KLEIN S j-function

PARITY OF THE COEFFICIENTS OF KLEIN S j-function PARITY OF THE COEFFICIENTS OF KLEIN S j-function CLAUDIA ALFES Abstract. Klein s j-function is one of the most fundamental modular functions in number theory. However, not much is known about the parity

More information

AN ARITHMETIC FORMULA FOR THE PARTITION FUNCTION

AN ARITHMETIC FORMULA FOR THE PARTITION FUNCTION PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 135, Number 11, November 007, Pages 3507 3514 S 000-9939(07)08883-1 Article electronically published on July 7, 007 AN ARITHMETIC FORMULA FOR THE

More information

SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI

SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI P. GUERZHOY Abstract. We address a question posed by Ono [7, Problem 7.30], prove a general result for powers of an arbitrary prime, and provide an explanation

More information

(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1)

(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1) Automorphic forms on O s+2,2 (R) + and generalized Kac-Moody algebras. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), 744 752, Birkhäuser, Basel, 1995. Richard E.

More information

RANKIN-COHEN BRACKETS AND SERRE DERIVATIVES AS POINCARÉ SERIES. φ k M = 1 2

RANKIN-COHEN BRACKETS AND SERRE DERIVATIVES AS POINCARÉ SERIES. φ k M = 1 2 RANKIN-COHEN BRACKETS AND SERRE DERIVATIVES AS POINCARÉ SERIES BRANDON WILLIAMS Abstract. We give expressions for the Serre derivatives of Eisenstein and Poincaré series as well as their Rankin-Cohen brackets

More information

A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS

A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS STEPHAN EHLEN 1. Modular curves and Heegner Points The modular curve Y (1) = Γ\H with Γ = Γ(1) = SL (Z) classifies the equivalence

More information

THE ARITHMETIC OF BORCHERDS EXPONENTS. Jan H. Bruinier and Ken Ono

THE ARITHMETIC OF BORCHERDS EXPONENTS. Jan H. Bruinier and Ken Ono THE ARITHMETIC OF BORCHERDS EXPONENTS Jan H. Bruinier and Ken Ono. Introduction and Statement of Results. Recently, Borcherds [B] provided a striking description for the exponents in the naive infinite

More information

CYCLE INTEGRALS OF THE J-FUNCTION AND MOCK MODULAR FORMS

CYCLE INTEGRALS OF THE J-FUNCTION AND MOCK MODULAR FORMS CYCLE INTEGRALS OF THE J-FUNCTION AND MOCK MODULAR FORMS W. DUKE, Ö. IMAMOḠLU, AND Á. TÓTH Abstract. In this paper we construct certain mock modular forms of weight 1/ whose Fourier coefficients are given

More information

REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS

REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS KATHRIN BRINGMANN AND BEN KANE 1. Introduction and statement of results For κ Z, denote by M 2κ! the space of weight 2κ weakly holomorphic

More information

A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic Forms

A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic Forms A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic Forms Jennings-Shaffer C. & Swisher H. (014). A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic

More information

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular

More information

Modular functions and the uniform distribution of CM points

Modular functions and the uniform distribution of CM points Modular functions and the uniform distribution of CM points W. Duke by. Introduction The classical j-function is defined for z in the upper half plane H ( + 240 n= m n m3 q n) 3 j(z) = q n= ( = q + 744

More information

Notes for a course given at the Second EU/US Summer School on Automorphic Forms on SINGULAR MODULI AND MODULAR FORMS

Notes for a course given at the Second EU/US Summer School on Automorphic Forms on SINGULAR MODULI AND MODULAR FORMS Notes for a course given at the Second EU/US Summer School on Automorphic Forms on SINGULAR MODULI AND MODULAR FORMS LECTURERS: WILLIAM DUKE, PAUL JENKINS ASSISTANT: YINGKUN LI. Introduction Singular moduli

More information

On Rankin-Cohen Brackets of Eigenforms

On Rankin-Cohen Brackets of Eigenforms On Rankin-Cohen Brackets of Eigenforms Dominic Lanphier and Ramin Takloo-Bighash July 2, 2003 1 Introduction Let f and g be two modular forms of weights k and l on a congruence subgroup Γ. The n th Rankin-Cohen

More information

SIMULTANEOUS SIGN CHANGE OF FOURIER-COEFFICIENTS OF TWO CUSP FORMS

SIMULTANEOUS SIGN CHANGE OF FOURIER-COEFFICIENTS OF TWO CUSP FORMS SIMULTANEOUS SIGN CHANGE OF FOURIER-COEFFICIENTS OF TWO CUSP FORMS SANOLI GUN, WINFRIED KOHNEN AND PURUSOTTAM RATH ABSTRACT. We consider the simultaneous sign change of Fourier coefficients of two modular

More information

arxiv: v1 [math.nt] 28 Jan 2010

arxiv: v1 [math.nt] 28 Jan 2010 NON VANISHING OF CENTRAL VALUES OF MODULAR L-FUNCTIONS FOR HECKE EIGENFORMS OF LEVEL ONE D. CHOI AND Y. CHOIE arxiv:00.58v [math.nt] 8 Jan 00 Abstract. Let F(z) = n= a(n)qn be a newform of weight k and

More information

REGULARIZED PETERSSON INNER PRODUCTS FOR MEROMORPHIC MODULAR FORMS

REGULARIZED PETERSSON INNER PRODUCTS FOR MEROMORPHIC MODULAR FORMS REGULARIZED PETERSSON INNER PRODUCTS FOR MEROMORPHIC MODULAR FORMS BEN KANE Abstract. We investigate the history of inner products within the theory of modular forms. We first give the history of the applications

More information

Introduction to modular forms Perspectives in Mathematical Science IV (Part II) Nagoya University (Fall 2018)

Introduction to modular forms Perspectives in Mathematical Science IV (Part II) Nagoya University (Fall 2018) Introduction to modular forms Perspectives in Mathematical Science IV (Part II) Nagoya University (Fall 208) Henrik Bachmann (Math. Building Room 457, henrik.bachmann@math.nagoya-u.ac.jp) Lecture notes

More information

LINEAR RELATIONS BETWEEN MODULAR FORM COEFFICIENTS AND NON-ORDINARY PRIMES

LINEAR RELATIONS BETWEEN MODULAR FORM COEFFICIENTS AND NON-ORDINARY PRIMES LINEAR RELATIONS BETWEEN MODULAR FORM COEFFICIENTS AND NON-ORDINARY PRIMES YOUNGJU CHOIE, WINFRIED KOHNEN, AND KEN ONO Appearing in the Bulletin of the London Mathematical Society Abstract. Here we generalize

More information

A NOTE ON THE SHIMURA CORRESPONDENCE AND THE RAMANUJAN τ(n) FUNCTION

A NOTE ON THE SHIMURA CORRESPONDENCE AND THE RAMANUJAN τ(n) FUNCTION A NOTE ON THE SHIMURA CORRESPONDENCE AND THE RAMANUJAN τ(n) FUNCTION KEN ONO Abstract. The Shimura correspondence is a family of maps which sends modular forms of half-integral weight to forms of integral

More information

On the zeros of certain modular forms

On the zeros of certain modular forms On the zeros of certain modular forms Masanobu Kaneko Dedicated to Professor Yasutaka Ihara on the occasion of his 60th birthday. The aim of this short note is to list several families of modular forms

More information

Introduction to Borcherds Forms

Introduction to Borcherds Forms Introduction to Borcherds Forms Montreal-Toronto Workshop in Number Theory September 3, 2010 Main Goal Extend theta lift to construct (meromorphic) modular forms on Sh. var. associated to O(p, 2) with

More information

RANKIN-COHEN BRACKETS AND VAN DER POL-TYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION

RANKIN-COHEN BRACKETS AND VAN DER POL-TYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION RANKIN-COHEN BRACKETS AND VAN DER POL-TYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION B. RAMAKRISHNAN AND BRUNDABAN SAHU Abstract. We use Rankin-Cohen brackets for modular forms and quasimodular forms

More information

THE RAMANUJAN-SERRE DIFFERENTIAL OPERATORS AND CERTAIN ELLIPTIC CURVES. (q = e 2πiτ, τ H : the upper-half plane) ( d 5) q n

THE RAMANUJAN-SERRE DIFFERENTIAL OPERATORS AND CERTAIN ELLIPTIC CURVES. (q = e 2πiτ, τ H : the upper-half plane) ( d 5) q n THE RAMANUJAN-SERRE DIFFERENTIAL OPERATORS AND CERTAIN ELLIPTIC CURVES MASANOBU KANEKO AND YUICHI SAKAI Abstract. For several congruence subgroups of low levels and their conjugates, we derive differential

More information

Mock Modular Forms and Class Number Relations

Mock Modular Forms and Class Number Relations Mock Modular Forms and Class Number Relations Michael H. Mertens University of Cologne 28th Automorphic Forms Workshop, Moab, May 13th, 2014 M.H. Mertens (University of Cologne) Class Number Relations

More information

20 The modular equation

20 The modular equation 18.783 Elliptic Curves Lecture #20 Spring 2017 04/26/2017 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence

More information

Class Number Type Relations for Fourier Coefficients of Mock Modular Forms

Class Number Type Relations for Fourier Coefficients of Mock Modular Forms Class Number Type Relations for Fourier Coefficients of Mock Modular Forms Michael H. Mertens University of Cologne Lille, March 6th, 2014 M.H. Mertens (University of Cologne) Class Number Type Relations

More information

20 The modular equation

20 The modular equation 18.783 Elliptic Curves Spring 2015 Lecture #20 04/23/2015 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence

More information

This work is licensed under a Creative Commons Attribution- NonCommercial-NoDerivatives 4.0 International License.

This work is licensed under a Creative Commons Attribution- NonCommercial-NoDerivatives 4.0 International License. Title The Bruinier--Funke pairing and the orthogonal complement of unary theta functions Authors Kane, BR; Man, SH Citation Workshop on L-functions and automorphic forms, University of Heidelberg, Heidelberg,

More information

GROSS-ZAGIER ON SINGULAR MODULI: THE ANALYTIC PROOF

GROSS-ZAGIER ON SINGULAR MODULI: THE ANALYTIC PROOF GROSS-ZAGIER ON SINGULAR MOULI: THE ANALYTIC PROOF EVAN WARNER. Introduction The famous results of Gross and Zagier compare the heights of Heegner points on modular curves with special values of the derivatives

More information

THE ASYMPTOTIC DISTRIBUTION OF ANDREWS SMALLEST PARTS FUNCTION

THE ASYMPTOTIC DISTRIBUTION OF ANDREWS SMALLEST PARTS FUNCTION THE ASYMPTOTIC DISTRIBUTION OF ANDREWS SMALLEST PARTS FUNCTION JOSIAH BANKS, ADRIAN BARQUERO-SANCHEZ, RIAD MASRI, YAN SHENG Abstract. In this paper, we use methods from the spectral theory of automorphic

More information

Congruence Subgroups

Congruence Subgroups Congruence Subgroups Undergraduate Mathematics Society, Columbia University S. M.-C. 24 June 2015 Contents 1 First Properties 1 2 The Modular Group and Elliptic Curves 3 3 Modular Forms for Congruence

More information

SOME REMARKS ON THE RESNIKOFF-SALDAÑA CONJECTURE

SOME REMARKS ON THE RESNIKOFF-SALDAÑA CONJECTURE SOME REMARKS ON THE RESNIKOFF-SALDAÑA CONJECTURE SOUMYA DAS AND WINFRIED KOHNEN Abstract. We give some (weak) evidence towards the Resnikoff-Saldaña conjecture on the Fourier coefficients of a degree 2

More information

NEW IDENTITIES INVOLVING SUMS OF THE TAILS RELATED TO REAL QUADRATIC FIELDS KATHRIN BRINGMANN AND BEN KANE

NEW IDENTITIES INVOLVING SUMS OF THE TAILS RELATED TO REAL QUADRATIC FIELDS KATHRIN BRINGMANN AND BEN KANE NEW IDENTITIES INVOLVING SUMS OF THE TAILS RELATED TO REAL QUADRATIC FIELDS KATHRIN BRINGMANN AND BEN KANE To George Andrews, who has been a great inspiration, on the occasion of his 70th birthday Abstract.

More information

Differential operators on Jacobi forms and special values of certain Dirichlet series

Differential operators on Jacobi forms and special values of certain Dirichlet series Differential operators on Jacobi forms and special values of certain Dirichlet series Abhash Kumar Jha and Brundaban Sahu Abstract We construct Jacobi cusp forms by computing the adjoint of a certain linear

More information

4 LECTURES ON JACOBI FORMS. 1. Plan

4 LECTURES ON JACOBI FORMS. 1. Plan 4 LECTURES ON JACOBI FORMS YOUNGJU CHOIE Abstract. 1. Plan This lecture series is intended for graduate students or motivated undergraduate students. We introduce a concept of Jacobi forms and try to explain

More information

Sign changes of Fourier coefficients of cusp forms supported on prime power indices

Sign changes of Fourier coefficients of cusp forms supported on prime power indices Sign changes of Fourier coefficients of cusp forms supported on prime power indices Winfried Kohnen Mathematisches Institut Universität Heidelberg D-69120 Heidelberg, Germany E-mail: winfried@mathi.uni-heidelberg.de

More information

MODULAR FORMS ARISING FROM Q(n) AND DYSON S RANK

MODULAR FORMS ARISING FROM Q(n) AND DYSON S RANK MODULAR FORMS ARISING FROM Q(n) AND DYSON S RANK MARIA MONKS AND KEN ONO Abstract Let R(w; q) be Dyson s generating function for partition ranks For roots of unity ζ it is known that R(ζ; q) and R(ζ; /q)

More information

( 1) m q (6m+1)2 24. (Γ 1 (576))

( 1) m q (6m+1)2 24. (Γ 1 (576)) M ath. Res. Lett. 15 (2008), no. 3, 409 418 c International Press 2008 ODD COEFFICIENTS OF WEAKLY HOLOMORPHIC MODULAR FORMS Scott Ahlgren and Matthew Boylan 1. Introduction Suppose that N is a positive

More information

A combinatorial problem related to Mahler s measure

A combinatorial problem related to Mahler s measure A combinatorial problem related to Mahler s measure W. Duke ABSTRACT. We give a generalization of a result of Myerson on the asymptotic behavior of norms of certain Gaussian periods. The proof exploits

More information

Before we prove this result, we first recall the construction ( of) Suppose that λ is an integer, and that k := λ+ 1 αβ

Before we prove this result, we first recall the construction ( of) Suppose that λ is an integer, and that k := λ+ 1 αβ 600 K. Bringmann, K. Ono Before we prove this result, we first recall the construction ( of) these forms. Suppose that λ is an integer, and that k := λ+ 1 αβ. For each A = Ɣ γ δ 0 (4),let j(a, z) := (

More information

THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES. H(1, n)q n =

THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES. H(1, n)q n = THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES ANTAL BALOG, WILLIAM J. MCGRAW AND KEN ONO 1. Introduction and Statement of Results If H( n) denotes the Hurwitz-Kronecer class

More information

HECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS.

HECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS. HECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS. MATTHEW BOYLAN AND KENNY BROWN Abstract. Recent works of Garvan [2] and Y. Yang [7], [8] concern a certain family of half-integral

More information

DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS

DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS JEREMY LOVEJOY Abstract. We study the generating function for (n), the number of partitions of a natural number n into distinct parts. Using

More information

arxiv: v3 [math.nt] 28 Jul 2012

arxiv: v3 [math.nt] 28 Jul 2012 SOME REMARKS ON RANKIN-COHEN BRACKETS OF EIGENFORMS arxiv:1111.2431v3 [math.nt] 28 Jul 2012 JABAN MEHER Abstract. We investigate the cases for which products of two quasimodular or nearly holomorphic eigenforms

More information

Basic Background on Mock Modular Forms and Weak Harmonic Maass Forms

Basic Background on Mock Modular Forms and Weak Harmonic Maass Forms Basic Background on Mock Modular Forms and Weak Harmonic Maass Forms 1 Introduction 8 December 2016 James Rickards These notes mainly derive from Ken Ono s exposition Harmonic Maass Forms, Mock Modular

More information

REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS

REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS KATHRIN BRINGMANN AND BEN KANE 1. Introduction and statement of results Hecke operators play a central role in the study of modular forms.

More information

Projects on elliptic curves and modular forms

Projects on elliptic curves and modular forms Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master

More information

ARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3

ARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3 ARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3 JOHN J WEBB Abstract. Let b 13 n) denote the number of 13-regular partitions of n. We study in this paper the behavior of b 13 n) modulo 3 where

More information

FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2

FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 CAMERON FRANC AND GEOFFREY MASON Abstract. We prove the following Theorem. Suppose that F = (f 1, f 2 ) is a 2-dimensional vector-valued

More information

DIVISIBILITY PROPERTIES OF THE 5-REGULAR AND 13-REGULAR PARTITION FUNCTIONS

DIVISIBILITY PROPERTIES OF THE 5-REGULAR AND 13-REGULAR PARTITION FUNCTIONS INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (008), #A60 DIVISIBILITY PROPERTIES OF THE 5-REGULAR AND 13-REGULAR PARTITION FUNCTIONS Neil Calkin Department of Mathematical Sciences, Clemson

More information

ON THE LIFTING OF HERMITIAN MODULAR. Notation

ON THE LIFTING OF HERMITIAN MODULAR. Notation ON THE LIFTING OF HERMITIAN MODULAR FORMS TAMOTSU IEDA Notation Let be an imaginary quadratic field with discriminant D = D. We denote by O = O the ring of integers of. The non-trivial automorphism of

More information

Abstract. Gauss s hypergeometric function gives a modular parameterization of period integrals of elliptic curves in Legendre normal form

Abstract. Gauss s hypergeometric function gives a modular parameterization of period integrals of elliptic curves in Legendre normal form GAUSS S 2 F HYPERGEOMETRIC FUNCTION AND THE CONGRUENT NUMBER ELLIPTIC CURVE AHMAD EL-GUINDY AND KEN ONO Abstract Gauss s hypergeometric function gives a modular parameterization of period integrals of

More information

OVERPARTITION M 2-RANK DIFFERENCES, CLASS NUMBER RELATIONS, AND VECTOR-VALUED MOCK EISENSTEIN SERIES

OVERPARTITION M 2-RANK DIFFERENCES, CLASS NUMBER RELATIONS, AND VECTOR-VALUED MOCK EISENSTEIN SERIES OVERPARTITION M -RANK DIFFERENCES, CLASS NUMBER RELATIONS, AND VECTOR-VALUED MOCK EISENSTEIN SERIES BRANDON WILLIAMS Abstract. We prove that the generating function of overpartition M-rank differences

More information

Don Zagier s work on singular moduli

Don Zagier s work on singular moduli Don Zagier s work on singular moduli Benedict Gross Harvard University June, 2011 Don in 1976 The orbit space SL 2 (Z)\H has the structure a Riemann surface, isomorphic to the complex plane C. We can fix

More information

NON-VANISHING OF THE PARTITION FUNCTION MODULO SMALL PRIMES

NON-VANISHING OF THE PARTITION FUNCTION MODULO SMALL PRIMES NON-VANISHING OF THE PARTITION FUNCTION MODULO SMALL PRIMES MATTHEW BOYLAN Abstract Let pn be the ordinary partition function We show, for all integers r and s with s 1 and 0 r < s, that #{n : n r mod

More information

INFINITE PRODUCTS IN NUMBER THEORY AND GEOMETRY

INFINITE PRODUCTS IN NUMBER THEORY AND GEOMETRY INFINITE PRODUCTS IN NUMBER THEORY AND GEOMETRY JAN HENDRIK BRUINIER Abstract. We give an introduction to the theory of Borcherds products and to some number theoretic and geometric applications. In particular,

More information

CONGRUENCES FOR BROKEN k-diamond PARTITIONS

CONGRUENCES FOR BROKEN k-diamond PARTITIONS CONGRUENCES FOR BROKEN k-diamond PARTITIONS MARIE JAMESON Abstract. We prove two conjectures of Paule and Radu from their recent paper on broken k-diamond partitions. 1. Introduction and Statement of Results

More information

EXACT FORMULAS FOR COEFFICIENTS OF JACOBI FORMS

EXACT FORMULAS FOR COEFFICIENTS OF JACOBI FORMS EXACT FORMULAS FOR COEFFICIENTS OF JACOBI FORMS KATHRIN BRINGMANN AND OLAV K. RICHTER Abstract. In previous work, we introduced harmonic Maass-Jacobi forms. The space of such forms includes the classical

More information

1. Introduction and statement of results This paper concerns the deep properties of the modular forms and mock modular forms.

1. Introduction and statement of results This paper concerns the deep properties of the modular forms and mock modular forms. MOONSHINE FOR M 4 AND DONALDSON INVARIANTS OF CP ANDREAS MALMENDIER AND KEN ONO Abstract. Eguchi, Ooguri, and Tachikawa recently conjectured 9] a new moonshine phenomenon. They conjecture that the coefficients

More information

MODULAR PROPERTIES OF THETA-FUNCTIONS AND REPRESENTATION OF NUMBERS BY POSITIVE QUADRATIC FORMS

MODULAR PROPERTIES OF THETA-FUNCTIONS AND REPRESENTATION OF NUMBERS BY POSITIVE QUADRATIC FORMS GEORGIAN MATHEMATICAL JOURNAL: Vol. 4, No. 4, 997, 385-400 MODULAR PROPERTIES OF THETA-FUNCTIONS AND REPRESENTATION OF NUMBERS BY POSITIVE QUADRATIC FORMS T. VEPKHVADZE Abstract. By means of the theory

More information

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

More information

TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple

TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES Ken Ono Abstract. Using elliptic modular functions, Kronecker proved a number of recurrence relations for suitable class numbers of positive

More information

BASIC VECTOR VALUED SIEGEL MODULAR FORMS OF GENUS TWO

BASIC VECTOR VALUED SIEGEL MODULAR FORMS OF GENUS TWO Freitag, E. and Salvati Manni, R. Osaka J. Math. 52 (2015), 879 894 BASIC VECTOR VALUED SIEGEL MODULAR FORMS OF GENUS TWO In memoriam Jun-Ichi Igusa (1924 2013) EBERHARD FREITAG and RICCARDO SALVATI MANNI

More information

On the equality case of the Ramanujan Conjecture for Hilbert modular forms

On the equality case of the Ramanujan Conjecture for Hilbert modular forms On the equality case of the Ramanujan Conjecture for Hilbert modular forms Liubomir Chiriac Abstract The generalized Ramanujan Conjecture for unitary cuspidal automorphic representations π on GL 2 posits

More information

COUNTING MOD l SOLUTIONS VIA MODULAR FORMS

COUNTING MOD l SOLUTIONS VIA MODULAR FORMS COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation

More information

QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES.

QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES. QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES. P. GUERZHOY The notion of quadratic congruences was introduced in the recently appeared paper [1]. In this note we present another, somewhat more conceptual

More information

RATIONAL EIGENVECTORS IN SPACES OF TERNARY FORMS

RATIONAL EIGENVECTORS IN SPACES OF TERNARY FORMS MATHEMATICS OF COMPUTATION Volume 66, Number 218, April 1997, Pages 833 839 S 0025-5718(97)00821-1 RATIONAL EIGENVECTORS IN SPACES OF TERNARY FORMS LARRY LEHMAN Abstract. We describe the explicit computation

More information

ETA-QUOTIENTS AND ELLIPTIC CURVES

ETA-QUOTIENTS AND ELLIPTIC CURVES PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3169 3176 S 0002-9939(97)03928-2 ETA-QUOTIENTS AND ELLIPTIC CURVES YVES MARTIN AND KEN ONO (Communicated by

More information

ON THE POSITIVITY OF THE NUMBER OF t CORE PARTITIONS. Ken Ono. 1. Introduction

ON THE POSITIVITY OF THE NUMBER OF t CORE PARTITIONS. Ken Ono. 1. Introduction ON THE POSITIVITY OF THE NUMBER OF t CORE PARTITIONS Ken Ono Abstract. A partition of a positive integer n is a nonincreasing sequence of positive integers whose sum is n. A Ferrers graph represents a

More information

Mock modular forms and their shadows

Mock modular forms and their shadows Mock modular forms and their shadows Zachary A. Kent Emory University Classical Eichler-Shimura Theory Modular Forms Basic Definitions Classical Eichler-Shimura Theory Modular Forms Basic Definitions Notation:

More information

THE NUMBER OF PARTITIONS INTO DISTINCT PARTS MODULO POWERS OF 5

THE NUMBER OF PARTITIONS INTO DISTINCT PARTS MODULO POWERS OF 5 THE NUMBER OF PARTITIONS INTO DISTINCT PARTS MODULO POWERS OF 5 JEREMY LOVEJOY Abstract. We establish a relationship between the factorization of n+1 and the 5-divisibility of Q(n, where Q(n is the number

More information

GUO-NIU HAN AND KEN ONO

GUO-NIU HAN AND KEN ONO HOOK LENGTHS AND 3-CORES GUO-NIU HAN AND KEN ONO Abstract. Recently, the first author generalized a formula of Nekrasov and Okounkov which gives a combinatorial formula, in terms of hook lengths of partitions,

More information

denote the Dirichlet character associated to the extension Q( D)/Q, that is χ D

denote the Dirichlet character associated to the extension Q( D)/Q, that is χ D January 0, 1998 L-SERIES WITH NON-ZERO CENTRAL CRITICAL VALUE Kevin James Department of Mathematics Pennsylvania State University 18 McAllister Building University Park, Pennsylvania 1680-6401 Phone: 814-865-757

More information

Modular Forms, Elliptic Curves, and Modular Curves

Modular Forms, Elliptic Curves, and Modular Curves 1 Modular Forms, Elliptic Curves, and Modular Curves This chapter introduces three central objects of the book. Modular forms are functions on the complex upper half plane. A matrix group called the modular

More information

Moonshine: Lecture 3. Moonshine: Lecture 3. Ken Ono (Emory University)

Moonshine: Lecture 3. Moonshine: Lecture 3. Ken Ono (Emory University) Ken Ono (Emory University) I m going to talk about... I m going to talk about... I. History of Moonshine I m going to talk about... I. History of Moonshine II. Distribution of Monstrous Moonshine I m going

More information

LEVEL 17 RAMANUJAN-SATO SERIES. 1. Introduction Let τ be a complex number with positive imaginary part and set q = e 2πiτ. Define

LEVEL 17 RAMANUJAN-SATO SERIES. 1. Introduction Let τ be a complex number with positive imaginary part and set q = e 2πiτ. Define LEVEL 17 RAMANUJAN-SATO SERIES TIM HUBER, DANIEL SCHULTZ, AND DONGXI YE Abstract. Two level 17 modular functions r q 1 q n n 17, s q 1 q 17n 3 1 q n 3, are used to construct a new class of Ramanujan-Sato

More information

MOCK MODULAR FORMS AS p-adic MODULAR FORMS

MOCK MODULAR FORMS AS p-adic MODULAR FORMS MOCK MODULAR FORMS AS p-adic MODULAR FORMS KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE Abstract. In this paper, we consider the question of correcting mock modular forms in order to obtain p-adic modular

More information

A MIXED MOCK MODULAR SOLUTION OF KANEKO ZAGIER EQUATION. k(k + 1) E 12

A MIXED MOCK MODULAR SOLUTION OF KANEKO ZAGIER EQUATION. k(k + 1) E 12 A MIXED MOCK MODULAR SOLUTION OF KANEKO ZAGIER EQUATION P. GUERZHOY Abstract. The notion of mixed mock modular forms was recently introduced by Don Zagier. We show that certain solutions of Kaneko - Zagier

More information

RECENT WORK ON THE PARTITION FUNCTION

RECENT WORK ON THE PARTITION FUNCTION RECENT WORK ON THE PARTITION FUNCTION JAN HENDRIK BRUINIER, AMANDA FOLSOM, ZACHARY A. KENT, AND KEN ONO Abstract. This expository article describes recent work by the authors on the partition function

More information

RESEARCH ANNOUNCEMENTS PROJECTIONS OF C AUTOMORPHIC FORMS BY JACOB STURM 1

RESEARCH ANNOUNCEMENTS PROJECTIONS OF C AUTOMORPHIC FORMS BY JACOB STURM 1 BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 2, Number 3, May 1980 RESEARCH ANNOUNCEMENTS PROJECTIONS OF C AUTOMORPHIC FORMS BY JACOB STURM 1 The purpose of this paper is to exhibit

More information

ALGEBRAIC FORMULAS FOR THE COEFFICIENTS OF MOCK THETA FUNCTIONS AND WEYL VECTORS OF BORCHERDS PRODUCTS

ALGEBRAIC FORMULAS FOR THE COEFFICIENTS OF MOCK THETA FUNCTIONS AND WEYL VECTORS OF BORCHERDS PRODUCTS ALGEBRAIC FORMULAS FOR THE COEFFICIENTS OF MOCK THETA FUNCTIONS AND WEYL VECTORS OF BORCHERDS PRODUCTS JAN HENDRIK BRUINIER AND MARKUS SCHWAGENSCHEIDT Abstract. We present some applications of the Kudla-Millson

More information

On Kaneko Congruences

On Kaneko Congruences On Kaneko Congruences A thesis submitted to the Department of Mathematics of the University of Hawaii in partial fulfillment of Plan B for the Master s Degree in Mathematics. June 19 2012 Mingjing Chi

More information

SOME CONGRUENCES FOR PARTITIONS THAT ARE p-cores. Frank G. Garvan

SOME CONGRUENCES FOR PARTITIONS THAT ARE p-cores. Frank G. Garvan SOME CONGRUENCES FOR PARTITIONS THAT ARE p-cores Frank G. Garvan Department of Mathematics Statistics & Computing Science Dalhousie University Halifax, Nova Scotia Canada B3H 3J5 October 18, 1991 Abstract.

More information

The zeros of the Weierstrass function and hypergeometric series

The zeros of the Weierstrass function and hypergeometric series The zeros of the Weierstrass function and hypergeometric series W. Duke and Ö. Imamoḡlu ABSTRACT. We express the zeros of the Weierstass -function in terms of generalized hypergeometric functions. As an

More information

Modular forms and the Hilbert class field

Modular forms and the Hilbert class field Modular forms and the Hilbert class field Vladislav Vladilenov Petkov VIGRE 2009, Department of Mathematics University of Chicago Abstract The current article studies the relation between the j invariant

More information

The j-function, the golden ratio, and rigid meromorphic cocycles

The j-function, the golden ratio, and rigid meromorphic cocycles The j-function, the golden ratio, and rigid meromorphic cocycles Henri Darmon, McGill University CNTA XV, July 2018 Reminiscences of CNTA 0 The 1987 CNTA in Quebec City was an exciting one for me personally,

More information

Theta and L-function splittings

Theta and L-function splittings ACTA ARITHMETICA LXXII.2 1995) Theta and L-function splittings by Jeffrey Stopple Santa Barbara, Cal.) Introduction. The base change lift of an automorphic form by means of a theta kernel was first done

More information

Ramanujan-type Congruences for Broken 2-Diamond Partitions Modulo 3

Ramanujan-type Congruences for Broken 2-Diamond Partitions Modulo 3 Ramanujan-type Congruences for Broken 2-Diamond Partitions Modulo 3 William Y.C. Chen 1, Anna R.B. Fan 2 and Rebecca T. Yu 3 1,2,3 Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin 300071,

More information

A NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS

A NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS A NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS IWAO KIMURA ABSTRACT. Let l > 3 be an odd prime. Let S 0, S +, S be mutually disjoint nite sets of rational primes. For

More information

SHIMURA LIFTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS ARISING FROM THETA FUNCTIONS

SHIMURA LIFTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS ARISING FROM THETA FUNCTIONS SHIMURA LIFTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS ARISING FROM THETA FUNCTIONS DAVID HANSEN AND YUSRA NAQVI Abstract. In 1973, Shimura [8] introduced a family of correspondences between modular forms

More information

(1.1) p(n) 1 3 Rademacher [11] then perfected the method to derive the exact formula

(1.1) p(n) 1 3 Rademacher [11] then perfected the method to derive the exact formula RAMANUJAN AND COEFFICIENTS OF MEROMORPHIC MODULAR FORMS KATHRIN BRINGMANN AND BEN KANE Abstract. The study of Fourier coefficients of meromorphic modular forms dates back to Ramanujan, who, together with

More information

SHIMURA LIFTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS ARISING FROM THETA FUNCTIONS

SHIMURA LIFTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS ARISING FROM THETA FUNCTIONS SHIMURA LIFTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS ARISING FROM THETA FUNCTIONS DAVID HANSEN AND YUSRA NAQVI Abstract In 1973, Shimura [8] introduced a family of correspondences between modular forms

More information

The Galois Representation Associated to Modular Forms (Part I)

The Galois Representation Associated to Modular Forms (Part I) The Galois Representation Associated to Modular Forms (Part I) Modular Curves, Modular Forms and Hecke Operators Chloe Martindale May 20, 2015 Contents 1 Motivation and Background 1 2 Modular Curves 2

More information

A class of non-holomorphic modular forms

A class of non-holomorphic modular forms A class of non-holomorphic modular forms Francis Brown All Souls College, Oxford (IHES, Bures-Sur-Yvette) Modular forms are everywhere MPIM 22nd May 2017 1 / 35 Two motivations 1 Do there exist modular

More information

An Analogy of Bol s Result on Jacobi Forms and Siegel Modular Forms 1

An Analogy of Bol s Result on Jacobi Forms and Siegel Modular Forms 1 Journal of Mathematical Analysis and Applications 57, 79 88 (00) doi:0.006/jmaa.000.737, available online at http://www.idealibrary.com on An Analogy of Bol s Result on Jacobi Forms and Siegel Modular

More information

Rank-one Twists of a Certain Elliptic Curve

Rank-one Twists of a Certain Elliptic Curve Rank-one Twists of a Certain Elliptic Curve V. Vatsal University of Toronto 100 St. George Street Toronto M5S 1A1, Canada vatsal@math.toronto.edu June 18, 1999 Abstract The purpose of this note is to give

More information

An application of the projections of C automorphic forms

An application of the projections of C automorphic forms ACTA ARITHMETICA LXXII.3 (1995) An application of the projections of C automorphic forms by Takumi Noda (Tokyo) 1. Introduction. Let k be a positive even integer and S k be the space of cusp forms of weight

More information