Null Distance in Lorentzian Geometry

• Null distance is a metric construction in Lorentzian geometry defined via the minimal total variation of a time function along piecewise causal zigzag curves.
• It yields a symmetric, conformally invariant pseudometric that agrees with the standard time separation on causal pairs and becomes a genuine metric under local anti-Lipschitz conditions.
• This framework underpins the recovery of causal structure, characterizes global hyperbolicity, and supports convergence and rigidity analyses in both smooth spacetimes and Lorentzian length spaces.

Null distance is a distance construction on a time-oriented Lorentzian manifold $(M,g)$ that depends on a chosen time function $\tau$ and measures the minimal total variation of $\tau$ along piecewise causal “zig-zag” curves. Introduced by Sormani and Vega, it yields a symmetric pseudometric that is conformally invariant, agrees with the usual time separation on causal pairs, and under local anti-Lipschitz hypotheses becomes a genuine metric inducing the manifold topology. A central theme of the subject is that, with suitable choices of $\tau$, the pair $(d_\tau,\tau)$ can recover the causal order, characterize global hyperbolicity through metric completeness, and support Gromov–Hausdorff and intrinsic-flat convergence theories for spacetimes and Lorentzian length spaces (Sormani et al., 2015, Burtscher et al., 2022, Kunzinger et al., 2021).

1. Definition and formal construction

Let $(M,g)$ be a time-oriented Lorentzian manifold and let $\tau:M\to\mathbb R$ be a continuous time function, meaning that $\tau$ is strictly increasing along every future-directed causal curve. A piecewise causal curve $\gamma:[a,b]\to M$ is broken into finitely many future- or past-directed causal segments, with break-points $\gamma(a)=x_0,x_1,\dots,x_m=\gamma(b)$. Its null length is

$\tau$0

The null distance is then defined by

$\tau$1

The literature also writes $\tau$2 or $\tau$3 for the same construction (Galloway, 2023, Sormani et al., 2015, Rennie et al., 8 Nov 2025).

This definition extends beyond smooth spacetimes. In a Lorentzian (pre-)length space $\tau$4, one again defines piecewise causal paths, the same null-length functional, and an induced null distance $\tau$5. In this setting the construction becomes part of the synthetic Lorentzian program, where it provides a metric-space avatar of causal geometry beyond the manifold category (Kunzinger et al., 2021).

The basic intuition, made explicit in later expositions, is that $\tau$6 measures the shortest “time-jump” needed by a causal zig-zag from $\tau$7 to $\tau$8. That interpretation is precise because the admissible curves are causal on each segment but may alternate between future and past directions, while the cost is the total absolute change in the chosen time function (Galloway, 2023).

2. Pseudometric structure, definiteness, and temporal regularity

For any time function $\tau$9, the null distance is always finite, symmetric, and satisfies the triangle inequality by concatenation of piecewise causal curves. One has

$\tau$0

It is therefore a pseudometric in general, not necessarily a metric (Galloway, 2023, Sormani et al., 2015).

A universal lower bound is

$\tau$1

so $\tau$2 implies $\tau$3. If $\tau$4, then

$\tau$5

and in the smooth setting this quantity is also bounded below by the Lorentzian distance $\tau$6. Thus the null distance agrees with the time increment on causal pairs, while possible failures of causal encoding arise only in the converse direction (Kunzinger et al., 2021, Rennie et al., 8 Nov 2025).

Definiteness is controlled by the local anti-Lipschitz condition. A time function $\tau$7 is locally anti-Lipschitz if for every $\tau$8 there is a neighborhood $\tau$9, a Riemannian metric $\tau$0 on $\tau$1, and in some formulations a constant $\tau$2, such that

$\tau$3

for all $\tau$4. Sormani–Vega’s criterion states that $\tau$5 is a true distance on $\tau$6 if and only if $\tau$7 is locally anti-Lipschitz; in that case the topology induced by $\tau$8 agrees with the manifold topology (Sormani et al., 2015, Galloway, 2023, Nigri, 9 Jul 2025).

For $\tau$9 functions, local anti-Lipschitzness is equivalent to temporality: a $(d_\tau,\tau)$0 function $(d_\tau,\tau)$1 is locally anti-Lipschitz if and only if its gradient $(d_\tau,\tau)$2 is everywhere past-directed timelike. More generally, if $(d_\tau,\tau)$3 exists almost everywhere, is past-pointing timelike there, and is locally bounded away from the light cones, then $(d_\tau,\tau)$4 is locally anti-Lipschitz. In local coordinates this is reflected by inequalities of the form

$(d_\tau,\tau)$5

for all future causal $(d_\tau,\tau)$6, which integrate to the anti-Lipschitz estimate along causal curves (Sormani et al., 2015, Nigri, 9 Jul 2025).

A further regularity class used in the global theory is that of weak temporal functions: continuous functions that strictly increase along causal curves and are both locally Lipschitz and locally anti-Lipschitz. On compact sets, the corresponding null distances are locally bi-Lipschitz equivalent to any auxiliary Riemannian metric, and null distances arising from two weak temporal functions are bi-Lipschitz equivalent on compact subsets (Burtscher et al., 2022).

3. Encoding causality and the role of global hypotheses

The central causality statement is

$(d_\tau,\tau)$7

The implication $(d_\tau,\tau)$8 is immediate from the definition; the converse is the substantive issue. It can fail for general time functions, even on causally well-behaved spacetimes, so global causal hypotheses on the level sets of $(d_\tau,\tau)$9 are essential (Galloway, 2023, Burtscher et al., 2022).

A first global result, due to Sakovich–Sormani, states that if $(M,g)$0 is a proper, locally anti-Lipschitz time function—equivalently, all level sets $(M,g)$1 are compact Cauchy hypersurfaces—then $(M,g)$2 encodes causality on all of $(M,g)$3. Burtscher–García-Heveling proved a related theorem: if $(M,g)$4 is globally hyperbolic and $(M,g)$5 is locally anti-Lipschitz with all level sets Cauchy, then the same equivalence holds globally (Galloway, 2023).

Galloway strengthened these assumptions by showing that Cauchy level sets can be replaced by the strictly weaker condition of future causal completeness. If each level set $(M,g)$6 is future causally complete, then $(M,g)$7 is in fact a future Cauchy hypersurface, $(M,g)$8 is globally hyperbolic, and $(M,g)$9 encodes causality. An immediate corollary is that compact level sets already suffice to obtain both global hyperbolicity and global causality encoding (Galloway, 2023).

Null distance also yields an existential metric characterization of global hyperbolicity: $\tau:M\to\mathbb R$0 This is a metric-space analogue of Hopf–Rinow that is specific to null distance. The statement is existential rather than universal: the same work exhibits examples where a genuine Cauchy temporal function does not yield a complete null metric, so completeness depends on the choice of $\tau:M\to\mathbb R$1 (Burtscher et al., 2022).

These results correct two common misunderstandings. First, not every time function makes $\tau:M\to\mathbb R$2 a metric; local anti-Lipschitzness is exactly the missing condition. Second, not every causally well-behaved choice of $\tau:M\to\mathbb R$3 encodes causality globally; the level-set hypotheses are sharp in the sense that non-Cauchy choices can fail even on globally hyperbolic spacetimes (Burtscher et al., 2022).

4. Distinguished time functions and geometry of level sets

Regular cosmological time is a particularly important choice of $\tau:M\to\mathbb R$4. If

$\tau:M\to\mathbb R$5

is finite everywhere and tends to $\tau:M\to\mathbb R$6 along every past-inextendible causal curve, then Andersson–Galloway–Howard’s theory implies that $\tau:M\to\mathbb R$7 is continuous, locally Lipschitz, locally anti-Lipschitz, and has

$\tau:M\to\mathbb R$8

almost everywhere; in the smooth regular setting one has $\tau:M\to\mathbb R$9. Consequently its null distance is a bona fide metric inducing the manifold topology, and in the globally hyperbolic theory it encodes causality globally (Sormani et al., 2015, Burtscher et al., 2022, Rennie et al., 8 Nov 2025).

Another canonical source of null distance is the surface function associated to a $\tau$0 Cauchy hypersurface $\tau$1 in a globally hyperbolic spacetime: $\tau$2 This function is continuous, locally Lipschitz, locally anti-Lipschitz, and satisfies

$\tau$3

wherever the gradient exists. Hence $\tau$4 is again a metric inducing the manifold topology (Rennie et al., 8 Nov 2025).

For smooth temporal functions there is also a comparison between null distance and the intrinsic Riemannian geometry of level sets. If $\tau$5 is smooth and temporal, $\tau$6 is a regular spacelike level set with induced metric $\tau$7, and

$\tau$8

with $\tau$9 constant along $\gamma:[a,b]\to M$0, then

$\gamma:[a,b]\to M$1

Applied to a smooth regular cosmological time $\gamma:[a,b]\to M$2, for which $\gamma:[a,b]\to M$3, this becomes

$\gamma:[a,b]\to M$4

This estimate confirms a conjecture of Sakovich–Sormani: if the Riemannian diameters of the level sets $\gamma:[a,b]\to M$5 shrink to zero as $\gamma:[a,b]\to M$6, then the extended initial slice $\gamma:[a,b]\to M$7 in the metric completion of $\gamma:[a,b]\to M$8 consists of exactly one point $\gamma:[a,b]\to M$9 (Nigri, 9 Jul 2025).

5. Local geometry, rectifiability, and rigidity

Recent work studies null distance not only as an abstract metric but as a locally controlled geometric structure. Uniform Temple charts provide local future-null coordinate systems with optical functions $\gamma(a)=x_0,x_1,\dots,x_m=\gamma(b)$0 and radial functions $\gamma(a)=x_0,x_1,\dots,x_m=\gamma(b)$1 around each point. In a uniform Temple neighborhood $\gamma(a)=x_0,x_1,\dots,x_m=\gamma(b)$2, the corresponding Temple maps are homeomorphisms onto sets containing $\gamma(a)=x_0,x_1,\dots,x_m=\gamma(b)$3, and the optical functions satisfy uniform gradient bounds with respect to the Riemannianized metric

$\gamma(a)=x_0,x_1,\dots,x_m=\gamma(b)$4

including

$\gamma(a)=x_0,x_1,\dots,x_m=\gamma(b)$5

This yields uniform Lipschitz control of the local causal geometry (Meco et al., 14 Sep 2025).

When $\gamma(a)=x_0,x_1,\dots,x_m=\gamma(b)$6 is Lipschitz and locally anti-Lipschitz, these charts imply that $\gamma(a)=x_0,x_1,\dots,x_m=\gamma(b)$7 is a countably rectifiable metric space. In particular it carries an $\gamma(a)=x_0,x_1,\dots,x_m=\gamma(b)$8-dimensional Hausdorff measure $\gamma(a)=x_0,x_1,\dots,x_m=\gamma(b)$9, and the singular set of $\tau$00 has zero measure. The same framework gives a local causality-encoding theorem: around every point $\tau$01 there is a neighborhood $\tau$02 such that for all $\tau$03,

$\tau$04

This is a local reconstruction statement with no global causal-completeness assumption (Meco et al., 14 Sep 2025).

Rigidity results show that the null-distance data can determine the Lorentzian metric. For spacetimes of dimension $\tau$05 endowed with proper regular cosmological time functions, any bijection preserving both $\tau$06 and $\tau$07 is a Lorentzian isometry. A generalized version holds in dimension $\tau$08 for Lipschitz time functions satisfying $\tau$09 almost everywhere, even without a global causality-encoding hypothesis (Sakovich et al., 2022, Meco et al., 14 Sep 2025).

6. Convergence theory, model examples, and present directions

One of the original motivations for null distance was to import metric geometry into Lorentzian settings. In Lorentzian length spaces, null distance is compatible with the underlying topology under the same anti-Lipschitz criterion, and for generalized cones $\tau$10 with $\tau$11, uniform convergence $\tau$12 with $\tau$13 implies uniform convergence of the corresponding null distances on bounded balls. If $\tau$14 is proper, this yields pointed Gromov–Hausdorff convergence; if $\tau$15 and $\tau$16 are compact, it yields ordinary Gromov–Hausdorff convergence. In the same framework, timelike curvature lower bounds persist under null-distance GH limits (Kunzinger et al., 2021).

For warped product spacetimes, Allen proved optimal null-distance convergence theorems under $\tau$17-type control and monotone lower bounds on the warping functions. Uniform convergence of warping functions gives uniform convergence of the null distances and therefore both Gromov–Hausdorff and Sormani–Wenger intrinsic-flat convergence. The counterexamples are equally important: if the monotone lower bound or the $\tau$18-control is dropped, one can obtain smaller-than-expected limits, taxi-type limit metrics, bubbling, or spline-like nonmanifold limits (Allen, 2023, Allen et al., 2019).

Static spacetimes admit a further extension through a weighted null distance $\tau$19. In that setting, a VADB-type theorem gives uniform and Gromov–Hausdorff convergence of null-distance spaces under an $\tau$20-bound on the rescaled spatial metrics, monotone-from-below comparison, volume convergence, and a uniform boundary-area bound. A conjectural SWIF version has also been formulated for compact globally hyperbolic spacetimes (Allen, 2 Oct 2025).

Model examples remain instructive. In Minkowski space with $\tau$21, the null distance admits explicit formulas; in product form one obtains

$\tau$22

equivalently “spatial distance plus any excess time-separation.” In Minkowski space with one point removed, time slices $\tau$23 are future causally complete but not future Cauchy, so Galloway’s weakened theorem applies while the older Cauchy-level-set theorem does not. Other examples show that changing the time function can radically change the large-scale metric behavior: on $\tau$24, $\tau$25 is complete whereas $\tau$26 is not (Kunzinger et al., 2021, Galloway, 2023, Burtscher et al., 2022).

Current directions, as explicitly identified in the literature, include extending the theory to lower-regularity spacetimes or merely continuous metrics, characterizing geodesics of $\tau$27 and their relation to Lorentzian geodesics, adapting null distance to spacetimes with boundary or weaker causality conditions, studying metric completeness of $\tau$28, and using null distance in convergence and stability problems in mathematical relativity (Galloway, 2023, Rennie et al., 8 Nov 2025). A plausible implication is that null distance has become a unifying device: it packages causality, time functions, and conformal information into a metric structure that can be compared, completed, and passed to limits using the tools of modern metric geometry.