Abstract
A linear connection on a Finsler manifold is called compatible to the metric if its parallel transports preserve the Finslerian length of tangent vectors. Generalized Berwald manifolds are Finsler manifolds equipped with a compatible linear connection. Since the compatibility to the Finslerian metric does not imply the unicity of the linear connection in general, the first step of checking the existence of compatible linear connections on a Finsler manifold is to choose the best one to look for. A reasonable choice is introduced in Vincze (J Differ Geom Appl, 2019. arXiv:1909.03096) called the extremal compatible linear connection, which has torsion of minimal norm at each point. Randers metrics are special Finsler metrics that can be written as the sum of a Riemannian metric and a 1form (they are “translates” of Riemannian metrics). In this paper, we investigate the compatibility equations for a linear connection to a Randers metric. Since a compatible linear connection is uniquely determined by its torsion, we transform the compatibility equations by taking the torsion components as variables. We determine when these equations have solutions, i.e. when the Randers space becomes a generalized Berwald space admitting a compatible linear connection. Describing all of them, we can select the extremal connection with the norm minimizing property. As a consequence, we obtain the characterization theorem in Vincze (Indag Math 26(2):363–379, 2014): a Randers space is a nonRiemannian generalized Berwald space if and only if the norm of the perturbating term with respect to the Riemannian part of the metric is a positive constant.
Similar content being viewed by others
1 Notations and terminology
Let M be a differentiable manifold with local coordinates \(u^1, \ldots , u^n.\) The induced coordinate system of the tangent manifold TM consists of the functions \(x^1, \ldots , x^n\) and \(y^1, \ldots , y^n\). For any \(v\in T_pM\), \(x^i(v):=u^i\circ \pi (v)=u^i(p)=:p^i\) and \(y^i(v)=v(u^i)\), where \(i=1, \ldots , n\) and \(\pi :TM \rightarrow M\) is the canonical projection.
A Finsler metric is a 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) and the Hessian
of the energy function \(E=F^2/2\) is positive definite at all nonzero elements \(\displaystyle {v\in T_pM}\) (strong convexity). The pair (M, F) is called a Finsler manifold.
Definition 1
Let (M, F) be a Finsler manifold. A linear connection \(\nabla \) on M is compatible to F if the parallel transports with respect to \(\nabla \) preserve the Finslerian length of tangent vectors. If \(\nabla \) is a compatible linear connection to F, then the triplet \((M,F,\nabla )\) is called a generalized Berwald manifold.
Let \(\nabla \) be a linear connection on M compatible to F, which means that F is constant along parallel vector fields. Denoting an arbitrary parallel vector field along the curve \(c:[0,1]\rightarrow M\) by X,
Here we have that \((x^k\circ X)'= (u^k \circ \pi \circ X)'= (u^k \circ c)' = {c^k}'\) and the function \(y^k \circ X=: X^k\) satisfies the differential equation
of parallel vector fields, i.e. \({X^k}'={c^i}' X^j \Gamma _{ij}^k\circ c\). Therefore
So the compatibility of \(\nabla \) is equivalent to
We will call (1) the system of compatibility equations and the vector fields
acting on the Finslerian metric in the compatibility equations are called horizontal vector fields. To sum up, the linear connection \(\nabla \) determines (by its connection parameters) the horizontal vector fields \(X_1^{h}, \dots , X_n^{h}\), and the vanishing of the derivatives of F along them characterizes the compatibility of \(\nabla \) to F. Together with \(\nabla \) we also have a Riemannian metric on the manifold M, which is related to F in a “nice way”.
Definition 2
Let (M, F) be a Finsler manifold and suppose that \(\gamma \) is a Riemannian metric on M. We will call \(\gamma \)compatible to F if every linear connection compatible to F is also compatible to \(\gamma \).
In other words, the parallel transports preserving the Finslerian length preserve the Riemannian length, too. Such a Riemannian metric always exists: it is wellknown that the socalled averaged Riemannian metric given by integration over the indicatrices has this property; for the details see [3, 5]. Unfortunately, it is hard to compute in practice, so instead (whenever possible) we should find a compatible Riemannian metric which is easier to handle. For some other candidates, see [1, 2]. In what follows, \(\gamma \) denotes an arbitrary (previously fixed) compatible Riemannian metric to F, \(\nabla ^*\) is its (uniquely existing) LéviCivita connection and \({\Gamma }^{k*}_{ij}\) are the (symmetric) connection parameters of \(\nabla ^*\). The horizontal vector fields generated by \(\nabla ^*\) are
2 The compatibility equations in terms of the torsion components
Following [6], we are going to transform the system (1) of the compatibility equations for \(\nabla \) by taking the torsion components as variables. The Christoffel process gives the following formula:
In terms of the torsion components, the system (1) of the compatibility equations for \(\nabla \) can be written into the form
Taking a nonzero vector \(v \in T_p M\), we have the inhomogeneous system of linear equations
for the unknown scalars \(T_{ab}^{c}(p)\). The set \(A_p(v)\) of its solutions is an affine subspace in the vector space \(\wedge ^2 T_p^*M \otimes T_pM\) spanned by
of dimension \(\displaystyle {\left( {\begin{array}{c}n\\ 2\end{array}}\right) n}\). By going through all nonzero tangent vectors \(v \in T_p M\), the solution set
containing the restrictions of the torsion tensors of all compatible linear connections to the Cartesian product \(\displaystyle {T_pM\times T_pM}\) is also an affine subspace of \(\wedge ^2 T_p^*M \otimes T_pM\) (as the intersection of affine subspaces). Let us rewrite these equations in a more concise form. The skewsymmetry allows us to keep only the components \(T_{ab}^{c}\) with lower indices \(a<b\). Denoting by \({\tilde{\sigma }}_{ab;i}^{c}\) the coefficient of \(T_{ab}^{c}\) (\(a<b\)) in the ith equation,
If \(\displaystyle {\partial /\partial u^1, \ldots , \partial /\partial u^n}\) is an orthonormal basis at \(p\in M\) with respect to the compatible Riemannian metric \(\gamma \), then
and the compatibility equations are
where the summation symbol means summing over the following indices:
3 The extremal compatible linear connection
According to the previous section, the pointwise solutions of the compatibility equations form affine subspaces in \(\wedge ^2 T_p^*M \otimes T_pM\) (\(p \in M\)). So there is no reason for a global solution (if there is a solution at all) to be unique. Therefore the first step of checking the existence of compatible linear connections on a Finsler manifold is to choose the best one to look for. A reasonable choice is introduced in [6].
Definition 3
Let (M, F) be a Finsler manifold with a compatible Riemannian metric \(\gamma \), and suppose that the coordinate vector fields \(\partial /\partial u^1, \ldots , \partial /\partial u^n\) form an orthonormal basis at the point \(p\in M\) with respect to \(\gamma \). We introduce a Riemannian metric on \(\wedge ^2 T_p^*M \otimes T_pM\) in the following way.
If \(\displaystyle {T=\sum _{i<j,k} T_{ij}^k du^i \wedge du^j \otimes \frac{\partial }{\partial u^k}}\), then
The extremal compatible linear connection on M is the uniquely determined compatible linear connection whose torsion minimizes its pointwise norm.
The system
is an orthonormal basis at the point \(p\in M\) with respect to the scalar product introduced above. Since the pointwise solution set \(A_p\) of the compatibility equations is an affine (especially, a convex) set, the element with the minimal norm (the closest element to the origin) is uniquely determined. For the details, see [6].
4 Compatible linear connections of Randers spaces
Definition 4
A Finsler metric is called Randers metric if it has the special form
where

\(\alpha \) is a norm coming from a Riemannian metric on M, i.e. if the matrix of the Riemannian metric in a local basis \(\partial /\partial u^1, \ldots , \partial /\partial u^n\) is \(\alpha _{ij}\), then \(\alpha (x,y)=\sqrt{\alpha _{ij}(x)y^{i}y^{j}}\),

\(\beta \) is a 1form, i.e. a linear functional on the tangent spaces with the coordinate representation \(\beta (x,y)=\beta _j(x)y^j\).
Note that both the metric components of the Riemannian part and the components of the perturbating term are considered on the tangent manifold as composite functions \(\alpha _{ij}(x)\) and \(\beta _k(x)\), where \(x=(x^1, \ldots , x^n)\). It is wellknown [4] that its Riemannian part is compatible to the Randers metric, so \(\gamma :=\alpha \) is a convenient choice for a Riemannian environment because \(\alpha \) is directly given by the Randers metric.
In what follows, we are going to investigate the existence and the intrinsic expression of compatible linear connections on Randers spaces, i.e. when these spaces can be considered as generalized Berwald manifolds. We suppose that M is connected and \(\beta _p\ne 0\) at each point of the manifold. Otherwise, if there is a point \(p \in M\) of a Randers manifold admitting compatible linear connections such that \(\beta _p=0\), then the indicatrix at p is quadratic and the same holds at all points of the (connected) manifold because the indicatrices are related by linear parallel translations. Therefore the metric is Riemannian, i.e. the compatibility of a linear connection means that it is metrical in the usual sense and the extremal compatible linear connection is obviously the LéviCivita connection of the Riemannian metric.
4.1 The compatibility equations
Let a point \(p\in M\) be given. In order to make the computations easier, we choose local coordinates around p such that the basis \(\partial /\partial u^1, \ldots , \partial /\partial u^n\) satisfies the following properties:

\(\displaystyle {(\partial /\partial u^1)_p, \ldots , (\partial /\partial u^n)_p}\) is an orthonormal basis of \(T_p M\) with respect to \(\alpha \), so \(\alpha _{ij}(p)=\delta _{ij}\);

\(\beta _1(p) = \dots = \beta _{n1}(p)=0\) and \(\beta _n(p) \ne 0\), i.e. the coordinate vector fields from 1 to \(n1\) span the kernel of the linear functional \(\beta _p :T_pM \rightarrow {\mathbb {R}}\).
Under these choices of the coordinate vector fields, the form of the metric at p is
The partial derivatives of F with respect to the vectorial directions are
and, consequently,
Plugging it in formula (3) and using that \(a < b \le n\) we have
Writing \(\sigma _{ab;i}^{c} := {\tilde{\sigma }}_{ab;i}^{c}/\beta _n\),
and the compatibility equations at a given point \(p\in M\) are
Lemma 1
For a given point \(p\in M\),
where the right hand side is a linear expression in the coordinate functions \(y^j\).
Proof
Since \(\nabla ^*\) is the LéviCivita connection of \(\alpha \), we have
Furthermore,
\(\square \)
Corollary 1
Introducing the notations
the compatibility equations are
4.2 The coefficients of the torsion components
Let us arrange the components \(T_{ab}^{c}\) into blocks such that all components with the same lower indices (a, b) are in the same block, labeled by the index (a, b). The number of blocks is \(\displaystyle {\left( {\begin{array}{c}n\\ 2\end{array}}\right) }\). In a given block, we order the components in an increasing way by the index c.
Definition 5
Let us call the first \(\left( {\begin{array}{c}n1\\ 2\end{array}}\right) \) blocks whose indices (a, b) does not contain the number n front blocks, and the remaining \(n1\) blocks with indices \(a < b=n\)rear blocks. The last elements of the form \(T_{ab}^{n}\) in the blocks are called tails, and a block without its tail is called a short block.
For example, in case of \(n=4\), the components are arranged in the following way:
Let us examine what the coefficients of the components \(T_{ab}^{c}\) look like. By saying that a term appears in an equation we mean that its coefficient is not zero. Using (6), we have the following expressions:

I.
\(\sigma _{ab;i}^{c}=0\) for any \(T_{ab}^{c}\) (\(a<b<n, c<n\)) in a front short block because all indices are different from n.

II.
\(\sigma _{ab;i}^{n} = \delta _i^b y^a \delta _i^a y^b\) for the tail \(T_{ab}^{n}\) (\(a<b<n\)) of a front block. Therefore it appears only in two different equations of indices \(i=a\) and \(i=b\) with coefficients
$$\begin{aligned} \sigma _{ab;a}^{n}=y^b , \quad \quad \sigma _{ab;b}^{n}=y^a. \end{aligned}$$ 
III.
\(\sigma _{an;i}^{c} = \delta _i^c y^a + \delta _i^a y^c\) for any \(T_{an}^{c}\) (\(a<n, c<n\)) in a rear short block. We have two cases:

if \(a=c\), then the diagonal component \(T_{an}^{a}\) appears only in the equation of index \(i=a=c\) with coefficient
$$\begin{aligned} \sigma _{an;a}^{a} = 2y^a; \end{aligned}$$ 
if \(a \ne c\), then \(T_{an}^{c}\) appears in exactly two equations of indices \(i=a\) and \(i=c\) with coefficients
$$\begin{aligned} \sigma _{an;a}^{c}=y^c, \quad \quad \sigma _{an;c}^{c}= y^a. \end{aligned}$$


IV.
\(\sigma _{an;i}^{n} = \delta _i^n y^a + \delta _i^a y^n + \delta _i^n y^a \delta _i^a y^n = 2\delta _i^n y^a\) for the tail \(T_{an}^{n}\) (\(a<n\)) of a rear block. So it only appears in the last equation of index n with coefficient \(\sigma _{an;n}^{n}= 2y^a\).
According to I–IV, none of the components of front short blocks appear in the equations. So we have the front tails and the rear blocks remaining, together
tensor components. For example, in case of \(n=2\) we have 2, in case of \(n=3\) we have 7 and in case of \(n=4\) we have 15 unknown components.
4.3 The nth compatibility equation
The nth compatibility equation is much more simple than the others.
Lemma 2
In the nth compatibility equation, only the rear tails \(T_{an}^{n}\) have coefficients different from 0, and \(\sigma _{an;n}^{n}= 2y^a\).
Proof
We have seen in IV. that \(\sigma _{an;n}^{n}= 2y^a\). What about the others?

In short front blocks every coefficient is 0.

The tails \(T_{ab}^{n}\) of front blocks have nonzero coefficients in equations of indices \(i=a\) and \(i=b\), but here \(a<b<n\).

Elements \(T_{an}^{c}\) of rear short blocks have nonzero coefficients in equations of indices \(i=a\) and \(i=c\), but here \(a<n\) and \(c<n\).
\(\square \)
Proposition 1
The nth compatibility equation divided by 2 is
Proof
The left hand side is given by Lemma 2, and the right hand side is given by (10). \(\square \)
Corollary 2
The nth compatibility equation is solvable if and only if \(C_{n;n}=0\) and the rear tails are uniquely determined:
Proof
By Proposition 1, both sides are linear expressions of the coordinate functions \(y^a\). Comparing the coefficients of \(y^a\) (\(a \ne n\)), we have both the solvability condition and formula (11) immediately. \(\square \)
By Corollary 2 we exploited all information the nth equation has. From now on we consider the equations of indices \(i=1, \dots , n1\).
4.4 The first \(n1\) compatibility equations
Let us consider the ith compatibility equation (\(i=1, \dots , n1\)) and rearrange its left hand side with respect to the coordinate functions \(y^k\) (\(k=1, \ldots , n\)).
Lemma 3
For any \(i=1, \ldots , n1\), the ith compatibility equation contains the coordinate function \(y^k\) on the left hand side with coefficient
Proof
First of all recall that the tensor components in the short front blocks do not appear in the compatibility equations because of I. Otherwise

the tails \(T_{ab}^{n}\) of the front blocks have nonzero coefficients in the equations of indices \(i=a\) and \(i=b\). So, in the ith equation only the components of the form \(T_{ib}^{n}\) and \(T_{ai}^{n}\) appear with coefficients \(\sigma _{ib;i}^{n}=y^b\) and \(\sigma _{ai;i}^{n}=y^a\).

\(y^i\) and \(y^n\) never appear here because of \(a<b<n\).

Otherwise, \(y^k\) appears with either \(T_{ik}^{n}\) (in case of \(i<k\)) or \(T_{ki}^{n}\) (in case of \(k<i\)).


The elements \(T_{an}^{c}\) of the rear short blocks, which are not diagonal, have nonzero coefficients in the equations of indices \(i=a\) and \(i=c\) (\(a \ne c\)). So, in the ith equation only the components of the form \(T_{in}^{c}\) and \(T_{an}^{i}\) appear with coefficients \(\sigma _{in;i}^{c}=y^c\) and \(\sigma _{an;i}^{i}=y^a\).

\(y^i\) and \(y^n\) never appear here because of \(a \ne c\), \(a<n\) and \(c<n\).

Otherwise \(y^k\) appears with \(T_{in}^{k}+T_{kn}^{i}\).


The rear diagonal component \(T_{in}^{i}\) appears with \(\sigma _{in;i}^{i}=2y^i\) in the ith equation. Therefore \(y^i\) appears with coefficient \(2T_{in}^{i}\).

Rear tails do not appear here (only in the last equation).
\(\square \)
Proposition 2
The ith compatibility equation is
where \(i=1, \dots , n1\).
Proof
The left hand side is given by Lemma 3, and the right hand side is given by (10). \(\square \)
Corollary 3
For any \(i=1, \ldots , n1\), the ith compatibility equation is solvable if and only if \(C_{n;i}=0\) and the rear diagonal components are uniquely determined:
Proof
By Proposition 2, both sides are linear expressions of the coordinate functions \(y^k\). Comparing the coefficients of \(y^k\) (\(k=1, \ldots , n1)\), we have both the solvability condition and formula (12) immediately. \(\square \)
We have managed to express all tensor components having repeated indices. The remaining components have different indices one of which is n. By the condition \(a<b\), every indextriplet appears exactly three times (so for \(k<i<n\), we have the components \(T_{ki}^{n},T_{in}^{k},T_{kn}^{i}\), one of which is a front tail and the other two are elements of the corresponding rear short blocks).
Corollary 4
The front tails are uniquely determined:
where \(a<b<n\), and the components with the same indices in different positions satisfy the following equation:
Proof
Let us consider the remaining components under the choice \(k<i<n\). It is easy to see that componenttriplets \(T_{ki}^{n},T_{in}^{k},T_{kn}^{i}\) appear always together and exactly twice:

in the ith equation we have \((T_{ki}^{n}+T_{in}^{k}+T_{kn}^{i})y^k\),

in the kth equation we have \((T_{ki}^{n}+T_{in}^{k}+T_{kn}^{i})y^i\).
By comparing them with the coefficients of \(y^k\) and \(y^i\) on the right hand side
Adding these together, dividing by 2 and using the symmetry of \(\Gamma ^{k*}_{ij}\),
Thus, from every componenttriplet, the terms \(T_{in}^{k}\) and \(T_{kn}^{i}\) in the corresponding rear short blocks depend only on each other and their sum is \(S_{ik}(x)\). Plugging this into the equation above, we can determine the front tails as
\(\square \)
4.5 Solvability conditions
By Corollaries 2 and 3, there exists a solution of the compatibility equations at \(p \in M\) if and only if
We are going to reformulate this condition in a coordinatefree way. In the following computations, the metric components of the Riemanian part and the components of the perturbating term are considered on the tangent manifold as composite functions \(\alpha _{ij}(x)\) and \(\beta _k(x)\), where \(x=(x^1, \ldots , x^n)\). First, we compute the Christoffel symbols \({\Gamma }^{n*}_{in}\) of the LéviCivita connection \(\nabla ^*\) of \(\alpha \). Using \(\alpha _{ij}(p)=\delta _{ij}\), the compatibility to the metric implies that
Secondly, let us replace the 1form \(\beta \) with its dual vector \(\beta ^{\sharp }\):
Since \(\alpha _{ij}(p)=\delta _{ij}\) implies that \(\beta ^n = \beta _n\), we have
So, we have proved the following characterization theorem obtained in [4] by different methods.
Proposition 3
A connected nonRiemannian Randers space with a metric \(F=\alpha +\beta \) is a generalized Berwald space if and only if the dual vector field of the perturbating term has a positive constant length with respect to the Riemannian part of the Randers metric.
Proof
The metric admits a compatible linear connection if and only if the system (10) has a solution for any \(p\in M\). As we have seen above the solvability conditions
are equivalent to the vanishing of the partial derivatives (with respect to the position) of the norm square of the dual vector field with respect to the Riemannian part of the Randers metric. Using that the manifold is connected, we have that the norm must be constant. It is positive because the Randers metric is nonRiemannian. \(\square \)
5 The extremal compatible linear connection of a Randers space
Theorem 1
Let \(F=\alpha +\beta \) be a nonRiemannian Randers metric on a connected manifold M. There exists a compatible linear connection on M if and only if the dual vector field of the perturbating term has a positive constant length with respect to the Riemannian part of the Randers metric. If \(p \in M\) is a given point and \(\partial /\partial u^1, \ldots , \partial /\partial u^n\) is a local coordinate system such that

\((\partial /\partial u^1)_p, \ldots , (\partial /\partial u^n)_p\) is an orthonormal basis of \(T_p M\) with respect to \(\alpha \),

\(\beta _1(p) = \dots = \beta _{n1}(p)=0, \beta _n(p) \ne 0\),
then the connection parameters of the extremal compatible linear connection are
where \(\Gamma _{ij}^{*r}\) denotes the connection parameters of the LéviCivita connection of \(\alpha \), and the torsion components \(T_{ab}^{c}\) of the extremal compatible linear connection are given as follows:

all components in the front short blocks are 0,

the tails of the front blocks are
$$\begin{aligned} T_{ab}^{n}(p)=\frac{1}{\beta _n}(x) \left( \frac{\partial \beta _b}{\partial x^a}(x)  \frac{\partial \beta _a}{\partial x^b}(x) \right) \quad \quad (a< b < n), \end{aligned}$$ 
the rear diagonal elements are
$$\begin{aligned} T_{an}^{a}(p) = {\Gamma }^{n*}_{aa}(p)\frac{1}{\beta _n(x)} \frac{\partial \beta _a}{\partial x^a}(x)\quad \quad (a=1, \dots , n1), \end{aligned}$$ 
the tails of the rear blocks are
$$\begin{aligned} T_{an}^{n}(p) = {\Gamma }^{n*}_{an}(p)  \frac{1}{\beta _n(x)} \frac{\partial \beta _a}{\partial x^n}(x) \quad \quad (a=1, \dots , n1), \end{aligned}$$ 
the nondiagonal elements of the rear short blocks are
$$\begin{aligned} T_{an}^{c}(p)= \Gamma ^{n*}_{ac}(p) \frac{1}{2\beta _n(x)} \left( \frac{\partial \beta _c}{\partial x^a}(x) + \frac{\partial \beta _a}{\partial x^c}(x) \right) \quad \quad (a, c=1, \dots , n1, a \ne c). \end{aligned}$$
Proof
For the existence of compatible linear connections, we refer to Proposition 3. To compute the connection parameters, we use formula (2) and \(\alpha _{ij}(p)=\delta _{ij}\).
In the previous section, we computed the components of the torsion of an arbitrary compatible linear connection. We get the extremal connection by choosing the free parameters in such a way that the quadratic sum of all the components is minimal.

Components of the front short blocks never appear in the compatibility equations, thus they are free variables and no other components depend on them. So to minimize the norm, we set them all zero.

The components \(T_{ab}^{n}\), \(T_{an}^{a}\) and \(T_{an}^{n}\) are uniquely determined for every compatible linear connection, as we have seen by formulas (13), (12) and (11), respectively.

According to formula (14), the sum \(T_{an}^{c}+T_{cn}^{a}\) (\(a\ne c, c<n\)) is the constant \(S_{ac}\) (and they only depend on each other). So the norm is minimized if we set them \(T_{an}^{c}=T_{cn}^{a}= \frac{1}{2}S_{ac}\) by the solution of the minimum problem \(x^2 + (cx)^2 \rightarrow \mathrm {min}\).
\(\square \)
Remark 1
The socalled extremal linear connection can always be introduced on a Randers space by the formulas in Theorem 1 for the components of the torsion tensor. However, it is not compatible to the Randers metric in general. The necessary and sufficient condition for such a linear connection to be compatible to the metric is that the dual vector field of \(\beta \) has constant length with respect to the Riemannian metric \(\alpha \).
Corollary 5
According to the number of the tensor components that can be chosen arbitrarily, we have that
for a Randers space of dimension \(n\ge 3 \) admitting compatible linear connections. Especially, it is of dimension zero, i.e. a singleton, in case of dimension two.
Proof
The number of the tensor components in the front short blocks is
and the number of the components of the form \(T_{an}^c\) (\(a=1, \ldots , n1, a\ne c, c< n\)) is \(\displaystyle {\left( {\begin{array}{c}n1\\ 2\end{array}}\right) }\). Their sum gives the dimension of the pointwise solution space \(A_p\) of the compatibility equations. In dimension two we have no free parameters. \(\square \)
6 An example: the case of dimension 4
In dimension 4, the compatibility equation consists of 4 equations with \(\displaystyle {4\left( {\begin{array}{c}4\\ 2\end{array}}\right) {=}24}\) unknown torsion components. Among the components in the \(\displaystyle {\left( {\begin{array}{c}3\\ 2\end{array}}\right) {=}3}\) front blocks only the tails have nonzero coefficients. Since \(T_{12}^{1}, T_{12}^{2}, T_{12}^{3}; T_{13}^{1}, T_{13}^{2}, T_{13}^{3}; T_{23}^{1}, T_{23}^{2}, T_{23}^{3}\) do not appear in the equations (they have zero cefficients) we set them all zero to get the extremal compatible connection. Using the formulas in I–IV., the matrix form of the compatibility equations is
According to Corollary 2, we can express the rear tails \(T_{14}^{4}, T_{24}^{4}, T_{34}^{4}\) by comparing the coefficients of the \(y^j\)’s in the 4th equation:
Rearranging the remaining terms in the first 3 equations, we get
According to Corollary 3, we can express the rear diagonal elements \(T_{14}^{1}, T_{24}^{2}, T_{34}^{3}\) by comparing the coefficients of \(y^i\) in the ith equation:
We can see that all triplets formed by the remaining terms appear twice. Let us consider for example \(T_{12}^{4},T_{14}^{2},T_{24}^{1}\). It appears in the first equation as the coefficient of \(y^2\) and in the second equation as the coefficient of \(y^1\). So we have
Adding these together and using (14),
and by (13),
Using similar arguments, we can see that
so in order to minimize the norm, we set them
Finally,
References
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. Topol. 16, 2135–2170 (2012)
Vincze, C.: A new proof of Szabó’ s theorem on the Riemannmetrizability of Berwald manifolds. J. AMAPN 21, 199–204 (2005)
Vincze, C.: On Randers manifolds with semisymmetric compatible linear connections. Indag. Math. 26(2), 363–379 (2014)
Vincze, C.: On a special type of generalized Berwald manifolds: semisymmetric linear connections preserving the Finslerian length of tangent vectors, “Finsler geometry: New methods and Perspectives”. Eur. J. Math. 3(4), 1098–1171 (2017)
Vincze, C.: On the extremal compatible linear connection of a generalized Berwald manifold. Submitted to J. Differ. Geom. Appl. (2019). arXiv:1909.03096
Acknowledgements
Open access funding provided by University of Debrecen (DE).
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.
Cs. Vincze is supported by the EFOP3.6.116201600022 project. The project is cofinanced by the European Union and the European Social Fund. Cs. Vincze and M. Oláh are also supported by TKADAAD 307818.
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. On the extremal compatible linear connection of a Randers space. J. Geom. 111, 19 (2020). https://doi.org/10.1007/s00022020005329
Received:
Revised:
Published:
DOI: https://doi.org/10.1007/s00022020005329
Keywords
 Finsler spaces
 Generalized Berwald spaces
 Intrinsic geometry
 Randers spaces
 Extremal compatible linear connection