arxiv:math/ v2 [math.nt] 5 Dec 2006

Transcription

1 ON MODULAR FORMS FOR SOME NONCONGRUENCE ARITHMETIC SUBGROUPS arxiv:math/ v2 [math.nt] 5 Dec 2006 CHRIS A. KURTH AND LING LONG Abstract. In this paper, we consider modular forms for arithmetic subgroups of the modular group whose Fourier coefficients are algebraic. It is well-known that the Fourier coefficients of any meromorphic modular form for a congruence arithmetic group have bounded denominators. It was observed by Atkin and Swinnerton-Dyer that this is no longer true for modular forms for noncongruence arithmetic groups and they pointed out that unbounded denominator property is a clear distinction between modular forms for noncongruence and congruence modular forms. It is an open question whether genuine noncongruence modular forms (with algebraic coefficients) always satisfy the unbounded denominator property. In this paper we give a partial positive answer to the above open question by constructing special arithmetic groups called character groups and discuss the properties of modular forms for some groups of this kind. 1. Introduction In [BLS64] Bass, Lazard, and Serre proved that any finite index subgroup of SL n (Z) with n > 2 is congruence in the sense that it contains the kernel of a modulo q homomorphism SL n (Z) SL n (Z/qZ) for some natural number q. The story is quite different when n = 2. In the 19th century, the existence of noncongruence subgroups of the modular group PSL 2 (Z) was a question until the results of Fricke [Fri86] and Pick [Pic86]. Around the 1960 s more noncongruence subgroups were constructed [Rei58, New65, Ran67, etc]. Indeed noncongruence subgroups predominate congruence subgroups in PSL 2 (Z) [ASD71, Sto84]. In [ASD71], Atkin and Swinnerton-Dyer initiated a serious investigation on the properties of noncongruence modular forms using computers. Among other important observations and theorems, Atkin and Swinnerton-Dyer pointed out that the Fourier coefficients of certain noncongruence modular forms have unbounded denominators, which is a clear distinction between the noncongruence and congruence modular forms. Let Γ be a noncongruence arithmetic subgroup and Γ 0 its congruence closure, namely, the smallest congruence subgroup containing Γ. Let (UBD) refer to the following condition Let f be an arbitrary meromorphic integral weight modular form for Γ but not for Γ 0 with algebraic Fourier coefficients at infinity. Then the Fourier coefficients of f have unbounded denominators. A natural and interesting open question is: 1

2 2 CHRIS A. KURTH AND LING LONG Does every noncongruence arithmetic subgroup satisfy the condition (UBD)? To the authors best knowledge, all data about the known genuine noncongruence modular forms support a positive answer to the above question. It should be clear to the readers that this paper is solely about the unbounded denominator property of the coefficients of noncongruence modular forms; namely, Atkin and Swinnerton- Dyer congruences will not be addressed here. For research in this direction, the readers are referred to the original paper by Atkin and Swinnerton-Dyer [ASD71], several important papers by Scholl [Sch85, Sch88, etc], and some more recent papers [LLY05, ALL05, Lon06]. All groups considered here are arithmetic unless otherwise specified. Unlike the approach of Atkin and Swinnerton-Dyer in [ASD71], which is mainly concerned with subgroups of PSL 2 (Z) with small indices, Li, Long, and Yang [LLY05] considered modular forms for a noncongruence subgroup which is the kernel of a homomorphism from a congruence subgroup to a finite abelian group. Later, such a group is called a character group following Atkin. Noncongruence character groups are almost congruence with special symmetries [Lon06]. Hence they become natural candidates for testing the question above. Recall that any finite index genus g subgroup Γ 0 of PSL 2 (Z) can be described in terms of generators γ i,e j,a k,b k,1 i t,1 j s,1 k g and one relation γ t γ 1 e s e 1 B 1 g A 1 g B g A g B 1 1 A 1 1 B 1A 1 = I 2, (1) where γ i (resp. e j ) correspond to the stabilizers of the cusps (resp. elliptic elements) of X Γ 0, the compactified modular curve for Γ 0, and A j,b j correspond to the genus g of X Γ 0 (c.f. [Shi72]). Let ϕ be a homomorphism from Γ 0 to an abelian group G (written multiplicatively). We call the kernel Γ = ker ϕ a character group. We use the following notation to denote two different types of character groups. Definition 1.1. A character group Γ = ker ϕ is said to be of type I if ϕ(γ) 1 for some parabolic γ Γ 0 ; otherwise, it is said to be of type II. For example given any positive integer n, Γ 1 (n) is a type II character group of Γ 0 (n). The main difference between character groups of these two types lies in the general concept of level introduced by Wohlfahrt [Woh64] which extends the classical level definition for congruence subgroups by Klein. For any arithmetic subgroup, its level is the least common multiple of all cusp widths of the group. To be brief the level of a type II character group Γ is the same as the level of Γ 0 ; this is not true for type I character groups in general. We observe here that most nontrivial type II character groups are noncongruence (c.f. Propositions 3.2 and 3.3). Definition 1.2. We will call a character group type II(A) if it is the kernel of a homomorphism which factors through H 1 (X Γ 0, Z)( = Z 2g ). The definition implies such a homomorphism will map all parabolic and elliptic elements of Γ 0 to the identity. Hence every II(A) character group is of type II.

3 ON MODULAR FORMS FOR SOME NONCONGRUENCE ARITHMETIC SUBGROUPS 3 Later in this paper we will consider those Γ 0 whose genus is 1 so that the results on elliptic curves can be applied. The main result of this paper is the following theorem which gives a partial positive answer to the open question above. Theorem 1.1. Let Γ 0 be any genus 1 congruence arithmetic subgroup whose modular curve has a model defined over a number field. If there exists a prime number p such that every index p type II(A) character group of Γ 0 satisfies the condition (UBD), then there exists a positive constant c depending on Γ 0 such that for any X 0, #{Type II(A) char. gp Γ of Γ 0 [Γ 0 : Γ] < X,Γ satisfies (UBD)} > c X 2. (2) This result can be generalized to other genus cases where the power of X will be changed accordingly. However, we will work with genus 1 case here. We will justify in this paper that it is computationally feasible to verify the conditions for the above theorem. In particular, we consider the type II(A) character groups of Γ 0 (11) as Atkin s calculations in [Atk67] on modular functions for Γ 0 (11) (which can be easily turned into modular functions for Γ 0 (11)) will be very useful to us. We will show the conclusion of Theorem 1.1 holds for Γ 0 (11). This paper is organized in the following way: in Section 2 we give a general discussion on modular functions for character groups where we will present an unbounded denominator criterion (Lemma 2.7). In Section 3, we will conclude that most type II character groups are noncongruence. In Section 4, we will construct modular functions for type II(A) character groups and prove our main result, Theorem 1.1. In Section 5, we will study modular functions for type II noncongruence character groups of Γ 0 (11). In the last section, we will briefly describe type I character groups of Γ 0 (11). The authors are indebted to A.O.L. Atkin whose important observations have led us to the current discussions. The authors would like to thank him for his communications through which we have refined our approach. Atkin has provided another proof of the integrality of the Fourier coefficients of x and y used in Section 5. He has also further verified some other character groups satisfying (UBD). The authors also thank Dr. Wenching Winnie Li and Dr. Siu-Hung Ng for their helpful communications. Dr. Helena Verrill s Fundamental Domain Drawer was used to generate the diagram in this paper. 2. Fields of modular functions Recall some useful notation and results in [Shi71]. An element γ in PSL 2 (Z) is said to be parabolic (resp. elliptic or hyperbolic) if trγ = 2 (resp. < 2 or > 2). As before, we assume Γ is a noncongruence arithmetic subgroup of PSL 2 (Z) and Γ 0 its congruence closure. Let C(Γ) denote the field consisting of meromorphic modular functions for Γ over C. It is a finite algebraic extension of C(Γ 0 ). Let X Γ denote the compact modular curve for Γ. In this paper, we assume X Γ admits an algebraic model. We use standard notation for some well-known congruence subgroups of

4 4 CHRIS A. KURTH AND LING LONG PSL 2 (Z) with a given level n. For example { ( ) } Γ 0 (n) = γ SL 2 (Z) 0 γ = mod n / ± I 2 ; likewise we will use Γ 1 (n), Γ 0 (n),γ(n) to denote other standard congruence subgroups. Lemma 2.1 (c.f. Section 2.1 [Shi71]). If Γ is a normal subgroup of Γ 0, then C(Γ) is Galois over C(Γ 0 ) with the Galois group Gal(C(Γ)/C(Γ 0 )) being isomorphic to Γ 0 /Γ. For any γ Γ 0 and g(z) C(Γ), γ acts on g(z) via the stroke operator f(z) γ = f(γz). Lemma 2.2. Normal field extensions of C(Γ 0 ) which are contained in C(Γ) are in one-to-one correspondence with normal subgroups of Γ 0 containing Γ. Proof. By the Galois correspondence, there is a bijection between normal intermediate fields between C(Γ) and C(Γ 0 ) and normal subgroups of Γ 0 /Γ. By one of the isomorphism theorems, normal subgroups of Γ 0 /Γ are in one-to-one correspondence with normal subgroups of Γ 0 which contain Γ. Lemma 2.3. If Γ is normal in Γ 0 and Γ 0 /Γ is a finite abelian group, then any group Γ sitting between Γ 0 and Γ is normal in Γ 0. Proof. Assume Γ = i δ i Γ. Then for any γ Γ 0, γγ γ 1 = i γδ i Γγ 1 = i δ i γγγ 1 = i δ i Γ = Γ. Corollary 2.4. If Γ is any finite index character group of Γ 0, then any intermediate group Γ sitting between Γ 0 and Γ is also a character group of Γ 0. In particular, if Γ is of type I (resp. II, or II(A)), Γ is of the same type. In order to discuss the bounded or unbounded denominator property satisfied by integral weight meromorphic modular forms for Γ, we will restrict ourselves to a suitable algebraic number field K rather than C itself. For simplicity, we use (FS-A) to refer to the following condition satisfied by a modular form f: the Fourier coefficients of f at infinity are in K. If C(Γ) is generated over C by some transcendental generators f 1,,f n where each f i satisfies (FS-A), then K(Γ) = K(f 1,,f n ) is a subfield of C(Γ) consisting of meromorphic modular functions for Γ satisfying (FS-A). Moreover Use (FS-B) to refer to the following condition: K(Γ) K C = C(Γ). (3) the Fourier coefficients of f at infinity have bounded denominators. The following observation is very crucial to our discussion.

5 ON MODULAR FORMS FOR SOME NONCONGRUENCE ARITHMETIC SUBGROUPS 5 Observation 1. Elements in K(Γ) satisfying (FS-B) are closed under addition, subtraction, multiplication, and division by nonzero elements. Hence K(Γ) contains a subfield K B (Γ) consisting of elements satisfying (FS-B). By a classical result on congruence modular forms (c.f [Shi71]), K B (Γ) contains K(Γ 0 ). By the Galois correspondence again, K B (Γ) K C, which is an intermediate field between C(Γ) and C(Γ 0 ), corresponds to a character group of Γ 0. We denote this group by B Γ. If B Γ = Γ then every f K(Γ) will satisfy (FS-B). Given any integral weight meromorphic modular form f satisfying (FS-A), by dividing a suitable eta product of the same weight we may assume f is a weight 0 meromorphic function for Γ with the same bounded or unbounded denominator property. The next proposition follows immediately: Proposition 2.5. Suppose Γ is a character group of a congruence subgroup Γ 0 and B Γ = Γ 0. Then Γ satisfies (UBD). Observation 2. Let Γ be a character group of Γ 0. By the Fundamental Theorem of Finite Abelian Groups, it suffices to consider only character groups such that Γ 0 /Γ is cyclic. From now on we will confine ourselves to character groups of this type unless otherwise specified. Lemma 2.6. If Γ is a character group of Γ 0 with cyclic quotient of order n, then there is a modular function f for Γ 0 such that C(Γ) = C(Γ 0 )( n f). Proof. Since Gal(C(Γ)/C(Γ 0 )) is isomorphic to Γ 0 /Γ =< ζγ > for some ζ Γ 0, there exits a modular function g C(Γ) such that g ζ = e 2πi/n g. Let f = g n C(Γ 0 ). Then C(Γ) is a splitting field of x n f C(Γ 0 )[x]. Assume f K(Γ 0 ). The following is a simple criterion for detecting whether n f satisfies the unbounded denominator property. Note that any nonzero power series f in w can be easily normalized, up to multiplying a power of w, into the form f = m 0 a mw m with a 0 0. Lemma 2.7. Let K be a number field, p be any prime number and f = a 0 + m 1a m w m,a m K,a 0 0 such that for every m, a m is -integral for any prime ideal in O K above p. Expand p f = m 0 b mw m formally (which is well defined once we fix a branch for the pth root of a 0 ). If there exists one b m such that ord (b m /b 0 ) > ord a 0 p, then lim sup ord (b m ). m In other words, the sequence {b m } has unbounded denominators.

6 6 CHRIS A. KURTH AND LING LONG Proof. Assume { ord (b m /b 0 )} has an upper bound, say max{ ord (b m /b 0 )} = C which is larger than ord a 0 p by our assumption. Let m 0 be the smallest positive integer such that ord (b m0 /b 0 ) = C. Consider the m 0 p coefficient of ( (b m /b 0 )q m ) p = (a m /a 0 )q m. Using a standard p-adic analysis argument we derive a contradiction ord a 0 ord (a m0 p/a 0 ) = p ord (b m0 /b 0 ) > ord a Noncongruence character groups of type II In the sequel we call any homomorphism (whose image might be non-abelian) which sends all parabolic elements in Γ 0 to the identity a homomorphism of type II. Lemma 3.1. Γ 1 (n) is a type II character group of Γ 0 (n). Proof. Let ϕ be the following homomorphism ϕ : Γ 0 (n) (Z/nZ) / ± 1 ( ) a b ± (a mod n)/ ± 1. c d ( ) a bn So ker ϕ = Γ 1 (n). Assume γ = ± is a parabolic element in Γ 0 (n). c ±2 a Then detγ = 1 implies that a (±2 a) = 1 mod n, hence a = ±1 mod n. Thus ϕ(γ) = 1 for every parabolic element γ Γ 0 (n). Proposition 3.2. Let ϕ be a homomorphism of type II from Γ 0 (n) to another finite group (not necessarily abelian) whose kernel Γ does not contain Γ 1 (n). Then Γ is noncongruence. Proof. Let Γ be the kernel of ( ϕ and ) assume that Γ is a congruence subgroup. Since 1 0 both Γ 1 (n) and Γ contain, the generator of the stabilizer of 0, so does 1 1 Γ Γ 1 (n). Therefore the cusp width of Γ Γ 1 (n) at 0 is 1 (while the cusp width of Γ(n) at 0 is n). It follows [Γ Γ 1 (n) : Γ(n)] n. On the other hand we have n = [Γ 1 (n) : Γ(n)] = [Γ 1 (n) : Γ Γ 1 (n)][γ Γ 1 (n) : Γ(n)] [Γ 1 (n) : Γ Γ 1 (n)]n. Hence [Γ 1 (n) : Γ Γ 1 (n)] = 1 and Γ 1 (n) Γ. Using a similar argument, one can obtain that Proposition 3.3. Let ϕ be any nontrivial homomorphism of type II from either Γ 1 (n) or Γ(n) to another finite group with kernel Γ. Then Γ is noncongruence.

7 ON MODULAR FORMS FOR SOME NONCONGRUENCE ARITHMETIC SUBGROUPS 7 4. Modular functions for type II(A) character groups In this section, we fix Γ 0 to be a genus one subgroup of PSL 2 (Z), namely the modular curve X Γ 0 for Γ 0 is an elliptic curve. We will use O to denote the identity (or the origin) of the elliptic curve. Under such a setting, one can apply well-known results on elliptic curves (c.f. [Sil86]). Let Div 0 (X Γ 0) denote the set of all degree zero divisors on the elliptic curve X Γ 0. For any f C(Γ 0 ), let div(f) = P n P (f)(p), where n P (f) = ord P (f) is the order of vanishing of f at P. Then div(f) is a finite sum and it belongs to Div 0 (X Γ 0). Recall that D 1,D 2 in Div 0 (X Γ 0) are said to equivalent and are denoted by D 1 D 2 if D 1 D 2 = div(f) for some f C(Γ 0 ). Let ϕ : Γ 0 G be any surjective homomorphism which factors through H 1 (X Γ 0, Z). Then there exists a projection map π : Γ 0 H 1 (X Γ 0, Z) and a surjective homomorphism ϕ : H 1 (X Γ 0, Z) G such that ϕ = ϕ π. Under our assumption H 1 (X Γ 0, Z), denoted simply by G 0 (written additively) here, is isomorphic to Z 2. Using the generators and relation for Γ 0, we can deduce π(γ i ) = 1 = π(e j ), for all 1 i t,1 j s and a = π(a 1 ),b = π(b 1 ) are the two generators of the free abelian group G 0. It follows ϕ(a) = ϕ(a 1 ), ϕ(b) = ϕ(b 1 ). Moreover, [Γ 0 : Γ] = [G 0 : ker ϕ] = G. So we have the following lemma ϕ Γ 0 G π eϕ G 0 = a,b Lemma 4.1. Let Γ 0 be a finite index genus 1 arithmetic subgroup, then type II(A) character groups Γ of Γ 0 are in one-to-one correspondence with finite index subgroups Γ of G 0. Proof. The correspondence is Γ = ker ϕ ker ϕ = Γ. Corollary 4.2. Let p > 1 be a prime number and Γ 0 as above. There are p + 1 non-isomorphic index p type II(A) character groups of Γ 0. Proof. The rank 2 free abelian group G 0 has p+1 non-isomorphic index p subgroups. Assume Γ is a type II(A) character group of Γ 0 with Γ 0 /Γ = Z/nZ. By the Hurwitz genus formula (c.f. [Sil86]), X Γ also has genus 1. The natural projection map X Γ X Γ 0 is a degree n isogeny of elliptic curves. We know C(Γ) = C(Γ 0 )( n f) for some f C(Γ 0 ). Let g = n f. Consider the divisor div(g) in Div 0 (X Γ 0). By Proposition 3.4 of [Sil86] there exists a unique point P on X Γ 0 such that div(g) (P) (O),

8 8 CHRIS A. KURTH AND LING LONG where O stands for the origin of the elliptic curve X Γ 0. Since div(g n ) = div(f) is a principle divisor, we know P is an n-torsion point of X Γ0 by Abel s Theorem. Hence one can pick f = f P to be a modular function for Γ 0 satisfying div(f P ) = n (O) + n (P). (4) Lemma 4.3. If X Γ 0 has an algebraic model defined over a number field K 0 and C(Γ 0 ) = K 0 (Γ 0 ) K0 C, then for any type II(A) character group Γ of Γ 0 with Γ 0 /Γ = Z/nZ, C(Γ) is generated over C(Γ 0 ) by a single element g whose Fourier coefficients at infinity are in a fixed number field K above K 0. Proof. Assume div(g) (P) (O) and by the above assumption the coordinates of P on the elliptic curve X Γ 0 are algebraic numbers. Let x and y be the local variables of X Γ 0 which have only one pole at infinity of degree 2 and 3 respectively. We may assume the Fourier coefficients of x and y at infinity are in a number field K 0. Then f P can be expressed as a polynomial in x and y whose coefficients can be determined by the local condition that f P = F(x,y) has value 0 at P with multiplicity n. Hence the coefficients of F(x,y) can be determined by solving a system of algebraic equations. Then we can pick K to be a large enough number field which contains coefficients of F(x,y) and all primitive nth roots. Lemma 4.4. Given two functions g 1 and g 2, assume div(g 1 ) (P 1 ) (O) and div(g 2 ) (P 2 ) (O). They generate the same finite field extension over C(Γ 0 ) which corresponds to a type II(A) character group if and only if P 1 = P 2 as a finite abelian subgroup of X Γ 0. Proof. By our previous assumptions, the orders of P 1 and P 2 in X Γ 0 are both n. If g 1 C(Γ 0 )(g 2 ), then (P 2 ) (O) (P 1 ) (O), thus P 2 P 1. So C(Γ 0 )(g 1 ) = C(Γ 0 )(g 2 ) implies P 1 = P 2. Conversely, if P 1 = P 2 then P 2 = kp 1, for some integer k such that gcd(k,n) = 1. So div(g1 k/g 2) = k(p 1 ) (kp 1 ) (k 1)(O) is principle. Hence g 2 C(Γ 0 )(g 1 ). Similarly, g 1 C(Γ 0 )(g 2 ). Therefore g 1 and g 2 generate the same field. The following proposition follows from the previous discussions. Proposition 4.5. Let Γ 0 as above and p be a prime number. Let P and Q be two linearly independent p-torsion points of X Γ 0, then each function p f P, p f Q+iP,i = 1,,p generates a degree p field extension of C(Γ 0 ) which corresponds to an index p type II(A) character group of Γ 0. Moreover, any two II(A) character groups obtained this way are non-isomorphic. Let Γ be a type II(A) character group of Γ 0. We have shown that there is an intermediate group B Γ between Γ 0 and Γ which corresponds to an intermediate field between K(Γ) and K(Γ 0 ) with elements satisfying (FS-B). Now let B II(A) = Γ B Γ, (5) where Γ runs through all type II(A) character groups of Γ 0.

9 ON MODULAR FORMS FOR SOME NONCONGRUENCE ARITHMETIC SUBGROUPS 9 Lemma 4.6. Let Γ be an arbitrary type II(A) noncongruence character group Γ of Γ 0. If then Γ satisfies the condition (UBD). B II(A) Γ = Γ 0, (6) Proof. The group B Γ contains both B II(A) and Γ. Since B II(A) Γ is the smallest subgroup of Γ 0 containing both B II(A) and Γ, it is contained in B Γ. So Γ 0 B Γ B II(A) Γ = Γ 0 and thus B Γ = Γ 0. The claim then follows from Proposition 2.5. For simplicity, we write simply B for B II(A) below. Lemma 4.7. If there exists a prime number p such that for every index p type II(A) character group Γ of Γ 0, B Γ = Γ 0, then [Γ 0 : B] <. Proof. Let B = π(b) G 0. Since B Γ = Γ 0, we have B + Γ = G 0. Because Γ is a proper subgroup of G 0, B is not trivial. To achieve the claim it suffices to show that the rank of B is 2. We will rule out the other remaining possibility: B has rank 1. Assume B has rank 1 and up to picking a new basis for G 0, we may assume B = na for some integer n > 0. Hence B + a,pb = a,pb where a,pb = Γ is an index p subgroup of G 0. Let Γ be the index p type II(A) character group of Γ 0 corresponding to Γ. Correspondingly we have B Γ = Γ which contradicts the assumption. Consider finite index subgroups Γ of G 0. By a standard argument using modules over Z, we know such each Γ can be written uniquely as la + nb,mb for some nonnegative integers l,n,m where 0 n < m and l > 0. Hence finite subgroups of G 0 are in one-to-one correspondence with triples (l,n,m) of nonnegative integers satisfying 0 n < m and l > 0. Lemma 4.8. Assume B = sa+ub,vb with such a triple (s,u,v). Then Γ+ B = G 0 if and only if gcd(s,l) = 1 = gcd(v,m,sn ul). (7) Proof. C.f. Theorem 3.9 [Jac85]. Next we give an estimation for the number of type II(A) character groups Γ of Γ 0 satisfying Γ B = Γ 0. Lemma 4.9. Assume [Γ 0 : B] <. There exists a positive constant c depending on Γ 0 such that when X 0 # { II(A) type char. gp Γ of Γ 0 [Γ 0 : Γ] < X, Γ B = Γ 0} > c X 2. (8) Proof. It is equivalent to consider finite index subgroups Γ of G 0 such that Γ + B = G 0. By the previous lemma, it boils down to counting the number of triples (l,n,m)

10 10 CHRIS A. KURTH AND LING LONG Figure 1. Fundamental domain for Γ 0 (11) satisfying 0 n < m, l > 0, and (7). We further assume l = 1 and X/2 < m < X. The problem has been reduced to counting the number of couples (m,n) such that X/2 < m < X, (s,m) = 1, 0 n m. Between X/2 and X there are about φ(s) 2s X integers coprime to s, where φ(s) is the Euler number of s. So there exists a constant c 1 > 0 depending on s such that there are at least c 1 X positive integers within (X/2,X) satisfying (s,m) = 1. Therefore there are at least c 1 2 X 2 triples of nonnegative integers (l,n,m) satisfying the conditions above. Putting the above statements together, we have proved Theorem Character groups of Γ 0 (11) of type II In this chapter, we show that it is computationally feasible to verify the conditions on Theorem 1.1 by working with type II(A) character groups of Γ 0 (11). We choose Γ 0 (11) as the integrality of the Fourier coefficients of two basic modular functions for Γ 0 (11) is known due to a result of Atkin [Atk67] The group Γ 0 (11). The genus of Γ 0 (11) is 1. It is generated by two parabolic elements γ and γ 0 as well as A 1 and B 1 subject to one relation: γ γ 0 ABA 1 B 1 = I 2. Since Γ 0 (11) does not have any elliptic element, every type II character group of Γ 0 (11) is automatically of type II(A). The modular curve X Γ 0 (11) has an equation (c.f. [Cre97]) X Γ 0 (11) : y 2 + y = x 3 x 2 10x 20. (9) It is known that the unique (up to a scalar) holomorphic differential 1-form on X Γ 0 (11) is dx(z) 2y(z) + 1 = c η(z)2 η(z/11) 2 dz, (10)

11 ON MODULAR FORMS FOR SOME NONCONGRUENCE ARITHMETIC SUBGROUPS 11 where η(z) = q 1/24 n 1(1 q n ), q = e 2πiz. (11) One can easily determine that c = 1. From (9) and (10), we have x(z) := w 2 +2w w +8w 2 +w 3 +7w 4 11w 5 +10w 6 12w 7 18w 8 +, y(z) := w 3 +3w 2 +7w w+26w 2 +19w 3 +37w 4 15w 5 16w 6 67w 7 +, where w = e 2πiz/11. Lemma 5.1. The Fourier coefficients of x and y at infinity are in Z. Proof. In [Atk67], Atkin gave a system of modular functions {G n (z)} on X Γ0 (11) (and {G n (z/11)} on X Γ 0 (11)) with only one pole of order n at infinity and a zero at z = 0 with prescribed (high) multiplicities. According to Lemma 4 of [Atk67], one can obtain that x = G 2 (z/11) + 16, y = G 3 (z/11) + 6G 2 (z/11) Therefore x and y have integral coefficients. Corollary 5.2. The x and y coordinates for z = 0 are 16 and Index 2 type II character groups of Γ 0 (11). By direct verification, we can describe the index 2 type II character groups of Γ 0 (11) as follows. Lemma 5.3. There are three distinct surjective homomorphisms from Γ 0 (11) to {±1} of type II. If ϕ(a 1 ) = 1,ϕ(B 1 ) = 1, then ker ϕ is generated by subject to the relation {A 2 1,B 1,γ 0,γ,A 1 γ 0 A 1 1,A 1γ A 1 1 } (γ 0 γ )(A 1 γ 0 γ A 1 1 )(A2 1B 1 A 2 1 B 1 1 ) = I 2. If ϕ(a 1 ) = 1,ϕ(B 1 ) = 1, then ker ϕ is generated by subject to the relation {A 1,B 2 1,γ 0,γ,B 1 γ 0 B 1 1,B 1γ B 1 1 } (B 1 γ 0 γ B 1 1 )(γ 0γ )(A 1 B 2 1A 1 1 B 2 1 ) = I 2. If ϕ(a 1 ) = 1,ϕ(B 1 ) = 1, then ker ϕ is generated by subject to the relation {A 2 1,B 1 A 1,γ 0,γ,A 1 γ 0 A 1 1,A 1γ A 1 1 } (γ 0 γ )(A 1 γ 0 γ A 1 1 )((A2 1)(BA 1 )(A 2 1) 1 (BA 1 ) 1 ) = I 2.

12 12 CHRIS A. KURTH AND LING LONG Making the change of variables equation (9) will be changed to x := X + 1 3, y := 1 2 Y 1 2, Y 2 = X X Let α i,1 i 3 be the three roots of X X Then X α i is a meromorphic function on X Γ 0 (11) and div(x α i ) = 2(P i ) 2(O), where the (X,Y ) coordinates for P i are (α i,0). Let β i = 3 4/3 + α i. Then f Pi = X α i = 3 4x β i = 3 4w w 1 +. Formally fpi = b n w n = 3 ( 2 w ( 3 2 β i 2 )w + (1 β ) i 2 )w2 +. Either ord (b 1 /b 1 ) or ord (b 2 /b 1 ) is ord 2 > ord ( ) for some place above 2. Hence by Lemma 2.7, we have Theorem 5.4. Let Γ be any one of the index 2 type II(A) character groups of Γ 0 (11). The field C(Γ) is an extension of C(Γ 0 (11)) generated by an element whose Fourier expansions have unbounded denominators. Thus Γ satisfies the condition Γ B II(A) = Γ 0 (11) and hence (UBD). So Γ 0 (11) satisfies the conditions of Theorem 1.1. Theorem 5.5. There exists a constant c such that the conclusion of Theorem 1.1 holds for Γ 0 (11) Index 5 character groups of Γ 0 (11) of second type. In this subsection, we consider index 5 type II character groups of Γ 0 (11). Note that Γ 1 (11) is one of these groups and the Mordell-Weil group of X Γ 0 (11) over Q is isomorphic to Z/5Z. Let P = [5,5] and Q = [ , ]. They generate all 5-torsion points of X Γ 0 (11). (In particular, 3P = [16,60] corresponds to the point z = 0 on X Γ 0 (11).) The x-coordinates of Q+iP, 1 i 4 are the roots of the monic polynomial x 4 + x x x and hence are all integral. Similarly, the y-coordinates of Q + ip, 1 i 4 are also integral. By an explicit calculation using Maple, it is found that (c.f (4)) f P = xy 4x x 4y 55. Hence the Fourier coefficients of the expansion of f P in terms of w are all 5-integral. When i = 1,2,3,4, the coefficients of f Q+iP, as a polynomial in x and y, are in a larger number field K. However, by checking the denominators, one concludes that the Fourier coefficients of the expansion of f Q+iP in terms of w are all -integral for any prime in K above 5.

13 ON MODULAR FORMS FOR SOME NONCONGRUENCE ARITHMETIC SUBGROUPS 13 Corollary 5.6. The w-expansions of all above functions are -integral for any prime above 5. More explicitly, we have f P = w 5 + w 4 3w w w , f Q+P = w 5 + w i(3+ 5) w 3 +, f Q+2P = w 5 + w i(23+3 5) w 3 +, f Q+3P = w 5 + w i(23+3 5) w 3 +, f Q+4P = w 5 + w i(3+ 5) w 3 +. Hence one can apply Lemma 2.7 and conclude that the coefficients of 5 f P (w) and 5 f Q+iP (w), 1 i 4 have unbounded denominators. Theorem 5.7. There are 6 index 5 type II(A) character groups in Γ 0 (11). Among them, one is Γ 1 (11) and the other 5 are noncongruence. Moreover every one of these noncongruence subgroups Γ satisfies the condition (UBD). We conjecture that Conjecture 1. For Γ 0 (11), B II(A) = Γ 1 (11). 6. Character groups of Γ 0 (11) of type I By Lemma 3 of [Atk67], the following modular function for Γ 0 (11) ( ) η(z/11) 12 G 5 (z) = = w 5 ( 1 12w + 54w 2 88w 3 99w 4 + ) η(z) satisfies div(g 5 ) = 5(P 0 ) 5(O), where P 0 = [16,60] is a 5-torsion point of X Γ 0 (11). Since P 0 corresponds to the point z = 0 as we have mentioned earlier, O and P 0 are the two cusps of Γ 0 (11). Let Γ be a type I character group of Γ 0 (11) with Γ 0 (11)/Γ = Z/nZ. Then C(Γ) = C(x,y)( n f) for some f C(Γ 0 (11)) = C(x,y). Consider div(f) = n P0 (f)(p 0 ) n O (f)(o) + l n i (f)(p i ), where each P i is different from O or P 0. Since the covering map X Γ X Γ 0 (11) only ramifies at the cusps, n n i 1 i l. As P 0 is a 5-torsion point, we have ( l ) div(f 5 ) = div(g n P 0 (f) 5 ) + 5n i (f)(p i ) + (5n P0 (f) 5n O (f))(o). i=1 If 5 n, then n f and n f 5 will generate the same field extension over C(Γ 0 (11)). Hence we may assume f = (G 5 ) n0 f for some integer n 0 and f C(Γ 0 (11)) such that C(Γ 0 (11))( n f ) corresponds to an index 5n type II character group of Γ 0 (11). i=1 (12)

14 14 CHRIS A. KURTH AND LING LONG In particular we consider the case when f = 1 and 5 n. In this case we may assume n 0 = 1. Let Γ n denote the character group whose field of modular functions is generated by n G 5 over C(Γ 0 (11)). By using the genus formula again, n Γ n has genus n. When n 1,2,3,4,6,12 and 5 n, the coefficients of G 5 have unbounded denominators and hence Γ n is a type I character group of Γ 0 (11) which 5 satisfies the condition (UBD). Moreover, G 5 corresponds to an index 5 type II character group. Remark 6.1. When n = 2,3,4,6,12, n G 5 is an eta quotient. It is clear that it is a congruence modular function. Hence Γ n is congruence when n is divisible by 12. By the classification of Cummins and Pauli on congruence arithmetic subgroups with genus no larger than 24 [CP03], we know when n = 2,3,4,6,12, the corresponding character groups are 22A 2,33A 3,44A 4,66B 6,132A 12 in the Cummins and Pauli s notation. References [ALL05] A. O. L. Atkin, W.C. Li, and L. Long, On Atkin and Swinnerton-Dyer congruence relations (2), math.nt/ (2005). [ASD71] A. O. L. Atkin and H. P. F. Swinnerton-Dyer, Modular forms on noncongruence subgroups, Combinatorics (Proc. Sympos. Pure Math., Vol. XIX, Univ. California, Los Angeles, Calif., 1968), Amer. Math. Soc., Providence, R.I., 1971, pp [Atk67] A. O. L. Atkin, Proof of a conjecture of Ramanujan, Glasgow Math. J. 8 (1967), [BLS64] H. Bass, M. Lazard, and J.-P. Serre, Sous-groupes d indice fini dans SL(n, Z), Bull. Amer. Math. Soc. 70 (1964), [CP03] C. J. Cummins and S. Pauli, Congruence subgroups of PSL(2, Z) of genus less than or equal to 24, Experiment. Math. pauli/congruence/ 12 (2003), no. 2, [Cre97] J. E. Cremona, Algorithms for modular elliptic curves, second ed., Cambridge University Press, Cambridge, [Fri86] R. Fricke, Über die Substitutionsgruppen, welche zu den aus dem Legendre schen Integralmodul k2(w) gezogenen Wurzeln gehören. (Mit einer Figurentafel), Math. Ann. 28 (1886), [Jac85] N. Jacobson, Basic algebra. I, second ed., W. H. Freeman and Company, New York, [LLY05] W.C Li, L. Long, and Z. Yang, On Atkin and Swinnerton-Dyer congruence relations, J. of Number Theory 113 (2005), no. 1, [Lon06] L. Long, On Atkin and Swinnerton-Dyer congruence relations (3), (2006). [New65] M. Newman, Normal subgroups of the modular group which are not congruence subgroups, Proc. Amer. Math. Soc. 16 (1965), [Pic86] G. Pick, Über gewisse ganzzahlige lineare Substitutionen, welche sich nicht durch algebraische Congruenzen erklären lassen, Math. Ann. 28 (1886), [Ran67] R. A. Rankin, Lattice subgroups of free congruence groups, Invent. Math. 2 (1967), [Rei58] I. Reiner, Normal subgroups of the unimodular group, Illinois J. Math. 2 (1958), [Sch85] A. J. Scholl, Modular forms and de Rham cohomology; Atkin-Swinnerton-Dyer congruences, Invent. Math. 79 (1985), no. 1, [Sch88], The l-adic representations attached to a certain noncongruence subgroup, J. Reine Angew. Math. 392 (1988), 1 15.

15 ON MODULAR FORMS FOR SOME NONCONGRUENCE ARITHMETIC SUBGROUPS 15 [Shi71] G. Shimura, Introduction to the arithmetic theory of automorphic functions, Publications of the Mathematical Society of Japan, No. 11. Iwanami Shoten, Publishers, Tokyo, 1971, Kanô Memorial Lectures, No. 1. [Shi72] T. Shioda, On elliptic modular surfaces, J. Math. Soc. Japan 24 (1972), [Sil86] J. H. Silverman, The arithmetic of elliptic curves, Springer-Verlag, New York, [Sto84] W. W. Stothers, Level and index in the modular group, Proc. Roy. Soc. Edinburgh Sect. A 99 (1984), no. 1-2, [Woh64] K. Wohlfahrt, An extension of F. Klein s level concept, Illinois J. Math. 8 (1964), Department of Mathematics, Iowa State University, Ames, IA 50011, USA