• Hong, Kuk-Jin ;
  • Koo, Ja-Kyung
  • Published : 2001.05.01


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.


positive definite quadratic forms;theta series;modular forms


  1. Lattices and Groups Sphere Packings J. H. Conway;N. J. A. Sloane
  2. J. Pure Appl. Algebra v.138 Quotients of theta series as rational functions of j1.4 K. J. Hong;J. K. Koo
  3. Publ. Math. Soc. Japan no.11 Introduction to the Arithmetic Theory of Automorphic Functions G. Shimura
  4. Ann. of Math. v.97 On modular forms of half-integral weight
  5. Introduction to Elliptic Curves and Modular Forms N. Koblitz
  6. Math. Z. v.202 Quotients of theta series as rational functions of J and λ
  7. J. Korean Math. Soc. v.35 On the modular function j₄ of level 4 C. H. Kim;J. K. Koo
  8. Modular Forms and Functions R. Rankin
  9. A course in Arithmetic J.-P. Serre
  10. J. Korean Math. Soc. v.36 Arithmetic of the modular function j₄
  11. Bull. Austral. Math. Soc. v.54 On the genus of some modular curve of level N
  12. Ramanujan J. v.4 Arithmetic of the modular function j₁,8
  13. Modular Forms T. Miyake
  14. J. Korean Math. Soc. v.25 Arithmetic of integral even unimodular quadratic form of 24 variables J. K. Koo
  15. J. Number Theory v.5 Definite Quadratische Formen der Dimension 24 und Diskriminantel H. Niemeier