SUPER-REPLICABLE FUNCTIONS N (j 1,N ) AND PERIODICALLY VANISHING PROPERTY

Size: px
Start display at page:

Download "SUPER-REPLICABLE FUNCTIONS N (j 1,N ) AND PERIODICALLY VANISHING PROPERTY"

Transcription

1 J. Korean Math. Soc , No., pp SUPER-REPLICABLE FUNCTIONS N j 1,N AND PERIODICALLY VANISHING PROPERTY Chang Heon Kim and Ja Kyung Koo Reprinted from the Journal of the Korean Mathematical Society Vol. 44, No., March 007 c 007 The Korean Mathematical Society

2 J. Korean Math. Soc , No., pp SUPER-REPLICABLE FUNCTIONS N j 1,N AND PERIODICALLY VANISHING PROPERTY Chang Heon Kim and Ja Kyung Koo Abstract. We find the super-replication formulae which would be a generalization of replication formulae. And we apply the formulae to derive periodically vanishing property in the Fourier coefficients of the Hauptmodul N j 1,1 as a super-replicable function. 1. Introduction Let H be the complex upper half plane and let Γ 1 N be a congruence subgroup of SL Z whose elements are congruent to 1 mod N N = 1,,.... Since the group Γ 1 N acts on H by linear fractional transformations, we get the modular curve X 1 N = Γ 1 N\H, as a projective closure of the smooth affine curve Γ 1 N\H, with genus g 1,N. Here, H denotes the union of H and P 1 Q. Ishida and Ishii showed in [11] that for N 7, the function field KX 1 N is generated over C by the modular functions X z, N ɛ N N and X 3 z, N N, r 1N 1 πi N 1 K where X r z, N = e r,s z 4N s=0 K and ɛ 1,sz N is 1 or according as N is odd or even. Here, K r,s z is a Klein form of level N for integers r and s not both congruent to 0 mod N. On the other hand, since the genus g 1,N = 0 only for the eleven cases 1 N 10 and N = 1 [5], [15], the function field KX 1 N in this case is a rational function field Cj 1,N for some modular function j 1,N Table 3, Appendix. The element of Γ 1N takes z to z + 1, and in particular a modular function f in KX 1 N is periodic. Thus it can be written as a Laurent series in q = e πiz z H, which is called a q-series or q-expansion of f. We call f normalized if its q-series starts with q a 1 q + a q +. By a Hauptmodul t we mean the normalized generator of a genus zero function field KX 1 N and we write t = q k 1 H kq k for its q-series. For a Fuchsian group Γ, let Γ denote the inhomogeneous group of Γ = Γ/ ± I. Let Γ 0 N be the Hecke subgroup given by { c d SL Z c 0 Received August 1, Mathematics Subject Classification. 11F03, 11F. Key words and phrases. modular function, Hauptmodul, Thompson series, replicable, super-replicable. 343 c 007 The Korean Mathematical Society

3 344 CHANG HEON KIM AND JA KYUNG KOO mod N}. Also, let t = N j 1,N be the Hauptmodul of Γ 1 N and X n t be a unique polynomial in t of degree n such that X n t 1 n q n belongs to the maximal ideal of the local ring C[[q]]. Polynomials with this property are known as the Faber polynomials [5], Chapter 4. Write X n t = 1 n q n + m 1H m,n q m. When Γ 1 N = Γ 0 N, N j 1,N becomes a replicable function, that is, it satisfies the following replication formulae H a,b = H c,d whenever ab = cd and a, b = c, d [1], [3], []. Given a replicable function f the n-plicate of f is defined iteratively by f n nz = az + b f a + nx n f d ad=n 0 b<d where the primed sum means that the term with a = n is omitted [3]. We call f completely replicable if f is a replicable function with rational integer coefficients and has only a finite number of distinct replicates, which are themselves replicable functions. According to [1] there are, excluding the trivial cases q 1 + aq, 36 completely replicable functions of which 171 are monstrous functions, i.e., modular functions whose q-series coincide with the Thompson series T g q = n Z Trg V nq n for some element g of the monster simple group M whose order is approximately Here we observe that V = n ZV n is the infinite dimensional graded representation of M constructed by Frenkel et al. [8], [9]. Furthermore, in [3] Cummins and Norton showed that if f is replicable, it can be determined only by the 1 coefficients of its first 3 ones. If Γ 1 N Γ 0 N, unlike those replicable functions mentioned above, we show in 3 that the Fourier coefficients of X n t with t = N j 1,N N 7, 9 satisfy a twisted formula 10 by a character ψ see Corollary 11. Here we note that when we work with the Thompson series, it is reduced to replication formulae in by viewing ψ as the trivial character. Thus in this sense it gives a more general class of modular functions, which we propose to call N j 1,N a super-replicable function. There would be certain similarity between some of replicable functions and super-replicable ones as follows. We derived in [19] the following self-recursion formulas for the Fourier coefficients of N j 1,N without the aid of its -plicate when N =, 6, 8, 10, 1: for k 1, H 4k 1 = H k j k 1 + α H 4k H k 1 H j H 4k j 1 j k H j H 4k j

4 H 4k = β H 4k H 4k+1 = H k + SUPER-REPLICABLE FUNCTIONS j<k H 4k+ = β H 4k 1 j<k 1 H j H k j 1 H j H 4k j + α H 4k + H k H j H k j, 1 j<k 1 j<k H j H 4k j where α = N j 1,N 1+N/ N and β = N j 1,N 1 N/. Furthermore, we verified in [0] that the above recursion can be also applied to 14 monstrous functions of even levels including N j 1, and N j 1,6 which are Thompson series of type B, 6C, 6E, 6F, 10B, 10E, 14B, 18C, 18D, B, 30C, 30G, 4C, 46AB these are all replicable functions and one monster-like function of type 18e for the definition of monster-like function, we refer to [6]. Therefore the Hauptmoduln mentioned above which have self-recursion formulas can be determined just by the first four coefficients H 1, H, H 3 and H 4 without the aid of -plicate. What is more interesting would be the fact that there seems to be a connection between super-replicable functions and infinite dimensional Lie superalgebras. That is, considering the arguments from Borcherds [], Kang [1] and Koike [] we have believed that the super-replication formulae in 10 might suggest the existence of certain infinite dimensional Lie superalgebra whose denominator identity implies such formulae. Meanwhile, Kang et al. [14] recently showed that there is indeed such a Lie algebra as follows. Let Γ be a free abelian group of finite rank and Γ be a countable usually infinite sub-semigroup in Γ such that every element in Γ can be written as a sum of elements of Γ in only finitely many ways. We consider a Γ Z -graded Lie superalgebra [13] with a product identity of the form exp 1 k νk α, ae kα,a = 1 ζβ, be β,b, α,a Γ Z k 1 β,b Γ Z where ν k α, a, ζβ, b Z and E λ,a are the basis elements of the semi-group algebra C[Γ Z ] with the multiplication given by E λ,a E µ,b = E λ+µ,a+b for λ, µ Γ and a, b Z. When rank Γ =, Γ= Z Z and Γ= Z >0 Z >0, they proved that one can get the product identity of the form exp 1 k νk m, np km q kn = 1 ζm, np m q n m,n=1 k 1 m,n=1 with p = E 1,0 and q = E 0,1, from which one derives a characterization of the super-replication formulae. Moreover, they further computed the supertraces of the Monster Lie superalgebras associated with super-replicable functions.

5 346 CHANG HEON KIM AND JA KYUNG KOO Lastly, as an application of super-replication formulae we consider the following periodically vanishing property. Many of monstrous functions, for example, Thompson series of type 4B, 4C, 4D, 6F, 8B, 8C, 8D, 8E, 8F, 9B, etc have periodically vanishing properties among the Fourier coefficients see the Table 1 in [4]. This result must be known to experts, but we could not find a reference. Hereby we describe it in Theorem 13. Meanwhile, as for the case of super-replicable functions, we see from the Appendix, Table 4 that only the Haupmodul N j 1,1 seems to have such property. To this end, we shall first derive in 4 an identity 4 which is analogous to the k -plication formula [7], [] satisfied by replicable functions. And, combining this with the superreplication formulae we are able to verify that the Fourier coefficients H m of N j 1,1 vanish whenever m 4 mod 6 Corollary 19. Through the article we adopt the following notations: S Γ1 N the set of Γ 1 N-inequivalent cusps q h = e πiz/h, z H f = f c d az+b cz+d fz = gz + O1 means that fz gz is bounded as z goes to i.. Hauptmodul of Γ 1 1 In this section we investigate the generalities of the modular function j 1,1 which is under primary consideration and construct the Hauptmodul N j 1,1. We also examine some number theoretic property of N j 1,1. As for more arithmetic properties, we refer to [10]. Lemma 1. Let a a c and c be fractions in lowest terms. Then a c is Γ 1N- equivalent to a c if and only if ± a c a+nc c mod N for some n Z. Proof. Straightforward. Using the above lemma we can check that the cusps 0, 1/, 1/3, 1/4, 1/5, 1/6, 1/8, 1/9,, 5/1 are Γ 1 1-inequivalent. But from [15] we know that the cardinality of S Γ1 1 is 10, whence S Γ1 1 = {0, 1/, 1/3, 1/4, 1/5, 1/6, 1/8, 1/9,, 5/1}. For later use we are in need of calculating the widths of the cusps of Γ 1 1. Lemma. Let a/c P 1 Q be a cusp where a, c = 1. Then the width of a/c in X 1 N is given by N/c, N if N 4. Proof. If N 4, the statement is obvious. Hence, we assume that N does not divide 4, i.e., N 1,, 4. First, choose b and d such that c d SL Z. Let

6 SUPER-REPLICABLE FUNCTIONS 347 h be the width of the cusp a/c. Then h is the smallest positive integer such that 1 1 h ±Γ c d 0 1 c d 1 N. Thus we have 1 cah c ±Γ h 1 + cah 1 N. 1 cah If c is an element of Γ h 1 + cah 1 N, by taking trace 1 cah mod N; hence N 4. Thus when N 1,, 4, c Γ h 1 + cah 1 N. This condition is equivalent to saying that h N c, N Z N ca, N Z = N c, N Z. We then have the following table of inequivalent cusps of Γ 1 1: Table 1. cusp 0 1/ 1/3 1/4 1/5 1/6 1/8 1/9 5/1 width Recall the Jacobi theta functions θ, θ 3, and θ 4 defined by θ z = n Z θ 3 z = n Z q n+ 1 q n θ 4 z = 1 n q n n Z for z H. We have the following transformation formulas [8] pp θ z + 1 = e 1 4 πi θ z θ 3 z + 1 = θ 4 z θ 4 z + 1 = θ 3 z θ 1 = iz 1 θ4 z z θ 3 1 = iz 1 θ3 z z θ 4 1 = iz 1 θ z. z

7 348 CHANG HEON KIM AND JA KYUNG KOO Lemma 3. Let k be an odd positive integer and N be a multiple of 4. Then for F z M k Γ 0 N and m 1, F mz M k Γ 0 mn, χ m with χ m d = and d, m = 1. m d Proof. [31], Proposition 1.3. Put j 1,1 z = θ 3 z/θ 3 6z. Theorem 4. a θ 3 z M 1 Γ 0 4 and θ 3 6z M 1 Γ 0 1, χ 3. b KX 1 1 is equal to Cj 1,1 z. j 1,1 takes the following value at each cusp: j 1,1 = 1, j 1, = 3, j 1,1 1 = 0 a simple zero, j 1,1 1 3 = i, j 1,1 1 4 = 3i, j 1,1 1 5 = 3, j 1,1 1 6 = a simple pole, j 1,1 1 8 = 3i, j 1,1 1 9 = i, j 1,1 5 1 = 1. Proof. For the first part, we recall that [1], p.184 θ 3 z M 1 Γ 0 4. Then by Lemma 3 we immediately get that θ 3 6z M 1 Γ 0 1, χ 3. By the assertion a, it is clear that j 1,1 z KX 1 1. Thus for b, it is enough to show that j 1,1 z has only one simple zero and one simple pole on the curve X 1 1. As is well-known, θ 3 z never vanishes on H. Hence we are forced to investigate the zeroes and poles of j 1,1 at each cusp of Γ 1 1. Let S = 0 1 and T = i s = : ii s = 0: θ 3 z j 1,1 = lim z i θ 3 6z = lim 1 + q + q 4 + q q 3 + q 1 + = 1. j 1, = θ 3 z lim z i = lim z i = 3. θ 3 6z S i z θ 3 z i z 6 θ 3 z 6 by 5 iii s = 1 : We Observe that ST S = 1 = 1.

8 SUPER-REPLICABLE FUNCTIONS 349 Considering the identities θ 3 z [S]1 = z 1 θ 3 = z 1 { iz 1 z θ3 } z by 5 = i z θ 3 θ 3 z [ST ] 1 = i z θ 3 [T ] 1 = i z θ 4 by 3 θ 3 z [ST S] 1 = i z θ 4 [S]1 = i z 1 { iz 1 θ z} by 6 we get that On the other hand = θ z, θ 3 z s= 1 = lim θ 3z [ST z i S] 1 = lim θ z z i = lim z i q 1 + q + q 6 + q 1 + since θ z = q q + q 3 + = 0 a triple zero. θ 3 z = 1 θ 3 z = 1 θ 3 z = 1 θ 3 z = 1 3 θ z = 3 1 θ z 1 = 3 1 e πi 3 q 6 1 +, 3 so that θ 3 6z has a simple zero at 1. Thus j 1,1 = θ3z θ 3 6z at 1, whence j 1,1 has a simple zero at 1. iv s = 1 3 : ST 3 S = 1 3. First we recall that θ 3 z = 3 θ 3 z θ 3 6z S θ 3 z 6 by 5. has a double zero Observe that θ z = 1 θ 3 z θ 4 z and θ 3z = 1 θ 3 z + θ 4 z. From these identities we can write θ 3 z = θ z + θ 3 z and θ 3 z 6 = θ 3 z +

9 350 CHANG HEON KIM AND JA KYUNG KOO θ 3 3z. Then we have that and θ 3 z = 3 θz + θ 3 z θ 3 6z ST 3 θ 3 z + θ 3 3 z T 3 = 3 = 3 πi e 4 6 θ z + θ 3 z e πi 4 θ 3 z + θ 3 3 z by 1, and 3, iθ z + θ 3 z iθ 3 z + θ 3 3 z θ 3 z = iθ z + θ 3 z 3 θ 3 6z ST 3 S iθ 3 z + θ 3 3 z S = iθ 4 z 3 + θ 3 z i 3θ 4 3 z + 3θ 3 3 z by 4 and 5 which goes to i+1 i+1 = i as z i, so that 1 j 1,1 = i. 3 v s = 1 4 : = 1 4. In this case we use the following well-known fact from [1] p.148 : For γ Γ 0 4 and z H, where Θz = θ 3 z. Then c 1 1 Θγz = cz + d, d d θ 3 z Θ = z θ 3 6z 4 1 Θ z = Θ 4 1 z Θ z 4z + 1 Θz = 4 3 i 1 4 z Θ z = 3i Θz Θ z 3 which tends to 3i when z goes to i. Therefore 1 j 1,1 = 3i. 4

10 SUPER-REPLICABLE FUNCTIONS 351 vi s = 1 5 : Because sends to 1 5, j 1,1 1 5 θ 3 z = lim z i θ 3 6z = lim θ 3z z i θ 3 6z by a 0 1 = j 1, = 3. vii s = 1 6 : Observe that ST 6 S = 1 6. Considering the identities θ 3 z = 3 θ3 z θ 3 6z S θ 3 z 6 by 5 θ 3 z = 3 θ3 z θ 3 6z ST 6 θ 3 z = 3 θ4 z θ 3 6z ST 6 S θ 4 z 6 = 3 S θ 3 z 6 = 3 θ4 z θ T 6 4 z 6 by and 3 iz θ z by 6, 6iz θ 6z we have that j 1,1 1 6 θ 3 z θ z = lim = lim z i θ 3 6z ST 6 z i S θ 6z q = lim 81 + q + q 6 + z i q q6 + q since θ z = q q + q 3 + Thus by Table 1, j 1,1 has a simple pole at 1 6. viii s = 1 8 : Because sends to 1 8, j 1,1 1 8 θ 3 z = lim z i θ 3 6z = lim θ 3z by a z i θ 3 6z = j 1,1 = 3i. 4

11 35 CHANG HEON KIM AND JA KYUNG KOO ix s = 1 9 : Because sends to 1 9, 1 θ 3 z j 1,1 = lim 9 z i θ 3 6z = lim θ 3z by a z i θ 3 6z = j 1,1 = i. 3 x s = 5 1 : = 5 1. j 1,1 5 1 θ 3 z = lim z i θ 3 6z = lim θ 3z by a z i θ 3 6z = 1. We will now construct the Hauptmodul N j 1,1 from the modular function j 1,1 mentioned in Theorem 4. j 1,1 z 1 = θ 3 6z θ 3 z θ 3 6z = 1 + q3 + q 1 + q 7 + q q 3 + q 4 + q 9 q 1 + = 1 q + q + q + q 3 q 6 q 7 q 8 q 9 + q 11 + q 1 +, which is in q 1 Z[[q]]. From the uniqueness of the normalized generator it follows that N j 1,1 = j 1,1 1. By Theorem 4-b we have the following table: Table. Cusp values of j 1,1 and N j 1,1 s 0 1/ 1/3 1/4 1/5 1/6 1/8 1/9 5/1 j 1,1 s i 3i 3 3i i 1 N j 1,1 s i 1 3i i 1 + i 1 Theorem 5. Let d be a square free positive integer and t = Nj 1,N be the normalized generator of KX 1 N. Let s be a cusp of Γ 1 N whose width is h s. If t q 1 Z[[q]] and s S Γ1 tz tshs is a polynomial in Z[t], N { } then tτ is an algebraic integer for τ Q d H. Proof. Let jz = q +, the elliptic modular function. It q is well-known that jτ is an algebraic integer for τ Q d H [3], [30]. For algebraic proofs, see [4], [6], [9] and [3]. Now, we view j as a function

12 SUPER-REPLICABLE FUNCTIONS 353 on the modular curve X 1 N. Then j has a pole of order h s at the cusp s. On the other hand, tz ts has a simple zero at s. Thus j tz ts h s s S Γ1 N { } has a pole only at whose degree is µ N = [Γ1 : Γ 1 N], and so by the Riemann-Roch Theorem it is a monic polynomial in t of degree µ N which we denote by ft. Since s S Γ1 N { } tz tsh s is a polynomial in Z[t] and j, t have integer coefficients in the q-expansions, ft is a monic polynomial in Z[t] of degree µ N. This shows that tτ is integral over Z[jτ]. Therefore tτ is integral over Z for τ Q d H. Corollary 6. For τ Q d H, N j 1,1 τ is an algebraic integer. Proof. N j 1,1 has integral Fourier coefficients. And by Table 1 and, tz ts h s s S Γ1 1 { } = t t 1 t + 6 t + t + 4 t + t t t + 1 Z[t]. Now the assertion is immediate from Theorem Super-replication formulae Let n be the set of integral matrices c d, where a 1 + NZ, c NZ, and ad bc = n. Then n has the following right coset decomposition: See [1], [5], [30] n a 1 7 n i =, a n a,n=1 i=0 Γ 1 Nσ a a n 0 a where σ a SL Z such that σ a a 0 a mod N. Let fz be a modular function with respect to Γ 1 N. For brevity, let us call it fz is on Γ 1 N. For f KX 1 N we define an operator U n and T n by and n 1 f Un = n 1 f 1 i 0 n i=0 f Tn = n 1 a n a,n=1 n a 1 i=0 f σa a i 0 n a Lemma 7. For f KX 1 N and γ 0 Γ 0 N, f Tn γ0 = f γ0 Tn for any positive integer n. In particular, f Tn is again on Γ 1 N..

13 354 CHANG HEON KIM AND JA KYUNG KOO Proof. First we claim that Let c d n. Then γ 0 1 c d a n a,n=1 n γ 0 = γ 0 n γ0 = w y z x i=0 for γ 0 = x y z w Γ 0 N. c d x y z w d mod N. Hence γ n γ 0 n so that n γ 0 γ 0 n. By the same argument we can show the reverse inclusion. We note that n a 1 n a i γ 0 = Γ 1 Nσ a γ 0 and γ 0 n = = a n a,n=1 a n a,n=1 n a 1 i=0 n a 1 i=0 Here we note that σ a a i 0 n a f Tn γ0 and γ 0 σ a i a 0 n a Now the assertion follows. n 0 a γ 0 Γ 1 Nσ a a Γ 1 Nγ 0 σ a a n 0 a n 0 a i i because Γ 1 N Γ 0 N. γ 0 s are the matrices appearing in the definition of s are those appearing in the definition of f γ0 Tn. For a positive integer N with g 1,N = 0, we let t resp. t 0 be the Hauptmodul of Γ 1 N resp. Γ 0 N. And, we write X n t = 1 n q n + m 1 H m,nq m and X n t 0 = 1 n q n + m 1 h m,nq m. Lemma 8. For positive integers m and n, H m,n = H n,m and h m,n = h n,m. Proof. Let p = e πiy and q = e πiz with y, z H. Note that X n t can be viewed as the coefficient of p n -term in log p logty tz [7]. Thus H m,n becomes the coefficient of p n q m -term of log p logty tz = log1 p/q + logp 1 q 1 logty tz = 1 i p/qi F p, q, i 1 p where F p, q = log 1 q 1 + i 1 Hipi q i p 1 q. We then come up with F p, q 1 = F q, p, which implies that H m,n = H n,m. Similarly if we work with t 0 instead of t, the identity h m,n = h n,m follows.

14 SUPER-REPLICABLE FUNCTIONS 355 Theorem 9. For positive integers n and l such that n, N = l, n = 1, X l t Tn = X ln t σn + c, where c is a constant. In particular, t Tn = X n t σn + c. Proof. Since X l t has poles only at Γ 1 N, the poles of X l t Tn can occur 1 only at a i 0 n 1 σa Γ a 1 N, where a and i are the indices appearing in the definition of T n. On the other hand, we have 1 a i 0 1 n σa Γ a 1 N = n 1 n a i 1 σa Γ 0 a 1 N = n a i 1 σa Γ 1 N. Let γ be an element in Γ 1 N. Then 1 σa γ n n a i 0 a a i 0 a 0 a a 0 0 a mod N n 0 1 = n + Nm Nk for some k, m Z. If there exists an integer x > 1 with x n + Nm, Nk, then x must divide det [ n a i 1 σa γ ] = n. In this case x N because n, N = 1. 0 a 1 Therefore 1 σa γ is of the form γ 0 for some γ 0 Γ 0 N. Now a i 0 n a we conclude that X l t Tn can have poles only at γ 0 for some γ 0 Γ 0 N. By Lemma 7, nx l t Tn γ0 = nx l t γ0 Tn = a n = a n a n n a 1 i=0 Here we note that X l t γ0 σa a i 0 n a n a X lt γ0 σa U na az = a n n a X lt γ0 σa U na az + X l t γ0 σ n nz. a n a n n a X lt γ0 σa U na az = O1. In fact, if γ 0 σ a / ±Γ 1 N, it is clear that X l t γ0 σa U na has a holomorphic q-expansion. Otherwise X l t γ0σ au n = X l t U na a = l 1 q l + terms of positive degree U na = O1

15 356 CHANG HEON KIM AND JA KYUNG KOO because l, n = 1. Now we have 8 nx l t Tn γ0 = X l t γ0σ n nz + O1. This implies that X l t Tn has a pole at γ 0 if and only if γ 0 σ n ±Γ 1 N, that is, γ 0 ±Γ 1 Nσ n 1. Hence X l t Tn has poles only at cusps Γ 1 Nσ n 1. In this case we derive from 8 nx l t Tn σn 1 = X l t σn 1 σ n nz + O1 = l 1 q ln + O1. Thus X l t Tn σn 1 = nl 1 q ln +O1 and X l t Tn σn 1 has poles only at cusps σ n Γ 1 Nσ 1 n = Γ 1 N. On the other hand, X ln t has poles only at Γ 1 N too and X ln t = ln 1 q ln + O1. Therefore X l t Tn σn 1 = X ln t + c for some constant c. Then we have X l t Tn = X ln t σn + c, as desired. Corollary 10. Let N be a positive integer such that the genus g 1,N is zero and [Γ 0 N : Γ 1 N]. For positive integers n, l and m such that n, N = l, n = 1, we have { } e 1 ψe H mn e,l h mn e,l + h mn e,l e m,n e>0 = ψnh m,ln h m,ln + h m,ln, where ψ : Z/NZ {±1} is a character defined by { 1, if e ±1 mod N ψe = 1, otherwise. Proof. It follows from Theorem 9 that 9 X l t Tn = e n e>0 e 1 X l t σe U ne ez = X ln t σn + constant. Note that for each positive integer r, { X r t, if e ±1 mod N X r t σe + X r t = X r t 0 + constant, otherwise. In the above when e is not congruent to ±1 mod N, X r t σe + X r t is on Γ 0 N and has poles only at Γ 0 N with r 1 q r as its pole part, which guarantees the above equality. We then have X r t σe = 1 {ψex rt X r t 0 + X r t 0 } + constant.

16 SUPER-REPLICABLE FUNCTIONS 357 Now 9 reads e n e>0 e 1 1 {ψex lt X l t 0 + X l t 0 } U ne ez = 1 {ψnx lnt X ln t 0 + X ln t 0 } + constant. Comparing the coefficients of q m -terms on both sides, we get the corollary. Corollary 11. Let N be a positive integer such that the genus g 1,N is zero and [Γ 0 N : Γ 1 N]. For positive integers a, b, c, d with ab = cd, a, b = c, d and b, N = d, N = 1, 10 H a,b = ψbdh c,d + 1 ψbd h c,d. Proof. In Corollary 10 we take n = b, l = 1 and m = a. Then it follows from the conditions and the replicability of h m,n that Now the assertion follows. ψbh a,b h a,b = ψdh c,d h c,d. Corollary 1. Let N be a positive integer with g 1,N = 0 and [Γ 0 N : Γ 1 N] =. If mn, N = 1 and mn ±1 mod N, then h m,n = H m,n. Proof. In Corollary 11 we take a = m, b = n and c = n, d = m. The condition that ψmn = 1 implies This proves the corollary. H m,n = H n,m + h n,m = H m,n + h m,n by Lemma Vanishing property in the Fourier coefficients of N j 1,1 As mentioned in the introduction, many of the Thompson series have periodically vanishing properties among the Fourier coefficients. Now we will give a more theoretical explanation for these phenomena. Let T g be the Thompson series of type g and Γ g be its corresponding genus zero group. To describe Γ g we are in need of some notations. Let N be a positive integer and Q be any Hall divisor of N, that is, Q be a positive divisor of N for which Q, N/Q = 1. We denote by W Q,N a matrix Qx y Nz Qw with det W Q,N = Q and x, y, z and w Z, and call it an Atkin-Lehner involution. Let S be a subset of Hall divisors of N and let Γ = N + S be the subgroup of P SL R generated by Γ 0 N = { c d SL Z c 0 mod N} and all Atkin-Lehner involutions W Q,N for Q S. For a positive divisor h of 4, let n be a multiple of h and set N = nh. When S is a subset of Hall divisors of n/h,

17 358 CHANG HEON KIM AND JA KYUNG KOO we denote by Γ 0 n h + S the group generated by h 0 1 Γ 0 n/h h 0 and h 0 1 W Q,n/h h 0 for all Q S. If there exists a homomorphism λ of Γ 0 n h + S into C such that λγ 0 N = 1, λ 1 1/h 0 1 = e πi/h, { λ n 1 = e πi/h if n/h S, e πi/h if n/h / S, λ is trivial on all Atkin-Lehner involutions of Γ 0 N in Γ 0 n h + S, then we let n h + S be the kernel of λ which is a subgroup of Γ 0 n h + S of index h. Ferenbaugh [6] found out a necessary and sufficient condition for the homomorphism λ to exist and calculated the genera of groups of type n h + S. All the genus zero groups of type n h + S are listed in [6], Table 1.1 and 1.. Now we have the following theorem. Theorem 13. Write T g q = q 1 + m 1 c gmq m. i If Γ g = Γ 0 N and h is the largest integer such that h 4 and h N, then c g m = 0 unless m 1 mod h. ii If Γ g = N + S and there exists a prime p such that p N and p Q for all Q S, then c g m = 0 whenever m 0 mod p. iii If Γ g = n h + S, then c g m = 0 unless m 1 mod h. Proof. i Note that 1 h belongs to the normalizer of Γ0 N. Thus T g 1 h has poles only at, which is a simple pole. This enables us to write T g 1 h = c T 1 g for some constant c. By comparing the coefficients 0 1 of q m -terms on both sides, the assertion follows. ii From Corollary 3.1 [] it follows that T g Up = 0. Thus ii is clear. iii Considering the identity in [], p.7 we have T g z + 1/h = e πi/h T g z. Then T g q = q 1 + 0<l Z c glh 1q lh 1, which implies iii. Unlike the cases of Thompson series, when we handle the super-replicable function N j 1,1 we can not directly use the ingredients adopted in Theorem 13. Therefore we start with Lemma 14. For c d Γ0 1, j 1,1 the generalized quadratic residue symbol. c d Proof. Immediate from Lemma 3 and Theorem 4. = 3 d j1,1. Here denotes We fix N = 1 and let t denote the Hauptmodul N j 1,1 in what follows. Lemma 15. For c d Γ0 4, t U χ = 1 c 3 4 c d a + c t U χ, 4

18 SUPER-REPLICABLE FUNCTIONS 359 where χ = 1 is the Jacobi symbol and t U χ is the twist of t U by χ [1], p.17. Proof. From [1], p.18 we observe that t U χ = 1 t U z + 1 t U z = 1 1 t U i 4 i 0 4. i Z/4Z It then follows from [19], Corollary 8 that 1 t t t U = H. 6 If we compare the coefficients of q-term on both sides, we get H 4 t 1 6 H = 0. And, substituting H = 1 and H 4 = 0 we get t 1 6 = 0. Now 16 t U = 1 t = j 1,1 1. Then for c d Γ0 1 t U + 1 = 1 c d j 1,1 = c d j 1,1 by Lemma 14 d 3 = t U = t U + 1 d a since ad 1 mod 1. Let c d Γ0 4. For i = 1, 3, we consider i c d = 4a+ic 4b+id 4c 4d. Since 4a + ic, 4c divides det 4a+ic 4b+id 4c 4d, we must have 4a + ic, 4c = 4; hence a + ic/4, c = 1. Thus we can choose integers x i and y i such that γ i = a+ic/4 x i c y i SL Z. Write γ 1 i i c d = 4 zi 0 4 for some integer zi. Then we have i c d = a+ic/4 xi 4 zi c y i 0 4 for some integer z i. Comparing 1,-component on both sides we get Thus id a + ic/4z i 4b + id = a + ic/4z i + 4x i. mod 4. Then z i a + ic/4id mod 4, because n 1 mod 4 for every odd integer n aid + i c 4 d mod 4 i + c d mod 4, due to ad 1 mod 4 4 i + 6c 1 d mod 4, where we write c = 4c 1.

19 360 CHANG HEON KIM AND JA KYUNG KOO Therefore we derive that for c d Γ0 4, 4 t U χ c d 1 = t U + 1 i = = i Z/4Z i Z/4Z i Z/4Z 1 i 1 i 4 i 0 4 by 15 c d t U + 1 a+ic/4 x i 4 zi c y i a + ic/4 t U + 1 Now if we set c = 4c 1 as before, then we have 4 t U χ c d 1 3 = i a + 6c 1 i i Z/4Z 3 1 = a + 6c 1 i i Z/4Z 4 z i by t U i+6c 1 d 0 4 t U i+6c 1d 0 4 since a + 6c 1 i a + 6c 1 mod = a + 6c 1 i i + 6c 1 d i + 6c 1 d i Z/4Z t U i+6c 1 d = 1 c1 4 t U a + 6c χ 1 because i i+6c 1d = i +6c 1id = 1+c 1id = 1 c1id = 1 c1 and i + 6c 1 d runs over Z/4Z. This completes the lemma. Lemma 16. i For each k 1, we put gz = 1 k 1 1 Then g belongs to KX 1 4. ii For c d Γ0 4 and k 1, t Uk χ c d In particular, t lies in KX U k χ 14. X ktz X kt z + 1. = 1 c 3 4 a + c t. U k χ 4

20 SUPER-REPLICABLE FUNCTIONS 361 Proof. First we note that for n N, T n = U n. Here, by n N we mean that n divides some power of N. To show g KX 1 4, we observe that g = 1 k 1 X ktz X kt U z. Then using Lemma 7 we obtain that g KX 1 4. For c d 18 t U k + 1 = c d Γ0 1, t U + 1 U k 1 c d = t U + 1 by Lemma 7 U c d k 1 3 = t U + 1 U by 17 k 1 a 3 = t U k a + 1. Now we can proceed in the same manner as in the proof of Lemma 15. Lemma 17. For k 1, i t U k 6 1 = ii t U k 3 1 = { 1 q 1 + O1, if k = 1 O1, otherwise. O1, if k = q O1, if k = 8 q 1 + O1, if k = 3 1 k 1 i q k 4 + O1, if k 4. k Proof. i First, t 6 1 is holomorphic at because t has poles only at the cusps Γ 1 1. Now for k 1, t Uk 6 1 = t U U k = 1 t Uk = 1 t Uk = 1 z t Uk by Lemma 7 { 1 = q 1 + O1, if k = 1 O1, otherwise. t Uk t U k t Uk

21 36 CHANG HEON KIM AND JA KYUNG KOO ii We observe that t 3 1 O1. And for k 1, 19 t Uk 3 1 = t U U k = 1 = 1 t Uk t Uk t Uk t Uk has a holomorphic Fourier expansion if k = 1. Thus we suppose k. We then derive that t Uk = t U U k 1 = 1 = 1 = 1 t Uk t Uk t Uk t Uk t Uk t Uk If we substitute the above into 19, for k, t Uk = = t Uk 1 t Uk t Uk t Uk t Uk When k =, t Uk t U4 3 1 = 1 z t U t z t z + 1 = 1 4 q O1 by i.

22 SUPER-REPLICABLE FUNCTIONS 363 If k = 3, t U8 3 1 = 1 z t U t U 6 1 z t U 3 1 4z + 1 = e πiz+ i + O1 = 8 q 1 + O1 by i and the case k = 1 in ii. For k 4, we will show by induction on k that 3 t Uk 3 1 = i 1k 1 k k 4 q + O1. First we note that by i and 0 If k = 4, t Uk 3 1 = 1 4 t Uk 3 1 4z O1. t U4 3 1 = 1 t U z O1 = 1 πi e 4z+1 + O1 by the case k = 16 = i q + O1. Thus when k = 4, 3 holds. Meanwhile, if k = 5 then we get that t U5 3 1 = 1 t U z O1 = i 3 e πi4z+1 + O1 by the case k = 3 = i q + O1. Therefore in this case 3 is also valid. Now for k 6, t Uk 3 1 = 1 4 This proves the lemma. Theorem 18. For k 1, z O1 i e πi4z+1 k by induction hypothesis for k t Uk = 1 4 1k 1 = 1 k 1 t Uk χ z = 1k 1 1 i k k 4 q + O1. k 4 + O1 X ktz X kt z + 1.

23 364 CHANG HEON KIM AND JA KYUNG KOO This identity twisted by a character χ is analogous to the k -plication formula [7], [] satisfied by the Hauptmodul of Γ 0 N. Proof. Put gz = 1 k 1 1 X ktz X kt z + 1 as before. We see by Lemma 16 that both t and g sit in KX U k χ 14. For t U = g, we k χ will show that t g has no poles in U k χ H. Recall that t Uk χ = 1 4 = 1 4 i Z/4Z χi i Z/4Z Since t has poles only at Γ 1 1, t U k k 1 j=0 χ t Uk 4 i i 1 1 j 0 k Γ1 1 = 16 1 k 4 i 0 4 Let c d Γ1 1. Then k+ 4j i 0 4 c d = = k+ 4j i 0 4 k+ a 4jc ic 4c χit 1 j 0 k 4 i 0 4. can also have poles only at k j 0 1 Γ 1 1. Γ 1 1 = k+ a 4jc ic. 4c Observe that k+ a 4jc ic, 4c k 16 = k+4. Write k+ a 4jc ic, 4c = l for some integer l 0. Then s = k+ a 4jc ic/ l 4c/ l is in lowest terms. Since 1 c, s is of the form s = 3m for some integers m and n. We assume 3m, n = 1. Here we consider two cases. i m: Choose integers x and y such that 3m n x y SL Z and consider t Uk χ 3m n x y = 1 t 4 U k m n x y t U k m n x y = 1 t 4 U 4n+3m t k U 4n+9m. k 1m 1m Since 3m, n = 1 and m, we can write 4n+3m 1m = γ0 U 1 and 4n+9m 1m = γ 0 U, where both γ 0 and γ 0 are in Γ 0 1 and U 1, U are upper triangular matrices. Then by 18, t U k χ 3m n x y O1. Hence, if m then n t Uk is holomorphic at the cusp s = χ 3m. ii m: n

24 SUPER-REPLICABLE FUNCTIONS 365 If 3 m, then s is of the form s = 3m n x y with 3m n x y Γ 0 4. Thus by Lemma 16, t Uk χ 3m n x 3m 3 y = 1 4 t U k n + 3m/4 O1. χ As for the other cases, if we use Lemma 1, it is easy to see that s is equivalent to 1 1 or 5 1 under Γ 14. Thus we conclude that t can have poles only at 1 U k χ 1, 5 1 under Γ 14- equivalence. Next, let us investigate the poles of g. Recall that X kt has poles only at Γ 1 1. Therefore g can have poles only at 0 i 1 Γ 1 1 for i = 0, 1. And, for c d Γ1 1, 0 i 1 c d = i a ic 0 c d = c = a ic/ in lowest terms. c Hence by Lemma 1, g can have poles only at 1 4, 5 4, 7 4, 11 4, 1 1, 5 equivalence. At 1 4, 5 4, 7 4 For example, at 5 4, and under Γ 14-, it is easy to check that g is holomorphic. g = 1k 1 1 X kt X kt 1 = 1 k 1 1 X kt X kt = 1 k X kt X kt O1 since 5 4, 17 4 / Γ 11. Now it remains to show that t U g has no poles at the cusps equivalent k χ to 1 1, 5 1 under Γ 14. At 1 1, t Uk χ 1 1 = 1 5 t 4 U k t U k = 1 t 4 U k t U 5 1 k = 1 t 4 U k t U 11 1 k 1 1 = 1 4 t U k z + 1 t U k z + 1.

25 366 CHANG HEON KIM AND JA KYUNG KOO By 5 and Lemma 17, we have the following: If k = 1, t U χ 1 1 = e πi4z+ + O1 If k =, t U = 1 4 q + O1. 4 χ 1 1 = 1 1 πi e 16z+1 + O1 4 If k = 3, If k 4, = 1 8 q 4 + O1. t U3 χ 1 1 = 1 i 4 8 e πi16z+1 + O1 t Uk = 1 4 χ 1 k 1 = 1 16 q 8 + O i k e πi k 4 16z+1 + O1 = 1 k 1 1 k q + O1. k+1 Observe that the identities for k = 1, and 3 are the same as the last one when k 4. Hence we conclude that for all k 1, t Uk χ 1 1 = 1 k 1k 1 q + O1. k+1 On the other hand, g 1 1 = 1k 1 1 X kt 1 1 X kt = 1 k 1 1 X kt X kt = 1 k 1 1 k q + O1. k+1 Thus t Uk χ g 1 1 O1. At 5 1, we see that = sends to 1. Then t Uk = t U k = χ χ t U k χ 1 1 by Lemma 16

26 And g = 1k 1 1 SUPER-REPLICABLE FUNCTIONS 367 = 1 t U k χ 1 1 = 1 k 1 k q + O1. k+1 = 1 k 1 1 X kt X kt X kt X kt = 1 k 1 X kt O1 = 1 k 1 k q + O1. k+1 This implies that t Uk χ g O1, from which the theorem follows. 1 5 Now, we are ready to show periodically vanishing property of N j 1,1. Corollary 19. As before we let t be the Hauptmodul of Γ 1 1 and write X n t = 1 n q n + m 1 H m,nq m. Then we have i H m, k = 1 k 1 1 H k m,1 for odd m. ii H m = 0 whenever m 4 mod 6, and m = 5. Proof. First if we compare the coefficients of q m -terms on both sides of the identity in Theorem 18, we get i. We see from the Appendix, Table 4 that H 5 = 0. On the other hand, by the super-replication formula Corollary 11 it follows that for m relatively prime to 1, { H H m, k = H k,m = m,1, if m ±1 mod 1 k H m,1, if m ±5 mod 1 k because h k m,1 = 0 in this case [], Corollary 3.1. Then H k m,1 = 0 when k is odd and m 5 mod 6, or k is even and m 1 mod 6. It is easy to see that { k m k, m 1, k odd, m 5 mod 6} { k m k, m 1, k even, m 1 mod 6} = {l Z l 4 mod 6}. This proves ii. Appendix. Fourier coefficients of the Hauptmodul N j 1,N We shall make use of the following modular forms to construct j 1,N. For z H, ηz the Dedekind eta function G z Eisenstein series of weight

27 368 CHANG HEON KIM AND JA KYUNG KOO G p z = G z pg pz for each prime p E z = G z/ζ normalized Eisenstein series of weight E p z = E z pe pz for each prime p P N,a z = P a1 z+a Lz N N-th division value of P, where a = a 1, a, L z = Zz + Z and P L τ is the Weierstrass P-function relative to a lattice L Now we get the following tables due to [16]-[18]: Table 3. Hauptmoduln N j 1,N N j 1,N N j 1,N 1 jz jz 744 θ z 8 /θ 4 z 8 56/j 1, E 4 z/e 4 3z 40/j 1, θ z 4 /θ 3 z 4 16/j 1, ηz 5 /η5z+e 5 z η5z 5 /ηz 8/j 1, G z G 3z G 6 /j 1,6 1 1 z G3 z P 7 7,1,0 7z P 7,,0 7z P 7,1,0 7z P 7,4,0 7z 1/j 1, θ 3 z/θ 3 4z /j 1,8 1 1 P 9,1,0 9z P 9,,0 9z 9 P 9,1,0 9z P 9,4,0 9z 1/j 1,9 1 P 10 10,1,0 10z P 10,,0 10z P 10,1,0 10z P 10,4,0 10z 1/j 1, θ 3 z/θ 3 6z /j 1,1 1 When N = 1,, 3, 4, 6, N j 1,N becomes a Thompson series T g with Γ g = Γ 0 N. Hence, if N = 4, N j 1,4 has periodically vanishing property by Theorem 13-i. Otherwise, the Fourier coefficients of N j 1,N do not vanish see [4], Table 1. Therefore, we consider only the following cases N for which Γ 1 N Γ 0 N. Table 4. Fourier coefficients H m of N j 1,N for 1 m 60 N j 1,5 N j 1,7 N j 1,8 N j 1,9 N j 1,10 N j 1,1 H H H H H H H H H H

28 SUPER-REPLICABLE FUNCTIONS 369 N j 1,5 N j 1,7 N j 1,8 N j 1,9 N j 1,10 N j 1,1 H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H

29 370 CHANG HEON KIM AND JA KYUNG KOO N j 1,5 N j 1,7 N j 1,8 N j 1,9 N j 1,10 N j 1,1 H H H H H H H H H H References [1] D. Alexander, C. Cummins, J. Mckay, and C. Simons, Completely replicable functions, In: Groups, Combinatorics and Geometry, Cambridge Univ. Press 199, [] R. E. Borcherds, Monstrous moonshine and monstrous Lie superalgebras, Invent. Math , no., [3] C. J. Cummins and S. P. Norton, Rational Hauptmoduls are replicable, Canadian J. Math , no. 6, [4] M. Deuring, Die Typen der Multiplikatorenringe elliptischer Funktionenkörper, Abh. Math. Sem. Univ. Hamburg , [5] P. L. Duren, Univalent Functions, Grundlehren der Mathematischen Wissenschaften, 59, Springer-Verlag, [6] C. R. Ferenbaugh, The genus-zero problem for n h-type groups, Duke Math. J , no. 1, [7], Replication formulae for n h-type Hauptmoduls, J. Algebra , no. 3, [8] I. B. Frenkel, J. Lepowsky, and A. Meurman, A natural representation of the Fischer- Griess monster with the modular function J as character, Proc. Nat. Acad. Sci. U. S. A , no. 10, Phys. Sci., [9], Vertex operator algebras and the monster, Pure and Applied Mathematics, 134, Academic Press Inc., Boston, MA, [10] K. J. Hong and J. K. Koo, Generation of class fields by the modular function j 1,1, Acta Arith , no. 3, [11] N. Ishida and N. Ishii, The equation for the modular curve X 1 N derived from the equation for the modular curve XN, Tokyo J. Math. 1999, no. 1, [1] S. J. Kang, Graded Lie superalgebras and the superdimension formula, J. Algebra , no., [13] S. J. Kang and J. H. Kwon, Graded Lie superalgebras, supertrace formula, and orbit Lie superalgrbra, Prod. London Math. Soc , no. 3, [14] S. J. Kang, C. H. Kim, J. K. Koo, and Y. T. Oh, Graded Lie superalgebras and superreplicable functions, J. Algebra , no., [15] C. H. Kim and J. K. Koo, On the genus of some modular curve of level N, Bull. Austral. Math. Soc , no., [16], Generators of function fields of the moldular curves X 1 5 and X 1 6, preprint. [17], Arithmetic of the modular function j 1,8, Ramanujan J , no. 3, [18], Generation of Hauptmoduln of Γ 1 7, Γ 1 9 and Γ 1 10, preprint.

30 SUPER-REPLICABLE FUNCTIONS 371 [19], Self-recursion formulas satisfied by Fourier coefficients of some modular functions, J. Pure Appl. Algebra , no. 1, [0], Self-recursion formulas of certain monstrous functions, J. Pure Appl. Algebra 170, no. 1, [1] N. Koblitz, Introduction to Elliptic Curves and Modular Forms, Graduate Texts in Mathematics, 97, Springer-Verlag, [] M. Koike, On replication formula and Hecke operators, Nagoya University preprint. [3] S. Lang, Elliptic Functions, Graduate Texts in Mathematics, 11, Springer-Verlag, [4] J. Mckay and H. Strauss, The q-series of monstrous moonshine and the decomposition of the head characters, Comm. Algebra , no. 1, [5] T. Miyake, Modular Forms, Springer-Verlag, [6] A. Néron, Modèles minimaux des variétés abéliennes sur les corps locaux et globaux, Publ. Math. I. H. E. S , [7] S. P. Norton, More on moonshine, In: Computational Group Theory, Academic Press 1984, [8] R. Rankin, Modular Forms and Functions, Cambridge University Press, [9] J. P. Serre and J. Tate, Good reduction of abelian varieties, Ann. Math , [30] G. Shimura, Introduction to the Arithmetic Theory of Automorphic Functions, Princeton Univ. Press, [31], On modular forms of half integral weight, Ann. Math , [3] J. H. Silverman, Advanced Topics in the Arithmetic of Elliptic Curves, Graduate Texts in Mathematics, 151, Springer-Verlag, Chang Heon Kim Department of mathematics Seoul Women s university Seoul , Korea address: chkim@swu.ac.kr Ja Kyung Koo Korea Advanced Institute of Science and Technology Department of Mathematics Taejon , Korea address: jkkoo@math.kaist.ac.kr

arxiv:math/ v1 [math.nt] 6 Nov 2004

arxiv:math/ v1 [math.nt] 6 Nov 2004 MORE ON SUPER-REPLICATION FORMULAE arxiv:math/043v [math.nt] 6 Nov 004 CHANG HEON KIM AND JA KYUNG KOO Abstract. We extend Norton-Borcherds-Koike s replication formulae to super-replicable ones by working

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

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

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

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

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

Borcherds proof of the moonshine conjecture

Borcherds proof of the moonshine conjecture Borcherds proof of the moonshine conjecture pjc, after V. Nikulin Abstract These CSG notes contain a condensed account of a talk by V. Nikulin in the London algebra Colloquium on 24 May 2001. None of the

More information

PARITY OF THE PARTITION FUNCTION. (Communicated by Don Zagier)

PARITY OF THE PARTITION FUNCTION. (Communicated by Don Zagier) ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 1, Issue 1, 1995 PARITY OF THE PARTITION FUNCTION KEN ONO (Communicated by Don Zagier) Abstract. Let p(n) denote the number

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

Eisenstein Series and Modular Differential Equations

Eisenstein Series and Modular Differential Equations Canad. Math. Bull. Vol. 55 (2), 2012 pp. 400 409 http://dx.doi.org/10.4153/cmb-2011-091-3 c Canadian Mathematical Society 2011 Eisenstein Series and Modular Differential Equations Abdellah Sebbar and Ahmed

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

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

An Introduction to Supersingular Elliptic Curves and Supersingular Primes

An Introduction to Supersingular Elliptic Curves and Supersingular Primes An Introduction to Supersingular Elliptic Curves and Supersingular Primes Anh Huynh Abstract In this article, we introduce supersingular elliptic curves over a finite field and relevant concepts, such

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

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

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

REPRESENTATIONS OF INTEGERS AS SUMS OF SQUARES. Ken Ono. Dedicated to the memory of Robert Rankin.

REPRESENTATIONS OF INTEGERS AS SUMS OF SQUARES. Ken Ono. Dedicated to the memory of Robert Rankin. REPRESENTATIONS OF INTEGERS AS SUMS OF SQUARES Ken Ono Dedicated to the memory of Robert Rankin.. Introduction and Statement of Results. If s is a positive integer, then let rs; n denote the number of

More information

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients. EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is

More information

DEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS. George E. Andrews and Ken Ono. February 17, Introduction and Statement of Results

DEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS. George E. Andrews and Ken Ono. February 17, Introduction and Statement of Results DEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS George E. Andrews and Ken Ono February 7, 2000.. Introduction and Statement of Results Dedekind s eta function ηz, defined by the infinite product ηz

More information

Introduction to Modular Forms

Introduction to Modular Forms Introduction to Modular Forms Lectures by Dipendra Prasad Written by Sagar Shrivastava School and Workshop on Modular Forms and Black Holes (January 5-14, 2017) National Institute of Science Education

More information

The kappa function. [ a b. c d

The kappa function. [ a b. c d The kappa function Masanobu KANEKO Masaaki YOSHIDA Abstract: The kappa function is introduced as the function κ satisfying Jκτ)) = λτ), where J and λ are the elliptic modular functions. A Fourier expansion

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

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

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

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

Rational Equivariant Forms

Rational Equivariant Forms CRM-CICMA-Concordia University Mai 1, 2011 Atkin s Memorial Lecture and Workshop This is joint work with Abdellah Sebbar. Notation Let us fix some notation: H := {z C; I(z) > 0}, H := H P 1 (Q), SL 2 (Z)

More information

Ramanujan s first letter to Hardy: 5 + = 1 + e 2π 1 + e 4π 1 +

Ramanujan s first letter to Hardy: 5 + = 1 + e 2π 1 + e 4π 1 + Ramanujan s first letter to Hardy: e 2π/ + + 1 = 1 + e 2π 2 2 1 + e 4π 1 + e π/ 1 e π = 2 2 1 + 1 + e 2π 1 + Hardy: [These formulas ] defeated me completely. I had never seen anything in the least like

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

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

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

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

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

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

Modular forms, combinatorially and otherwise

Modular forms, combinatorially and otherwise Modular forms, combinatorially and otherwise p. 1/103 Modular forms, combinatorially and otherwise David Penniston Sums of squares Modular forms, combinatorially and otherwise p. 2/103 Modular forms, combinatorially

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

CLASSIFICATION OF TORSION-FREE GENUS ZERO CONGRUENCE GROUPS

CLASSIFICATION OF TORSION-FREE GENUS ZERO CONGRUENCE GROUPS PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 129, Number 9, Pages 2517 2527 S 0002-9939(01)06176-7 Article electronically published on April 17, 2001 CLASSIFICATION OF TORSION-FREE GENUS ZERO

More information

CONGRUENCE PROPERTIES FOR THE PARTITION FUNCTION. Department of Mathematics Department of Mathematics. Urbana, Illinois Madison, WI 53706

CONGRUENCE PROPERTIES FOR THE PARTITION FUNCTION. Department of Mathematics Department of Mathematics. Urbana, Illinois Madison, WI 53706 CONGRUENCE PROPERTIES FOR THE PARTITION FUNCTION Scott Ahlgren Ken Ono Department of Mathematics Department of Mathematics University of Illinois University of Wisconsin Urbana, Illinois 61801 Madison,

More information

AVERAGE RECIPROCALS OF THE ORDER OF a MODULO n

AVERAGE RECIPROCALS OF THE ORDER OF a MODULO n AVERAGE RECIPROCALS OF THE ORDER OF a MODULO n KIM, SUNGJIN Abstract Let a > be an integer Denote by l an the multiplicative order of a modulo integers n We prove that l = an Oa ep 2 + o log log, n,n,a=

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

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

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

Twists of elliptic curves of rank at least four

Twists of elliptic curves of rank at least four 1 Twists of elliptic curves of rank at least four K. Rubin 1 Department of Mathematics, University of California at Irvine, Irvine, CA 92697, USA A. Silverberg 2 Department of Mathematics, University of

More information

TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS

TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.

More information

A CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES. 1. Introduction

A CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES. 1. Introduction A CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES CHING HUNG LAM AND HIROSHI YAMAUCHI Abstract. In this article, we show that a framed vertex operator algebra V satisfying

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

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

(τ) = 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

ON THETA SERIES VANISHING AT AND RELATED LATTICES

ON THETA SERIES VANISHING AT AND RELATED LATTICES ON THETA SERIES VANISHING AT AND RELATED LATTICES CHRISTINE BACHOC AND RICCARDO SALVATI MANNI Abstract. In this paper we consider theta series with the highest order of vanishing at the cusp. When the

More information

Algebraic Number Theory Notes: Local Fields

Algebraic Number Theory Notes: Local Fields Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological

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

THE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE

THE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE THE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE FILIP NAJMAN Abstract. For an elliptic curve E/Q, we determine the maximum number of twists E d /Q it can have such that E d (Q) tors E(Q)[2].

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

Congruent Number Problem and Elliptic curves

Congruent Number Problem and Elliptic curves Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using

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

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

(1 e r ) p24(1 r 2 /2) = det(w)τ(n)e w(nρ) e ρ

(1 e r ) p24(1 r 2 /2) = det(w)τ(n)e w(nρ) e ρ The monster Lie algebra. Adv. Math. Vol 83, No. 1, September 1990, p. 30-47. Richard E. Borcherds, Department of pure mathematics and mathematical statistics, 16 Mill Lane, Cambridge CB2 1SB, England.

More information

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil

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

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

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday

LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field

More information

THE MODULAR CURVE X O (169) AND RATIONAL ISOGENY

THE MODULAR CURVE X O (169) AND RATIONAL ISOGENY THE MODULAR CURVE X O (169) AND RATIONAL ISOGENY M. A. KENKU 1. Introduction Let N be an integer ^ 1. The affine modular curve Y 0 (N) parametrizes isomorphism classes of pairs (E ; C N ) where E is an

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

Universität Regensburg Mathematik

Universität Regensburg Mathematik Universität Regensburg Mathematik On projective linear groups over finite fields as Galois groups over the rational numbers Gabor Wiese Preprint Nr. 14/2006 On projective linear groups over finite fields

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

CONGRUENCES FOR POWERS OF THE PARTITION FUNCTION

CONGRUENCES FOR POWERS OF THE PARTITION FUNCTION CONGRUENCES FOR POWERS OF THE PARTITION FUNCTION MADELINE LOCUS AND IAN WAGNER Abstract. Let p tn denote the number of partitions of n into t colors. In analogy with Ramanujan s work on the partition function,

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

Hecke-Operators. Alex Maier. 20th January 2007

Hecke-Operators. Alex Maier. 20th January 2007 Hecke-Operators Alex Maier 20th January 2007 Abstract At the beginning we introduce the Hecke-operators and analyse some of their properties. Then we have a look at normalized eigenfunctions of them and

More information

5.3 The Upper Half Plane

5.3 The Upper Half Plane Remark. Combining Schwarz Lemma with the map g α, we can obtain some inequalities of analytic maps f : D D. For example, if z D and w = f(z) D, then the composition h := g w f g z satisfies the condition

More information

The Circle Method. Basic ideas

The Circle Method. Basic ideas The Circle Method Basic ideas 1 The method Some of the most famous problems in Number Theory are additive problems (Fermat s last theorem, Goldbach conjecture...). It is just asking whether a number can

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

Hecke Operators, Zeta Functions and the Satake map

Hecke Operators, Zeta Functions and the Satake map Hecke Operators, Zeta Functions and the Satake map Thomas R. Shemanske December 19, 2003 Abstract Taking advantage of the Satake isomorphism, we define (n + 1) families of Hecke operators t n k (pl ) for

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

Appendix A. Application to the three variable Rankin-Selberg p-adic L-functions. A corrigendum to [Ur14].

Appendix A. Application to the three variable Rankin-Selberg p-adic L-functions. A corrigendum to [Ur14]. Appendix A. Application to the three variable Rankin-Selberg p-adic L-functions. A corrigendum to [r14]. A.1. Introduction. In [r14], the author introduced nearly overconvergent modular forms of finite

More information

Myung-Hwan Kim and Byeong-Kweon Oh. Department of Mathematics, Seoul National University, Seoul , Korea

Myung-Hwan Kim and Byeong-Kweon Oh. Department of Mathematics, Seoul National University, Seoul , Korea REPRESENTATIONS OF POSITIVE DEFINITE SENARY INTEGRAL QUADRATIC FORMS BY A SUM OF SQUARES Myung-Hwan Kim and Byeong-Kweon Oh Department of Mathematics Seoul National University Seoul 151-742 Korea Abstract.

More information

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

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

KLEIN-FOUR COVERS OF THE PROJECTIVE LINE IN CHARACTERISTIC TWO

KLEIN-FOUR COVERS OF THE PROJECTIVE LINE IN CHARACTERISTIC TWO ALBANIAN JOURNAL OF MATHEMATICS Volume 1, Number 1, Pages 3 11 ISSN 1930-135(electronic version) KLEIN-FOUR COVERS OF THE PROJECTIVE LINE IN CHARACTERISTIC TWO DARREN GLASS (Communicated by T. Shaska)

More information

Twists and residual modular Galois representations

Twists and residual modular Galois representations Twists and residual modular Galois representations Samuele Anni University of Warwick Building Bridges, Bristol 10 th July 2014 Modular curves and Modular Forms 1 Modular curves and Modular Forms 2 Residual

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

Moreover this binary operation satisfies the following properties

Moreover this binary operation satisfies the following properties Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................

More information

Crystal Bases for Quantum Generalized Kac-Moody Algebras

Crystal Bases for Quantum Generalized Kac-Moody Algebras Crystal Bases for Quantum Generalized Kac-Moody Algebras Seok-Jin Kang Department of Mathematical Sciences Seoul National University 20 June 2006 Monstrous Moonshine 1.Monstrous Moonshine M: Monster simple

More information

Integral points of a modular curve of level 11. by René Schoof and Nikos Tzanakis

Integral points of a modular curve of level 11. by René Schoof and Nikos Tzanakis June 23, 2011 Integral points of a modular curve of level 11 by René Schoof and Nikos Tzanakis Abstract. Using lower bounds for linear forms in elliptic logarithms we determine the integral points of the

More information

A Motivated Introduction to Modular Forms

A Motivated Introduction to Modular Forms May 3, 2006 Outline of talk: I. Motivating questions II. Ramanujan s τ function III. Theta Series IV. Congruent Number Problem V. My Research Old Questions... What can you say about the coefficients of

More information

Ramanujan-type congruences for broken 2-diamond partitions modulo 3

Ramanujan-type congruences for broken 2-diamond partitions modulo 3 Progress of Projects Supported by NSFC. ARTICLES. SCIENCE CHINA Mathematics doi: 10.1007/s11425-014-4846-7 Ramanujan-type congruences for broken 2-diamond partitions modulo 3 CHEN William Y.C. 1, FAN Anna

More information

Monstrous moonshine and monstrous Lie superalgebras.

Monstrous moonshine and monstrous Lie superalgebras. Monstrous moonshine and monstrous Lie superalgebras. Invent. Math. 109, 405-444 (1992). Richard E. Borcherds, Department of pure mathematics and mathematical statistics, 16 Mill Lane, Cambridge CB2 1SB,

More information

2,3,5, LEGENDRE: ±TRACE RATIOS IN FAMILIES OF ELLIPTIC CURVES

2,3,5, LEGENDRE: ±TRACE RATIOS IN FAMILIES OF ELLIPTIC CURVES 2,3,5, LEGENDRE: ±TRACE RATIOS IN FAMILIES OF ELLIPTIC CURVES NICHOLAS M. KATZ 1. Introduction The Legendre family of elliptic curves over the λ-line, E λ : y 2 = x(x 1)(x λ), is one of the most familiar,

More information

AUTOMORPHISMS OF X(11) OVER CHARACTERISTIC 3, AND THE MATHIEU GROUP M 11

AUTOMORPHISMS OF X(11) OVER CHARACTERISTIC 3, AND THE MATHIEU GROUP M 11 AUTOMORPHISMS OF X(11) OVER CHARACTERISTIC 3, AND THE MATHIEU GROUP M 11 C. S. RAJAN Abstract. We show that the automorphism group of the curve X(11) is the Mathieu group M 11, over a field of characteristic

More information

MA4H9 Modular Forms: Problem Sheet 2 Solutions

MA4H9 Modular Forms: Problem Sheet 2 Solutions MA4H9 Modular Forms: Problem Sheet Solutions David Loeffler December 3, 010 This is the second of 3 problem sheets, each of which amounts to 5% of your final mark for the course This problem sheet will

More information

Class numbers of quadratic fields Q( D) and Q( td)

Class numbers of quadratic fields Q( D) and Q( td) Class numbers of quadratic fields Q( D) and Q( td) Dongho Byeon Abstract. Let t be a square free integer. We shall show that there exist infinitely many positive fundamental discriminants D > 0 with a

More information

CHIRANJIT RAY AND RUPAM BARMAN

CHIRANJIT RAY AND RUPAM BARMAN ON ANDREWS INTEGER PARTITIONS WITH EVEN PARTS BELOW ODD PARTS arxiv:1812.08702v1 [math.nt] 20 Dec 2018 CHIRANJIT RAY AND RUPAM BARMAN Abstract. Recently, Andrews defined a partition function EOn) which

More information

Spaces of Weakly Holomorphic Modular Forms in Level 52. Daniel Meade Adams

Spaces of Weakly Holomorphic Modular Forms in Level 52. Daniel Meade Adams Spaces of Weakly Holomorphic Modular Forms in Level 52 Daniel Meade Adams A thesis submitted to the faculty of Brigham Young University in partial fulfillment of the requirements for the degree of Master

More information

The Arithmetic of Elliptic Curves

The Arithmetic of Elliptic Curves The Arithmetic of Elliptic Curves Sungkon Chang The Anne and Sigmund Hudson Mathematics and Computing Luncheon Colloquium Series OUTLINE Elliptic Curves as Diophantine Equations Group Laws and Mordell-Weil

More information

Some congruences for Andrews Paule s broken 2-diamond partitions

Some congruences for Andrews Paule s broken 2-diamond partitions Discrete Mathematics 308 (2008) 5735 5741 www.elsevier.com/locate/disc Some congruences for Andrews Paule s broken 2-diamond partitions Song Heng Chan Division of Mathematical Sciences, School of Physical

More information

Local root numbers of elliptic curves over dyadic fields

Local root numbers of elliptic curves over dyadic fields Local root numbers of elliptic curves over dyadic fields Naoki Imai Abstract We consider an elliptic curve over a dyadic field with additive, potentially good reduction. We study the finite Galois extension

More information

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on

More information

Approximation exponents for algebraic functions in positive characteristic

Approximation exponents for algebraic functions in positive characteristic ACTA ARITHMETICA LX.4 (1992) Approximation exponents for algebraic functions in positive characteristic by Bernard de Mathan (Talence) In this paper, we study rational approximations for algebraic functions

More information

REDUCTION OF CM ELLIPTIC CURVES AND MODULAR FUNCTION CONGRUENCES

REDUCTION OF CM ELLIPTIC CURVES AND MODULAR FUNCTION CONGRUENCES REDUCTION OF CM ELLIPTIC CURVES AND MODULAR FUNCTION CONGRUENCES NOAM ELKIES, KEN ONO AND TONGHAI YANG 1. Introduction and Statement of Results Let j(z) be the modular function for SL 2 (Z) defined by

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

From K3 Surfaces to Noncongruence Modular Forms. Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015

From K3 Surfaces to Noncongruence Modular Forms. Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015 From K3 Surfaces to Noncongruence Modular Forms Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015 Winnie Li Pennsylvania State University 1 A K3 surface

More information