ON THE MODULAR FUNCTION $j_4$ OF LEVEL 4

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.