---
title: Wind Finslerian Structures in Differential Geometry
url: https://www.emergentmind.com/topics/wind-finslerian-structures
type: topic
---

# Wind Finslerian Structures in Differential Geometry

A wind Finslerian structure generalizes the concept of a Finsler metric by permitting strongly convex, compact indicatrices in each tangent space that need not contain the origin. This provides a unifying geometric framework for the Zermelo navigation problem with arbitrary winds and for the causal geometry of Lorentzian spacetimes with a Killing vector field. Wind Finslerian structures encompass and extend Randers and Kropina metrics, leading to a comprehensive theory connecting Finsler geometry, Lorentz-Finsler geometry, and causality in mathematical relativity [2408.05841][1701.01273][1407.5494].

## 1. Definition and Foundational Properties

Let $M$ be a smooth $n$-dimensional manifold. A wind Finslerian structure is specified by a smooth embedded hypersurface
$$
\Sigma \subset TM
$$
such that for each $p\in M$:
- $\Sigma_p = \Sigma \cap T_pM$ is a compact, connected, strongly convex $(n-1)$-sphere in $T_pM$ (not necessarily enclosing the origin).
- $\Sigma$ is transverse to the fibers, i.e.,
$$
T_v(T_pM) + T_v\Sigma = T_v(TM)\quad\text{for all } v\in\Sigma_p.
$$

Defining $B_p$ as the region bounded by $\Sigma_p$ and $A_p$ as the associated conic domain
$$
A_p = \{ v \in T_pM: \exists\, \lambda > 0, \,\lambda v \in B_p \},
$$
one obtains an open, conic, smooth bundle $A = \bigsqcup_{p\in M} A_p$.

There exists a unique smooth, positively 1-homogeneous function
$$
F: A \to (0, +\infty)
$$
whose restriction to each $A_p$ is a conic Minkowski norm with strong convexity
$$
g_v(u, w) = \tfrac12 \frac{\partial^2}{\partial s\,\partial t}[F^2(v + t u + s w)]_{t = s = 0}
$$
positive definite for all $v \in A_p \setminus \{0\}$. The indicatrix at $p$ is
$$
\Sigma_p = \{ v \in A_p: F(v) = 1 \}.
$$

In the general setting, two pseudo-Finsler metrics emerge:
- $F$, with indicatrix $\Sigma_p^+$ (convex at $v$)
- $F_l$, Lorentz-Finsler with indicatrix $\Sigma_p^-$ (concave at $v$)
These satisfy $F < F_l$ on the appropriate open cones, with boundary agreement on $A_E$ [1407.5494].

## 2. Relationships with Cone Structures and Cone-Killing Fields

A cone structure on $M$ is an embedded hypersurface
$$
\mathcal{C} \subset TM \setminus \{0\}
$$
with each fiber $\mathcal{C}_p$ a smooth, connected, conic, strongly convex hypersurface satisfying
- $\lambda v \in \mathcal{C}_p$ for $v \in \mathcal{C}_p$, $\lambda > 0$
- transversality as above

A "cone-Killing" vector field $K$ is a vector field whose local flow leaves $\mathcal{C}$ invariant:
$$
d\phi_t(\mathcal{C}_p) = \mathcal{C}_{\phi_t(p)}\,\,\forall\, t.
$$

If $\mathcal{C}$ admits a complete cone-Killing field $K$ transverse to a spacelike hypersurface $S \subset M$, the flow yields $M \simeq \mathbb{R}_t \times S$ with a canonical 1-form $\Omega$ such that $\ker \Omega = TS$, $\Omega(K) = 1$. The fiberwise indicatrix $\Sigma_x$ for $T_x S$ is
$$
\Sigma_x = \{ w \in T_xS : K_x + w \in \mathcal{C}_x \}.
$$
The associated wind Finslerian metric $F$ is extracted from this structure, and $(\Omega, K, \Sigma)$ collectively determines $\mathcal{C}$ [2408.05841].

This construction encapsulates the Finslerian encoding of causal cones in Lorentzian geometry and is essential in understanding causality in standard spacetimes with Killing vector fields [2408.05841][1407.5494].

## 3. Wind Riemannian Structures, Randers, and Kropina Metrics

A major special case is the wind Riemannian structure, where each indicatrix $\Sigma_p$ is an ellipsoid. This reduces the theory to Zermelo data:
- $g_R$: a Riemannian metric on $M$
- $W$: a vector field ("wind")

The structure is given fiberwise by
$$
\Sigma = \{ v\in TM : g_R(v - W, v - W) = 1 \}.
$$
The conic Finsler metric is
$$
F(v) = g_R(v, W) + \sqrt{A(p)\, g_R(v,v) + g_R(v, W)^2},
$$
with $A(p) = 1 - g_R(W,W)$.

The regime is classified as:
- Mild wind ($A(p) > 0$): $F$ is a Randers metric, $F = \sqrt{g_R(v,v)} + g_R(W,v)$
- Critical wind ($A(p) = 0$): $F$ is the Kropina norm, $F(v) = g_R(v,v) / [2\,g_R(W,v)]$, defined on the open half-space $g_R(W,v) > 0$
- Strong wind ($A(p) < 0$): $F$ is conic-Finsler, $F_l$ is Lorentz-Finsler, both defined only on the appropriate cones

Wind Finslerian structures thus generalize classical Finsler, Randers, and Kropina metrics and extend the range of geometric modeling to singular and unbounded wind domains [1701.01273][1407.5494][1703.04810].

## 4. Causality: The Finslerian Causal Ladder

In the presence of a cone-Killing field $K$ and a cone structure $\mathcal{C}$, the causal structure on $M$ can be classified via metric properties of the induced wind Finslerian structure $F$ on a hypersurface $S$. There is an explicit dictionary between traditional Lorentzian causal hierarchy and Finslerian notions:

| Causality property      | Finslerian criterion                                                      |
|------------------------|----------------------------------------------------------------------------|
| Globally hyperbolic    | Closed forward/backward $F$-balls have compact intersection               |
| Causally simple        | $(S, F)$ convex: geodesic joins any $x, y$ with finite $d_F(x, y)$         |
| Causally continuous    | Symmetry of closure of wind balls $B_\Sigma^+(x_0, r),B_\Sigma^-(x_1, r)$ |
| Cauchy hypersurface    | Completeness: all closed $F$-balls are compact                            |

Here, the Finslerian separation
$$
d_F(x, y) = \inf\left\{ \int_0^1 F(\dot{\gamma})\,dt : \gamma:[0,1]\to S,\,\dot{\gamma}\in A \right\}
$$
controls the optimal time-separation in the associated spacetime $(M, \mathcal{C})$ [2408.05841][1407.5494].

In the strong wind regime, pairs $(F, F_l)$ are used; the causal types are reflected by domains of definiteness of these norms, and the corresponding wind balls and "c-balls" give the relevant compactness and completeness conditions.

## 5. Geodesics, Extremals, and Zermelo Navigation

The geodesics of a wind Finslerian structure stem from the Euler–Lagrange equations for $F$ (or $F_l$),
$$
\frac{d}{dt} \partial_{\dot y^i} F - \partial_{y^i} F = 0, \quad F(\dot y) \equiv 1,
$$
or can equivalently be described as solutions of the drifted Riemannian equation
$$
\nabla^R_{\dot y}\dot y = (\nabla^R_{\dot y} W)_\perp,
$$
when Zermelo data is present [1701.01273]. The corresponding geodesics divide into:
1. Minimizing (unit $F$-geodesics)
2. Maximizing (unit $F_l$-geodesics in strong wind)
3. "Abnormal" (boundary) geodesics, corresponding to pregeodesics of the degenerate directions

The wind Finslerian approach subsumes the generalized Zermelo navigation problem, including situations with strong or critical wind, and yields sharp existence results for minimizers and maximizers (length/minimizing and maximizing extremals) [1407.5494].

## 6. Lorentzian Correspondence and SSTK Spacetimes

A canonical Lorentzian structure associated to a wind Finslerian structure is given by the standard spacetime with space-transverse Killing vector (SSTK):
$$
g = -\Lambda\,dt^2 + 2\omega \otimes dt + g_0,
$$
with $\Lambda = 1 - g_R(W, W),\ \omega(v) = g_R(W, v),\ g_0 = g_R$. The causal cones project to indicatrices of the wind Finslerian structure, and geodesic completeness of $(M, F)$ is equivalent to global hyperbolicity of $(\mathbb{R} \times M, g)$ [1701.01273][1407.5494][1703.04810].

This correspondence provides a powerful toolkit for relating Finslerian convexity/completeness issues to causality and Cauchy hypersurface criteria in Lorentzian geometry. SSTK spacetimes encompass standard stationary, Kropina, and strong-wind (ergosphere) metrics within a unified framework.

## 7. Completeness, Hopf–Rinow Theorem, and Global Structure

Geodesic completeness for wind Finslerian structures employs an analogue of the Hopf–Rinow theorem:

- $(M, \Sigma, F)$ is geodesically complete $\iff$ $(M, d_F)$ is forward (or backward) Cauchy complete, every closed $d_F$-bounded subset is compact, and the exponential map is defined on all of $\Sigma_p$ [1703.04810].
- For wind Riemannian structures, the completeness of $F$ is implied by completeness of a suitable auxiliary metric, e.g., $g_R/ (1 + |W|_{g_R})^2$.

Completeness of $F$ equivalently characterizes Cauchy hypersurfaces in the corresponding SSTK spacetime. This yields an operational bridge between Finsler geometry and the causal theory of spacetimes [1703.04810].

---

Wind Finslerian structures constitute a broad, rigorous framework capturing the interplay between generalized Finsler geometries, optimal navigation under arbitrary winds, and advanced causal properties in Lorentzian geometry, connecting these fields through deep geometric and analytic correspondences.

Source: https://www.emergentmind.com/topics/wind-finslerian-structures