1. Introduction
Complex and contact geometries represent some of the most studied areas in differential geometry.
The complex contact metric structures are less explored and there is a short list of papers in the mathematical literature on this topic. However, in [
1] there is a chapter in which D.E. Blair realizes a comprehensive survey of known results on (normal) complex contact manifolds.
In [
2], D.E. Blair and the first author in this work, proved that a locally symmetric normal complex contact metric manifold is locally isometric to the complex projective space
of constant holomorphic curvature 4. They also studied reflections in the integral submanifolds of the vertical subbundle of a normal complex contact manifold and showed that when such reflections are isometries the manifold fibers over a locally symmetric space. If the normal complex contact manifold is Kähler, then the manifold fibers over a quaternionic symmetric space. Also, if the complex contact structure is given by a global holomorphic contact form, then the manifold fibers over a locally symmetric complex symplectic manifold.
In [
3], the same authors studied the homogeneity and local symmetry of complex
-spaces. It was proved that for
, a complex
-space is locally homogeneous and
-locally symmetric.
On the other hand, in differential geometry, the theory of submanifolds plays a very important role. As we know, articles on submanifolds in normal complex contact manifolds have not been published until now.
In this paper, we define invariant and anti-invariant (-totally real) submanifolds of normal complex contact metric manifolds and start the study of their basic properties.
Also, the theory of Chen invariants represents one of the most useful tools for obtaining relationships between extrinsic and intrinsic invariants of a submanifold. In [
4], B.-Y. Chen wrote a survey on Chen invariants and Chen inequalities and their applications. We establish the Chen first inequality and Chen inequality for the invariant
for
-totally real submanifolds in a normal complex contact space form and give the characterizations of the equality cases.
2. Preliminaries
A
complex contact manifold [
1] is a complex manifold
M of odd complex dimension
together with an open covering
of coordinate neighborhoods such that:
- (1)
On each there is a holomorphic 1-form such that .
- (2)
On there is a non-vanishing holomorphic function f such that .
The complex contact structure determines a non-integrable subbundle by the equation ; is called the complex contact subbundle or the horizontal subbundle.
A Hermitian manifold M with almost complex structure J, Hermitian metric g, and open covering by coordinate neighborhoods is a complex almost contact metric manifold if it satisfies the following two conditions:
- (1)
In each
there exist 1-forms
u and
with dual vector fields
U and
and (1,1) tensor fields
G and
such that
- (2)
On
,
where
A and
B are functions with
.
A complex contact manifold admits a complex almost contact metric structure for which the local contact form
is
to within a non-vanishing complex-valued function multiple. The local tensor fields
G and
H and
and
are related by
for some 1-form
and where
and
.
Also, on one has ; it follows that there is a global vertical bundle orthogonal to (which is generally assumed to be integrable), and, in this case, takes the form , ∇ being the Levi–Civita connection of g. The subbundle is the analogue of the characteristic or Reeb vector field of real contact geometry.
A complex contact manifold with a complex almost contact metric structure satisfying these conditions is called a complex contact metric manifold.
Example 1. Examples of complex contact manifolds are given in [1]: - (i)
Odd-dimensional complex projective space.
- (ii)
Twistor spaces.
- (iii)
The complex Boothby-Wang fibration.
- (iv)
.
S. Ishihara and M. Konishi [
5] introduced a notion of
normality for complex contact structures. They defined two tensor fields
S and
T by
where
and
denote the Nijenhuis tensors of
G and
H respectively.
A complex contact structure is said to be normal if S and T vanish, .
This notion is too strong; among its implications is that the underlying Hermitian manifold is Kähler. Also one remarks that the canonical examples of a complex contact manifold, the odd-dimensional complex projective space, is normal in this sense, however, the complex Heisenberg group is not.
B. Korkmaz [
6] generalized the notion of normality and we will use her definition here. With this notion of normality both odd-dimensional complex projective space and the complex Heisenberg group with their standard complex contact metric structures are normal.
A complex contact metric structure is
normal [
6] if
The definition appears to depend on the special nature of U and V, but it respects the change in overlaps, ; then it is a global notion.
The expressions for the covariant derivatives of the structures tensors on a normal complex contact metric manifold are
Equivalently, a complex contact metric manifold is
normal if and only if the covariant derivatives of
G and
H have the following forms:
For the Hermitian structure
J we have
B. Korkmaz (see [
1,
6]) defined the notion of
-sectional curvature for a (normal) complex contact metric manifold
For and a unit vector , the plane in spanned by X and , is called a -plane section. The sectional curvature of the -plane section is denoted by .
For a given tangent vector X, the sectional curvature is independent of the vector Y in the plane of and This is equivalent to and
Let be a normal complex contact manifold. If the -sectional curvature is independent of the choice of -section at each point, it is constant on the manifold and then is called a (normal) complex contact space form.
According to [
6] and the convention used by D.E. Blair, the curvature tensor of
have the expression
where
.
Remark 1 - (i)
An odd-dimensional complex projective space with the Fubini–Study metric of constant holomorphic sectional curvature 4 is of constant -sectional curvature 1.
- (ii)
The complex Heisenberg group has holomorphic sectional curvature 0 for horizontal and vertical holomorphic sections and constant -sectional curvature .
We recall some results.
Theorem 1 ([
1])
. Let be a normal complex contact metric manifold. Then has constant -sectional curvature c if and only if for X horizontal, the holomorphic sectional curvature of the plane spanned by X and is Theorem 2 ([
1])
. Let be a normal complex contact metric manifold of constant -sectional curvature and satisfying . Then has constant holomorphic sectional curvature c.If, in addition, is complete and simply connected, then is isometric to with the Fubini–Study metric of constant holomorphic sectional curvature c.
We denote a (normal) complex contact space form by , c being the constant -sectional curvature of .
3. Submanifolds
By analogy with the geometry of submanifolds in (real) contact manifolds [
7], we shall define certain special classes of submanifolds in normal complex contact manifolds (see also [
8]).
Let
M be a submanifold of a normal complex contact manifold
. Assume that
U and
V are normal vector fields to
M. For
and
, we have
Since the first term of the above equalities is skew-symmetric and the last term is symmetric (in ), then . Similarly, .
Then we have the following.
Remark 2. If the vector fields U and V are normal to M, then for any , and .
Remark 3. The above conditions do not imply , for all .
Based on the previous two remarks, we define two classes of submanifolds.
Definition 1. A submanifold M of a normal complex contact manifold is said to be an invariant submanifold if and , for all
Remark 4. It is immediately that, in the case when M is invariant, according to the above definition, is invariant by J, too.
We shall prove the minimality of an invariant submanifold in a normal complex complex contact manifold.
First of all, we remark that U and V have to be tangent to the submanifold.
Suppose that U is not tangent to the submanifold and decompose U into its tangential and normal parts, say . Then ; since the G-invariance of the tangent space implies the G invariance of the normal space, both and vanish.
Let
X be a horizontal tangent vector field; then
Now
is tangent to the submanifold and therefore
Using the Formula (3) for the covariant derivative of
G for a normal complex contact metric manifold, this becomes
Comparing with (7), , i.e., is unit as is U; therefore , contradicting the supposition that U was not tangent.
For this reason, an orthonormal basis of
M, dim
, can be written as
The proof of the minimality uses the formula of the covariant derivative given by B. Foreman in his Ph.D. Thesis [
9].
Let
denote the projection to the horizontal subbundle and
. We then have
Now taking
X as horizontal and
we make the following computation
Expanding the Nijenhuis torsion terms and cancelling as appropriate, we have
Now suppose that
Z is normal to the submanifold. Then the previous formula yields
giving
where
h denotes the second fundamental form of the submanifold
M.
If we put instead of X, we find .
Then, we have proven:
Theorem 3. Any invariant submanifold of a normal complex contact manifold is minimal.
Example 2. Example of an invariant submanifold:
Consider the Segre embedding: Its image is an invariant submanifold.
Another important class of submanifolds are the anti-invariant submanifolds.
Definition 2. A submanifold M of a normal complex contact manifold is said to be a-totally real (anti-invariant) submanifold if
- (i)
U and V are normal to M;
- (ii)
M is a totally real submanifold of (with respect to J).
Example 3. Example of a -totally real submanifold: .
For a -totally real (anti-invariant) submanifold M of a (normal) complex contact space form () of arbitrary codimension, an orthonormal basis of , can be written as , .
4. Chen Inequalities
In this section we shall prove the Chen first inequality and Chen inequality for the invariant for -totally real submanifolds in a normal complex contact space form .
Recall the definitions of the Chen first invariant and Chen invariant
(see, for example, [
4,
10]).
Let be a Riemannian manifold of dimension and denote by K and the sectional curvature and scalar curvature of M, respectively.
Chen first invariant is defined by .
Chen invariant is given by , where and are mutually orthogonal plane sections.
In order to prove Chen first inequality, we state the following lemma.
Lemma 1 ([
11])
. Let be an integer and let be n real numbers. Then one has:Moreover, the equality holds if and only if .
Let M be an n-dimensional -totally real submanifold of a normal complex contact space form of arbitrary codimension m.
The Gauss equation for
M in
is given by
for any
, where
h is the second fundamental form.
Let , a plane section in , an orthonormal basis of , an orthonormal basis of and an orthonormal basis of .
The Gauss equation implies
where
.
Subtracting the above two equations, one has
By applying Lemma 1, we obtain for all
:
By summing the above relations, we obtain
where
is the mean curvature vector.
The equality holds at a point
if and only if for any
,
If we take parallel to and such that , the shape operators take the forms given in the following:
Theorem 4. Let be a normal complex contact space form and M an n-dimensional CC-totally real submanifold. Then we have Moreover, the equality case of the inequality holds at a point if and only if there exist an orthonormal basis of and an orthonormal basis of such that the shape operators take the following forms: If M is of maximum dimension, i.e., and (the analogue of a Legendrian submanifold in the real case), we obtain:
Theorem 5. Let be a normal complex contact space form of dimension . Then any n-dimensional CC-totally real submanifold M satisfying the equality case of Chen first inequality, identically, is minimal.
Proof. Let
M be an
n-dimensional
-totally real submanifold in a
-dimensional normal complex contact space form
satisfying the equality case of Chen first inequality, identically. Then the Equations (11) can be written as
Then, by using (1), we have
and similarly
.
On the other hand, using (3), we find for any
and
Analogously, .
Therefore .
It follows by (12) that
i.e.,
M is a minimal submanifold. □
Next we shall prove Chen inequality for the invariant . We shall use the following Lemma.
Lemma 2 ([
12])
. Let be an integer and let be n real numbers. Then one has:Moreover, the equality holds if and only if .
Let , and mutually orthogonal plane sections in , and orthonormal bases of and , and an orthonormal basis of .
The Gauss equation implies
By subtracting the above two equations from (10), we obtain
By applying Lemma 2, we have for all
:
By summing the above relations, we have
Then, we found next
Theorem 6. Let be an m-dimensional normal complex contact space form and M an n-dimensional CC-totally real submanifold. Then we have Moreover, the equality holds at a point if and only if for any , For a CC-totally real submanifold of maximum dimension, we have
Theorem 7. Let be a normal complex contact space form of dimension . Then any n-dimensional CC-totally real submanifold M satisfying the equality case of Chen inequality for , identically, is minimal.
Its proof is similar to the proof of Theorem 5.