Abstract
Finsler metrics are direct generalizations of Riemannian metrics such that the quadratic Riemannian indicatrices in the tangent spaces of a manifold are replaced by more general convex bodies as unit spheres. A linear connection on the base manifold is called compatible with the Finsler metric if the induced parallel transports preserve the Finslerian length of tangent vectors. Finsler manifolds admitting compatible linear connections are called generalized Berwald manifolds Wagner (Dokl Acad Sci USSR (N.S.) 39:3–5, 1943). Compatible linear connections are the solutions of the so-called compatibility equations containing the components of the torsion tensor as unknown quantities. Although there are some theoretical results for the solvability of the compatibility equations (monochromatic Finsler metrics Bartelmeß and Matveev (J Diff Geom Appl 58:264–271, 2018), extremal compatible linear connections and algorithmic solutions Vincze (Aequat Math 96:53–70, 2022)), it is very hard to solve them in general because compatible linear connections may or may not exist on a Finsler manifold and may or may not be unique. Therefore special cases are of special interest. One of them is the case of the so-called semi-symmetric compatible linear connection with decomposable torsion tensor. It is proved Vincze (Publ Math Debrecen 83(4):741–755, 2013 (see also Vincze (Euro J Math 3:1098–1171, 2017))) that such a compatible linear connection must be uniquely determined. The original proof is based on averaging in the sense that the 1-form in the decomposition of the torsion tensor can be expressed by integrating differential forms on the tangent manifold over the Finslerian indicatrices. The integral formulas are very difficult to compute in practice. In what follows we present a new proof for the uniqueness by using linear algebra and some basic facts about convex bodies. We present an explicit formula for the solution without integration. The method has a new contribution to the problem as well: necessary conditions of the solvability are formulated in terms of intrinsic equations without unknown quantities.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Compatibility equations in Finsler geometry
Let M be a smooth connected manifold with a local coordinate system \(u^1, \ldots , u^n\). The induced local coordinate system on the tangent manifold TM consists of the functions \(x^1, \ldots , x^n\) and \(y^1, \ldots , y^n\) given by \(x^i(v):=u^i\circ \pi (v)=u^i(p)=:p^i\), where \(\pi :TM \rightarrow M\) is the canonical projection and \(y^i(v)=v(u^i)\), \(i=1, \ldots , n\). Throughout the paper, we will use the shorthand notations
A Finsler metric [1] on a manifold is a smoothly varying family of Minkowski norms in the tangent spaces. It is a direct generalization of Riemannian metrics such that the inner products (quadratic indicatrices) in the tangent spaces are replaced by Minkowski norms (smooth strictly convex bodies).
Definition 1.1
A Finsler metric is a non-negative continuous function \(F:TM\rightarrow \mathbb {R}\) satisfying the following conditions: \(\displaystyle {F}\) is smooth on the complement of the zero section (regularity), \(\displaystyle {F(tv)=tF(v)}\) for all \(\displaystyle {t> 0}\) (positive homogeneity), \(F(v)= 0\) if and only if \(v=\mathbf{0}\) (definiteness) and the Hessian \(\displaystyle {g_{ij}=\dot{\partial }_{i}\dot{\partial }_{j}E}\) of the energy function \(E=F^2/2\) is positive definite at all non-zero elements \(\displaystyle {v\in T_pM}\) (strong convexity). The pair (M, F) is called a Finsler manifold.
On a Riemannian manifold we obviously have compatible linear connections in the sense that the induced parallel transports preserve the Riemannian length of tangent vectors (metric linear connections). Following the classical Christoffel process it is clear that such a linear connection is uniquely determined by the torsion tensor. In contrast to the Riemannian case, non-Riemannian Finsler manifolds admitting compatible linear connections form a special class of spaces in Finsler geometry. They are called generalized Berwald manifolds [2]. It is known that some Finsler manifolds do not admit any compatible linear connections because of topological constraints, some have infinitely many compatible linear connections and it can also happen that the compatible linear connection is uniquely determined [3], see also [4].
Definition 1.2
A linear connection is compatible with the Finsler metric if the induced parallel transports preserve the Finslerian length of tangent vectors. Finsler manifolds admitting compatible linear connections are called generalized Berwald manifolds.
In terms of local coordinates, equations
form necessary and sufficient conditions for a linear connection \(\nabla \) to be compatible with the Finsler metric F over a local neighbourhood. Equations (1.2) are called compatibility equations or CEQ for shortFootnote 1. The fundamental result of generalized Berwald manifold theory states that a compatible linear connection \(\nabla \) is always Riemann metrizable [6], i.e. \(\nabla \) must be a metric linear connection with respect to a Riemannian metric \(\gamma \). Such a Riemannian metric can be given by integration of \(g_{ij}\) on the indicatrix hypersurfaces [6], see also [7] and [8]. It is the so-called averaged Riemannian metric. Therefore CEQ can be reformulated by replacing the Christoffel symbols \(\Gamma _{ij}^k\) by the torsion tensor components [9], see also [4]. Using the horizontal vector fields
where \({\Gamma }^{k*}_{ij}\) are the Christoffel symbols of the Levi-Civita connection of the averaged Riemannian metric \(\gamma \), CEQ takes the form
The unknown quantities \(T_{ab}^c\) are the torsion tensor components of the compatible linear connection. In the rest of the paper we use normal coordinates with respect to the Riemannian metric \(\gamma \) around a given point \(p\in M\). The coordinate vector fields \(\partial /\partial u^1, \dots , \partial /\partial u^n\) form an orthonormal basis in \(T_p M\), i.e. \(\gamma _{ij}(p)=\delta _{ij}\) and \({\Gamma }^{k*}_{ij}(p)=0\). Therefore \(X_i^{h*}(v)=\partial _i(v)\) for any \(v\in T_pM\) and CEQ takes the form
where the coefficients are
If none of the indices a, b, c is equal to i then \(\sigma _{ab;i}^c=0\). Otherwise the table shows the possible cases, where indices are separated according to their values (equal indices are put into the same cell and different cells contain different values).
Indices | The coefficients | |||
---|---|---|---|---|
1. | \(i=a\) | b | c | \(\sigma _{ib;i}^{c}=f_{cb}\) |
2. | \(i=a\) | \(b=c\) | \(\sigma _{ib;i}^{b}=0\) | |
3. | \(i=b\) | a | c | \(\sigma _{ai;i}^{c}=f_{ac}\) |
4. | \(i=b\) | \(a=c\) | \(\sigma _{ai;i}^{a}=0\) | |
5. | \(i=c\) | a | b | \(\sigma _{ab;i}^{i}=f_{ab}\) |
6. | \(i=a=c\) | b | \(\sigma _{ib;i}^{i}=2f_{ib}\) | |
7. | \(i=b=c\) | a | \(\sigma _{ai;i}^{i}=2f_{ai}\) |
To complete the list we also collect the remaining three trivial cases: \(\sigma _{aa;i}^{i}=0\) (\(i=c\), \(a=b\)), \(\sigma _{ii;i}^{c}=0\) (\(i=a=b\), c) and \(\sigma _{ii;i}^{i}=0\) (\(i=a=b=c\)). Therefore the i-th compatibility equation at the point p is
where the primed summation means summing for \(a \ne i\) in the first one, and in the second one, a and b where \(i\ne a, b\).
2 The geometry of the tangent spaces
The following table shows a panoramic view about the geometric structures of the tangent space \(T_pM\) due to the simultaneously existing Finsler and Riemannian metrics.
Finsler structure | Riemannian structure | |
---|---|---|
Minkowski norm | Metric on \(T_p M\) | Euclidean norm and inner product |
Finslerian spheres \(F_p(\lambda )\) | Level sets of \(\lambda \in \mathbb {R}_+\) | Euclidean spheres \(R_p(\lambda )\) |
\(\mathcal {F}_v\) | Tangent hyperplanes of level sets at \(v\in T_pM\) | \(\mathcal {R}_v\) |
\(\mathcal{LF}\mathcal{}_v:= \mathcal {F}_v - v\) | Linear tangent hyperplanes at \(v\in T_pM\) | \(\mathcal{LR}\mathcal{}_v := \mathcal {R}_v - v\) |
\(G := \mathrm {grad} \, F = [ \dot{\partial }_1 F, \dots , \dot{\partial }_n F]\) | Normal vector fields (w.r.t. \(\gamma \)) | \(C := [y^1, \dots , y^n]\) |
Both gradient vector fields G and C are non-zero everywhere on \(T_p^{\circ } M := T_p M \backslash \{ {\textbf {0}} \}\). For every element \(v \in T_p^{\circ } M\) the tangent hyperplanes of the Finslerian and the Riemannian (Euclidean) spheres passing through v can be related as follows.
-
If \(\mathcal {F}_v=\mathcal {R}_v\), i.e. \(G_v \parallel C_v\), we call the point v a vertical contact point of the metrics.
-
If \(\mathcal {F}_v \ne \mathcal {R}_v\), i.e. \(G_v\) and \(C_v\) are linearly independent, then the intersection \(\mathcal{LF}\mathcal{}_v \cap \mathcal{LR}\mathcal{}_v\) is the orthogonal complement of \(\mathrm {span}(C_v, G_v)\), and thus \(\mathcal {F}_v \cap \mathcal {R}_v\) is an affine subspace of dimension \(n-2\).
Using normal coordinates with respect to the Riemannian metric \(\gamma \) around a given point \(p\in M\), let us define the vector field
where \(v \in T_p^{\circ } M\). An element \(v \in T_p^{\circ } M\) is a horizontal contact point of the metrics if \(H_v\) is the zero vector. It can be easily seen that if \(T_p M\) is a vertical contact tangent space, i. e. all of its non-zero elements are vertical contact, then the Finsler metric is a scalar multiple of \(\gamma \) at the point \(p\in M\). Moreover, if the indicatrix of a generalized Berwald metric is quadratic at a single point, then it is quadratic at every point of the (connected) base manifold because the tangent spaces are related by linear isometries due to the parallel transports with respect to the compatible linear connection with the Finsler metric. Therefore such a generalized Berwald manifold reduces to a Riemannian manifold. At a horizontal contact point, equations of (1.4) are homogeneous. If \(T_p M\) is a horizontal contact tangent space, i. e. all of its non-zero elements are horizontal contact, then \(T=0\) is a solution of CEQ at \(p\in M\).
2.1 A useful family of vector fields
Let us define the vector fields
on \(T_p^{\circ } M\) to help in proving some elementary properties and solving CEQ.
Lemma 2.1
\(\mathrm {span}(f_1(v), \dots , f_n(v)) \subseteq \mathrm {span}(G_v, C_v)\) for any \(v \in T_p^{\circ } M\).
Proof
Observe that \(f_i\) can be written as
i.e. \(f_i = y^i \cdot G - \dot{\partial }_i F \cdot C\). \(\square \)
Lemma 2.2
At a vertical contact point \(v \in T_p^{\circ } M\), \(f_i(v)=0\) and CEQ takes the form \(0=\partial _i F(v)\) \((i=1, \ldots , n)\).
Proof
If v is vertically contact, then \(G_v = \lambda C_v\) for some non-zero \(\lambda \in \mathbb {R}\). Substituting into (2.3), we get
i.e. the coordinates of \(f_i\) are all zero at v and the reformulation (1.6) of CEQ implies the statement. \(\square \)
Corollary 2.3
In order for CEQ to have a solution, all vertically contact points must be horizontal contact.
Lemma 2.4
At a not vertically contact \(v \in T_p^{\circ } M\) there are indices such that \(f_{ij}(v)\ne 0\) and the vectors \(f_i\) and \(f_j\) are linearly independent over some neighborhood U of v in \(T_pM\).
Proof
Suppose that all the \(f_{ij}(v)\), and consequently, all the vectors \(f_i(v)\) are zero. Since v is not vertically contact, \(G_v\) and \(C_v\) are linearly independent. In particular, neither of them is the zero vector, so one of their coordinates is non-zero, meaning that for some index i, (2.3) gives the zero vector as a linear combination of the independent vectors \(C_v\) and \(G_v\) with non-zero coefficients. This is a contradiction, so there must be an \(f_{ij}(v)\), and thus two vectors \(f_i(v)\) and \(f_j(v)\) different from zero. Since the matrix
has rank 2 at v (choose the i-th and j-th columns), they are linearly independent at v and the same is true at the points of some adequately small neighborhood of v in \(T_pM\) by a continuity argument. \(\square \)
Corollary 2.5
At a point \(v \in T_p^{\circ } M\),
Proof
For any \(v \in T_p^{\circ } M\), we have \(\mathrm {span}(f_1(v), \dots , f_n(v)) \subseteq \mathrm {span}(G_v, C_v)\) by Lemma 2.1. If v is vertically contact, all the vectors \(f_i(v)\) are zero according to Lemma 2.2. If not, there are 2 independent vectors among them according to Lemma 2.4, thus generating the whole \(\mathrm {span}(G_v, C_v)\). \(\square \)
Lemma 2.6
At a not vertically contact \(v \in T_p^{\circ } M\), let us choose indices \(i \ne j\) such that \(f_{ij}(v)\ne 0\). Then \((f_i, f_j)\) is a basis of \(\mathrm {span}(G, C)\) over some neighborhood U of v in \(T_pM\) and
at any point of U.
Proof
By Lemma 2.4, we know that \((f_i, f_j)\) is a basis of \(\mathrm {span}(G, C)\) at the points of U. Let us choose an index \(k \in \{ 1, \dots , n\}\) and write \(f_k = \lambda _1 f_i + \lambda _2 f_j\). By (2.3), we can write that
By comparing the coefficients in the basis (G, C),
and, consequently,
\(\square \)
3 The semi-symmetric compatible linear connection and its uniqueness
Although there are some theoretical results for the solvability of the compatibility equations (monochromatic Finsler metrics [5], extremal compatible linear connections and algorithmic solutions [9]), it is very hard to solve them in general because compatible linear connections may or may not exist on a Finsler manifold and may or may not be unique. Therefore special cases are of special interest. One of them is the case of the so-called semi-symmetric compatible linear connection with decomposable torsion tensor.
Definition 3.1
A linear connection is called semi-symmetric if its torsion tensor can be written as
for some differential 1-form \(\rho \) on the base manifold.
It is proved [10] that a semi-symmetric compatible linear connection must be uniquely determined.
Theorem 3.2
[10] A non-Riemannian Finsler manifold admits at most one semi-symmetric compatible linear connection.
The original proof is based on averaging in the sense that the 1-form \(\rho \) can be expressed by integrating differential forms on the tangent manifold over the Finslerian indicatrices. The integral formulas are very difficult to compute in practice. In what follows we present a new proof for the uniqueness by using linear algebra and some basic facts about convex bodies. We present an explicit formula for the solution without integration. The method has a new contribution to the problem as well: necessary conditions of the solvability are formulated in terms of intrinsic equations without unknown quantities.
3.1 The proof of Theorem 3.2
Since
the torsion components are
In particular, all torsion components with 3 different indices are zero, and
Substituting the torsion components into the general form (1.6) of CEQ at a point p, it takes the (matrix) form
The problem is to solve (3.3) for \(\rho _1, \dots , \rho _n\), considered as the coordinates of a vector \(\rho \in T_p M\), as v ranges over \(T_p^{\circ } M\). To prove Theorem 3.2 it is enough to consider the homogeneous version H-CEQ with vanishing right hand side of (3.3). We are going to verify that the only solution of H-CEQ is \(\rho _1=\dots =\rho _n=0\). Since the rows of the matrix on the left hand side are exactly the vectors \(f_1, \dots , f_n\) defined in (2.2), solving H-CEQ at a fixed element v means finding the orthogonal complement of \(\mathrm {span}(f_1(v), \dots , f_n(v))\). By Corollary 2.5,
-
it is \(T_p M\) for any vertically contact element v,
-
it is the orthogonal complement of \(\mathrm {span}(G_v, C_v)\) for any not vertically contact element v, i.e. the intersection \(\mathcal{LF}\mathcal{}_v \cap \mathcal{LR}\mathcal{}_v\) of the linear tangent hyperplanes of the Finslerian and Riemannian spheres.
The solution of H-CEQ at the point p is the intersection of all the solution spaces as the element v ranges over \(T_p^{\circ } M\). Note that the homogeneity of the coefficients implies that it is enough to consider the intersection of all the solution spaces as the element v ranges over the Finslerian (or the Riemannian) unit sphere.
-
If all the elements of \(T_p M\) are vertically contact and the Finsler manifold admits a compatible (semi-symmetric) linear connection \(\nabla \), then it is a Riemannian manifold because the linear isometries via the parallel transports with respect to \(\nabla \) extend the quadratic Finslerian (esp. Riemannian) indicatrix at the point p to the entire (connected) manifold.
-
If there is a not vertically contact element v, then, by a continuity argument, we can consider a neighborhood \(U\subseteq T_pM\) containing only not vertically contact elements. For the solution vector \(\rho \) we have
$$\begin{aligned} \rho \in \bigcap _{v \in U} \left( \mathcal{LF}\mathcal{}_v \cap \mathcal{LR}\mathcal{}_v \right) \subseteq \big (\bigcap _{v \in U} \mathcal{LF}\mathcal{}_v \big ) \cap \big (\bigcap _{v \in U} \mathcal{LR}\mathcal{}_v \big ). \end{aligned}$$It is clear that the right hand side contains only the zero vector because the normal vectors at the points of any open set on the boundary of a Euclidean sphere (or any smooth strictly convex body) span the entire space. Therefore \(\rho =0\) is the only solution of H-CEQ at p and, consequently, CEQ admits at most one solution for the components of the torsion tensor of a semi-symmetric linear connection point by point.
\(\square \)
3.2 Intrinsic equations and v-solvability of CEQ
In this section we investigate (3.3) evaluated at non-zero tangent vectors in \(T_pM\):
Definition 3.3
The system of the compatibility equations is called v-solvable at the point \(p\in M\) if (1.4) is solvable for any non-zero element \(v\in T_pM\). The system of the compatibility equations is called v-solvable for \(\rho \) at the point \(p\in M\) if (3.4) is solvable for any non-zero element \(v\in T_pM\).
Remark 3.4
The system of the compatibility equations is v-solvable if and only if all vertical contact vectors are horizontal contact. It is an obvious necessary condition because the coefficient matrix of CEQ is zero at a vertically contact point and the system must be homogeneous with vanishing horizontal derivatives of the Finsler metric with respect to the Levi-Civita connection of the averaged Riemannian metric. The sufficiency is based on the idea of the extremal compatible linear connection [9]. The extremal solution typically depends on the reference element \(v\in T_pM\) but does not take a decomposable form in general. Therefore v-solvability for \(\rho \) needs additional conditions. Using Corollary 2.5 and basic linear algebra we can formulate the following characterizations of v-solvability in case of semi-symmetric compatible linear connections.
Lemma 3.5
The system of the compatibility equations is v-solvable for \(\rho \) at the point \(p\in M\) if and only if the following conditions are satisfied:
-
all vertically contact elements are also horizontal contact in \(T_pM\) and
-
the rank of the augmented matrix of system (3.4) is 2 at all not vertically contact elements \(v\in T_pM\). In other words \(H_v \in \mathrm {span}(f_1(v), \dots , f_n(v))\), where the vector \(H_v\) is defined by formula (2.1).
Proposition 3.6
The system of the compatibility equations is v-solvable for \(\rho \) at the point \(p\in M\) if and only if the following conditions are satisfied:
-
all vertically contact elements are also horizontal contact in \(T_pM\) and
-
for any triplets of distinct indices i, j, k we have
$$\begin{aligned} f_{ij}(v) \, \partial _k F (v)+ f_{jk}(v) \, \partial _i F (v)+ f_{ki}(v) \, \partial _j F(v) = 0 \end{aligned}$$(3.5)provided that \(f_{ij}(v)\ne 0\).
Proof
If v is vertically contact, (3.5) stands trivially. Otherwise we are going to show that it is equivalent to the augmented matrix having rank 2. Suppose that v is not vertically contact and choose indices \(i\ne j\) such that \(f_{ij}(v)\ne 0\) and \((f_i(v), f_j(v))\) is a basis of \(\mathrm {span}(G_v, C_v)\). By Lemma 2.6, if \(k\ne i, j\) then
In other words we can eliminate the k-th row for any \(k\ne i, j\). The elimination must also yield zeroes on the right-hand side of (3.4) to have a solution, i.e. for \(k \ne i, j\) we must have
Equation (3.5) follows by interchanging the indices in \(f_{kj}\) and \(f_{ik}\). \(\square \)
Remark 3.7
Equations (3.5) do not contain unknown quantities. They are intrinsic conditions of the solvability. Taking \(f_{ij}(v)\ne 0\) for some fixed indices i and j at a not vertically contact element, they provide \(n-2\) equations to be automatically satisfied because \(k=1, \ldots , n\), but \(k\ne i, j\). The missing equations are
where \(\left\langle {f_i,\rho }\right\rangle \) and \( \left\langle {f_j,\rho }\right\rangle \) stand for the inner product at \(p\in M\) coming from the Riemannian metric \(\gamma \). They provide the only possible solution \(\rho \) in an explicit form.
3.3 The only possible solution of CEQ at the point \(p\in M\)
Recall that if the tangent space at \(p\in M\) contains only vertically contact non-zero elements (vertically contact tangent space) and the Finsler manifold admits a compatible (semi-symmetric) linear connection \(\nabla \), then it is a Riemannian manifold because the linear isometries via the parallel transports with respect to \(\nabla \) extend the quadratic Finslerian (esp. Riemannian) indicatrix at the point p to the entire (connected) manifold. Therefore we present the solution of CEQ in the generic case of non-Riemannian Finsler manifolds. Let us choose a not vertically contact element \(v \in T_p^{\circ } M\) and indices \(i\ne j\) with \(f_{ij}(v)\ne 0\), i.e. \(f_i, f_j\) are linearly independent over some neighborhood U of v in \(T_pM\). Using (2.3), the eliminated form (3.6) of CEQ gives that
and, consequently,
We are going to concentrate on the second row
at the points of the open neighborhood U around v. Let us choose a value \(\varepsilon >0\) such that all the elements
are contained in U. Then (3.7) implies the system
of linear equations. Using the notation
we have to investigate the regularity of the matrix \(V-\varepsilon I\), where I denotes the identity matrix of the same type as V.
Lemma 3.8
The matrix \(V-\varepsilon I\) is regular if and only if \(\varepsilon \notin \{ 0, \widetilde{v}:=v^1+\dots +v^n \}\).
Proof
The determinant \(\mathrm {det}(V-\varepsilon I)\) is the characteristic polynomial of V with \(\varepsilon \) as the variable. It is zero if and only if \(\varepsilon \) is an eigenvalue of V. Consider the transpose of V as the matrix of a linear transformation \(\varphi \) (the eigenvalues are the same as those of V). Since the image of \(\varphi \) is the line generated by v, it follows that \(\varphi \) has a kernel of dimension \(n-1\) and v is an eigenvector corresponding to the eigenvalue \(\widetilde{v}:=v^1+\dots +v^n\) because of
\(\square \)
Lemma 3.9
Choosing \(\varepsilon \notin \{ 0, \widetilde{v}:=v^1+\dots +v^n\}\), we have
Proof
We shall prove the formula
Rearranging the left-hand side,
because of \(V\cdot V=\widetilde{v} \cdot V\). \(\square \)
Returning to (3.8),
Theorem 3.10
If a non-Riemannian Finsler manifold admits a semi-symmetric compatible linear connection, then the values of the components \(\rho _k\) in formula (3.2) for its torsion at the point \(p\in M\) are
where
-
\(v=[v^1, \dots , v^n]\) is a not vertically contact vector in \(T^{\circ }_p M\),
-
\(\varepsilon \notin \{ 0, \widetilde{v}:=v^1+\dots +v^n\}\),
-
\(w_i=[v^1, \dots , v^{i-1}, v^i-\varepsilon , v^{i+1}, \dots , v^n]\), \(i=1, \ldots , n\),
-
\(f^h_{ji}= y^j \partial _i F - y^i \partial _j F = y^j \dfrac{\partial F}{\partial x^i} - y^i \dfrac{\partial F}{\partial x^j}\),
-
\(f_{ji}= y^j \dot{\partial }_i F - y^i \dot{\partial }_j F = y^j \dfrac{\partial F}{\partial y^i} - y^i \dfrac{\partial F}{\partial y^j}\) and the coordinates on the base manifold form a normal coordinate system with respect to the averaged Riemannian metric \(\gamma \) around the point \(p\in M\).
Data Availability Statement
No datasets were generated or analyzed during the current study.
Notes
The local solutions only very implicitly indicate the existence of a global solution. Roughly speaking, if we have at least continuous local solutions (connection parameters) then the local parallel vector fields provide linear isometries between the tangent spaces neighbourhood to neighbourhood. Therefore the manifold is locally monochromatic. It becomes a global property in case of a connected manifold and the main result in [5] implies that we have a generalized Berwald manifold. However, it is enough to consider the local solutions as the consequences of the global solution in our present paper.
References
Bao, D., Chern, S.-S., Shen, Z.: An Introduction to Riemann-Finsler geometry. Springer-Verlag (2000)
Wagner, V.: On generalized Berwald spaces. CR Dokl. Acad. Sci. USSR (N.S.) 39, 3–5 (1943)
Vincze, C., Oláh, M., Muhsin, L.: On the divergence representation of the Gauss curvature of Riemannian surfaces and its applications. Rend. Circ. Mat. Palermo, II Ser. 69, 1–13 (2020). https://doi.org/10.1007/s12215-018-0382-6.
Vincze, C., Oláh, M.: On the extremal compatible linear connection of a Randers space. J. Geom. 111, 1–16 (2020). https://doi.org/10.1007/s00022-020-00532-9.
Bartelmeß, N., Matveev, V.: Monochromatic metrics are generalized Berwald. J. Diff. Geom. Appl. 58, 264–271 (2018)
Vincze, C.: A new proof of Szabó’ s theorem on the Riemann-metrizability of Berwald manifolds. J. AMAPN 21, 199–204 (2005)
Crampin, M.: On the construction of Riemannian metrics for Berwald spaces by averaging. Houston J. Math. 40(3), 737–750 (2014)
Matveev, V.S., Troyanov, M.: The Binet-Legendre metric in Finsler geometry. Geom. and Topol. 16, 2135–2170 (2012)
Vincze, C.: On the extremal compatible linear connection of a generalized Berwald manifold. Aequat. Math. 96, 53–70 (2022). https://doi.org/10.1007/s00010-021-00859-x. arXiv:1909.03096
Vincze, C.: Generalized Berwald manifolds with semi-symmetric linear connections. Publ. Math. Debrecen 83(4), 741–755 (2013)
Vincze, C.: On a special type of generalized Berwald manifolds: semi-symmetric linear connections preserving the Finslerian length of tangent vectors, “Finsler geometry: New methods and Perspectives’’. Euro. J. of Math. 3(4), 1098–1171 (2017)
Acknowledgements
Márk Oláh is supported by the UNKP-21-3 New National Excellence Program of the Ministry for Innovation and Technology from the source of the National Research, Development and Innovation Fund of Hungary. The authors would like to thank the referee for his/her careful work and valuable suggestions to improve the quality of the paper.
Funding
Open access funding provided by University of Debrecen.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
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
Vincze, C., Oláh, M. Finsler metrics and semi-symmetric compatible linear connections. J. Geom. 113, 45 (2022). https://doi.org/10.1007/s00022-022-00654-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00022-022-00654-2
Keywords
- Convex bodies
- Tangent hyperplanes
- Minkowski norm
- Finsler spaces
- Generalized Berwald spaces
- Semi-symmetric linear connections
- Intrinsic Geometry