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

Transcription

1 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 with the congruence groups Γ N and find the product identities which characterize super-replicable functions. These will provide a clue for constructing certain new infinite dimensional Lie superalgebras whose denominator identities coincide with the above product identities. Therefore it could be one way to find a connection between modular functions and infinite dimensional Lie algebras.. Introduction Let M be the monster simple group whose order is approximately In 979, Mckay and Thompson [5] found some relations between the monster group and elliptic modular function J. Let f i be the degrees of irreducible characters of M i.e. f =, f = 96883, f 3 = , etc and J = j 744 = q q+ = q +0+ n c nq n be the elliptic modular function called the modular invariant. Then it was noticed that c i can be expressed as a linear combination of f j s. For example, c = f + f, c = f + f + f 3, c 3 = f +f +f 3 +f 4, etc. Based on their observation, Mckay and Thompson conjectured the existence of a natural infinite dimensional representation of the monster, V = n Z V n with dimv n = c n. Thompson [6] also proposed considering, for any element g M, the modular properties of the series T g q = q n Trg V n q n Supported by KOSEF Research Grant AMS Classification : F03, F

2 the Thompson series where q = e πiz with Imz > 0. And Conway and Norton [3] conjectured that T g q would be a Hauptmodul for a suitable genus zero discrete subgroup of SL R. Now we shall explain the notion of a Hauptmodul. Let H be the complex upper half plane and let Γ be a discrete subgroup of SL R. Since the group Γ acts on H by linear fractional transformations, we get the modular curve XΓ = Γ\H, as a projective closure of the smooth affine curve Γ\H. Here, H denotes the union of H and P Q. If the genus of XΓ is zero, then the function field KXΓ in this case is a rational function field Cj Γ for some modular function j Γ. If the element is in Γ, it takes z to z +, and in particular a modular function f in KXΓ 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 q + a q +. By a Hauptmodul t we mean the normalized generator of a genus zero function field KXΓ. In 980s Frenkel, Lepowsky and Meurman [5], [6] constructed an infinite dimensional graded representation V = n Z V n of M with dimv n = c n using vertex operator algebra, which comes from the space of physical states of a bosonic string moving in a Z -orbifold of a 6-dimensional torus. In 99 Borcherds [] proved the Conway-Norton s conjecture by using a recursion formula derived from the twisted denominator formula of a generalized Kac-Moody Lie algebra with some group action. Here, we shall investigate some properties of the twisted denominator formula. Put t = T g and t i = T g i. Let H n = Trg V n and H i n = Trg i V n. Also let X n t be the Faber polynomial of t such that X n t n q n mod qc[[q]] [4], Chapter 4 and write X n t = n q n + m H m,nq m. Then the Borcherds twisted denominator formula is p n>0 m Z exp s s Hs mnq sm p sn = tp tq

3 where p = e πiy and q = e πiz with y, z H. Moreover it is not difficult to show that the above is equivalent to X n t = n az + b t a. d ad=n 0 b<d By comparing q m -terms on both sides we obtain which is equivalent to H m,n = s m,n H s mn/d, H a,b = H c,d whenever a, b = c, d and ab = cd see []. When t = q + m H mq m is a formal power series with integer coefficients, we call t replicable if it satisfies H a,b = H c,d whenever a, b = c, d and ab = cd. One then has the following equivalent conditions which characterize replicable functions see [7], also [], [] and [3] for a b. a t is replicable. b for each s there exists a normalized q-series t s = + q m Hs m q m such that t = t, and X n t = n az + b t a. d ad=n 0 b<d c for every s there exists a normalized q-series t s = q + m Hs m q m such that p n>0 m Z exp s where p = e πiy and q = e πiz with y, z H. s Hs mn qsm p sn = tp tq We note that when t is the Thompson series, the product identity c coincides with the Borcherds twisted denominator formula. Let t 0 be a replicable function. According to Norton s conjecture [3] t 0 is a Hauptmodul for some modular curve X. Let X be a double covering of X with genus zero and t be the Hauptmodul for X. It is natural to ask what sort of relations t 0 and t 3

4 satisfy. As before we write t 0 = q + m h mq m resp. t = q + m H mq m and X n t 0 = n q n + m h m,nq m resp. X n t = n q n + m H m,nq m. We propose to call t super-replicable with respect to a replicable function t 0 and a character ψ if the following formula holds ψa, b H a,b h a,b = ψc, d H c,d h c,d whenever a, b = c, d and ab = cd. Observe that if H a,b = h a,b and ψ is the trivial character, then the above identity reduces to the replicable one. Let Γ N = a b c d SL Z c 0 mod N, a d mod N} and X N = Γ N\H, and let Γ 0 N = a b c d SL Z c 0 mod N} and X 0 N = Γ 0 N\H. According to [8], [] the genus of X N is zero if and only if N 0 and N =. When N 5, 8, 0, }, X N becomes a double covering of X 0 N. Let t resp. t 0 be the Hauptmodul of X N resp. X 0 N for such N. We proved in [9], Corollary that for positive integers a, b, c, d with ab = cd, a, b = c, d and b, N = d, N =, ψ N b H a,b h a,b = ψ N d H c,d h c,d where ψ N : Z/NZ ±} is a character defined by, if b ± mod N ψ N b =, otherwise. In this article we refine the above to discard the condition b, N = d, N = and show that each Hauptmodul t is in fact a super-replicable function with respect to a replicable function t 0 and some charcter ψ Theorem 4, and 4. And, in Theorem 8 we give a criterion which characterizes super-replicable functions. Through the article we adopt the following notations: f a b c d = f az+b cz+d fz = gz + O means that fz gz is bounded as z goes to i. 4

5 . Super-replication formulae Let n be the set of integral matrices a c d b where a + NZ, c NZ and ad bc = n. Then n has the following right coset decomposition: See [0], [], [4] n = a n a,n= n a i=0 a i Γ Nσ a 0 n a where σ a SL Z such that σ a a 0 a mod N. For a modular function f we define the Hecke operators U n and T n by and n f Un = n f i 0 n i=0 f Tn = n a n a,n= n a i=0 f σa a i 0 n a Notice that if n divides a power of N, then f Un = f Tn.. Lemma. If f is invariant under Γ N and γ 0 Γ 0 N, then f Tn γ0 = f γ0 Tn for any positive integer n. In particular, f Tn is again invariant under Γ N. Proof. [9], Lemma 7. Let t resp. t 0 be the Hauptmodul of Γ N resp. Γ 0 N. Lemma. For a b c d Γ 0N, we have with c 0 = X r t a b c d = ψ NdX r t X r t 0 + X r t 0 } + c 0 0, if d ± mod X r ta/c, otherwise. 5

6 Proof. Observe that X r t a b c d + X rt = X r t, if d ± mod N X r t 0 + X r ta/c, otherwise. In the above, when d is not congruent to ± mod N, X r t a b c d + X rt is invariant under Γ 0 N and has poles only at Γ 0 N with r q r as its pole part. This guarantees the above equality. Now the assertion is immediate. Lemma 3. Let N 5, 8, 0, } and p be a prime dividing N. Except the case N = 0 and p =, we have X pn t Up X pn t 0 Up = p X nt X n t 0. Proof. First we observe that all functions in the assertion are invariant under Γ N. By definitions, X n t resp. X n t 0 can have poles only at Γ N resp. Γ 0 N and X pn t Up resp. X pn t 0 Up can have poles only at i 0 p Γ N resp. i 0 p Γ 0 N for i = 0,, p. On the other hand, we have i 0 p Γ 0 N = p p i 0 Γ0 N i p 0 0 Γ0 N p 0 0 Γ0 N where the symbol stands for a Γ N-equivalence of cusps. Let a b c d Γ 0 N. Then p 0 0 a b c d = a c/p and l 0,, p }. We then readily see that c p N p c/p a a N/pl mod N. We claim that for l, for some j in X N ± a N/p l be an element in in lowest terms. Write c = N pk + l with k Z l mod N, which implies a N/p l N/p j for some j in X N/p j N. In fact, mod N for some n a N/pl +N/pjn N/pj ±a +N/pjn mod N where j = l or p l N/pj, N ±a N/p a or a+ for a prime to N, which is clear from the following table: 6

7 N p N/p a 5 5,, 3, 4 8 4, 3, 5, 7 0 5, 3, 7, 9 6, 5, 7, 3 4, 5, 7, Now we consider the pole part of X pn t Up at the cusp N/pj p p X pn t Up = N/pj i=0 X pn t i 0 p p = X pn t + Nj p = X pn t p z + p i= for j =,, p. p = X pn t + N/pj Nj p i= i= X pn t +N/pji i Nj p X pn t +N/pji i. Nj p X pn t +N/pji i Nj p Similarly p p X pn t 0 Up z = X pn t 0 + X pn t 0 +N/pji i. N/pj p i= Nj p Here we consider the matrix M i = where i runs through,, p. Write +N/pji i Nj p it as γ i W i where γ i SL Z and W i is an upper triangular matrix. Since det γ i W i = p, W i must be of the form p 0 or 0 p. Wi = p 0 p divides both + N/pji and Nj p divides + N/pji. W i = 0 p γ i Γ 0 N. Case I. N = p = 5 ji mod 5 i =,, 3, 4} =,, 3, 4 mod 5} + N/pji mod 5 i =,, 3, 4} =, 3, 4, 0 mod 5} p does not divide + N/pji Three of γ i s belong to Γ 0 5 and one of them belongs to ±Γ 5. Thus the formula = q n pn + O and the formula = q n pn 4 + O. Case II. N = 8 and p = i = j = and + N/pji mod } = 5 mod } 7

8 γ i belongs to Γ 0 8\ ± Γ 8. Therefore = q n q n + O and = + O. pn pn Case III. N = 0 and p = 5 ji mod 5 i =,, 3, 4} =,, 3, 4 mod 5} + N/pji mod 5 i =,, 3, 4} = 3, 5, 7, 9 mod 5} Three of γ i s belong to Γ 0 5 and one of them belongs to ±Γ 5. Hence = q n pn + O and = q n pn 4 + O. Case IV. N = and p = i = j = and + N/pji mod } = 7 mod } γ i belongs to Γ 0 \ ± Γ. It then follows that = q n pn q n pn + O. Case V. N = and p = 3 + O and = ji mod 3 i =, } =, mod 3} + N/pji mod 3 i, j =, } = 5, 9 mod 3} Exactly one of γ i s belongs to Γ 0 \ ± Γ. We then have = q n pn = q n pn + O. Hence we have the following list of the pole parts. X pn t Up X pn t 0 Up X n t X n t 0 Γ N Γ 0 N \ ± Γ N p 5 N/pj q n pn q n q n pn pn q n q n p n q n p n N/pj q n + O and p = 5 p n q n 4 p n n q n n q n n From the above we see that fz = X pn t Up X pn t 0 Up p X nt X n t 0 has no poles. At the Fourier expansion of fz has no constant term. Thus fz is identically zero. 8

9 Write t 0 = q + m h mq m and t = q + m H mq m. Also write X n t 0 = n q n + m h m,nq m and X n t = n q n + m H m,nq m. Theorem 4. Let N = 5, 8 and p = 5 or according as N = 5 or 8. Let a, b, c, d be positive integers such that ab = cd and a, b = c, d. Assume that p k a, b. Then where ψ is defined by ψa, b H a,b h a,b = ψc, d H c,d h c,d ψa, b =, if a/p k or b/p k ± mod N, otherwise. Proof. If k = 0, then the assertion is immediate from. Assume k. By Lemma 3, X b t Up X b t 0 Up = p X b/pt X b/p t 0. Comparing the coefficients of q a/p -terms on both sides, we obtain H a,b h a,b = p H a/p,b/p h a/p,b/p. By induction H a,b h a,b = H p k a/p k,b/p h k a/p k,b/p k. In a similar manner, H c,d h c,d = H p k c/p k,d/p h k c/p k,d/p k. Therefore, again by, the theorem follows. Lemma 5. Put F m,n = ψm, n H m,n h m,n. The following two conditions are equivalent: F m i If ab = cd and a, b = c, d, then F a,b = F c,d. ii For any positive integer s, there exists an integer F s m = H m h m and F m,n = s m,n 0 < m Z such that F s s mn/s. Convention: when a summation runs over the divisors of a number, these are considered to be positive. Proof. ii i clear. 9

10 i ii Let F be a numerical function. If we define f by fn = d n µdfn/d n =,, 3,, then by the Möbius inversion formula Fn = d n fn/d for all n Z. The converse holds, too. For a fixed mn, F m,n can be viewed as a function of m, n. Define F s k = s d s µdf m,n for s, k where we choose m, n so that mn = s k and m, n = s/d e.g. m = s/d and n = s/d d k. Then by the condition i, F s k well-defined and F m = µ F m, = H m h m. Here ψm, = for N = 5, 8 as described in Theorem 4. If N = 0 or, then ψm, will be defined to be see 3 and F a,b, if ab = mn and x = a, b 4. Define a map F : N C by Fx = 0, otherwise. Then s m,n F s s mn/s = s m,n s s d s µdf s d, s mn d = d s s m,n d s µdfs/d = Fm, n = F m,n. is Remark 6. For a negative integer m and a positive integer n, we define, if m = n F m,n = ψm, n = H m,n = h m,n = 0, if m n and F s m =, if m = 0, if m <. Then Lemma 5-ii can be extended to all m Z. Proposition 7. Let p = e πiy and q = e πiz with y, z H. Then F s m satisfy the following product identity: p n>0 m Z exp s ψsm, snf mn s + h s mn q sm p sn = tp tq. s Proof. Note that X n t can be viewed as the coefficient of p n -term in log p logtp tq see [3]. Thus log p n>0 X ntp n = logtp tq. Taking exponential on 0

11 both sides, we get 3 p exp n>0 X n tp n = tp tq. On the other hand, X n tp n = H m,n q m p n = ψm, nf m,n + h m,n q m p n n>0 n>0 m Z n>0 m Z = s ψm, nf mn/s + h s mn/s q m p n s n>0 m Z s m,n = ψsm, snf mn s + h s mn q sm p sn. s n>0 s= m Z By plugging the above into 3 we obtain the desired product identity. Theorem 8. Characterization of super-replicable functions Let t = q + m H mq m be a normalized q-series. The followings are equivalent. a t is super-replicable with respect to t 0 = q + m h mq m and a character ψ. b for any s there exists a normalized q-series F s = q + m F s m q m such that F = t t 0 and X n t X n t 0 ψ = n ad=n 0 b<d az + b F a d where the notation X n t X n t 0 ψ is used to mean a q-series m Z ψm, nh m,n h m,n q m. c for every s there exists a normalized q-series F s = + q m F m s q m such that p exp ψsm, snf mn s + h s mn q sm p sn = tp tq s n>0 s m Z where p = e πiy and q = e πiz with y, z H.

12 Proof. The equivalence of a and b follows from Lemma 5. And Proposition 7 yields that a implies c. c a The identity in c can be rewritten as p n>0 m Z exp s m,n s ψm, nf mn/s + h s mn/s s q m p n = tp tq. On the other hand, tp tq = p exp n>0 X ntp n = p exp n>0 H m,n q m p n. m Z We then have H m,n = s m,n, which implies ψm, nh m,n ψm,nf s mn/s +hs mn/s s h m,n = s m,n F s mn/s because h is replicable. The last identity then yields a. Lemma 9. For odd r, i X r t U k 6 = ii X r t U k 3 = r q r 3. The case N = + O, if k = O, otherwise O, if k = 4r q r 4 + O, if k = 8r i r q r + O, if k = 3 k i r q k 4r + O, if k 4. k r

13 Proof. i First, note that X r t 6 is holomorphic at because X rt has poles only at the cusps Γ. Now for k, Xr t Uk 6 = X r t U U k 6 = Xr t Uk Xr t Uk = Xr t Uk 0 + Xr t Uk = Xr t Uk z + X r t U k = q r r + O, if k = O, otherwise. ii We observe that X r t 3 O. And for k, Xr t Uk 3 = 4 X r t U U k 3 = Xr t Uk = Xr t Uk Xr t Uk Xr t Uk by Lemma has a holomorphic Fourier expansion if k =. Thus we suppose k. We then derive that Xr t Uk 3 = X r t U U k Xr t Uk = = Xr t Uk = Xr t Uk Xr t Uk 0 + Xr t Uk Xr t Uk If we substitute the above for 4, we get that for k, 5 Xr t Uk 3 = Xr t Uk = Xr t Uk Xr t 4 Uk Xr t Uk Xr t 4 Uk Xr t Uk

14 When k =, X r t U4 3 = X rt U 6 z = 4r q 4 r + O by i. + 4 X rt 6 z X rt 3 4z + If k = 3, X r t U8 3 = X rt U4 6 z + 4 X rt U 6 z X rt U 3 4z + = 8r e πiz+ r + O = i r 8r q r + O by i and the case k = in ii. For k 4, we will show by induction on k that 6 Xr t Uk 3 = k i r k r q k 4r + O. First we note that by i and 5 If k = 4, Xr t Uk Xr t U4 3 = Xr t 4 Uk 3 4z + + O. 3 = Xr t 4 U4 3 4z + + O = πi 6r e 4z+r + O by the case k = = i r 4 r q r + O. Thus when k = 4, 6 holds. Meanwhile, if k = 5 then we get that Xr t U5 3 = Xr t 4 U5 3 4z + + O = i r 3r e πi4z+r + O by the case k = 3 = i r 5 r q r + O. 4

15 Therefore in this case 6 is also valid. Now for k 6, Xr t Uk 3 = Xr t 4 Uk 3 4z + + O = 4 i r k k r e πi4z+ k 4r + O by induction hypothesis for k = k i r k r q k 4r + O. This proves the lemma. For a modular function f = n Z a nq n and χn = n the Jacobi symbol, the twist of f by χ is defined by f χ = n Z a nχnq n = 4 fz + /4 fz + 3/4 see [0], pp Lemma 0. For odd r, X r t U k χz = k i r X k rtz X k rtz + /. Proof. Denote the right hand side by gz. We observe that gz = k i r X k rtz X k rt U z. Thus gz KX 4. In the proof of [9], Lemma 5 and 6, it is shown that for f KX and a c d b Γ 0 such that f c a b c d = f c with some constant c fχ belongs to KX 4. And it is also proved there 3 a that for a b c d Γ 04, f χ a b c d = c/4 5 3 a+ c 4 f χ. We take X r t U in place of f. k

16 Then we derive that for a b c d Γ 0, X r t U k a c d b = X rt a b c d U = k ψ dx r t X r t 0 + X r t 0 } + c U k 0 0, if d ± mod with c 0 = X r ta/c, otherwise by Lemma and = ψ dx r t + c U k 0 since X r t 0 U k 3 = X r t U k a + c 0. 0 by [], Theorem 3. Case V Thus X r t U k c 0/ a b c d = 3 a Xr t U k c 0/, which leads to the fact that X r t U k χ KX 4 and for a b c d Γ 04, 3 7 X r t U k χ a b c d = c/4 a + c X r t U k χ. 4 Here we note that both X r t U k χ and g sit in KX 4. As for the equality X r t U k χ = g, it suffices to show that X r t U k χ g has no poles in H. By the same argument as in [9], Lemma 8, X r t U k χ g can have poles only at the cusps which are equivalent to / and 5/ under Γ 4. At /, Xr t Uk χ = X r t 4 U k X rt U k = X r t 4 U k X rt U 5 k = X r t 4 U k X rt U k = 4 X r t U k 3 6z + X rt U k z +,

17 which is, by Lemma 9, equal to 4 r e πir4z+/ + O, if k = πi e r6z+ 4 + O, if k = On the other hand, At 5/, 4r 4 8r i r e πir6z+ + O, if k = 3 k i r 4 = k i r g = k i r k r e πir k 4 6z+ + O, if k 4 = k i r = k i r Xr t Uk χ 5 5 = X r t U k = 48 4 And g 5 5 = k i r = k i r = X r t U k k+ r q r k + O for k. X rt k X rt k X rt X k rt k k+ r q kr + O. χ X r t U k χ 0 0 by 7 χ = k+ i r k+ r q r k X rt k 5 5 X rt k X kt 5 5 X kt 0 = k+ i r X rt k 0 + O = k+ i r This implies that X r t U k χ + O. k+ r q kr + O. g has no poles, as desired. Now the lemma is proved. Let a and b be positive integers. We define ψa, b as follows. First we assume that 6, a, b =. 7

18 Case I: a odd and b odd., if a ± mod or b ± mod ψa, b =, otherwise. Case II: a even and b odd. Write a = k n with n odd. ψ b, if 6, b = ψa, b = k i b+ χn ψ n, otherwise where χn = n. Case III: a odd and b even. Put ψa, b = ψb, a. In general, let α 3 β a, b and define ψa, b = ψ a b,. α 3 β α 3 β Theorem. Let N =. If ab = cd and a, b = c, d, then ψa, b H a,b h a,b = ψc, d H c,d h c,d. Proof. Let α 3 β a, b = c, d. By Lemma 3, and H a,b h a,b = α 3 β H a α 3 β, b α 3 β h a α 3 β, b α 3 β H c,d h c,d = α 3 β H c α 3 β, d α 3 β h c α 3 β, d α 3 β. Thus we may assume that 6, a, b = 6, c, d =. Case I: a odd and b odd In this case a, = or b, =. And c, = or d, =. Therefore the assertion follows from. Case II: a even or b even 8

19 Since ψa, b = ψb, a, H a,b = H b,a and h a,b = h b,a, we may assume that a even and b odd resp. c even and d odd. Write a = k a with a odd resp. c = k c with c odd and k. By Lemma 0 it holds that X b t U k χz = k i b X k btz X k btz + /. Comparing the coefficients of q a -terms on both sides, we obtain that χa H k a,b = k i b H a, k b. Since h k a,b = h a, k b = 0 by [], Theorem 3. Case V, we end up with χa k i b+ H a,b h a,b = H a, k b h a, k b. Similarly, χc k i d+ H c,d h c,d = H c, k d h c, k d. If b, = d, =, then by ψ b H a,b h a,b = ψ d H c,d h c,d. Here we note by definition that ψ b = ψa, b and ψ d = ψc, d. If b, = and d,, then c, =. Again by ψ b H a,b h a,b = ψ c H c, k d h c, k d = k i d+ χc ψ c H c,d h c,d. Now the assertion follows from the definition of ψ. In the remaining cases i.e. b, and d, = or b, and d, the same argument leads to the assertion. 4. The case N = 0 Throughout this section we make use of the following notations. t: Hauptmodul of Γ 0, t : Hauptmodul of Γ 5 t 0 : Hauptmodul of Γ 0 0, t 0 : Hauptmodul of Γ 05 Lemma. X n t U X n t 0 U = 4 X nt X n t X nt X n t 0. 9

20 Proof. First we notice that all functions in the assertion are invariant under Γ 0. Now we investigate their possible poles. X n t resp. X n t 0 can have poles only at Γ 5 resp. Γ 0 5. And X n t resp. X n t 0 can have poles only at Γ 0 resp. Γ 0 0. Furthermore X n t U resp. X n t 0 U can have poles only at i 0 Γ 0 resp. i 0 Γ 0 0 for i = 0,. Then, up to Γ 0-equivalence, cusps in Γ 5 are equivalent to /5 or, cusps in Γ 0 5 are equivalent to /5 or /5 or or 3/0, cusps in Γ 0 are equivalent to, cusps in Γ 0 0 are equivalent to or 3/0, cusps in i 0 Γ 0 are equivalent to /5 or, and cusps in i 0 Γ 0 0 are equivalent to /5 or /5 or or 3/0 see the proof of Lemma 3. By investigating the pole parts at the cusps mentioned above we have the following table: 3/0 /5 /5 X n t U q n /n q n /4n X n t 0 U q n /n q n /n q n /4n q n /4n 4 nt q n /4n q n /4n 4 nt 0 q n /4n q n /4n q n /4n q n /4n 4 nt q n /4n 4 nt 0 q n /4n q n /4n It then follows that X n t U 4 X nt has poles only at with q n /4n as its pole part. Thus 8 X n t U 4 X nt = 4 X nt. 0

21 And X n t 0 U 4 X nt 0 has poles only at and 3/0 with q n /4n as its pole parts. Therefore, 9 X n t 0 U 4 X nt 0 = 4 X nt 0. Now subtracting 9 from two times the equality 8 leads us to the conclusion. 0, if n is even Let χ 0 be the trivial character mod, i.e. χ 0 n =, if n is odd. For a modular function f = n Z a nq n, we define its twist by f χ0 = n Z a nχ 0 nq n. Then it is easy to get f χ0 = f f U z = f f 0. Lemma 3. For an odd positive integer r, 0 [X r t X r t 0 U k ] χ 0 = k [X k rt X k rt 0 ] χ0. Proof. Since t 0 is replicable, it follows that for odd m, h k m,r = h m, k r, whence [X r t 0 U k ] χ 0 = X k rt 0 χ0. Thus 0 is equivalent to [X r t U k ] χ 0 X k rt 0 χ0 = k X k rt χ0 + k+ X k rt 0 χ0. Now to justify 0 it suffices to prove the following. [X r t U k ] χ 0 = k X k rt χ0 + k+ + X k rt 0 χ0. Since f χ0 = f f U z, both LHS and RHS of belong to KX 0. LHS of = X r t X U k rt z = [ U k+ Xr t Uk X rt Uk z + /] = k X k+ r t j 0 i k 0, i=0 j=0 which can have poles only at i 0 j a b c d Γ 0. Then k+ j i 0 0 k Γ 0 = k+ j i Γ 0. Let 0 a b c d = k+ a jc ic/c. Observe that g.c.d.

22 of k+ a jc ic and c divides k+. Write it as l. Then s = k+ a jc ic/ l c/ l is of the form n/5m for some integer m and n with 5, n =. Similarly, RHS of can have poles only at such cusps. Upto Γ 0-equivalence, cusp of the form n/5m is equivalent to one of /5, /5, 3/5, 4/5, /0, 3/0, /0, 3/0, 7/0, 9/0. s = /0, 3/0, 7/0, 9/0 We claim that for f KX 0 and γ 0 = a b c d Γ 00, f χ0 γ0 = f γ0 χ0. Indeed, the LHS of the above is f f U 0 0 γ 0 = f γ0 f U 0 0. Meanwhile, the RHS γ 0 of is f γ0 f γ0 U 0 0 = f γ 0 f U γ0 0 0 by Lemma. In order to claim it is enough to show that γ γ Γ 0. In fact, a c d b 0 0 a c d b 0 0 = ad bc/ ab Γ 0. Now we take f = X r t or X U k rt or X k rt k 0 and cd/ bc+da γ 0 Γ 0 0 which sends to s. Then which belongs to O. And [ LHS of ] γ0 = [X r t U k ] χ 0 γ0 = [[X r t U k ] γ 0 ] χ0 = [X r t γ0 U k ] χ 0 by Lemma [ RHS of ] γ0 = k X rt k χ0 γ0 + k+ + X rt k 0 χ0 γ0. Here we observe that X X rt k χ0 γ0 = [X rt k γ0 ] χ0 = rt k χ0, if γ 0 ±Γ 0 O, otherwise which belongs to O. In a similar way, we get X k rt 0 χ0 γ0 O. Thus [ RHS of ] γ0 O. Now LHS of RHS of is holomorphic at the cusps s = /0, 3/0, 7/0, 9/0. To deal with other cusps we need a sublemma. Sublemma. [X r t U k ] 5 = r q r, if k = k+ + r q k r + O, if k k

23 and [X r t 0 U k ] 5 = proof of the sublemma r q r, if k = k r q k r + O, if k. [X r t U k ] 5 = [X rt U k ] U 5 = [X rt U k ] [X rt U k ] 0 5 = [X rt ] U k [X rt U k ] = X rt U k z/ + [X rt 0 X r t] U k const. by Lemma and Lemma. Thus 3 [X r t U k ] 5 = Likewise, we have 4 [X r t 0 U k ] 5 = Now we prove the sublemma by induction on k. If k =, it was done. If k =, r q r, if k = [X rt 0 X r t] U k O, if k. r q r, if k = X rt 0 U k O, if k. X r t U4 5 = [X rt 0 X r t] U O = O by 3 and 4 and X r t 0 U4 5 = X rt 0 U O = 4r e πirz+ + O = 4r q r + O. 3

24 Now let k 3. [X r t ] U k 5 0 = X rt 0 U k 5 0 z + X rt U k 5 0 z + + O by 3 = e πi k 3 rz+ k r k + e πi k 3rz+ + O k r by induction hypothesis for k = q k r + k + q k r + O k r k r = q k r k + + O k r = q k r + k+ + O. k r In like manner, the assertion for [X r t 0 ] U k 5 0 can be proved. This completes the proof of the sublemma. s = /5 [ LHS of ] 5 = [X rt U k ] χ 0 5 = X rt U k 5 X rt U k = X r t U k 5 0 X rt U 3 k = X r t U k 5 0 [X rt 0 X r t] U k const. by Lemma and Lemma r q r + z e πir + O, if k = 4r = O, if k even k r q k r + k+ r q k r + O, if k 3 odd = 4r q r, if k = r + O, if k. k+ r q k k+ + by the sublemma Observe that f χ0 5 = [f f 0 ] 5 0 = f 5 0 f If we take X rt and X k rt k 0 instead of f, it then follows that X rt k χ0 5 = X rt k 5 4

25 X rt k O and X rt k 0 χ0 5 = X rt k 0 5 X rt k = 4r q r + O, if k = k+ r q k r + O, if k. Therefore [ RHS of ] 5 = 4r q r k+ + Now LHS RHS is holomorphic at s = /5. s = /0 For all k, 0 4 = k r z r e πik 4 + O + O, if k = r + O, if k. k+ r q k [ LHS of ] 0 = [X rt U k ] χ 0 0 = X rt U k 0 X rt U k = X r t U k X rt U k+ 5 0 = k + 0 k+ r q kr + O by the sublemma. Observe that f χ0 0 = [f f 0 ] 0 = f 0 f If we take f to be X rt or X k rt, then it follows that k and Thus X k rt χ0 0 = X k rt 0 X k rt = k+ r q kr + O X k rt 0 χ0 0 = k+ r q kr + O. [ RHS of ] 0 = k + k+ + k+ r q kr + O = k + Now LHS RHS is holomorphic at s = /0. k+ r q kr + O. s = /5, 3/5, 4/5, 3/0 5

26 Observe that /5 3/5 4/5 /5 and 3/0 /0 under Γ 0 0. Indeed, for c N, a/c a /c in X 0 0 if and only if a a mod c, N/c. Write s = γ 0 s 0 with γ 0 Γ 0 0 and s 0 = /5 or /0. In we take f to be [X r t X r t 0 ] U k k [X k rt X rt k 0 ]. By, Lemma and Lemma, we obtain that f χ0, if γ 0 ±Γ 0 f χ0 γ0 = f γ0 χ0 = f χ0 + constant, if γ 0 ±Γ 0. Note that γ 0 5 or γ 0 0 sends to s according as s 0 = /5 or s 0 = /0. Moreover f χ0 is equal to LHS of 0 RHS of 0. Finally f χ0 γ0 5 0 = ±f χ 0 5 O. And f χ0 γ0 0 = ±f χ 0 0 O.. For positive integers a and b we define ψa, b as follows. First we assume that 0, a, b = Case I: a odd and b odd. ψa, b =, if a ± mod 0 or b ± mod 0, otherwise. Case II: a even and b odd. Write a = k r with r odd. ψ 0 b, if 0, b = ψa, b = k ψ 0 r, otherwise. Case III: a odd and b even. Put ψa, b = ψb, a. In general, let α 5 β a, b and define ψa, b = ψ a α 5 β, b α 5 β. We write X n t = m Z H m,nq m, X n t 0 = m Z h m,nq m, X n t = m Z H m,nq m, and X n t 0 = m Z h m,nq m. Theorem 4. Let N = 0. If ab = cd and a, b = c, d, then ψa, b H a,b h a,b = ψc, d H c,d h c,d. 6

27 Proof. Let α 5 β a, b = c, d. Write a = Lemma 3 and Lemma, 5 Similarly, H a,b h a,b = 5 β H a 5 β, b 5 β h a 5 β, b 5 β a, b = b, c = c, and d = d. By α 5 β α 5 β α 5 β α 5 β = 4 α 5 β H a,b h a,b + H a,b h a,b. 6 H c,d h c,d = 4 α 5 β H c,d h c,d + H c,d h c,d. Case I: a odd and b odd In this case a, 0 = or b, 0 =. And c, 0 = or d, 0 =. By it holds that ψa, b 5 = ψc, d 6. This implies the assertion. Case II: a even or b even Since ψa, b = ψb, a, H a,b = H b,a and h a,b = h b,a, we may assume that a even and b odd resp. c even and d odd. Write a = k r with r odd resp. c = k s with s odd and k. Then r, 0 = or b, 0 =. And s, 0 = or d, 0 =. If b, 0 = d, 0 =, then by and ψ 5 b H a,b h a,b = ψ 5 d H c,d h c,d ψ 0 b H a,b h a,b = ψ 0d H c,d h c,d. Notice that ψ 5 n = ψ 0 n for n prime to 0. We then have ψa, b 5 = ψc, d 6. If b, 0 and d, 0 =, then r, 0 =. Note that a, 5 = and d, 5 =. By ψ 5 a H a,b h a,b = ψ 5 d H c,d h c,d. Since ψ 5 k r = ψ 5 k ψ 5 r = k ψ 0 r, the above can be rewritten as k ψ 0 r H a,b h a,b = ψ 0 d H c,d h c,d. 7

28 By Lemma 3, 7 k H a,b h a,b = k H k r,b h k r,b = k H b, k r h b, k r = H k b,r h k b,r. Since r, 0 = d, 0 =, we obtain by that ψ 0 r 7 = ψ 0 d H c,d h c,d. This implies k ψ 0 r H a,b h a,b = ψ 0d H c,d h c,d. Thus ψa, b 5 = ψc, d 6. The remaining cases i.e. b, 0 = and d, 0 or b, 0 and d, 0 can be treated in a similar way. References [] D. Alexander, C. Cummins, J. Mckay and C. Simons, Completely replicable functions. In: Groups, Combinatorics and Geometry, Cambridge Univ. Press, 87-95, 99. [] R. E. Borcherds, Monstrous moonshine and monstrous Lie superalgebras, Invent. Math. 09, , 99. [3] Conway, J.H. and Norton, S.P., Monstrous Moonshine, Bull. London Math. Soc., , 979. [4] P. L. Duren, Univalent Functions, Springer-Verlag, 983. [5] I. B. Frenkel, J. Lepowsky, A. Meurman, A natural representation of the Fischer-Griess monster with the modular function J as character, Proc. Natl. Acad. Sci. USA 8, , 984. [6], Vertex operator algebras and the monster, Boston, MA Academic Press, 988. [7] S. J. Kang, Graded Lie superalgebras and the superdimension formula, J. Algebra 04, , 998. [8] C. H. Kim and J. K. Koo, On the genus of some modular curve of level N, Bull. Australian Math. Soc. 54, 9-97, 996. [9], Super-replicable functions Nj,N and periodically vanishing property, submitted. [0] Koblitz, N., Introduction to Elliptic Curves and Modular Forms, Springer-Verlag, 984. [] M. Koike, On replication formula and Hecke operators, Nagoya University preprint. [] T. Miyake, Modular Forms, Springer-Verlag, 989. [3] S. P. Norton, More on moonshine. In: Computational Group Theory, 85-93, Academic Press, 984. [4] G. Shimura, Introduction to the Arithmetic Theory of Automorphic Functions, Publ. Math. Soc. Japan, No.. Tokyo Princeton, 97. [5] J. G. Thompson, Some numerology between the Fischer-Griess monster and elliptic modular functions, Bull. London Math. Soc., , 979. [6], Finite groups and modular functions, Bull. London Math. Soc., , 979. Chang Heon Kim, Department of mathematics, Seoul Women s university, 6 Kongnung -dong, Nowon-gu, Seoul, Korea address: chkim@swu.ac.kr Korea Advanced Institute of Science and Technology, Department of Mathematics, Taejon, Korea address: jkkoo@math.kaist.ac.kr 8