Next Article in Journal
A Weight Assignment Algorithm for Incomplete Traffic Information Road Based on Fuzzy Random Forest Method
Previous Article in Journal
Body Balance after Fascial Therapy in Athletes with Soft Lower Limb Muscle Injuries
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Null Homology Groups and Stable Currents in Warped Product Submanifolds of Euclidean Spaces

1
School of Mathematics, Hangzhou Normal University, Hangzhou 311121, China
2
Department of Mathematics and Computer Science Victoriei 76, North University Center of Baia Mare Technical University of Cluj Napoca, 430122 Baia Mare, Romania
3
Department of Mathematics, College of Science, King Khalid University, Abha 61413, Saudi Arabia
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Submission received: 30 June 2021 / Revised: 10 August 2021 / Accepted: 19 August 2021 / Published: 28 August 2021

Abstract

:
In this paper, we prove that, for compact warped product submanifolds M n in an Euclidean space E n + k , there are no stable p-currents, homology groups are vanishing, and M 3 is homotopic to the Euclidean sphere S 3 under various extrinsic restrictions, involving the eigenvalue of the warped function, integral Ricci curvature, and the Hessian tensor. The results in this paper can be considered an extension of Xin’s work in the framework of a compact warped product submanifold, when the base manifold is minimal in ambient manifolds.

1. Introduction and Preliminaries

The geometric structure and topological properties of submanifolds in different ambient spaces have been studied on a large scale during the past few years. Many results have shown that there is a close relationship between the non-existence of stable currents and the vanishing homology groups of submanifolds in a different class of ambient manifolds by using the pinching condition of the second fundamental form [1]. In [1], Lawson and Simons provided the optimization of the second fundamental form, which forces homology to vanish in a range of intermediate dimensions, and also the nonexistence of stable currents in submanifolds of simply connected space form. They obtained the following theorem, which is the key result of that paper.
Theorem 1
([1,2]). Let M n be a compact n-dimensional submanifold of the space form M ˜ ( c ) of constant curvature c 0 and the second fundamental form B , and p , q are any positive integers such that p + q = n . If the inequality
α = 1 p β = p + 1 n 2 | | B ( e α , e β ) | | 2 g B ( e α , e α ) , B ( e β , e β ) < p q c
is satisfied, then there are no stable p-currents on M n and
H p ( M n , Z ) = H q ( M n , Z ) = 0
for any p M n and an orthonormal frame e i 1 i n of tangent space T M n , where H i ( M n , Z ) is the i-th homology group of M n with integer coefficients.
As an application of Ricci curvature, Vlachos [3] proved the following result due to Theorem 1.
Theorem 2
([3]). Let M n be a compact oriented n-dimensional submanifold of ( n + k ) -dimensional Euclidean space E n + k and assume that, for each unit vector X, the Ricci curvature is satisfied:
R i c ( X ) > δ 1 ( n ) g ( A H X , X ) ,
where A H is the shape operator with respect to the mean curvature H, and δ 1 ( n ) is a 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 . Moreover, M n is homeomorphic to S n .
To show that the result (2) is optimal, we pay attention to a minimal submanifold of CP n of the constant holomorphic sectional curvature 2 n n + 1 into S n ( n + 2 ) 1 , that was constructed in [4] by Wallah. Furthermore, if n = 2 , we have ϕ n : CP n E n ( n + 2 ) satisfies R i c ( X ) = δ 1 ( 2 n ) g ( A H X , X ) for each unit tangential vector X [3]. On the other hand, CP 2 is not homeomorphic to S 4 and this means that the pinching condition (2) is optimal. Moreover, using Theorem 1 in [5], it was proved that if compact oriented n-dimensional submanifold of ( n + m ) -dim space form F c n + k satisfies the second fundamental form pinching condition S < a n , k , | H | , c , for any integral number k such that 0 < k < n , the p-th homology groups are vanishing, H p ( M n , Z ) = 0 , for all p { k , , n k } , and if the fundamental group π 1 ( M n ) is finite and simply connected, M n is homeomorphic to S n . Using Theorem 1, Xu and Gu [6] extended the pinching condition in terms of the Ricci curvature. They also showed that, for a compact submanifold M n in space form F c n + k , if it satisfies R i c > ( n 2 ) ( c + H 2 ) then M n is homeomorphic to S n , where H is the mean curvature of M n and c is a constant sectional curvature. Motivated by the non-existence of stable currents or stable submanifolds, a number of topological properties have been studied in [2,5,7,8,9,10,11,12,13,14] by using Theorem 1.
Inspired by the above-mentioned aspects, we want to obtain some similar results for warped product submanifold theory where the second fundamental form pinching condition will be replaced by the warping function. It is interesting and meaningful to know how the topological and geometrical of warped product submanifolds is affected by the main intrinsic invariant and main extrinsic curvature invariant. Taking advantage of the Nash embedding theorem [15] and Nolker [16], we will prove the nonexistence stable integral p-currents in a compact warped product submanifold in a flat space or a Euclidean space E n + k . We provide some basic notions needed in this paper.
Let M n be isometrically immersed into a Riemannian manifold M ˜ with induced metric g. If ∇ and are the induced Riemannian connections on the tangent bundle T M and the normal bundle T M over M n , respectively, then the Gauss and Weingarten formulas are given by
˜ U V = U V + B ( U , V ) ,
˜ U ξ = A ξ U + U ξ
for each U , V X ( T M ) and ξ X ( T M ) , where B and A ξ are the second fundamental form and the shape operator (corresponding to the normal vector field ξ ), respectively [17]. They are related as follows: g ( B ( U , V ) , ξ ) = g ( A ξ U , V ) , where g denotes the Riemannian metric on M ˜ as well as the metric induced on M n . The Gauss equation for a submanifold M is given by:
R ˜ X 1 , Y 1 , Z 1 , W 1 = R ( X 1 , Y 1 , Z 1 , W 1 ) + g B ( X 1 , Z 1 ) , B ( Y 1 , W 1 ) g B ( X 1 , W 1 ) , B ( Y 1 , Z 1 ) ,
for X 1 , Y 1 , Z 1 , W 1 X ( T M ) , where R ˜ and R are the curvature tensors on M ˜ and M n , respectively [17]. In M ˜ , we choose a local orthonormal frame { e 1 , e 2 , , e n , e n + 1 , , e n + k } . The mean curvature vector H for a local orthonormal frame { e 1 , e 2 , , e n } on M n is defined by
| | H | | 2 = 1 n 2 r = n + 1 n + k i = 1 n B i i r .
In addition, we set
B i j r = g ( B ( e i , e j ) , e r ) , 1 i , j n & n + 1 r n + k .
And we give another Riemannian intrinsic invariant’s definition named the scalar curvature of M n , we denoted by τ ( T x M n ) , at some x in M n , is given by the following:
τ ( T x M n ) = 1 α < β n K α β ,
where K α β = K e α e β . The (8) is equivalent to below equation, which will be frequently used in subsequent proofs:
2 τ ( T x M n ) = 1 α < β n K α β , 1 α , β n .
Similarly, the scalar curvature τ ( L x ) of an L plane is provided by the following:
τ ( L x ) = 1 α < β n K α β .
If plane sections are spanned by e α and e β at x, sectional curvature of M n and M ˜ n + k are denoted by K α β and K ˜ α β , respectively. Thus, K α β and K ˜ α β are the intrinsic and extrinsic sectional curvatures of the span { e α , e β } at x [18]. Taking advantage of Gauss Equations (5) and (8), we have
1 α < β n + k K α β = 1 α < β n + k K ˜ α β + r = n + 1 n + k B α α r B β β r ( B α β r ) 2 .
On the other hand, the idea of warped product manifolds was originally introduced by Bishop and O’Neill [19] for manifolds of negative curvature. Assume that N 1 p and N 2 q are two Riemannian manifolds with their Riemannain metrics g 1 and g 2 , respectively. Let f be a smooth function defined on N 1 p . A warped product manifold is M n = N 1 p × f N 2 q with n = p + q and the Riemannian metric g = g 1 + f 2 g 2 . Assume that M n = N 1 p × f N 2 q is a warped product manifold, then for any X Γ ( T N 1 ) and Z Γ ( T N 2 ) , we find that
Z X = X Z = ( X ln f ) Z .
Thus, the function f is called a warping function on M n . The following lemma is a direct consequence of the warped product manifolds:
Lemma 1
([19]). Let M = N 1 × f N 2 be a warped product manifold. Then we have
(i) 
Z X = X Z = ( X f ) f Z ,
(ii) 
Z W = Z W g ( Z , W ) ln f ,
for any X , Y X ( T N 1 ) and Z , W X ( T N 2 ) , where ∇ and denote the Levi–Civita connections on M and N 2 , respectively. Further, ln f is the gradient of ln f , given by
g ( ln f , X ) = X ( ln f ) .
Thus, by using (i) of Lemma 1, we have
R ( X , Z ) Y = H f ( X , Y ) f Z ,
where H f is a Hessian tensor of f. Let { e 1 , , e n } be an local orthonormal frame of vector field M n , thus the squared norm of the gradient of the positive differentiable function φ for an orthonomal frame { e 1 , , e n } is defined as:
| | φ | | 2 = i = 1 n e i ( φ ) 2 .
Let φ be a differential function defined on M n . The gradient φ is given by:
g ( φ , X ) = X φ , a n d φ = i = 1 n e i ( φ ) e i ,
and the Laplacian Δ φ of φ is defined as:
Δ φ = i = 1 n { ( e i e i ) φ e i ( e i ( φ ) ) } = i = 1 n g ( e i g r a d φ , e i ) = t r H e s s ( φ ) .
Remark 1.
It should be noted that we consider the opposite sign of Chen [20] of the Laplacian of the function φ, that is Δ = d d t on the real line
Moreover, because the units vector fields X and Z are tangent to N 1 p , N 2 q , respectively, we get:
K ( X Z ) = g ( R ( X , Z ) X , Z ) = ( X X ) ln f g ( Z , Z ) g X ( ( X ln f ) Z ) , Z = ( X X ) ln f g ( Z , Z ) g X ( X ln f ) Z + ( X ln f ) X Z , Z = ( X X ) ln f g ( Z , Z ) ( X ln f ) 2 X ( X ln f ) .
Suppose that { e 1 , e n } is an orthonormal frame for M n , then summing up over the vector fields such that
i = 1 p j = p + 1 n K ( e i e j ) = i = 1 p j = p + 1 n ( e i e i ) ln f e i ( e i ln f ) ( e i ln f ) 2 ,
it implies that
i = 1 p j = p + 1 n K ( e i e j ) = q Δ f f .
The following remarks are consequences of Lemma 1:
Remark 2.
A warped product manifold M n = N 1 p × f N 2 q is said to be trivial or simply a Riemannian product manifold if the warping function f is constant.
Remark 3.
If M n = N 1 p × f N 2 q is a warped product manifold, then N 1 p is totally geodesic and N 2 q is a totally umbilical submanifold of M n , respectively.

2. Main Results

In this section, we present the main results of this paper.
Theorem 3.
Let φ : M p + q = N 1 p × f N 2 q E p + q + k be a N 1 p -minimal isometric immersion from a compact warped product submanifold M p + q into an ( p + q + k ) -dimensional Euclidean space E p + q + k , satisfying the following inequality
f Δ f < 2 q f 2 ,
where Δ f and f are the Laplacian and the gradient of the warping function f. Then, M p + q satisfies the following:
(i) 
There do not exist stable p-currents in M p + q and
H p ( M p + q , Z ) = H q ( M p + q , Z ) = 0
for all integers p , q such that p + q = n , where H i ( M p + q , Z ) is the i-th homology groups of M n with integer coefficients.
(ii) 
The fundamental group π 1 ( M p + q ) is vanished, that is, π 1 ( M p + q ) = 0 .
(iii) 
If p + q = 3 , then M 3 is homotopic to a Euclidean sphere S 3 .
Motivated by the geometric rigidity Theorem 3, the second aim of this paper is to prove a new topological theorem for compact warped product submanifolds in terms of the Ricci curvature and using the eigenvalues of the Laplacian of the warping function. In particular, we can give the following topological sphere theorem:
Theorem 4.
Let φ : M p + q = N 1 p × f N 2 q E p + q + k be a N 1 p -minimal isometric immersion from a compact warped product submanifold M p + q into an ( p + q + k ) -dimensional Euclidean space E p + q + k and the warping function f is an eigenfunction of the Laplacian of M n associated to the first positive eigenvalue λ 1 satisfying the following inequality:
M n 2 f 2 + R i c ( f , f ) d V > λ 1 2 2 q M n f 2 d V ,
for integral Hessian tensor 2 f of the warping function f and integral Ricci curvature along the gradient f . Then, M p + q satisfies the following:
(i) 
There do not exist stable p-currents in M p + q and
H p ( M p + q , Z ) = H q ( M p + q , Z ) = 0
for all integers p , q such that p + q = n , where H i ( M p + q , Z ) is the i-th homology groups of M n with integer coefficients.
(ii) 
The fundamental group π 1 ( M p + q ) is vanished, that is, π 1 ( M p + q ) = 0 .
(iii) 
If p + q = 3 , then M 3 is homotopic to a Euclidean sphere S 3 .
As an immediate application of Theorem 4, we can now give the following:
Corollary 1.
Assume that φ : M p + q = N 1 p × f N 2 q E p + q + k is an N 1 p -minimal isometric immersion from a compact warped product submanifold M p + q into a ( p + q + k ) -dimensional Euclidean space E p + q + k satisfying the following inequality:
M n i = 1 p B f , e i 2 d V < M n 2 f 2 + ( Δ f ) 2 2 q d V .
Then, M p + q satisfies the following:
(i) 
There do not exist stable p-currents in M p + q and
H p ( M p + q , Z ) = H q ( M p + q , Z ) = 0 ,
for all integers p , q such that p + q = n , where H i ( M p + q , Z ) is the i-th homology groups of M n with integer coefficients.
(ii) 
The fundamental group π 1 ( M p + q ) is vanished, that is, π 1 ( M p + q ) = 0 .
(iii) 
If p + q = 3 , then M 3 is homotopic to a Euclidean sphere S 3 .
Another interesting result, which is a direct consequence of Corollary 1, is the following:
Corollary 2.
Assume that φ : M p + q = N 1 p × f N 2 q E p + q + k is an N 1 p -minimal isometric immersion from a compact warped product submanifold M p + q into a ( p + q + k ) -dimensional Euclidean space E p + q + k such that f K e r B and satisfies the following:
M n 2 f 2 + ( Δ f ) 2 2 q d V > 0 ,
where 2 f is the Hessian of the warped function f. Then, M p + q holds the following:
(i) 
There do not exist stable p-currents in M p + q and
H p ( M p + q , Z ) = H q ( M p + q , Z ) = 0 ,
for all integers p , q such that p + q = n , where H i ( M p + q , Z ) is the i-th homology groups of M n with integer coefficients.
(ii) 
The fundamental group π 1 ( M p + q ) is vanished, that is, π 1 ( M p + q ) = 0 .
(iii) 
If p + q = 3 , then M 3 is homotopic to a Euclidean sphere S 3 .
Here we consider that the base of the warped product submanifold is Ricci-flat and we find the results below as a corollary of Theorem 4:
Corollary 3.
Let φ : M p + q = N 1 p × f N 2 q E p + q + k be an N 1 p -minimal isometric immersion from a compact warped product submanifold into a Euclidean space E p + q + k with base manifold N 1 p is Ricci flat and satisfies the following:
M n f Δ f d V < 2 q λ 1 M n 2 f 2 d V ,
where λ 1 is an eigenvalue of the warped function f. Then, M p + q holds the following:
(i) 
There do not exist stable p-currents in M p + q and
H p ( M p + q , Z ) = H q ( M p + q , Z ) = 0 ,
for all integers p , q such that p + q = n , where H i ( M p + q , Z ) is the i-th homology groups of M n with integer coefficients.
(ii) 
The fundamental groups π 1 ( M p + q ) is vanished, that is, π 1 ( M p + q ) = 0 .
(iii) 
If p + q = 3 , then M 3 is homotopic to a Euclidean sphere S 3 .
Theorem 3 is a main topological sphere theorem for a compact warped product submanifold without the assumption that M n is simply connected. Moreover, our result becomes more significant due to involving the new pinching conditions in terms of the warping function, integral of the squared norm of the Hessian tensor, integral Ricci curvature and the first non-zero eigenvalue of the warped function [21]. And we could find out more about the applications and meanings of physics in some articles [22,23,24,25,26] about these topics. From the perspective of applied physics, the main results of this paper have great physical significance.

3. Proof of Main Results

In the first case, we assume that the warped product submanifold isometrically immersed in a Euclidean E n + k with codimension k and this proves the result.

3.1. Proof of Theorem 3

Let dim ( N 1 ) = p and dim ( N 2 ) = q and consider { e 1 , e 2 , , e p } , and { e p + 1 * , , e n * } to be orthonormal frames of T N 1 and T N 2 , respectively. Then, from Gauss Equation (5) for a Euclidean space E n + k , we have
α = 1 p β = p + 1 n { 2 | | B ( e α , e β ) | | 2 g B ( e α , e α ) , B ( e β , e β ) } = r = n + 1 n + k α = 1 p β = p + 1 n B α β r 2 + α = 1 p β = p + 1 n | | B ( e α , e β ) | | 2 g B ( e α , e β ) , B ( e α , e β ) .
From Gauss Equation (5) for the Euclidean space E n + k , we get further
α = 1 p β = p + 1 n { 2 | | B ( e α , e β ) | | 2 g B ( e α , e α ) , B ( e β , e β ) } = r = n + 1 n + k α = 1 p α = p + 1 n B α β r 2 + α = 1 p β = p + 1 n g R ( e α , e β ) e α , e β .
From R ( e α , e β ) e α = H f ( e α , e α ) f e β in (14), we derive
α = 1 p β = p + 1 n g R ( e α , e β ) e α , e β = q f α = 1 p g e α f , e α .
Thus, from (26) and (27), we derive
α = 1 p β = p + 1 n { 2 | | B ( e α , e β ) | | 2 g B ( e β , e β ) , B ( e α , e α ) } = q f α = 1 p g e α f , e α + r = n + 1 n + k α = 1 p α = p + 1 n B α β r 2 .
Computing the Laplacian Δ f , on M n , one obtains:
Δ f = i = 1 n g e i ( f ) , e i = α = 1 p g e α ( f ) , e α + β = p + 1 n g e β ( f ) , e β .
From the hypothesis of a warped product submanifold, N 1 p is totally geodesic in M n . It implies that g r a d f X ( T N 1 ) , and from Lemma 1 (i)–(ii), we obtain
Δ f = 1 f j = p + 1 n g ( e j , e j ) | | f | | 2 + α = 1 p g e α ( f ) , e α .
Multiply the above equation by 1 f , we get:
Δ f f = 1 f α = 1 p g e α ( f ) , e α + q | | ( ln f ) | | 2 .
After some computations, we find that
q f α = 1 p g e α ( f ) , e α = q Δ f f q 2 | | ln f | | 2 .
Thus, from (28) and (29), one obtains:
α = 1 p β = 1 q { 2 | | B ( e α , e β ) | | 2 g B ( e β , e β ) , B ( e α , e α ) } = r = n + 1 n + k α = 1 p β = 1 q ( B α β r ) 2 + q Δ f f q 2 | | ln f | | 2 .
Using the Gauss Equation (5) for Euclidean space E n + k , we find that
n 2 | | H | | 2 = | | B | | 2 + 1 A < B n K ( e A e B ) .
The above equation can be written for the warped product manifold M n and from the viewpoint of (6) and (14) as follows:
r = n + 1 n + k A = 1 n B A A r 2 = r = n + 1 n + k i , j = 1 p ( B i j r ) 2 + r = n + 1 n + k a , b = p + 1 n ( B a b r ) 2 + 2 r = n + 1 n + k α = 1 p β = p + 1 n ( B α β r ) 2 + α = 1 p β = p + 1 n K ( e α e β ) + 1 i < j p K ( e i e j ) + 1 a < b q K ( e a e b ) .
Using (11) and (19) in the above equation, we derive
r = n + 1 n + k A = 1 n B A A r 2 = r = n + 1 n + k i , j = 1 p ( B i j r ) 2 + r = n + 1 n + k a , b = p + 1 n ( B a b r ) 2 + 2 r = n + 1 n + k α = 1 p β = p + 1 n ( B α β r ) 2 + q Δ f f + 1 i < j p K ˜ ( e i e j ) + p + 1 a < b n K ˜ ( e a e b ) + r = n + 1 n + k 1 i < j p B i i r B j j r ( B i j r ) 2 + r = n + 1 n + k p + 1 a < b n B a a r B b b r ( B a b r ) 2 .
Thus, using the flatness of the space E n + k and making some rearrangements in the last equation, one obtains:
r = n + 1 n + k A = 1 n B A A r 2 = r = n + 1 n + k i , j = 1 p ( B i j r ) 2 + r = n + 1 n + k a , b = p + 1 n ( B a b r ) 2 + 2 r = n + 1 n + k α = 1 p β = p + 1 n ( B α β r ) 2 + q Δ f f r = n + 1 n + k 1 i < j p ( B i j r ) 2 + r = n + 1 n + k 1 i < j p B i i r B j j r + r = n + 1 n + k ( B i i r ) 2 + + ( B p p r ) 2 r = n + 1 n + k ( B i i r ) 2 + + ( B p p r ) 2 + r = n + 1 n + k p + 1 a < b n B a a r h b b r r = n + 1 n + k p + 1 a < b n ( B a a r ) 2 + r = n + 1 n + k ( B p + 1 p + 1 r ) 2 + + ( B n n r ) 2 r = n + 1 n + k ( B p + 1 p + 1 r ) 2 + + ( B n n r ) 2 .
After some rearrangements of the above equation, we get
r = n + 1 n + k A = 1 n B A A r 2 = r = n + 1 n + k i , j = 1 p ( B i j r ) 2 + r = n + 1 n + k a , b = p + 1 n ( B a b r ) 2 + 2 r = n + 1 n + k α = 1 p β = p + 1 n ( B α β r ) 2 + q Δ f f + r = n + 1 n + k 1 i < j p B i i r B j j r + ( B 11 r ) 2 + + ( B p p r ) 2 r = n + 1 n + k 1 i < j p ( B i j r ) 2 + ( B 11 r ) 2 + + ( B p p r ) 2 + r = n + 1 n + k p + 1 a < b n B a a r B b b r + ( B p + 1 p + 1 r ) 2 + + ( B n n r ) 2 r = n + 1 n + k p + 1 a < b n ( B a b r ) 2 + ( B p + 1 p + 1 r ) 2 + + ( B n n r ) 2 .
Using the binomial theorem and the fact that the base manifold N 1 p of a warped product manifold N 1 p × f N 2 q is minimal, then it is not hard to check that:
r = n + 1 n + k A = p + 1 n B A A r 2 = r = n + 1 n + k i , j = 1 p ( B i j r ) 2 + r = n + 1 n + k a , b = p + 1 n ( B a b r ) 2 + 2 r = n + 1 n + k α = 1 p β = p + 1 n ( B α β r ) 2 + q Δ f f + r = n + 1 n + k ( B i i r ) 2 + + ( B p p r ) 2 r = n + 1 n + k i , j = 1 p ( B i j r ) 2 + r = n + 1 n + k ( B p + 1 p + 1 r ) 2 + + ( B n n r ) 2 r = n + 1 n + k a , b = p + 1 n ( B a b r ) 2 .
Then, we obtain that:
2 r = n + 1 n + k α = 1 p β = p + 1 n ( B α β r ) 2 = q Δ f f .
From (30) and (37), we get:
α = 1 p β = p + 1 n { 2 | | B ( e α , e β ) | | 2 g B ( e β , e β ) , B ( e α , e α } = q Δ f f q 2 | | ln f | | 2 q Δ f 2 f ,
which is equivalent to
α = 1 p β = p + 1 n 2 | | B ( e α , e β ) | | 2 g B ( e β , e β ) , B ( e α , e α ) = q Δ f 2 f q 2 | | ln f | | 2 .
From our assumption (20) and (38), we obtain
α = 1 p β = p + 1 n 2 | | B ( e α , e β ) | | 2 g B ( e β , e β ) , B ( e α , e α ) < 0 .
Applying Theorem 1 for constant holomorphic section curvature c = 0 , we obtain that there are no stable p-currents in M n and H p ( M n , Z = H q ( M n , Z ) , which completes the proof of the first case of the Theorem.
In addition, if n 4 , we deduce that H p ( M n , Z ) = 0 . Suppose that the fundamental group π 1 ( M n ) is finite. From H n p ( M n , Z ) = 0 = H q ( M n , Z ) = 0 and the universal coefficient theorem, we infer that H n p ( M n , Z ) has no torsion and neither does H p ( M n , Z ) by the Poincare duality. Because the π 1 ( M n ) is finite, we have H p ( M n , Z ) = 0 and H q ( M n , Z ) = 0 , then M n is the homology sphere. By considering the ambient manifold M ˜ of M n ’s Riemannian universal covering, the compactness of M n , the Equation (39) and the Myer’s theorem, we could obtain that M ˜ is compact. Because the M ˜ is a homology sphere, and the fundamental group is π 1 ( M ˜ ) = 0 , and is the homotopy sphere as well, therefore applying the results from (Freedman n = 4 [7], Smale n 5 [27]), we get that M n is homotopic to the Euclidean sphere S n . As an immediate consequence of Sjerve [28], we get that the fundamental group π 1 ( M n ) = 0 , on M n . This completes the second case of Theorem 3.
From the case (i), there do not exist stable integral p-currents in a warped product submanifold M n and their homology groups are vanished, H p ( M n , Z ) = H q ( M n , Z ) = 0 , for all positive integer p , q such that p + q = n . Moreover, Equation (39) shows that the Ricci curvature on M n is positive. Therefore, using the result of R. S. Hamilton [29] for n = 3 , 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 . This is the complete proof of Theorem 3.

3.2. Proof of Theorem 4

If f is a first eigenfunction of the Laplacian Δ f = d i v ( f ) of M n associated to the first non zero eigenvalue λ 1 , that is, Δ f = λ 1 f , then we recall now Bochner formula (see, e.g., [30]), which states that for a differentiable function f defined on a Riemannian manifold, the following relation holds:
1 2 Δ f 2 = 2 f 2 + R i c ( f , f ) + g f , ( Δ f ) .
Integrating the above equation, using the Stoke’s theorem, we get
M n 2 f 2 d V + M n R i c ( f , f ) d V + M n g f , ( Δ f ) d V = 0 .
Now, using Δ f = λ 1 f and making some rearrangement in Equation (40), we derive
M n f 2 d V = 1 λ 1 M n 2 f 2 d V + M n R i c ( f , f ) d V .
As we assume that Equation (22) holds, that is
M n 2 f 2 + R i c ( f , f ) d V > λ 1 2 2 q M n f 2 d V .
Combining the Equations (40) and (42), we get
M n f 2 d V > 1 λ 1 λ 1 2 2 q M n f 2 d V ,
which is equivalent to the following:
2 q M n f 2 d V > M n f ( f λ 1 ) d V .
Using Δ f = λ 1 f , we get
2 q M n f 2 d V > M n f Δ f d V .
Then condition (2) is replaced by the above pinching condition in Theorem 3 for a Euclidean space E p + q + k . Then, from the above equation and invoking Theorem 3, we get the final conclusion of our theorem. This completes the proof of the theorem.

3.3. Proof of Corollary 1

As we know that M n is an N 1 P -minimal compact warped product submanifold, then from Gauss equation is given by:
R j k l i = δ i k δ j l δ i l δ j k + r = 1 p + q + k B i k r B j l r B i l r B j k r ,
which implies the following:
R j i j i = δ i i δ j j δ i j δ j i + r = 1 p + q + k B i i r B j j r B i j r B j i r .
Taking into account that N 1 p is a minimal submanifold and using the argument of the Ricci curvature for an Euclidean space, we get:
R i c ( e i , e j ) = r = 1 p + q + k l = 1 p B i l r B j l r .
The above equation yields that
R i c ( f i e i , e j f j ) = r = 1 p + q + k l = 1 p B i l r B j l r f i f j .
Taking the trace of Equation (47), we get
R i c ( f , f ) = i = 1 p B f , e i 2 .
Inserting the above equation into (21), we derive that
M n 2 f 2 i = 1 p B f , e i 2 d V > 1 2 q M n ( λ 1 f ) 2 d V ,
which implies the following from the fact that Δ f = λ 1 f in the above equation:
M n 2 f 2 i = 1 p B f , e i 2 d V > 1 2 q M n ( Δ f ) 2 d V .
Thus we obtain the required result (22). This completes the proof of the corollary.

3.4. Proof of Corollary 2

Using the hypothesis of corollary, f K e r B , which implies that B ( f , e i ) = 0 . Using this condition in (22), we can easily obtain the required result.

3.5. Proof of Corollary 3

As we assume that M n is Ricci-flat, then R i c ( f , f ) = 0 . Using these conditions in Equation (43), we obtain required result.

4. Conclusions

When the base manifold is minimal in ambient manifolds, the results in this paper can be considered an extension of Xin’s [2] work in the framework of compact warped product submanifolds. We proved a compact warped product submanifold M n in a Euclidean space E n + k , that there are no stable p-currents, homology groups vanish, and that M 3 is homotopic to the Euclidean sphere S 3 under various extrinsic restrictions, involving the eigenvalue of the warped function, integral Ricci curvature and the Hessian tensor. In our next work, we will combine the singularity theory presented in [31,32,33,34] to study compact warped product submanifold M n in a Euclidean space E n + k .

Author Contributions

Conceptualization, Y.L., P.L.-I., A.A. and A.H.A.; methodology, Y.L., P.L.-I., A.A. and A.H.A.; writing–original draft preparation, Y.L., P.L.-I., A.A. and A.H.A.; writing–review and editing, Y.L., P.L.-I., A.A. and A.H.A. All authors have read and agreed to the published version of the manuscript.

Funding

Research groups program under grant number R.G.P1/186/41, scientific research at King Khalid University.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

There is no data use for this manuscript.

Acknowledgments

The authors extend their appreciation to the deanship of scientific research at King Khalid University for funding this work through research groups program under grant number R.G.P1/186/41.

Conflicts of Interest

The authors declare no competing of interest.

References

  1. Lawson, H.B.; Simons, J. On stable currents and their application to global problems in real and complex geometry. Ann. Math. 1973, 98, 427–450. [Google Scholar] [CrossRef]
  2. Xin, Y.L. An application of integral currents to the vanishing theorems. Sci. China Ser. A. 1984, 27, 233–241. [Google Scholar]
  3. Vlachos, T. The Ricci curvature of submanifolds and its applications. Quart. J. Math. 2003, 55, 225–230. [Google Scholar] [CrossRef]
  4. Wallah, N.R. Minimal Immersion of Symmetric Spaces into Spheres; Symmetric Spaces, Dekker: New York, NY, USA, 1972; pp. 1–40. [Google Scholar]
  5. Vlachos, T. Homology vanishing theorems for submanifolds. Proc. Amer. Math. Soc. 2007, 135, 2607–2617. [Google Scholar] [CrossRef]
  6. Xu, H.W.; Gu, J.R. Geometric, topological and differentiable rigidity of submanifolds in space forms. Geom. Funct. Anal. 2013, 23, 1684–1703. [Google Scholar] [CrossRef] [Green Version]
  7. Freedman, M. The topology of four-dimensional manifolds. J. Diff. Geom. 1982, 17, 357–453. [Google Scholar] [CrossRef]
  8. Fu, H.P.; Xu, H.W. Vanishing and topological sphere theorems for submanifolds of Hyperbolic space. Intern. J. Math. 2008, 19, 811–822. [Google Scholar] [CrossRef]
  9. Gauchman, H. Minimal submanifolds of sphere with bounded second fundamental form. Trans. Am. Math. Soc. 1993, 79, 779–791. [Google Scholar] [CrossRef]
  10. Liu, L.; Zhang, Q. Non-existence of stable currents in submanifolds of the Euclidean spaces. J. Geom. 2009, 96, 125–133. [Google Scholar] [CrossRef]
  11. Sahin, F. On the topology of CR-warped product submanifolds. Int. J. Geom. Meth. Mod. Phy. 2018, 15, 1850032. [Google Scholar] [CrossRef]
  12. Shiohama, K.; Xu, H. The topological sphere theorem for complete submanifolds. Comp. Maths. 1997, 107, 221–232. [Google Scholar] [CrossRef] [Green Version]
  13. Xu, H.W.; Ye, F. Differentiable sphere theorems for submanifolds of positive k-th ricci curvature. Manu. Math. 2012, 138, 529–543. [Google Scholar] [CrossRef]
  14. Zhang, Z.X. Non-existence of stable currents in submanifolds of a product of two spheres. Bull. Austral. Math. Soc. 1991, 44, 325–336. [Google Scholar] [CrossRef] [Green Version]
  15. Nash, J. The imbedding problem for Riemannian manifolds. Ann. Math. 1956, 63, 20–63. [Google Scholar] [CrossRef]
  16. Nolker, S. Isometric immersions of warped products. Diff. Geom. Appl. 1996, 6, 1–30. [Google Scholar] [CrossRef] [Green Version]
  17. Liaqat, M.; Laurian-Ioan, P.; Othman, W.A.M.; Ali, A.; Gani, A.; Ozel, C. Estimation of inequalities for warped product semi-slant submanifolds of Kenmotsu space forms. J. Inequal. Appl. 2016, 1, 239. [Google Scholar] [CrossRef] [Green Version]
  18. Alluhaibi, N.; Mofarreh, F.; Ali, A.; Mior Othman, W.A. Geometric inequalities of warped product submanifolds and their applications. Mathematics 2020, 8, 759. [Google Scholar] [CrossRef]
  19. Bishop, R.L.; O’Neil, B. Manifolds of negative curvature. Trans. Amer. Math. Soc. 1969, 145, 1–9. [Google Scholar] [CrossRef]
  20. Chen, B.Y. On isometric minimal immersions from warped products into real space forms. Proc. Edinb. Math. Soc. 2002, 45, 579–587. [Google Scholar] [CrossRef] [Green Version]
  21. Ali, A.; Mofarreh, F.; Ozel, C.; Othman, W.A.M. Homology of warped product submanifolds in the unit sphere and its applications. Int. J. Geom. Meth. Mod. Phys. 2020, 17, 2050121. [Google Scholar] [CrossRef]
  22. Kenna, R. Homotopy in statistical physics. Condens. Matter Phys. 2006, 9, 283–304. [Google Scholar] [CrossRef] [Green Version]
  23. Li, Y.L.; Lone, M.A.; Wani, U.A. Biharmonic submanifolds of Kaehler product manifolds. AIMS Math. 2021, 6, 9309–9321. [Google Scholar] [CrossRef]
  24. Li, Y.L.; Ali, A.; Ali, R. A general inequality for CR-warped products in generalized Sasakian space form and its applications. Adv. Math. Phys. 2021, 2021, 5777554. [Google Scholar] [CrossRef]
  25. Major, S.; Rideout, D.; Surya, S. Stable homology as an indicator of manifoldlikeness in causal set topology. Class. Quantum Grav. 2009, 26, 175008. [Google Scholar] [CrossRef] [Green Version]
  26. Surya, S. Causal set topology. Theor. Comput. Sci. 2008, 405, 188–197. [Google Scholar] [CrossRef] [Green Version]
  27. Smale, S. Generalized Poincare’s conjecture in dimensions greater than four. Ann. Math. 1961, 74, 391–406. [Google Scholar] [CrossRef]
  28. Sjerve, D. Homology spheres which are covered by spheres. J. Lond. Math. Soc. 1973, 6, 333–336. [Google Scholar] [CrossRef]
  29. Hamilton, R.S. Three-manifolds with positive Ricci curvature. J. Diff. Geom. 1982, 17, 255–306. [Google Scholar] [CrossRef]
  30. Berger, M.; Gauduchon, P.; Mazet, E. Le spectre d’une variété Riemannienne; Springer: Berlin/Heidelberg, Germany, 1971; Volume 194, pp. 141–241. [Google Scholar]
  31. Li, Y.L.; Liu, S.Y.; Wang, Z.G. Tangent developables and Darboux developables of framed curves. Topology Appl. 2020, 107526. [Google Scholar] [CrossRef]
  32. Li, Y.L.; Wang, Z.G. Lightlike tangent developables in de Sitter 3-space. J. Geom. Phys. 2021, 164, 104188. [Google Scholar] [CrossRef]
  33. Li, Y.L.; Wang, Z.G.; Zhao, T.H. Geometric Algebra of Singular Ruled Surfaces. Adv. Appl. Clifford Algebras. 2021, 31, 19. [Google Scholar] [CrossRef]
  34. Li, Y.L.; Zhu, Y.S.; Sun, Q.Y. Singularities and dualities of pedal curves in pseudo-hyperbolic and de Sitter space. Int. J. Geom. Meth. Mod. Phys. 2021, 18, 2150008-68. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Li, Y.; Laurian-Ioan, P.; Ali, A.; Alkhaldi, A.H. Null Homology Groups and Stable Currents in Warped Product Submanifolds of Euclidean Spaces. Symmetry 2021, 13, 1587. https://0-doi-org.brum.beds.ac.uk/10.3390/sym13091587

AMA Style

Li Y, Laurian-Ioan P, Ali A, Alkhaldi AH. Null Homology Groups and Stable Currents in Warped Product Submanifolds of Euclidean Spaces. Symmetry. 2021; 13(9):1587. https://0-doi-org.brum.beds.ac.uk/10.3390/sym13091587

Chicago/Turabian Style

Li, Yanlin, Pişcoran Laurian-Ioan, Akram Ali, and Ali H. Alkhaldi. 2021. "Null Homology Groups and Stable Currents in Warped Product Submanifolds of Euclidean Spaces" Symmetry 13, no. 9: 1587. https://0-doi-org.brum.beds.ac.uk/10.3390/sym13091587

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop