• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1445-1457
• /
• 2016

For a positive integer N divisible by 4, let ${\mathcal{O}}^1_N({\mathbb{Q}})$ be the ring of weakly holomorphic modular functions for the congruence subgroup ${\Gamma}^1(N)$ with rational Fourier coefficients. We present explicit generators of the ring ${\mathcal{O}}^1_N({\mathbb{Q}})$ over ${\mathbb{Q}}$ in terms of both Fricke functions and Siegel functions, from which we are able to classify all Fricke families of such level N.

• Journal of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.903-931
• /
• 1998

Since the modular curves X(N) = $\Gamma$(N)\(equation omitted)＊ (N =1,2,3) have genus 0, we have field isomorphisms K(X(l))(equation omitted)C(J), K(X(2))(equation omitted)(λ) and K(X(3))(equation omitted)( $j_3$) where J, λ are the classical modular functions of level 1 and 2, and $j_3$ can be represented as the quotient of reduced Eisenstein series. When N = 4, we see from the genus formula that the curve X(4) is of genus 0 too. Thus the field K(X(4)) is a rational function field over C. We find such a field generator $j_4$(z) = x(z)/y(z) (x(z) = $\theta$$_3$((equation omitted)), y(z) = $\theta$$_4$((equation omitted)) Jacobi theta functions). We also investigate the structures of the spaces $M_{k}$($\Gamma$(4)), $S_{k}$($\Gamma$(4)), M(equation omitted)((equation omitted)(4)) and S(equation omitted)((equation omitted)(4)) in terms of x(z) and y(z). As its application, we apply the above results to quadratic forms.rms.