• Journal of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.595-611
• /
• 2001

Let Q(n,1) be the set of even unimodular positive definite integral quadratic forms in n-variables. Then n is divisible by 8. For A[X] in Q(n,1), the theta series $\theta$(sub)A(z) = ∑(sub)X∈Z(sup)n e(sup)$\pi$izA[X] (Z∈h (※Equations, See Full-text) the complex upper half plane) is a modular form of weight n/2 for the congruence group Γ$_1$(8) = {$\delta$∈SL$_2$(Z)│$\delta$≡()mod 8} (※Equation, See Full-text). If n$\geq$24 and A[X], B{X} are tow quadratic forms in Q(n,1), the quotient $\theta$(sub)A(z)/$\theta$(sub)B(z) is a modular function for Γ$_1$(8). Since we identify the field of modular functions for Γ$_1$(8) with the function field K(X$_1$(8)) of the modular curve X$_1$(8) = Γ$_1$(8)＼h(sup)* (h(sup)* the extended plane of h) with genus 0, we can express it as a rational function of j(sub) 1,8 over C which is a field generator of K(X$_1$(8)) and defined by j(sub)1,8(z) = $\theta$$_3$(2z)/$\theta$$_3$(4z). Here, $\theta$$_3$ is the classical Jacobi theta series.

• 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.

• Journal of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.293-314
• /
• 2012

We prove that the Siegel modular form of D'Hoker and Phong that gives the chiral superstring measure in degree two is a lift. This gives a fast algorithm for computing its Fourier coefficients. We prove a general lifting from Jacobi cusp forms of half integral index t/2 over the theta group ${\Gamma}_1$(1, 2) to Siegel modular cusp forms over certain subgroups ${\Gamma}^{para}$(t; 1, 2) of paramodular groups. The theta group lift given here is a modification of the Gritsenko lift.

• Journal of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.707-723
• /
• 1999

Since the modular curve $X(4)=\Gamma(4)/{\mathfrak{}}^*$ has genus 0, we have a field isomorphism K(X(4)){\approx}\mathcal{C}(j_{4})$ where $j_{4}(z)={\theta}_{3}(\frac{z}{2})/{\theta}_{4}(\frac{z}{2})$ is a quotient of Jacobi theta series ([9]). We derive recursion formulas for the Fourier coefficients of $j_4$ and $N(j_{4})$ (=the normalized generator), respectively. And we apply these modular functions to Thompson series and the construction of class fields.