• East Asian mathematical journal
• /
• v.38 no.1
• /
• pp.43-63
• /
• 2022

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 R_ξ the structure Jacobi operator with respect to the structure vector field ξ and by ${\bar{r}}$ the scalar curvature of M. Suppose that R_ξ is φ∇_ξξ-parallel and at the same time 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_ξ, then M is a Hopf hypersurface of type (A) in M_n+1(c) provided that ${\bar{r}-2(n-1)c}$ ≤ 0.

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

• Kyungpook Mathematical Journal
• /
• v.62 no.1
• /
• pp.133-166
• /
• 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) for 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 if it satisfies R_𝜉𝜙 = 𝜙R_𝜉 and at the same time S𝜉 = g(S𝜉, 𝜉)𝜉, then M is a real hypersurface in M_n(c) (⊂ M_n+1(c)) provided that $\bar{r}-2(n-1)c{\leq}0$, where $\bar{r}$ denotes the scalar curvature of M.

• Journal of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.795-834
• /
• 2016

The main purpose of this paper is to propose a scheme of a proof of the nonsimpleness of the group $Homeo^{\Omega}$ ($D^2$, ${\partial}D^2$) of area preserving homeomorphisms of the 2-disc $D^2$. We first establish the existence of Alexander isotopy in the category of Hamiltonian homeomorphisms. This reduces the question of extendability of the well-known Calabi homomorphism Cal : $Diff^{\Omega}$ ($D^1$, ${\partial}D^2$)${\rightarrow}{\mathbb{R}}$ to a homomorphism ${\bar{Cal}}$ : Hameo($D^2$, ${\partial}D^2$)${\rightarrow}{\mathbb{R}}$ to that of the vanishing of the basic phase function $f_{\underline{F}}$, a Floer theoretic graph selector constructed in [9], that is associated to the graph of the topological Hamiltonian loop and its normalized Hamiltonian ${\underline{F}}$ on $S^2$ that is obtained via the natural embedding $D^2{\hookrightarrow}S^2$. Here Hameo($D^2$, ${\partial}D^2$) is the group of Hamiltonian homeomorphisms introduced by $M{\ddot{u}}ller$ and the author [18]. We then provide an evidence of this vanishing conjecture by proving the conjecture for the special class of weakly graphical topological Hamiltonian loops on $D^2$ via a study of the associated Hamiton-Jacobi equation.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.193-200
• /
• 1994

Let x : $M^{n}$ .rarw. $E^{m}$ be an isometric immersion of a manifold $M^{n}$ into the Euclidean space $E^{m}$ and .DELTA. the Laplacian of $M^{n}$ defined by -div.omicron.grad. The family of such immersions satisfying the condition .DELTA.x = .lambda.x, .lambda..mem.R, is characterized by a well known result ot Takahashi (8]): they are either minimal in $E^{m}$ or minimal in some Euclidean hypersphere. As a generalization of Takahashi's result, many authors ([3,6,7]) studied the hypersurfaces $M^{n}$ in $E^{n+1}$ satisfying .DELTA.x = Ax + b, where A is a square matrix and b is a vector in $E^{n+1}$, and they proved independently that such hypersurfaces are either minimal in $E^{n+1}$ or hyperspheres or spherical cylinders. Since .DELTA.x = -nH, the submanifolds mentioned above satisfy .DELTA.H = .lambda.H or .DELTA.H = AH, where H is the mean curvature vector field of M. And the family of hypersurfaces satisfying .DELTA.H = .lambda.H was explored for some cases in [4]. In this paper, we classify space curves x : R .rarw. $E^{3}$ satisfying .DELTA.x = Ax + b or .DELTA.H = AH, and find conditions for such curves to be equivalent.alent.alent.

• Communications of the Korean Mathematical Society
• /
• v.15 no.4
• /
• pp.649-668
• /
• 2000

In this paper we prove the following : Let M be a real (2n-1)-dimensional compact minimal semi-invariant submanifold in a complex projective space P(sub)n+1C. If the scalar curvature $\geq$2(n-1)(2n+1), then m is a homogeneous type $A_1$ or $A_2$. Next suppose that the third fundamental form n satisfies dn = 2$\theta\omega$ for a certain scalar $\theta$$\neq$c/2 and $\theta$$\neq$c/4 (4n-1)/(2n-1), where $\omega$(X,Y) = g(X,øY) for any vectors X and Y on a semi-invariant submanifold of codimension 3 in a complex space form M(sub)n+1 (c). Then we prove that M has constant principal curvatures corresponding the shape operator in the direction of the distingusihed normal and the structure vector ξ is an eigenvector of A if and only if M is locally congruent to a homogeneous minimal real hypersurface of M(sub)n (c).

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