Cauchy Temporal Functions

• Cauchy temporal functions are smooth time functions with past-directed timelike gradients whose level sets are complete Cauchy hypersurfaces in a spacetime.
• They guarantee global hyperbolicity and support the smooth splitting and isometric embedding of spacetimes into Minkowski space.
• Construction methods use volume and signed distance techniques to achieve steepness, uniformity, and stability under metric perturbations.

Searching arXiv for recent and foundational papers on Cauchy temporal functions and related causality theory. A Cauchy temporal function is a temporal notion of global time tied to the causal structure of a spacetime. In the smooth Lorentzian setting, a temporal function is a $C^1$ function whose gradient is everywhere past-directed and timelike, and a Cauchy temporal function is a temporal function whose level sets are Cauchy hypersurfaces; equivalently, along each inextendible causal curve the function takes all real values, so every level is met exactly once (Minguzzi, 2016). In closed cone structures and Lorentzian length spaces, the same idea persists with the definitions adapted to weaker causal frameworks: temporality is expressed by strict increase on causal curves, and the Cauchy property is expressed by the requirement that every doubly-inextendible causal curve meets each level exactly once or that the image of the curve under the function is $\mathbb{R}$ (Minguzzi, 2019, Burtscher et al., 2021). The subject sits at the intersection of causality theory, global hyperbolicity, smoothability, splitting theory, and more recent extensions to cone fields, Lorentz-Finsler spaces, and Lorentzian length spaces.

1. Definitions and equivalent formulations

In a globally hyperbolic spacetime $(M,g)$, a time function is a continuous function $f:M\to\mathbb{R}$ such that $x<y$ implies $f(x)<f(y)$, where $x<y$ means that there exists a future-directed causal curve from $x$ to $y$ (Minguzzi, 2016). A Cauchy time function is a time function whose level sets are Cauchy hypersurfaces, namely closed acausal sets intersected exactly once by every inextendible causal curve (Minguzzi, 2016). A temporal function is at least $C^1$ and has everywhere past-directed timelike gradient, while a Cauchy temporal function combines temporality with the Cauchy property of its levels (Minguzzi, 2016).

In the cone-field setting, the definitions are adapted from metric causality to a cone distribution $\mathbb{R}$0. A continuous function $\mathbb{R}$1 is causal if $\mathbb{R}$2 is non-decreasing for every $\mathbb{R}$3-causal curve, a time function if $\mathbb{R}$4 is increasing for every causal curve, and a temporal function if it is smooth and satisfies

$\mathbb{R}$5

A temporal function is Cauchy if, for every inextensible causal curve $\mathbb{R}$6, $\mathbb{R}$7 is onto $\mathbb{R}$8 (Bernard et al., 2019).

In Lorentzian length spaces, the smooth-hypersurface language is replaced by the notion of a Cauchy set, a closed, acausal set met exactly once by every doubly-inextendible causal curve. A Cauchy time function is then a continuous time function such that for every doubly-inextendible causal curve $\mathbb{R}$9, $(M,g)$0 (Burtscher et al., 2021). This formulation makes explicit that no manifold structure is needed in order to obtain suitable time functions (Burtscher et al., 2021).

2. Existence and characterization results

A central theorem in the smooth Lorentzian case is that every globally hyperbolic spacetime admits a smooth Cauchy steep time function (Minguzzi, 2016). More precisely, if $(M,g)$1 is globally hyperbolic, then there exists a smooth Cauchy time function $(M,g)$2 with timelike, past-directed gradient and satisfying

$(M,g)$3

This is the existence theorem stated as Theorem 1.3 in the 2016 paper and it strengthens earlier smoothability statements by ensuring both smoothness and steepness (Minguzzi, 2016).

The relation with global hyperbolicity persists in weaker frameworks. In Lorentzian length spaces, for a second-countable space with a proper metric structure, the following are equivalent: global hyperbolicity, non-total imprisonment together with compactness of the spaces $(M,g)$4 of causal curves, existence of a Cauchy set, and existence of a Cauchy time function (Burtscher et al., 2021). This is a precise characterization of global hyperbolicity by Cauchy sets and Cauchy time functions outside the smooth manifold category (Burtscher et al., 2021).

In closed cone structures, existence can be made relative to a prescribed hypersurface. If $(M,g)$5 is a $(M,g)$6 or $(M,g)$7, $(M,g)$8, spacelike Cauchy hypersurface, then for every open neighborhood $(M,g)$9 of $f:M\to\mathbb{R}$0, there exists a Cauchy temporal function $f:M\to\mathbb{R}$1 which is $f:M\to\mathbb{R}$2-steep and strictly $f:M\to\mathbb{R}$3-steep, satisfies $f:M\to\mathbb{R}$4, has the same regularity as $f:M\to\mathbb{R}$5 on $f:M\to\mathbb{R}$6, and is smooth elsewhere (Minguzzi, 2019). A related consequence is that every stable Cauchy hypersurface is the zero level set of a Cauchy time function, which can be chosen smooth and strictly steep outside $f:M\to\mathbb{R}$7 (Minguzzi, 2019).

3. Construction methods

One standard construction is based on Geroch’s volume functions. Given a non-negative continuous compactly supported function $f:M\to\mathbb{R}$8,

$f:M\to\mathbb{R}$9

In globally hyperbolic spacetimes these functions are continuously differentiable, and their gradient at $x<y$0 is past-directed timelike or zero if the support is disjoint (Minguzzi, 2016). The 2016 proof begins with Geroch’s topological splitting theorem, uses a partition of unity $x<y$1, forms weighted sums such as

$x<y$2

chooses the weights $x<y$3 so as to obtain steepness and separation from an initial continuous Cauchy time function $x<y$4, constructs an analogous $x<y$5, and then sets

$x<y$6

The resulting $x<y$7 is continuously differentiable, Cauchy, and steep, and then it is approximated by a smooth function $x<y$8 in the Whitney strong topology while retaining the Cauchy and steep properties (Minguzzi, 2016).

A second construction uses the signed distance function from a spacelike Cauchy hypersurface. If $x<y$9 is a $f(x)<f(y)$0 or $f(x)<f(y)$1 spacelike Cauchy hypersurface in a sufficiently regular proper Lorentz-Finsler space, define

$f(x)<f(y)$2

Then $f(x)<f(y)$3 has the same regularity as $f(x)<f(y)$4 in a neighborhood of $f(x)<f(y)$5 (Minguzzi, 2019). By combining this fact with a smoothing theorem for anti-Lipschitz functions, one obtains a globally defined Cauchy temporal function whose zero level set is $f(x)<f(y)$6, whose regularity agrees with that of $f(x)<f(y)$7 near $f(x)<f(y)$8, and which is smooth elsewhere (Minguzzi, 2019).

In Lorentzian length spaces, a modified notion of Geroch’s volume functions appears through the averaged volume functions

$f(x)<f(y)$9

defined using a Borel probability measure of full support. These are time functions if and only if the space is causally continuous (Burtscher et al., 2021). This suggests that volume-based constructions remain central even when the differentiable machinery is absent.

4. Steepness, uniformity, and regularity

Steepness strengthens temporality by requiring a quantitative timelike lower bound. In the smooth Lorentzian setting, a $x<y$0 time function $x<y$1 is steep if

$x<y$2

or, in the invariant-function setting, more generally if $x<y$3 for some constant $x<y$4 (Minguzzi, 2016, Müller, 2015). Steepness is crucial in applications to isometric embeddings into Minkowski spacetime and to smooth product decompositions (Minguzzi, 2016).

In globally hyperbolic cone fields, the analogous strengthening is uniform temporality. Given a Riemannian metric $x<y$5 on $x<y$6, a temporal function $x<y$7 is $x<y$8-uniform if

$x<y$9

If $x$0 is $x$1-uniform for some complete metric $x$2, it is called completely uniform; if $x$3 is completely uniform, it is Cauchy temporal (Bernard et al., 2019). One of the main density statements is that if $x$4 is globally hyperbolic with smooth boundary and $x$5 is a Cauchy causal function, then for any $x$6 there exists a completely uniform temporal function $x$7 such that $x$8 (Bernard et al., 2019).

Recent work separates several notions that were sometimes conflated. Given an auxiliary complete Riemannian metric $x$9, a smooth function $y$0 is $y$1-steep if for all future-directed causal vectors $y$2,

$y$3

Temporality and $y$4-steepness are locally equivalent, but steepness and $y$5-steepness are logically independent global properties (Burgos et al., 21 Aug 2025). At the same time, globally hyperbolic spacetimes admit Cauchy temporal functions that are both steep and $y$6-steep for complete $y$7 (Burgos et al., 21 Aug 2025). A frequent oversimplification is therefore to identify steepness with $y$8-steepness; the literature explicitly distinguishes them (Burgos et al., 21 Aug 2025).

Regularity can also be matched to prescribed hypersurfaces. In closed cone structures, every Cauchy hypersurface of regularity $y$9 or $C^1$0 is the level set of a Cauchy temporal function of the same regularity in a neighborhood, with smoothness away from the hypersurface (Minguzzi, 2019). This gives a precise link between the analytic regularity of hypersurfaces and the analytic regularity of adapted temporal functions.

5. Stability and perturbative behavior

The 2013 note isolates a stability statement that became especially relevant after the smoothability results: any Cauchy temporal function for a globally hyperbolic spacetime remains Cauchy temporal for close metrics, and this in particular implies stability for global hyperbolicity (Sánchez, 2013). Because the paper’s supplied content consists only of the abstract, the article-level fact that can be stated precisely is this perturbative preservation result and its consequence for global hyperbolicity (Sánchez, 2013).

Related stability statements appear in broader frameworks. In globally hyperbolic cone fields, the existence of a Cauchy temporal function allows constructing a globally hyperbolic enlargement for which the same function remains Cauchy temporal (Bernard et al., 2019). In the more recent convergence-theoretic setting, the class of $C^1$1-steep temporal functions for complete $C^1$2 is stable under small perturbations, and the properties crucial for convergence theory—adapted, Cauchy, steep, and $C^1$3-steep temporal functions—are robust under limiting processes and metric deformations (Burgos et al., 21 Aug 2025).

Stability also has a metric reformulation through null distance and Wick rotation. If $C^1$4 is $C^1$5-steep for complete $C^1$6, then the null distance $C^1$7 is a complete distance, and if $C^1$8 is a complete metric space for some time function $C^1$9, then $\mathbb{R}$00 is Cauchy (Burgos et al., 21 Aug 2025). This links the Cauchy property of a temporal function to completeness properties of auxiliary metrics derived from $\mathbb{R}$01.

6. Extensions, symmetry, and applications

Cauchy temporal functions admit several refined forms. On a globally hyperbolic $\mathbb{R}$02 Lorentzian manifold $\mathbb{R}$03, with a compact group $\mathbb{R}$04 of time-oriented conformal diffeomorphisms and a prescribed chain of spacelike Cauchy hypersurfaces $\mathbb{R}$05, there exists a $\mathbb{R}$06 Cauchy temporal function $\mathbb{R}$07 taking prescribed values on the $\mathbb{R}$08, dominating prescribed functions on $\mathbb{R}$09, and, if $\mathbb{R}$10 leaves all $\mathbb{R}$11 invariant, $\mathbb{R}$12 can be chosen $\mathbb{R}$13-invariant (Müller, 2015). If $\mathbb{R}$14 and $\mathbb{R}$15 consists of isometries, $\mathbb{R}$16 can be made steep and $\mathbb{R}$17-invariant (Müller, 2015). Averaging over the compact group with Haar measure preserves the required gradient conditions in this construction (Müller, 2015).

The existence of smooth Cauchy steep temporal functions has direct structural consequences. A globally hyperbolic spacetime admitting such a function can be isometrically embedded, for some $\mathbb{R}$18, into $\mathbb{R}$19-dimensional Minkowski spacetime, and it admits a smooth splitting

$\mathbb{R}$20

where $\mathbb{R}$21 is a smooth Cauchy temporal function, $\mathbb{R}$22, and $\mathbb{R}$23 is a family of Riemannian metrics on a Cauchy hypersurface $\mathbb{R}$24 (Minguzzi, 2016). The existence of such functions is also used in expressing the Lorentzian distance via time functions (Minguzzi, 2016).

A concrete geometric application appears in black-hole coordinates. A 2020 construction introduces a family of horizon-penetrating coordinate systems for the Schwarzschild geometry whose time coordinates are specific Cauchy temporal functions, so that the level sets are smooth, asymptotically flat, spacelike Cauchy hypersurfaces (Röken, 2020). The construction uses the Penrose diagram and a metrical product structure; for a concrete family, it employs an integrated algebraic sigmoid and obtains level sets that cross the event horizon regularly and approach the singularity only asymptotically (Röken, 2020). The same method extends to the Reissner–Nordström geometry up to the Cauchy horizon (Röken, 2020).

In Lorentzian Cheeger–Gromov convergence, Cauchy temporal functions play a different but equally structural role. They act as a strong anchor for globally hyperbolic spacetimes, permit a canonical Wick rotation to a complete Riemannian metric

$\mathbb{R}$25

and thereby make Riemannian Cheeger–Gromov machinery applicable in the Lorentzian setting (Burgos et al., 21 Aug 2025). This use depends essentially on the compatibility of the Cauchy property with steepness and $\mathbb{R}$26-steepness (Burgos et al., 21 Aug 2025).

7. Generalizations and conceptual boundaries

The theory no longer belongs exclusively to smooth Lorentzian manifolds. In closed cone structures, every locally stably acausal Cauchy hypersurface is stable, compact spacelike hypersurfaces with boundary can be extended to Cauchy spacelike hypersurfaces of the same regularity, and smooth temporal functions are dense among continuous isotone functions (Minguzzi, 2019). In globally hyperbolic cone fields with smooth boundary, completely uniform temporal functions are dense in Cauchy causal functions (Bernard et al., 2019). In Lorentzian length spaces, global hyperbolicity is equivalent to the existence of Cauchy sets and Cauchy time functions, showing that no manifold structure is needed in order to obtain suitable time functions (Burtscher et al., 2021).

At the same time, several classical intuitions require adjustment. In Lorentzian length spaces, one gets a foliation by Cauchy sets, but not necessarily a product topology or orthogonal splitting (Burtscher et al., 2021). In cone fields, uniform temporal functions approximate Cauchy temporal functions arbitrarily well, but not every Cauchy temporal function is completely uniform (Bernard et al., 2019). In the recent convergence literature, steepness and $\mathbb{R}$27-steepness are globally independent even though globally hyperbolic spacetimes admit Cauchy temporal functions satisfying both conditions (Burgos et al., 21 Aug 2025).

Taken together, these results identify Cauchy temporal functions as one of the most stable and adaptable tools in global causality. They characterize global hyperbolicity in very general settings, realize prescribed Cauchy hypersurfaces as level sets, interact productively with steepness and uniformity conditions, persist under perturbations of the metric, and support applications ranging from embedding theorems and smooth splitting to black-hole foliations and Lorentzian convergence theory (Sánchez, 2013, Minguzzi, 2016, Minguzzi, 2019, Burtscher et al., 2021, Bernard et al., 2019, Müller, 2015, Röken, 2020, Burgos et al., 21 Aug 2025).