Next Article in Journal
Graph Algorithms and Graph Theory-Symmetry Special Issue
Previous Article in Journal
Hypernetwork Representation Learning with Common Constraints of the Set and Translation
Previous Article in Special Issue
A Path-Curvature Measure for Word-Based Strategy Searches in Semantic Networks
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Obstructions to Warped Product Immersions in Complex Space Forms

1
Department of Mathematics, Sri Venkateswara College, University of Delhi, New Delhi 110021, India
2
Department of Mathematics and Computer Science, Technical University of Civil Engineering Bucharest, 020396 Bucharest, Romania
3
Interdisciplinary Doctoral School, Transilvania University of Brasov, 500036 Brasov, Romania
4
Department of Mathematics, Faculty of Mathematics and Computer Science, University of Bucharest, 010014 Bucharest, Romania
5
Department of Mathematics, Faculty of Science, King Abdulaziz University, Jeddah 21589, Saudi Arabia
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(8), 1747; https://doi.org/10.3390/sym14081747
Submission received: 20 July 2022 / Revised: 10 August 2022 / Accepted: 17 August 2022 / Published: 22 August 2022
(This article belongs to the Special Issue Topological Graph Theory and Discrete Geometry)

Abstract

:
In this paper, we obtain a geometric inequality for warped product pointwise semi-slant submanifolds of complex space forms endowed with a semi-symmetric metric connection and discuss the equality case of this inequality. We provide some applications concerning the minimality and compactness of such submanifolds.

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 φ : M 1 × f M 2 M ¯ ( c ) into a Riemannian space form, the following inequality holds ([2]):
Δ f f n 1 + n 2 2 4 n 2 H 2 + n 1 c ,
where n i = dim M i , i = 1 , 2 , H 2 is the squared mean curvature of the immersion φ , and Δ is the Laplace operator of M 1 . 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 M = M 1 × f M 2 in a complex space form M ¯ ( c ) 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 ( M ¯ , J , g ) be an almost Hermitian manifold, where J is an almost complex structure and g a Hermitian metric. Then, M ¯ is a Kaehler manifold if ( ¯ X J ) Y = 0 , for all X , Y T M ¯ , where ¯ is the Levi–Civita connection of the Riemannian metric g.
A complex space form  M ¯ ( c ) is a Kaehler manifold of constant holomorphic sectional curvature c; its Riemannian curvature tensor R ¯ is given by
R ¯ ( X , Y ) Z = c 4 { g ( Y , Z ) X g ( X , Z ) Y } + g ( X , J Z ) J Y g ( Y , J Z ) J X + 2 g ( X , J Y ) J Z } ,
for all X , Y , Z T M ¯ .
Let M ¯ be an almost Hermitian manifold and M a submanifold of M ¯ with induced metric g. Let ∇ be the Levi–Civita connection on the tangent bundle T M and the connection on the normal bundle T M of M. Then, the Gauss and Weingarten formulae are
¯ X Y = X Y + h ( X , Y ) , ¯ X N = A N X + X N ,
where X , Y T M , N T M and h, A N are the second fundamental form and the shape operator, respectively.
The relationship between the shape operator and the second fundamental form is
g ( h ( X , Y ) , N ) = g ( A N X , Y ) ,
for vector fields X , Y T M and N T M .
Let R ¯ and R be the Riemannian curvature tensors of M ¯ and M, respectively. We use the notation R ( X , Y , Z , W ) = g ( R ( X , Y ) Z , W ) , for any X , Y , Z , W T M . Then, the Gauss equation is given by
R ¯ ( X , Y , Z , W ) = R ( X , Y , Z , W ) + g ( h ( X , Z ) , h ( Y , W ) ) g ( h ( X , W ) , h ( Y , Z ) ) ,
for any X , Y , Z , W T M .
The notion of a semi-symmetric linear connection was introduced by Friedmann and Schouten [9]. Let ( M ¯ , g ) be a Riemannian manifold with a Riemannian metric g. A linear connection ˜ on M ¯ is called a semi-symmetric connection if its torsion tensor T
T ( X , Y ) = ˜ X Y ˜ Y X [ X , Y ]
satisfies
T ( X , Y ) = ω ( Y ) X ω ( X ) Y ,
for any vector fields X , Y on M ¯ , where ω is a 1-form. Denote by P its dual vector field, i.e., ω ( X ) = g ( X , P ) . If a semi-symmetric connection satisfies
˜ g = 0 ,
then it is said to be a semi-symmetric metric connection  ˜ .
Further, with respect to a semi-symmetric metric connection ˜ on M ¯ , the curvature tensor R ˜ is given by
R ˜ ( X , Y , Z , W ) = R ¯ ( X , Y , Z , W ) α ( Y , Z ) g ( X , W ) + α ( X , Z ) g ( Y , W ) α ( X , W ) g ( Y , W ) + α ( Y , W ) g ( X , Z ) ,
for any X , Y , Z , W T M ¯ , where α is the ( 0 , 2 ) -tensor field defined by
α ( X , Y ) = ( ¯ X ω ) Y ω ( X ) ω ( Y ) + 1 2 ω ( P ) g ( X , Y ) ,
for all X , Y T M ¯ .
Let M be an n-dimensional submanifold of a complex space form M ¯ ( c ) of complex dimension m. Then, we decompose
J X = T X + F X ,
where T X and F X are the tangential and normal components of J X , respectively, for any X T M .
The submanifold is called anti-invariant if T = 0 .
The submanifold is called invariant if F = 0 .
Let { e 1 , , e n } be an orthonormal basis of T p M , p M . One is denoted by
T 2 = i , j = 1 n g 2 ( J e i , e j ) .
Let p M and π T p M be a plane section.
If { e 1 , , e n } is an orthonormal basis of T p M and { e n + 1 , , e 2 m } an orthonormal basis of T p M , then the sectional curvature K ( π ) is defined by K ( π ) = g ( R ( X , Y ) X , Y ) , where X , Y π are orthonormal, and the scalar curvature τ at p by
τ ( p ) = 1 i < j n K ( e i e j ) .
The mean curvature vector field H of M is
H = 1 n i = 1 n h ( e i , e i ) .
A submanifold is minimal if the mean curvature vector H vanishes identically, that is, H = 0 .
We recall the definition of pointwise slant submanifolds.
Definition 1
([10]). Let M ¯ be an almost Hermitian manifold. Then a submanifold M of M ¯ is called a pointwise slant submanifold if for each point p M and any non-zero vector X T p M the angle θ ( X ) between J X and T p M 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 M ˜ is pointwise slant if and only if
T 2 = ( cos 2 θ ) I ,
for a real-valued function θ defined on M, where I is the identity transformation of the tangent bundle T M 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 M ¯ be an almost Hermitian manifold. Then a submanifold M of M ¯ is called a pointwise semi-slant submanifold if a pair of orthogonal distributions D 1 and D 2 exist such that
(i) 
T M admits the orthogonal direct decomposition T M = D 1 D 2 ;
(ii) 
D 1 is invariant;
(iii) 
D 2 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 2 d 1 and 2 d 2 .
Let M be a proper pointwise semi-slant submanifold of a complex space form M ¯ ( c ) . We set the following
e 1 , e 2 = T e 1 , , e 2 d 1 1 , e 2 d 1 = T e 2 d 1 1 , e 2 d 1 + 1 , e 2 d 1 + 2 = sec θ T e 2 d 1 + 1 , , e 2 d 1 + 2 d 2 1 , e 2 d 1 + 2 d 2 = sec θ T e d 1 1 .
Then, we obtain
g 2 ( J e i , e i + 1 ) = 1 , i = 1 , 3 , , 2 d 1 1 , cos 2 θ , i = 2 d 1 + 1 , , 2 d 1 + 2 d 2 1 .
Hence, we have
T 2 = i , j = 1 n g 2 ( J e i , e j ) = n 1 + n 2 cos 2 θ ,
where n 1 = 2 d 1 and n 2 = 2 d 2 .
Further, we state an algebraic lemma due to Chen.
Lemma 1
([11]). Let n 2 and a 1 , , a n , b real numbers such that
i = 1 n a i 2 = ( n 1 ) i = 1 n a i 2 + b .
Then 2 a 1 a 2 b and the equality holds if and only if
a 1 + a 2 = a 3 = = a n .
Finally, we conclude this section with the following relation between sectional curvature and the Laplacian of the warping function for warped products. Let { e 1 , e 2 , , e n , e n + 1 , , e 2 m } be a local orthonormal frame such that e 1 , e 2 , , e n 1 are tangent to M 1 , e n 1 + 1 , , e n are tangent to M 2 and e n + 1 is parallel to the mean curvature vector H. Then,
1 i n 1 n 1 + 1 j n K ( e i e j ) = n 2 Δ f f = n 2 ( ln f ) 2 Δ ( ln f ) ,
where ( ln f ) is the gradient vector on M 1 .

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 M ¯ ( c ) be a complex space form endowed with a semi-symmetric metric connection ˜ and M = M 1 × f M 2 a warped product pointwise semi-slant submanifold of M ¯ ( c ) . Then we have
n 2 Δ f f n 1 + n 2 2 4 H 2 + c 4 n 1 n 2 + ϖ 3 c 8 n 1 + n 2 cos 2 θ ,
where ϖ denotes the trace of α, θ is the slant function on M 2 and dim M i = n i , i = 1 , 2 .
The equality case holds if and only if M is a mixed totally geodesic submanifold and n 1 H 1 = n 2 H 2 , where H 1 and H 2 are the partial mean curvature vectors corresponding to M 1 and M 2 , respectively.
Proof. 
From (2)–(4) we have
R ( X , Y , Z , W ) + g ( h ( X , Z ) , h ( Y , W ) ) g ( h ( X , W ) , h ( Y , Z ) ) = c 4 { g ( Y , Z ) g ( X , W ) g ( X , Z ) g ( Y , W ) } + c 4 { g ( X , J Z ) g ( J Y , W ) g ( Y , J Z ) g ( J X , W ) + 2 g ( X , J Y ) g ( J Z , W ) } α ( Y , Z ) g ( X , W ) + α ( X , Z ) g ( Y , W ) α ( X , W ) g ( Y , W ) + α ( Y , W ) g ( X , Z ) .
We consider the orthonormal frame defined in the previous section. For X = W = e i , Y = Z = e j , i , j = 1 , . . . , n , summing after 1 i , j n , one obtains
2 τ = c 4 n n 1 h 2 + c 4 3 n 1 + 3 n 2 cos 2 θ + 2 ( n 1 ) ϖ + n 2 H 2 .
We denote
δ = 2 τ c 4 n n 1 c 4 3 n 1 + 3 n 2 cos 2 θ 2 ( n 1 ) ϖ n 2 2 H 2 .
Then, from (13) and (14) we derive that
n 2 H 2 = 2 ( δ + h 2 ) ,
which can be written as
i = 1 n h i i n + 1 2 = 2 δ + i = 1 n ( h i i n + 1 ) 2 + i j ( h i j n + 1 ) 2 + r = n + 2 2 m i , j = 1 n ( h i j r ) 2 ,
where h i j r = g ( h ( e i , e j ) , e r ) , i , j = 1 , . . . , n ; r = n + 1 , . . . , 2 m .
If we put a 1 = h 11 n + 1 , a 2 = i = 2 n 1 h i i n + 1 and a 3 = t = n 1 + 1 n h t t n + 1 , the above equation is reduced to
i = 1 3 a i 2 = 2 { δ + i = 1 3 a i 2 + 1 i j n ( h i j n + 1 ) 2 + r = n + 2 2 m i , j = 1 n ( h i j r ) 2 2 j k n 1 h j j n + 1 h k k n + 1 n 1 + 1 s t n h s s n + 1 h t t n + 1 } .
It follows that a 1 , a 2 , a 3 satisfy Lemma 1 for n = 3 ; then, 2 a 1 a 2 b , with equality holding if and only if a 1 + a 2 = a 3 . This means
1 j < k n 1 h j j n + 1 h k k n + 1 + n 1 + 1 s < t n h s s n + 1 h t t n + 1 δ 2 + 1 α < β n ( h α β n + 1 ) 2 + 1 2 r = n + 2 2 m α , β = 1 n ( h α β r ) 2 .
We have the equality if and only if
i = 1 n 1 h i i n + 1 = t = n 1 + 1 n h t t n + 1 .
From the Gauss equation we obtain
n 2 Δ f f = τ 1 j < k n 1 K ( e j e k ) n 1 + 1 s < t n K ( e s e t ) .
Combining (10), (18) and (20), we derive
n 2 Δ f f = τ c 8 n 1 n 1 1 3 c 4 n 1 ( n 1 1 ) ϖ r = n + 1 2 m 1 j < k n 1 h j j r h k k r ( h j k r ) 2 c 8 n 2 n 2 1 3 c 4 n 2 cos 2 θ ( n 2 1 ) ϖ r = n + 1 2 m n 1 + 1 s < t n h s s r h t t r ( h s t r ) 2 .
Taking into account (18) and (21), we find
n 2 Δ f f τ c 8 n n 1 + c 4 n 1 n 2 ( n 2 ) ϖ 3 c 4 n 1 + n 2 cos 2 θ δ 2 .
Using (14) in the previous inequality, we derive
n 2 Δ f f n 2 4 H 2 + c 4 n 1 n 2 + ϖ 3 c 8 n 1 + n 2 cos 2 θ ,
which represents the inequality to prove.
For the equality case, from (19) it follows that n 1 H 1 = n 2 H 2 .
Moreover, from (18) we obtain
h α β r = 0 , 1 α n 1 , n 1 + 1 β n , n + 1 r 2 m ,
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
M Δ f d V = 0 ,
where f is a smooth function on M and d V denotes the volume element of M.
As a consequence of Theorem 1, we prove the following result.
Theorem 2.
Let M = M 1 × f M 2 be a compact oriented warped product pointwise semi-slant submanifold in a complex space form M ¯ ( c ) endowed with a semi-symmetric metric connection. Then M is a Riemannian product if and only if
H 2 3 c 2 n 1 + n 2 2 n 1 + n 2 cos 2 θ n 1 n 2 n 1 + n 2 2 c 4 ϖ n 1 + n 2 2 .
Proof. 
By using (10), the inequality (11) reduces to
n 2 ( Δ ( ln f ) ( ln f ) 2 ) n 2 4 H 2 + c 4 n 1 n 2 + ϖ 3 c 8 n 1 + n 2 cos 2 θ .
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
0 M ( n 2 ( ln f ) 2 ) d V 0 ,
from where ( ln f ) = 0 , 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 M = M 1 × f M 2 be a warped product pointwise semi-slant submanifold in a complex space form M ¯ ( c ) endowed with a semi-symmetric metric connection. If there exists a point p M such that
n 2 Δ f f > c 4 n 1 n 2 + ϖ 3 c 8 n 1 + n 2 cos 2 θ ,
at 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 M = M 1 × f M 2 in a complex space form M ¯ ( c ) endowed with a semi-symmetric metric connection if
n 2 Δ f f > c 4 n 1 n 2 + ϖ 3 c 8 n 1 + n 2 cos 2 θ .
Corollary 2.
Let M = M T × f M be a warped product CR-submanifold of a complex space form M ¯ ( c ) endowed with a semi-symmetric metric connection, where M T and M are holomorphic and totally real submanifolds of M ¯ , respectively. If the following inequality
n 2 Δ f f > c 4 n 1 n 2 + ϖ 3 c n 1 8
holds at a point p M , then M cannot be a minimal submanifold.
Also from Theorem 2, we obtain
Corollary 3.
Let M = M 1 × f M 2 be a compact oriented warped product pointwise semi-slant submanifold in a complex space form M ¯ ( c ) endowed with a semi-symmetric metric connection. If
c < 3 n 1 + n 2 cos 2 θ n 1 n 2 n 1 + n 2 2 n 1 n 2 ϖ ,
then M cannot be a minimal submanifold of M ¯ .

4. Conclusions

By using the above methods, one can obtain corresponding inequalities for other classes of warped product submanifolds in complex space forms endowed with semi-symmetric connections.

Author Contributions

Conceptualization, M.A., A.M. and S.U.; methodology, M.A. and I.M.; validation, A.M. and I.M.; formal analysis, S.U.; investigation, M.A., A.M., I.M. and S.U.; resources, I.M.; writing—original draft preparation, M.A. and S.U.; writing—review and editing, A.M. and I.M.; visualization, I.M.; supervision, A.M.; and project administration, M.A. and A.M. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Bishop, R.L.; O’Neill, B. Manifolds of negative curvature. Trans. Am. Math. Soc. 1969, 145, 1–49. [Google Scholar] [CrossRef]
  2. 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]
  3. Chen, B.-Y. CR-warped products in complex projective spaces with compact holomorphic factor. Monatsh. Math. 2004, 141, 177–186. [Google Scholar] [CrossRef]
  4. Chen, B.-Y. Geometry of warped product submanifolds: A survey. J. Adv. Math. Stud. 2013, 6, 1–43. [Google Scholar]
  5. Chen, B.-Y. Differential Geometry of Warped Manifolds and Submanifolds; World Scientific: Hackensack, NJ, USA, 2017. [Google Scholar]
  6. Chen, B.-Y.; Uddin, S. Warped product pointwise semi-slant submanifolds of Kaehler manifolds. Publ. Math. 2018, 92, 183–199. [Google Scholar]
  7. Mihai, A. Warped product submanifolds in complex space forms. Acta Sci. Math. 2004, 20, 311–319. [Google Scholar]
  8. Chen, B.-Y. Geometry of warped product CR-submanifolds in Kaehler manifolds. Monatsh. Math. 2001, 133, 177–195. [Google Scholar] [CrossRef]
  9. Friedmann, A.; Schouten, J.A. Über die Geometrie der halbsymetrichen Übertragungen. Math. Zeit. 1924, 21, 211–223. [Google Scholar] [CrossRef]
  10. Chen, B.-Y.; Garay, O.J. Pointwise slant submanifolds in almost Hermitian manifolds. Turk. J. Math. 2012, 79, 630–640. [Google Scholar] [CrossRef]
  11. Chen, B.-Y. Some pinching and classification theorems for minimal submanifolds. Archiv Math. 1993, 60, 568–578. [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

Aquib, M.; Mihai, A.; Mihai, I.; Uddin, S. New Obstructions to Warped Product Immersions in Complex Space Forms. Symmetry 2022, 14, 1747. https://doi.org/10.3390/sym14081747

AMA Style

Aquib M, Mihai A, Mihai I, Uddin S. New Obstructions to Warped Product Immersions in Complex Space Forms. Symmetry. 2022; 14(8):1747. https://doi.org/10.3390/sym14081747

Chicago/Turabian Style

Aquib, Mohd., Adela Mihai, Ion Mihai, and Siraj Uddin. 2022. "New Obstructions to Warped Product Immersions in Complex Space Forms" Symmetry 14, no. 8: 1747. https://doi.org/10.3390/sym14081747

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