1 Introduction
Let
$M$
be a
$(2n-1)$
-dimensional manifold and
$TM$
be its tangent bundle. A CR-structure on
$M$
is a complex rank
$(n-1)$
subbundle
${\mathcal{H}}\subset \mathbb{C}TM=TM\otimes \mathbb{C}$
satisfying
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU1.gif?pub-status=live)
where
$\bar{{\mathcal{H}}}$
denotes the complex conjugation of
${\mathcal{H}}.$
Then there exists a unique subbundle
$D=Re\{{\mathcal{H}}\oplus \bar{{\mathcal{H}}}\}$
, called the Levi subbundle (maximally holomorphic subbundle) of
$(M,{\mathcal{H}})$
, and a unique bundle map
$J$
such that
$J^{2}=-I$
and
${\mathcal{H}}=\{X-iJX|X\in D\}$
. We call
$(D,J)$
the real representation of
${\mathcal{H}}$
. Let
$E\subset T^{\ast }M$
be the conormal bundle of
$D$
. If
$M$
is an oriented CR-manifold then
$E$
is a trivial bundle, hence admits globally defined a nowhere zero section
$\unicode[STIX]{x1D702}$
, that is, a real one-form on
$M$
such that Ker
$(\unicode[STIX]{x1D702})=D$
. For
$(D,J)$
we define the Levi form by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU2.gif?pub-status=live)
where
${\mathcal{F}}(M)$
denotes the algebra of differential functions on
$M$
. If the Levi form is nondegenerate (positive or negative definite, resp.), then the CR-structure is called a nondegenerate (strongly pseudo-convex, resp.) pseudo-Hermitian CR-structure.
Now, let
$\widetilde{M}^{n}$
be an
$n$
-dimensional Kähler manifold and let
$M^{2n-1}$
be a real hypersurface in
$\widetilde{M}$
. Then
$M$
is called Levi-flat if the Levi form vanishes. In the present paper, we introduce the so-called Levi-umbilicity. If the Levi form
$L$
is proportional to the induced metric
$g$
by a nonzero constant
$k$
, then
$M$
is said to be Levi-umbilical.
A complex
$n$
-dimensional complete and simply connected Kähler manifold of constant holomorphic sectional curvature
$c$
is called a complex space form, which is denoted by
$\widetilde{M}_{n}(c)$
. A complex space form consists of a complex projective space
$\mathbb{C}\mathbb{P}^{n}$
, a complex Euclidean space
$\mathbb{CE}^{n}$
or a complex hyperbolic space
$\mathbb{CH}^{n}$
, according as
$c>0$
,
$c=0$
or
$c<0$
. Recently, Siu [Reference Siu14] proved the nonexistence of compact smooth Levi-flat hypersurfaces in
$\mathbb{C}\mathbb{P}^{n}$
of dimensions
${\geqslant}3$
. When
$n=2$
, Ohsawa [Reference Ohsawa13] proved the nonexistence of compact real analytic Levi-flat hypersurfaces in
$\mathbb{C}\mathbb{P}^{2}$
. Here, it is remarkable that the assumption of compactness has a crucial role. Indeed, there are noncomplete examples which are realized as ruled hypersurfaces and Levi-flat in
$\mathbb{C}\mathbb{P}^{n}$
(see Section 3). We also find that there does not exist a Levi-flat Hopf hypersurface in
$\mathbb{C}\mathbb{P}^{n}$
or
$\mathbb{CH}^{n}$
(cf. [Reference Cho6]). In the present paper, we give noncompact examples of Levi-flat real hypersurfaces which are not ruled hypersurfaces in
$\mathbb{C}\mathbb{P}^{2}$
(see Section 5).
On the other hand, Takagi [Reference Takagi16], [Reference Takagi17] classified the homogeneous real hypersurfaces in
$\mathbb{C}\mathbb{P}^{n}$
into six types. Cecil and Ryan [Reference Cecil and Ryan4] extensively studied a real hypersurface whose structure vector
$\unicode[STIX]{x1D709}$
is a principal curvature vector, which is realized as tubes over certain submanifolds in
$\mathbb{C}\mathbb{P}^{n}$
, by using its focal map. A real hypersurface of a complex space form is said to be a Hopf hypersurface if its structure vector is a principal curvature vector. By making use of those results and the mentioned work of Takagi, Makoto Kimura [Reference Kimura8] proved the classification theorem for Hopf hypersurfaces of
$\mathbb{C}\mathbb{P}^{n}$
whose all principal curvatures are constant. For the case
$\mathbb{CH}^{n}$
, Berndt [Reference Berndt2] proved the classification theorem for Hopf hypersurfaces whose all principal curvatures are constant.
The main purpose of the present paper is to give a classification of Levi-umbilical real hypersurfaces in a complex space form.
Theorem 1. If a real hypersurface
$M$
of a complex space form
$\widetilde{M}_{n}(c)$
is Levi-umbilical, then
$n=2$
or
$M$
is a Hopf hypersurface. Moreover, in case that
$M$
is connected, complete and
$n\geqslant 3$
, we have the following.
-
(I) If
$\widetilde{M}_{n}(c)=\mathbb{C}\mathbb{P}^{n}$ , then
$M$ is congruent to one of the following:
-
(1) a geodesic hypersphere, that is, a tube of radius
$r$ over
$\mathbb{C}\mathbb{P}^{n-1}$ , where
$0<r<\frac{\unicode[STIX]{x1D70B}}{2}$ ,
-
(2) a tube of radius
$r$ over a complex quadric
$\mathbb{CQ}^{n-1}$ , where
$0<r<\frac{\unicode[STIX]{x1D70B}}{4}$ .
-
-
(II) If
$\widetilde{M}_{n}(c)=\mathbb{CH}^{n}$ , then
$M$ is congruent to one of the following:
-
(1) a horosphere in
$\mathbb{CH}^{n}$ ,
-
(2) a geodesic hypersphere or a tube of radius
$r\in \mathbb{R}_{+}$ over a totally geodesic
$\mathbb{CH}^{n-1}$ ,
-
(3) a tube of radius
$r\in \mathbb{R}_{+}$ over a totally real hyperbolic space
$\mathbb{RH}^{n}$ .
-
-
(III) If
$\widetilde{M}_{n}(c)=\mathbb{CE}^{n}$ , then
$M$ is locally congruent to one of the following:
-
(1) a sphere
$S^{2n-1}(r)$ of radius
$r\in \mathbb{R}_{+}$ ,
-
(2) a generalized cylinder
$S^{n-1}(r)\times \mathbb{E}^{n}$ of radius
$r\in \mathbb{R}_{+}$ .
-
In Section 5, we give a construction of Levi-umbilical non-Hopf hypersurfaces in
$\mathbb{C}\mathbb{P}^{2}$
.
2 Almost contact metric structures and the associated CR-structures
In this paper, all manifolds are assumed to be connected and of class
$C^{\infty }$
. First, we give a brief review of several fundamental concepts and formulas which we need later on. An odd-dimensional differentiable manifold
$M$
has an almost contact structure if it admits a (1,1)-tensor field
$\unicode[STIX]{x1D719}$
, a vector field
$\unicode[STIX]{x1D709}$
and a 1-form
$\unicode[STIX]{x1D702}$
satisfying
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn1.gif?pub-status=live)
Then we can find always a compatible Riemannian metric, namely which satisfies
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn2.gif?pub-status=live)
for all vector fields on
$M$
. We call
$(\unicode[STIX]{x1D702},\unicode[STIX]{x1D719},\unicode[STIX]{x1D709},g)$
an almost contact metric structure of
$M$
and
$M=(M;\unicode[STIX]{x1D702},\unicode[STIX]{x1D719},\unicode[STIX]{x1D709},g)$
an almost contact metric manifold. The fundamental 2-form
$\unicode[STIX]{x1D6F7}$
is defined by
$\unicode[STIX]{x1D6F7}(X,Y)=g(\unicode[STIX]{x1D719}X,Y)$
. If
$M$
satisfies in addition
$d\unicode[STIX]{x1D702}=\unicode[STIX]{x1D6F7}$
, then
$M$
is called a contact metric manifold, where
$d$
is the exterior differential operator. From (1) and (2) we easily get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn3.gif?pub-status=live)
The tangent space
$T_{p}M$
of
$M$
at each point
$p\in M$
is decomposed as
$T_{p}M=D_{p}\oplus \{\unicode[STIX]{x1D709}\}_{p}$
(direct sum), where we denote
$D_{p}=\{v\in T_{p}M|\unicode[STIX]{x1D702}(v)=0\}$
. Then
$D:p\rightarrow D_{p}$
defines a distribution orthogonal to
$\unicode[STIX]{x1D709}$
. For an almost contact metric manifold
$M$
, one may define naturally an almost complex structure on the product manifold
$M\times \mathbb{R}$
, where
$\mathbb{R}$
denotes the real line. If the almost complex structure is integrable,
$M$
is said to be normal. The integrability condition for the almost complex structure is the vanishing of the tensor
$[\unicode[STIX]{x1D719},\unicode[STIX]{x1D719}]+2d\unicode[STIX]{x1D702}\otimes \unicode[STIX]{x1D709}$
, where
$[\unicode[STIX]{x1D719},\unicode[STIX]{x1D719}]$
denotes the Nijenhuis torsion of
$\unicode[STIX]{x1D719}$
. For more details about the general theory of almost contact metric manifolds, we refer to [Reference Blair3].
On the other hand, for an almost contact metric manifold
$M$
, the restriction
$J=\unicode[STIX]{x1D719}|D$
of
$\unicode[STIX]{x1D719}$
to
$D$
defines an almost complex structure in
$D$
. As soon as
$M$
satisfies
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn4.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn5.gif?pub-status=live)
for all
$X,Y\in D$
, where
$[J,J]$
is the Nijenhuis torsion of
$J$
, then the pair
$(\unicode[STIX]{x1D702},J)$
is called an (integrable) CR-structure associated with the almost contact metric structure
$(\unicode[STIX]{x1D702},\unicode[STIX]{x1D719},\unicode[STIX]{x1D709},g)$
. For example, a normal almost contact metric manifold has an integrable CR-structure [Reference Ianus7]. In addition, the associated Levi form
$L$
defined by
$L(X,Y)=d\unicode[STIX]{x1D702}(X,JY)$
,
$X,Y\in D$
, is nondegenerate (positive or negative definite, resp.), then
$(\unicode[STIX]{x1D702},J)$
is called a nondegenerate (strongly pseudo-convex, resp.) pseudo-Hermitian CR-structure. We may refer to [Reference Cho5], [Reference Ianus7], [Reference Tanno18] about CR-structures associated with (almost) contact metric structures.
3 Real hypersurfaces in a complex space form
Let
$M$
be an immersed real hypersurface of a Kähler manifold
$\widetilde{M}=(\widetilde{M};\tilde{J},\tilde{g})$
and
$N$
a local unit normal vector in a neighborhood of each point. By
$\tilde{\unicode[STIX]{x1D6FB}}$
,
$\unicode[STIX]{x1D70E}$
we denote the Levi-Civita connection in
$\widetilde{M}$
and the second fundamental form associated with the shape operator
$A$
with respect to
$N$
, respectively. Then the Gauss and Weingarten formulas are given respectively by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU3.gif?pub-status=live)
for any vector fields
$X$
and
$Y$
tangent to
$M$
. Here, we note that
$\unicode[STIX]{x1D70E}(X,Y)=g(AX,Y)$
, where
$g$
denotes the Riemannian metric of
$M$
induced from
$\tilde{g}$
. An eigenvector (resp. eigenvalue) of the shape operator
$A$
is called a principal curvature vector (resp. principal curvature). For any vector field
$X$
tangent to
$M$
, we put
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn6.gif?pub-status=live)
We easily see that the structure
$(\unicode[STIX]{x1D702},\unicode[STIX]{x1D719},\unicode[STIX]{x1D709},g)$
is an almost contact metric structure on
$M$
, that is, satisfies (1) and (2). From the condition
$\tilde{\unicode[STIX]{x1D6FB}}\tilde{J}=0$
, the relations (6) and by making use of the Gauss and Weingarten formulas, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn7.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn8.gif?pub-status=live)
From now, let
$\widetilde{M}_{n}(c)$
be a complex space form of constant holomorphic sectional curvature
$c$
. Then, from the Codazzi equation, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn9.gif?pub-status=live)
By using (7) and (8), we see that a real hypersurface in a Kähler manifold always satisfies (4) and (5), the integrability condition of the associated CR-structure. From (8) we find that
$M$
is Levi-flat if and only if
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn10.gif?pub-status=live)
and
$M$
is Levi-umbilical if and only if there exists nonzero constant
$k\in \mathbb{R}$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn11.gif?pub-status=live)
Here we recall ruled real hypersurfaces in
$\mathbb{C}\mathbb{P}^{n}$
or
$\mathbb{CH}^{n}$
. Such a space is a foliated real hypersurface whose leaves are complex hyperplanes
$\mathbb{C}\mathbb{P}^{n-1}$
or
$\mathbb{CH}^{n-1}$
, respectively in
$\mathbb{C}\mathbb{P}^{n}$
or
$\mathbb{CH}^{n}$
. That is, let
$\unicode[STIX]{x1D6FE}:I\rightarrow \widetilde{M}_{n}(c)$
be a regular curve in
$\widetilde{M}_{n}(c)$
$(\mathbb{C}\mathbb{P}^{n}or\mathbb{CH}^{n})$
. Then for each
$t\in I$
, let
$M_{n-1}^{(t)}(c)$
be a totally geodesic complex hypersurface which is orthogonal to holomorphic plane Span
$\{\dot{\unicode[STIX]{x1D6FE}},J\dot{\unicode[STIX]{x1D6FE}}\}$
. We have a ruled real hypersurface
$M=\bigcup _{t\in I}M_{n-1}^{(t)}(c)$
. A ruled real hypersurface is non-Hopf and particularly it is noncomplete real hypersurface in
$\mathbb{C}\mathbb{P}^{n}$
(see, [Reference Kimura and Maeda10] for the case
$\mathbb{C}\mathbb{P}^{n}$
and see [Reference Ahn, Lee and Suh1] for the case
$\mathbb{CH}^{n}$
, respectively). The shape operator
$A$
is written by the following form:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn12.gif?pub-status=live)
where
$V$
is a unit vector orthogonal to
$\unicode[STIX]{x1D709}$
, and
$\unicode[STIX]{x1D707}$
,
$\unicode[STIX]{x1D708}$
are differentiable functions on
$M$
. Then, we easily see that ruled real hypersurfaces in
$\mathbb{C}\mathbb{P}^{n}$
or in
$\mathbb{CH}^{n}$
are Levi-flat.
4 Proof of Theorem 1
In this section, we prove Theorem 1. Let
$M$
be a Levi-umbilical real hypersurface in a complex space form
$\widetilde{M}_{n}(c)$
. If we differentiate (11) covariantly, then we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn13.gif?pub-status=live)
for any vector fields
$X,Y,Z\bot \unicode[STIX]{x1D709}$
. Use (7) to get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn14.gif?pub-status=live)
We decompose
$\unicode[STIX]{x1D6FB}_{X}Y=\unicode[STIX]{x1D6FB}_{X}Y^{\bot }+\unicode[STIX]{x1D702}(\unicode[STIX]{x1D6FB}_{X}Y)\unicode[STIX]{x1D709}$
, where
$\unicode[STIX]{x1D6FB}_{X}Y^{\bot }$
denotes the part of
$\unicode[STIX]{x1D6FB}_{X}Y$
orthogonal to
$\unicode[STIX]{x1D709}$
. Using (8) and (11), (14) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn15.gif?pub-status=live)
where we have put
$U=\unicode[STIX]{x1D6FB}_{\unicode[STIX]{x1D709}}\unicode[STIX]{x1D709}$
. Use (8) to obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn16.gif?pub-status=live)
Taking the cyclic sum of (16) for
$X,Y,Z$
, using (9) we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn17.gif?pub-status=live)
Using (11) in (17) again, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn18.gif?pub-status=live)
If we put
$Z=U$
in (18), then we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn19.gif?pub-status=live)
Replace
$Y$
by
$\unicode[STIX]{x1D719}X$
in (19), then it turns to
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn20.gif?pub-status=live)
For an adapted orthonormal basis
$\{e_{i},\unicode[STIX]{x1D709}\}$
,
$i=1,\cdots \,,2n-2$
, we put
$X=e_{i}$
and taking the sum for
$i=1,\cdots \,,2n-2$
, then since
$k\neq 0$
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU4.gif?pub-status=live)
From this, we find that
$n=2$
or
$M$
is a Hopf hypersurface, that is,
$A\unicode[STIX]{x1D709}=\unicode[STIX]{x1D707}\unicode[STIX]{x1D709}$
, where we have used (8). Now, we assume that
$n\geqslant 3$
. Then Levi-umbilicity condition (11) yields that
$\unicode[STIX]{x1D719}A+A\unicode[STIX]{x1D719}=k\unicode[STIX]{x1D719}$
,
$k\neq 0$
. Due to results of [Reference Kon11] (in case of
$\mathbb{C}\mathbb{P}^{n}$
), [Reference Vernon19], [Reference Suh15] (in case of
$\mathbb{CH}^{n}$
), and [Reference Okumura12] (in case of
$\mathbb{CE}^{n}$
) we find the following.
-
(I) If
$\widetilde{M}_{n}(c)=\mathbb{C}\mathbb{P}^{n}$ , then
$M$ is locally congruent to one of the following:
-
(1) a geodesic hypersphere, that is, a tube of radius
$r$ over
$P_{n-1}\mathbb{C}$ , where
$0<r<\frac{\unicode[STIX]{x1D70B}}{2}$ ,
-
(2) a tube of radius
$r$ over a complex quadric
$\mathbb{CQ}^{n-1}$ , where
$0<r<\frac{\unicode[STIX]{x1D70B}}{4}$ .
-
-
(II) If
$\widetilde{M}_{n}(c)=\mathbb{CH}^{n}$ , then
$M$ is locally congruent to one of the following:
-
(1) a horosphere in
$\mathbb{CH}^{n}$ ,
-
(2) a geodesic hypersphere or a tube of radius
$r\in \mathbb{R}_{+}$ over a totally geodesic
$\mathbb{CH}^{n-1}$ ,
-
(3) a tube of radius
$r\in \mathbb{R}_{+}$ over a totally real hyperbolic space
$\mathbb{RH}^{n}$ .
-
-
(III) If
$\widetilde{M}_{n}(c)=\mathbb{CE}^{n}$ , then
$M$ is locally congruent to one of the following:
-
(1) a sphere
$S^{2n-1}(r)$ of radius
$r\in \mathbb{R}_{+}$ ,
-
(2) a generalized cylinder
$S^{n-1}(r)\times \mathbb{E}^{n}$ of radius
$r\in \mathbb{R}_{+}$ .
-
Then, we have Theorem 1. ◻
5 Three-dimensional Levi-umbilical hypersurfaces in
$\mathbb{C}\mathbb{P}^{2}$
In this section, we give a construction of
$3$
-dimensional Levi-flat or Levi-umbilical real hypersurfaces in
$\mathbb{C}\mathbb{P}^{2}$
. First, we prepare
Lemma 2. Let
$M^{2n-1}$
$(n\geqslant 2)$
be a Levi-flat hypersurface in a Kähler manifold
$\widetilde{M}^{n}$
. Then
$\operatorname{trace}A=\unicode[STIX]{x1D702}(A\unicode[STIX]{x1D709})$
on
$M$
. The converse holds when
$n=2$
.
Lemma 3. Let
$M^{2n-1}$
$(n\geqslant 2)$
be a Levi-umbilical hypersurface in a Kähler manifold
$\widetilde{M}^{n}$
. Then
$\operatorname{trace}A-\unicode[STIX]{x1D702}(A\unicode[STIX]{x1D709})$
is a nonzero constant on
$M$
. The converse holds when
$n=2$
.
Now, according to [Reference Kimura9], we construct Levi-flat or Levi-umbilical hypersurfaces respectively in
$\mathbb{C}\mathbb{P}^{2}$
. We denote
$S^{n}$
as the unit sphere of which the center is the origin in
$\mathbb{R}^{n+1}$
. We consider the following submanifolds of
$\mathbb{C}^{3}$
:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU5.gif?pub-status=live)
where
$0<r,\unicode[STIX]{x1D703}<\unicode[STIX]{x1D70B}/2$
. Let
$\unicode[STIX]{x1D6FE}:I\rightarrow (0,\unicode[STIX]{x1D70B}/2)\times (0,\unicode[STIX]{x1D70B}/2)$
,
$\unicode[STIX]{x1D6FE}(s)=(r(s),\unicode[STIX]{x1D703}(s))$
be a (nonconstant) curve defined on an interval
$I$
. We put
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn21.gif?pub-status=live)
where
$\unicode[STIX]{x1D70B}:S^{5}\rightarrow \mathbb{C}\mathbb{P}^{2}$
is the Hopf fibration. Then
$\widetilde{M}_{\unicode[STIX]{x1D6FE}}$
is a hypersurface of
$S^{5}$
, and since
$\widetilde{M}_{\unicode[STIX]{x1D6FE}}$
is invariant under the
$S^{1}$
-action,
$M_{\unicode[STIX]{x1D6FE}}$
is a real hypersurface of
$\mathbb{C}\mathbb{P}^{2}$
. Note that
$M_{\unicode[STIX]{x1D6FE}}$
is foliated by flat Lagrangian torus
$T^{2}$
in
$\mathbb{C}\mathbb{P}^{2}$
.
Let
$x,y,z\in S^{1}\subset \mathbb{C}$
and denote
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU6.gif?pub-status=live)
where
$0<r,\unicode[STIX]{x1D703}<\unicode[STIX]{x1D70B}/2$
. Then the position vector
$\unicode[STIX]{x1D6F9}$
of
$\widetilde{M}_{\unicode[STIX]{x1D6FE}}$
is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU7.gif?pub-status=live)
and unit normal vectors
$N_{1}$
and
$N_{2}$
of
$3$
-dimensional submanifold
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU8.gif?pub-status=live)
in
$S^{5}$
at
$\unicode[STIX]{x1D6F9}$
are given as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU9.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU10.gif?pub-status=live)
Put
$\dot{\unicode[STIX]{x1D6F9}}=\frac{d}{ds}\unicode[STIX]{x1D6F9}(r(s),\unicode[STIX]{x1D703}(s))$
. Then we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU11.gif?pub-status=live)
By taking an arc-length parameterization, we may put
$({\dot{r}})^{2}+(\dot{\unicode[STIX]{x1D703}})^{2}\sin ^{2}r=1$
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn22.gif?pub-status=live)
Hence
$\dot{\unicode[STIX]{x1D6F9}}=\cos \unicode[STIX]{x1D6FC}N_{1}+\sin \unicode[STIX]{x1D6FC}N_{2}$
. Let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU12.gif?pub-status=live)
Then
$\widetilde{N}$
is a unit normal vector field of
$\widetilde{M}_{\unicode[STIX]{x1D6FE}}$
in
$S^{5}$
. Since
$\widetilde{N}$
is
$S^{1}$
-invariant,
$N:=\unicode[STIX]{x1D70B}_{\ast }(\widetilde{N})$
is a unit normal vector field of
$M_{\unicode[STIX]{x1D6FE}}$
in
$\mathbb{C}\mathbb{P}^{2}$
. We have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU13.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU14.gif?pub-status=live)
The tangent space of
$\widetilde{M}_{\unicode[STIX]{x1D6FE}}$
at
$\unicode[STIX]{x1D6F9}$
is spanned by the following orthonormal vectors:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU15.gif?pub-status=live)
Here
$i\unicode[STIX]{x1D6F9}$
is a unit vertical vector of the Hopf fibration
$\unicode[STIX]{x1D70B}:S^{5}\rightarrow \mathbb{C}\mathbb{P}^{2}$
and the others are horizontal.
Let
$D$
and
$\widetilde{A}$
be the flat connection of
$\mathbb{C}^{3}$
and the shape operator of the hypersurface
$\widetilde{M}_{\unicode[STIX]{x1D6FE}}$
in
$S^{5}$
, respectively. Then by the Weingarten formula, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU16.gif?pub-status=live)
Covariant differentiation of
$\widetilde{N}$
for
$\dot{\unicode[STIX]{x1D6F9}}$
is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU17.gif?pub-status=live)
Hence we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn23.gif?pub-status=live)
Also we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU18.gif?pub-status=live)
where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU19.gif?pub-status=live)
Computations (2.8) of [Reference Kimura9] yield:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn24.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn25.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn26.gif?pub-status=live)
Let
$U=-\unicode[STIX]{x1D70B}_{\ast }(i\dot{\unicode[STIX]{x1D6F9}})$
. Then
$\unicode[STIX]{x1D719}U=\unicode[STIX]{x1D70B}_{\ast }(\dot{\unicode[STIX]{x1D6F9}})$
. Also we have
$\unicode[STIX]{x1D709}=-JN=-\unicode[STIX]{x1D70B}_{\ast }(i\widetilde{N})$
. Then the shape operator
$A$
of
$M_{\unicode[STIX]{x1D6FE}}$
in
$\mathbb{C}\mathbb{P}^{2}$
with respect to
$N$
is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn27.gif?pub-status=live)
Hence with respect to
$M_{\unicode[STIX]{x1D6FE}}$
in
$\mathbb{C}\mathbb{P}^{2}$
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn28.gif?pub-status=live)
Proposition 4. Let
$(r(s),\unicode[STIX]{x1D703}(s),\unicode[STIX]{x1D6FC}(s))$
be a solution of the system of nonlinear ODE,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn29.gif?pub-status=live)
such that the initial condition satisfying
$0<r(0),\unicode[STIX]{x1D703}(0)<\unicode[STIX]{x1D70B}/2$
. Then the real hypersurface
$M_{\unicode[STIX]{x1D6FE}}$
in
$\mathbb{C}\mathbb{P}^{2}$
, defined by (21) is Levi-flat.
A special solution of (29) is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU20.gif?pub-status=live)
In this case, we have
$\dot{\unicode[STIX]{x1D6FC}}+\sin \unicode[STIX]{x1D6FC}\cot r=\unicode[STIX]{x1D706}=0$
and
$M_{\unicode[STIX]{x1D6FE}}$
is a ruled real hypersurface.
Proposition 5. Let
$k$
be a nonzero constant and let
$(r(s),\unicode[STIX]{x1D703}(s),\unicode[STIX]{x1D6FC}(s))$
be a solution of the system of nonlinear ODE,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqn30.gif?pub-status=live)
such that the initial condition satisfying
$0<r(0),\unicode[STIX]{x1D703}(0)<\unicode[STIX]{x1D70B}/2$
. Then the real hypersurface
$M_{\unicode[STIX]{x1D6FE}}$
in
$\mathbb{C}\mathbb{P}^{2}$
, defined by (21) is Levi-umbilical.
A special solution of (30) is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180207065257227-0384:S0027763016000635:S0027763016000635_eqnU21.gif?pub-status=live)
In the case
$\unicode[STIX]{x1D6FC}=\unicode[STIX]{x1D70B}/2$
, we have
$\unicode[STIX]{x1D707}=2\cot 2r$
,
$\unicode[STIX]{x1D708}=0$
and
$\dot{\unicode[STIX]{x1D6FC}}+\sin \unicode[STIX]{x1D6FC}\cot r=\unicode[STIX]{x1D706}=\cot r$
. Hence
$M_{\unicode[STIX]{x1D6FE}}$
is a geodesic sphere of radius
$r$
$(0<r<\unicode[STIX]{x1D70B}/2)$
with
$k=2\cot r$
.