---
title: 'Pseudo-Finsler Metrics: Concepts & Applications'
url: https://www.emergentmind.com/topics/pseudo-finsler-metrics
type: topic
---

# Pseudo-Finsler Metrics: Concepts & Applications

Pseudo-Finsler metrics are direction-dependent metric structures that generalize both ordinary Finsler metrics and pseudo-Riemannian metrics by allowing the fundamental tensor to have arbitrary signature on a conic domain of the tangent bundle. In the supplied literature, they are described either through a positively \(1\)-homogeneous function \(F\) on a conic subset of \(TM\setminus\{0\}\), or through a positively \(2\)-homogeneous Lagrangian \(L\), with the fundamental tensor obtained as a fiberwise Hessian. This framework includes standard Finsler geometry when the Hessian is positive definite, pseudo-Riemannian geometry when it is independent of direction, and Lorentz-Finsler or Finsler-spacetime models when the Hessian has Lorentzian signature on a timelike cone [1401.8149], [1111.5066], [2108.03197].

## 1. Foundational definitions and conventions

A recurrent convention is to start from a function \(F(x,v)\) on the tangent bundle, positively homogeneous of degree \(1\),
\[
F(x,Kv)=K\,F(x,v),
\]
so that the length functional
\[
\int F\!\left(x(t),\frac{dx}{dt}\right)\,dt
\]
is independent of reparametrization. The associated Finsler metric is then
\[
g_{ab}(x,v)=\frac{1}{2}\,\frac{\partial^2}{\partial v^a\partial v^b}\big[F^2(x,v)\big].
\]
An equivalent convention in several of the supplied papers uses a \(2\)-homogeneous function \(L\) on a conic domain \(A\subset TM\setminus\{0\}\),
\[
L(\lambda v)=\lambda^2L(v),\qquad \lambda>0,
\]
with
\[
g_v(u,w):=\frac12\frac{\partial^2}{\partial s\,\partial t}\,L(v+tu+sw)\big|_{t=s=0}.
\]
In both conventions, the fundamental tensor is direction-dependent and homogeneous of degree \(0\) in the velocity variables; standard identities include
\[
g_v(v,v)=L(v), \qquad y^\mu y^\nu g_{\mu\nu}=F^2.
\]
If \(g_v\) is positive definite on all \(TM\setminus\{0\}\), one recovers an ordinary Finsler metric; if \(g_v\) is independent of \(v\), one recovers a pseudo-Riemannian metric; if the index is \(1\), one obtains Lorentzian Finsler geometry or a Finsler spacetime [1401.8149], [1311.0199], [2405.00776].

The supplied papers also distinguish several notions that are often conflated. A **pseudo-Finsler metric** may be defined on all of \(TM\) while allowing the fundamental tensor to be indefinite or degenerate. A **conic Finsler metric** retains positive definiteness but is defined only on an open conic domain \(A\subset TM\). A **conic pseudo-Finsler metric** allows both restrictions simultaneously. This distinction is structurally important because many classical examples, such as Kropina and Matsumoto metrics, live naturally on proper conic domains rather than on the full tangent bundle [1111.5066].

## 2. Conic domains, signature, indicatrices, and null structure

The natural domain of a pseudo-Finsler metric is frequently a conic subset \(A\subset TM\setminus\{0\}\), fiberwise open and stable under positive rescaling. The corresponding indicatrix
\[
\Sigma_p=\{v\in T_pM\cap A:\ L(v)=1\}
\]
or \(F(v)=1\) encodes the local causal or norm geometry, while the null set
\[
C_p=\{v\in T_pM\cap A:\ L(v)=0\}
\]
plays the role of the light cone in Lorentz-Finsler settings. In Finsler spacetime terminology, one works with a connected conic subbundle \(\mathcal T\subset\mathcal A\) of future-pointing timelike vectors such that \(L>0\) on each \(\mathcal T_x\), \(g\) has Lorentzian signature \((+,-,-,-)\), and \(L\) extends continuously to \(0\) on \(\partial\mathcal T_x\); the papers emphasize that each \(\mathcal T_x\) is a convex cone [2302.09937], [2107.05986].

A central technical difference from positive-definite Finsler geometry is the existence of nonzero null vectors. In Euclidean-signature Finsler geometry, the main singularity is usually confined to the zero section, so one works on the slit tangent bundle. In Lorentzian signature, null vectors are nonzero, and this shifts the singular behavior to the entire null cone. Skakala and Visser show this sharply in the bi-metric setting: given two Lorentzian metrics \(g^{(+)}_{ab}\) and \(g^{(-)}_{ab}\), with elementary norms
\[
F_\pm(x,v)=\sqrt{g^{(\pm)}_{ab}(x)v^a v^b},
\]
the natural combined pseudo-Finsler norm is
\[
F(x,v)=\sqrt{F_+(x,v)\,F_-(x,v)}.
\]
This unifies the two signal cones because \(F=0\) whenever either \(F_+=0\) or \(F_-=0\). However, the derived metric contains factors such as \(1/F_+\) and \(1/F_-\), so it becomes singular on either null cone. The paper’s conclusion is that, in Lorentzian signature, a pseudo-Finsler norm may be perfectly reasonable while the associated pseudo-Finsler metric is generically ill-defined on the null cones [1008.0689].

This Lorentzian obstruction is not a marginal pathology. It means that many standard theorems from positive-definite Finsler geometry cannot be transferred unchanged to pseudo-Finsler settings, especially in multi-cone or signal-propagation problems. A common misconception is that Lorentzian pseudo-Finsler geometry can be treated as a straightforward analytic continuation of Euclidean Finsler geometry; the supplied literature explicitly warns against this [1008.0689], [1111.5066].

## 3. Connections, geodesics, Jacobi fields, and isometries

Pseudo-Finsler geometry combines a canonical nonlinear connection, derived from the geodesic spray, with linear or anisotropic connections encoding covariant differentiation. In coordinates, the spray takes the form
\[
\ddot x^\mu + 2G^\mu(x,\dot x)=0,
\]
and the associated nonlinear connection satisfies
\[
N_i^a=\frac{\partial G^a}{\partial y^i},\qquad G^a=\frac12 N_i^a y^i.
\]
A major conceptual simplification in the recent literature is the identification of **anisotropic connections** with vertically trivial linear Finsler connections: if \(\Gamma^a_{ij}(x,y)\) are anisotropic Christoffel symbols, then
\[
N_i^a(x,y)=\Gamma^a_{ij}(x,y)y^j,
\]
and conversely
\[
\Gamma^a_{ij}(x,y)=\dot\partial_j N_i^a(x,y).
\]
For pseudo-Finsler metrics there is a unique torsion-free, metric-compatible anisotropic connection, the **Levi-Civita–Chern anisotropic connection**, which is exactly the Chern connection viewed intrinsically on the base manifold [2107.05986].

Geodesics are defined by the parallel transport of their own tangent field,
\[
D_t^y\dot y=0,
\]
or equivalently as critical points of the energy
\[
E(y)=\frac12\int_a^b L(\dot y)\,dt.
\]
The first and second variation formulas lead to the index form and Jacobi equation,
\[
J'' = R^y(\dot y,J)\dot y,
\]
with the usual notions of conjugate and focal points adapted to admissible conic domains. The coordinate-free treatment through the Chern connection as a family of affine connections is one of the main advances of the variational theory in pseudo-Finsler geometry [1401.8149].

Special local coordinates can be built by applying normal-coordinate constructions to the pullback of a horizontally torsionless connection. This avoids the differentiability problems of ordinary Finsler normal and Fermi coordinates, which in general are not sufficiently differentiable, and yields Taylor expansions of the metric, connection, and Finsler Lagrangian in terms of curvature, Cartan torsion, and Landsberg tensor. In Lorentz-Finsler applications, these coordinates are used to formulate a Finslerian version of the equivalence principle [1601.07952].

The isometry theory is likewise more rigid than might be expected from the direction dependence. By passing to the pseudo-Riemannian Sasaki metric \(g_F\) on the slit tangent bundle, the isometry group of a pseudo-Finsler structure embeds as a closed subgroup of a pseudo-Riemannian isometry group. The resulting theorem is that \(\mathrm{Iso}(M,T,F)\), endowed with the \(C^1\)-topology, is a Lie transformation group; every pseudo-Finsler isometry is \(C^\infty\) and is determined by its second jet at any point [1311.0199].

## 4. Lorentzian spacetime structures and pseudo-Finsler gravity

Pseudo-Finsler metrics acquire additional structure in spacetime applications. For Lorentzian \((\alpha,\beta)\)-metrics,
\[
L=A\Psi(s),\qquad s=\frac{B^2}{A},
\]
with \(A=a_{ij}x^ix^j\) for a Lorentzian metric \(a\) and \(B=b_i x^i\), the supplied literature gives a complete criterion for when such a metric defines a Finsler spacetime in the sense of Hohmann–Pfeifer–Voicu. The criterion requires a connected conic timelike subbundle \(\mathcal T\) on which
\[
A>0,\qquad \Psi>0,\qquad \Psi-s\Psi'>0,
\]
together with
\[
\left(s-\langle b,b\rangle\right)\frac{d}{ds}\ln\!\big((\Psi-s\Psi')^2\Psi\big)>-1,
\]
and the boundary condition \(A\Psi\to 0\) on \(\partial\mathcal T_x\). This simultaneously encodes Lorentzian signature of the fundamental tensor and the existence of a future-pointing timelike cone [2302.09937].

Within this spacetime framework, explicit subclasses can be characterized sharply. Randers-type deformations define Finsler spacetimes iff
\[
0\le \langle b,b\rangle <1.
\]
Bogoslovsky–Kropina metrics, Kundt metrics, and exponential metrics each satisfy precise signature and cone conditions, and in several cases the timelike cones either coincide with those of the underlying Lorentzian metric or are obtained by intersecting those cones with the half-space \(B>0\) [2302.09937].

Pseudo-Finsler geometry also supports Palatini-type gravitational formalisms. In the Einstein–Hilbert–Palatini framework for pseudo-Finsler metrics \(L\), the independent affine variable is not a linear connection on \(M\) but a homogeneous nonlinear connection \(\mathrm N\) on a conic domain \(A\subset TM\setminus 0\). Replacing scalar curvature by the Finslerian Ricci scalar yields coupled affine and metric equations for \((\mathrm N,L)\). A central conclusion is that the mean Landsberg tensor \(\mathrm{Lan}_i\) is the obstruction to recovering the classical Palatini picture: if \(\mathrm{Lan}_i=0\), the metric nonlinear connection solves the affine equation and the classical Palatini conclusions are recovered; if \(\mathrm{Lan}_i\neq 0\), the metric and affine structures necessarily decouple [2108.03197].

## 5. Principal classes and explicit constructions

The supplied literature contains several structurally important families of pseudo-Finsler metrics and pseudo-Finslerian constructions.

| Class | Defining expression | Result in the supplied papers |
|---|---|---|
| Randers-type spacetime | \(L=\epsilon(\sqrt A+B)^2\) | Finsler spacetime iff \(0\le \langle b,b\rangle<1\) [2302.09937] |
| Bogoslovsky–Kropina spacetime | \(L=A^{1-q}B^q\) | Exact Lorentzian cone classification by sign of \(\langle b,b\rangle\) and range of \(q\) [2302.09937] |
| Zermelo translation | \(F\!\left(\frac{v}{\widetilde F(v)}-w\right)=1\) | Translations of semi-Riemannian metrics are exactly pseudo-Randers-Kropina metrics [1412.0465] |
| Pseudo-Finsleroid metrics | \(F=b\,V(x,n)\) or separated variants | Constant indicatrix curvature \(-H^2\) with axial anisotropy [1512.02268], [1709.02683] |
| Kropina metrics in gravity | \(L=(A/\beta)^2\) | Einstein iff \(a\) is Einstein and \(b\) is Killing [2606.07121] |

Zermelo navigation provides one of the clearest geometric constructions. Javaloyes and Vitório define the translation of a pseudo-Finsler metric by shifting each indicatrix by a vector field \(W\). In the pseudo-Finsler setting, this leads to two distinct types, **straight** and **reverse** translations, depending on the orientation of the translated indicatrix. When the starting metric is semi-Riemannian, the translated metrics are precisely pseudo-Randers and pseudo-Kropina metrics, and vanishing Matsumoto tensor is equivalent to being such a translation. Under a homothetic wind field, the translated flag curvature differs from the original by the non-positive constant \(-\sigma^2/4\), and the geodesic flow is obtained by composing original geodesics with the flow of \(W\) [1412.0465].

A different strand of explicit model building is the pseudo-Finsleroid program. In one-axis form, the metric function \(F=b\,V(x,n)\) describes a relativistic geometry with a preferred spacelike direction and Lorentzian signature \((+---)\), while preserving the constant negative curvature \(-H^2\) of the indicatrix. The three-dimensional section orthogonal to the time direction inherits constant positive curvature \(p^2\), so the four-dimensional construction acts as a relativistic lift of the earlier three-dimensional Finsleroid geometry [1512.02268]. The two-axes pseudo-Finsleroid class extends this to a geometry with a vertical distinguished direction and a horizontal distinguished direction, together with an angle-separated ansatz and an explicit angle-regular solution whose indicatrix again has constant curvature \(-H^2\) [1709.02683].

## 6. Transformations, metrizability, projective geometry, and current physical directions

Pseudo-Finsler metrics admit transformation theories that are much richer than their Riemannian analogues. For conic pseudo-Finsler surfaces, an **anisotropic conformal change**
\[
\overline F(x,y)=e^{\phi(x,y)}F(x,y)
\]
does not automatically preserve the pseudo-Finsler condition. The supplied paper gives a necessary and sufficient nondegeneracy criterion in terms of the modified Berwald frame and the derivatives of \(\phi\), and shows that the geodesic spray is preserved exactly when
\[
\delta_i\phi=0 \qquad\Longleftrightarrow\qquad d_h\phi=0.
\]
This is strictly more general than the isotropic conformal case, where spray invariance reduces to homothety. The same work derives explicit transformed inverse metrics, Cartan tensor, main scalar, Barthel connection, and Berwald connection, and supplies sufficient conditions for projective flatness and dual flatness [2404.15659].

Projective geometry yields another family of invariants. Using the Schwarzian derivative and either the Funk metric or the Poincaré metric on \((-1,1)\), the papers on projectively invariant pseudo-distance construct an intrinsic pseudo-distance \(d_M\) from chains of projective geodesic segments. The governing equation for the projective parameter is
\[
\{p,s\}=\frac{2}{n-1}\,\mathrm{Ric}_{ij}\,\frac{dx^i}{ds}\frac{dx^j}{ds}.
\]
When the Ricci tensor is parallel, this equation has explicit trigonometric, exponential, or fractional-linear solutions depending on the sign of the curvature term. Complete Finsler spaces with positive semi-definite Ricci tensor have trivial projective pseudo-distance, while spaces with negative-definite parallel Ricci tensor have a genuine, and in the complete case complete, projectively invariant distance [1310.0708], [1502.04850].

Metrizability questions show that pseudo-Finsler geometry is not merely a reformulation of pseudo-Riemannian geometry. For \(4\)-dimensional \(\mathrm{SO}(3)\)-invariant torsion-free affine connections, the supplied classification identifies five Berwald-Finsler classes. Two classes—power-law and exponential—give explicit non-Riemannian Berwald metrics that are not pseudo-Riemann metrizable, while the remaining classes are pseudo-Riemann metrizable under explicit holonomy-dimension and Ricci-symmetry conditions. This establishes that affine geodesics may arise from pseudo-Finsler metrics even when no affinely equivalent pseudo-Riemannian metric exists [2404.02980].

Current physical programs use pseudo-Finsler metrics in several distinct ways. One line, in higher-spin theory, expands a homogeneous pseudo-Finsler line element around a pseudo-Riemannian background in symmetric tensors and finds that the linearized Finsler Ricci tensor reproduces the curved-space Fronsdal operator, plus a Stueckelberg-like coupling. The same paper emphasizes, however, that the genuine gauge principle remains problematic and that non-transverse modes are not eliminated in the versions of Finsler dynamics examined there [2405.00776]. Another line studies Einstein-Kropina metrics in arbitrary signature: these are Einstein precisely when the underlying pseudo-Riemannian metric \(a\) is Einstein and the vector field \(b\) is Killing, but their role in Finsler gravity is unexpectedly rigid. In the Lorentzian and Riemannian cases, Einstein-Kropina solutions of the Pfeifer–Wohlfarth \(\Lambda\)-vacuum equation are necessarily Berwald and Ricci-flat, and the cosmological constant must vanish [2606.07121].

Pseudo-Finsler metrics therefore form a broad geometric category rather than a single model class. The supplied literature presents them as conic, homogeneous, direction-dependent metric structures with nondegenerate but not necessarily positive fundamental tensor; as Lorentzian causal geometries with timelike cones and null boundaries; as variational systems with sprays, anisotropic connections, and Jacobi theory; and as a flexible framework for navigation, metrizability, projective geometry, and generalized gravity. What remains uniform across these developments is the central role of the fiberwise Hessian and the persistent fact that indefinite signature fundamentally changes the analytic and global behavior of Finsler geometry.

Source: https://www.emergentmind.com/topics/pseudo-finsler-metrics