arxiv: v1 [math.ag] 22 Mar 2016

Transcription

1 Equatons assocated to the Prncal Congruence Subgrou of Level Eght arxv: v math.ag] Mar 06 Introducton Takash Nwa For a natural number q, let Γ q be the rncal congruence subgrou of level q of SL(,Z, namely, Γ q = {( } a b SL(,Z a d, b c 0 (mod q. c d We consder the comactfcaton of H/Γ q and denote ths comact Remann surfaces by X q. It turns out that all comact Remann surfaces are obtaned by algebrac equatons. Thus, X q s also obtaned by an algebrac equaton. Equatons of X q for rme numbers q are gven n II]. Furthermore, Ishda gves equatons for all natural numbers q n Is]. They consder a famly of modular functons ( X r (τ = ex π q (r (q K r,s (τ 4q K s=0,s (τ for r Z whch aren t dvded by q. Here, K u,v (τ are Klen forms of level q. For Klen forms, let see Kubert and Lang KL]. They show that X (τ s ntegral over QX (τ εq ], where ε q s or accordng to whether q s odd or even and then, get equatons of X q. Recently, Yang gves another way to get the equatons n Ya] by generalzng Dedeknd η-functons. Then the urose of ths aer s to fnd an equaton assocated to X 8 wthout consderng modular functons. We remark that equatons for q 7 are obtaned by easy ways. For q 5, equatons of X q s y = 0 snce the genus of X q s zero so that X q s somorhc to the Remann shere. An equaton of X 6 s an elltc curve y = x snce X 6 has an automorhsm of order wth fxed onts. The Klen s quartc X 7 (cf. Kl] s gven by the classcal equaton y 7 = x(x. The advantage of our way s that t s resolved n a more smler way and we can fnd some roertes of comact Remann surfaces from equatons. We gve a summary of the contents. Deartment of Mathematcs, Tokyo Insttute of Technology, -- Oh-okayama, Meguro-ku, Tokyo 5-855, Jaan, e-mal: nwa.t.ad@m.ttech.ac.j

2 In, we see some roertes of comact Remann surfaces defned by an equaton y = r (x a m. = We call t a sem-hyerelltc curve. Kurbayash showed n Ku] that f a comact Remann surface X has an automorhsm τ such that the genus of X/ τ s zero, an equaton of X s gven by a semhyerelltc curve. Here, s the order of the automorhsm τ and r s gven by the number of branched onts of the natural rojecton X X/ τ. Grondo and Gonzâlez-Dez gve the values of the exonents m for rme number n GG] by consderng the rotaton number of the automorhsm τ. Usng ther dea, we obtan the values of the exonents m for all natural numbers. We also obtan some condtons of a. In, we have the genus of X q / z z+n and see that there s an automorhsm τ of X q such that the genus of X q / τ s zero, for q 0 or q =. Thus, for these q, esecally q = 8, X q s obtaned by sem-hyerelltc curves. In, we consder equatons of X q. Then we gve a new aroach to get equatons of X q for q 0 or q =, whch are sem-hyerelltc curves. By usng a method of, we get equatons of these X q excet for values of constant numbers a. It s done by comutng rotaton numbers of arallel dslacement. In 4, we get an equaton of X 8 comletely ncludng constant numbers a. The equaton s y 8 = x (x (x+. We determne a from the automorhsm grou of X 8 agree wth the one of the comact Remann surface defned by an equaton whch we get n. We consder automorhsms n the rojectve sace because t s dffcult to consder them on algebrac curves n C. Proertes of sem-hyerelltc curves We recall that a relaton between algebrac functons and comact Remann surfaces. Let F(x,y = a (x y Cx,y] =0 be an rreducble olynomal. If, there exsts a comact Remann surface X F whch contans the connected Remann surface { (x,y C F(x,y = 0,F y (x,y 0,a (x 0 }, (. whch s an oen Remann surface wth fntely many comlementary onts. The frst rojecton (x, y x s a holomorhc functon and admts a holomorhc extenson X F Ĉ. X F s unquely determned by F(x, y u to conformal mas. Conversely, all comact Remann surface X has an rreducble olynomal F(x,y such that X F s somorhc to X. It s shown by consderng the meromorhc functon feld. Let M(X be the meromorhc functon feld of X. M(X s an algebrac functon feld of one varable. In other words, there exsts an element f M(X\C such that the extenson C(f M(X s fnte. It s known that M(X : C(f] = deg(f

3 and f g M(X s njectve on the generc fber of f, we get M(X = C(f,g. There s an rreducble olynomal F(x,y such that F (f(x,g(x 0 on X. X s somorhc to X F by extenson of X x (f(x,g(x X F. Our urose s to fnd such rreducble olynomals concretely to gven esecal comact Remann surfaces. Let ζ be a rmtve -th root of unty. The followng rooston motvates us to the man theorem of ths aer. Prooston.. Let X be a comact Remann surface whch has an automorhsm τ of order such that the genus of X/ τ s zero. Then an equaton of X s gven by a sem-hyerelltc curve y = and τ corresonds to (x,y (x,ζ y on ths sem-hyerelltc curve. r (x a m (. Proof. Let τ be an automorhsm on M(X defned by τ (f = f τ. Snce = M(X τ = {f M(X τ (f = f } s somorhctom(x/ τ, theres ameromorhcfuncton x M(X such that M(X τ = C(x. One can easly see that the degree of x s and then M(X : C(x] = <. We regard the automorhsm τ as an endomorhsmof thevector sace M(X over thefeld C(x. We clam that the mnmal olynomal of τ s t C(xt]. Snce (τ = d, t suffces to show the mnmalty of the degree. We assume that a 0 (x+a (xτ + +a (x(τ = 0, (. where a 0 (x,,a (x C(x. We should show a l (x 0 for all l = 0,,. We take a ont P X such that P, τ(p,, τ (P dffer from each other and a l (x(p s fnte for all l. We also take meromorhc functons f j for j =,, such that f j ( τ l (P = j l. The reason of the exstence of f j s shown by the next theorem. For a roof, see Fr] for examle. Theorem.. Let X be a comact Remann surface and S X be a fnte subset. Assume that for each s S a comlex number a s C s gven. Then there s a meromorhc functon f M(X such that f(s = a s for all s S. By substtutng f j (P for (., we have a 0 (x(p+a (x(p j + +a (x(p j = 0. Ths means that at most ( -th degree olynomal has dstnct soluton, then we have a l (x(p = 0. Snce ths argument s held for all such onts P X, we have a l (x 0. Therefore, the mnmal olynomal of τ s t. By Cayley-Hamlton theorem, ζ s an egenvalue of τ. We take an egenvector y M(X, that s, τ (y = ζ y. By τ (y = y, we get y = a(x y C(x. Relacng y wth b(x b(x, we can assume y s an element of Cx]. We can also assume y s a monc olynomal n x by relacng y wth cy for a sutable

4 non-zero constant c. Furthermore, snce y s njectve on the generc fber of x, we have M(X = C(x,y. Then we conclude that an equaton of X s gven by the sem-hyerelltc curve (.. We fnally check the behavor of τ on ths sem-hyerelltc curve. Let Φ : X P (x(p, y(p {The comact Remann surface gven by (.} be an somorhsm and (x,y = (x(p, y(p. By Φ τ Φ (x,y = Φ τ(p we have that τ corresonds to (x,y (x,ζ y. Remark.. The rreducblty of y = (x τ(p, y τ(p = (x(p, ζ y(p = (x,ζ y r (x a = s shown by the behavor of τ on the sem-hyerelltc curve. If t s a reducble olynomal, the ma (x,y (x,ζ y s not defned on a comact Remann surface defned by y = r = (x a, here <. By reeatng the relacement of y to (x a y, we can assume m <. Our next goal s to determne r, m and a n the defnton of a sem-hyerelltc curve. To do ths, we have to consder some roertes of a sem-hyerelltc curve. Let X be a comact Remann surface defned by (. and we see that how X s done ts comactfcaton. By (., X s obtaned by the comactfcaton of { } r (x,y C y = (x a m,y 0 (.4 = and thus, onts whch are related to (a,0 and nfnty onts are added. To see that how to add onts to the curve (.4 by comactfcaton, we shall defne a chart ϕ P around each ont P. Let gcd(a,b be the greatest common dvsor of a and b. If P = (a,0, we consder ϕ P (t = m ( mk gcd(,m t gcd(,m +a, t gcd(,m t +a a k k defned n a small dsc. Then the branch order of the frst rojecton X (x,y x Ĉ at (a,0 s gcd(,m. Tobethedegreeofthsrojectons,wehavetoaddgcd(,m onts(a,,0,,(a,gcd(,m,0. We sometmes use smly notaton a,l nstead of (a,l,0. We also use (a,0 f gcd(,m =. We see the branch order of τ : (x, y (x, ζ y at a,l s If P s a nfnty ont, we also consder ( ϕ P (t = t gcd(,m, t m gcd(,m gcd(,m r = by consderng the natural rojecton X X/ τ. ( a t gcd(,m m (0 < t < ε (t = 0, 4

5 where m s r = m. Snce the branch order of the frst rojecton at a nfnty ont s gcd(,m, we also need to add gcd(,m onts,, gcd(,m and the branch order of τ at l s gcd(,m. In artcular, the nfnty onts are non-branched onts of τ f and only f m s dvded by. In Prooston., we take Ψ be an somorhsm from X/ τ to Ĉ and let Q,,Q s X/ τ be the branched values of the natural rojecton X X/ τ. By comosng Ψ wth a Möbus transformaton f necessary, we can assume Ψ(Q s contaned n C for all. By the next commutatve dagram X Φ The natural rojecton X/ τ X The frst rojecton where X s the comactfcaton of (.4, we have Ψ Ψ({Q,,Q s } = {a,,a r }. Thus, we can assume r = s,ψ(q = a and the nfnty onts are non-branched onts of τ. By the followng facts, we obtan condtons about m. Under the assumton of Prooston., let P,,,P,n,,P r,,,p r,nr be the branched onts of τ, where P,,, P,n are τ equvalent onts. Namely, τ(p, = P,,τ(P, = P,,,τ(P,n = P,. Then the Remann surface X s gven by r y = (x Ψ(P, ] m = and the exonents m are satsfed wth gcd(,m = n for all and r = m s dvded by. Inorder to comletely determnem, wedefnethe rotaton number (cf. GG]. Let X bearemann surface whch has an automorhsm τ of order, and a ont P X be fxed. Take n to be the smallest natural number such that τ n (P = P and ϕ to be a τ-nvarant chart around P centered at the orgn. Then ϕ τ n ϕ s an automorhsm of a small dsk fxng the orgn wth order n. Hence, t s of the form Ĉ ϕ τ n ϕ (t = ζ k t. (.5 n Here, k s the nteger wth 0 k < n. We call the ar of n and k a rotaton number of τ at P, and we denote t by R τ (P = R(n,k. Remark.4. The number k s ndeendent of the choce of the chart ϕ, and we see that R τ (P = R τ (P f P and P are τ equvalent. We often consder the rotaton number at branched onts of the natural rojecton X X/ τ. Actually, we smly have R τ (P = R(,0 f P s a non-branched ont of ths rojecton. On other hand, f P s a fxed ont of τ, we have n = and the rotaton number s concet, for these onts, s only the exonent k of (.5. For gettng exonents m, we consder the rotaton number at a,l of a sem-hyerelltc curve (.. Lemma.5. Let X be a sem-hyerelltc curve and τ be an automorhsm (x, y (x, ζ y of X as m before. Let k be a unque number satsfyng k gcd(,m mod gcd(,m wth k < gcd(,m. Then R τ (a,l = R(gcd(,m,k. 5

6 Proof. The exstence and unqueness of k are shown by an elementary argument. Indeed, f a and b are corme ntegers, the equaton ak+bl = has a unque number soluton k wth k < b for the sutable nteger l. It s clear that the smallest number n wth τ n (a,l = a,l s gcd(,m snce we add gcd(,m onts a,,,a,gcd(,m to (.4. Then by ϕ a,l τ gcd(,m ϕ a,l (t = (ϕ a,l τ gcd(,m m ( mk gcd(,m t gcd(,m +a, t gcd(,m t +a a k k = ϕ a,l gcd(,m t +a, ζ gcd(,m t m gcd(,m k ( mk gcd(,m t +a a k = ζ k t, gcd(,m we have R τ (a,l = R(gcd(,m, k. From above results, we obtan the next theorem. Theorem.6. Let X be a comact Remann surface whch has an automorhsm τ of order such that the genus of X/ τ s zero. P,,,P,n,,P r,,,p r,nr are all branched onts of τ, where P,,,P,n are τ equvalent onts and the rotaton numbers are gven by R τ (a,l = R(n,k for all. If we take unque numbers m such that n = gcd(,m and k m n mod n wth m <, an equaton of X s a sem-hyerelltc curve gven by y = r (x a m = and τ corresonds to (x,y (x,ζ y. Furthermore, f we take an somorhsm Ψ from X/ τ to Ĉ, a s gven by Ψ(P, ]. The exstence and unqueness of m are shown by the same argument as n the roof of Lemma.5. Of course, r = m s dvded by n ths case. Fnally, we gve a remark about normalzaton. By comosng a sutable Möbus transformaton to Ψ, we get a normalzed equaton of X, namely y = x m (x m (x a m (x a r m r. Therefore, f r, we mmedately determne an equaton comletely, whch corresonds to X q for q 7. The genus of quotent comact Remann surfaces of X q In ths secton, we see that there s an automorhsm τ of X q such that the genus of X q / τ s zero for q 0 or q =. Let Ĥ beh Q { }, andwe gve aunquetoology of Ĥsuch that t satsfes thefollowng roertes. The toology nduced by Ĥ gves the usual toology on H. 6

7 Elements of SL(,Z acts contnuously on Ĥ. A subset of Ĥ s a neghborhood of f and only f t contans a set {z H : Imz > C} { } for a ostve number C > 0. Snce X q = H/Γ q s somorhc to Ĥ/Γ q, we redefned X q by Ĥ/Γ q. We take an automorhsm τ n of X q gven by z] z +n], where n s a ostve dvsor of q. It s grad f the genus of X q / τ n s zero. Remark.. We naturally thnk that the genus of X q / τ decreases as the order of τ Aut(X q ncreases. The order of automorhsms of X q s at most q for q 7, and the remander of q dvded by 4 sn t or q s dvded by (see Prooston A. n aendx. For examle, q = 7,8,9,,,,5,. The order of the automorhsm τ : z] z+] reaches the bound for these q. Thus, takng τ n, esecally τ, from automorhsms of X q s reasonable. For gettng the genus of X q / τ n, we defne some notatons frst. Notaton.. For Γ SL(,Z, we defne Γ by Γ Γ and for ˆQ = Q { }, we defne next notatons. S q := ˆQ/Γ q, h q := #S q, R q := SL(,Z : Γ ] q Let X n q be Ĥ/Γn q, whch s somorhc to X q/ τ n, where {( } Γ n a b q := SL(,Z a d, c 0 (mod q, b 0 (mod n. c d We also defne S n q := ˆQ/Γ n q, h n q := #S n q, R n q := SL(,Z : Γ ] n q. We set g q and g n q be the genera of X q and X n q, resectvely. Fnally, for a natural number q N, let P(q be the set consstng of all rmes l whch dvdes q. For examle, P( = {,}. The next theorem s well known. For a roof, see Fr] or S] for examle. Theorem.. For q, we have R q = q ( l, h q = q l P(q l P(q ( l, g q = + (q 6q 4 l P(q ( l. We remark that R q = #PSL(,Z/qZ. Before gettng g n q, we evaluate R n q and h n q. It s because we have g n q = hn q + Rn q f Γn q acts freely on H. Actually, Γn q Prooston.4. For q, we have Proof. We get t by SL(,Z : Γ ] q = R n q = nq l P(q SL(,Z : Γ n q acts freely on H for q 4. ( l. ] Γn q : Γ q ] Of coures, there are ooste cases. For examle, see table 7 n aendx. and Γn q : Γ q ] = Γ n q : Γ q ] = q n. 7

8 Then we consder h n q. Let Γ be a subgrou of fnte ndex of SL(,Z and κ be an element of ˆQ. We take N SL(,Z such that N( = κ. Then there s a ostve number R such that {M N ΓN } { ( } mr M( = = ± m Z. 0 We call R the wdth of κ and use the notaton W Γ (κ Fr]. Remark.5. Ths defnton s ndeendent of the choce of N snce f we take another N, t satsfes N = N ( b 0 for some b Z. Moreover, t deends only on the Γ-equvalence class. It s because f κ and κ are satsfed γ(κ = κ for some γ Γ, we have γn( = κ and then N ΓN = (γn Γ(γN. Therefore, we can defne the wdth of elements of ˆQ/Γ n a natural way and we use the same notaton. Lemma.6. Let Γ and Γ be subgrous of fnte ndex of SL(,Z and each of them contans the negatve unt matrx. Set Γ to be a subgrou of Γ and to be Γ : Γ]. Let us take an element from ˆQ/Γ and let κ denote ts reresentatve. We consder the quotent of the stablzer of κ n Γ determned by Γ. Let κ,,κ h denote reresentatves of ths quotent s elements. Then W Γ (κ = h W Γ (κ. = Proof. Let SL(,Z κ and Γ κ be subgrous of SL(,Z and Γ, resectvely. Each of them fxes κ. Snce W Γ (κ = SL(,Z κ : Γ κ ], we take N,,N WΓ (κ whch are the set of left cosets of Γ κ n SL(,Z κ. For =,,h, let SL(,Z κ and Γ κ besubgrousof SL(,Z andγsuch that they fx κ, resectvely. Snce W Γ (κ = ] SL(,Z κ : Γ κ, we also take N,,,N,WΓ (κ whch are the set of left cosets of Γ κ n SL(,Z κ. Then by lettng A,,A denote the set of left cosets of Γ n Γ and M,M,,M h satsfy M(κ = M (κ = = M h (κ h =, we clam that M N,j Γ. (. We rove (. n several stes. µ,ν MN µ A ν Γ =,j Ste : MN µ A ν Γ MN µ A ν Γ = φ. We assume MN µ A ν Γ MN µ A ν Γ φ. We should show µ = µ and ν = ν. There s γ Γ such that MN µ A ν = MN µ A ν γ N µ N µ = A ν γa ν. Snce A ν γa ν Γ, we get N µ N µ Γ κ and so µ = µ. We also get ν = ν by A ν Γ A ν Γ φ. Ste : M N,j Γ M N,j Γ = φ. We assume M N,j Γ M N,j Γ φ. We should show = and j = j. There s γ Γ such that Then we get M N,j = M N,j γ N,j M M N,j = γ. γ(κ = N,j M M N,j (κ = N,j M ( = κ and so =. Snce N,j Γ N,j Γ φ, we also get N,j Γ κ N,j Γ κ φ and so j = j. Ste : The left-hand sde s contaned n the rght-hand sde. 8

9 It s suffcent to rove that MN µ A ν s contaned n the rght-hand sde. We take γ Γ and such that A ν (κ = γ(κ. Snce M MN µ A ν γ SL(,Z κ, there s j such that M MN µ A ν γ N,j Γ κ N,j Γ. Then we have MN µ A ν M N,j Γ. Ste 4: The rght-hand sde s contaned n the left-hand sde. It s suffcent to rove that M N,j s contaned n the left-hand sde. We take γ Γ such that γ(κ = κ. Snce M M N,j γ SL(,Z κ, there s µ such that M M N,j γ N µ Γ κ N µγ. Then there s ν such that M N,j MN µ A ν Γ. Thus, the equaton (. s shown and the roof s comleted. In secal case Γ = SL(,Z, we get Corollary.7. Let Γ be a subgrou of fnte ndex of SL(,Z. Then SL(,Z : Γ ] = W Γ (κ. We then evaluate h n q by usng a wdth. κ ˆQ/Γ Notaton.8. Let be a natural number and k = r be the rme factorzaton of t. We defne a multlcatve functon N( by k ( N( := +r. + Here, we note that N( s. = Prooston.9. For q 5, we have h n q = nq N( q n l P(q ( l. Proof. Let be q n. We slt the roof nto several stes. Ste : We descrbe by x z a reresentatve of κ Sn q, where x and z are corme ntegers. We clam that q W Γ n q (κ = gcd(,z. Here, we note that s 0 and gcd(,0 s defned to be. Let k be gcd(,z and,z are corme ntegers such that = k,z = kz. We take N = ( x z w y SL(,Z and consder elements of N Γ n qn such that s fxed. By ( ( w y qxz R+ n x ( ( R x y n z x qzz R qxz = R R+ z w 0 we have W Γ n q (κ n. Then we should show W Γ n q (κ n. We consder all the elements n N Γ n qn whch fx. Snce ( ( ( ( w y nb x y nzwb+ nw b z x 0 z w nz b nzwb+ (mod q, (. we see that nzwb s a multle of q, that s, wb s dvded by. If not, nzwb n modular q by dagonal comonents of (.. It s a contradcton wth q 5. Thus, by (, comonent of (., we have W Γ n q (κ n. 9

10 Remark.0. The condton q 5 n Prooston.9 s owng to Ste. Indeed, we have ( ( ( ( 0 4m+ m 0 m = 8m 4m+ 0 Thus, we obtan { M ( ( ( 0 4m m+ 0 = 8m 4 4m+ ( 0 Γ Ths mles W Γ 4 ( = = 4 gcd(4,. 4 ( m+. 0 ( } { ( } 0 m M( = = ± m Z. 0 Ste : Let k = r be the rme factorzaton of. For and 0 j r, we defne { N (j = N (, j := (j = 0 ( + j ( j r. We clam that the number of elements of S q such that the denomnators of ther reresentatve s dvded by k = j s h q k = N (j. Let H m be the subgrou of SL(,Z such that these (, entres are dvdd by natural number m. It s suffcent to rove that ] k SL(,Z : H k = j = N (j. We get t by and so on. Ste : For, we defne SL(,Z = H ( l=0 = ( l H 0, H = j l=0 + (j = 0 N (j = N (, j := ( j + ( j r r + + (j = r. ( 0 H j l Let A, whose wdth of ts element wth resect to Γ n q s n k = j, be the subset of S q. We clam that #A = h q k N (j. By takng a reresentatve of elements of S q, we may consder the ts wdth wth resect to Γ n q by a natural way. = 0

11 For elements of A, by Ste, the denomnators of reresentatves are dvded by k not dvded by rs js+ s for all s = s,, s µ and for ostve j s. By Ste, we get #A = s r j h N k = N (r j s ν = h N + s ν,s ν h N N (r s j s + s N (r j h N N (r s j s +N (r s j s + s,s N (r j +( µ k N (j. = s,...,s µ h N µ ν= N (r sν j sν + s,,s µ N (r j = r j and are (. The last equalty s showed as follows. We assume that n k j h+t < r h+t for all t =,,l. #A = j = n j h+ h+ j h+l h+l r h+l+ h+l+ r k k and = h q ( + r ( h + r h h ( h+ + r h+ j h+ h+ ( h+l + r h+l j h+l h+l h q ( + r ( h + r h h ( h+ + r h+ h+ h+ ( h+ + r h+ j h+ h+ ( h+l + r h+l j h+l h+l ( + r ( h+ r h h ( h+ + r h+ j h+ h+ ( h+l + r h+l j h+l h+l ( h+l + r h+l j h+l h+l ( + r ( h + r h h ( h+ + r h+ j h+ h+ ( h+l + r h+l j h+l h+l ( h+l+ + h q ( + r ( h + r h h ( h+ + r h+ j h+ h+ ( h+l + r h+l j h+l h+l ( k ( k h h q ( + r ( h+ r h h ( h+ + r h+ j h+ h+ ( h+l + r h+l j h+l h+l ( h+l+ + ( k + = h q h jh++ h+ j h+l+ h+l r h+l+ h+l+ r k k h q ( + ( h+l + h jh+ h+ j h++ h+ j h+l+ h+l r h+l+ h+l+ r k k ( + ( h+l + h q h jh++ h+ j h+l + h+l j h+l h+l r h+l+ h+l+ r k k ( + ( h+l + h q h jh++ h+ j h+l+ h+l r h+l+ h+l+ r k k h q ( + ( h+l +( h+l+ + h jh++ h+ j h+l+ h+l r h+l+ h+l+ r k k ( + ( h+l +( k + + h q h q

12 + ( k hh q h jh+ h+ j h+l h+l r h+l+ h+l+ r k k ( + ( k + = h q h jh+ h+ j h+l h+l r h+l+ h+l+ r k k { h+ h+l ( h+l+ + ( k + ( + ( k + h+ h+l ( h+l+ + ( k + h+ h+l ( h+l+ + ( k + h+ h+l ( h+l+ + ( k + h+ h+l ( h+l+ + ( k + + +( k h} = h q h jh+ h+ j h+l h+l r h+l+ h+l+ r k k ( h+ ( h+l ( h+l+ + ( k + ( + ( k + = h k q N (j = Examle.. Let q be a semrme number. We consder elements of S such that ther wdth s wth resect to Γ. By Ste, the wdth of κ = x z] S s wth resect to Γ f and only f gcd(,z =. The denomnator z s not dvded and. By Ste and the followng calculaton, we count the number of such κ: h h N (, h N (, + h N (, N (, =h h + h + + h ( +( + = h ( +( + = h N (, N (,. Ths equaton s corresondng to (. n Ste. Ste 4: For, we defne N (j = N (, j := + (j = 0, r ( j r. Let B, whose wdth of ts element s n k = j, be the subset of Sn q. We clam that #B = h q It s shown by Lemma.6. Indeed, we have n k = + k N (j. = j #B = q #A #B = h q k N (j. =

13 Ste 5: In ths fnal ste, we clam that h n q = and comlete the roof. It s suffcent to rove that k h q j,,j k = N (j = nq N( j,,j k = k N (j = N( l P(q and we show t by nducton on k. For k =, we get r N (j = +(r + + j=0 = +r + = N(. We assume that the clam s held for k. Then we have k r k N (j = and the roof. j,,j k = We recall that g n q = hn q + Rn q Theorem.. For q 5, we have g n q = + = = N j k =0 r k j k =0 = N( N ( k = k j,,j k = ( k r = r N( r k k ( l N (j N (j k N (j k and then we obtan the next theorem and table. ( ( q 6N q n nq 4 l P(q ( l. By consderng whether q 6N(q s negatve or by table, we have the next corollary. Corollary.. For q 0 or q =, X q has an automorhsms τ such that the genus of X q / τ s zero. In artcular, X q s a sem-hyerelltc curve. q. The next secton, we fnd equatons of X q excet for constant numbers by usng Theorem.6 for these

14 q g q gq Table : Genera of X q and Xq Equatons of X q We consder rotaton numbers of the automorhsm τ n : X q z] z+n] X q. Snce Γ n q acts freely on H for q 4, t s suffcent to evaluate rotaton numbers at only elements of S q. Lemma.. Let n be a dvsor of q 5 and = q n. We descrbe by x z a reresentatve of κ S q, where x and z are corme ntegers. We take ntegers y and w such that xw yz =. Furthermore, let k be the remander of w dvded by gcd(,z. Then the rotaton number at κ of τ n s ( R τn (κ = R gcd(,z,k Proof. The wdth of Γ q s always q snce Γ q s a normal subgrou of SL(,Z. By Lemma.6, the smallest number m such that τn m(κ = κ satsfed wth W Γ n (κ = m q. By Ste of Prooston.9, we have q m = gcd(,z. We recall that elements of SL(,Z acts contnuously on Ĥ and t s easy to be calculated the rotaton number of arallel dslacement at nfnty onts. If W Γ ( = R for a subgrou Γ SL(,Z, { ( ex πt R (Imt > C ϕ ] (t = 0 (t = s a chart around the nfnty ont ] Ĥ/Γ. We take ( w y z x SL(,Z whch mas x z easy comutaton, we have ( w y ( x z x z +ε = +εzw εz ( w y ( x z x z +ε+mn +εzw +mnzw = εz mnz and Snce mnz = qz gcd(,z ( mnzw+ mnw mnz mnzw+ ( +εzw εz =. s a multle of q, the matrx of (. s equal to ( mnw 0 to. By +εzw +mnzw εz mnz. (. n modular q. Then the rotaton number s gven by the remander of mnw mn = w dvded by m = gcd(,z. 4

15 For q 0 or q =, everythng to fnd an equaton of X q excet for values of constant numbers s ready now. We frst consder X 8. SncethedenomnatorsofthereresentatvesofthebranchedontsofthenaturalrojectonX 8 X8 s not cormeto8, thebranchedonts oft are ], 8], 4], 4], ], ], 5 ] and 7 ]. Here 4], ] 4 are τ equvalent. ], ], 5 ], 7 ] are also τ equvalent. By Theorem.6 and Lemma., we get table and y 8 = (x a (x a (x a (x a 4 4 whch gves an equaton of X 8. Here, n,k are rotaton numbers, and m s an exonent of an equaton about X 8. By normalzng, we have y 8 = x (x (x a. (. x z n xw yz = examle of w gcd(8,z k condtons of m m 0 w = 8 = gcd(8,m and m mod8 8 w 8z = 9 8 = gcd(8,m and m mod8 4 w 4z = 4 = gcd(8,m and m mod4 4 w y = 4 = gcd(8,m and m 4 mod 4 Table : Rotaton numbers and exonents about X 8 Theorem.. An equaton of X 8 s gven by We gve the roof of Theorem. n 4. Remark.. The comact Remann surface defned by y 8 = x (x (x+. (. y 4 = x(x (x+(x + (.4 s somorhc to the comact Remann surface defned by (.. An somorhsm s gven by { y 8 = x (x (x+ } { y 4 = x(x (x+(x + } ( ζ 4 y 4 4 8y (x, y x(x+, ζ(x+ ( x x +, 4 ζy x + (x,y, where ζ = ζ 6. Therefore, the equaton (.4 also gves X 8. The form y 4 = f(x corresonds to g 8 = 0. 5

16 x z n xw yz = examle of w gcd(9,z k condtons of m m 0 w = 9 = gcd(9,m and m mod9 9 w 9z = = gcd(9,m and 7m mod w 9z = = gcd(9,m and 4m mod9 7 w y = = gcd(9,m and m mod w y = = gcd(9,m and m mod Table : Rotaton numbers and exonents about X 9 x z n xw yz = examle of w gcd(0,z k condtons of m m 0 w = 0 = gcd(0,m and m mod0 0 w 0z = = gcd(0,m and 9m mod0 9 5 w 5y = 5 = gcd(0,m and m mod5 5 w 5y = = gcd(0,m and 4 m mod5 8 5 w y = 5 = gcd(0,m and m 5 mod w 4y = 5 = gcd(0,m and m 5 mod 5 Table 4: Rotaton numbers and exonents about X 0 x z n xw yz = examle of w gcd(,z k condtons of m m 0 w = = gcd(,m and m mod 5 5w z = 5 = gcd(,m and m mod 6 w 6z = 6 = gcd(,m and m mod6 4 w 4y = 4 = gcd(,m and m mod4 4 w 4y = 4 = gcd(,m and m mod4 4 w y = 4 = gcd(,m and m 4 mod 4 4 w y = 4 = gcd(,m and m 4 mod 4 6 w y = 6 = gcd(,m and m 6 mod 6 Table 5: Rotaton numbers and exonents about X Remark.4. By table, table 4 and table 5, we also have equatons of X 9, X 0 and X. They are gven by y 9 = x(x (x (x 4 y 0 = x(x (x q 5 (x q 5 (x q 8 y = x(x (x r (x r (x r 4 (x r 4 4 (x r 5 6. Ya] gves these equatons comletely. We see that hs equaton of X 9 s dfferent from our one. These 6

17 equatons are gven by y 6 = x(x +y +x 5 (x + y 0 = x(x+ (x 8 (x +x 5 y = x(x (x+ 6 (x + 4 (x x+. Of course, the sums of the column of m n these tables are multle of each q snce the nfnty onts are non-branched onts before normalzaton. We also obtan an equaton of X q for q 7 by the same way. In artcular, t means that t gves other way to get the classcal equaton y 7 = x(x of the Klen s quartc X 7. 4 A canoncal model of X 8 n the rojectve sace As we announced, n ths secton, we rove Theorem.. Namely, we determne a constant number a of (.. By Prooston., two onts (,0 and (a,0 on ths algebrac curve are corresondng to ] and ] 8 on X8 = Ĥ/Γ 8, resectvely. Snce there s an automorhsm whch ] mas 8], for examle ( 8, we take an automorhsm σ whch satsfes σ((,0 = (a,0. However, deendng the value of a, the comact Remann surface defned by (. dosen t always have such automorhsms. We see that there s such σ f and only f a = and thus, we determne a as. To fnd automorhsms of (., we consder a canoncal model n the rojectve sace because t s dffcult to fnd automorhsms remans of two varables rreducble olynomals. The next lemma s fundamental and useful to look for the automorhsms (cf. KK]. Lemma 4.. Let X be a non-hyerelltc comact Remann surface of genus g and X be a canoncal model of X n the rojectve sace P g. Then an automorhsm σ of X s obtaned as rojectve transformaton of P g restrcted to X. We see that X 8 s a non-hyerelltc curve. If X 8 s a hyerelltc curve, there s an automorhsm wth order whch les n the center of Aut(X 8. By aendx, Aut(X 8 s somorhc to PSL(,Z/8Z. However, the center of PSL(,Z/8Z s trval. It s a contradcton. Snce g 8 = 5, the rojectve sace s P 4. We should fnd a bass of holomorhc dfferentals of X 8 to get a canoncal model. We set rojectons x : (x,y x and y : (x,y y. By, we get table 6, here l =, and l =,,,4, and a bass as x x x(x y dx, y 5dx, y6dx, y 7 dx, x y 7dx. By three equatons ( x y 6 = x y 5 x y 7 ( x = ( x(x y 5 y y 7 + x y 7 ( y = x(x ( x(x y 7 y 7 (a x y 7, 7

18 x x y dx y dx x y 5 dx x dx x(x y 6 y 7 dx x y 7 dx 0 l (, (a, l Table 6: Orders of meromorhc functons and dfferentals we get a canoncal model { z,z,z,z 4,z 5 ] P 4 z = z z 5,z = z (z 4 +z 5,z = z 4(z 4 (a z 5 }. (4. An somorhsm from the algebrac curve (. s (x,y x x x(x y, y 5, y6, y 7, x ] y 7 0 l ± a,0,0,,] (,0 0,0,0,0,] (a,0 0,0,0,a,] l,±,0,,0],,±,0,,0]. We defne an automorhsm σ : z,,z 5 ] z,,z 5 ] of (4. by z c, c,5 z. = c 5, c 5,5 z 5 and then we must have z 5 z = z z 5 (4. z = z (z 4 +z 5 (4. z = z 4( z 4 (a z 5. (4.4 We should consder the case of an automorhsm σ mas 0,0,0,0,] to 0,0,0,a,] and so λ a 0 c, c,5 = c 5, c 5,5 0. Here, λ s a non-zero constant. We may assume λ = and then we have c,5 = c,5 = c,5 = 0, c 4,5 = a, c 5,5 =. 8

19 Lemma 4.. If an automorhsm τ of X 8 satsfes τ ( ] = 8], we have ( ] τ = ], 8 ({ ] ]} { ] ]} τ, =,, ({ ] ] ] ]} { ] ] ] ]} τ,,, =,,,. Proof. We regard τ as a element of PSL(,Z/8Z. Snce τ ( ] = ] 8, τ s the form ±( 0 n modular 8. Then we have ths clam by drect calculaton. Snce σ mas 0,0,0,a,] to 0,0,0,0,] and a, we have c,4 = c,4 = c,4 = 0, c 4,4 =. Snce ] corresondng to l and so,±,0,,0] or,±,0,,0], we get and therefore, we have c, ±c, = 0 c 5, ±c 5, +c 5,4 = c 5, ± c 5, c 5,4 = 0. c, = c, = c 5, = c 5, = c 5,4 = 0. By the behavor of the automorhsm at 4] corresondng to 0l, we also have c, = 0. Then (4. become to c, z = (c,z +c, z (c 5, z +z 5 (c, c, c, c 5, z = c,c 5, z z +c, z z 5 and thus, we have (4. become to c, = 0, c, = c, 0, c 5, = 0. c,z = (c, z +c, z +c, z (c 4, z +c 4, z +c 4, z z 4 +az 5. By the coeffcent of z z 5 and a 0, we have c, = 0 and then, by the coeffcent of z z 5, we have c, = 0. Thus, c, 0 and (4. s We have (c, +c,z z 4 = c, c 4, z +c, c 4, z z +c, c 4, z z +(ac, c,z z 5. Therefore, the roof of Theorem. s comleted. c 4, = c 4, = c 4, = 0, c, = c,, a =. 9

20 We see the form of σ. Snce we get c, = by (4.4, the form of σ s η η η. Here, η =,η = η and η = η. We remark that the number of such σ s 8 and t s equal to the number of the automorhsms of X 8 whch mas ] to 8]. σ corresondng to (x,y ( x,η y on the sem-hyerelltc curve y 8 = x (x (x +. We hoe that we get equatons of X 9,X 0 and X comletely by lke way as X 8. A Aendx We note that PSL(q s PSL(,Z/qZ. In ths aendx, we see some roertes of Aut(X q, esecally ther orders. We frst show Aut(X q s somorhc to PSL(q for q 7. Of course, the condton q 7 s because of g q >. The number of PSL(q s R q <. Snce elements of PSL(q are regarded as elements of Aut(X q, we may show #Aut(X q R q. We use Hurwtz theorem. Theorem A.. Let X be a comact Remann surface wth genus g > and {,, n } be a maxmal set of fxed onts of Aut(X nequvalent under the acton of Aut(X. We denote the number of the stablzer of n Aut(X by m. Then we get ( n ( g = N g + (A. m where we have denoted N = #Aut(X and g s the genus of X/Aut(X. ( In our case, by Theorem., we have g = g q = + (q 6q 4 l P(q l and g = 0. Snce the number of the stablzer of the nfnty ont n Aut(X q s at least q, we can assume m q. We also have n =. Indeed, f n, we have g q < N( ++ g q < by (A.. On the other hand, f n 4, (A. gves N < q l P(q = ( g q N +(n + > N q ( l = R q. ( 6 q Then (A. s equvalent to g q = N ( m m m (A. n our case. We can assume m snce f m = m =, we get g q < by (A.. Then (A. become to ( g q N q N R q 0

21 and so N = R q. Therefore, Aut(X q s somorhc to PSL(q for q 7. Next, we consder the largest order of elements of Aut(X q. If the remander of q dvded by 4 s and sn t dvded by, we call q tye I. Otherwse, we call q tye II. For examle, q =,0,4,0, are tye I. Lemma A.. If q s tye I, the largest order of elements of PSL(q s q. If q s tye II, the largest order s q. ( Proof. Snce the order of ( 0 PSL(q s q and the order of + PSL( s for tye I q =, the exstence s shown. We take A PSL(q and see that ts order s at most q or q. We rove for each case of q. Case : q = s rme. For =, snce PSL( s the dhedral grou D, the largest order s. We set be an odd rme. Z/Z s a fnte feld F. Let α F be an egenvalue of A, where F s an algebrac closure of F. α s a soluton of x tr(ax+ = 0. (A. If A s a dagonalzaton mossble, α s a multle root of (A. and thus, Jordan normal form of A s ( 0 whose order s q. We assume A s a dagonalzable matrx. By Frobenus endomorhsm, we realze that α s also a soluton of (A.. If α α, ( α 0 α 0 s a dagonal matrx of A and α α =. We have ts order s at most +. If α = α, the other egenvalue of A s α. Thus, the order of A s at most. Case : q = 4. By (A., we have A = ( t A ti A 4 = t ( t A ( t I where t = tr(a and I s the unt matrx. By consderng each case of t n modular 4, we see that the order of A s at most 4. Case : q = r s a rme ower. We use a nducton on r. Let assume that the clam s held for r. We regard A PSL( r as an element of PSL( r. By assumton, we take n such that A n s a unt matrx n PSL( r wth n r. It means A n = I + r B n PSL( r wth some B PSL( r. Then by we get the order of A s at most n( r. A n = ( I + r B = I, Case 4: For general q. By Chnese remander theorem, we may rove t for only q = r, whch s tye II. If the order of A = B C PSL( PSL( r s larger than q, the order of B s and the order of C s larger than r. By roof of Case, we have that the order of C s r. However, then the order of A = B C s r. It s a contradcton. From above results, we have

22 Prooston A.. For q 7, the order of elements of Aut(X q s at most q f q s tye I. If q s tye I I, the order s at most q. In Theorem., we have the genus of X q = X q/ z z +. For tye I q =, we shall consder the genus of X q := X q/ z Mz, where M = ( +, whch s an order automorhsm of X q. An odd number sn t dvded by. We denote the genus of X q by g q. Prooston A.4. Let q = be tye I. For q 0, thus for 5, we have g q = g = + ( N( ( l. l P( Proof. By ( + ( + 0 (mod, X q s somorhc to Xq / z Mz and the order of M s n Xq. We see that Xq X q s the unbranched natural rojecton. The subgrou of SL(,Z generated by Γ q and A acts freely on H snce dagonal comonents of ts elements are n modular. Then we may consder whether only onts of Sq are branched onts or not. If x z] S q wth gcd(x,z = s a branched ont of the natural rojecton, we have ] (+x+z x =. x+z z] We remark that gcd((+x+z,x+z = gcd(x,z =. Then we have x+z z or x+z z n modular. In ether case, x s an even number and thus, z s an odd number. We have ] ] (+x+z x+z = x+z z Γ q and there s n Z such that x+z x+nz n modular. However, t s a contradcton wth z s odd. Snce the natural rojecton Xq X q s unbranched, we have gq = ( g q by Hurwtz Theorem A.. The roof s comleted by Theorem. and a drect comutaton. By table 7, we notce that g q sn t always smaller than g q even though the order of the corresondng automorhsm of X q s larger than oneof X q. Moreover, unfortunately g q 0excet for q =. Therefore, consderng g q s of no use to get a sem-hyerelltc curve after all and we naturally thnk that X q s a sem-hyerelltc curve f and only f q 0 or q =. Γ q Γ q Γ q

23 q g q gq g q Table 7: Genera for tye I q References Fr] E. Fretag, Comlex Analyss, Srnger, 00 GG] E. Grodo and G. Gonzâlez-Dez, Introducton to Comact Remann Surfaces and Dessns d Enfants, CAM- BRIDGE, 0, 6-4 II] N. Ishda and N. Ish, The equatons for modular functon felds of rncal congruence subgrous of rme level, Manuscrta Math. 90, 996, 7-85 Is] N. Ishda, Generators and equatons for modular functon felds of rncal congruence subgrous, Acta Arth. 85, 998, KK] A. Kurbayash and K. Komya, On Weerstrass onts and automorhsms of curves of genus three, volume 7 of Lecture Notes n Math., Srnger-Verlag, Berln, 979, 5-99 KL] D. Kubert and S. Lang, Unts n the Modular Functon Feld, Math. Ann. 8, 975, Kl] F. Klen, Ueber de Transformaton sebenter Ordnung der elltschen Functonen, Math. Ann., 878, 5-99 Ku] A. Kurbayash, On analytc famles of comact Remann surfaces wth non-trval automorhsms, Nagoya Math. J. 8, 966, 9-65 S] G. Shmura, Introducton to the arthmetc theory of automorhc functons, Iwanam Shoten and Prnceton Unversty Press, 97 Ya] Y. Yang, Defnng equatons of modular curves, Volume 04 of Advances n Mathematcs, 006,