Recently, Chen (Monatshefte Math. 133:177-195, 2001) established general sharp inequalities for CR-warped products in a Kaehler manifold. Afterward, Mihai obtained (Geom. Dedic. 109:165-173, 2004) the same inequalities for contact CR-warped product submanifolds of Sasakian space forms and derived some applications. In this paper, we obtain an inequality for the length of the second fundamental form of the warped product submanifold of a nearly cosymplectic manifold in terms of the warping function. The equality case is also discussed.
MSC: 53C40, 53C42, 53B25.
Keywords:warped product; contact CR-submanifold; contact CR-warped product; nearly cosymplectic manifold
An almost contact metric structure satisfying is called a nearly cosymplectic structure. If we consider as a totally geodesic hypersurface of , then it is known that has a non-cosymplectic nearly cosymplectic structure. Almost contact manifolds with Killing structure tensors were defined in  as nearly cosymplectic manifolds, and it was shown that the normal nearly cosymplectic manifolds are cosymplectic (see also ). Later on, Blair and Showers  studied nearly cosymplectic structure on a manifold with η closed from the topological viewpoint.
On the other hand, Chen  has introduced the notion of CR-warped product submanifolds in a Kaehler manifold. He has established a sharp relationship between the squared norm of the second fundamental form and the warping function. Later on, Mihai  studied contact CR-warped products and obtained the same inequality for contact CR-warped product submanifolds isometrically immersed in Sasakian space forms. Motivated by the studies of these authors, many articles dealing with the existence or non-existence of warped products in different settings have appeared; one of them is . In this paper, we obtain an inequality for the length of the second fundamental form in terms of the warping function for contact CR-warped product submanifolds in a more general setting, i.e., nearly cosymplectic manifold.
A -dimensional smooth manifold is said to have an almost contact structure if on there exist a tensor field ϕ of type , a vector field ξ and a 1-form η satisfying 
where X and Y are vector fields on .
where f is a smooth function on , has no torsion, i.e., J is integrable, the condition for normality in terms of ϕ, ξ and η is on , where is the Nijenhuis tensor of ϕ. Finally, the fundamental 2-form Φ is defined by .
An almost contact metric structure is said to be cosymplectic if it is normal and both Φ and η are closed . The structure is said to be nearly cosymplectic if ϕ is Killing, i.e., if
for any X, Y tangent to , where is the Riemannian connection of the metric g on . Equation (2.3) is equivalent to for each vector field X tangent to . The structure is said to be closely cosymplectic if ϕ is Killing and η is closed. It is well known that an almost contact metric manifold is cosymplectic if and only if vanishes identically, i.e., and .
On a nearly cosymplectic manifold, the vector fieldξis Killing.
Let M be a submanifold of an almost contact metric manifold with induced metric g, and let ∇ and be the induced connections on the tangent bundle TM and the normal bundle of M, respectively. Denote by the algebra of smooth functions on M and by the -module of smooth sections of TM over M. Then the Gauss and Weingarten formulas are given by
where TX is the tangential component and FX is the normal component of ϕX.
A submanifold M tangent to the structure vector field ξ of an almost contact metric manifold is called a contact CR-submanifold (or semi-invariant submanifold) if there exists a pair of orthogonal differentiable distributions and on M such that
A contact CR-submanifold is invariant if and anti-invariant if , respectively. It is called a proper contact CR-submanifold if neither nor . Moreover, if μ is the ϕ-invariant subspace in the normal bundle , then in the case of a contact CR-submanifold, the normal bundle can be decomposed as
Bishop and O’Neill  introduced the notion of warped product manifolds. They defined these manifolds as follows. Let and be two Riemannian manifolds and be a differentiable function on . Consider the product manifold with its projections and . Then the warped product of and denoted by is a Riemannian manifold equipped with the Riemannian structure such that
The function f is called the warping function of the warped product . A warped product is said to be trivial if the warping function f is constant.
We recall the following general result on warped product manifolds for later use.
3 Contact CR-warped product submanifolds
In this section, we consider the warped product submanifolds of a nearly cosymplectic manifold , where and are Riemannian submanifolds of . In the above product, if we assume and , then the warped product of and becomes a contact CR-warped product. In this section, we discuss the contact CR-warped products and obtain an inequality for the squared norm of the second fundamental form. For the general case of warped product submanifolds of a nearly cosymplectic manifold, we have the following result.
Now, we consider the warped product contact CR-submanifolds of the types and of a nearly cosymplectic manifold . In , the present author has proved that the warped product contact CR-submanifolds of the first type are usual Riemannian products of and , where and are anti-invariant and invariant submanifolds of , respectively. In the following, we consider the contact CR-warped product submanifolds and obtain a general inequality. First, we have the following preparatory result for later use.
If we replace X by ϕX in (ii) of Lemma 3.1, then we get
For a Riemannian manifold of dimension m and a smooth function f on M, we recall
(i) ∇f, the gradient of f, is defined by
(ii) Δf, the Laplacian of f, is defined by
As a consequence, we have
Now, we prove the main result of this section using the above results.
(i) The length of the second fundamental form ofMsatisfies the inequality
Proof Let be a -dimensional nearly cosymplectic manifold and be an n-dimensional contact CR-warped product submanifolds of . Let us consider the and , then . Let and be the local orthonormal frames on and , respectively. Then the orthonormal frames in the normal bundle of and μ are and , respectively. Then the length of the second fundamental form h is defined as
For the assumed frames, the above equation can be written as
Using Lemma 3.1(i), the first term of (3.10) is identically zero and we shall compute the next term and leave the third term
Then from (3.5), the above expression will be
Suppose the equality case holds in (3.6), then from (3.8) and (3.10), we obtain
As is a totally geodesic submanifold in M (by Lemma 2.1(i)), using this fact with the first part of (3.14), we get is totally geodesic in . On the other hand, the second condition of (3.14) with (3.13) implies that is totally umbilical in . Moreover, from (3.14), we get M is a minimal submanifold of . This proves the theorem completely. □
The authors declare that they have no competing interests.
SU carried out the whole research and drafted the manuscript. KAK has given the idea of this problem and checked the calculations. All authors read and approved the final manuscript.
Blair, DE: Almost contact manifolds with Killing structure tensors I. Pac. J. Math.. 39, 285–292 (1971). Publisher Full Text
Blair, DE, Yano, K: Affine almost contact manifolds and f-manifolds with affine Killing structure tensors. Kodai Math. Semin. Rep.. 23, 473–479 (1971). Publisher Full Text
Chen, BY: Geometry of warped product CR-submanifolds in Kaehler manifold. Monatshefte Math.. 133, 177–195 (2001). Publisher Full Text
Mihai, I: Contact CR-warped product submanifolds in Sasakian space forms. Geom. Dedic.. 109, 165–173 (2004). Publisher Full Text