1. Introduction
In 1969, R.L. Bishop et al. [
1] defined the notion of warped product manifolds, by genera-lizing the Riemannian product manifolds, in order to study manifolds of negative sectional curvature. Since then, it has remained a topic of research due to its usefulness and links to other fields, especially physics. Many research articles have been published in this area [
2,
3,
4,
5,
6,
7,
8].
In differential geometry, one of the fundamental problems is the immersibility of a Riemannian manifold in a space form. According to the very famous Nash’s embedding theorem, every Riemannian manifold can be isometrically immersed in some Euclidean spaces with sufficiently high codimensions. Starting from this theorem, B.-Y. Chen discovered a method to study intrinsic and extrinsic invariants of a submanifold and provided many applications. For example, for isometric warped product immersion
into a Riemannian space form, the following inequality holds ([
2]):
where
is the squared mean curvature of the immersion
, and
is the Laplace operator of
. In the same paper [
2], the author discussed the equality case of this inequality.
Motivated by the inequality (
1), many researchers proved corresponding inequalities for different classes of submanifolds in various space forms. In these papers, the space forms are endowed with the Levi–Civita connection, which is torsion-free.
An important class of connections with non-vanishing torsion are the semi-symmetric connections. They have many applications in affine differential geometry, information geometry, etc.
In the present paper, we consider complex space forms endowed with semi-symmetric metric connections. We extend the above-mentioned result of Chen and prove a geometric inequality for warped product pointwise semi-slant submanifolds in a complex space form endowed with a semi-symmetric metric connection. We also discuss the equality case and provide several applications in the compact case and the minimal case, respectively.
2. Preliminaries
Let be an almost Hermitian manifold, where J is an almost complex structure and g a Hermitian metric. Then, is a Kaehler manifold if , for all , where is the Levi–Civita connection of the Riemannian metric g.
A
complex space form is a Kaehler manifold of constant holomorphic sectional curvature
c; its Riemannian curvature tensor
is given by
for all
.
Let
be an almost Hermitian manifold and
M a submanifold of
with induced metric
g. Let ∇ be the Levi–Civita connection on the tangent bundle
and
the connection on the normal bundle
of
M. Then, the Gauss and Weingarten formulae are
where
,
and
h,
are the second fundamental form and the shape operator, respectively.
The relationship between the shape operator and the second fundamental form is
for vector fields
and
.
Let
and
R be the Riemannian curvature tensors of
and
M, respectively. We use the notation
for any
. Then, the Gauss equation is given by
for any
.
The notion of a semi-symmetric linear connection was introduced by Friedmann and Schouten [
9]. Let
be a Riemannian manifold with a Riemannian metric
g. A linear connection
on
is called a
semi-symmetric connection if its torsion tensor
T
satisfies
for any vector fields
on
, where
is a 1-form. Denote by
P its dual vector field, i.e.,
. If a semi-symmetric connection satisfies
then it is said to be a
semi-symmetric metric connection .
Further, with respect to a semi-symmetric metric connection
on
, the curvature tensor
is given by
for any
, where
is the
-tensor field defined by
for all
.
Let
M be an
n-dimensional submanifold of a complex space form
of complex dimension
m. Then, we decompose
where
and
are the tangential and normal components of
, respectively, for any
.
The submanifold is called anti-invariant if .
The submanifold is called invariant if .
Let
be an orthonormal basis of
,
. One is denoted by
Let and be a plane section.
If
is an orthonormal basis of
and
an orthonormal basis of
, then the sectional curvature
is defined by
, where
are orthonormal, and the scalar curvature
at
p by
The mean curvature vector field
H of
M is
A submanifold is minimal if the mean curvature vector H vanishes identically, that is, .
We recall the definition of pointwise slant submanifolds.
Definition 1 ([
10]).
Let be an almost Hermitian manifold. Then a submanifold M of is called a pointwise slant submanifold if for each point and any non-zero vector the angle between and is independent of the choice of X. In [
10], Chen and Garay obtained a necessary and sufficient condition for a submanifold to be a pointwise slant submanifold. They proved that a submanifold
M of an almost Hermitian manifold
is
pointwise slant if and only if
for a real-valued function
defined on
M, where
I is the identity transformation of the tangent bundle
of
M. On the other hand, Chen and the forth author generalized the above concept and defined pointwise semi-slant submanifolds as follows [
6].
Definition 2. Let be an almost Hermitian manifold. Then a submanifold M of is called a pointwise semi-slant submanifold if a pair of orthogonal distributions and exist such that
- (i)
admits the orthogonal direct decomposition ;
- (ii)
is invariant;
- (iii)
is pointwise slant with a slant function θ.
The submanifold M is called a proper pointwise semi-slant submanifold if both distributions are non-trivial. Denote their dimensions by and .
Let
M be a proper pointwise semi-slant submanifold of a complex space form
. We set the following
Hence, we have
where
and
.
Further, we state an algebraic lemma due to Chen.
Lemma 1 ([
11]).
Let and real numbers such thatThen and the equality holds if and only if Finally, we conclude this section with the following relation between sectional curvature and the Laplacian of the warping function for warped products. Let
be a local orthonormal frame such that
are tangent to
,
are tangent to
and
is parallel to the mean curvature vector
H. Then,
where
is the gradient vector on
.
3. An Inequality for Warped Product Pointwise Semi-Slant Submanifolds
The following theorem is the main result of this article; it gives an estimate of the squared mean curvature in terms of the warping function.
Theorem 1. Let be a complex space form endowed with a semi-symmetric metric connection and a warped product pointwise semi-slant submanifold of . Then we havewhere ϖ denotes the trace of α, θ is the slant function on and , . The equality case holds if and only if M is a mixed totally geodesic submanifold and , where and are the partial mean curvature vectors corresponding to and , respectively.
Proof. We consider the orthonormal frame defined in the previous section. For
,
,
, summing after
, one obtains
Then, from (
13) and (
14) we derive that
which can be written as
where
If we put
,
and
, the above equation is reduced to
It follows that
satisfy Lemma 1 for
; then,
, with equality holding if and only if
. This means
We have the equality if and only if
From the Gauss equation we obtain
Combining (
10), (
18) and (
20), we derive
Taking into account (
18) and (
21), we find
Using (
14) in the previous inequality, we derive
which represents the inequality to prove.
For the equality case, from (
19) it follows that
.
Moreover, from (
18) we obtain
i.e.,
M is a mixed totally geodesic submanifold.
The converse is trivial, and the proof is achieved. □
In the following subsections, we derive certain consequences of Theorem 1.
3.1. The Compact Case
It is well-known that if
M is a compact oriented Riemannian manifold without boundary, one has
where
f is a smooth function on
M and
denotes the volume element of
M.
As a consequence of Theorem 1, we prove the following result.
Theorem 2. Let be a compact oriented warped product pointwise semi-slant submanifold in a complex space form endowed with a semi-symmetric metric connection. Then M is a Riemannian product if and only if Proof. By using (
10), the inequality (
11) reduces to
Let assume that M is a Riemannian product, i.e., f is constant on M. Then, we obtain (26).
Conversely, suppose that the inequality (26) holds; then, integrating (
27) and using (
25), we obtain
from where
, which implies that
f is a constant function on
M. □
3.2. The Minimal Case
In this subsection, we obtain obstructions to the minimality of warped product pointwise semi-slant submanifolds in a complex space form endowed with a semi-symmetric metric connection.
An immediate consequence of Theorem 1 is the following:
Theorem 3. Let be a warped product pointwise semi-slant submanifold in a complex space form endowed with a semi-symmetric metric connection. If there exists a point such thatat p, then M cannot be minimal. As with special cases of Theorem 3, we state the following corollaries.
Corollary 1. There does not exist any minimal warped product pointwise semi-slant submanifold in a complex space form endowed with a semi-symmetric metric connection if Corollary 2. Let be a warped product CR-submanifold of a complex space form endowed with a semi-symmetric metric connection, where and are holomorphic and totally real submanifolds of , respectively. If the following inequalityholds at a point , then M cannot be a minimal submanifold. Also from Theorem 2, we obtain
Corollary 3. Let be a compact oriented warped product pointwise semi-slant submanifold in a complex space form endowed with a semi-symmetric metric connection. Ifthen M cannot be a minimal submanifold of .