--- title: Cauchy Temporal Functions url: https://www.emergentmind.com/topics/cauchy-temporal-functions type: topic --- # Cauchy Temporal Functions 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 [1601.05932]. 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}\) [1909.09352], [2108.02693]. 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 \(x0\qquad \text{for all } v\in \mathcal{C}(x). \] A temporal function is **Cauchy** if, for every inextensible causal curve \(\gamma:I\to M\), \(\tau\circ\gamma\) is onto \(\mathbb{R}\) [1905.06006]. 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 \(\gamma\), \(\operatorname{Im}(t\circ\gamma)=\mathbb{R}\) [2108.02693]. This formulation makes explicit that no manifold structure is needed in order to obtain suitable time functions [2108.02693]. ## 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 [1601.05932]. More precisely, if \((M,g)\) is globally hyperbolic, then there exists a smooth Cauchy time function \(T:M\to\mathbb{R}\) with timelike, past-directed gradient and satisfying \[ -g(\nabla T,\nabla T)\geq 1. \] 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 [1601.05932]. 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 \(C(p,q)\) of causal curves, existence of a Cauchy set, and existence of a Cauchy time function [2108.02693]. This is a precise characterization of global hyperbolicity by Cauchy sets and Cauchy time functions outside the smooth manifold category [2108.02693]. In closed cone structures, existence can be made relative to a prescribed hypersurface. If \(S\) is a \(C^{1,1}\) or \(C^k\), \(k\geq 2\), spacelike Cauchy hypersurface, then for every open neighborhood \(V\) of \(S\), there exists a Cauchy temporal function \(T:M\to\mathbb{R}\) which is \(h\)-steep and strictly \(F\)-steep, satisfies \(T^{-1}(0)=S\), has the same regularity as \(S\) on \(V\), and is smooth elsewhere [1909.09352]. 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 \(S\) [1909.09352]. ## 3. Construction methods One standard construction is based on **Geroch’s volume functions**. Given a non-negative continuous compactly supported function \(\varphi\), \[ \tau^\pm_{\varphi}(p)=\int_{J^\pm(p)}\varphi\, d\mu_g. \] In globally hyperbolic spacetimes these functions are continuously differentiable, and their gradient at \(p\) is past-directed timelike or zero if the support is disjoint [1601.05932]. The 2016 proof begins with Geroch’s topological splitting theorem, uses a partition of unity \(\{\varphi_j\}\), forms weighted sums such as \[ T^{-}(p)=\sum_j \lambda_j \tau^-_{\varphi_j}(p), \] chooses the weights \(\lambda_j\) so as to obtain steepness and separation from an initial continuous Cauchy time function \(t\), constructs an analogous \(T^+\), and then sets \[ T'=T^{-}-T^{+}. \] The resulting \(T'\) is continuously differentiable, Cauchy, and steep, and then it is approximated by a smooth function \(T\) in the Whitney strong topology while retaining the Cauchy and steep properties [1601.05932]. A second construction uses the **signed distance function** from a spacelike Cauchy hypersurface. If \(S\) is a \(C^{1,1}\) or \(C^k\) spacelike Cauchy hypersurface in a sufficiently regular proper Lorentz-Finsler space, define \[ d_S(p)= \begin{cases} +d(S,p), & p\in J^+(S),\\ -d(p,S), & p\in J^-(S). \end{cases} \] Then \(d_S\) has the same regularity as \(S\) in a neighborhood of \(S\) [1909.09352]. 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 \(S\), whose regularity agrees with that of \(S\) near \(S\), and which is smooth elsewhere [1909.09352]. In Lorentzian length spaces, a modified notion of Geroch’s volume functions appears through the **averaged volume functions** \[ t^-(p)=- \int_0^1 \mu(I^-_r(p))\, dr,\qquad t^+(p)=+ \int_0^1 \mu(I^+_r(p))\, dr, \] defined using a Borel probability measure of full support. These are time functions if and only if the space is causally continuous [2108.02693]. 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 \(C^1\) time function \(T\) is **steep** if \[ -g(\nabla T,\nabla T)\geq 1, \] or, in the invariant-function setting, more generally if \(g(\nabla t,\nabla t)<-c^2\) for some constant \(c>0\) [1601.05932], [1502.02716]. Steepness is crucial in applications to isometric embeddings into Minkowski spacetime and to smooth product decompositions [1601.05932]. In globally hyperbolic cone fields, the analogous strengthening is **uniform temporality**. Given a Riemannian metric \(g\) on \(M\), a temporal function \(\tau\) is \(g\)-uniform if \[ d\tau_x\cdot v \ge |v|_x^g\qquad \forall (x,v)\in \mathcal{C}. \] If \(\tau\) is \(g\)-uniform for some complete metric \(g\), it is called **completely uniform**; if \(\tau\) is completely uniform, it is Cauchy temporal [1905.06006]. One of the main density statements is that if \(\mathcal{C}\) is globally hyperbolic with smooth boundary and \(\tau\) is a Cauchy causal function, then for any \(\epsilon>0\) there exists a completely uniform temporal function \(v\) such that \(\sup|v-\tau|<\epsilon\) [1905.06006]. Recent work separates several notions that were sometimes conflated. Given an auxiliary complete Riemannian metric \(h\), a smooth function \(\tau\) is **\(h\)-steep** if for all future-directed causal vectors \(v\), \[ d\tau(v)\geq \|v\|_h. \] Temporality and \(h\)-steepness are locally equivalent, but steepness and \(h\)-steepness are logically independent global properties [2508.15441]. At the same time, globally hyperbolic spacetimes admit Cauchy temporal functions that are both steep and \(h\)-steep for complete \(h\) [2508.15441]. A frequent oversimplification is therefore to identify steepness with \(h\)-steepness; the literature explicitly distinguishes them [2508.15441]. Regularity can also be matched to prescribed hypersurfaces. In closed cone structures, every Cauchy hypersurface of regularity \(C^k\) or \(C^{1,1}\) is the level set of a Cauchy temporal function of the same regularity in a neighborhood, with smoothness away from the hypersurface [1909.09352]. 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 [1304.5797]. 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 [1304.5797]. 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 [1905.06006]. In the more recent convergence-theoretic setting, the class of \(h\)-steep temporal functions for complete \(h\) is stable under small perturbations, and the properties crucial for convergence theory—adapted, Cauchy, steep, and \(h\)-steep temporal functions—are robust under limiting processes and metric deformations [2508.15441]. Stability also has a metric reformulation through null distance and Wick rotation. If \(\tau\) is \(h\)-steep for complete \(h\), then the null distance \(\hat d_\tau\) is a complete distance, and if \((M,\hat d_\tau)\) is a complete metric space for some time function \(\tau\), then \(\tau\) is Cauchy [2508.15441]. This links the Cauchy property of a temporal function to completeness properties of auxiliary metrics derived from \(\tau\). ## 6. Extensions, symmetry, and applications Cauchy temporal functions admit several refined forms. On a globally hyperbolic \(C^n\) Lorentzian manifold \((M,g)\), with a compact group \(G\) of time-oriented conformal diffeomorphisms and a prescribed chain of spacelike Cauchy hypersurfaces \(S_i\), there exists a \(C^{k-1}\) Cauchy temporal function \(T\) taking prescribed values on the \(S_i\), dominating prescribed functions on \(S_\pm\), and, if \(G\) leaves all \(S_i\) invariant, \(T\) can be chosen \(G\)-invariant [1502.02716]. If \(m\in\{0,1\}\) and \(G\) consists of isometries, \(T\) can be made steep and \(G\)-invariant [1502.02716]. Averaging over the compact group with Haar measure preserves the required gradient conditions in this construction [1502.02716]. 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 \(N\geq 2\), into \(N\)-dimensional Minkowski spacetime, and it admits a smooth splitting \[ (M,g)\simeq (\mathbb{R}\times S,-\beta\, dt^2 + h_t), \] where \(t\) is a smooth Cauchy temporal function, \(\beta\in (0,1]\), and \(h_t\) is a family of Riemannian metrics on a Cauchy hypersurface \(S\) [1601.05932]. The existence of such functions is also used in expressing the Lorentzian distance via time functions [1601.05932]. 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 [2009.01756]. 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 [2009.01756]. The same method extends to the Reissner–Nordström geometry up to the Cauchy horizon [2009.01756]. 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 \[ g_W^\tau = d\tau^2 + \bar{\sigma}_\tau, \] and thereby make Riemannian Cheeger–Gromov machinery applicable in the Lorentzian setting [2508.15441]. This use depends essentially on the compatibility of the Cauchy property with steepness and \(h\)-steepness [2508.15441]. ## 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 [1909.09352]. In globally hyperbolic cone fields with smooth boundary, completely uniform temporal functions are dense in Cauchy causal functions [1905.06006]. 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 [2108.02693]. 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 [2108.02693]. In cone fields, uniform temporal functions approximate Cauchy temporal functions arbitrarily well, but not every Cauchy temporal function is completely uniform [1905.06006]. In the recent convergence literature, steepness and \(h\)-steepness are globally independent even though globally hyperbolic spacetimes admit Cauchy temporal functions satisfying both conditions [2508.15441]. 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 [1304.5797], [1601.05932], [1909.09352], [2108.02693], [1905.06006], [1502.02716], [2009.01756], [2508.15441]. Source: https://www.emergentmind.com/topics/cauchy-temporal-functions