The Lawson-Simons’ theorem on warped product submanifolds with geometric information

Abstract: The main objective of this paper is to investigate topological properties from the view point of compact warped product submanifolds of a space form with the vanishing constant sectional curvature. That is, we prove the non-existence of stable integral p-currents in a compact oriented warped product pointwise semi-slant submanifold Mn in the Euclidean space Rp+2q which satisfies an operative condition involving the Laplacian of a warped function and a pointwise slant function, and show that their homology groups are zero on this operative condition. Moreover, under the assumption of extrinsic conditions, we derive new topological sphere theorems on a warped product submanifold Mn, and prove that Mn is homeomorphic to Sn if n = 4, and Mn is homotopic to Sn if n = 3. Furthermore, the same results are generalized for CR-warped products and our results recovered [17].


Introduction
The theory of integral currents was introduced by Federer-Fleming [8]. The notion of an integral current plays an important role in providing tooplogical information by combining the geometric structure of differentiable manifolds and homology groups with integral coefficients. In 1970 s, Lawson-Simons [11] provided the optimization for the nonexistence of stable currents in submanifolds of the sphere S n with pinched the second fundamental form.
On the other hand, vanishing homology and non-existence of stable integral currents in warped product submanifolds in an odd dimensional sphere were constructed in [15]. By taking the help of Lawson-Simons' results [11], they proved that the homology groups were trivial and did not exist stable currents of a contact CR-warped product submanifold in an odd dimentional sphere (see [15] for more detail). Later on, F. Ş ahin [17,18] proved similar results for CR-warped product submanifold in Euclidean spaces and in the near Kaehler six sphere S 6 . Motivated by previous development, Ali et al. [1] optimized the warped function and pointwise slant functions for a warped product submanifold in the unit sphere with trivial homology groups on the pointwise slant fiber. Inspired by the results [7] on a hyperbolic space for negative constant sectional curvature, Ali et al. [3] derived the results for non-existence stable currents and vanishing homology groups for CR-warped product in complex hyperbolic spaces. As applications, some topological sphere theorems have been proved in [3]. The same study has been extended for Lagrangian warped product submanifolds of the near Kaehler six sphere S 6 in [2], and similar results in a generalized complex space can be found in [13]. By imposing certain conditions on the second fundamental form in ( [12,14,[20][21][22]), several mathematicians obtained many results for topological and differentiable structures of submanifolds.
In this work, we provide these results in non-trivial warped product pointwise semi-slant submanifold in Kaehler manifold with zero holomorphic sectional curvature, which generalizes a CR-warped product submanifold class, proved by B. Sahin [16]. Moreover, we show that our results are an extension of F. Sahin in [17].

Preliminaries
A Kaehler manifold M of dimension 2m with an almost complex structure J and a Riemannian metric g satisfies for all vector fields U, V ∈ X(T M), where X(T M) denotes the collection of all sections on the tangent bundle T M on M and ∇ denotes the covariant differential operator on M with respect to the Riemannian metric g [23]. If ∇ and ∇ ⊥ are the induced Riemannian connections on the tangent bundle T M and the normal bundle T ⊥ M of a submanifold M, respectively, then the following formulas are recognized as Gauss and Weingarten for U, V ∈ X(T M) and N ∈ X(T ⊥ M). If the tangential and normal components of JU(JN) are represented by PU(tN) and FU( f N) respectively, then they are related as: Here, a totally real submanifold M provides P is identically zero and a holomorphic submanifold characterizes F is identically zero. If the curvature tensors of M and M are symbolized R and R, respectively, the Gauss equation for a submanifold M is given as: provides θ : T * M → R is a real-valued function, then M is called a pointwise slant submanifold [6]. If the angle θ(X) is globally constant then M is slant submanifold. The necessary and sufficent condition for M to be pointwise slant if the tangential endomorphism P is satisfied the following for λ ∈ [0, 1] such that λ = cos 2 θ. The following formulas can be constructed by using (2.4) and (2.6) as: (iv) If the tangent space T M of M is disintegrated as T M = D T ⊕D θ for the poinwise slant distribution D θ , then it is called a pointwise semi-slant submanifold [16]. Moreover, if µ is an invariant subspace under J of the normal bundle T ⊥ M, then the normal bundle T ⊥ M can be decomposed as T ⊥ M = FD θ ⊕ µ.
If p and q are the ranks of the complex distribution D T and the pointwise slant distribution D θ of a pointwise semi-slant submanifold in a Kaehler manifold M, respectively, then the following remarks hold: Remark 2. If we consider the slant function θ : M → R is globally constant on M and θ = π 2 , then M is a CR-submanifold. Moreover, there are some examples and related problems of a pointwise semi-slant submanifold in a Kaehler manifold in [16]. Furthermore, the initial concept of a warped product manifold is given by Bishop and O'Neill [4]. The product manifold of the form N p 1 × f N q 2 with the metric g = g 1 + f 2 g 2 of two Riemannian manifolds N p 1 and N q 2 is called a warped product manifold and f denotes the warping function on the base N p 1 . Now we have for any X ∈ Γ(T N 1 ) and Z ∈ Γ(T N 2 ), where the gradient ∇ (ln f ) of ln f is given by The following relation is proved in [4] R where H f is a Hessian tensor of f .

Main results
To prove our main results, we need the following which was obtained by Lawson and Simons [11], we summarize these result as follows; From the generalized Poincare conjecture, it was proved in [11] that if the second fundamental form bounded above of an n-dimensional compact submanifold M n in the unit sphere S n+p , then M n is either homeomorphic to a sphere S n for n 3 or homotopic to a sphere S n for n = 3. In [19], if an n-dimensional compact oriented submanifold M n of the (n + k)-dimensional Euclidean space E n+k satisfies the pinching condition Ric(X) > δ 1 (n)g(A H X, X), where the Ricci curvature Ric and the shape operator A H with respect to the mean curvature H, and δ 1 (n) is constant given by δ 1 (n) = n(n−3) n−1 if n is odd and δ 1 (n) = n−2 if n is even, then there are no stable currents in M n , and also M n is homeomorphic to S n .
In the case study of the present paper, we consider the only non-trvial warped product pointwise semi-slant submanifold of the form N p T × f N q θ in a Kaehler manifold because other warped product submanifolds are trivial (see [16] for detail). Before proceeding to the main theorem, we recall that the following result [16]: for X, Y ∈ X(T N T ) and Z ∈ X(T N θ ).
Let C q be a complex vector space, which is identified with a real vector space R 2q , expressed as (z 1 , . . . , z q ) → (x 1 . . . , x q , y 1 . . . y q ) with z β = x β + iy β , for β = 1, . . . q. With the standard metric in R 2q , it becomes the Euclidean 2q−space, denoted by R 2q . Therefore, with the standard flat Kaehlerian metric, an almost complex structure J on R 2q is said to be compatible if (R 2q , J) is analytically isometric to the complex number space C q . From now on, we denote the Euclidean 2q−space with compatible almost complex structure J by R 2q . Thus, (R 2q , J) is a Kaehler manifold with zero constant sectional curvature. Therefore, we have nonexistence stable integral p−currents theorem for a warped product pointwise semi-slant submanifold in a flat space or the Euclidean space R p+2q as follows; Theorem 3.3. Let M n = N p T × f N q θ be a compact, oriented warped product pointwise semi-slant submanifold in the Euclidean space R p+2q with n = p + q. If the following condition is satisfied then there does not exist stable integral p-currents in M n and where H i (M n , Z) is the i-th homology group of M n with integer coefficients.
At the above equation, the term in the right hand side is The last equation can be expressed as: 2||h(e i , e j )|| 2 −g h(e i , e i ), h(e j , e j ) < 0 (3.13) Applying Lemma 3.1, for Euclidean space c = 0, we get the final conclusion of our theorem.
In particular, when the slant function is constant with θ = π 2 in Theorem 3.3, a warped product pointwise semi-slant submanifold M n = N p T × f N q θ becomes a CR-warped product in a Kaehler manifold such that N p T and N q θ = N q ⊥ are holomorphic and totally real submanifolds, respectively. Therefore, due to the studied of Chen [5], we prove the nonexistence of a stable integrable p-currents for CR-warped products in Euclidean space R p+2q as a consequence of Theorem 3.3.
Theorem 3.4. [17] Let M n = N p T × f N q ⊥ be a compact CR-warped product submanifold in Euclidean space R p+2q with n = p + q. If the following condition is satisfied (3.14) then there does not exist a stable integral p-currents in M n and where H i (M n , Z) is the i-th homology group of M n with integer coefficients.
Then we state next sphere theorem as follows; Theorem 3.5. Let M n = N p T × f N q θ be a compact oriented warped product pointwise semi-slant submanifold in R p+2q with n = p + q, if the following condition is satisfied

15)
Then M p+q is homeomorphic to S n when p + q = 4 and if p + q = 3, then M p+q is homotopic to S n .
Proof. From Theorem 3.3, there does not exist stable integral p-currents in a warped product pointwise semi-slant submanifold M and their homology group zero for all positive integer p , q such that p + q = n 3, that is, H q (M, Z) = H q (M, Z) = 0. Therefore, M is a homology sphere. By choosing a Riemannian universal covering of ambient manifold M of M together with compactness of M and (3.12), M is compact due to Myer's theorem. Thus the above justification can be imposed to the Riemannian universal covering M of M to show that M is a homology sphere. As M is a homology sphere with fundamental group π 1 ( M) = 0 and it is also a homotopy sphere. Therefore, applying the generalized Poincarẽ's conjecture Smale n ≥ 5 [14], Freedman n = 4 [9] , we get that M is homotopy to the Euclidean sphere S n .
On other hand, if n = 3, using the result of R. S. Hamilton [10], we conclude that M 3 is a three dimensional spherical space form and hence π 1 (M) = 0, it is homotopic to a Euclidean sphere S 3 . The proof of completed.
From Theorem 3.4, there is a consequence of Theorem 3.5 as the sphere theorem for compact CR-warped products in R p+2q ; Theorem 3.6.
[17] Let M n = N p T × f N q ⊥ be a compact,oriented CR-warped product submanifold in R p+2q with n = p + q, if the following is satisfied

16)
then M p+q is homeomorphic to S n when p + q = 4 and if p + q = 3, then M p+q is homotopic to S n .
Remark 5. Theorems 3.5 and 3.6 are topological sphere theorems for warped product submanifolds without the assumption that M n is simply connected. Moreover, our results become more significant due to involving the new pinching conditions in terms of a pointwise slant function and the Laplacian of a warping function.
Remark 6. It noted that our results are generalized all results which were proved in [17].