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

• East Asian mathematical journal
• /
• v.36 no.3
• /
• pp.389-415
• /
• 2020

Let M be a semi-invariant submanifold of codimension 3 with almost contact metric structure (𝜙, ξ, η, g) in a complex space form M_n+1(c), c ≠ 0. We denote by R_ξ and R'_X be the structure Jacobi operator with respect to the structure vector ξ and be R'_X = (∇_XR)(·, X)X for any unit vector field X on M, respectively. Suppose that the third fundamental form t satisfies dt(X, Y) = 2𝜃g(𝜙X, Y) for a scalar 𝜃(≠ 2c) and any vector fields X and Y on M. In this paper, we prove that if it satisfies R_ξ𝜙 = 𝜙R_ξ and at the same time R'_ξ = 0, then M is a Hopf real hypersurfaces of type (A), provided that the scalar curvature ${\bar{r}}$ of M holds ${\bar{r}}-2(n-1)c{\leq}0$.

• Honam Mathematical Journal
• /
• v.27 no.3
• /
• pp.487-504
• /
• 2005

Let M be a real hypersurface with almost contact metric structure (${\phi}$, ${\xi}$, ${\eta}$, g) in a nonflat complex space form $M_n(c)$. We denote by A and S be the shape operator and the Ricci tensor of M respectively. In the present paper we investigate real hypersurfaces with $g(SA{\xi},\;A{\xi})=const$. of $M_n(c)$ whose structure Jacobi operator $R_{\xi}$ commute with both ${\phi}$ and S. We give a characterization of Hopf hypersurfaces of $M_n(c)$.

• East Asian mathematical journal
• /
• v.38 no.5
• /
• pp.549-581
• /
• 2022

Let M be a semi-invariant submanifold with almost contact metric structure (𝜙, 𝜉, 𝜂, g) of codimension 3 in a complex space form M_n+1(c), c≠ 0. We denote by S and R_𝜉 be the Ricci tensor of M and the structure Jacobi operator in the direction of the structure vector 𝜉, respectively. Suppose that the third fundamental form t satisfies dt(X, Y) = 2𝜃g(𝜙X, Y) for a certain scalar 𝜃(≠ 2c) and any vector fields X and Y on M. In this paper, we prove that M satisfies R_𝜉S = SR_𝜉 and at the same time R_𝜉𝜙 = 𝜙R_𝜉, then M is a Hopf hypersurface of type (A) provided that the scalar curvature s of M holds s - 2(n - 1)c ≤ 0.

• Honam Mathematical Journal
• /
• v.27 no.4
• /
• pp.595-602
• /
• 2005

Comtrans algebras are modules equipped with two trilinear operations: a left alternative commutator and a translator satisfying the Jacobi identity, the commutator and translator being connected by the so-called comtrans identity. These identities have analogues for trilinear forms. On a given vector space, the set of all comtrans algebra structures itself forms a vector space. In this paper, the dimension of the space of comtrans algebra structures on a finite-dimensional vector space is determined.

• 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.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.40 no.1
• /
• pp.1-23
• /
• 2024

Let M be a semi-invariant submanifold of codimension 3 with almost contact metric structure (𝜙, 𝜉, 𝜂, g) in a complex space form M_n+1(c). We denote by A, K and L the second fundamental forms with respect to the unit normal vector C, D and E respectively, where C is the distinguished normal vector, and by R_𝜉 = R(𝜉, ·)𝜉 the structure Jacobi operator. Suppose that the third fundamental form t satisfies dt(X, Y) = 2𝜃g(𝜙X, Y) for a scalar 𝜃(≠ 2c) and any vector fields X and Y , and at the same time R_𝜉K = KR_𝜉 and ∇_{𝜙∇𝜉𝜉}R_𝜉 = 0. In this paper, we prove that if it satisfies ∇_𝜉R_𝜉 = 0 on M, then M is a real hypersurface of type (A) in M_n(c) provided that the scalar curvature $\bar{r}$ of M holds $\bar{r}-2(n-1)c{\leq}0$.

• 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.8 no.1
• /
• pp.25-30
• /
• 1971

Put ($$^*$$) $$G[x,y]={\sum}\limits^{p+q=n}_{p,q=0}[-n]_{p+q}c_{p,q}x^py^q$$, where $[{\lambda}]_m$ is the Pocbhammer symbol and the $c_{p,q}$ are arbitrary constants. Making use of the specialized forms of some of his earlier results (see [8] and [9] the author derives here bilateral generating functions of the type ($$^{**}$$) $${\sum}\limits^{\infty}_{n=0}{\frac{[\lambda]_n}{n!}}_2F_1[\array{{\rho}-n,\;{\alpha};\\{\lambda}+{\rho};}x]\;G[y,z]t^n$$ where ${\alpha}$, ${\rho}$ and ${\lambda}$ are arbitrary complex numbers. In particular, it is shown that when G[y, z] is a double hypergeometric polynomial, the right-band member of ($^{**}$) belongs to a class of general triple hypergeometric functions introduced by the author [7]. An interesting special case of ($^{**}$) when ${\rho}=-m,\;m$ being a nonnegative integer, yields a class of bilateral generating functions for the Jacobi polynomials $\{P_n{^{{\alpha},{\beta}}}(x)\}$ in the form ($$^{***}$$) $${\sum\limits^{\infty}_{n=0}}\(\array{m+n\\n}\)P{^{({\alpha}-n,{\beta}-n)}_{m+n}(x)\;G[y,z]{\frac{t^n}{n!}}$$, which provides a unification of several known results. Further extensions of ($^{**}$) and ($^{***}$) with G[y, z] replaced by an analogous multiple sum $H\[y_1,{\cdots},y_m\]$ are also discussed.