• Kyungpook Mathematical Journal
• /
• v.63 no.4
• /
• pp.647-707
• /
• 2023

In this article, we discuss and survey the recent progress towards the Schottky problem, and make some comments on the relations between the André-Oort conjecture, Okounkov convex bodies, Coleman's conjecture, stable modular forms, Siegel-Jacobi spaces, stable Jacobi forms and the Schottky problem.

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

• Journal of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.333-347
• /
• 2015

In this paper, by using the modular forms of weight nk ($2{\leq}n{\in}\mathbb{N}$ and $k{\in}\mathbb{Z}$), we construct a formula which generates modular forms of weight 2nk+4. This formula consist of some known results in [14] and [4]. Moreover, we obtain Fourier expansion of these modular forms. We also give some properties of an operator related to the derivative formula. Finally, by using the function $j_4$, we obtain the Fourier coefficients of modular forms with weight 4.

• East Asian mathematical journal
• /
• v.31 no.5
• /
• pp.659-665
• /
• 2015

Combining and specializing some known results, we establish six identities which depict six modular relations for the Roger-Ramanujan type identities and two equivalent representations for Jacobian identity expressed in terms of combinatorial partition identities and Ramanujan-Selberg continued fraction. Two q-product identities are also considered.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.1
• /
• pp.1-10
• /
• 2009

Main purpose of this paper is to define an elliptic analogue of the Hardy sums. Some results, which are related to elliptic analogue of the Hardy sums, are given.

• Honam Mathematical Journal
• /
• v.38 no.4
• /
• pp.753-782
• /
• 2016

In this paper we deduce the number of representations of a positive integer n by each of the six triangular forms as $${\frac{1}{2}}x_1(x_1+1)+{\frac{3}{2}}x_2(x_2+1)+{\frac{3}{2}}x_3(x_3+1)+{\frac{3}{2}}x_4(x_4+1),\\{\frac{1}{2}}x_1(x_1+1)+{\frac{1}{2}}x_2(x_2+1)+{\frac{3}{2}}x_3(x_3+1)+{\frac{3}{2}}x_4(x_4+1),\\{\frac{1}{2}}x_1(x_1+1)+{\frac{1}{2}}x_2(x_2+1)+{\frac{1}{2}}x_3(x_3+1)+{\frac{3}{2}}x_4(x_4+1),\\x_1(x_1+1)+x_2(x_2+1)+{\frac{3}{2}}x_3(x_3+1)+{\frac{3}{2}}x_4(x_4+1),\\x_1(x_1+1)+{\frac{3}{2}}x_2(x_2+1)+{\frac{3}{2}}x_3(x_3+1)+3x_4(x_4+1),\\{\frac{1}{2}}x_1(x_1+1)+{\frac{1}{2}}x_2(x_2+1)+3x_3(x_3+1)+3x_4(x_4+1).$$