Abstract
In this paper, we investigate the holonomy group of n-dimensional projective Finsler metrics of constant curvature. We establish that in the spherically symmetric case, the holonomy group is maximal, and for a simply connected manifold it is isomorphic to \({\mathcal {D}}i\!f \hspace{-3pt} f_o({\mathbb {S}}^{n-1})\), the connected component of the identity of the group of smooth diffeomorphism on the \({n-1}\)-dimensional sphere. In particular, the holonomy group of the n-dimensional standard Funk metric and the Bryant–Shen metrics are maximal and isomorphic to \({\mathcal {D}}i\!f \hspace{-3pt} f_o({\mathbb {S}}^{n-1})\). These results are the firsts describing explicitly the holonomy group of n-dimensional Finsler manifolds in the non-Berwaldian (that is when the canonical connection is non-linear) case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The holonomy group of a Riemannian or Finslerian manifold is a very natural algebraic object attached to the geometric structure: it is the group generated by parallel translations along loops with respect to the canonical connection. Riemannian holonomy groups have been extensively studied and their complete classification is now known.
On the Finslerian holonomy, relatively few results are known. Z.I. Szabó proved in [18] that in the case where the Finslerian parallel translation is linear, then there exist Riemannian metrics having the same holonomy group, and for Landsberg metrics L. Kozma showed in [8] that the holonomy groups are compact Lie groups consisting of isometries of the indicatrix with respect to an induced Riemannian metric. The first paper showing that the holonomy property of Finsler manifolds can be very different from the Riemannian is [9] by proving that the holonomy group of a Finsler manifold is not necessarily a compact Lie group. In [11] it was proven that there are 2-dimensional Finsler surfaces with infinite dimensional holonomy group, isomorphic to \({\mathcal {D}}i\!f \hspace{-3pt} f_+(\mathbb S^{1})\), the orientation preserving diffeomorphism group of the circle in the orientable case, and as a consequence, isomorphic to \({\mathcal {D}}i\!f \hspace{-3pt}f({\mathbb {S}}^{1})\), the diffeomorphism group of the circle in the non-orientable case. We emphasize that explicit examples of Finsler holonomy groups for nonlinear connection existed only in the 2-dimensional cases.
In this article we are focusing on the holonomy structure of n-dimensional Finsler manifolds. We use the method developed in [7] for the investigation of holonomy properties of Finsler manifolds by constructing a tangent Lie algebra to the holonomy group, called the holonomy algebra, and its subalgebra: the infinitesimal holonomy algebra. After a brief introduction of the basic notation in Section 2, we give the most important element of this theory in Chapter 3. We give a sufficient condition on the holonomy group to be maximal in terms of the infinitesimal holonomy algebra in Theorem 3.3.
In Chapter 4 we investigate the holonomy structure of projective Finsler manifold (M, F) of constant curvature. In [17], Z. Shen proved that in the x-analytic case, those metrics are determined by their Finsler norm function and projective factor at a single point \(x_{\! o}\in M\). We consider the spherically symmetric case, where there exists a point \(x_{\! o}\in M\) where both the norm and the projective factor are nonzero multiples of the Euclidean norm. If the curvature vanishes, then the horizontal distribution associated with the canonical connection in the tangent bundle is integrable, and hence the holonomy group is trivial. This is why we are focusing on the non-flat case. In Theorem 4.5 we show that on a simply connected manifold, a spherically symmetric projective Finsler metrics of nonzero constant curvatures have maximal holonomy group. The holonomy groups in those cases are isomorphic to \({\mathcal {D}}i\!f \hspace{-3pt} f_o(\mathbb S^{n-1})\), the connected component of the identity of the group of smooth diffeomorphism on the \({n-1}\)-dimensional sphere. In particular, we obtain that the holonomy group of the n-dimensional standard Funk metric and the n-dimensional Bryant–Shen metrics are isomorphic to \({\mathcal {D}}i\!f \hspace{-3pt} f_o({\mathbb {S}}^{n-1})\).
2 Preliminaries
Throughout this article, M is a \(C^\infty \) smooth manifold, \({{\mathfrak {X}}}(M)\) is the vector space of smooth vector fields on M and \({\mathcal {D}}i\!f \hspace{-3pt}f(M)\) is the group of all \(C^\infty \)-diffeomorphism of M. The first and the second tangent bundles of M are denoted by \((TM,\pi ,M)\) and \((TTM,\tau ,TM)\), respectively. Local coordinates \((x^i)\) on M induce local coordinates \((x^i, y^i)\) on TM.
2.1 Finsler Manifolds, Canonical Connection
A Finsler manifold is a pair \((M,{\mathcal {F}})\), where the norm function \(F:TM \rightarrow {\mathbb {R}}_+\) is continuous, smooth on \({\widehat{T}}M \!:= \!TM\! {\setminus }\! \{0\}\), its restriction \(F_x=F|_{_{T_xM}}\) is a positively homogeneous function of degree one and the symmetric bilinear form
is positive definite at every \(y\in {{\hat{T}}}_xM\). The hypersurface of \(T_xM\) defined by
is called the indicatrix at \(x \in M\). We note that at any point \(x\in M\) the indicatrix is diffeomorphic to the \((n-1)\)-dimensional sphere. Geodesics of (M, F) are determined by a system of 2nd order ordinary differential equation
in a local coordinate system \((x^i,y^i)\) of TM, where \(G^i(x,y)\) are given by
A vector field \(X(t)=X^i(t)\frac{\partial }{\partial x^i}\) along a curve c(t) is said to be parallel with respect to the associated homogeneous (nonlinear) connection if it satisfies
where \( G^i_j=\frac{\partial G^i}{\partial y^j}\).
The horizontal Berwald covariant derivative \(\nabla _X\xi \) of \(\xi (x,y) = \xi ^i(x,y)\frac{\partial }{\partial y^i}\) by the vector field \(X(x) = X^i(x)\frac{\partial }{\partial x^i}\) is expressed locally by
where we denote \(G^i_{j k}(x,y):= \frac{\partial G_j^i(x,y)}{\partial y^k}\). In the sequel we will use the simplified notation \( \nabla _k \xi = \nabla _{\frac{\partial }{\partial x^k}}\xi \) for the horizontal Berwald covariant derivatives with respect to the coordinate directions.
The Riemannian curvature tensor field \( R_{}\!= \! R^i_{jk}(x,y) dx^j\otimes dx^k \otimes \frac{\partial }{\partial x^i} \) has the expression
2.2 Projective Finsler Manifold With Constant Curvature
A Finsler function F on an open subset \(D \subset {\mathbb {R}}^n\) is said to be projective or projectively flat, if all geodesic curves are straight lines in D. A Finsler manifold is said to be locally projective or locally projectively flat, if at any point there is a local coordinate system \((x^i)\) in which F is projective.
Let \((x^1,\dots ,x^n)\) be a local coordinate system on M corresponding to the canonical coordinates of the Euclidean space which is projectively related to (M, F). Then the geodesic coefficients (3) and their derivatives have the form
where \({\mathcal {P}}\) is a 1-homogeneous function in y, called the projective factor of (M, F). According to [4, Lemma 8.2.1, p. 155] the projective factor can be computed using the formula
The Finsler manifold has constant flag curvature \(\lambda \in {{\mathbb {R}}}\), if for any \(x\in M\) the local expression of the Riemannian curvature is
In this case the flag curvature of the Finsler manifold (cf. [4], Section 2.1) does not depend on the point, nor on the 2-flag.
Lemma 2.1
( [12]) The horizontal covariant derivative \(\nabla _WR\) of the tensor field \(R = R^i_{jk}(x,y)dx^j\wedge dx^k\frac{\partial }{\partial x^i}\) vanishes.
Proof
The Lemma is a consequence of the fact, that the horizontal covariant derivative of the Finsler function vanishes. Indeed, [16, Lemma 6.2.2, p. 85] yields
for any \(u,v,w\in T_xM\), where L is the Landsberg curvature of the Finsler metric \({\mathcal {F}}\) [16, Chapter 6.2]. Moreover \(\nabla _W y = 0\), \(\nabla _W \text {Id}_{TM} = 0\) for any vector field \(W\in {{\mathfrak {X}}}^{\infty }(M)\), and \(L_{(x,y)}(y,v,w)= 0\) (cf. equation 6.28, p. 85 in [16]). Hence we obtain \(\nabla _WR = 0\). \(\square \)
3 Holonomy
3.1 Parallel Translation and the Holonomy Group
Let \((M, {\mathcal {F}})\) be a Finsler manifold. The parallel translation \(\tau _{c} :T_{c(0)}M \rightarrow T_{c(1)}M\) along a curve \(c:[0,1]\rightarrow {\mathbb {R}}\) is defined by vector fields X(t) along c(t) which are solutions of the differential Eq. (4). Since \(\tau _{c}:T_{c(0)}M\rightarrow T_{c(1)}M\) is a differentiable map between \({{\hat{T}}}_{c(0)}M\) and \({{\hat{T}}}_{c(1)}M\) preserving the value of the Finsler norm, it induces a map
between the indicatrices.
The holonomy group \(\mathcal {H}ol_x(M,{\mathcal {F}})\) of a Finsler manifold \((M, {\mathcal {F}})\) at a point \(x\in M\) is the group generated by parallel translations along piece-wise differentiable closed curves starting and ending at x. Since the parallel translation (9) is 1-homogeneous and preserves the norm, one can consider it as a map on the indicatrices
therefore, the holonomy group can be seen as a subgroup of the diffeomorphism group of the indicatrix:
3.2 Holonomy Algebra and Infinitesimal Holonomy Algebra
The tangent Lie algebra (see [7]) of the holonomy group \(\mathcal {H}ol_x ({\mathcal {F}})\) is called the holonomy algebra and is denoted as \(\mathfrak {hol}\hspace{1pt}_x ({\mathcal {F}})\). The holonomy algebra can give information about the holonomy property of the Finsler manifold.
When \(\mathcal {H}ol_x ({\mathcal {F}})\) is a finite-dimensional Lie group, \(\mathfrak {hol}\hspace{1pt}_x ({\mathcal {F}})\) is its Lie algebra. In particular, for a Riemannian metric, \(\mathcal {H}ol_x ({\mathcal {F}})\) is a Lie subgroup of the orthogonal group [1], and \(\mathfrak {hol}\hspace{1pt}_x ({\mathcal {F}})\) is its Lie algebra. In the Finslerian case, however, it may happen that \(\mathcal {H}ol_x ({\mathcal {F}})\) is not a finite dimensional Lie group [10,11,12].
Considering the tangent spaces of both sides in (11) we obtain
The most important properties of the holonomy algebra are given by the following
Proposition 3.1
([7]) Let \((M, {\mathcal {F}})\) be a Finsler manifold. Then the holonomy algebra \(\mathfrak {hol}\hspace{1pt}_x ({\mathcal {F}})\) is a Lie subalgebra of \({{\mathfrak {X}}}({\mathcal {I}}_x)\), and its exponential image is in the topological closure of the holonomy group, that is
where the overline denotes the topological closure of the holonomy group with respect to the \(C^\infty \)–topology of \({\mathcal {D}}i\!f \hspace{-3pt}f({\mathcal {I}}_x)\).
From Proposition 3.1 one can obtain, that a Lie subalgebra of \({{\mathfrak {X}}}({\mathcal {I}}_x)\) generated by any subset of \(\mathfrak {hol}\hspace{1pt}_x ({\mathcal {F}})\) is also a Lie subalgebra of \(\mathfrak {hol}\hspace{1pt}_x ({\mathcal {F}})\), and in particular, its elements have the tangent property to the holonomy group \(\mathcal {H}ol_x({\mathcal {F}})\).
One can show that for any point \(x\in M\) and any tangent vectors \(X_1,X_2 \in T_xM\), the curvature vector field \(R(X_1, X_2) \in {{\mathfrak {X}}}({\mathcal {I}}_x)\) considered as
and its successive convariant derivatives are tangent to the holonomy group [7]. It follows that the Lie subalgebra of vector fields on the indicatrix \({\mathcal {I}}_x\) generated by the curvature vector fields (14) and their successive covariant derivatives
is a Lie subalgebra of \(\mathfrak {hol}\hspace{1pt}_x ({\mathcal {F}})\). From (13) we get
Definition 3.2
The Lie algebra \(\mathfrak {hol}^*_x({\mathcal {F}})\) defined in (15) is called the infinitesimal holonomy algebra of the Finsler space \((M,{\mathcal {F}})\) at \(x \in M\).
One has the inclusion of Lie algebras:
therefore, at the level of groups, we get
We give a sufficient condition on the holonomy group to be maximal in terms of the infinitesimal holonomy algebra in the following
Theorem 3.3
Let \((M, {\mathcal {F}})\) be an n-dimensional simply connected Finsler manifold. If the infinitesimal holonomy algebra \(\mathfrak {hol}^*_x({\mathcal {F}})\) at some point \(x\in M\) is dense in the Lie algebra \({{\mathfrak {X}}}({\mathcal {I}}_x)\) of the vector fields on the indicatrix \({\mathcal {I}}_x\), then the holonomy group is maxmial:
that is its closure is isomorphic to the connected component of the identity in the diffeomorphism group of the \(n-1\)-dimensional sphere.
Proof
Let M be a simply connected n-dimensional manifold. At any point \(x\in M\) we have (11). Since M is simply connected, any closed curve can be shrunk to a point, therefore
On the other hand, from the hypotheses, the infinitesimal holonomy algebra \(\mathfrak {hol}^*_x({\mathcal {F}})\) is dense in \({{\mathfrak {X}}}({\mathcal {I}}_x)\), therfore its closure satisfies
Since the exponential mapping is continuous (c.f. Lemma 4.1 in [15], p. 79), we have
hence taking into account (21), (22), (16), and (20) respectively, we have
which gives for the generated groups the following relations
Moreover, the conjugation map \( Ad:{\mathcal {D}}i\!f \hspace{-3pt} f_o({\mathcal {I}}_x) \times {{\mathfrak {X}}}({\mathcal {I}}_x) \longrightarrow {{\mathfrak {X}}}({\mathcal {I}}_x) \) satisfies the relation
for every \(h\in {\mathcal {D}}i\!f \hspace{-3pt} f_o({\mathcal {I}}_x)\) and \(\xi \in {{\mathfrak {X}}}({\mathcal {I}}_x)\).
Since the Lie algebra \({{\mathfrak {X}}}(\mathbb {\mathcal {I}}_x)\) is invariant under conjugation, therefore the group \( \big \langle \! \exp ({{\mathfrak {X}}}({\mathcal {I}}_x)) \!\big \rangle _{\textrm{group}} \) is also invariant under conjugation and consequently, it is a non-trivial normal subgroup of \({\mathcal {D}}i\!f \hspace{-3pt} f_o({\mathcal {I}}_x)\). From [19, Theorem 1.] we know that \({\mathcal {D}}i\!f \hspace{-3pt} f_o({\mathcal {I}}_x)\) is a simple group, its only non-trivial normal subgroup is itself, we get that
and (24) reads as
that is
Since \({\mathcal {I}}_x\) and \({\mathbb {S}}^{n-1}\) are diffeomorphic, their diffeomorphism groups and the connected component of their diffeomorphism groups are isomorphic, therefore from (26) we obtain
\(\square \)
4 The Holonomy of Spherically Symmetric Projective Finsler Metrics With Constant Flag Curvature
Z. Shen in his paper [17] investigated projective Finsler metrics with constant flag curvature, and give a complete classification in the x-analytical case. In particular, he showed that a projective Finsler metrics \({\mathcal {F}}\) with constant flag curvature is completely determined – using an \(x_{\! o}\) centered coordinate system – by \({\mathcal {F}}(0,y)\) and \({\mathcal {P}}(0,y)\), where \({\mathcal {P}}\) denotes the projective factor. In this chapter we investigate the case when those data are spherically symmetrical, that is at some particular point \(x_{\! o}\in M\), the Finsler function and the projective factor are both a multiple of the Euclidean norm
with \(c_1, c_2 \ne 0\).
Remark 4.1
Without loss of generality, the constant \(c_1\) may be considered equal to 1, and instead of (28) to have at \(x_{\! o}\in M\) the relations:
where \(c\ne 0\). Indeed, there is no loss of generality, since replacing the Finsler norm function \({\mathcal {F}}\) by a positive constant multiple of it does not change the geodesic equation (2), the parallelism (4), therefore it does not change the holonomy sturcture.
We note that if (29) is satisfied, then the indicatrix at \(x_{\! o}\) is
the \(n-1\) dimensional Euclidean sphere. Moreover, for the geodesic coefficients (6) at \(x_{\! o}\) we have
Using [4, Lemma 8.2.1] we get for a projective metric:
therefore at \(x_{\! o}\) where we have (29) we get
and at \(x_{\! o}\) we have
From (8) we get that at \(x_{\! o}\) the coefficients of the curvature tensor are
therefore the curvature vector fields are
the infinitesimal generators of rotations.
Let us introduce the multiindex notation: for \({\textbf{m}}:=(m_1, \dots m_n)\) its length is \(\ell ({\textbf{m}})=m_1 + \dots +m_n\), and \( {\textbf{y}}^{\textbf{m}}=\prod _{i=1}^n (y^i)^{m_i}= (y^1)^{m_1}\dots (y^n)^{m_n}. \) We define
and introduce the Lie algebra
Remark 4.2
The elements of \({\mathcal {A}}\) can be seen as 1-homogeneous vector fields on \({\widehat{T}}_{x_{\! o}} M\), or equivalently, as vector fields on the indicatrix \({\mathcal {I}}_{x_{\! o}} \simeq {\mathbb {S}}^{n-1}\) with polynomial coefficients. Indeed, in (37) the denominators of the coefficients of the curvature vector fields \(\xi _{ij}\) is \(\left|y \right|^p\) which is identically 1 on the indicatrix at the particular point \(x_{\! o}\in M\).
Lemma 4.3
The Lie algebra \({\mathcal {A}}\) satisfies \({\mathcal {A}} \subset \mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\).
Proof
The infinitesimal holonomy algebra \(\mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\) is generated by the curvature vector fields, their successive horizontal covariant derivatives, and contains their Lie brackets. We will show, using mathematical induction, that the generating elements of \(\mathcal A_p\) (\(p\ge 0\)) can be express as linear combination of elements of \(\mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\).
\(\bullet \) \(p=0\). The elements of \({\mathcal {A}}_0\) are just the linear combination of curvature vector fields \(\xi _{ij}\) with constant coefficients, and by definitions they are elements of \(\mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\).
\(\bullet \) \(p=1\). From Lemma 2.1 we know, that the horizontal covariant derivative of the curvature tensor vanishes. It follows that for the curvature vector fields \( \xi _{ij} = R(\frac{\partial }{\partial x^i}, \frac{\partial }{\partial x^j}), \) we get
At the particular point \(x_{\! o}\in M\), using the formula (31) and (36), one can obtain:
As a consequence, for any pairwise different indeces i, j, k we get
showing that (41) are in \(\mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\). Moreover, for \(k=i\) from (40), we get the linear system:
where in the column matrices the (trivially zero) terms written in square brackets are missing. Since the quadratic matrix in (42) is invertible, we get that \(\frac{y^i}{\left|y \right|}\xi _{ij}\) can be expressed as a linear combination of covariant derivatives of curvature vector fields, therefore they are also elements of \(\mathfrak {hol}^*_{x_{\! o}}(M)\). Therefore we obtained that the generating elements of \({\mathcal {A}}_1\) are in \(\mathfrak {hol}^*_{x_{\! o}}(M)\), therefore \({\mathcal {A}}_1 \subset \mathfrak {hol}^*_{x_{\! o}}(M)\).
\(\bullet \) \(p=2\). The second covariant derivatives of the curvature vector fields are elements of \(\mathfrak {hol}^*_{x_{\! o}}(M, {\mathcal {F}})\). Calculating their expression we get
As special cases we can get (different letters denote different indeces, repeated indeces does not mean summation in the formula below):
From the Eq. (44a) we obtain that \(\frac{y^k y^m}{\left|y \right|^2} \xi _{ij}\) can be expressed as a constant multiple of the second derivatives of curvature vector fields, therefore it is in \(\mathfrak {hol}^*_{x_{\! o}}(M, {\mathcal {F}})\). Similarly, from Eq. (44b) we get that \(\frac{(y^k)^2}{\left|y \right|^2} \xi _{ij}\) can be expressed with the combination of the curvature vector fields and teir second covariant derivatives, therefore they are elements of \(\mathfrak {hol}^*_{x_{\! o}}(M, {\mathcal {F}})\). Equation (44d) can be considered as a linear system on \(\frac{ y^k y^i}{\left|y \right|^2}\xi _{ij}\)
where the elements on the left hand side are elements of the infinitesimal holonomy algebra \(\mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\). The \((n \! - \! 1)\times (n \! - \! 1)\) matrix appearing in (45) is regular, therefore the terms \(\frac{ y^k y^i}{\left|y \right|^2}\xi _{ij}\) can be expressed as linear combination of elements of the left hand side which are elements of \(\mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\). It follows that \(\frac{ y^k y^i}{\left|y \right|^2}\xi _{ij} \in \mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\). Finally, using (44c), one can express \(\frac{ y^i y^i}{\left|y \right|^2}\xi _{ij}\) with the help of the other terms appearing in those equations. Since these are all in \(\mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\), we can get that \(\frac{ y^i y^i}{\left|y \right|^2}\xi _{ij} \in \mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\). One can conclude that the elements generating \({\mathcal {A}}_2\) can be expressed as a linear combination of elements in the infinitesimal holonomy algebra, therefore \({\mathcal {A}}_2 \subset \mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\).
\(\bullet \) Let us assume that \(A_\ell \in \mathfrak {hol}^*_{x_{\! o}}(M, {\mathcal {F}})\) for \(1\le \ell \le p\) and we will show that \(A_{p+1} \in \mathfrak {hol}^*_{x_{\! o}}(M, {\mathcal {F}})\). First we observe that
where C denotes the canonica Liouville (or radial) vector field. Let us consider for the multiindex \({\textbf{m}}:=(m_1, \dots m_n)\) where \(\ell ({\textbf{m}})=m_1 + \dots +m_n=p\) the vector field
By the induction hypothesis \({\mathcal {A}}_1\subset \mathfrak {hol}^*_{x_{\! o}}(M)\) and \({\mathcal {A}}_p\subset \mathfrak {hol}^*_{x_{\! o}}(M)\), therefore – using the fact that \(\mathfrak {hol}^*_{x_{\! o}}(M)\) is a Lie algebra – we get that
In particular, the Lie bracket of the elements (46) and (47) is an element of \(\mathfrak {hol}^*_{x_{\! o}}(M)\). If i, j, k are pairwise different indeces, then one can obtain for the multiindex \({\textbf{m}}\) of length \(\ell ({\textbf{m}})=p\):
where \(\mathbf {1_k}=(0, \dots , 1, \dots 0)\) denotes the multiindex having 1 at the kth position. From (48) the left hand side of (49) is in the infinitesimal holonomy, and from the induction hypothesys \( \frac{{\textbf{y}}^{{\textbf{m}}-\mathbf {1_k}}}{\left|{\textbf{y}} \right|^{p-1}} \, \xi _{ij} \in {\mathcal {A}}_{p-1}, \) is also an element of \(\mathfrak {hol}^*_{x_{\! o}}(M)\). It follows that
Similarly,
Using (50) we obtain that
From (50) and (52) we get that \({\mathcal {A}}_{p+1} \subset \mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\) which completes the proof of Lemma 4.3. \(\square \)
Proposition 4.4
Let \((M, {\mathcal {F}})\) be a projectively flat spherically symmetric Finsler manifold of constant curvature \(\lambda \ne 0\) and \(x_{\! o}\) a point where (29) is satisfied. Then the infinitesimal holonomy algebra \(\mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\) is dense in \({{\mathfrak {X}}}({\mathcal {I}}_{x_{\! o}})\).
Proof
Let \((M, {\mathcal {F}})\) be a projectively flat spherically symmetric Finsler manifold of constant curvature \(\lambda \ne 0\) and \(x_{\! o}\) a point where (29) is satisfied. According to Remark 4.2, the elements of \({\mathcal {A}}\) can be considered as vector fileds on the indicatrix \({\mathcal {I}}_{x_{\! o}} \simeq {\mathbb {S}}^{n-1}\) with polynomial coefficients that is
where
is the algebra of polynomial functions on \({\mathbb {S}}^{n-1} \subset {\mathbb {R}}^n\).
Nachbin’s theorem [13, 14] gives an analog for Stone–Weierstrass theorem for algebras of real values \(C^k\) functions on a \(C^k\) manifold, \(k=1, \dots , \infty \). It states that if \({\mathcal {S}}\) is a subalgebra of the algebra of \(C^k\) smooth functions on a finite dimensional \(C^k\) smooth manifold M, and \({\mathcal {S}}\) separates the points of M and also separates the tangent vectors of M in the sense that for each point \(x \in M\) and tangent vector \(v \in T_xM\), there is an \(f \in {\mathcal {S}}\) such that \(df_x(v) \ne 0\), then \({\mathcal {S}}\) is dense in \(C^k(M)\). Clearly, \(\mathcal Pol ({\mathbb {S}}^{n-1})\), the algebra of polynomial functions on \(\mathbb S^{n-1}\) satisfies Nachbin’s conditions, therefore \(\mathcal Pol ({\mathbb {S}}^{n-1})\) is dense in \(C^\infty ({\mathbb {S}}^{n-1})\) with respect to the \(C^\infty \) topology:
On the other hand, any vector field \(X\in {{\mathfrak {X}}}({\mathbb {S}}^{n-1})\) can be written as \( X = X^{ij} \xi _{ij}, \) where \(X^{ij}\) are smooth function on \({\mathbb {S}}^{n-1}\), and \(\xi _{ij}\) are the infinitesimal generator of rotations which are the curvature vector fields (36), that is
and from (55) we get that (53) is a dense subset in (56) with respect to the \(C^k\) topology, that is
From Lemma 4.3 we get
it follows
and from (57) one can obtain
that is \(\mathfrak {hol}^*_{x_{\! o}}({\mathcal {F}})\) is dense in \({\mathfrak {X}}({\mathbb {S}}^{n-1})\) with respect to the \(C^\infty \) topology. \(\square \)
Theorem 4.5
Let \((M, {\mathcal {F}})\) be a simply connected, projectively flat spherically symmetric Finsler manifold of constant curvature \(\lambda \ne 0\) and \(x_{\! o}\) a point where (29) is satisfied. Then the holonomy group \(\mathcal {H}ol_{x_{\! o}}({\mathcal {F}})\) is maximal, that is its closure is isomorphic to \({\mathcal {D}}i\!f \hspace{-3pt} f_o({\mathbb {S}}^{n-1})\), the connected component of the identity of the group of smooth diffeomorphism on the \({n-1}\)-dimensional sphere.
Proof
The proof is a direct consequence of Theorem 3.3 and Proposition 4.4. Indeed, let \((M, {\mathcal {F}})\) be a projectively flat spherically symmetric Finsler manifold of constant curvature \(\lambda \ne 0\) and \(x_{\! o}\) a point where (29) is satisfied. From Proposition 4.4 we get that the infinitesimal holonomy algebra \( hol_{x_{\! o}}^{*}({\mathcal {F}})\) is dense in \({{\mathfrak {X}}}({\mathcal {I}}_{x_{\! o}})\), and from Theorem 3.3 we get that in that case the holonomy group is maxmial
that is its closure is isomorphic to the connected component of the identity in the diffeomorphism group of the \(n-1\)-dimensional sphere. \(\square \)
Example 1
(P. Funk, [5, 6]) The standard Funk manifold \(({\mathbb {D}}^n, {\mathcal {F}})\) defined by the metric function
on the unit open disk \({\mathbb {D}}^n \subset {\mathbb {R}}^n\) is projectively flat with constant flag curvature \(\lambda =-\frac{1}{4}\). Its projective factor can be computed using formula (7):
At \(x_{\! o}=(0,\dots , 0) \in {\mathbb {D}}^n\) we have \({\mathcal {F}}(x_{\! o},y)=\left| y\right| \) and \({\mathcal {P}}(x_0,y)=\pm \frac{1}{2}\left| y\right| \). Thus, at \(x_{\! o}\) the standard Funk metric satisfies the condition of Theorem 4.5, therefore its holonomy group \(\mathcal {H}ol_{x_{\! o}}({\mathcal {F}})\) is maximal and isomorphic to \({\mathcal {D}}i\!f \hspace{-3pt} f_o(\mathbb S^{n-1})\).
Example 2
The Bryant–Shen metric \({\mathcal {F}}_\alpha \), (\(|\alpha |<\frac{\pi }{2}\)), are the elements of a 1-parameter family of projective Finsler metric with constant flag curvature \(\lambda =1\):
where
The norm function and the projective factor at \(0\!\in \! \mathbb R^n\) have the form
in a local coordinate system corresponding to the Euclidean canonical coordinates, centered at \(0\in {\mathbb {R}}^n\). R. Bryant in [2, 3] introduced and studied this class of Finsler metrics on \({\mathbb {S}}^2\) where great circles are geodesics. Z. Shen generalized its construction and obtained the expression (64) in [17, Example 7.1.]. Since the condition of Theorem 4.5, therefore the holonomy group \(\mathcal {H}ol_{x_{\! o}}({\mathcal {F}}_{\alpha })\) of the Bryant–Shen metric is maximal and isomorphic to \({\mathcal {D}}i\!f \hspace{-3pt} f_o({\mathbb {S}}^{n-1})\).
Data availability
No new data were created or analysed during this study.
References
Borel, A., Lichnerowicz, A.: Groupes d’holonomie des variétés riemanniennes. C. R. Acad. Sci. Paris 234, 1835–1837 (1952)
Bryant, R.L., Finsler structures on the \(2\)-sphere satisfying \(K=1\). In Finsler geometry (Seattle, WA,: vol. 196 of Contemp. Math. Amer. Math. Soc. Providence, RI 1996, 27–41 (1995)
Bryant, R.L.: Projectively flat Finsler \(2\)-spheres of constant curvature. Selecta Math. (N.S.) 2, 161–203 (1997)
Chern, S.-S., Shen, Z.: Riemann-Finsler geometry, vol. 6 of Nankai Tracts in Mathematics. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, (2005)
Funk, P.: Über Geometrien, bei denen die Geraden die Kürzesten sind. Math. Ann. 101(1), 226–237 (1929)
Funk, P.: Eine Kennzeichnung der zweidemensionalen elliptischen Geometrie. Österreich. Akad. Wiss. Math.-Natur. Kl. S.-B. II(172), 251–269 (1963)
Hubicska, B., Muzsnay, Z.: Tangent lie algebra of a diffeomorphism group and application to holonomy theory. J. Geom. Anal. 30, 107–123 (2020)
Kozma, L., On.: Landsberg spaces and holonomy of Finsler manifolds. In Finsler geometry (Seattle, WA,: vol. 196 of Contemp. Math. Amer. Math. Soc. Providence, RI 1996, 177–186 (1995)
Muzsnay, Z., Nagy, P.T.: Finsler manifolds with non-Riemannian holonomy. Houston J. Math. 38(1), 77–92 (2012)
Muzsnay, Z., Nagy, P.T.: Characterization of projective finsler manifolds of constant curvature having infinite dimensional holonomy group. Publ. Math. Debrecen 84(1–2), 17–28 (2014)
Muzsnay, Z., Nagy, P.T.: Finsler 2-manifolds with maximal holonomy group of infinite dimension. Differential Geom. Appl. 39, 1–9 (2015)
Muzsnay, Z., Nagy, P.T.: Projectively flat finsler manifolds with infinite dimensional holonomy. Forum Math. 27(2), 767–786 (2015)
Nachbin, L.: Sur les algèbres denses de fonctions différentiables sur une variété. C. R. Acad. Sci. Paris 228, 1549–1551 (1949)
Nachbin, L.A.: look at approximation theory. In Approximation theory and functional analysis (Proc. Internat. Sympos. Approximation Theory, Univ. Estadual de Campinas, Campinas,: vol. 35 of Notas de Matemática, 66; North-Holland Math. Stud. North-Holland, Amsterdam-New York 1979, 309–331 (1977)
Omori, H.: Infinite-dimensional Lie groups, vol. 158 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1997. Translated from the 1979 Japanese original and revised by the author
Shen, Z.: Differential geometry of spray and Finsler spaces. Kluwer Academic Publishers, Dordrecht (2001)
Shen, Z.: Projectively flat Finsler metrics of constant flag curvature. Trans. Amer. Math. Soc. 355(4), 1713–1728 (2003)
Szabó, Z.I.: Positive definite Berwald spaces. Structure theorems on Berwald spaces. Tensor 1, 25–39 (1981)
Thurston, W.: Foliations and groups of diffeomorphisms. Bull. Amer. Math. Soc. 80, 304–307 (1974)
Funding
Open access funding provided by University of Debrecen.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Asma, M., Zoltan, M. The Holonomy of Spherically Symmetric Projective Finsler Metrics of Constant Curvature. J Geom Anal 34, 257 (2024). https://doi.org/10.1007/s12220-024-01691-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01691-w