Berwald Structure in Finsler Geometry

• Berwald structures are Finsler manifolds whose affine connection coefficients depend solely on position, ensuring norm-preserving parallel transport.
• They facilitate a unified treatment of geodesic behavior, curvature rigidity, and affine equivalence between Finsler and Riemannian metrics.
• Applications include Szabó’s metrization theorem and explicit examples like Randers metrics on Lie groups, highlighting their structural significance.

A Berwald structure in Finsler geometry is a Finsler manifold whose canonical linear connection is an affine connection on the base manifold—making it the most rigid class of non-Riemannian Finsler geometries. The hallmark of these manifolds is the independence of the Chern (or Berwald) connection coefficients from the directional argument in the tangent space. In both real and complex settings, Berwald structures connect deeply with classical affine and Riemannian geometry, exhibit strong rigidity properties, and serve as the canonical models interpolating between Finslerian and Riemannian metrics.

1. Definitions and Characterizations

A Finsler manifold $(M,F)$ consists of a smooth manifold $M$ and a Finsler function $F : TM \to [0, \infty)$, smooth on $TM \setminus \{0\}$, which is positively 1-homogeneous and whose fundamental tensor $$g_{ij}(x,y) = \frac{1}{2} \frac{\partial^2 F^2}{\partial y^i \partial y^j}$$ is positive definite for $y \ne 0$.

A Berwald manifold is a Finsler manifold for which there exists a torsion-free affine connection $D$ on $M$ such that parallel transport with respect to $D$ preserves the Finsler norm, i.e., for all curves $\gamma$, $D_\gamma F = 0$. In local coordinates, the geodesic spray coefficients $G^i(x, y)$ of the canonical spray satisfy

$G^i(x, y) = \tfrac{1}{2} \Gamma^i_{jk}(x) y^j y^k,$

with the coefficients $\Gamma^i_{jk}(x)$ (the Berwald or Chern connection coefficients) depending only on $x$. The equivalent characterizations of a Berwald structure, as established in (Szilasi et al., 2011), are summarized in the table below:

Criterion	Core Property	Reference
Canonical spray quadratic in $y$	$G^i(x, y)$ quadratic in $y$	(B1), (B6), (B7)
Connection coefficients y-independent	$\Gamma^i_{jk}(x, y) = \Gamma^i_{jk}(x)$	(B1), (B7)
Vanishing Berwald curvature	$B^i{}_{jkl} = 0$, i.e., $\partial^3_y G^i = 0$	(B2)
Torsion-free affine connection preserves $F$	Existence of $D$ with $D$-parallel transport	(B3), (B8)
Geodesics coincide with those of $D$	Finsler and affine geodesics coincide	(B9)
Aikou's Lie-derivative condition	Existence of Riemannian $g$: $\mathcal{L}_{Z^h} \hat g_M = 0$	(B10), see (Szilasi et al., 2011)

2. Connections to Affine and Riemannian Geometry

Szabó's Metrization Theorem asserts that every (positive-definite) Berwald space admits a unique Riemannian metric $g_M$ whose Levi–Civita connection coincides with the Berwald connection ($\Gamma^i_{jk}$), making the Finsler and Riemannian geodesics identical as unparameterized curves (Matveev, 2008, Szilasi et al., 2011). Explicitly, one constructs the Riemannian averaged metric

$$g_{ij}(x) = \frac{1}{\mathrm{Vol}(S_{F=1})} \int_{F(x, y) = 1} g_{ij}(x, y) \, d\mu_x(y),$$

and shows that its Levi–Civita symbols agree with the Berwald connection (Matveev, 2008).

Complete, essentially Berwald Finsler manifolds (i.e., non-Riemannian Berwald spaces) affinely equivalent to a Riemannian metric are also geodesically equivalent unless they are locally Minkowskian (Matveev, 2008).

3. Curvature, Rigidity, and Classification

The structure of Berwald spaces is analytically rigid. The vanishing of the Berwald curvature implies that the fundamental connection is inherited from the base, and the spray is always affine in the velocities (Szilasi et al., 2011, Matveev, 2008). Szabó's classification divides connected Berwald spaces into:

• Riemannian,
• locally Minkowski (flat, non-Riemannian),
• locally irreducible, locally symmetric non-Riemannian Berwald spaces,
• reducible products of Riemannian, Minkowski, and symmetric Berwald factors (Boonnam et al., 2018).

An important rigidity result states that if a Berwald space possesses flag curvature bounded away from zero ($|K| \geq H > 0$ everywhere), then it must be Riemannian—i.e., the Cartan torsion vanishes (Boonnam et al., 2018).

4. Finsler, Landsberg, and Generalizations

Every Berwald space is automatically a Landsberg space, as the Landsberg tensor

$$L_{ijk} = \frac{1}{2} \partial_{y^k} g_{ij} - C_{ijk},$$

vanishes (since the Chern connection coefficients are independent of $y$). However, the converse (whether every Landsberg space is Berwald) is generically false, though under certain regularity ($C^5$) and using the averaging metric argument, it can be shown that $C^5$ regular Landsberg spaces are indeed Berwald (Torrome, 2011). This is proved by constructing an averaged metric whose Levi–Civita connection must coincide with the Chern connection, enforcing the y-independence and thus Berwaldness.

Generalizations include:

• Generalized Isotropic Berwald Manifolds: Extending isotropic Berwald curvature to more general dependency in the Cartan tensor and angular metrics (Tayebi et al., 2013).
• Berwald–Matveev Manifolds: Dropping strong convexity, one defines a Berwald–Matveev manifold as a triple $(M, F, D)$ with only the subadditive positive-homogeneity and $D$ a torsion-free $F$-preserving connection. Szabó’s theorem remains valid in this broader context (Szilasi et al., 2011).

5. Complex and Generalized Berwald Structures

Complex Berwald spaces are defined on complex manifolds with holomorphic Finsler metrics. The complex counterpart requires the Berwald connection coefficients $B L^i_{jk}(z,\eta)$ to depend only on the base, often combined with a Kähler (Hermitian) condition; the real and complex Cartan and Chern connections coincide for Kähler–Berwald metrics (Xia et al., 8 Jan 2026, Aldea et al., 2010). The recent characterization in (Xia et al., 8 Jan 2026) states that the horizontal parallelism of the canonical complex structure $\pmb J$ with respect to the Cartan (real) connection is necessary and sufficient for strong convex Kähler–Berwald metrics.

Generalized Berwald (singular or pseudo-Finsler) structures arise in Finsler spacetimes, where the structure only has the requisite smoothness on a conic sub-bundle of $TM$. In such cases, while a connection with $y$-independent coefficients still exists, the Berwald connection may not always be metrizable by a pseudo-Riemannian metric—rather, it can be metric-affine with non-metricity (Fuster et al., 2020, Torromé, 2016).

6. Canonical Examples and Explicit Structures

Canonical Berwald structures include:

• Riemannian metrics,
• Locally Minkowski/Finsler spaces (norms constant on each tangent space),
• Randers metrics of Berwald type ($F = \alpha + \beta$, with $\beta$ parallel with respect to the Levi–Civita connection of $\alpha$) (Moghaddam, 2013, Moghaddam, 2013),
• Left-invariant Finsler metrics on Lie groups with parallel invariant vector fields yield Berwald metrics whose Chern connection matches the Levi–Civita connection of the group metric; flag curvature computations are tractable explicitly in this setting (Moghaddam, 2013, Moghaddam, 2013).

7. Applications, Structure Theorems, and Global Results

• Cheeger–Gromoll splitting and soul theorems lift to Berwald spaces via their associated Riemannian metric (Kell, 2015). In non-negatively curved Berwald spaces, the metric and volume growth results mimic those in Riemannian geometry.
• Jebsen–Birkhoff theorem generalizes to Finsler spacetimes: every Ricci-flat, spherically symmetric Berwald spacetime is either Lorentzian (Schwarzschild) or flat (Voicu et al., 2023).

Berwald–Einstein spaces (Ricci tensors proportional to the metric) are also necessarily Riemannian unless Ricci-flat, wherein the structure is an explicit product of Ricci-flat factors with a flat Euclidean space (Kell, 2015).

8. First-Order Characterizations and Computational Criteria

A Finsler Lagrangian $L(x, y)$ defines a Berwald geometry if and only if there exists a first order PDE satisfied by the function $\Omega(x, y) = L(x, y) / g_{ab}(x) y^a y^b$, where $g_{ab}$ is any auxiliary metric (Pfeifer et al., 2019). In ($\alpha, \beta$)-type (Randers, Kropina, m-Kropina), this gives explicit linear algebraic conditions, e.g., for Randers, Berwaldness if and only if $\nabla b = 0$.

In summary, Berwald structures embody the intersection of Finsler and Riemannian geometries, with affine connections that dictate both norm preservation and geodesic transport, exhibiting rigidity in curvature-dominated settings and capturing the closest analogues to classical structures in Finslerian generalizations. The full equivalence of characterizations, the existence of compatible Riemannian metrics, and the broad range of explicit examples underscore their structural importance in modern differential geometry (Szilasi et al., 2011, Matveev, 2008, Torrome, 2011, Xia et al., 8 Jan 2026, Boonnam et al., 2018, Pfeifer et al., 2019).