---
title: Berwald-Finsler Spacetimes
url: https://www.emergentmind.com/topics/berwald-finsler-spacetimes
type: topic
---

# Berwald-Finsler Spacetimes

Searching arXiv for recent and foundational papers on Berwald-Finsler spacetimes and closely related Berwald/Finsler geometry.
Berwald–Finsler spacetimes are Finsler spacetime structures whose canonical Finsler connection reduces to an affine connection on the base manifold, so that the geodesic spray is quadratic in the velocities and the corresponding connection coefficients depend only on position. In the pseudo-Finsler formulation used for spacetime geometry, the basic object is a 2-homogeneous Lagrangian \(L(x,\dot x)\) on a conic subbundle of \(TM\setminus\{0\}\), with non-degenerate Hessian \(g_{ab}(x,\dot x)=\frac12\dot\partial_a\dot\partial_b L\). The Berwald condition singles out those Finsler spacetimes that are closest to pseudo-Riemannian geometry while remaining genuinely direction-dependent in their metric sector [2306.07866], [1909.05284]. In positive-definite Finsler geometry Berwald spaces are tightly linked to affine and Riemannian structures, but in Lorentzian or pseudo-Finsler signature the corresponding spacetime theory exhibits both strong rigidity phenomena and genuine non-metrizable, metric-affine behavior [2003.02300], [1808.02999].

## 1. Definition and basic geometric structure

In the pseudo-Finsler spacetime framework, a pseudo-Finsler space \((M,L)\) is specified by a function
\[
L:\mathcal A\to\mathbb R
\]
on a conic subbundle \(\mathcal A\subset TM\setminus\{0\}\), with positive 2-homogeneity,
\[
L(x,\lambda\dot x)=\lambda^2L(x,\dot x),\quad \lambda>0,
\]
and non-degenerate fiber Hessian
\[
g_{ab}(x,\dot x)=\frac{1}{2}\dot\partial_a\dot\partial_b L.
\]
A Finsler spacetime is obtained when there exists a conic subbundle \(\mathcal T\subset\mathcal A\) on which \(g_{ab}\) has Lorentzian signature \((+,-,-,-)\), \(L>0\), and the boundary of \(\mathcal T\) is the light cone [2306.07866]. A closely related formulation starts from a continuous function \(L:TM\to\mathbb R\), smooth on \(TM\setminus\{0\}\), positively homogeneous of degree \(r\ge2\), with a unit timelike shell \(S_x\subset T_xM\) at each point ensuring a well-defined causal cone structure; the associated Finsler function is
\[
F(x,y)=|L(x,y)|^{1/r}
\]
[1210.2973].

A pseudo-Finsler space is of Berwald type if the geodesic spray coefficients are quadratic in the velocities,
\[
G^a=\frac12\Gamma^a{}_{bc}(x)\,\dot x^b\dot x^c,
\]
so that the nonlinear connection is linear,
\[
N^a{}_b=\Gamma^a{}_{bc}(x)\,\dot x^c.
\]
The coefficients \(\Gamma^a{}_{bc}(x)\) then define a torsion-free affine connection on \(M\), called the Berwald connection in this context [2306.07866]. Equivalent characterizations used across the literature include the direction-independence of the Chern connection coefficients, the linearity of parallel transport, and the vanishing of the hv-curvature of the Chern–Rund connection in the standard Finsler sense [1808.02999], [1909.05284].

This affine reduction is the precise sense in which Berwald–Finsler spacetimes are “closest” to pseudo-Riemannian spacetimes. The Finsler metric \(g_{ab}(x,\dot x)\) may still depend on direction, and the Cartan tensor
\[
C_{abc}=\frac14\dot\partial_a\dot\partial_b\dot\partial_c L
       =\frac12\dot\partial_a g_{bc}
\]
may be nonzero, so the geometry need not be quadratic in \(\dot x\) [2306.07866]. If \(C_{abc}=0\), then \(L=g_{ab}(x)\dot x^a\dot x^b\) is pseudo-Riemannian and the Berwald connection is the Levi-Civita connection of \(g\) [2306.07866].

## 2. Canonical connection, curvature, and gravity equations

The canonical geodesic equation in Finsler spacetime geometry is
\[
\ddot x^a+2G^a(x,\dot x)=0,
\]
with spray coefficients
\[
G^a=\frac14 g^{ab}\big(\dot x^c\dot\partial_b\partial_cL-\partial_bL\big),
\]
and nonlinear connection
\[
N^a{}_b=\dot\partial_bG^a.
\]
Its curvature is
\[
R^a{}_{bc}=\delta_cN^a{}_b-\delta_bN^a{}_c,
\qquad
\delta_a=\partial_a-N^b{}_a\dot\partial_b,
\]
and the Finsler-Ricci scalar is
\[
R=R^a{}_{ab}\dot x^b
\]
[2306.07866]. In a Berwald spacetime this simplifies to
\[
R=R_{ab}(x)\dot x^a\dot x^b,
\]
where \(R_{ab}\) is the Ricci tensor of the affine Berwald connection [2306.07866].

The Landsberg trace also simplifies in the Berwald case. With
\[
S_{abc}=\nabla C_{abc},\qquad S_a=\nabla C_a,
\]
Berwald spaces satisfy
\[
S_a=0
\]
[2306.07866]. This reduction is decisive in the Finsler gravity equations derived from an action on the unit tangent bundle. In the formulation based on
\[
S_D[L]=\int_{D\subset I}\frac{R}{L}\,d\Sigma,
\]
the field equation in vacuum reduces for Berwald spaces to
\[
g^{ab}(x,\dot x)\dot\partial_a\dot\partial_bR-6\frac{R}{L}=0.
\]
The paper defines a pseudo-Finsler space to be Ricci-flat if
\[
R=0,
\]
and for proper Berwald spacetimes this is equivalent to the vacuum field equation [2306.07866].

A parallel line of work formulates Finsler gravity directly from the scalar curvature \(\mathcal R^F\) of the Cartan nonlinear connection. In that framework the full field equation reduces, for Berwald spacetimes, to
\[
\left(Lg^{Lab}-\frac{2r-1}{r-1}y^ay^b\right)\mathcal R_{ab}=0,
\]
with \(r\) the homogeneity degree of \(L\) [1804.09727]. In the metric case this is equivalent to Einstein vacuum equations; in general it is weaker than \(\mathcal R_{ab}=0\), although for null-VGR Berwald spacetimes the two conditions coincide [1804.09727].

This suggests a structural division. One branch emphasizes Ricci-flat Berwald spacetimes as the natural vacuum sector of Finsler gravity [2306.07866]. Another studies broader Berwald vacuum equations that still admit genuinely Finslerian solutions beyond the Ricci-flat case [1804.09727].

## 3. Characterizations of Berwaldness

A central technical development is a necessary and sufficient first-order PDE for Berwaldness. If one decomposes a Finsler Lagrangian as
\[
L=\Omega\,A,
\qquad
A(x,\dot x)=g_{ab}(x)\dot x^a\dot x^b
\]
with respect to an auxiliary metric \(g\), then \((M,L)\) is of Berwald type if and only if there exists a tensor \(T^a{}_{bc}(x)\) such that
\[
\partial_a \Omega - \Gamma^b{}_{ac}\dot x^c\,\dot\partial_b \Omega
= T^b{}_{ac}\dot x^c\left(\dot\partial_b \Omega + \frac{2\dot x_b\,\Omega}{A}\right).
\]
For such a Berwald Lagrangian, the spray is
\[
G^a(x,\dot x)=\frac12(\Gamma^a{}_{bc}+T^a{}_{bc})\dot x^b\dot x^c
\]
[1909.05284]. The condition is intrinsic even though it is written using an auxiliary metric.

For \((\alpha,\beta)\)-Finsler geometries and \((A,B)\)-Finsler spacetimes, where \(L=L(\mathfrak a,\beta)\) with
\[
\mathfrak a=a_{ab}\dot x^a\dot x^b,\qquad \beta=b_a\dot x^a,
\]
the Berwald condition reduces to a necessary and sufficient condition on the Levi-Civita covariant derivative of the defining 1-form \(b\):
\[
\dot x^c \nabla_a b_c
= T^b{}_{ac}\dot x^c b_b
+ T^b{}_{ac}\dot x^c \dot x_b
\left(
\frac{\Omega}{\Omega'\beta}
-\frac{\beta}{\mathfrak a}
\right).
\]
A sufficient condition valid in all signatures is \(\nabla b=0\) [1909.05284]. This recovers the classical Randers criterion and extends m-Kropina and VGR Berwald conditions.

For VGR spacetimes with
\[
L=g(y,y)\,B(y)^n,
\]
the Berwald condition becomes especially explicit:
\[
\nabla_a B_b
=
C(x)\left(2(1+n)B_aB_b-n\,g(B,B)\,g_{ab}\right).
\]
In the null case \(g(B,B)=0\), this simplifies to
\[
\nabla_a B_b = 2(1+n)C(x)B_aB_b
\]
[1804.09727]. This criterion yields both null and non-null Berwald examples, including VSI-type and cosmological VGR spacetimes.

A different characterization uses indicatrix invariance and averaging. In positive-definite Finsler geometry, a Finsler structure is Berwald if and only if its Chern connection coincides with the pull-back of its averaged connection, and equivalently if there exists a Riemannian metric whose Levi-Civita connection preserves the Finsler indicatrix under parallel transport [1206.4403]. This suggests a Lorentzian analogue for spacetime shells, although the noncompactness of Lorentzian indicatrices makes the averaging construction subtler. A plausible implication is that shell-preserving affine connections provide a natural diagnostic of Berwald behavior in Lorentz–Finsler settings, but the positive-definite proofs rely on compact indicatrices [1206.4403].

## 4. Rigidity, metrizability, and generalized Berwald structures

Berwald geometry is simultaneously rigid and, in Lorentzian signature, less metrizable than its positive-definite counterpart. In positive-definite Finsler geometry, classical results assert strong rigidity. A complete Berwald manifold with nowhere vanishing flag curvature must be Riemannian, and in particular any Berwald space with flag curvature bounded below by a positive number is Riemannian [1808.02999]. Under higher-rank, finite-volume, and nonpositive flag curvature assumptions, a complete connected Berwald space with irreducible universal cover is either locally symmetric or locally Minkowski [1510.04476]. These theorems show that strong curvature or rank hypotheses sharply reduce the room for genuinely non-Riemannian Berwald structures.

In spacetime signature, the metrizability picture changes. The paper “On the Non-Metrizability of Berwald Finsler Spacetimes” proves that Szabó’s metrizability theorem does not extend to Finsler spacetimes in general [2003.02300]. The decisive obstruction is the possibility that the Ricci tensor of the affine Berwald connection is not symmetric. For a Berwald spacetime, the Ricci tensor is
\[
R_{ab}
=
\partial_m \Gamma^m{}_{ab}
-\partial_b \Gamma^m{}_{am}
+\Gamma^m{}_{ms}\Gamma^s{}_{ab}
-\Gamma^m{}_{bs}\Gamma^s{}_{am},
\]
and in large classes of Berwald spacetimes it satisfies
\[
R_{ab}\neq R_{ba}
\]
[2003.02300]. Since Levi-Civita Ricci tensors are symmetric, such affine structures cannot be Levi-Civita connections of any pseudo-Riemannian metric.

The same paper identifies a large \((\alpha,\beta)\)-type class,
\[
L(x,\dot x)=\alpha(\dot x,\dot x)\,s^{-p}(c+ms)^{p+1},
\qquad
s=\frac{\beta(\dot x)^2}{\alpha(\dot x,\dot x)},
\]
for which Berwaldness is equivalent to
\[
\nabla_a\beta_b
=
H\Big([c(1-p)+m\,\alpha^{-1}(\beta,\beta)]\beta_a\beta_b
+cp\,\alpha^{-1}(\beta,\beta)\,\alpha_{ab}\Big),
\]
and whose Ricci antisymmetric part is
\[
\frac12(R_{ab}-R_{ba})
=
\frac12\big(4cp-m\,\alpha^{-1}(\beta,\beta)\big)\big(\beta_a\partial_bH-\beta_b\partial_aH\big).
\]
Whenever this does not vanish, the Berwald spacetime is non-metrizable [2003.02300].

This leads to a structural reinterpretation: a Berwald Finsler spacetime naturally defines a torsion-free metric-affine geometry, with the affine connection decomposed as
\[
\Gamma^a{}_{bc}=\gamma^a{}_{bc}[g]+D^a{}_{bc},
\]
where \(D^a{}_{bc}\) is the non-metricity part relative to an arbitrary pseudo-Riemannian metric \(g\) [2003.02300]. Thus Berwald spacetimes are not generically pseudo-Riemannian in disguise; rather, they lie naturally in torsion-free metric-affine geometry.

A broader affine viewpoint is furnished by generalized Berwald metrics. In positive-definite Finsler geometry, a metric is generalized Berwald if there exists an affine connection, possibly with torsion, whose parallel transport preserves the Finsler function. Bartelmeß and Matveev prove that this is equivalent to monochromaticity, meaning all tangent normed spaces are linearly isometric [1705.05721]. This suggests a useful distinction for spacetime applications: classical Berwald spacetimes are torsion-free affine Finsler structures, while generalized Berwald spacetimes admit possibly torsionful affine structures preserving the Finsler norm. The supplied data explicitly notes that this generalized Berwald perspective is informative for spacetime geometry, especially when torsion is regarded as physically meaningful [1705.05721].

## 5. Symmetric spacetime models: spherical and cosmological classes

The most detailed classifications currently available concern highly symmetric Berwald spacetimes. For spatial spherical symmetry, the pseudo-Finsler Lagrangian is constrained by the \(SO(3)\) Killing equations to depend on angular velocities only through
\[
w^2=\dot\theta^2+\dot\phi^2\sin^2\theta,
\]
so
\[
L=L(t,r,\dot t,\dot r,w)
\]
[2306.07866]. In the Berwald case, the most general \(SO(3)\)-invariant affine connection involves a finite set of coefficient functions \(k_i(t,r)\), and the corresponding curvature is encoded in functions \(a_i(t,r)\) [2306.07866].

The classification of \(SO(3)\)-invariant four-dimensional pseudo-Finsler Berwald structures yields six non-pseudo-Riemannian classes with power-law, exponential, one-variable, angular, or two-variable dependence on the velocities [2212.08603]. Building on that classification, the Birkhoff theorem for Berwald Finsler spacetimes proves a sharp rigidity result: any four-dimensional spatially spherically symmetric Berwald pseudo-Finsler space that is Finsler-Ricci flat is either flat or pseudo-Riemannian [2306.07866]. In Lorentzian signature, the only non-flat vacuum solutions are therefore Schwarzschild. This extends the Jebsen–Birkhoff theorem to Berwald spacetimes and rules out genuinely Finslerian Ricci-flat spherically symmetric vacuum Berwald analogues of Schwarzschild [2306.07866].

Cosmological symmetry admits a similarly strong classification. Imposing spatial homogeneity and isotropy yields the general cosmological Finsler form
\[
L=L(t,y^t,w),
\qquad
w^2=\frac{(y^r)^2}{1-kr^2}+r^2\big[(y^\theta)^2+\sin^2\theta\,(y^\phi)^2\big].
\]
If one further imposes Berwaldness, the cosmological Berwald condition reduces the possibilities drastically. Either the Lagrangian is purely quadratic and defines an FLRW metric, or, after a redefinition of time, it takes the form
\[
L(\tilde t,\tilde y^t,w)= (\tilde y^t)^2\, f\!\left(\frac{w}{\tilde y^t}\right),
\]
with arbitrary smooth \(f\) [2003.02299]. This is the most general nontrivial homogeneous and isotropic Berwald-Finsler spacetime according to that classification. The entire Finslerian deviation from FLRW is encoded in the zero-homogeneous function \(f(w/\tilde y^t)\), while the affine structure remains that of a standard connection on spacetime [2003.02299].

A related cosmological example appears in VGR geometry. The most general homogeneous and isotropic VGR Berwald spacetime has
\[
L=\big(-(y^t)^2+A^2(t)w^2\big)\,\big(B(t)y^t\big)^n,
\]
with Berwaldness forcing
\[
B(t)=c\,A(t)^{-(2+n)/n}.
\]
In this class the geodesic spray becomes independent of \(n\), the curvature scalar is
\[
\mathcal R = 2kw^2,
\]
and the Berwald vacuum equation admits arbitrary scale factor \(A(t)\) only in the spatially flat case \(k=0\) [1804.09727]. This contrasts sharply with standard FLRW vacuum dynamics.

## 6. Causality, curvature sign, and synthetic characterizations

Recent work establishes synthetic characterizations of curvature in Berwald spacetimes using time separation rather than smooth connection data. The paper “Concavity of spacetimes” proves that for a Berwald spacetime the following are equivalent: nonnegative timelike flag curvature, local concavity of the time separation, local timelike concavity, convex future capsules, and convex past capsules [2509.26196]. Here the time separation is
\[
\tau(x,y)=\sup_\eta \int_0^1 F(\dot\eta(t))\,dt,
\]
where the supremum is over future-directed causal curves [2509.26196].

This provides a Lorentzian analogue of Busemann convexity. In positive-definite geometry, local Busemann convexity characterizes nonpositive sectional or flag curvature in the Berwald setting. The Lorentzian counterpart replaces convexity of distance by concavity of time separation and nonpositive curvature by nonnegative timelike flag curvature [2509.26196]. The characterization is new even for Lorentzian manifolds, where Berwaldness is automatic.

The same paper introduces future and past capsules,
\[
H_{\ge r}^+(y)=\{z\in M:\tau(y,z)\ge r\},
\qquad
H_{\ge r}^-(y)=\{z\in M:\tau(z,y)\ge r\},
\]
and proves that, in a Berwald spacetime, convexity of the unions of such sets along geodesics is equivalent to nonnegative timelike flag curvature [2509.26196]. This gives a purely metric-causal signature of Berwald curvature bounds.

A plausible implication is that Berwald spacetimes form a natural bridge between smooth pseudo-Finsler geometry and synthetic Lorentzian geometry. The data explicitly states that these equivalences allow one to read off smooth curvature conditions from the metric-causal behavior of \(\tau\), at least in the Berwald class [2509.26196].

## 7. Equivalence principle, singular models, and physical interpretation

A physically motivated subclass is provided by singular generalized Berwald spacetimes. In that framework, one starts with a Lorentzian metric \(h\) and defines
\[
g_{\mu\nu}(x,\dot x)=(1+\phi(x,\dot x))\,h_{\mu\nu}(x),
\]
with \(\phi\) 0-homogeneous in \(\dot x\), the positivity condition
\[
1+\phi>0,
\]
and possibly a singular set in velocity space [1606.07469]. If \(\partial_\sigma\phi=0\), the linear Berwald connection of \(g\) coincides with the Levi-Civita connection of \(h\), so \((M,\mathcal N,g)\) is a generalized Berwald spacetime [1606.07469].

These models preserve the null cones:
\[
\mathcal{NC}_x^g=\mathcal{NC}_x^h,
\]
and share the same curvature and Einstein tensor as \(h\), while modifying proper time through the direction-dependent Lagrangian
\[
L(x,\dot x)=g_{\mu\nu}(x,\dot x)\dot x^\mu\dot x^\nu
\]
[1606.07469]. This makes them particularly suitable for discussing the equivalence principle. The paper argues that gravity, as a geometric interaction, should admit smooth free-fall coordinate systems for all freely falling observers, independently of their velocity. Generalized Berwald spacetimes satisfy this because their Berwald connection is affine, whereas generic Finsler spacetimes need not [1606.07469].

In this setting, free-fall local coordinate systems are Fermi coordinates of the affine Berwald connection [1606.07469]. Since the affine structure is that of \(h\), one recovers the local inertial structure of GR, while direction dependence remains in chronometry rather than in geodesic trajectories or light cones. This suggests a conservative Finslerian extension of GR: local causal structure, geodesics, and curvature agree with an underlying Lorentzian metric, but proper time is direction dependent.

The same paper also observes that with vanishing cosmological constant the Einstein tensors of \(g\) and \(h\) coincide, whereas with a cosmological term one obtains a factor \((1+\phi)^{-1}\Lambda\). The argument offered is that consistency then favors a very small cosmological constant when \(|\phi|\ll1\) [1606.07469]. This suggests a possible link between microscopic Finslerian anisotropy and the smallness of \(\Lambda\), although the data does not present it as a theorem.

Taken together, the supplied literature portrays Berwald–Finsler spacetimes as a sharply delimited sector of Finsler spacetime geometry: affine in their geodesic structure, often rigid under curvature assumptions, rich enough to admit non-metrizable metric-affine behavior, and tractable enough to support exact classifications under symmetry and synthetic curvature characterizations [2306.07866], [2003.02300], [2003.02299], [2509.26196].

Source: https://www.emergentmind.com/topics/berwald-finsler-spacetimes