Abstract
In this paper, we study semi-slant submanifolds and their warped products in Kenmotsu manifolds. The existence of such warped products in Kenmotsu manifolds is shown by an example and a characterization. A sharp relation is obtained as a lower bound of the squared norm of second fundamental form in terms of the warping function and the slant angle. The equality case is also considered in this paper. Finally, we provide some applications of our derived results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Warped product manifolds were defined and studied by Bishop and ONeill [5] as a natural generalization of the Riemannian product manifolds. The geometrical aspects of these manifolds have been studied later by many mathematicians.
The study of warped product submanifolds from extrinsic view points was initiated by Chen [9, 10]. He proved that there do not exist warped product CR-submanifolds of the form \(M_\perp \times _f M_T\), where \(M_T\) and \(M_\perp \) are holomorphic (complex) and totally real submanifolds of a Kaehler manifold \({\tilde{M}}\), respectively. Then he studied warped products of the form \(M_T \times _f M_\perp \), known as CR-warped products. Several fundamental results on CR-warped products in Kaehler manifolds were established in [9,10,11] by him. Motivated by Chens fundamental seminal work, many geometers studied warped product submanifolds in various Riemannian manifolds (see [1, 12, 14, 15, 19, 20, 27,28,29,30] and the references therein). For the most recent detailed survey on warped product manifolds and submanifolds, see [13].
The notion of slant submanifolds of almost Hermitian manifolds was introduced by Chen [8]. Later, Cabrerizo et al. studied in [7] slant immersions in K-contact and Sasakian manifolds. In particular, they provided interesting examples of slant submanifolds in both almost contact metric manifolds and Sasakian manifold. In [7], they also characterized slant submanifolds by means of the covariant derivative of the square of the tangent projection on the submanifold. In [6], they defined and studied semi-slant submanifolds of Sasakian manifolds.
The non-existence of warped product semi-slant submanifolds of Kaehler manifolds was proved in [25]. Later, Atceken [3] studied warped product semi-slant submanifolds and proved non-existence of such submanifolds in Kenmotsu manifolds. The warped product semi-slant submanifolds of Kenmotsu manifolds were also studied in [22, 26]. For the survey on warped product submanifolds of Kenmotsu manifolds, we refer to [4, 21,22,23].
In this paper, we continue the study of warped product semi-slant submanifolds in Kenmotsu manifolds. In the first part of this paper, we give some fundamental results for semi-slant submanifolds of Kenmotsu manifolds. Then we prove existence of such warped products by applying a characterization result. We also give an example of non-trivial proper warped product semi-slant submanifolds in Kenmotsu manifolds. In the second part, we derive a sharp inequality for the squared norm of the second fundamental form in terms of the warping function and the slant angle. We also investigate the equality case of this inequality. Several applications of our results are present in the last part.
2 Preliminaries
Let \({\tilde{M}}\) be an almost contact metric manifold with structure \((\varphi , \xi , \eta , g)\), where \(\varphi \) is a (1, 1) tensor field, \(\xi \) a vector field, \(\eta \) is a 1-form and g is a Riemannian metric on \( {\tilde{M}}\) satisfying the following properties
In addition, if the following relation [17]
holds for any X, Y on \({\tilde{M}}\), then \({\tilde{M}}\) is called a Kenmotsu manifold, where \( \tilde{\nabla }\) is the Levi-Civita connection of g. It is easy to see from (3) that \( \tilde{\nabla }_X\xi =X-\eta (X)\xi \). We shall use the symbol \(\varGamma (T{\tilde{M}})\) for the Lie algebra of vector fields on the manifold \({\tilde{M}}\).
Let M be a submanifold of an almost contact metric manifold \({\tilde{M}}\) with induced metric g and if \(\nabla \) and \(\nabla ^{\perp }\) are the induced connections on the tangent bundle TM and the normal bundle \(T^{\perp }M\) of M, respectively then Gauss–Weingarten formulas are respectively given by
for each \(X,~Y\in \varGamma (TM)\) and \(N\in \varGamma (T^\perp M)\), where h and \(A_N\) are the second fundamental form and the shape operator (corresponding to the normal vector field N) respectively for the immersion of M into \({\tilde{M}}\). They are related by the relation \(g(A_NX, Y)=g(h(X, Y), N)\).
For any \(X\in \varGamma (TM)\) and \(N\in \varGamma (T^\perp M)\), we write
where PX and tN are the tangential components of \(\varphi X\) and \(\varphi N\), respectively and FX and fN are the normal components of \(\varphi X\) and \(\varphi N\), respectively.
A submanifold M is said to be invariant if F is identically zero, that is, \(\varphi X\in \varGamma (TM)\) for any \(X\in \varGamma (TM)\). On the other hand, M is anti-invariant if P is identically zero, that is, \(\varphi X\in \varGamma (T^\perp M)\), for any \(X\in \varGamma (TM)\).
Let M be a submanifold tangent to the structure vector field \(\xi \) isometrically immersed into an almost contact metric manifold \({\tilde{M}}\). Then M is said to be a contact CR-submanifold if there exists a pair of orthogonal distributions \({\mathcal {D}}:p\rightarrow {\mathcal {D}}_p\) and \({\mathcal {D}}^\perp :p\rightarrow {\mathcal {D}}^\perp _p,~\forall ~p\in M\) such that
-
(i)
\(TM={\mathcal {D}}\oplus {\mathcal {D}}^\perp \oplus \langle \xi \rangle \), where \(\langle \xi \rangle \) is the 1-dimensional distribution spanned by the structure vector field \(\xi \),
-
(ii)
\({\mathcal {D}}\) is invariant, i.e., \(\varphi {\mathcal {D}}={\mathcal {D}}\),
-
(iii)
\({\mathcal {D}}^\perp \) is anti-invariant, i.e., \(\varphi {{\mathcal {D}}^\perp }\subseteq T^\perp M\).
The invariant and anti-invariant submanifolds are the special cases of a contact CR-submanifold. If we denote the dimensions of \({\mathcal {D}}\) and \({{\mathcal {D}}^\perp }\) by \(d_1\) and \(d_2\), respectively then M is invariant (resp. anti-invariant) if \(d_2=0\) (resp. \(d_1=0\)).
There is another class of submanifolds which are known as slant submanifolds which we define as follows:
For each non zero vector X tangent to M at p, such that X is not proportional to \(\xi \), we denote by \(\theta (X)\), the angle between \(\varphi X\) and \(T_pM,\) for all \(p\in M\). Then, M is said to be slant [7] if the angle \(\theta (X)\) is constant for all \(X\in TM-\{\xi \}\) and \(p\in M\) i.e., \(\theta (X)\) is independent of the choice of the vector field X and the point \(p\in M\). The angle \(\theta (X)\) is called the slant angle. Obviously, if \(\theta =0\) then, M is invariant and if \(\theta =\pi /2\) then, M is an anti-invariant submanifold. If the slant angle of M is neither 0 nor \(\pi /2\), then it is called proper slant.
A characterization of slant submanifolds was given in [7] as follows:
Theorem 1
[7] Let M be a submanifold of an almost contact metric manifold \({\tilde{M}}\) such that \(\xi \in \varGamma (TM)\). Then M is slant if and only if there exists a constant \(\lambda \in [0,1]\) such that
Furthermore, in such case, if \(\theta \) is slant angle, then \(\lambda =\cos ^2\theta \).
The following relations are straight forward consequences of (7)
for any X, Y tangent to M.
3 Semi-slant submanifolds
In [24], semi-slant submanifolds were defined and studied by Papaghiuc as a natural generalization of CR-submanifolds of almost Hermitian manifolds in terms of the slant distribution. Later on, Cabrerizo et al. [6] studied these submanifolds in contact geometry. They defined these submanifolds as follows:
Definition 1
[6] A Riemannian submanifold M of an almost contact manifold \({\tilde{M}}\) is said to be a semi-slant submanifold if there exist two orthogonal distributions \({\mathcal {D}}\) and \({\mathcal {D}}^\theta \) such that \(TM={\mathcal {D}}\oplus {\mathcal {D}}^\theta \oplus \langle \xi \rangle \), the distribution \({\mathcal {D}}\) is invariant i.e., \(\varphi {\mathcal {D}}={\mathcal {D}}\) and the distribution \({\mathcal {D}}^\theta \) is slant with slant angle \(\theta \ne \frac{\pi }{2}\).
If we denote the dimensions of \({{\mathcal {D}}}\) and \({\mathcal {D}}^\theta \) by \(d_1\) and \(d_2\) respectively, then it is clear that contact CR-submanifolds and slant submanifolds are semi-slant submanifolds with \(\theta =\frac{\pi }{2}\) and \(d_1=0\), respectively. If neither \(d_1=0\) nor \(\theta =\frac{\pi }{2}\), then M is a proper semi-slant submanifold.
Moreover, if \(\nu \) is the \(\varphi -\)invariant subspace of the normal bundle \(T^\perp M\), then in case of a semi-slant submanifold, the normal bundle \(T^\perp M\) can be decomposed as \(T^\perp M= F{{\mathcal {D}}}^\theta \oplus \nu .\)
First, we give the following non-trivial example of a semi-slant submanifold of an almost contact metric manifold.
Example 1
Consider a submanifold M of \({\mathbb {R}^9}\) with the cartesian coordinates \((x_1,\,x_2,\,x_3,\,x_4,\,y_1,\,y_2,\,y_3,\, y_4,\,z)\) and the contact structure
It is easy to show that \((\varphi , \xi , \eta , g)\) is an almost contact metric structure on \({\mathbb {R}^9}\) with \(\xi =\frac{\partial }{\partial z},\,\eta =dz\) and g, the Euclidean metric of \({\mathbb {R}^9}\). Consider an immersion \(\psi \) on \({\mathbb { R}}^9\) defined by
If we put
then the restriction of \(\{X_1,X_2,X_3,X_4, X_5\}\) to M forms an orthogonal frame fields of the tangent bundle TM. Clearly, we have
It is easy to verify that \({\mathcal {D}}=\mathrm {Span}\{X_3,\,X_4\}\) is an invariant distribution and \({\mathcal {D}}^\theta =\mathrm {Span}\{X_1,\,X_2\}\) is a slant distribution of M with slant angle \(\theta =\cos ^{-1}\left( \frac{3}{17}\right) \) such that \(X_5=\xi =\frac{\partial }{\partial z}\) is tangent to M. Thus, M is a proper semi-slant submanifold of \({\mathbb {R}^9}\).
Now, we give some basic results for semi-slant submanifolds of Kenmotsu manifolds which are useful to the next section.
Lemma 1
Let M be a proper semi-slant submanifold of a Kenmotsu manifold \({\tilde{M}}\) with invariant and proper slant distributions \({\mathcal {D}}\oplus \langle \xi \rangle \) and \({{\mathcal {D}}}^\theta \), respectively. Then we have:
for any \(X, Y\in \varGamma ({\mathcal {D}}\oplus \langle \xi \rangle )\) and \(Z\in \varGamma ({\mathcal {D}}^\theta )\).
Proof
For any \(X, Y\in \varGamma ({\mathcal {D}}\oplus \langle \xi \rangle )\) and \(Z\in \varGamma ({\mathcal {D}}^\theta )\), we have
Using the covariant derivative property of \(\varphi \) and the relation (6), we get
Then from (3), (4) and the fact that \(\varphi X\) and PZ are orthogonal vector fields, we derive
Again using (3), (5) and (7) and the fact that \(\xi \in \varGamma ({\mathcal {D}})\), we find
Hence, the result follows from the last relation. \(\square \)
The following corollary is an immediate consequence of the above lemma.
Corollary 1
Let M be a proper semi-slant submanifold of a Kenmotsu manifold \({\tilde{M}}\). Then, the distribution \({\mathcal {D}}\oplus \langle \xi \rangle \) defines a totally geodesic foliation if and only if
for any \(X, Y\in \varGamma ({\mathcal {D}}\oplus \langle \xi \rangle )\) and \(Z\in \varGamma ({\mathcal {D}}^\theta )\).
Also, we have the following results for the leaves of the slant distribution.
Lemma 2
Let M be a proper semi-slant submanifold of a Kenmotsu manifold \({\tilde{M}}\). Then we have
for any \(X\in \varGamma ({\mathcal {D}}\oplus \langle \xi \rangle )\) and \(Z, W\in \varGamma ({\mathcal {D}}^\theta )\).
Proof
For any \(X\in \varGamma ({\mathcal {D}}\oplus \langle \xi \rangle )\) and \(Z, W\in \varGamma ({\mathcal {D}}^\theta )\), we find
Then from (2) and (5), we arrive at
By using the covariant derivative property of \(\varphi \) and the symmetry of the shape operator A, we obtain
Again using (3) and (6), we derive
From Theorem 1 and the relation (5), we find
Since A is self-adjoint, then by using trigonometric identities, the result follows from the last relation. \(\square \)
From the above lemma, we have the following results.
Corollary 2
Let M be a proper semi-slant submanifold of a Kenmotsu manifold \({\tilde{M}}\). Then the slant distribution \({\mathcal {D}}^\theta \) defines a totally geodesic foliation if and only if
for any \(X\in \varGamma ({\mathcal {D}}\oplus \langle \xi \rangle )\) and \(Z, W\in \varGamma ({\mathcal {D}}^\theta )\).
Lemma 3
Let M be a proper semi-slant submanifold of a Kenmotsu manifold \({\tilde{M}}\). Then we have:
for any \(X\in \varGamma ({\mathcal {D}}\oplus \langle \xi \rangle )\) and \(Z, W\in \varGamma ({\mathcal {D}}^\theta )\).
Proof
From (11), we have
for any \(X\in \varGamma ({\mathcal {D}}\oplus \langle \xi \rangle )\) and \(Z, W\in \varGamma ({\mathcal {D}}^\theta )\). Interchanging Z and W in (12), we find
4 Warped product semi-slant submanifolds
In this section, we study warped product semi-slant submanifolds of Kenmotsu manifolds, by considering that one of the factor is a slant submanifold. In the following first, we give brief introduction of warped product manifolds.
Let \(M_{1}\) and \(M_{2}\) be two Riemannian manifolds with Riemannian metrics \(g_{1}\) and \(g_{2},\) respectively, and f be a positive differentiable function on \(M_{1}\). Then, \(M=M_{1}\times _{f}M_{2}=(M_{1}\times M_{2}, g),\) is a warped product manifold of \(\ M_{1}\) and \(M_{2}\) such that
where the vector fields X and Y are tangent to \( M=M_{1}\times _{f}M_{2}\) at (p, q) and \(\pi _{1}\) and \(\pi _{2}\) are the canonical projections of \(M=M_{1}\times M_{2}\) onto \(M_{1}\) and \(M_{2}\), respectively and \(\star \) is the symbol for the tangent map. A warped product manifold \(M=M_{1}\times _{f}M_{2}=(M_{1}\times M_{2},g)\) is said to be trivial or simply a Riemannian product if the warping function f is constant. If X is a vector field on \(M_1\) and V is an another vector field on \(M_2\), then from Lemma 7.3 of [5], we have
where \(\nabla \) denotes the Levi-Civita connection on M. It is well-known that \(M_1\) is a totally geodesic submanifold and \(M_2\) is a totally umbilical submanifold of M (cf. [5, 11]).
The gradient \(\mathbf {\nabla }f\) of a function f on M is defined as \(g(\mathbf {\nabla }f,X)=X(f),\) for any vector field X on M. If \(\{e_1,\dots e_n\}\) is an orthonormal frame field of the tangent space of M, then we have
In this paper, we study warped product semi-slant submanifolds of the form \(M_T\times _fM_\theta \) of a Kenmotsu manifold \({\tilde{M}}\), where \(M_T\) and \(M_\theta \) are invariant and proper slant submanifolds of \({\tilde{M}}\), respectively. First, we consider \(M_1\) and \(M_2\) be two Riemannian submanifolds of a Kenmotsu manifold \({\tilde{M}}\). Then their warped product submanifold M is of the form \(M_1\times _fM_2\). Since, we consider the structure vector field \(\xi \) is tangent to M, therefore two possible cases arise:
Case 1 When the structure vector field \(\xi \) is tangent to \(M_2\), then for any \(X\in \varGamma (TM_1)\), we have \( \tilde{\nabla }_X\xi =X\). From (4) and (15), we find that \(X(\ln f)\xi =X\), by taking the inner product with \(\xi \), we observe that f is constant, i.e., the warped product \(M_1\times _fM_2\) becomes a Riemannian product (trivial).
Case 2 When the structure vector field \(\xi \) is tangent to \(M_1\), then for any \(Z\in \varGamma (TM_2)\), we have
Then from (3) and (15), we find that
Now, in the following we consider the warped products of the form \(M_T\times _fM_\theta \), called warped product semi-slant submanifolds of a Kenmotsu manifold \({\tilde{M}}\) such that \(\xi \) is tangent to \(M_T\), where \(M_T\) and \(M_\theta \) are invariant and proper slant submanifolds of \({\tilde{M}}\), respectively. If neither \(\dim M_T\) is zero nor the slant angle of \(M_\theta \) is \(\frac{\pi }{2}\), then the warped product semi-slant submanifold is called proper. It is clear that the contact CR-warped product submanifolds are the special cases of warped product semi-slant submanifolds.
First, we give the following non-trivial example of warped product semi-slant submanifolds in Kenmotsu manifolds.
Example 2
Consider the complex Euclidean space \(\mathbb C^4\) with its usual Kaehler structure and the real global coordinates \((x_1, x_2, x_3, x_4, y_1, y_2, y_3, y_4)\). Let \({\tilde{M}}=\mathbb R\times _f\mathbb C^4\) be a warped product manifold between the product of real line \(\mathbb R\) and the complex space \(\mathbb C^4\). In fact, \({\tilde{M}}\) is a Kenmotsu manifold with the almost contact metric structure \((\varphi , \xi , \eta , g)\) such that
and
where \(\langle ,\rangle \) denotes the Euclidean metric tensor of \(\mathbb R^9\). Consider a submanifold M defined by the immersion \(\phi \) as follows
with \(\theta \in \left( 0, \pi /2\right) \). Then the tangent space TM of M at any point is spanned by the following vectors
Then, we find
Thus, M is a proper semi-slant submanifold tangent to the structure vector field \(\xi \) with invariant and proper slant distributions \(\mathcal {D}=\mathrm {Span}\{X_1, X_2\}\) and \(\mathcal {D}^\theta =\mathrm {Span}\{X_3, X_4\}\) respectively with slant angle \(\theta \). It is easy to see that the distributions \({\mathcal {D}}\) and \(\mathcal {D}^\theta \) are integrable. Consider, the integral manifolds corresponding to the distributions \(\mathcal {D}\) and \(\mathcal {D}^\theta \) by \(M_T\) and \(M_\theta \), respectively. Then it is easy to check that \(M=M_T\times _fM_\theta \) is a proper warped product semi-slant submanifold isometrically immersed in \({\tilde{M}}\) with warping function \(f=e^z,\,z\in \mathbb R\).
Now, we have the following useful lemma for later use.
Lemma 4
Let \(M=M_{T}\times {_{f}}M_{\theta }\) be a warped product semi-slant submanifold of a Kenmotsu manifold \(\tilde{M}\) such that \(\xi \) is tangent to \(M_{T}\), where \(M_{T}\) is an invariant submanifold and \(M_{\theta }\) is a proper slant submanifold of \(\tilde{M}\). Then, we have
for any \(X\in \varGamma (TM_T)\) and \(Z, W\in \varGamma (TM_\theta )\).
Proof
For any \(X\in \varGamma (TM_T)\) and \(Z, W\in \varGamma (TM_\theta )\), we have
Using a covariant derivative property of \(\varphi \) and (15), we find
Again using (3), (4) and (15), we get the desired result. \(\square \)
The following relations can be easily obtained by interchanging X by \(\varphi X\) and Z by PZ and W by PW in (18), for any \(X\in \varGamma (TM_T)\) and \(Z, W\in \varGamma (TM_\theta )\)
and
On the other hand, for any \(X, Y\in \varGamma (TM_T)\) and \(Z\in \varGamma (TM_\theta )\), we have by Lemma 4.1 (i) of [22]
In order to give a characterization result for semi-slant submanifolds of a Kenmotsu manifold, we recall the following result of Hiepko [16]:
Hiepko’s Theorem. Let \({\mathcal {D}}_1\) and \({\mathcal {D}}_2\) be two orthogonal distribution on a Riemannian manifold M. Suppose that \({\mathcal {D}}_1\) and \({\mathcal {D}}_2\) both are involutive such that \({\mathcal {D}}_1\) is a totally geodesic foliation and \({\mathcal {D}}_2\) is a spherical foliation. Then M is locally isometric to a non-trivial warped product \(M_1\times _fM_2\), where \(M_1\) and \(M_2\) are integral manifolds of \({\mathcal {D}}_1\) and \({\mathcal {D}}_2\), respectively.
Now, we are able to prove the following main result of this section.
Theorem 2
Let M be a proper semi-slant submanifold with invariant distribution \(\mathcal {D}\oplus \langle \xi \rangle \) and proper slant distribution \(\mathcal {D}^{\theta }\) of a Kenmotsu manifold \(\tilde{M}\). Then M is locally a warped product submanifold of the form \(M_T\times _fM_\theta \) if and only if
for any \(X\in \varGamma (\mathcal {D}\oplus \langle \xi \rangle )\) and \(Z\in \varGamma (\mathcal {D}^{\theta })\) and for some function \(\mu \) on M satisfying \(W\mu =0\), for any \(W\in \varGamma (\mathcal {D}^{\theta })\).
Proof
If \(M=M_{T}\times _{f}M_{\theta }\) is a warped product submanifold of a Kenmotsu manifold \(\tilde{M}\) such that \(M_T\) is an invariant submanifold and \(M_\theta \) is a proper slant submanifold of \({\tilde{M}}\), then from (22), we have \(g(A_{FZ}{\varphi X}, Y)=0\), for any \(X, Y\in \varGamma (TM_T)\) and \(Z\in \varGamma (TM_\theta )\), i.e., \(A_{FZ}{\varphi X}\) has no components in \(TM_T\). Also, if we interchange Z by PZ in (22), then we have \(g(A_{FPZ}{X}, Y)=0\), i.e., \(A_{FPZ}{X}\) also has no components \(TM_T\). Therefore, \(A_{FZ}{\varphi X}-A_{FPZ}{X}\) lies in \(TM_\theta \) only. On the other hand, for any \(X, Y\in \varGamma (TM_T)\) and \(Z, W\in \varGamma (TM_\theta )\), we have
From the covariant derivative proper of \(\varphi \), we find
Using (2), (3), (6), (9) and (15), we obtain
Then from (4), Theorem 1 and (15), we find
Then (23) follows from the above relation with \(\mu =\ln f\).
Conversely, if M is a proper semi-slant submanifold of a Kenmotsu manifold \(\tilde{M}\) such that (23) holds, then from Lemma 1 and the given condition (23), we conclude that \(\sin ^2\theta \,g(\nabla _YX, Z)=0\), for any \(X, Y\in \varGamma ({\mathcal {D}}\oplus \langle \xi \rangle )\) and \(Z\in \varGamma ({\mathcal {D}}^\theta )\). Since M is a proper semi-slant submanifold, then \(\sin ^2\theta \ne 0\), therefore \(g(\nabla _YX, Z)=0\), i.e., the leaves of the distribution \(\mathcal {D}\oplus \langle \xi \rangle \) are totally geodesic in M. Also, from Lemma 3 and the given condition (23), we find that \(\sin ^2\theta \,g([Z, W], X)=0\), for any \(X\in \varGamma ({\mathcal {D}}\oplus \langle \xi \rangle )\) and \(Z, W\in \varGamma ({\mathcal {D}}^\theta )\). Since, M is a proper semi-slant submanifold, thus we have \(g([Z, W], X)=0\), i.e., the slant distribution \({\mathcal {D}}^\theta \) is integrable. If we consider \(h^\theta \) be the second fundamental form of a leaf \(M_\theta \) of \({\mathcal {D}}^\theta \) in M, then for any \(Z, W\in \varGamma ({\mathcal {D}}^\theta )\) and \(X\in \varGamma ({\mathcal {D}}\oplus \langle \xi \rangle )\), we have
Using Lemma 2, we derive
From the given condition (23), we find
Then, from the definition of gradient, we get
which means that \(M_\theta \) is totally umbilical in M with mean curvature vector \(H^\theta =-\mathbf {\nabla }(\mu )\). Now we prove that \(H^\theta \) is parallel corresponding to the normal connection \(D^N\) of \(M_{\theta }\) in M. Consider any \(Y\in \varGamma (\mathcal {D}\oplus \langle \xi \rangle )\) and \(Z\in \varGamma (\mathcal {D}^{\theta })\), then we find that \(g(D^N _{Z}\mathbf {\nabla }\mu ,Y)=g(\nabla _{Z}\mathbf {\nabla }\mu ,Y)=Zg(\mathbf {\nabla }\mu ,Y)-g(\mathbf {\nabla }\mu ,\nabla _{Z}Y)=Z(Y(\mu ))-g(\mathbf {\nabla }\mu , [Z, Y])-g(\mathbf {\nabla }\mu ,\nabla _{Y}Z)=Y(Z\mu )+g(\nabla _{Y}\mathbf {\nabla }\mu ,Z)\}=0,\) since \(Z(\mu )=0,\,\text {for all}\,Z\in \varGamma (\mathcal {D}^{\theta })\) and thus \(\nabla _{Y}\mathbf {\nabla }\mu \in \varGamma (\mathcal {D}\oplus \langle \xi \rangle )\). This means that the mean curvature of \(M_{\theta }\) is parallel. Thus the leaves of the distribution \(\mathcal {D}^{\theta }\) are totally umbilical in M with non-vanishing parallel mean curvature vector \(H^\theta \) i.e., \(M_\theta \) is an extrinsic sphere in M. Then from Hiepko’s Theorem [16], M is a warped product submanifold, which proves the theorem completely.
Now, we construct the following orthonormal frame fields for a proper warped product semi-slant submanifold \(M=M_T\times _fM_\theta \) of a \((2m+1)\)-dimensional Kenmotsu manifold \({\tilde{M}}\) such that the structure vector field \(\xi \) is tangent to \(M_T\). Consider \(M=M_T\times _fM_\theta \) be an n-dimensional warped product semi-slant submanifold of a Kenmotsu manifold \({\tilde{M}}\). If \(\dim M_T=2t+1\) and \(\dim M_\theta =2s\), then \( n=2t+1+2s\). Let us consider the orthonormal frame fields of the corresponding tangent bundles \(\mathcal {D}\) and \(\mathcal {D}^\theta \) of \(M_T\) and \(M_\theta \), respectively as: \(\{e_1,\dots , e_t, e_{t+1}=\varphi e_1,\dots , e_{2t}=\varphi e_t, e_{2t+1}=\xi \}\) is the orthonormal frame field of \(\mathcal {D}\) and \( \{e_{2t+2}=e_1^{\star },\dots , e_{2t+1+s}=e_{s}^{\star }, e_{2t+2+s}=e_{s+1}^{\star }=\sec \theta \,Pe_{1}^{\star },\dots , e_{n}=e_{2s}^{\star }=\sec \theta \,Pe_{s}^{\star }\}\) is the orthonormal frame field of \(\mathcal {D}^\theta \). Then the orthonormal frame fields in the normal bundle \(T^\perp M\) of \(F\mathcal {D}^\theta \) and invariant normal subbundle \(\nu \) respectively are \(\{e_{n+1}=\tilde{e}_1=\csc \theta \,Fe_1^\star \dots , e_{n+s}=\tilde{e}_s=\csc \theta \,Fe_s^\star , e_{n+s+1}=\tilde{e}_{s+1}=\csc \theta \sec \theta \,FPe_1^\star ,\dots , e_{n+2s}=\tilde{e}_{2s}=\csc \theta \sec \theta \,FPe_s^\star \}\) and \(\{e_{n+2s+1}=\tilde{e}_{2s+1},\dots , e_{2m+1}=\tilde{e}_{2m+1-n-2s}\}\).
Next, we use the above constructed frame fields to find a relation (lower bound) for the squared norm of the second fundamental form \(\Vert h\Vert ^2\), in terms of the warping function and the slant angle of a proper warped product semi-slant submanifold of Kenmotsu manifolds.
Theorem 3
Let \(M=M_T\times {_f}M_\theta \) be a proper warped product semi-slant submanifold of a Kenmotsu manifold \({\tilde{M}}\) such that the structure vector field \(\xi \) is tangent to \(M_T\), where \(M_T\) is an invariant submanifold and \(M_\theta \) is a proper slant submanifold of \({\tilde{M}}\). Then
-
(i)
The squared norm of the second fundamental form h of M satisfies
$$\begin{aligned} \Vert h\Vert ^2\ge 4s\left( \csc ^2\theta +\cot ^2\theta \right) \left( \Vert \nabla ^T(\ln f)\Vert ^2-1\right) \end{aligned}$$(24)where \(\nabla ^T(\ln f)\) is the gradient of the warping function \(\ln f\) along \(M_T\) and \(2s=\dim M_\theta \).
-
(ii)
If the equality sign in (i) holds, then \(M_T\) is a totally geodesic submanifold and \(M_\theta \) is a totally umbilical submanifold of \({\tilde{M}}\). Furthermore, M is minimal in \({\tilde{M}}\).
Proof
From the definition of h, we have
First term in the right hand side of (25) has \(F\mathcal {D}^\theta \)-components and the second term has \(\nu \)-components. Let us compute \(F\mathcal {D}^\theta \)-components terms only by using the frame fields of \(\mathcal {D}\) and \(\mathcal {D}^\theta \). Then we have
Then from (22), the first term in the right hand side of above inequality is identically zero. Let us compute just next term
Since for a submanifold M of a Kenmotsu manifold \({\tilde{M}}\), we have \(h(X, \xi )=0\), for any \( X\in \varGamma (TM)\). By using this fact the last term in above inequality is identically zero. Then from the assumed frame fields of \(\mathcal {D}\), \(\mathcal {D}^\theta \) and \( F\mathcal {D}^\theta \), we derive
From the relations (18)–(21) and the fact that for an orthonormal frame field of \({\mathcal {D}},~\eta (e_i)=0\), for \(i=1,\dots ,2t\), we find
Hence, to satisfy (16), we add and subtract the same term in the above relation and then we get
Then from (16) and (17) (i), we obtain
which is the inequality (i). If the equality holds in (i), then from (25) and (26), we find
If \(h^\theta \) is the second fundamental form of \(M_\theta \) in M, then we have
for any \(X\in \varGamma (\mathcal {D})\) and \(Z, W\in \varGamma (\mathcal {D}^\theta )\). Since \(M_T\) is a totally geodesic submanifold in M [5, 9], using this fact with the first condition of (27), we find that \(M_T\) is totally geodesic in \({\tilde{M}}\). Also, since \(M_\theta \) is totally umbilical in M [5, 9], using this fact with (28) and the second condition of (27), we observe that \(M_\theta \) is totally umbilical in \({\tilde{M}}\). Moreover all conditions of (27) with the above fact show the minimality of M in \({\tilde{M}}\). This proves the theorem completely. \(\square \)
Now, we have the following applications of our derived results.
1. If we assume \(\theta =\frac{\pi }{2}\) in Theorem 2 and interchange X by \(\varphi X\) in (23) for any \(X\in \varGamma ({\mathcal {D}}\oplus \langle \xi \rangle )\), then the warped product semi-slant submanifold becomes a contact CR-warped product of the form \(M=M_T\times _fM_\perp \) in a Kenmotsu manifold. Thus, Theorem 3.4 of [18] is a special case of Theorem 2 as follows:
Corollary 3
(Theorem 3.4 of [18]) A proper contact CR-submanifold M of a Kenmotsu manifold \({\tilde{M}}\) is locally a contact CR-warped product if and only if
for some smooth function \(\mu \) on M satisfying \(W(\mu )= 0\), for each \(W\in \varGamma (\mathcal {D}^\perp )\).
2. Also, if we assume \(\theta =\frac{\pi }{2}\) in Theorem 3, then warped product semi-slant submanifold is of the form \(M=M_T\times _fM_\perp \) i.e., M becomes a contact CR-warped product. Thus, Theorem 3.1 of [2] is a special case of Theorem 3 as below:
Corollary 4
(Theorem 3.1 of [2]) Let \({\tilde{M}}\) be a \((2m+1)\)-dimensional Kenmotsu manifold and \(M=M_1\times {_f}M_2\) be an n-dimensional contact CR-warped product submanifold, such that \(M_1\) is a \((2t+1)\)-dimensional invariant submanifold tangent to \(\xi \) and \(M_2\) is a s-dimensional anti-invariant submanifold of \({\tilde{M}}\). Then
-
(i)
The squared norm of the second fundamental form of M satisfies
$$\begin{aligned} \Vert h\Vert ^2\ge 2s\left( \Vert \nabla ^T(\ln f)\Vert ^2-1\right) \end{aligned}$$(29)where \(\nabla ^T(\ln f)\) is the gradient of \(\ln f\).
-
(ii)
If the equality sign in (29) holds identically, then \(M_1\) is a totally geodesic submanifold and \(M_2\) is a totally umbilical submanifold of \({\tilde{M}}\). Moreover, M is a minimal submanifold of \({\tilde{M}}\).
References
Al-Solamy, F.R., Khan, V.A., Uddin, S.: Geometry of warped product semi-slant submanifolds of nearly Kaehler manifolds. Results Math. (2016). doi:10.1007/s00025-016-0581-4
Arslan, K., Ezentas, R., Mihai, I., Murathan, C.: Contact CR-warped product submanifolds in Kenmotsu space forms. J. Korean Math. Soc. 42, 1101–1110 (2005)
Atceken, M.: Warped product semi-slant submanifolds in Kenmotsu manifolds. Turk. J. Math. 36, 319–330 (2012)
Atceken, M.: Contact CR-warped product submanifolds in Kenmotsu space forms. Bull. Iran Math. Soc. 39, 415–429 (2013)
Bishop, R.L., O’Neill, B.: Manifolds of negative curvature. Trans. Am. Math. Soc. 145, 1–49 (1969)
Cabrerizo, J.L., Carriazo, A., Fernandez, L.M., Fernandez, M.: Semi-slant submanifolds of a Sasakian manifold. Geom. Dedic. 78, 183–199 (1999)
Cabrerizo, J.L., Carriazo, A., Fernandez, L.M., Fernandez, M.: Slant submanifolds in Sasakian manifolds. Glasg. Math. J. 42, 125–138 (2000)
Chen, B.-Y.: Slant immersions. Bull. Austr. Math. Soc. 41, 135–147 (1990)
Chen, B.-Y.: Geometry of warped product CR-submanifolds in Kaehler manifolds. Monatsh. Math. 133, 177–195 (2001)
Chen, B.-Y.: Geometry of warped product CR-submanifolds in Kaehler manifolds II. Monatsh. Math. 134, 103–119 (2001)
Chen, B.-Y.: Pseudo-Riemannian Geometry, \(\delta \)-Invariants and Applications. World Scientific, Hackensack (2011)
Chen, B.-Y.: Geometry of warped product submanifolds: a survey. J. Adv. Math. Stud. 6(2), 1–43 (2013)
Chen, B.-Y.: Differential Geometry of Warped Product Manifolds and Submanifolds. World Scientific, Hackensack (2017)
Chen, B.-Y., Uddin, S.: Warped product pointwise bi-slant submanifolds of Kaehler manifolds. Publ. Math. Debr. 92(1), 1–16 (2018)
Hasegawa, I., Mihai, I.: Contact CR-warped product submanifolds in Sasakian manifolds. Geom. Dedic. 102, 143–150 (2003)
Hiepko, S.: Eine inner kennzeichungder verzerrten produkte. Math. Ann. 241, 209–215 (1979)
Kenmotsu, K.: A class of almost contact Riemannian manifolds. Tohoku Math. J. 24, 93–103 (1972)
Khan, V.A., Khan, K.A., Uddin, S.: A note on warped product submanifolds of Kenmotsu manifolds. Math. Slov. 61, 79–92 (2011)
Mihai, A.: Warped product submanifolds in complex space forms. Acta Sci. Math. (Szeged) 70, 419–427 (2004)
Munteanu, M.I.: Warped product contact CR-submanifolds of Sasakian space forms. Publ. Math. Debr. 66, 75–120 (2005)
Murathan, C., Arslan, K., Ezentas, R., Mihai, I.: Warped product submanifolds in Kenmotsu space forms. Taiwan. J. Math. 10, 1431–1441 (2006)
Mustafa, A., De, A., Uddin, S.: Characterization of warped product submanifolds in Kenmotsu manifolds. Balkan J. Geom. Appl. 20, 86–97 (2015)
Olteanu, A.: Contact CR-doubly warped product submanifolds in Kenmotsu space forms. J. Inequal. Pure Appl. Math. 10(4), Article 119 (2009)
Papaghiuc, N.: Semi-slant submanifolds of Kaehlerian manifold. Ann. St. Univ. Iasi 9, 55–61 (1994)
Sahin, B.: Non existence of warped product semi-slant submanifolds of Kaehler manifolds. Geom. Dedic. 117, 195–202 (2006)
Uddin, S., Khan, V.A., Khan, K.A.: Warped product submanifolds of a Kenmotsu manifold. Turk. J. Math. 36, 319–330 (2012)
Uddin, S., Mustafa, A., Wong, B.R., Ozel, C.: A geometric inequality for warped product semi-slant submanifolds of nearly cosymplectic manifolds. Rev. Dela Union Math. Argent. 55, 55–69 (2014)
Uddin, S., Al-Solamy, F.R.: Warped product pseudo-slant submanifolds of cosymplectic manifolds. An. Ştiinţ. Univ. Al. I. Cuza Iaşi Mat (N.S.) Tome LXIII, \(f_2\), vol. 3, pp. 901–913 (2016)
Uddin, S., Al-Solamy, F.R.: Warped product pseudo-slant immersions in Sasakian manifolds. Pub. Math. Debr. 91(2), 1–14 (2017)
Uddin, S., Chen, B.-Y., Al-Solamy, F.R.: Warped product bi-slant immersions in Kaehler manifolds. Mediterr. J. Math. 14, 1–10 (2017)
Acknowledgements
The author is thankful to the Distinguish Professor Bang-Yen Chen, Michigan State University, USA, for a nice discussion during the preparation of this article which improved the quality and presentation of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ari Laptev.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Uddin, S. Geometry of warped product semi-slant submanifolds of Kenmotsu manifolds. Bull. Math. Sci. 8, 435–451 (2018). https://doi.org/10.1007/s13373-017-0106-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-017-0106-9
Keywords
- Warped products
- Slant submanifolds
- Semi-slant submanifolds
- Contact CR-warped products
- Warped product semi-slant submanifolds
- Kenmotsu manifolds