Next Article in Journal
Regularized Solution of the Cauchy Problem in an Unbounded Domain
Previous Article in Journal
The AWAKE Run 2 Programme and Beyond
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Study of Kenmotsu-like Statistical Submersions

by
Mohd. Danish Siddiqi
1,
Aliya Naaz Siddiqui
2,*,
Fatemah Mofarreh
3 and
Hülya Aytimur
4
1
Department of Mathematics, College of Science, Jazan University, Jazaz 45142, Saudi Arabia
2
Department of Mathematics and Humanities, MM Engineering College, Maharishi Markandeshwar (Deemed to be University), Mullana-Ambala 133207, India
3
Mathematical Science Department, Faculty of Science, Princess Nourah bint Abdulrahman University, Riyadh 11546, Saudi Arabia
4
Department of Mathematics, Balıkesir University, Balıkesir 10145, Turkey
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(8), 1681; https://doi.org/10.3390/sym14081681
Submission received: 27 July 2022 / Revised: 10 August 2022 / Accepted: 10 August 2022 / Published: 12 August 2022

Abstract

:
In this paper, we first define a Kenmotsu-like statistical manifold ( K . l . s . m ) with examples. Then, we switch to Kenmotsu-like statistical submersions ( K . l . s . s ), where we investigate the fact that, for such submersions, each fiber is a statistical manifold that is similar to K . l . s . m , and the base manifold is similar to the Kähler-like statistical manifold. Subsequently, assuming the postulate that the curvature tensor with regard to the affine connections of the total space obeys certain criteria, we analyze such statistical submersions to those developed by Kenmotsu. Lastly, we talk about statistical submersions (SS) with conformal fibers (CFs) that are K . l . s . m .

1. Introduction

A Reimannian manifold is a statistical manifold of probability distributions possessing a Riemannian metric and two dual (conjugate) affine connections without torsion [1]. A statistical framework of a Riemannian metric and its extension are a Riemannian connection. The theory of statistical submanifolds and statistical manifolds is a recent geometry that plays a crucial role in several fields of mathematics. Various results have been derived by distinguished geometers in this area.
K. Kenmotsu [2] found interesting results and studied the warped product spaces of the type R × f B , where B is a Kaehlerian manifold with a maximal dimension that falls under Tanno’s categorization of connected nearly contact metric manifolds (called the third class). Then, the author examined the characteristics of R × f B and described it using tensor relations. A manifold of this type is referred to as a Kenmotsu manifold. A new notion in the statistical manifold, the Kenmotsu statistical manifold, was initiated by Furuhata et al. in [3]. Locally, it is the warped product of a holomorphic statistical manifold and a line. By establishing a natural affine connection to a Kenmotsu manifold, they developed a Kenmotsu statistical manifold in the same publication. Recently, Murathan et al. [4] talked about the term β - K . l . s . m .
On the other hand, the concept of submersion in differential geometry was first reported by O’Neill [5] and Gray [6], and Watson [7] later brought the concept of almost Hermitian submersions by using Riemannian submersions ( R S ) from almost Hermitian manifolds.
Afterwards, there have been several subclasses of almost Hermitian manifolds between which almost Hermitian submersions have been found. Additionally, under the heading of contact R S , Ṣahin in [8] extended R S to a wide variety of subclasses of virtually contact metric manifolds. In [9] the majority of studies on Riemannian, almost Hermitian, or contact R S are contained.
Barndroof-Nielsen and Jupp [10] discussed R S from the viewpoint of statistics. Abe and Hasegawa introduced and studied the S S between statistical manifolds in [11]. The S S of the space of the multivariate normal distribution, statistical manifolds with virtually contact structures, and statistical manifolds with almost complex structures were among the topics that K. Takano found intriguing to research (see [12,13,14]). Remarkable statistical submersions have recently been studied, including para-Kähler-like statistical submersions [15], cosymplectic-like statistical submersions [16], and quaternionic Kähler-like statistical submersions [17]. Most of the research related to the various submersion can be found in [18,19,20,21,22,23,24].
Inspired by the affirmative works, we consider K . l . s . m with some examples. Then, we study Kenmotsu-like statistical submersions ( K . l . s . s ) and give many results for such submersions with new examples. This study contributes to developing the S S literature.

2. Kenmotsu-like Statistical Manifolds ( K . l . s . m )

Let M ¯ be a semi-Riemannian manifold and nondegenerate metric g ¯ , and a torsion-free affine connection by ¯ . Triplet ( M ¯ , ¯ , g ¯ ) is a statistical manifold with symmetric ¯ g ¯ [12]. For a statistical manifold ( M ¯ , ¯ , g ¯ ) , we describe a second connection ¯ * as
W g ¯ ( U , V ) = g ¯ ( ¯ W U , V ) + g ¯ ( U , ¯ W * V ) ,
for any U , V , W T r M ¯ , r M ¯ . Here, affine connection ¯ * is referred to as a conjugate (or dual) of the connection ¯ with respect to g ¯ . Affine connection ¯ * is torsion-free with symmetric ¯ * g ¯ and obeys
( ¯ * ) * = ¯ , 2 ¯ 0 = ¯ + ¯ * ,
where in the Levi-Civita connection ¯ 0 on M ¯ .
A statistical manifold is ( M ¯ , ¯ * , g ¯ ) . For example, let ( M ¯ , ¯ , g ¯ ) be a semi-Riemannian manifold along its Riemannian connection ¯ is a trivial statistical manifold. In this case, R ¯ ( R ¯ * ) stands for the curvature tensor on M ¯ with respect to affine connection ¯ (its conjugate ¯ * ). Now, we produce
g ¯ ( R ¯ ( U , V ) W , W ) = g ¯ ( W , R ¯ * ( U , V ) W ) ,
for any U , V , W , W T r M ¯ [12].
Let ( M ¯ , g ¯ ) be a ( 2 n + 1 ) -dimensional semi-Riemannian manifold that admits the almost contact structure ( φ , ξ , ν ) that contains another tensor field, φ * , of type ( 1 , 1 ) that fulfils
g ¯ ( φ U , V ) = g ¯ ( U , φ * V ) ,
for any U , V T r M ¯ . Then, M ¯ is a metric manifold with almost contact structure ( φ , ξ , ν , g ) of a specific sort [14]. Then,
φ * 2 U = U + ν ( U ) ξ and g ¯ ( φ U , φ * V ) = g ¯ ( U , V ) ν ( U ) ν ( V ) .
In fact, φ is a nonsymmetric tensor field, which shows that φ + φ * 0 everywhere. The almost contact manifold also entertain the following equations:
ν ( ξ ) = 1 , φ ( ξ ) = 0 and ν φ = 0 .
We also obtained the almost contact metric manifold of a specific sort [14], such that
φ * ξ = 0 and ν ( φ * ( E ) ) = 0 .
Murathan et al. [4] produced a method of how to construct K . l . s . m relying on the idea of a statistical manifold similar to that of the Kähler-like statistical manifold. They defined β - K . l . s . m and said that an almost contact metric such as statistical manifold ( M ¯ , ¯ , φ , ξ , ν , g ¯ ) is referred to as a β -Kenmotsu-like statistical manifold if
( ¯ U φ ) V = β { g ¯ ( U , φ V ) ξ + ν ( V ) φ U } ,
¯ U ξ = β φ 2 U ,
where β is differentiable function on M ¯ . They proved the following theorem [4]:
Theorem 1. 
Let ( B , g B , B , J ) be a Kähler-like statistical manifold, and ( R , R , d t ) be trivial statistical manifold. R × B . Under Proposition 2.2 (see [4]), R × f B is a β = f f K . l . s . m .
Now, ( M ¯ , ¯ , φ , ξ , ν , g ¯ ) is called a K . l . s . m if the following conditions hold:
¯ U ξ = U ν ( U ) ξ , ¯ U * ξ = U ν ( U ) ξ ,
( ¯ U φ ) V = g ¯ ( φ U , V ) ξ ν ( W ) φ U and ( ¯ U * φ * ) V = g ¯ ( φ * U , V ) ξ ν ( W ) φ * U .
Consequently, we have the following lemma:
Lemma 1. 
( M ¯ , ¯ , φ , ξ , ν , g ¯ ) is a K . l . s . m if and only if ( M ¯ , ¯ * , φ * , ξ , ν , g ¯ ) is a K . l . s . m .
In [25], certain bounds for statistical curvatures of submanifolds with any codimension of K . l . s . m were obtained. Now, we give the following examples on β - K . l . s . m :
Example 1. 
Let us assume a Kähler-like statistical manifold ( B 2 , B , g B , J ) , where B 2 = { ( x 1 , x 2 ) R 2 }
J = 0 1 1 0 ,
J * = 0 1 2 2 0 ,
g B = 2 0 0 1
and the flat affine connection B . Also, ( R , R , d t 2 ) is a trivial statistical manifold with constant curvature 0. From Theorem 1, warped product manifold ( M ¯ = R × f B 2 , ¯ , g ¯ = d t 2 + f 2 g B ) is a β- K . l . s . m .
Example 2. 
A Euclidean space R 4 with local coordinate system x 1 , x 2 , y 1 , y 2 that admits the following almost complex structure J:
J = 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 ,
the metric g R 4 = 2 d x 1 2 + 2 d x 2 2 d y 1 2 d y 2 2 with a flat affine connection R 4 is referred as a Kähler-like statistical manifold (see [14]). If R , R , d t 2 is a trivial statistical manifold. In view of [4], the product manifold R × f R 4 , ¯ , g ¯ = d t 2 + f 2 g R 4 is called a β K . l . s . m .
Let us define φ , ξ and η by
φ = 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 , ξ = d t = 1 0 0 0 0
and η = 1 , 0 , y 1 , 0 , y 2 . We also find
φ * = 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 1 2 0 2 0 0 0 0 0 2 0 0 .
Example 3. 
From [26], we know that M ¯ v n + 1 = x 1 , , x n , x n + 1 | x n + 1 > 0 the half upper space with g ¯ , ¯ ( 1 ) , J ¯ ( 1 ) that was described as in [26], M ¯ , g ¯ , ¯ ( 1 ) , J ¯ ( 1 ) is a Kähler-like statistical manifold. So, If R , R , d t 2 is a trivial statistical manifold, It is recognised by [4] that the product manifold R × f M ¯ , , g = d t 2 + f 2 g ¯ is a β K . l . s . m .
We examine curvature tensor R ¯ on a statistical manifold similar to that of K . l . s . m with respect to ¯ , such that
R ¯ ( U , V ) W = c 3 4 { g ¯ ( V , W ) U g ¯ ( U , W ) V } + c + 1 4 { g ¯ ( φ V , W ) φ U g ¯ ( φ U , W ) φ V 2 g ¯ ( φ U , V ) φ W g ¯ ( V , ξ ) g ¯ ( W , ξ ) U + g ¯ ( U , ξ ) g ¯ ( W , ξ ) V + g ¯ ( V , ξ ) g ¯ ( W , U ) ξ g ¯ ( U , ξ ) g ¯ ( W , V ) ξ } ,
where c R . Afterwards, shifting φ to φ * in (11), we produce the expression for the curvature tensor R ¯ * in terms of ¯ * .
Let M ¯ , ¯ , g ¯ be a statistical manifold and M be a submanifold of M ¯ . Then M , , g is also a statistical manifold with the induced statistical structure ( , g ) on M from ( ¯ , g ¯ ) and we call M , , g as a statistical submanifold in M ¯ , ¯ , g ¯ .
In the statistical setting, Gauss and Weingarten equations are respectively specified by [27]
¯ U V = U V + h ( U , V ) , ¯ U * V = U * V + h * ( U , V ) , ¯ U η = A η ( U ) + U η , ¯ U * η = A η * ( U ) + U * η ,
for any U , V T r M and η T r M , where ¯ and ¯ * are the dual connections on M ¯ . Similarly, on M , we denote them with ∇ and * . For ¯ and ¯ * , the symmetric and bilinear imbedding curvature tensor of M in M ¯ are indicated by h and h * , respectively. The finest relation between h ( h * ) and A ( A * ) is [27]:
g ¯ ( h ( U , V ) , η ) = g ( A η * U , V ) and g ¯ ( h * ( U , V ) , η ) = g ( A η U , V ) .
We indicate the curvature tensor fields of ¯ and ∇ as R ¯ and R , respectively. Then, for any U , V , W , W T r M , the corresponding Gaussian equations are [27]
g ¯ ( R ¯ ( U , V ) W , W ) = g ( R ( U , V ) W , W ) + g ¯ ( h ( U , W ) , h * ( V , W ) ) g ¯ ( h * ( U , W ) , h ( V , W ) )
and
g ¯ ( R ¯ * ( U , V ) W , W ) = g ( R * ( U , V ) W , W ) + g ¯ ( h * ( U , W ) , h ( V , W ) ) g ¯ ( h * ( U , W ) , h ( V , W ) ) .
Thus, the statistical curvature tensor fields of M ¯ and M are, respectively, specified by
S ¯ = 1 2 ( R ¯ + R ¯ * ) and S = 1 2 ( R + R * ) .
For U T r M , we put
φ U = t a n ( φ U ) + n o r ( φ U ) = P U + F U ,
where P U ( P * U ) and F U ( F * U ) indicate the tangential and normal components of φ U ( φ * U ), respectively. Likewise, we can write
φ * U = t a n ( φ * U ) + n o r ( φ * U ) = P * U + F * U .

3. Background of Statistical Submersions

This segment provides the prior knowledge required for S S .
Let us consider two semi-Riemannian manifolds, M ¯ and N , and let a semi-Riemannian submersion ω : M ¯ N such that ω * maintains the lengths of horizontal vectors, and all the fibers are semi-Riemannian submanifolds of M ¯ (for more details, see [9,21]). Abe and Hasegawa [11] investigated affine submersions with horizontal distribution from a statistical manifold. Furthermore, S S was discussed by Takano in [12,13].
Let a semi-Riemannian submersion ω : ( M ¯ , g ¯ ) ( N , g ^ ) between the semi-Riemannian manifolds ( M ¯ , g ¯ ) and ( N , g ^ ) . The semi-Riemannian submanifold ω 1 ( x ) has n 2 dimensions and an induced metric g known as a fiber and denoted by M for any point x N . The vertical and horizontal distributions in the tangent bundle T M ¯ of M ¯ are indicated by V ( M ¯ ) and H ( M ¯ ) , respectively. Thus, we have
T ( M ¯ ) = V ( M ¯ ) H ( M ¯ ) .
If there is a vector field X on M ¯ , we refer to it as projectable. Vector field X ^ on N , such that ω * ( X r ) = X ^ ω ( r ) , for each r M ¯ . In this instance, X and X ^ are referred to as ω -related. A vector field X on H ( M ¯ ) if it is projectable, it is referred to as basic [5]. We have the following information if X and Y are the fundamental vector fields, ω -related to X ^ , Y ^ :
  • g ^ ( X ^ , Y ^ ) ω = g ¯ ( X , Y ) ,
  • H [ X , Y ] is a fundamental vector field is H [ X , Y ] , and ω * H [ X , Y ] = [ X ^ , Y ^ ] ω . vector field and ω * H [ X , Y ] = [ X ^ , Y ^ ] ω ,
  • For any vertical vector field U, [ X , U ] is vertical.
O’Neill’s law describes the geometry of semi-Riemannian submersions. Tensors T and A are defined as follows using [5]:
T E F = H ¯ V E V F + V ¯ V E H F ,
A E F = H ¯ H E V F + V ¯ H E H F
with respect to any vector fields E and F on M ¯ . It is clear that skew-symmetric operators T E and A E on the tangent bundle of M ¯ reverse the vertical and horizontal distributions. We provide a summary of the characteristics of tensor fields T and A . If E , F are vertical vector fields on M ¯ , and X , Y are horizontal vector fields, we possess
T E F = T F E ,
A X Y = 1 2 V [ X , Y ] = A Y X .
Let ω : M ¯ N be a semi-Riemannian submersion from a statistical manifold ( M ¯ , ¯ , g ¯ ) . Let us use symbols and * to represent the affine connections on M . It is obvious that
E F = V ¯ E F and E * F = V ¯ E * F
for vertical vector fields E and F on M ¯ . It is simple to observe that and * are conjugate to each other and torsion-free with respect to g .
Let submersion ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) between two statistical manifolds be a statistical submersion if ω obeys ω * ( ¯ X Y ) r = ( ^ X ^ Y ^ ) ω ( r ) for basic vector field X , Y and r M ¯ . Shifting ∇ for * in the aforementioned expressions, we derive T * and A * [12]. A and A * vanish if and only if H ( M ¯ ) is integrable with respect to ∇ and * , respectively. For E , F V ( M ¯ ) and X , Y H ( M ¯ ) , we produce
g ¯ ( T E F , X ) = g ¯ ( F , T E * X ) and g ¯ ( A X Y , E ) = g ¯ ( Y , A X * E ) .

4. Properties of Statistical Submersions

In this section, we discuss some useful properties of statistical submersion proposed by Takano [12]. First, we have the following lemmas for this study. Therefore, for a statistical submersion ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) , we have [5,12]
Lemma 2 
([12]). If X and Y are horizontal vector fields, then A X Y = A Y * X .
Lemma 3 
([12]). For X , Y H ( M ¯ ) and E , F V ( M ¯ ) . Then we have
¯ E F = T E F + E F , ¯ E * F = T E * F + E * F ,
¯ E X = T E X + H ¯ E X , ¯ E * X = T E * X + H ¯ * E X ,
¯ X E = A X E + V ¯ X E , ¯ X * E = A X * E + V ¯ X * E ,
¯ X Y = H ¯ X Y + A X Y , ¯ X * Y = H ¯ X * Y + A X * Y .
Furthermore, if X is basic, then H ¯ E X = A X E and H ¯ E * X = A X * E .
Moreover, let R ^ ( X , Y ) Z (resp. R ^ * ( X , Y ) Z ) is a horizontal vector field like that
ω * ( R ^ ( X , Y ) Z ) = R ^ ( ω * X , ω * Y ) ω * Z
at each point r M ¯ , where R ^ (resp. R ^ * ) be the curvature tensor with respect to the induced affine connection ^ (resp. ^ * ). Thus we have the following theorem [12].
Theorem 2 
([12,14]). If ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) is a statistical submersion then for E , F , G , H V ( M ¯ ) and X , Y , Z , W H ( M ¯ )
g ¯ ( R ( E , F ) G , H ) = g ¯ ( R ¯ ( E , F ) G , H ) + g ¯ ( T E G , T F * H ) g ¯ ( T F G , T E * H ) ,
g ¯ ( R ( X , Y ) Z , W ) = g ¯ ( R ^ ( X , Y ) Z , W ) + g ¯ ( ( A X + A X * ) Y , A Z * W )
g ¯ ( A Y Z , A X * W ) + g ¯ ( A X Z , A Y * W ) .
g ¯ ( R ( X , E ) F , Y ) = g ¯ ( ( ¯ X T ) E F , Y ) g ¯ ( ( ¯ E A ) X , F )
+ g ¯ ( A X E , A Y * F ) g ¯ ( T E X , T F * Y ) ,
g ¯ ( R ( X , E ) Y , F ) = g ¯ ( ¯ X T ) E Y , F ) g ¯ ( ( ¯ E A ) X Y , F )
g ¯ ( A X E , A Y F ) g ¯ ( T E X , T F Y ) .
Now, we describe with K 1 , K 2 , , K m , X 1 , , X n and E 1 , E 2 , E t the orthonormal frame of T ( M ¯ ) , H ( M ¯ ) and V ( M ¯ ) , respectively, such that K i = X i , 1 i n and K n + t = E t , 1 t s . With ε b a and ε a * b , we jointly define the connection forms in terms of local coordinates K 1 , , K m with respect to the affine connection ¯ and its conjugate ¯ * . Adopting (1), we produce
ε a * b = ε b a , 1 a , b m
and
g ¯ ( T X , T Y ) = t = 1 s g ¯ ( T E t X , T E t Y ) ,
for any X , Y H ( M ¯ ) . The horizontal vector fields accordingly determine the fiber’s mean curvature vector field with regard to the affine connection ¯ and its conjugate connection ¯ * ,
N = t = 1 s T E t E t and N * = t = 1 s T E t * E t .

5. Kenmotsu-like Statistical Submersion ( K . l . s . s )

Assume that ( M ¯ , φ , ξ , ν , g ¯ ) is an almost contact metric manifold. If ω : M ¯ N is a semi-Riemannian submersion, each fiber is a φ -invariant semi-Riemannian submersion of M ¯ and vector field ξ is tangent to M ¯ ; therefore, ω is an almost contact metric submersion. If U is basic on M ¯ , which is ω -related to U ^ on N , then φ U (resp. φ * U ) is basic and φ -related to φ U ^ (resp. φ * U ^ ) [14].
Analogous to the Sasaki-like statistical submersion [14], we describe K . l . s . s as follows:
Definition 1. 
A S S ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) is K . l . s . s if ( M ¯ , ¯ , φ , ξ , ν , g ¯ ) is a K . l . s . m , if each fiber is a φ-invariant semi-Riemannian submanifold of M ¯ and tangent to vector field ξ.
Therefore, we produced the following results:
Lemma 4. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s then for X H ( M ¯ ) and E V ( M ¯ ) , we have
A X ξ = X ,
T E ξ = E ,
E ξ = 0 ,
V ¯ X ξ = 0 .
Proof. 
In light of Lemma 3, one produces the above relations. □
Lemma 5. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s ; then, we have for E , F V ( M ¯ ) and X , Y H ( M ¯ ) .
( H ¯ X φ ) Y = 0 ,
A X φ Y φ ¯ A X Y = g ¯ ( φ X , Y ) ξ ,
A X φ ¯ E φ A X E = ν ( U ) φ X , if X is basic ,
T E φ X = φ ¯ T E X ,
A φ X E = φ ( A X E ) ,
( V ¯ X φ ¯ ) E = 0 ,
E φ ¯ ) F = g ¯ ( φ E , F ) ξ ν ( F ) φ E .
Proof. 
Since vertical and horizontal distributions are φ -invariant for X , Y H ( M ¯ ) , in view of Lemma 3 and (10), we obtain (35). Now, (36)–(38) follows for E V ( M ¯ ) and X H ( M ¯ ) with using Lemma 3 and (10). Similarly, we produce (39) and (40) for E , F V ( M ¯ ) . Immediately, this also gives us (41). □
Adopting Lemmas 4 and 5, the following results entail:
Theorem 3. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s . Then, ( N , ^ , g ^ ) is a Kähler-like statistical manifold and M , , φ ¯ , ξ , ν , g ) a K . l . s . m .
Proof. 
The above lemmas show that each fiber is K . l . s . m . Now, we prove that M , , φ ¯ , ξ , ν , g ) is a Kähler-like statistical manifold. Let X , Y , Z be a basic vector field and ω related to X ^ , Y ^ , Z ^ . Now, we have
g ^ ( ( ^ X ^ J ) Y ^ , Z ^ ) = g ^ ( ^ X ^ J Y ^ J ^ X ^ Y ^ , Z ^ )
= g ^ ( ω * ( ¯ X φ Y ) ω * ( φ ¯ X ) , ω * Z )
= g ¯ ( ¯ X φ Y φ ¯ X Y , Z ) = g ¯ ( ( g ¯ ( φ X , Y ) ξ ν ( Y ) φ X , Z ) ) .
Since ( M ¯ , ¯ , g ¯ ) is a K . l . s . m . From the above expression, we produce
( ^ X ^ J ) Y ^ = g ¯ ( φ X , Y ) ξ ν ( Y ) φ X ,
which shows that the base manifold is a Kähler-like statistical manifold. □
Lemma 6. 
Let a K . l . s . s ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) . Then
A X Y = g ¯ ( X , Y ) ξ + ν ( X ) ν ( Y ) ξ ,
if d i m ( M ) = 1 .
Proof. 
Consider ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) is a K . l . s . s . Thus,
( ¯ X φ ) Y = ¯ X φ Y φ ¯ X Y .
Setting Y = φ Y in the above expression, we find
= ¯ X Y + g ¯ ( ¯ X Y , ξ ) ξ + g ¯ ( Y , ¯ X * ξ ) ξ + ν ( Y ) ¯ X ξ φ ¯ X φ Y .
Adopting Lemma 3, we produce
= A X Y H ¯ X Y + g ¯ ( A X Y , ξ ) ξ φ A X φ Y φ H ¯ X φ Y .
Hence, the vertical parts from (43) hold
g ¯ ( φ X , φ Y ) ξ = A X Y + g ¯ ( A X Y , ξ ) ξ φ A X φ Y .
Because g ¯ ( A X Y , ξ ) = 0 , g ¯ ( φ X , φ Y ) ξ = A X Y . Because d i m ( M ) = 1 , we obtain the required results. □
By virtue of Lemma 4, we obtain ( φ ¯ + φ ¯ * ) A X Y = 0 . This entails the following.
Theorem 4. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s . Then, for X , Y H ( M ¯ ) , we have
A X Y = g ¯ ( X , Y ) ξ + ν ( X ) ν ( Y ) ξ ,
if rank ( φ ¯ + φ ¯ * ) = d i m ( M ) 1 .
Again, in view of Lemma 1 and using ( φ ¯ + φ ¯ * ) A X Y = 0 , we obtain the following corollary:
Corollary 1. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s . Then, for X , Y H ( M ¯ ) , we have
A X Y = g ¯ ( X , Y ) ξ + ν ( X ) ν ( Y ) ξ ,
if φ ¯ = φ ¯ * .

6. Curvature-Based Characteristics of Kenmotsu-like Statistical Submersion

Statistical manifolds on almost Hermite-like manifolds were proposed by Takano in [12]. if J is parallel with respect to the ¯ , then ( M ¯ , ¯ , J , g ¯ ) is called a Kähler-like statistical manifold [12]. Moreover, curvature tensor R on a Kähler-like manifold ( M ¯ , ¯ , J , g ¯ ) with respect to ¯ is given by
R ( X , Y ) Z = c 4 [ g ¯ ( Y , Z ) X g ¯ ( X , Z ) Y g ¯ ( Y , J Z ) J X
+ g ¯ ( X , J Z ) J Y + ( g ¯ ( X , J Y ) g ¯ ( Y , J X ) ) J Z ] .
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s . Then, the expression for the curvature tensor of ( M ¯ , ¯ , φ , ξ , ν , g ¯ ) is given by (11). Adopting Theorem 2, we produce
g ¯ ( R ¯ ( E , F ) G , H ) + g ¯ ( T E G , T F * H ) g ¯ ( T F G , T E * H )
= c 3 4 { g ( E , G ) g ¯ ( E , H ) g ( E , G ) g ¯ ( F , H ) } + c + 1 4 { g ( φ F , G ) φ E g ( φ E , G ) φ F 2 g ( φ E , F ) g ¯ ( φ G , H ) ν ( F ) ν ( G ) g ( E , H ) + ν ( E ) ν ( G ) g ( F , H ) + ν ( F ) ν ( G ) ν ( H ) g ( G , E ) ν ( E ) ν ( H ) g ( G , F ) } ,
g ¯ ( ( ¯ E T ) F G , X ) g ¯ ( ( ¯ F T E G , X ) = 0 ,
g ¯ ( ( ¯ E T ) F X , G ) g ¯ ( ( ¯ F T E X , G ) = 0 ,
g ¯ ( ( ¯ E A ) X F , Y ) g ¯ ( ( ¯ F A X E , T ) + g ¯ ( T E X , T V * Y )
g ¯ ( A X E , A Y * F ) + g ¯ ( A X F , A Y * E )
= c + 1 4 [ g ¯ ( E , φ F ) g ¯ ( φ E , V ) ] g ¯ ( φ , X , Y ) ,
g ¯ ( [ V ¯ X , E ] E , F ) g ¯ ( ¯ [ X , E ] F , G ) g ¯ ( T E F , A X * G ) + g ¯ ( T E * G , A X F ) = 0 ,
g ¯ ( ( ¯ X T ) E F , Y ) g ¯ ( ( ¯ E A X F , Y ) + g ¯ ( A X E , A Y * F ) g ¯ ( T E X , T F * Y )
= c 3 4 g ¯ ( E , F ) g ¯ ( X , Y ) c + 1 4 [ ν ( E ) ν ( F ) g ¯ ( X , Y ) + g ¯ ( E , φ ¯ F ) g ¯ ( φ X , Y ) ] ,
g ¯ ( ( ¯ X T ) E Y , F ) g ¯ ( ( ¯ E A ) X Y , F ) + g ¯ ( T E X , T F Y ) g ¯ ( A X E , A Y F )
= c 3 4 g ¯ ( E , F ) g ¯ ( X , Y ) + c + 1 4 [ ν ( E ) ν ( F ) g ¯ ( X , Y ) + g ¯ ( φ ¯ E , F ) g ¯ ( X , φ Y ) ] ,
g ¯ ( ( ¯ X A ) Y E , Z ) g ¯ ( T E X , A Y * Z ) g ¯ ( T E Y , A X * Z ) + g ¯ ( A X Y , T E * Z ) = 0 ,
g ¯ ( ( ( ¯ X T ) E Y , Z ) g ¯ ( ( ¯ Y T ) E X , F ) g ¯ ( ¯ E T ) X Y , F ) + g ¯ ( T E X , T F )
= c + 1 4 [ g ¯ ( X , φ Y ) g ¯ ( φ X , Y ) ] g ¯ ( φ ¯ E , F ) ,
where Λ X = A X + A X * . We also produce
g ¯ ( ( ¯ X A ) Y E , Z ) g ¯ ( ¯ Y A ) X E , Z ) + g ¯ ( T E * Z , Λ X Y ) = 0 ,
similarly
g ¯ ( ( ¯ X A ) Y Z , E ) g ¯ ( ¯ Y A ) X Z , E ) + g ¯ ( T E Z , Λ X Y ) = 0 ,
Now, from Theorem 2, we produce
g ¯ ( R ^ ( X , Y ) Z , W ) g ¯ ( A Y Z , A X * W ) + g ¯ ( A X Z , A X * W ) + g ¯ ( Λ X Y , A Z * W )
= c 3 4 [ g ¯ ( Y , Z ) g ¯ ( X , W ) g ¯ ( X , Z ) g ¯ ( Y , W ) ] + c 1 4 [ g ¯ ( Y , φ Z ) g ¯ ( φ X , W )
+ g ¯ ( X , φ Z ) g ¯ ( φ Y , W ) + ( g ¯ ( X , φ Y ) g ¯ ( φ X , Y ) ) ] g ¯ ( φ Z , W ) ,
for E , F , G , H V ( M ¯ ) and X , Y , Z , W H ( M ¯ ) .
Using Lemma 5, and Theorems 4 and (55) together, we produce the following results:
Theorem 5. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s . Let the total manifold and base manifold be holds of the curvature tensor of the (11) kind with c R and (44) with c 3 , respectively; then, rank ( φ ¯ + φ ¯ * ) = d i m ( M ) 1 .
Corollary 2. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s . If rank d i m ( M ) = 1 and the total manifold holds the curvature tensor of the (11) kind with c R , the base manifold obeys the curvature tensor of the (44) kind with c 3 .
Once again, using Lemma 1 and Theorem 4, Equation (49) can be reconstructed as below:
g ¯ ( ( ¯ X ) T ) E F , Y ) g ¯ ( T E X , T F * Y )
= ( c 3 ) 4 [ g ¯ ( X , Y ) ( g ¯ ( E , F ) ν ( E ) ν ( F ) ) g ¯ ( φ X , Y ) g ¯ ( E , φ ¯ F ) ] ;
thus, in light of Lemma 1, we obtain
g ¯ ( ¯ X N , Y ) g ¯ ( T * X , T * Y ) = ( c 3 ) 4 [ ( s 1 ) g ¯ ( X , Y ) ( t r a c e ( φ ¯ ) ) g ¯ ( φ X , Y ) ] .
If H ¯ X N = 0 , then we obtain c 3 = 0 or t r a c e ( φ ¯ ) = 0 . Thus one obtain
Theorem 6. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s and the total manifold holds the curvature tensor of kind (11) with c. Let the rank ( φ ¯ + φ ¯ * ) = d i m ( M ) 1 and H ¯ X N = 0 for X H ( M ¯ ) . Then,
1. 
each fiber is totally geodesic submanifold of M ¯ and the base manifold is flat if c = 3 , such that the curvature holds the kind (11) with 3.
2. 
here t r a c e ( φ ¯ ) = 0 and s > 1 ,
(i) 
if g is positive definite, then c 3 0 ,
(ii) 
c 3 < 0 and X is spacelike (timelike) or c 3 > 0 and X is timelike (spacelike) if and only if T * X is spacelike (timelike),
(iii) 
horizontal vector X is null if and only if T * X is null.
Corollary 3. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s and the total manifold hold the curvature tensor of kind (11) with c. If rank ( φ ¯ + φ ¯ * ) = d i m ( M ) 1 and N is a constant, the result is identical to that of Theorem 7.
In addition, (50) clearly shows that
g ¯ ( ( ¯ X * ) T * ) E F , Y ) g ¯ ( T E * X , T F Y )
= ( c 3 ) 4 [ g ¯ ( X , Y ) ( g ¯ ( E , F ) ν ( E ) ν ( F ) ) g ¯ ( φ X , Y ) g ¯ ( E , φ ¯ F ) ] ,
which implies that, from Lemma 1, we obtain
g ¯ ( ¯ X * N * , Y ) g ¯ ( T X , T Y ) = ( c 3 ) 4 [ ( s 1 ) g ¯ ( X , Y ) ( t r a c e ( φ ¯ ) ) g ¯ ( φ X , Y ) ] .
If H ¯ X * N * = 0 , we obtain c 3 = 0 or t r a c e ( φ ¯ ) = 0 . Thus, we produce
Theorem 7. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s and the total manifold hold the curvature tensor of kind (11) with c. Let rank ( φ ¯ + φ ¯ * ) = d i m ( M ) 1 and H ¯ X * N * = 0 for X H ( M ¯ ) . Then
1. 
each fiber is totally geodesic submanifold of M ¯ and the base manifold is flat if c 3 = 0 , such that the curvature hold the (11) kind with 3.
2. 
in the case of t r a c e ( φ ¯ ) = 0 and s > 1 ,
(i) 
if g is positive definite, then c 3 0 ,
(ii) 
c 3 < 0 and X is spacelike (timelike) or c 3 > 0 and X is timelike (spacelike) if and only if T X is spacelike (timelike),
(iii) 
horizontal vector X is null if and only if T X is null.
Corollary 4. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s and the total manifold hold the curvature tensor of (11) kind with c. Let the rank ( φ ¯ + φ ¯ * ) = d i m ( M ) 1 and N * is constant, the result is identical to that of Theorem 7.

7. Kenmotsu-like Statistical Submersion with Conformal Fibers

This section is devoted to the K . l . s . s with conformal fibers ( C F s ).
Let us assume that ω , like a S S , admits C F . For E , F V ( M ¯ ) if T E F = 0 ( T E F = 1 s g ¯ ( E , F ) N ) satisfies, then ω is S S with isometric fibers ( C F ). Then, from Lemma 1, we can obtain T E ξ = 0 .
Lemma 7. 
If ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s with C F s ; then, ω has isometric fibers.
Theorem 8. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s with C F s . Let the total manifold and each fiber that is a totally geodesic submanifold of M ¯ hold the curvature tensor of the (11) kind with c.
Theorem 9. 
Let ω : ( M ¯ , ¯ , g ¯ ) ( N , ^ , g ^ ) be a K . l . s . s with C F s and the total manifold hold the curvature tensor of the (11) kind with c. Let the rank ( φ ¯ + φ ¯ * ) = d i m ( M ) 1 ; then,
1. 
if c = 3 the total manifold satisfies the (11) kind;
2. 
the base manifold is flat;
3. 
if c = 3 , each fiber holds the (11) kind.
Example 4. 
Let ( M ¯ = R × f B 2 , ¯ , g ¯ = d t 2 + f 2 g B ) be a K . l . s . m obtained in Example 1. Then, the K . l . s . s
ω : M ¯ ( R 2 , ¯ R 2 , g R 2 )
as the projection mapping is defined by
ω ( t , x 1 , x 2 ) = ( x 1 , x 2 ) .
From this, V ( M ¯ ) = < t > and H ( M ¯ ) = < x 1 , x 2 > . It is easy to verify that dim ( M ) = 1 and A = 0 . Hence, H ( M ¯ ) is integrable with respect to ¯ .
Example 5. 
Let R × f R 4 , ^ , g ^ = d t 2 + f 2 g R 4 be the β K . l . s . m given in Example 2. Next, we describe the β K . l . s . s F : R × f R 4 , ^ , g ^ R 4 , R 4 , g R 4 as the projective mapping
F t , x 1 , x 2 , y 1 , y 2 = x 1 , x 2 , y 1 , y 2 .
Then, we produce V M = < t > and H M = < x 1 , x 2 , y 1 , y 2 > . It is trivial that dim M ¯ = 1 . Since x 1 , x 2 , y 1 , y 2 H M , we obtain A = 0 .
Example 6. 
Let R × f M ¯ , , g = d t 2 + f 2 g ¯ be the β K . l . s . m given in Example 3. Next we describe the β K . l . s . s F : R × f M ¯ , , g M ¯ , g ¯ , ¯ ( 1 ) as the projective mapping.
F ( x , y ) = y .

8. Discussion

This subject is from differential geometry, which is a traditional yet very active branch of pure mathematics with notable applications in a number of areas of physics. Until recently, applications in the theory of statistics were fairly limited, but within the last few years, there has been intensive interest in the subject. So, the geometric study of S S is new and has many research problems.
In this discourse, we defined K . l . s . s and exhibited that, for a K . l . s . s , the base manifold is a Kähler-like statistical manifold, and the fibers are K . l . s . m . Moreover, we characterized the total space and the base space of such submersions. We presented a K . l . s . s along conformal fibers having isometric fibers. Using these results, different spaces can be studied for these issues, and many new relationships between intrinsic and extrinsic curvatures can be discussed.

Author Contributions

Conceptualization, M.D.S. and A.N.S.; methodology, M.D.S. and A.N.S.; formal analysis, M.D.S., A.N.S. and H.A.; investigation, M.D.S. and A.N.S.; resources, M.D.S. and A.N.S.; writing—original draft preparation, M.D.S.; writing—review and editing, A.N.S.; visualization, M.D.S. and A.N.S.; supervision, M.D.S. and A.N.S.; project administration, F.M.; funding acquisition, F.M. All authors have read and agreed to the published version of the manuscript.

Funding

The author Fatemah Mofarreh expresses her gratitude to Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2022R27), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

We thank the anonymous reviewers for their careful reading of our manuscript and their many insightful comments and suggestions. The author Fatemah Mofarreh expresses her gratitude to Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2022R27), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.

Conflicts of Interest

The authors declare no conflict of interest.

Abbreviations

Kenmotsu-like statistical manifold: K.l.s.m, Kenmotsu-like statistical submersion: K.l.s.s., Riemannian submersion; RS, statistical submersion: SS, conformal fibers: CFs.

References

  1. Amari, S. Differential-Geometrical Methods in Statistics. In Lecture Notes in Statistics; Springer: New York, NY, USA, 1985; p. 28. [Google Scholar]
  2. Kenmotsu, K. A class of almost contact Riemannian manifolds. Tohoku Math. J. 1972, 24, 93–103. [Google Scholar] [CrossRef]
  3. Furuhata, H.; Hasegawa, I.; Okuyama, Y.; Sato, K. Kenmotsu statistical manifolds and warped product. J. Geom. 2017, 108, 1175–1191. [Google Scholar] [CrossRef]
  4. Murathan, C.; Ṣahin, B. A study of Wintgen like inequality for submanifolds in statistical warped product manifolds. J. Geom. 2018, 109, 30. [Google Scholar] [CrossRef]
  5. O’Neill, B. The fundamental equations of a submersion. Mich. Math. J. 1966, 13, 458–469. [Google Scholar] [CrossRef]
  6. Gray, A. Pseudo-Riemannian almost product manifolds and submersion. J. Math. Mech. 1967, 16, 715–737. [Google Scholar]
  7. Watson, B. G, G’-Riemannian submersions and nonlinear gauge field equations of general relativity. In Global Analysis—Analysis on Manifolds; Rassias, T., Ed.; Teubner-Texte zur Mathematik: Leipzig, Germany, 1983; Volume 57, pp. 324–349. [Google Scholar]
  8. Ṣahin, B. Anti-invariant Riemannian submersions from almost Hermitian manifolds. Cent. Eur. J. Math. 2010, 8, 437–447. [Google Scholar] [CrossRef]
  9. Falcitelli, M.; Ianus, S.; Pastore, A.M. Riemannian Submersions and Related Topics; World Scientific: River Edge, NJ, USA, 2004. [Google Scholar]
  10. Barndroff-Nielson, O.E.; Jupp, P.E. Differential geometry, profile likelihood, L-sufficient and composite transformation models. Ann. Statist. 1988, 16, 1009–1043. [Google Scholar]
  11. Abe, N.; Hasegawa, K. An afiine submerion with horizontal distribution and its application. Differ. Geom. Appl. 2001, 14, 235–250. [Google Scholar] [CrossRef]
  12. Takano, K. Statistical manifolds with almost complex structures and its statistical submerions. Tensor New Ser. 2004, 65, 123–137. [Google Scholar]
  13. Takano, K. Examples of the statistical submerions on the statistical model. Tensor New Ser. 2004, 65, 170–178. [Google Scholar]
  14. Takano, K. Statistical manifolds with almost contact structures and its statistical submersions. J. Geom. 2006, 85, 171–187. [Google Scholar] [CrossRef]
  15. Vilcu, A.D.; Vilcu, G.-E. Statistical manifolds with almost quaternionic structures and quaternionic Kähler-like statistical submersions. Entropy 2015, 17, 6213–6228. [Google Scholar] [CrossRef]
  16. Aytimur, H.; Özgür, C. On Cosymplectic-like Statistical Submersions. Mediterr. J. Math. 2019, 16, 70. [Google Scholar] [CrossRef]
  17. Vilcu, G.-E. Almost Product Structures on Statistical Manifolds and Para-Kähler-like Statistical Submersions. Bull. Sci. Math. 2021, 171, 103018. [Google Scholar] [CrossRef]
  18. Beri, A.; Erken, I.K.; Murathan, C. Anti-invariant Riemannian submersions from Kenmotsu manifolds onto Riemannian manifolds. Turk. J. Math. 2016, 40, 540–552. [Google Scholar] [CrossRef]
  19. Lee, J.W. Anti-invariant ξ-Riemannian submersions from almost contact manifolds. Hacettepe J. Math. Stat. 2013, 42, 231–241. [Google Scholar]
  20. Siddiqi, M.D.; Akyol, M.A. Anti-invariant ξ-Riemannian Submersions from hyperbolic β-Kenmotsu Manifolds. CUBO Math. J. 2018, 20, 79–94. [Google Scholar] [CrossRef]
  21. Ṣahin, B. Riemannian Submersions, Riemannian Maps in Hermitian Geometry, and Their Applications; Elsiever: Amsterdam, The Netherlands, 2017. [Google Scholar]
  22. Siddiqui, A.N.; Chen, B.-Y.; Siddiqi, M.D. Chen inequalities for statistical submersions between statistical manifolds. Intern. J. Geom. Meth. Mod. Phys. 2021, 18, 2150049. [Google Scholar] [CrossRef]
  23. Siddiqui, A.N.; Siddiqi, M.D.; Alkhaldi, A.H.; Ali, A. Lower Bounds on Statistical Submersions with vertical Casorati curvatures. Intern. J. Geom. Meth. Mod. Phys. 2022, 19, 2250044. [Google Scholar] [CrossRef]
  24. Siddiqui, A.N.; Shahid, M.H.; Uddin, S.B.-Y. Chen’s inequalities for Lagrangian statistical submersions. Accept. Intern. Elec. J. Geom. 2022, 18, 17. [Google Scholar]
  25. Siddiqui, A.N.; Siddiqi, M.D.; Alkhaldi, A.H. Bounds for Statistical Curvatures of Submanifolds in Kenmotsu-like Statistical Manifolds. Mathematics 2022, 10, 176. [Google Scholar] [CrossRef]
  26. Aytimur, H.; Kon, M.; Mihai, A.; Özgür, C.; Takano, K. Chen inequalities for statistical submanifolds of Kähler-like statistical manifolds. Mathematics 2019, 7, 1202. [Google Scholar] [CrossRef]
  27. 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]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Siddiqi, M.D.; Siddiqui, A.N.; Mofarreh, F.; Aytimur, H. A Study of Kenmotsu-like Statistical Submersions. Symmetry 2022, 14, 1681. https://doi.org/10.3390/sym14081681

AMA Style

Siddiqi MD, Siddiqui AN, Mofarreh F, Aytimur H. A Study of Kenmotsu-like Statistical Submersions. Symmetry. 2022; 14(8):1681. https://doi.org/10.3390/sym14081681

Chicago/Turabian Style

Siddiqi, Mohd. Danish, Aliya Naaz Siddiqui, Fatemah Mofarreh, and Hülya Aytimur. 2022. "A Study of Kenmotsu-like Statistical Submersions" Symmetry 14, no. 8: 1681. https://doi.org/10.3390/sym14081681

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