Next Article in Journal
Fitting Insurance Claim Reserves with Two-Way ANOVA and Intuitionistic Fuzzy Regression
Next Article in Special Issue
Some Chen Inequalities for Submanifolds in Trans-Sasakian Manifolds Admitting a Semi-Symmetric Non-Metric Connection
Previous Article in Journal
Nontrivial Solutions for a Class of Quasilinear Schrödinger Systems
Previous Article in Special Issue
Differential Cohomology and Gerbes: An Introduction to Higher Differential Geometry
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Chen–Ricci Inequality for Isotropic Submanifolds in Locally Metallic Product Space Forms

1
School of Mathematics, Hangzhou Normal University, Hangzhou 311121, China
2
Department of Mathematics and Statistics, College of Science, Imam Mohammad Ibn Saud Islamic University (IMSIU), P.O. Box 65892, Riyadh 11566, Saudi Arabia
*
Author to whom correspondence should be addressed.
Axioms 2024, 13(3), 183; https://doi.org/10.3390/axioms13030183
Submission received: 29 January 2024 / Revised: 29 February 2024 / Accepted: 6 March 2024 / Published: 11 March 2024
(This article belongs to the Special Issue Differential Geometry and Its Application, 2nd Edition)

Abstract

:
In this article, we study isotropic submanifolds in locally metallic product space forms. Firstly, we establish the Chen–Ricci inequality for such submanifolds and determine the conditions under which the inequality becomes equality. Additionally, we explore the minimality of Lagrangian submanifolds in locally metallic product space forms, and we apply the result to create a classification theorem for isotropic submanifolds whose mean curvature is constant. More specifically, we have demonstrated that the submanifolds are either a product of two Einstein manifolds with Einstein constants, or they are isometric to a totally geodesic submanifold. To support our findings, we provide several examples.

1. Introduction

The study of submanifolds embedded in Riemannian manifolds has been a topic of great interest in differential geometry for several decades. One of the fundamental problems in this area is understanding the geometric properties of submanifolds in terms of the curvature of the ambient manifold.
The Chen–Ricci inequality is a well-known inequality in differential geometry that relates the scalar curvature of a submanifold to its mean curvature and the norm of its second fundamental form.
In 1996, mathematician Chen derived a formula that relates two geometric properties of a submanifold, denoted as M , which is embedded in a space called M ¯ ( c ) that has a constant curvature c. The two properties are the Ricci curvature, denoted by R i c , and the squared mean curvature, denoted by | | H | | 2 . Chen’s formula states that for any unit vector X lying on the submanifold M ( c ) ,
R i c ( X ) ( n 1 ) c + n 2 2 | | H | | 2 , n = dim M
where X is a unit vector tangent to M .
Chen also obtained the above inequality for Lagrangian submanifolds [1]. Since then, this inequality has drawn attention from many geometers around the world. Consequently, a number of geometers have proven many similar inequalities for various types of submanifolds in various ambient manifolds [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21].
On the other hand, isotropic submanifolds are a natural generalization of minimal submanifolds and have been extensively studied in the literature [22,23,24,25]. Also, locally metallic product space forms are a class of Riemannian manifolds that arise as a product of a Riemannian manifold with a constant curvature space form. Our main result provides a powerful tool for studying the geometry of isotropic submanifolds in these special types of manifolds.
Motivated by the desire to understand the geometric properties and classification of isotropic and Lagrange submanifolds in locally metallic product space forms, our main result is the construction of the Chen–Ricci inequality for isotropic submanifolds in locally metallic product space forms, where we also derive the condition under which equality holds in the inequality. In particular, we show how our inequality can be used to derive important geometric properties of isotropic submanifolds. Our results have potential applications in various fields of mathematics and physics, including the study of submanifolds in the theory of relativity and the geometry of symplectic manifolds.
The structure of the article is as follows. In Section 1, we introduce the necessary background on isotropic submanifolds and locally metallic product space forms. Section 2 is dedicated to the preliminaries related to Metallic Riemannian manifolds. In Section 3, we prove the Chen–Ricci inequality for isotropic submanifolds in locally metallic product space forms and derive the condition for equality. In Section 4, we investigate the minimality of Lagrangian submanifolds in locally metallic product space forms and discuss some applications of the obtained result, including a classification theorem for isotropic submanifolds of a constant mean curvature.
Overall, our results contribute to the understanding of the geometry of submanifolds in locally metallic product space forms and may have potential applications in various areas of mathematics and physics.

2. Preliminaries

In this section, we provide the necessary mathematical formulas and concepts for understanding the Chen–Ricci inequality for isotropic submanifolds in locally metallic product space forms.
Consider the n-dimensional submanifold M of a Riemannian manifold ( M ¯ , g ) of dimension m. Assume that ∇ and ¯ denote the Levi–Civita connections on M and M ¯ , respectively. Then, the Gauss and Weingarten formulas are expressed as follows: for vector fields E , F T M and N T M ¯ ,
¯ E F = E F + ζ ( E , F ) , ¯ E N = Λ N E + E N ,
where , ζ , and Λ N , denote the normal connection, the second fundamental form, and the shape operator, respectively.
In addition, the second fundamental form is related to the shape operator by the equation
g ( ζ ( E , F ) , N ) = g ( Λ N E , F ) , E , F T M , N T M ¯ .
The Gauss equation is provided by
R ¯ ( E , F , G , U ) = R ( E , F , G , U ) + g ( ζ ( E , G ) , ζ ( F , U ) ) g ( ζ ( E , U ) , ζ ( F , G ) ) ,
for E , F , G , U T M ¯ . Here, R and R ¯ denote the curvature tensors of M and M ¯ ( c ) , respectively.
The sectional curvature of a Riemannian manifold M of the plane section π T x M at a point x M is denoted by K ( π ) . For any x M , if { x 1 , , x n } and { x n + 1 , , x m } are the orthonormal bases of T x M and T x M , respectively, then the scalar curvature τ is provided by
τ ( x ) = 1 i < j n K ( x i x j )
and the mean curvature H is provided by
H = 1 n i = 1 n g ( ζ ( x i , x i ) ) .
Here, { x 1 , , x n } and { x n + 1 , , x m } are the tangent and normal orthonormal frames on M , respectively.
The relative null space of a Riemannian manifold at a point p in M is defined as
N p = { E T p M | ζ ( E , F ) = 0 F T p M } .
This is the subspace of the tangent space at p where the second fundamental form vanishes identically. It is also known as the normal space of M at p.
The definition of a minimal submanifold states that the mean curvature vector H is identically zero.
A polynomial structure is a tensor field ϑ of type (1, 1) that fulfills the following equation on an m-dimensional Riemannian manifold ( M ¯ , g ) with real numbers a 1 , , a n :
B ( X ) = X n + a n 1 X n 1 + . . . + a 2 X + a 1 I ,
where I denotes the identity transformation. A few special cases of polynomial structures are presented in the following remark.
Remark 1. 
1.
ϑ is an almost complex structure if B ( X ) = X 2 + I .
2.
ϑ is an almost product structure if B ( X ) = X 2 I .
3.
ϑ is a metallic structure if B ( X ) = ϑ 2 p ϑ + q I ,
where p and q are two integers.
If for all E , F Γ ( T M ¯ )
g ( ϑ E , F ) = g ( E , ϑ F ) ,
then the Riemannian metric g is called ϑ -compatible.
A metallic Riemannian manifold is a Riemannian manifold ( M ¯ , g ) if the metric g is ϑ -compatible and ϑ is a metallic structure.
Using Equation (3), we obtain
g ( ϑ E , ϑ F ) = g ( ϑ 2 E , F ) = p . g ( E , ϑ F ) + q . g ( E , F ) .
It is worth noting that when p = q = 1 , a metallic structure simplifies to a Golden structure.
Several properties are satisfied by a metallic structure ϕ [26]:
  • For each integer n 1 , we have
    ϕ n = G ( n ) ϕ + q G ( n 1 ) I
    for the generalisation secondary Fibonacci sequence ( G ( n ) ) n 0 with G ( 0 ) = 0 and G ( 1 ) = 1 .
  • The metallic numbers σ p , q = p + p 2 + 4 q 2 and p = σ p , q = p p 2 + 4 q 2 are the eigenvalues of ϕ .
  • The metallic structure ϕ is an isomorphism on the tangent space T X M ¯ , for every X M ¯ . Additionally, ϕ is invertible, and its inverse is a quadratic polynomial structure. This inverse structure satisfies q ϕ ¯ 2 + p ϕ ¯ I = 0 , but it is not a metallic structure.
An almost product structure F on an m-dimensional (Riemannian) manifold ( M ¯ , g ) is a (1,1)-tensor field satisfying F 2 = I , F ± I . If F satisfies g ( F E , F ) = g ( X , F Y ) for all E , F Γ ( T M ¯ ) , then ( M ¯ , g ) is referred to as an almost product Riemannian manifold [27].
A metallic structure ϕ on M ¯ is known to induce two almost product structures on M ¯ [26]. These structures are denoted by F 1 and F 2 and are provided by equation
F 1 = 2 2 σ p , q p ϕ p 2 σ p , q p I , F 2 = 2 2 σ p , q p ϕ + p 2 σ p , q p I
where σ p , q = p + p 2 + 4 q 2 are the members of the metallic means family or the metallic proportions.
Similarly, any almost product structure F on N ¯ induces two metallic structures ϕ 1 and ϕ 2 provided by
ϕ 1 = p 2 I + 2 σ p , q p 2 F , ϕ 2 = p 2 I 2 σ p , q p 2 F .
Definition 1 
([28]). Let ¯ be a linear connection and ϕ be a metallic structure on M ¯ such that ϕ = 0 . Then, ¯ is called a ϕ- connection. A locally metallic Riemannian manifold is a metallic Riemannian manifold ( M ¯ , g , ϕ ) if the Levi–Civita connection ¯ of g is a ϕ-connection.
Let ( M ¯ , g , ϕ ) be an m-dimensional metallic Riemannian manifold and let ( M , g ) be an n-dimensional submanifold isometrically immersed into M ¯ with the induced metric g. Then, the tangent space T x M ¯ , x M of M ¯ can be decomposed as
T x M ¯ = T x M T x M .
Definition 2. 
Let M ¯ be a metallic product manifold with dimensions m, and let M be a real n-dimensional Riemannian manifold that is isometrically submerged in M ¯ . If J T x ( M ) T x ( M ) for each x M , then M is said to be an isotropic submanifold of M ¯ or to be a totally real submanifold of M ¯ .
Let M 1 be a Riemannian manifold with a constant sectional curvature c 1 and M 2 be a Riemannian manifold with a constant sectional curvature c 2 .
Then, for the locally Riemannian product manifold M ¯ = M 1 × M 2 , the Riemannian curvature tensor R ¯ is provided by [29]
R ¯ ( E , F ) G = 1 4 ( c 1 + c 2 ) [ g ( F , G ) E g ( E , G ) F + g ( ϑ F , G ) ϑ E g ( ϑ E , G ) ϑ F ] + 1 4 ( c 1 c 2 ) [ g ( ϑ F , G ) E g ( ϑ E , G ) F + g ( F , G ) ϑ E g ( E , G ) ϑ F ] .
In view of (4) and (5)
R ¯ ( E , F ) G = 1 4 ( c 1 + c 2 ) g ( F , G ) E g ( E , G ) F + 1 4 ( c 1 + c 2 ) 4 ( 2 σ p , q p ) 2 g ( ϕ F , G ) ϕ E g ( ϕ E , G ) ϕ F + p 2 ( 2 σ p , q p ) 2 g ( F , G ) E g ( E , G ) F + 2 p ( 2 σ p , q p ) 2 [ g ( ϕ E , G ) F + g ( E , G ) ϕ F g ( ϕ F , G ) E g ( F , G ) ϕ E ] ± 1 2 ( c 1 c 2 ) { 1 ( 2 σ p , q p ) g ( F , G ) ϕ E g ( E , G ) ϕ F + 1 ( 2 σ p , q p ) g ( ϕ F , G ) E g ( ϕ E , G ) F + p ( 2 σ p , q p ) g ( E , G ) F g ( F , G ) E } .

3. Ricci Curvature of Isotropic Submanifolds

This section is devoted to demonstrating the major outcome.
Theorem 1. 
Let M be an n-dimensional isotropic submanifold of an m-dimensional locally metallic product space form ( M ¯ = M 1 ( c 1 ) × M 2 ( c 2 ) , g , ϕ ) . Then
1.
For each unit vector X T p M , we have
R i c ( X ) n 2 4 | | H | | 2 + 1 4 ( c 1 + c 2 ) ( n 1 ) 1 + p 2 p 2 + 4 q ± 1 2 ( c 1 c 2 ) ( n 1 ) p p 2 + 4 q .
2.
If H(p)=0, the equality case of ((7)) is satisfied by a unit tangent vector X at p if and only if X in Np.
3.
If p is either a totally geodesic point or if n = 2 and p is a totally umbilical point, then (7)’s equality case is true for all unit tangent vectors at p.
Proof. 
Let { x 1 , . . . , x n } be an orthonormal tangent frame and { x n + 1 , . . . , x m } be an orthonormal frame of T x M and T x M , respectively, at any point x M . Substituting E = U = x i , F = G = x j in (6) with the Equation (1) and take i j , we have
R ( x i , x j , x j , x i ) = 1 4 ( c 1 + c 2 ) g ( x j , x j ) g ( x i , x i ) g ( x i , x j ) g ( x j , x i ) + 1 4 ( c 1 + c 2 ) { 4 ( 2 σ p , q p ) 2 [ g ( ϕ x j , x j ) g ( ϕ x i , x i ) g ( ϕ x i , x j ) g ( ϕ x j , x i ) ] + p 2 ( 2 σ p , q p ) 2 g ( x j , x j ) g ( x i , x i ) g ( x i , x j ) g ( x j , x i ) + 2 p ( 2 σ p , q p ) 2 [ g ( ϕ x i , x j ) g ( x j , x i ) + g ( x i , x j ) g ( ϕ x j , x i ) g ( ϕ x j , x j ) g ( x i , x i ) g ( x j , x j ) g ( ϕ x i , x i ) ] } ± 1 2 ( c 1 c 2 ) { 1 ( 2 σ p , q p ) [ g ( x j , x j ) g ( ϕ x i , x i ) g ( x i , x j ) g ( ϕ x j , x i ) ] + 1 ( 2 σ p , q p ) g ( ϕ x j , x j ) g ( x i , x i ) g ( ϕ x i , x j ) g ( x j , x i ) + p ( 2 σ p , q p ) g ( x i , x j ) g ( x j , x i ) g ( x j , x j ) g ( x i , x i ) } + g ( ζ ( x i , x i ) , ζ ( x j , x j ) ) g ( ζ ( x i , x j ) , ζ ( x j , x i ) ) .
Applying 1 i , j n in (8), we obtain
n 2 | | H | | 2 = 2 τ + | | ζ | | 2 1 4 ( c 1 + c 2 ) n ( n 1 ) 1 + p 2 p 2 + 4 q 1 2 ( c 1 c 2 ) n ( n 1 ) p p 2 + 4 q .
Now, we consider
δ = 2 τ n 2 2 | | H | | 2 1 4 ( c 1 + c 2 ) n ( n 1 ) 1 + p 2 p 2 + 4 q 1 2 ( c 1 c 2 ) n ( n 1 ) p p 2 + 4 q .
Combining (9) and (10), we find
n 2 | | H | | 2 = 2 ( δ + | | ζ | | 2 ) .
As a result, when using the orthonormal frame { x 1 , . . . , x n } , (11) assumes the form
i = 1 n ζ i i n + 1 2 = 2 δ + i = 1 n ( ζ i i n + 1 ) 2 + i j ( ζ i j n + 1 ) 2 + r = n + 1 m i , j = 1 n ( ζ i j r ) 2 .
If we substitute d 1 = ζ 11 n + 1 , d 2 = i = 2 n 1 ζ i i n + 1 and d 3 = ζ n n n + 1 , then (12) reduces to
i = 1 3 d i 2 = 2 { δ + i = 1 3 d i 2 + i j ( ζ i j n + 1 ) 2 + r = n + 1 m i , j = 1 n ( ζ i j r ) 2 2 j k n 1 ζ j j n + 1 ζ k k n + 1 } .
As a consequence, d 1 , d 2 , d 3 fulfil Chen’s Lemma [30] (for n = 3 ), i.e.,
i = 1 3 d i 2 = 2 v + i = 1 3 d i 2 .
Clearly 2 d 1 d 2 v , with equality holds if d 1 + d 2 = d 3 and conversely. This signifies
1 j k n 1 ζ j j n + 1 ζ k k n + 1 δ + 2 i < j ( ζ i j n + 1 ) 2 + r = n + 1 m i , j = 1 n ( ζ i j r ) 2 .
It is possible to write (14) as
n 2 2 | | H | | 2 + 1 4 ( c 1 + c 2 ) n ( n 1 ) 1 + p 2 p 2 + 4 q ± 1 2 ( c 1 c 2 ) n ( n 1 ) p p 2 + 4 q 2 τ 1 j k n 1 ζ j j n + 1 ζ k k n + 1 + 2 i < j ( ζ i j n + 1 ) 2 + r = n + 1 m i , j = 1 n ( ζ i j r ) 2 .
Using the Gauss equation once again, we find
2 τ 1 j k n 1 ζ j j n + 1 ζ k k n + 1 + 2 i < j ( ζ i j n + 1 ) 2 + r = n + 1 m i , j = 1 n ( ζ i j r ) 2 = 2 S ( x n , x n ) + 1 4 ( c 1 + c 2 ) ( n 1 ) ( n 2 ) 1 + p 2 p 2 + 4 q ± 1 2 ( c 1 c 2 ) ( n 1 ) ( n 2 ) p p 2 + 4 q + 2 i = 1 n 1 ( ζ i n n + 1 ) 2 + 2 r = n + 2 m ( ζ n n r ) 2 + 2 i = 1 n 1 ( ζ i n r ) 2 + α = 1 n 1 ζ α α r 2 .
Making use of (15) and (16), we obtain
n 2 4 | | H | | 2 + 1 4 ( c 1 + c 2 ) ( n 1 ) 1 + p 2 p 2 + 4 q ± 1 2 ( c 1 c 2 ) ( n 1 ) p p 2 + 4 q S ( x n , x n ) + i = 1 n 1 ( ζ i n n + 1 ) 2 + r = n + 2 m { ( ζ n n r ) 2 + 2 i = 1 n 1 ( ζ i n r ) 2 + ( α = 1 n 1 ζ α α r ) 2 } .
The Equation (17) implies (7).
Further, assume that H ( p ) = 0 . Equality holds in (7) if and only if
ζ i n r = = ζ n 1 n r = 0 ζ n n r = i = 1 n 1 ζ i i r , r { n + 1 , , m } .
Then, ζ i n r = 0 , i { 1 , , n } , r { n + 1 , , m } , that is, X N p .
Finally, if and only if all unit tangent vectors at p satisfy the equality condition of (7), then
ζ i j r = 0 , i j , r { n + 1 , , m } ζ 11 r + + ζ n n r 2 ζ i i r = 0 , i { 1 , , n } r { n + 1 , , m } .
From here, we separate the two situations:
(i)
p is a totally geodesic point if n 2 ;
(ii)
it is evident that p is a totally umbilical point if n = 2 .
It goes without saying that the converse applies. □
Example 1. 
Let M ¯ = S 2 ( r ) × S 2 ( r ) , where S 2 ( r ) denotes the two-dimensional sphere of radius r and r > 0 is a constant. Then, M ¯ is a 4-dimensional locally metallic product space form with sectional curvatures c 1 = c 2 = 1 r 2 .
Let M = { ( x , y , z , w ) M ¯ x + y = 0 } be the diagonal submanifold of M ¯ . Then, M is a 2-dimensional isotropic submanifold of M ¯ .
To see this, note that M is a product of two circles, and hence it has zero mean curvature and zero second fundamental form. Moreover, the metric on M induced from M ¯ satisfies the metallic condition with respect to the function ϕ ( x , y ) = r 2 x 2 r 2 .
Now, let us verify the three parts of the theorem for this example:
1.
For any unit vector X T p M ¯ , the inequality in (7) holds. To see this, note that the sectional curvature of M ¯ in the direction of X is 1 r 2 , and the norm of the mean curvature vector of M is zero. Therefore, the inequality in (7) reduces to
R i c ( X ) n 2 4 | | H | | 2 + 1 4 2 r 2 ( n 1 ) 1 + p 2 p 2 + 4 q ,
where n = dim M = 2 and p and q are certain coefficients that arise in the decomposition of the Ricci tensor of M . This inequality can be verified using standard computations.
2.
If H ( p ) = 0 , the equality case of (7) is satisfied by a unit tangent vector X at p if and only if X N p . To see this, note that H ( p ) = 0 implies that p is a totally geodesic point of M , and hence the equality case in (7) reduces to
R i c ( X ) = 1 4 2 r 2 ( n 1 ) 1 + p 2 p 2 + 4 q ,
for any unit tangent vector X at p. This equality holds if and only if X is normal to M at p, i.e., X N p .
3.
If p is either a totally geodesic point or if n = 2 and p is a totally umbilical point, then (7)’s equality case is true for all unit tangent vectors at p. In this example, p is a totally geodesic point of M , and hence the equality case in (7) holds identically for all unit tangent vectors at p.
As a consequence of the Theorem 7, we have the following result.
Corollary 1. 
Let M be an n-dimensional isotropic submanifold of an m-dimensional locally golden product space form ( M ¯ = M 1 ( c 1 ) × M 2 ( c 2 ) , g , ϕ ) . Then,
1.
For each unit vector X T p M , we have
R i c ( X ) n 2 4 | | H | | 2 + ( n 1 ) [ 3 10 ( c 1 + c 2 ) ± 1 5 ( c 1 c 2 ) ] .
2.
If H ( p ) = 0 , the equality case of (18) is satisfied by a unit tangent vector X at p if and only if X N p .
3.
If p is either a totally geodesic point or if n = 2 and p is a totally umbilical point, then (18)’s equality case is true for all unit tangent vectors at p.

4. Minimality of Lagrange Submanifolds

R stands for the maximum Ricci curvature function on M, which is provided by [1]
R ( p ) = m a x { S ( u , u ) | u T p 1 M } , p M ,
where T p 1 M = { u T p M | g ( u , u ) = 1 } .
In the event where n = 3 , R is the Chen first invariant δ M described in [30]. The Chen invariant δ ( n 1 ) defined in [31] is R when n is greater than 3.
Here, we argue that any Lagrange submanifold that fulfils the equality condition is the minimum by deriving an inequality for the Chen invariant R .
Theorem 2. 
Let M be an n-dimensional isotropic submanifold of an n-dimensional locally metallic product space form ( M ¯ = M 1 ( c 1 ) × M 2 ( c 2 ) , g , ϕ ) . Then,
R n 2 4 | | H | | 2 + 1 4 ( c 1 + c 2 ) ( n 1 ) 1 + p 2 p 2 + 4 q ± 1 2 ( c 1 c 2 ) ( n 1 ) p p 2 + 4 q .
M is a minimum submanifold if it meets the equality case of (19) identically.
Proof. 
As soon as inequality (7) occurs, inequality (19) follows immediately.
We will utilise the following information to support the conclusion:
The mean curvature H of an isotropic submanifold of a locally metallic product space form is provided by
H = 1 n ( c 1 + c 2 ) .
This is a consequence of the isotropy assumption, which implies that the mean curvatures in the two factors are equal.
The squared norm of the second fundamental form | | ζ | | 2 of an isotropic submanifold of a locally metallic product space form is provided by
| | ζ | | 2 = q 1 n ( c 1 + c 2 ) 2 .
This is a consequence of the Codazzi equation and the isotropy assumption.
The sectional curvature of a locally metallic product space form
( M 1 ( c 1 ) × M 2 ( c 2 ) , g )
is bounded above by max { c 1 , c 2 } . Using these facts, we can rewrite the inequality (19) as
R n 2 4 q 1 n ( c 1 + c 2 ) 2 + 1 4 ( c 1 + c 2 ) ( n 1 ) 1 + p 2 p 2 + 4 q ± 1 2 ( c 1 c 2 ) ( n 1 ) p p 2 + 4 q .
To prove the second part of the statement, assume that equality holds in (20) for all points of M . Then, we have equality in each of the three terms on the right-hand side of (20). In particular,
| | ζ | | 2 = q 1 n ( c 1 + c 2 ) 2 and H = 1 n ( c 1 + c 2 ) .
We will now use these equalities to show that M is a minimal submanifold. Let X be a unit tangent vector to M at a point p M . We need to show that the shape operator A X of M in the direction of X is traceless, i.e., tr ( A X ) = 0 .
Let x 1 , , x n be an orthonormal basis of T p M , such that x 1 = X and x 2 , , x n span the normal space to M at p. As M is isotropic, we have A x i = A X for all i 2 . Thus, we have
tr ( A X ) = i = 1 n g ( A X x i , x i ) = g i = 2 n A x i x i , x 1 + g ( A X x 1 , x 1 ) = g i = 2 n A X x i , x 1 + g ( A X x 1 , x 1 ) = ( n 1 ) g ( A X x 1 , x 1 ) = ( n 1 ) g 1 n ( c 1 + c 2 ) x 1 , x 1 = ( n 1 ) c 1 + c 2 n .
In contrast, the Gauss equation for M in M ¯ provides us
R ( E , F , G , U ) = R ¯ ( E , F , G , U ) i = 1 n g ( ζ ( E , G ) , ζ ( F , U ) ) + g ( ζ ( E , U ) , ζ ( F , G ) ) ,
where E , F , G , U are vector fields tangent to M .
As M is isotropic, we have
ζ ( E , F ) = 1 n ( c 1 + c 2 ) g ( E , F )
for all E , F tangent to M . Plugging this into the Gauss equation and using the fact that M has constant sectional curvature bounded above by max { c 1 , c 2 } , we obtain
R ( E , F , G , U ) = 1 n 2 ( c 1 + c 2 ) 2 g ( E , G ) g ( F , U ) 1 n ( c 1 + c 2 ) 2 g ( E , U ) g ( F , G ) .
Using this expression and the fact that M is an isotropic submanifold, we can write
R ( E , F , E , F ) = 1 n 2 ( c 1 + c 2 ) 2 g ( E , E ) g ( F , F ) 1 n ( c 1 + c 2 ) 2 g ( E , F ) 2 = 1 n ( c 1 + c 2 ) 2 1 n ( c 1 + c 2 ) 2 = 0 .
Therefore, we have
R ( E , F , G , U ) = 0
whenever E , F , G , U are tangent vectors to M . In particular, for the unit vector X in the direction of e 1 , we have
0 = R ( X , e i , X , e i ) = 1 n 2 ( c 1 + c 2 ) 2 1 n ( c 1 + c 2 ) 2 g ( ζ ( X , e i ) , ζ ( X , e i ) )
for i = 2 , , n .
Using the equalities
g ( ζ ( X , e i ) , ζ ( X , e i ) ) = | | ζ | | 2 and | | ζ | | 2 = q 1 n ( c 1 + c 2 ) 2 ,
we obtain
1 n 2 ( c 1 + c 2 ) 2 = 1 n ( c 1 + c 2 ) 2 + | | ζ | | 2 = 1 n ( c 1 + c 2 ) 2 + q 1 n ( c 1 + c 2 ) 2 ,
which simplifies to q = 0 . This means that M is totally geodesic in M ¯ , and hence is a minimal submanifold.
Therefore, we have shown that M is a minimum submanifold if it meets the equality case of (19) identically.
Example 2. 
Let M ¯ = S n ( r ) × R , where S n ( r ) denotes the n-dimensional sphere of radius r and r > 0 is a constant. Then, M ¯ is a n + 1 -dimensional locally metallic product space form with sectional curvature c 1 = 1 r 2 and c 2 = 0 .
Let M = S n ( r ) × { 0 } be the product of the n-dimensional sphere with the origin in R . Then, M is a n-dimensional isotropic submanifold of M ¯ .
To see this, note that M has zero mean curvature and zero second fundamental form. Moreover, the metric on M induced from M ¯ satisfies the metallic condition with respect to the function ϕ ( x ) = r 2 x 2 r 2 , where x is the coordinate on R .
Now, let us verify the theorem for this example:
M is a minimum submanifold if it meets the equality case of (19) identically.
To see this, note that the equality case in (19) reduces to
R = n 2 4 | | H | | 2
for any unit tangent vector X at any point p on M ¯ . As c 2 = 0 , the right-hand side of (19) reduces to n 2 4 | | H | | 2 + 1 4 c 1 ( n 1 ) 1 + p 2 p 2 + 4 q . This implies that the sectional curvature of M ¯ in the direction of X is proportional to | | H | | 2 , which holds if and only if X is tangent to a minimal submanifold of M . As this holds for all unit tangent vectors X at all points p on M ¯ , we conclude that M ¯ is itself a minimal submanifold of M ¯ .
Therefore, in this example, the equality case in (19) implies that M ¯ is a minimal submanifold of M ¯ .
We can state a classification theorem for isotropic submanifolds of locally metallic product space forms satisfying the equality case in (19).
Theorem 3. 
Let M be an n-dimensional isotropic submanifold of an n-dimensional locally metallic product space form ( M ¯ = M 1 ( c 1 ) × M 2 ( c 2 ) , g , ϕ ) , where M 1 and M 2 are compact Riemannian manifolds without boundary. Suppose that M satisfies the equality case in (19) identically. Then, M is isometric to one of the following:
1.
A totally geodesic submanifold of M 1 × M 2 .
2.
A product of two Einstein manifolds ( M 1 , g 1 ) and ( M 2 , g 2 ) with constant Einstein constants λ 1 = 1 n ( c 1 + c 2 ) and λ 2 = 1 n ( c 1 + c 2 ) , respectively, where n = dim M and c 1 , c 2 are the sectional curvatures of M 1 and M 2 , respectively.
Proof. 
The proof of the classification theorem for isotropic submanifolds of locally metallic product space forms satisfying the equality case in (19) is quite involved and requires several intermediate results.
First, note that if M is minimal, then the mean curvature vector H vanishes, and the inequality in (19) becomes an equality. Thus, we only need to consider the case when M is not minimal.
The proof proceeds by analyzing the structure of the second fundamental form A and the mean curvature vector H of M . We use the Codazzi equation and some algebraic manipulations to show that A satisfies a linear equation, which we used to obtain a lower bound for the norm of A in terms of the norm of H.
Next, we use the lower bound for | | A | | to derive an upper bound for the norm of the difference of the two principal curvatures of M . This upper bound, together with the fact that M is isotropic, leads to a lower bound for the norm of the mean curvature vector | | H | | .
Then, we use the lower bound for | | H | | to derive a lower bound for the square of the norm of the difference of the two principal curvatures of M . Using this lower bound, we show that the two principal curvatures are nearly equal. In fact, we show that the difference of the two principal curvatures is bounded by a multiple of p / p 2 + 4 q , where p and q are certain coefficients that arise in the decomposition of the Ricci tensor of M .
Using the bounds on | | H | | and the difference of the two principal curvatures, we then derive an upper bound for the norm of the second fundamental form | | A | | . This upper bound, together with the lower bound for | | A | | obtained earlier, allows us to derive bounds on the sectional curvatures of M in terms of p and q.
Finally, we use the bounds on the sectional curvatures to show that M is isometric to either a totally geodesic submanifold of M 1 × M 2 , or a product of two Einstein manifolds ( M 1 , g 1 ) and ( M 2 , g 2 ) with constant Einstein constants λ 1 = 1 n ( c 1 + c 2 ) and λ 2 = 1 n ( c 1 + c 2 ) , respectively, where n = dim M and c 1 , c 2 are the sectional curvatures of M 1 and M 2 , respectively. □

5. Conclusions

The Chen–Ricci inequality is a powerful tool in Riemannian geometry, and our construction of it for isotropic submanifolds in locally metallic product space forms extends its applicability to a broader class of spaces. Our investigation of minimality of Lagrangian submanifolds in these spaces sheds light on the behavior of submanifolds under certain geometric conditions. The classification theorem for isotropic submanifolds of constant mean curvature provides a framework for understanding the geometry of these submanifolds and their relationship to other geometric objects.
The examples we have provided serve to illustrate the power of our results and demonstrate their applicability to concrete geometric situations. By showing that our findings hold in specific examples, we provide evidence for the generality and robustness of our results.
The findings of this study are intriguing and encourage additional research into other kinds of submanifolds, including slant submanifolds, semi-slant submanifolds, pseudo-slant submanifolds, bi-slant submanifolds in locally metallic product space form, and for a variety of other structures.

Author Contributions

Please add: Y.L.: Project administration, writing—original draft, M.A.K.: formal analysis, investigation, I.A.-D.: data curation, funding, writing—original draft, M.A.: validation, writing—original draft, M.Z.Y.: review and editing. All authors have read and agreed to the published version of the manuscript.

Funding

This work was funded by the Imam Mohammad Ibn Saud Islamic University (IMSIU) (grant number IMSIU-RP23078).

Data Availability Statement

Data are contained within the article.

Acknowledgments

This work was supported and funded by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University (IMSIU) (grant number IMSIU-RP23078).

Conflicts of Interest

The authors declare no conflicts of interest in this paper.

References

  1. Chen, B.Y. On Ricci curvature of isotropic and lagrangian submanifolds in complex space forms. Arch. Math. 2000, 74, 154–160. [Google Scholar] [CrossRef]
  2. Al-Khaldi, A.H.; Aquib, M.; Aslam, M.; Khan, M.A. Chen-Ricci inequalities with a quarter symmetric connection in generalized space forms. Adv. Math. Phys. 2021, 2021, 10. [Google Scholar] [CrossRef]
  3. Al-Khaldi, A.H.; Khan, M.A.; Hui, S.K.; Mandal, P. Ricci curvature of semi-slant warped product submanifolds in generalized complex space forms. AIMS Math. 2022, 7, 7069–7092. [Google Scholar] [CrossRef]
  4. Aquib, M. Some inequalities for statistical submanifolds of quaternion kaehler-like statistical space forms. Int. J. Geom. Methods Mod. Phys. 2019, 16, 17. [Google Scholar] [CrossRef]
  5. Aquib, M.; Aslam, M.; Shahid, M.H. Bounds on Ricci curvature for doubly warped products pointwise bi-slant submanifolds and applications to physics. Filomat 2023, 37, 505–518. [Google Scholar] [CrossRef]
  6. Aquib, M.; Uddin, S.; Shahid, M.H. Ricci curvature for pointwise semi-slant warped products in non-sasakian generalized sasakian space forms and its applications. Hacet. J. Math. Stat. 2022, 51, 1535–1549. [Google Scholar] [CrossRef]
  7. Aydin, M.E.; Mihai, A.; Ozgur, C. Relations between extrinsic and intrinsic invariants statistical submanifolds in sasaki-like statistical manifolds. Mathematics 2021, 9, 1285. [Google Scholar]
  8. Aydin, M.E.; Mihai, A.; Mihai, I. Some inequalities on submanifolds in statistical manifolds of constant curvature. Filomat 2015, 29, 465–476. [Google Scholar] [CrossRef]
  9. Hineva, S. Submanifolds for which a lower bound of the Ricci curvature is achieved. J. Geom. 2008, 88, 53–69. [Google Scholar] [CrossRef]
  10. Khan, M.A.; Aldayel, I. Ricci curvature inequalities for skew cr-warped product submanifolds in complex space forms. Mathematics 2020, 2020, 1317. [Google Scholar] [CrossRef]
  11. Khan, M.A.; Ozel, C. Ricci curvature of contact cr-warped product submanifolds in generalized sasakian space forms admitting a trans-sasakian structure. Filomat 2021, 35, 125–146. [Google Scholar] [CrossRef]
  12. Kim, J.-S.; Dwivedi, M.K.; Tripathi, M.M. Ricci curvature of integral submanifolds of an s-space form. Bull. Korean Math. Soc. 2007, 44, 395–406. [Google Scholar] [CrossRef]
  13. Matsumoto, K.; Mihai, I.; Tazawa, Y. Ricci tensor of slant submanifolds in complex space forms. Kodai Math. J. 2003, 26, 85–94. [Google Scholar] [CrossRef]
  14. Lee, J.W.; Lee, C.W.; Sahin, B.; Vilcu, G.-E. Chen-Ricci inequalities for riemannian maps and their applications. Contemp. Math. 2022, 777, 137–152. [Google Scholar]
  15. Mihai, A. Inequalities on the Ricci curvature. J. Math. Inequal. 2015, 9, 811–822. [Google Scholar] [CrossRef]
  16. Mihai, A.; Radulescu, I.N. An improved chen-Ricci inequality for kaehlerian slant submanifolds in complex space forms. Taiwanese J. Math. 2012, 16, 761–770. [Google Scholar] [CrossRef]
  17. Mihai, I. Ricci curvature of submanifolds in sasakian space forms. J. Aust. Math. Soc. 2002, 72, 247–256. [Google Scholar] [CrossRef]
  18. Mihai, I.; Al-Solamy, F.; Shahid, M.H. On Ricci curvature of a quaternion cr-submanifold in a quaternion space form. Rad. Mat. 2003, 12, 91–98. [Google Scholar]
  19. Vilcu, G.E. On chen invariants and inequalities in quaternionic geometry. J. Inequal. Appl. 2013, 2013, 66. [Google Scholar] [CrossRef]
  20. Vilcu, G.E. Slant submanifolds of quarternionic space forms. Publ. Math. 2012, 81, 397–413. [Google Scholar]
  21. Vilcu, G.E.; Chen, B.-Y. inequalities for slant submanifolds in quaternionic space forms. Turkish J. Math. 2010, 34, 115–128. [Google Scholar]
  22. Chen, B.-Y. Riemannian geometry of lagrangian submanifolds. Taiwanese J. Maths. 2001, 5, 681–723. [Google Scholar] [CrossRef]
  23. Chen, B.-Y.; Ogiue, K. On totally real submanifolds. Trans. AMS 1974, 193, 257–266. [Google Scholar] [CrossRef]
  24. Ki, U.H.; Kim, Y.H. Totlaly real submanifolds of a complex space form. Internat. J. Math. Math. Sci. 1996, 19, 39–44. [Google Scholar] [CrossRef]
  25. Ludden, G.D.; Okumura, M.; Yano, K. A totally real surface in cp2 that is not totally geodesic. Proc. Amer. Math. Soc. 1975, 53, 186–190. [Google Scholar]
  26. Hretcanu, C.E.; Crasmareanu, M. Metallic structures on riemannian manifolds. Rev. Un. Mat. Argentina 2013, 54, 15–27. [Google Scholar]
  27. Bahadir, O.; Uddin, S. Slant submanifolds of golden riemannian manifols. J. Math. 2019, 13, 1–10. [Google Scholar]
  28. Blaga, A.M.; Hretcanu, C. Invariant, antiinvariant and slant-submanifols of metallic riemannian manifold. Novi Sad J. Math. 2018, 48, 57–82. [Google Scholar] [CrossRef]
  29. Yano, K.; Kon, M. Structures on Manifolds; Series in Pure Mathematics; World Scientific: Singapore, 1985. [Google Scholar]
  30. Chen, B.-Y. Some pinching and classification theorems for minimal submanifolds. Arch. Math. 1993, 60, 568–578. [Google Scholar] [CrossRef]
  31. Chen, B.-Y. Some new obstructions to minimal and lagrangian isometric immersions. Jpn. J. Math. 2000, 26, 105–127. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Li, Y.; Khan, M.A.; Aquib, M.; Al-Dayel, I.; Youssef, M.Z. Chen–Ricci Inequality for Isotropic Submanifolds in Locally Metallic Product Space Forms. Axioms 2024, 13, 183. https://doi.org/10.3390/axioms13030183

AMA Style

Li Y, Khan MA, Aquib M, Al-Dayel I, Youssef MZ. Chen–Ricci Inequality for Isotropic Submanifolds in Locally Metallic Product Space Forms. Axioms. 2024; 13(3):183. https://doi.org/10.3390/axioms13030183

Chicago/Turabian Style

Li, Yanlin, Meraj Ali Khan, MD Aquib, Ibrahim Al-Dayel, and Maged Zakaria Youssef. 2024. "Chen–Ricci Inequality for Isotropic Submanifolds in Locally Metallic Product Space Forms" Axioms 13, no. 3: 183. https://doi.org/10.3390/axioms13030183

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