---
title: Berwald Spacetime Overview
url: https://www.emergentmind.com/topics/berwald-spacetime
type: topic
---

# Berwald Spacetime Overview

Berwald spacetime is a Lorentz–Finsler or pseudo-Finsler spacetime whose canonical nonlinear connection defines an affine connection on spacetime, so it is “closest” to pseudo-Riemannian geometry while still allowing a genuinely non-quadratic length measure [1804.09727][2606.05427]. In local terms, it is a Finsler spacetime for which, at each base point, the Chern or Chern–Rund connection coefficients are constant as the tangent direction varies, or equivalently the geodesic spray is quadratic in the fibre variables [2412.20783][2003.02300]. This affine reduction makes Berwald spacetimes a central class in Finsler gravity, in exact solution theory, in cosmological model building, and in rigidity results that sharply constrain non-Riemannian behavior under curvature assumptions [1804.09727][2601.20087].

## 1. Defining structure

A Finsler spacetime is commonly formulated by a positively homogeneous Lagrangian \(L\) on a conic domain of the tangent bundle, with vertical Hessian
\[
g^L_{ab}(x,y)=\tfrac12\,\bar\partial_a\bar\partial_b\,L
\]
nondegenerate and of Lorentzian signature on timelike directions [1804.09727][2003.02300]. In one formulation, \(L\) is a real, smooth function on \(TM\setminus\{0\}\), positively homogeneous of degree \(r\ge 2\) in the fibre coordinates; in another, \(L:A\to\mathbb R\) is defined on a conic open subbundle \(A\subset TM\setminus\{0\}\), is positively homogeneous of degree two, and determines the causal structure through a proper conic timelike subset [1804.09727][2003.02300].

The geodesic spray coefficients are obtained from \(L\). One explicit formula is
\[
G^a(x,y)=\tfrac12\,g^{L\,ac}\bigl(y^d\partial_d\bar\partial_cL-\partial_cL\bigr),
\]
while another equivalent convention writes
\[
G^i(x,y)=\tfrac14\,g^{ij}(x,y)\bigl(y^k\partial_k\partial_{y^j}L-\partial_{x^j}L\bigr)
\]
[1804.09727][2003.02300]. A Berwald spacetime is then characterized by the quadraticity of the spray:
\[
G^a(x,y)=\mathcal G^a{}_{bc}(x)\,y^b y^c,
\]
equivalently by the vanishing of third fibre derivatives of the spray, or by the fact that the induced nonlinear connection is linear in \(y\) [1804.09727][2003.02299].

In the Chern–Rund formulation, \((M,L)\) is called a Berwald spacetime if for each \(x\in M\), the functions \(\Gamma^i_{jk}(v)\) are constant as \(v\) varies over \(T_xM\setminus\{0\}\); equivalently the Chern connection coefficients depend only on the foot-point \(x\), not on the direction \(v\) [2412.20783]. In particular, parallel transport is linear and preserves the Finsler structure \(L\) [2412.20783]. This is the decisive structural simplification: although the Finsler norm remains velocity dependent, the connection geometry reduces to an affine connection on the base manifold.

## 2. Equivalent criteria and constructive characterizations

A general necessary and sufficient criterion for Berwaldness is the first-order Berwald PDE. Given an auxiliary metric \(g_{ab}(x)\), define
\[
A(x,y)=g_{ab}(x)\,y^a y^b,\qquad \Omega(x,y)=\frac{L(x,y)}{A(x,y)}.
\]
Then \((M,L)\) is Berwald if and only if there exists a \((1,2)\)-tensor \(T^a{}_{bc}(x)\) such that
\[
\partial_a\Omega-\Gamma^b{}_{ac}(x)\,y^c\,\dot\partial_b\Omega
=
T^b{}_{ac}(x)\,y^c
\Bigl(\dot\partial_b\Omega+\tfrac{2\,y_b}{A}\,\Omega\Bigr),
\]
and in that case
\[
G^a(x,y)=\tfrac12\bigl(\Gamma^a{}_{bc}(x)+T^a{}_{bc}(x)\bigr)\,y^b y^c
\]
[1909.05284]. This criterion is independent of the choice of auxiliary metric [1909.05284].

For \((\alpha,\beta)\)-type and \((A,B)\)-type Finsler spacetimes, the PDE reduces to explicit covariant-derivative conditions on the defining \(1\)-form. If
\[
\mathfrak a=a_{ab}(x)\,y^a y^b,\qquad \beta=b_a(x)\,y^a,\qquad
L(\mathfrak a,\beta)=\Omega\!\bigl(\tfrac{\beta^2}{\mathfrak a}\bigr)\,\mathfrak a,
\]
then Berwaldness is equivalent to a condition on \(\nabla_a b_c\); in particular, if \(T^a{}_{bc}=0\), then \(\nabla_a b_c=0\), so any \((\alpha,\beta)\)-Finsler Lagrangian is Berwald exactly when its defining \(1\)-form is covariantly constant [1909.05284]. The Randers case re-obtains the criterion \(\nabla b=0\), while the m-Kropina or VSR case yields
\[
\nabla_a b_b
=
C(x)\Bigl(2(1+n)\,b_a b_b-n\,a_{ab}\,a^{cd}b_c b_d\Bigr)
\]
[1909.05284].

A particularly important spacetime family is Very General Relativity (VGR), defined by
\[
L(x,y)=g(y,y)\,[B(y)]^n.
\]
A VGR spacetime is Berwald if and only if there exists a scalar function \(C(x)\) such that
\[
\nabla_aB_b
=
C(x)\,\bigl[\,2(1+n)\,B_aB_b-n\,g(B,B)\,g_{ab}\bigr].
\]
If \(B\) is covariantly constant, then for any \((\mathcal A,\mathcal B)\)-Finsler Lagrangian \(L(\mathcal A,\mathcal B)\) the spray reduces to the usual metric spray, hence \((M,L)\) is automatically Berwald [1804.09727]. These criteria make Berwald spacetimes unusually tractable within non-quadratic spacetime geometry.

## 3. Curvature, rigidity, and metrizability

In a Berwald spacetime, curvature tensors reduce to the curvature of the underlying affine connection. The affine curvature is
\[
R^a{}_{bcd}(x)
=
\partial_c G^a{}_{bd}-\partial_d G^a{}_{bc}
+G^a{}_{cm}G^m{}_{bd}-G^a{}_{dm}G^m{}_{bc},
\]
and the flag curvature is defined from the curvature endomorphism and the Finsler metric in the usual way [2003.02299][2404.09858]. Because the connection is \(x\)-only dependent, the hh-curvature, affine Ricci tensor, and associated flag curvature are much closer to pseudo-Riemannian curvature than in a general Finsler spacetime [2404.09858].

This simplification leads to strong rigidity theorems. One result extends Numata’s and Szabó’s rigidity theorems to all dimensions: every Berwald manifold whose flag curvature \(K(P,y)\) is nowhere zero is necessarily Riemannian [2601.20087]. The same source states that in Lorentzian-signature pseudo-Finsler geometry, if one assumes non-zero timelike or spacelike flag curvature everywhere, the same orthogonality argument forces the mean Cartan torsion to vanish, which implies that \(F\) is derived from a pseudo-Riemannian metric; thus no genuinely non-Riemannian Berwald spacetime of everywhere non-zero flag curvature can exist [2601.20087]. It follows that non-Riemannian Berwald spacetime models survive only in flat or sign-indefinite curvature regimes.

By contrast, the positive-definite metrizability theorem of Szabó does not extend in general to Finsler spacetimes. A large class of Berwald spacetimes has affine Ricci tensor that is not symmetric, and this asymmetry is possible because Finsler spacetime smoothness typically holds only on a proper conic subset of the slit tangent bundle [2003.02300]. When the Finsler Lagrangian is smooth on the entire slit tangent bundle, however, any Berwald spacetime has symmetric Ricci tensor [2003.02300]. The resulting picture is that Berwald spacetimes naturally interpolate between pseudo-Riemannian and torsion-free metric-affine geometry.

A different line of rigidity comes from averaging and indicatrix invariance. For Berwald spaces, the Levi-Civita connection of any Riemannian metric affine equivalent to the Berwald metric leaves invariant the indicatrix of the Finsler metric \(F\), and conversely, if there is a Riemannian connection whose Levi-Civita leaves invariant by parallel transport the indicatrix of the Finsler structure, then the structure is Berwald [1206.4403]. In a related averaging approach, the invariance of the average metric along a homotopy in the space of Finsler structures over \(M\) yields the statement that any \(C^5\) regular Landsberg space is a Berwald space [1110.5680]. In Lorentzian signature, the same chain of arguments is stated to extend without essential change [1206.4403].

## 4. Berwald spacetimes in Finsler gravity

Berwald spacetimes are especially prominent in Finsler gravity because the field equations simplify drastically when the nonlinear connection descends to an affine one. In one action-based approach, the gravitational action is an integral over the unit tangent bundle \(\Sigma\), built from the canonical Finsler curvature scalar \(\mathcal R\); varying \(L\) gives a field equation which, in the Berwald case where the Landsberg tensor vanishes, reduces to
\[
\Bigl(L\,g^{L\,ab}-\tfrac{2r-1}{r-1}\,y^a\,y^b\Bigr)\,\mathcal R_{ab}(x)=0,
\]
with \(\mathcal R_{ab}(x)\) independent of \(y\) and equal to the Ricci tensor of the underlying affine connection [1804.09727]. In particular, \(\mathcal R_{ab}(x)=0\) solves the Berwald gravity equation [1804.09727].

A second formulation, based on the action
\[
S=\int_{\mathcal A} F\,\mathrm{Ric}\;d\mu_F,
\]
states that the Euler–Lagrange equation simplifies in a Berwald spacetime to the vanishing of the affine Ricci tensor,
\[
\bar R_{ij}(x)=0
\]
[2404.09858]. This gives a very direct reduction of the vacuum sector to affine Ricci flatness.

A third action-based vacuum equation, also described as physically well motivated, takes the Berwald form
\[
(g^{ab}(x,y)-3\,y^a y^b/L(x,y))\,R_{ab}(x)=0,
\]
and is explicitly said to be weaker than Ricci-flatness \(R_{ab}=0\) [2606.05427]. This suggests that the precise Berwald vacuum sector depends on the adopted Finsler gravity action. What remains common to these formulations is that Berwald geometry suppresses the explicitly non-affine part of the field equations and makes exact solution theory feasible.

## 5. Symmetric models and exact solutions

The VGR construction provides explicit Berwald vacua. For Finslerian VSI spacetimes, one takes a Lorentzian Kundt–VSI metric in light-cone coordinates, sets \(B=du\) so that \(g(B,B)=0\), and forms
\[
L=\bigl(g(y,y)\bigr)\,(y^u)^n.
\]
The Berwald condition holds, the spray acquires an explicit affine-plus-null correction, and the Berwald Ricci components satisfy the same vacuum-type equations as the Einstein Ricci tensor of the underlying VSI metric; the \(\tilde\Phi=0\) subcase recovers gyratonic \(pp\)-waves and then ordinary \(pp\)-waves when \(W_i=0\) [1804.09727]. The same source gives homogeneous and isotropic VGR spacetimes with
\[
g=-dt^2+A^2(t)\Bigl[\tfrac{dr^2}{1-k\,r^2}+r^2(d\theta^2+\sin^2\theta\,d\phi^2)\Bigr],\qquad
B=B(t)\,dt,
\]
where the Berwald condition fixes
\[
B(t)=c\,A(t)^{-\frac{2+n}{n}},
\]
and the vacuum equation admits only the spatially flat case \(k=0\) [1804.09727].

Beyond the VGR ansatz, the most general spatially homogeneous and isotropic Berwald spacetime is described by a Lagrangian of the canonical form
\[
L=\dot t^{\,2}\,f\!\bigl(w/\dot t\bigr),
\]
or, basis-independently,
\[
L(x,y)=(y^0)^2\,F\!\Bigl(\frac{\|y\|^2}{(y^0)^2}\Bigr),
\]
where \(F\) is an arbitrary smooth function of its argument, subject to nondegeneracy of the Hessian and Lorentzian signature on the timelike cone [2003.02299]. These models contain FLRW as the special metric case \(F(s)=\mathrm{const.}+s\), but encode additional velocity dependence through a zero-homogeneous function on the tangent bundle [2003.02299].

Spherical symmetry has recently produced nontrivial vacuum solutions. Among five non-Riemannian Finsler Lagrangian classes compatible with \(SO(3)\)-invariant affine data, only one class is compatible with asymptotic flatness and a well-defined light-cone structure. In that class the Lagrangian can be written
\[
L=B^2\,\Theta(A/B^2)=A\,\Psi(B^2/A),
\]
with \(b_i\) parallel with respect to the Levi-Civita connection of a pseudo-Riemannian metric \(a_{ij}\), and the Berwald vacuum equation admits three families of non-Ricci-flat, asymptotically flat solutions [2606.05427]. These are stated to be the first non-trivial, exact spherically symmetric vacuum solutions in this setting [2606.05427]. Related exact Berwald vacuum solutions include Finsler–pp-waves in Brinkmann coordinates, for which the affine Ricci-flat condition becomes harmonicity of the profile \(H\) in the transverse plane [2404.09858].

## 6. Global structure and synthetic geometry

Berwald spacetimes also admit global geometric results that are substantially stronger than in the generic Lorentz–Finsler case. For a connected weighted Finsler spacetime \((M,L,\mu)\) with a complete timelike straight line and nonnegative weighted Ricci curvature in timelike directions, a splitting theorem gives
\[
M\cong \mathbb R\times \Sigma,\qquad \mu=\mathrm{Lebesgue}\times\mu_\Sigma,
\]
provided either the spacetime is timelike geodesically complete or it is Berwald and globally hyperbolic, together with the stated weighted completeness hypotheses [2412.20783]. In the Berwald case, the translations
\[
\Phi_s(t,x)=(t+s,x)
\]
lift to genuine Finsler isometries preserving \(\mu\), and geodesics split into the product of geodesics in \(\mathbb R\) and \(\Sigma\) [2412.20783]. The Busemann function is correspondingly stronger in the Berwald setting: once the relevant maximum-principle argument is established, \(b\in C^\infty\) and \(\nabla^2b\equiv 0\), and its flow preserves the full Finsler structure rather than only a second-order approximation [2412.20783].

A complementary synthetic characterization concerns local concavity of the time separation. For a Berwald spacetime, local concavity is equivalent to nonnegative flag curvature in timelike directions, and also equivalent to convexity of future capsules and of past capsules [2509.26196]. In the formulation of that result, a Berwald spacetime is locally concave if every point has a convex normal neighborhood on which the time separation satisfies a Jensen-type inequality along pairs of geodesics [2509.26196]. The paper explicitly describes this as the Lorentzian counterpart of Busemann convexity in metric geometry [2509.26196].

Taken together, these results locate Berwald spacetime at a distinctive intersection of affine geometry, non-quadratic causal structure, and Finsler gravitational dynamics. The class is broad enough to include VGR, cosmological, Kundt, \(pp\)-wave, and spherically symmetric vacuum models, yet rigid enough that curvature sign conditions, indicatrix invariance, and global splitting hypotheses often force reduction to pseudo-Riemannian or locally Minkowskian behavior [1804.09727][2601.20087][2412.20783].

Source: https://www.emergentmind.com/topics/berwald-spacetime