Next Article in Journal
Asynchronous Iterations of Parareal Algorithm for Option Pricing Models
Next Article in Special Issue
On Angles and Pseudo-Angles in Minkowskian Planes
Previous Article in Journal
Acquisition War-Gaming Technique for Acquiring Future Complex Systems: Modeling and Simulation Results for Cost Plus Incentive Fee Contract
Previous Article in Special Issue
A New Proof of a Conjecture on Nonpositive Ricci Curved Compact Kähler–Einstein Surfaces
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Curvature Invariants for Statistical Submanifolds of Hessian Manifolds of Constant Hessian Curvature

1
Department of Mathematics and Computer Science, Technical University of Civil Engineering Bucharest, 020396 Bucharest, Romania
2
Department of Mathematics, Faculty of Mathematics and Computer Science, University of Bucharest, 010014 Bucharest, Romania
*
Author to whom correspondence should be addressed.
Mathematics 2018, 6(3), 44; https://doi.org/10.3390/math6030044
Submission received: 23 February 2018 / Revised: 11 March 2018 / Accepted: 12 March 2018 / Published: 15 March 2018
(This article belongs to the Special Issue Differential Geometry)

Abstract

:
We consider statistical submanifolds of Hessian manifolds of constant Hessian curvature. For such submanifolds we establish a Euler inequality and a Chen-Ricci inequality with respect to a sectional curvature of the ambient Hessian manifold.
MSC:
Math. Subject Classification: 53C05, 53C40.

1. Introduction

It is well-known that curvature invariants play the most fundamental role in Riemannian geometry. Curvature invariants provide the intrinsic characteristics of Riemannian manifolds which affect the behavior in general of the Riemannian manifold. They are the main Riemannian invariants and the most natural ones. Curvature invariants also play key roles in physics. For instance, the magnitude of a force required to move an object at constant speed, according to Newton’s laws, is a constant multiple of the curvature of the trajectory. The motion of a body in a gravitational field is determined, according to Einstein’s general theory of relativity, by the curvatures of spacetime. All sorts of shapes, from soap bubbles to red cells are determined by various curvatures.
Classically, among the curvature invariants, the most studied were sectional, scalar and Ricci curvatures.
Chen [1] established a generalized Euler inequality for submanifolds in real space forms. Also a sharp relationship between the Ricci curvature and the squared mean curvature for any Riemannian submanifold of a real space form was proved in [2], which is known as the Chen-Ricci inequality.
Statistical manifolds introduced, in 1985, by Amari have been studied in terms of information geometry. Since the geometry of such manifolds includes the notion of dual connections, also called conjugate connections in affine geometry, it is closely related to affine differential geometry. Further, a statistical structure is a generalization of a Hessian one.
In [3], Aydin and the present authors obtained geometrical inequalities for the scalar curvature and the Ricci curvature associated to the dual connections for submanifolds in statistical manifolds of constant curvature. We want to point-out that, generally, the dual connections are not metric; then one cannot define a sectional curvature with respect to them by the standard definitions. However there exists a sectional curvature on a statistical manifold defined by B. Opozda (see [4]).
We mention that in [5] we established a Wintgen inequality for statistical submanifolds in statistical manifolds of constant curvature by using another sectional curvature.
As we know, submanifolds in Hessian manifolds have not been considered until now.
In the present paper we deal with statistical submanifolds in Hessian manifolds of constant Hessian curvature c. It is known [6] that such a manifold is a statistical manifold of null constant curvature and also a Riemannian space form of constant sectional curvature c / 4 (with respect to the sectional curvature defined by the Levi-Civita connection).

2. Statistical Manifolds and Their Submanifolds

A statistical manifold is an m-dimensional Riemannian manifold ( M ˜ m , g ) endowed with a pair of torsion-free affine connections ˜ and ˜ satisfying
Z g ˜ X , Y = g ˜ ˜ Z X , Y + g ˜ X , ˜ Z Y ,
for any X , Y , Z Γ ( T M ˜ m ) . The connections ˜ and ˜ are called dual connections (see [7,8,9]), and it is easily shown that ( ˜ ) = ˜ . The pair ( ˜ , g ) is said to be a statistical structure. If ( ˜ , g ) is a statistical structure on M ˜ m , then ( ˜ , g ) is a statistical structure too [8].
On the other hand, any torsion-free affine connection ˜ always has a dual connection given by
˜ + ˜ = 2 ˜ 0 ,
where ˜ 0 is the Levi-Civita connection on M ˜ m .
Denote by R ˜ and R ˜ the curvature tensor fields of ˜ and ˜ , respectively.
A statistical structure ( ˜ , g ) is said to be of constant curvature ε R if
R ˜ ( X , Y ) Z = ε { g ( Y , Z ) X g ( X , Z ) Y } .
A statistical structure ( ˜ , g ) of constant curvature 0 is called a Hessian structure.
The curvature tensor fields R ˜ and R ˜ of the dual connections satisfy
g ( R ˜ ( X , Y ) Z , W ) = g ( Z , R ˜ ( X , Y ) W ) .
From (Section 2) it follows immediately that if ( ˜ , g ) is a statistical structure of constant curvature ε , then ( ˜ , g ) is also a statistical structure of constant curvature ε . In particular, if ( ˜ , g ) is Hessian, ( ˜ , g ) is also Hessian [6].
On a Hessian manifold ( M ˜ m , ˜ ) , let γ = ˜ ˜ 0 . The tensor field Q ˜ of type (1, 3) defined by Q ˜ ( X , Y ) = [ γ X , γ Y ] , X , Y Γ ( T M ˜ m ) is said to be the Hessian curvature tensor for ˜ (see [4,6]). It satisfies
R ˜ ( X , Y ) + R ˜ ( X , Y ) = 2 R ˜ 0 ( X , Y ) + 2 Q ˜ ( X , Y ) .
By using the Hessian curvature tensor Q ˜ , a Hessian sectional curvature can be defined on a Hessian manifold.
Let p M ˜ m and π a plane in T p M ˜ m . Take an orthonormal basis { X , Y } of π and set
K ˜ ( π ) = g ( Q ˜ ( X , Y ) Y , X ) .
The number K ˜ ( π ) is independent of the choice of an orthonormal basis and is called the Hessian sectional curvature.
A Hessian manifold has constant Hessian sectional curvature c if and only if (see [6])
Q ˜ ( X , Y , Z , W ) = c 2 [ g ( X , Y ) g ( Z , W ) + g ( X , W ) g ( Y , Z ) ] ,
for all vector fields on M ˜ m .
If ( M ˜ m , g ) is a statistical manifold and M n an n-dimensional submanifold of M ˜ m , then ( M n , g ) is also a statistical manifold with the induced connection by ˜ and induced metric g. In the case that ( M ˜ m , g ) is a semi-Riemannian manifold, the induced metric g has to be non-degenerate. For details, see [10].
In the geometry of Riemannian submanifolds (see [11]), the fundamental equations are the Gauss and Weingarten formulas and the equations of Gauss, Codazzi and Ricci.
Let denote the set of the sections of the normal bundle to M n by Γ ( T M n ) .
In our case, for any X , Y Γ T M n , according to [10], the corresponding Gauss formulas are
˜ X Y = X Y + h ( X , Y ) ,
˜ X Y = X Y + h ( X , Y ) ,
where h, h : Γ ( T M n ) × Γ ( T M n ) Γ ( T M n ) are symmetric and bilinear, called the imbedding curvature tensor of M n in M ˜ m for ˜ and the imbedding curvature tensor of M n in M ˜ m for ˜ , respectively.
In [10], it is also proved that ( , g ) and ( , g ) are dual statistical structures on M n .
Since h and h are bilinear, there exist linear transformations A ξ and A ξ on T M n defined by
g ( A ξ X , Y ) = g ( h ( X , Y ) , ξ ) ,
g ( A ξ X , Y ) = g ( h ( X , Y ) , ξ ) ,
for any ξ Γ ( T M n ) and X , Y Γ ( T M n ) . Further, see [10], the corresponding Weingarten formulas are
˜ X ξ = A ξ X + X ξ ,
˜ X ξ = A ξ X + X ξ ,
for any ξ Γ ( T M n ) and X Γ ( T M n ) . The connections X and X given by (9) and (10) are Riemannian dual connections with respect to induced metric on Γ ( T M n ) .
Let { e 1 , , e n } and { e n + 1 , , e m } be orthonormal tangent and normal frames, respectively, on M n . Then the mean curvature vector fields are defined by
H = 1 n i = 1 n h ( e i , e i ) = 1 n α = n + 1 m i = 1 n h i i α e α , h i j α = g ( h ( e i , e j ) , e α ) ,
and
H = 1 n i = 1 n h ( e i , e i ) = 1 n α = n + 1 m i = 1 n h i i α e α , h i j α = g ( h ( e i , e j ) , e α ) ,
for 1 i , j n and n + 1 α m .
The corresponding Gauss, Codazzi and Ricci equations are given by the following result.
Proposition 1.
[10] Let ˜ and ˜ be dual connections on a statistical manifold M ˜ m and ∇ the induced connection by ˜ on a statistical submanifold M n . Let R ˜ and R be the Riemannian curvature tensors for ˜ and , respectively. Then
g ( R ˜ ( X , Y ) Z , W ) = g ( R ( X , Y ) Z , W ) + g ( h ( X , Z ) , h ( Y , W ) ) g ( h ( X , W ) , h ( Y , Z ) ) ,
( R ˜ ( X , Y ) Z ) = X h ( Y , Z ) h ( X Y , Z ) h ( Y , X Z )
{ Y h ( X , Z ) h ( Y X , Z ) h ( X , Y Z ) } ,
g ( R ( X , Y ) ξ , η ) = g ( R ˜ ( X , Y ) ξ , η ) + g ( [ A ξ , A η ] X , Y ) ,
where R is the Riemannian curvature tensor of on T M n , ξ ,   η Γ ( T M n ) and [ A ξ , A η ] = A ξ A η A η A ξ .
For the equations of Gauss, Codazzi and Ricci with respect to the connection ˜ on M n , we have
Proposition 2.
[10] Let ˜ and ˜ be dual connections on a statistical manifold M ˜ m and the induced connection by ˜ on a statistical submanifold M n . Let R ˜ and R be the Riemannian curvature tensors for ˜ and , respectively. Then
g ( R ˜ ( X , Y ) Z , W ) = g ( R ( X , Y ) Z , W ) + g ( h ( X , Z ) , h ( Y , W ) ) g ( h ( X , W ) , h ( Y , Z ) ) ,
( R ˜ ( X , Y ) Z ) = X h ( Y , Z ) h ( X Y , Z ) h ( Y , X Z )
{ Y h ( X , Z ) h ( Y X , Z ) h ( X , Y Z ) } ,
g ( R ( X , Y ) ξ , η ) = g ( R ˜ ( X , Y ) ξ , η ) + g ( [ A ξ , A η ] X , Y ) ,
where R is the Riemannian curvature tensor of on T M n , ξ , η Γ ( T M n ) and A ξ , A η = A ξ A η A η A ξ .
Geometric inequalities for statistical submanifolds in statistical manifolds with constant curvature were obtained in [3].

3. Euler Inequality and Chen-Ricci Inequality

First we obtain a Euler inequality for submanifolds in a Hessian manifold of constant Hessian curvature.
Let M ˜ m ( c ) be a Hessian manifold of constant Hessian curvature c. Then it is flat with respect to the dual connections ˜ and ˜ . Moreover M ˜ m ( c ) is a Riemannian space form of constant sectional curvature c / 4 (with respect to the Levi-Civita connection ˜ 0 ).
Let M n be an n-dimensional statistical submanifold of M ˜ m ( c ) and { e 1 , , e n } and { e n + 1 , , e m } be orthonormal tangent and normal frames, respectively, on M n .
We denote by τ 0 the scalar curvature of the Levi-Civita connection 0 on M n . Gauss equation implies
2 τ 0 = n 2 H 0 2 h 0 2 n ( n 1 ) c 4 ,
where H 0 and h 0 are the mean curvature vector and the second fundamental form, respectively, with respect to the Levi-Civita connection.
Let τ be the scalar curvature of M n (with respect to the Hessian curvature tensor Q). Then, from (13) and (15), we have:
2 τ = 1 2 i , j = 1 n [ g ( R ( e i , e j ) e j , e i ) + g ( R ( e i , e j ) e j , e i ) 2 g ( R 0 ( e i , e j ) e j , e i ) ] =
= n 2 g ( H , H ) i , j = 1 n g ( h ( e i , e j ) , h ( e i , e j ) ) 2 τ 0 =
= n 2 g ( H , H ) r = n + 1 m i , j = 1 n h i j r h i j r 2 τ 0 =
= n 2 g ( H , H ) 1 4 r = n + 1 m i , j = 1 n [ ( h i j r + h i j r ) 2 ( h i j r h i j r ) 2 ] 2 τ 0 =
= n 2 g ( H , H ) h 0 2 + 1 4 r = n + 1 m i , j = 1 n ( h i j r h i j r ) 2 2 τ 0 .
By (17), it follows that
2 τ n 2 g ( H , H ) n 2 H 0 2 + n ( n 1 ) c 4 =
= n 2 g ( H , H ) n 2 4 g ( H + H , H + H ) + n ( n 1 ) c 4 =
= n 2 2 g ( H , H ) n 2 4 g ( H , H ) n 2 4 g ( H , H ) + n ( n 1 ) c 4 =
= n 2 4 H H 2 + n ( n 1 ) c 4 .
Summing up, we proved the following.
Theorem 1.
Let M n be a statistical submanifold of a Hessian manifold M ˜ m ( c ) of constant Hessian curvature c. Then the scalar curvature satisfies:
2 τ n 2 4 H H 2 + n ( n 1 ) c 4 .
Moreover, the equality holds at any pont p M n if and only if h = h . In this case, the scalar curvature is constant, 2 τ = n ( n 1 ) c 4 .
We want to point-out that τ is non-positive on standard examples of Hessian manifolds.
Next we establish a Chen-Ricci inequality for statistical submanifolds in Hessian manifolds of constant Hessian curvature.
Recall that
2 τ = 1 2 i , j = 1 n [ g ( R ( e i , e j ) e j , e i ) + g ( R ( e i , e j ) e j , e i ) 2 g ( R 0 ( e i , e j ) e j , e i ) ] =
= n 2 g ( H , H ) i , j = 1 n g ( h ( e i , e j ) , h ( e i , e j ) ) 2 τ 0 .
Then
2 τ = n 2 2 [ g ( H + H , H + H ) g ( H , H ) g ( H , H ) ]
1 2 [ g ( h ( e i , e j ) + h ( e i , e j ) , h ( e i , e j ) + h ( e i , e j ) )
g ( h ( e i , e j ) , h ( e i , e j ) ) g ( h ( e i , e j ) , h ( e i , e j ) ) ] 2 τ 0 =
= 2 n 2 g ( H 0 , H 0 ) 2 h 0 2 2 τ 0
n 2 2 g ( H , H ) n 2 2 g ( H , H ) + 1 2 h 2 + 1 2 h 2 ,
where H 0 and h 0 are the mean curvature vector and the second fundamental form, respectively, with respect to the Levi-Civita connection.
By using (17), we get
2 τ = n ( n 1 ) c 2 + 2 τ 0 n 2 2 g ( H , H ) n 2 2 g ( H , H ) + 1 2 h 2 + 1 2 h 2 .
On the other hand, we may write:
h 2 = α = n + 1 m [ ( h 11 α ) 2 + ( h 22 α + + h n n α ) 2 + 2 1 i < j n ( h i j α ) 2 2 2 i j n h i i α h j j α ] =
= 1 2 α = n + 1 m [ ( h 11 α + h 22 α + + h n n α ) 2 + ( h 11 α h 22 α h n n α ) 2 ]
α = n + 1 m 2 i j n [ h i i α h j j α ( h i j α ) 2 ] + 2 α = n + 1 m j = 1 n ( h 1 j α ) 2
n 2 2 H 2 α = n + 1 m 2 i j n [ h i i α h j j α ( h i j α ) 2 ] .
In the same manner, one obtains
h 2 n 2 2 H 2 α = n + 1 m 2 i j n [ h i i α h j j α ( h i j α ) 2 ] .
Substituting the above inequalities in (18), it follows that
2 τ n ( n 1 ) c 2 + 2 τ 0 n 2 4 H 2 n 2 4 H 2
1 2 α = n + 1 m 2 i j n [ h i i α h j j α ( h i j α ) 2 ] 1 2 α = n + 1 m 2 i j n [ h i i α h j j α ( h i j α ) 2 ] =
= n ( n 1 ) c 2 + 2 τ 0 n 2 4 H 2 n 2 4 H 2
1 2 α = n + 1 m 2 i j n [ ( h i i α + h i i α ) ( h j j α + h j j α ) ( h i j α + h i j α ) 2 ] +
+ 1 2 α = n + 1 m 2 i j n ( h i i α h j j α h i j α h i j α ) + 1 2 α = n + 1 m 2 i j n ( h i i α h j j α h i j α h i j α ) =
= n ( n 1 ) c 2 + 2 τ 0 n 2 4 H 2 n 2 4 H 2
2 α = n + 1 m 2 i j n [ h i i 0 α h j j 0 α ( h i j 0 α ) 2 ] + 1 2 2 i j n [ g ( R ( e i , e j ) e j , e i ) + g ( R ( e i , e j ) e j , e i ) ] .
Gauss equation for the Levi-Civita connection and the definition of the Hessian sectional curvature imply
2 τ n ( n 1 ) c 2 + 2 τ 0 n 2 4 H 2 n 2 4 H 2
( n 1 ) ( n 2 ) c 2 2 2 i j n K 0 ( e i e j ) + 2 i j n [ K ( e i e j ) + K 0 ( e i e j ) ] .
But the Ricci curvature R 0 with respect to the Levi-Civita connection is given by
2 R i c 0 ( X ) = 2 τ 0 2 i j n K 0 ( e i e j ) ,
and, similarly,
2 R i c ( X ) = 2 τ 2 i j n K ( e i e j ) .
Consequently
R i c ( X ) ( n 1 ) c 2 n 2 8 H 2 n 2 8 H 2 + R i c 0 ( X ) .
The vector field X = e 1 satisfies the equality case if and only if
h 11 α = h 22 α + + h n n α , h 1 j α = 0 , j { 2 , , n } , α { n + 1 , , m } , h 11 α = h 22 α + + h n n α , h 1 j α = 0 , j { 2 , , n } , α { n + 1 , , m } ,
or, equivalently,
2 h ( X , X ) = n H ( p ) , h ( X , Y ) = 0 , Y T p M n orthogonal   to   X , 2 h ( X , X ) = n H ( p ) , h ( X , Y ) = 0 , Y T p M n orthogonal   to   X .
Therefore, we proved the following Chen-Ricci inequality.
Theorem 2.
Let M n be a statistical submanifold of a Hessian manifold M ˜ m ( c ) of constant Hessian curvature c. Then the Ricci curvature of a unit vector X T p M n satisfies:
R i c ( X ) ( n 1 ) c 2 n 2 8 H 2 n 2 8 H 2 + R i c 0 ( X ) .
Moreover, the equality case holds if and only if
2 h ( X , X ) = n H ( p ) , h ( X , Y ) = 0 , Y T p M n o r t h o g o n a l t o X , 2 h ( X , X ) = n H ( p ) , h ( X , Y ) = 0 , Y T p M n o r t h o g o n a l t o X .

Author Contributions

Both authors contributed equally to this research. The research was carried out by both authors, and the manuscript was subsequently prepared together. Both authors read and approved the final manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Chen, B.Y. Mean curvature and shape operator of isometric immersions in real-space-forms. Glasg. Math. J. 1996, 38, 87–97. [Google Scholar] [CrossRef]
  2. Chen, B.Y. Relations between Ricci curvature and shape operator for submanifolds with arbitrary codimensions. Glasg. Math. J. 1999, 41, 33–44. [Google Scholar] [CrossRef]
  3. Aydin, M.E.; Mihai, A.; Mihai, I. Some inequalities on submanifolds in statistical manifolds of constant curvature. Filomat 2015, 29, 465–477. [Google Scholar] [CrossRef]
  4. Opozda, B. A sectional curvature for statistical structures. Linear Algebra Appl. 2016, 497, 134–161. [Google Scholar] [CrossRef]
  5. Aydin, M.E.; Mihai, A.; Mihai, I. Generalized Wintgen inequality for statistical submanifolds in statistical manifolds of constant curvature. Bull. Math. Sci. 2017, 7, 155–166. [Google Scholar] [CrossRef]
  6. Shima, H. The Geometry of Hessian Structures; World Scientific: Singapore, 2007. [Google Scholar]
  7. Nomizu, K.; Sasaki, S. Affine Differential Geometry; Cambridge University Press: Cambridge, UK, 1994. [Google Scholar]
  8. Amari, S. Diffrential-Geometrical Methods in Statistics; Springer: Berlin, Germany, 1985. [Google Scholar]
  9. Simon, U. Affine Differential Geometry. In Handbook of Differential Geometry; Dillen, F., Verstraelen, L., Eds.; North-Holland: Amsterdam, The Netherlands, 2000; Volume I, pp. 905–961. [Google Scholar]
  10. Vos, P.W. Fundamental equations for statistical submanifolds with applications to the Bartlett correction. Ann. Inst. Stat. Math. 1989, 41, 429–450. [Google Scholar] [CrossRef]
  11. Chen, B.Y. Geometry of Submanifolds; Marcel Dekker: New York, NY, USA, 1973. [Google Scholar]

Share and Cite

MDPI and ACS Style

Mihai, A.; Mihai, I. Curvature Invariants for Statistical Submanifolds of Hessian Manifolds of Constant Hessian Curvature. Mathematics 2018, 6, 44. https://doi.org/10.3390/math6030044

AMA Style

Mihai A, Mihai I. Curvature Invariants for Statistical Submanifolds of Hessian Manifolds of Constant Hessian Curvature. Mathematics. 2018; 6(3):44. https://doi.org/10.3390/math6030044

Chicago/Turabian Style

Mihai, Adela, and Ion Mihai. 2018. "Curvature Invariants for Statistical Submanifolds of Hessian Manifolds of Constant Hessian Curvature" Mathematics 6, no. 3: 44. https://doi.org/10.3390/math6030044

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