1. Introduction
In the 1980s, the notion of statistical structure was introduced and began to play an important role in building a very effective branch called information geometry, which is a combination of differential geometry and statistics. In fact, information geometry joins fundamental differential geometry tools like connection, metric and curvature to statistical models and makes it possible to describe statistical objects as geometric ones. Describing statistical spaces using geometry helps us better understand statistical behaviors. A detailed introduction to information geometry can be found in [
1]. Its applications could be found in various fields of science such as in statistical inference, time series, linear systems, quantum systems, image processing, physics, computer scince and machine learning; see [
2,
3,
4].
Let
be an open subset of
, and let
be a sample space with parameter
. The set of probability density functions
is known as a statistical model. For a given statistical model
S, the Fisher information matrix
is defined as
where
,
, and
is the expectation of
with respect to
. When equipped with the Fisher information matrix,
S forms a statistical manifold.
Historically, Fisher introduced Equation (
1) in 1920 as a mathematical measure of information (see [
5]). It has been established that if the metric tensor
g is positive-definite and its components converge to real values, then
defines a Riemannian manifold, where
g is referred to as the Fisher metric. Later, in [
6], C. R. Rao introduced a geometric framework for the space of probability distributions by using the Fisher information metric to define a Riemannian distance.
Using the Fisher metric
g, Amari’s
connection
for any
with respect to
is expressed in terms of the Christoffel symbols as
This affine connection plays a fundamental role in information geometry, providing a differential geometric framework for statistical inference. Different choices of
lead to distinct structures, such as dual
connections, which are central to statistical estimation theory and machine learning. In particular, the case
corresponds to the Amari–Chentsov connection, while
defines its conjugate connection [
7,
8].
In 1985, Amari studied the statistical manifolds from the point of view of information geometry, and he gave a new description of the statistical distributions by using the obtained geometric structures. In Amari’s definition, a statistical manifold is a triple
consisting of a smooth manifold
M, a non-degenerate metric
g on it and a torsion-free connection ∇ with the property that
is symmetric [
9]. An alternative definition of a statistical manifold was given by H. Furuhata and I. Hasegawa in [
10]. They described it as a (pseudo-)Riemannian manifold equipped with a pair of torsion-free conjugate connections. Earlier studies on pairs of connections that are compatible with a
g structure can be traced back to the work of Cruceanu and Miron in [
11].
The relationship between an affine connection and different geometric structures such as a pseudo-Riemannian metric, a non-degenerate two-form, and a bundle isomorphism has been studied in various settings. A well-known example is the case of almost (para-)Hermitian manifolds
, where the 2-form
is defined by
. In [
12], Fei and Zhang showed that if the connection ∇ satisfies the Codazzi condition with respect to both the metric
g and the structure
L, then the manifold carries a (para-)Kähler structure. They introduced the concept of Codazzi-(para-)Kähler manifolds as a generalization of (para-)Kähler statistical manifolds. Later, in [
13], this study was extended to connections with torsion. The authors explored torsion couplings between such connections and the pair
on almost (para-)Hermitian manifolds. They proved that
is torsion-coupled if and only if ∇ is (para-)holomorphic and
L is integrable. Statistical geometry on almost anti-Hermitian (or Norden) manifolds has also been developed. In [
14,
15], Salimov and Turanli introduced anti-Kähler-Codazzi manifolds. In [
16], Etayo and coauthors showed that Kähler–Codazzi manifolds reduce to Kähler manifolds within all four types of
-geometry. Vílcu introduced para-Kähler-like statistical manifolds in [
17] and showed that if they have constant curvature in the sense of Kurose, their statistical structure becomes Hessian. For further developments in statistical geometry, see [
18,
19,
20,
21,
22].
The tangent bundle of a differentiable manifold plays a crucial role in various areas of differential geometry, mathematical physics, and information geometry. Understanding the geometry of tangent bundles provides deep insights into the intrinsic and extrinsic properties of the base manifold. One of the fundamental approaches in this context is the study of natural metrics, which extend the geometric structure of the base manifold to its tangent bundle. Among these, the Cheeger Gromoll metric has attracted significant attention due to its ability to capture the underlying geometry of tangent bundles in a natural and meaningful way.
The Cheeger Gromoll metric was originally introduced in the context of Riemannian geometry by Cheeger and Gromoll [
23] and later explicitly formulated on tangent bundles by Musso and Tricerri [
24]. This metric, along with other natural metrics such as the Sasaki metric and Kaluza–Klein metric, has been extensively studied in relation to curvature properties, geodesics, and holonomy structures. While these studies have provided valuable insights into the geometry of tangent bundles in Riemannian settings, the extension of the Cheeger Gromoll metric to statistical manifolds remains largely unexplored.
Additionally, statistical structures on tangent bundles have been studied in recent works such as [
25,
26], adding new insights to the field.
This paper aims to extend the study of the Cheeger Gromoll metric to statistical manifolds. By conducting this study, we provide a new perspective on the interaction between natural metrics and statistical structures, offering deeper insights into how geometric properties evolve when a manifold is endowed with both a metric and a statistical connection. This work serves as a bridge between differential geometry and information geometry, enabling further exploration of geometric frameworks in statistical inference, machine learning, and quantum information theory.
The paper is organized as follows: In
Section 2, we provide a brief overview of fundamental concepts related to statistical manifolds. In
Section 3, we introduce the vertical and horizontal distributions on the tangent bundle of a statistical manifold
and present the notion of
-adapted frames. Additionally, we define the Cheeger Gromoll-type metric
with respect to these adapted frames. In
Section 4, we derive the Levi–Civita connection
associated with the Cheeger Gromoll metric and compute its components in the adapted frame setting. In
Section 5, we extend the discussion to the statistical structure of the tangent bundle
, which is naturally induced by the statistical manifold
. In
Section 6, we shift our focus to para-holomorphic structures on statistical manifolds. We construct a para-Hermitian structure on the tangent bundle of a para-holomorphic statistical manifold and examine its integrability conditions. In fact, by introducing a para-holomorphic structure on the statistical manifold
, we construct a para-Hermitian structure on the tangent bundle
. We then investigate its integrability and establish the conditions under which these bundles admit a para-holomorphic structure.
2. Statistical Manifolds
Let M be an n-dimensional manifold and , be a local chart around a point . Given the coordinates on M, the local frame on the tangent space is given by the vector fields .
Consider an affine connection ∇ and a pseudo-Riemannian metric g on the manifold M.
- (I)
The affine connection
on
M, defined by
is called the (conjugate) dual connection of ∇ with respect to
g, for any
, where
denotes a set of vector fields on the manifold.
- (II)
The affine connection ∇ is called a Codazzi connection if the cubic tensor field
is totally symmetric. That is, the Codazzi equations hold:
In local coordinates, the equations for the cubic tensor field
take the following form:
hence
where
and
’s are the Christoffel symbols of the Codazzi connection ∇.
- (III)
The triplet is called a statistical manifold if ∇ is a statistical connection, i.e., a torsion-free Codazzi connection. In particular, it is known that if the cubic tensor field vanishes, a torsion-free Codazzi connection ∇ reduces to the Levi–Civita connection .
Consider the one-parameter family of connections given by the convex combination of the torsion-free dual connections ∇ and
, i.e.,
This connection, referred to as the connection, plays a central role in the study of statistical manifolds, as it provides a natural framework to generalize dual connections.
From the above equation, we can derive the following relation
which demonstrates that the connections
and
are dual
connections.
Several particular values of
are of distinguished importance. Setting
in (
6) gives the following two fundamental connections
In addition, setting
results in the Levi–Civita connection
associated with the metric
g, as shown by
Next, the covariant derivative of the metric
g with respect to
is defined as
for any
. In local coordinates, the components of
are given by
This expression reveals how the covariant derivative depends on the connection coefficients, , and the metric components. Moreover, we observe that , showing that the term scales linearly with . Thus, is a statistical manifold for all .
Remark 1. For a statistical structure , we define the tensor field K byThus, satisfies the following properties:Conversely, for a given Riemannian metric g, if a tensor field satisfies the last equations, then the pair defines a statistical structure on M. The skewness tensor
can be used to introduce the
connection as follows:
For every statistical manifold , there exists a naturally associated symmetric trilinear form .
Conversely, let
be a semi-Riemannian manifold with symmetric trilinear form
. Then, define the tensor field
A of type
by
and a linear connection
by
Then, is torsion-free and satisfies . Hence, the triplet becomes a statistical manifold.
It is noteworthy that by considering , the two approaches described above coincide.
3. -Adapted Frames
Let
be a
connection on
M and let
be the tangent bundle of
M with the natural projection
. If we consider
, then the tangent bundle
of
splits into the
-horizontal and
-vertical subspaces
and
with respect to
:
where the
-vertical distribution
and the
-horizontal distribution on
is a complementary distribution
for
on
. Namely, a system of local coordinates
, in the neighborhood
U, induces a system of local coordinates
, where
and
represent the position and direction of a point on
, respectively. Let
, with indices
running over the range
, be the Christoffel symbols of the affine connection
. Then
and
in
u, span the spaces
and
, respectively.
We define
and
. Then,
forms the
-adapted local field of frames of
. Let
be the dual basis of
, where
For any
, we denote by
(and
, respectively) the
-horizontal lift (and the
-vertical lift, respectively) of
X to
. According to (
8) and the above expressions, considering
, it can be seen that
has the following local expression
where
and
are the Christoffel symbols of the Levi–Civita connection
. Thus, the horizontal lift
of
X to
is obtained by
where
is the horizontal lift of
X with respect to the Levi–Civita connection
,
is the
tensor field induced by
y given by
and
is the vertical lift of
.
If
, the energy density associated with
y on
is defined as
Lemma 1. Let be a statistical manifold. Then, the following statements hold:where . Proof. Since the metric
g depends only on
, we have
Additionally, we can express
On the other hand, we know
From the two previous equations, it follows that
□
For a
connection
, the
-curvature tensor
is given by
for any
. We denote
by
for simplicity. Locally, the components of the curvature tensor are determined by
where
. A statistical manifold is said to be
flat if its
curvature tensor vanishes.
According to (
15), the following relations hold
where
. By multiplying both sides of relation (17) by
and noting that
k and
l are summation indices, the following result is obtained:
Therefore, the following identity holds
In particular, for the Levi–Civita connection
, the above equation simplifies to
The Lie bracket of the
-adapted frame of
satisfies the following relations
5. Statistical Structures on
Assuming the Riemannian manifold
induced by the statistical manifold
, we define a new connection on
by
with the coefficients
that are
where
are smooth functions on
and the indices
range over
.
Lemma 2. The connection on is torsion-free if and only if the following relations hold: Proof. Using (
20) and the symmetry property of
, we have
which gives us the first two relations in the statements. Similarly, since
we obtain the second line of relations. Finally, observing that
we derive the third line of relations. This completes the proof. □
Lemma 3. Let be a statistical manifold. Then, is a statistical manifold if and only if (29) holds along with the following equations: Proof. We begin by examining the expression for the covariant derivative of the metric
By interchanging the indices
i and
j in this equation, and applying the Codazzi equations
we deduce condition (i). From
it follows
Furthermore, using the identity
we deduce condition (ii). To derive condition (iii), apply Formula (
14) to
This yields
Therefore, from
and
we conclude (iii). Finally, to establish condition (iv), we compute
By using the Codazzi equation
we have (iv). □
Now, let
be a statistical manifold and
be the cubic tensor field of
with the coefficients
We consider the horizontal lift
of
. Then, we have
We define the tensor field
of type
on
by
Using the above equation, the coefficient of
can be written with respect to
as follows:
where
As is symmetric, is also symmetric with respect to .
Considering the Levi–Civita connection
on
, we define a linear connection
by
Then, is torsion free and satisfies .
Using Theorem 1 and the last equation, we obtain
Next, we apply the above explanations to the following:
Theorem 2. Let be a statistical manifold with the cubic tensor field . Then, is a statistical manifold where is determined by (32). Example 3. We consider the statistical manifold in Example 2. According to (32), the following apply:whereThe last equations satisfy (31). Also, an easy computation shows that , exceptwhere with respect to the λ-adapted frame . So, is a statistical manifold. Hence, Theorem 2 holds. 6. Para-Holomorphic Statistical Structure on
An almost product structure F on a differentiable manifold M is a -tensor field satisfying . The pair is called an almost product manifold. An almost para-complex manifold is an almost product manifold such that the two eigenbundles and , corresponding to the eigenvalues and of F, respectively, have the same rank. (Note that the dimension of an almost para-complex manifold must be even.)
The Nijenhuis tensor
of an almost para-complex structure
F is defined by
An almost para-complex structure
F is called a para-complex structure if
, and a manifold
M endowed with such a structure is called a para-complex manifold. A para-Hermitian manifold
is a para-complex manifold
endowed with a pseudo-Riemannian metric
g such that
g is compatible with the para-complex structure
F, that is
The fundamental
-form
of the para-Hermitian manifold
is the skew-symmetric tensor field defined by
A para-Kähler manifold is a para-Hermitian manifold where the fundamental 2-form is closed, meaning .
Definition 1. A triple is called a λ-para-holomorphic statistical structure on M if is a statistical structure, is a para-Kähler structure on M andwhere K is given by (8). Given a vector field
, the
-tensor field
F defined by
and the tensor
K as
in a neighborhood
, the conditions for a
-para-holomorphic structure on the manifold
M can be expressed locally as follows:
where
. The above equations imply that
, establishing the skew-symmetry of
F.
Example 4. In Example 2, we consider the statistical manifold with the para-complex structure defined by and , which implies . The condition (33) holds if and only if , i.e., . It is straightforward to verify that the relations in (34) are satisfied. Therefore, constitutes a λ-para-holomorphic statistical structure on . 6.1. The Almost Product Structure
Let
be a
-para-holomorphic statistical manifold. Define
as a tensor field of type
on
, which is given by the following:
where
and
are differentiable real functions with respect to
.
It is easy to show that
if and only if the coefficients satisfy the following relations:
Thus, locally, based on the equations above, the almost para-complex structure
on
can be written as
6.2. The Nijenhuis Tensor of
Let
be the Nijenhuis tensor of
, which is defined as
for any
. The structure
is said to be integrable if and only if
.
Proposition 1. The almost para-complex structure defined in (35) is integrable if and only if Proof. Assume that
, and we will show that
. First, observe that since
, thus (
37) implies
Applying this result and (
35), we obtain the equation
Substituting
Y by
y in the above equation, we have
Since
and
, the last equation yields
Substituting
y with
in (
38) and using the above equation, we deduce that
Finally, replacing
Y with
in the above equation, we obtain
By similar reasoning, we also obtain
Therefore, we have shown that all components of the Nijenhuis tensor vanish:
which leads to
. The converse is straightforward. □
Proposition 2. The Nijenhuis tensor can be written with respect to as follows Proof. By the direct computations, we obtain the following
and
Applying these results along with (
20) in (
37), we conclude the assertion. □
Corollary 1. The structure is integrable if and only if the following conditions holdand Additionally, the para-complex structure
is a para-Hermitian structure on the tangent bundle
, i.e.,
if and only if the following conditions are satisfied
From (
39), it follows
or
6.3. Para-Kähler Form
Considering the para-Hermitian manifold
, we define the fundamental 2-form, para-Kähler form
of
as follows
The para-Kähler form
with respect to
is given by
Applying (
35), we perform direct calculations and obtain the following results for the exterior derivative of
:
and
Corollary 2. The para-Kähler form is closed if and only if the following conditions hold: Theorem 3. Let be a λ-para-holomorphic statistical manifold. Then, is a para-Kähler manifold if and only if the conditions stated in Corollaries 1 and 2 are satisfied and Remark 2. Consider the statistical manifold introduced in Example 4. The almost para-complex structure on the tangent bundle of this manifold is defined as follows:According to Corollary 1, the structure is integrable if and only if the following conditions are satisfiedAdditionally, from Corollary 2, the para-Kähler form of the para-Hermitian manifold is closed if and only if the following conditions holdHere, and . Therefore, the statistical manifold is a para-Kähler manifold if and only if (39), (41) and (42) are satisfied. Example 5. We consider the para-Hermitian manifold induced by λ-para-holomorphic statistical manifold in Remark 2 with and . According to the third part of (42), we conclude . In this case, , and this is a contradiction. Thus, this manifold does not admit a para-Kähler structure. 6.4. Para-Holomorphic Statistical Structure on the Statistical Manifold
Now, we study the holomorphic conditions for statistical connections on a tangent bundle with Cheeger Gromoll metric
. For this aim, for the statistical structure
, we define the difference tensor field
as
where
. Denoting the coefficients
by
, we have
Applying Theorem 1 and (
28) to the above equations, the following holds:
We conduct a thorough investigation of the holomorphic conditions for the family of connections
, where
constitutes a statistical structure on the tangent bundle equipped with the Cheeger Gromoll metric
. To rigorously establish these conditions, we systematically examine the fundamental equation
Using (
36) and (
44) in (
45), we compute the following
Theorem 4. Let be a holomorphic statistical manifold. Then, is a holomorphic statistical manifold if and only if the conditions from Theorem 3 are satisfied and moreover, 7. Conclusions
In this paper, we explored the geometric properties of the family of connections on a statistical manifold and extended these structures to the tangent bundle . By deriving explicit expressions for the vertical and horizontal distributions, we introduced the concept of -adapted frames, providing a natural framework for studying the induced statistical structure on equipped with the Cheeger Gromoll-type metric. Furthermore, by incorporating a para-holomorphic structure on , we constructed a para-Hermitian structure on and investigated its integrability.
These results have several practical applications. The connections are important tools in information geometry, where they help model learning processes and statistical inference. The Cheeger Gromoll metric extension gives new ways to describe large and complex parameter spaces, such as those that appear in deep learning and optimization problems.
The para-Hermitian and para-holomorphic structures introduced in this work can also help understand the hidden symmetries and geometric flows in machine learning models. This could lead to better training algorithms, improved generalization, and new ideas in areas like manifold learning, representation learning, information theory, and even quantum machine learning.
In the future, the methods developed here could be used to design geometry-aware machine learning algorithms or study more complex data spaces in statistics and artificial intelligence. We believe that connecting differential geometry with modern data science will continue to create exciting new research directions.