Fact-checked by Grok 2 weeks ago

Cauchy surface

A Cauchy surface, also known as a Cauchy hypersurface, is a spacelike hypersurface in a Lorentzian spacetime manifold such that every inextendible timelike curve intersects it exactly once, thereby serving as an initial data surface for the well-posed Cauchy problem in general relativity.^[1]^[2] This property ensures that the surface is achronal and embedded, allowing the entire causal structure of the spacetime to be uniquely determined by the initial conditions specified on it.^[1] In the context of Einstein's field equations, Cauchy surfaces are fundamental to the initial value formulation, where the induced metric and extrinsic curvature on the surface provide the necessary data to evolve the spacetime geometry forward and backward in time.^[2] A spacetime admitting a Cauchy surface is globally hyperbolic, a condition that guarantees the existence of a continuous causal function whose level sets are spacelike Cauchy surfaces, facilitating the analysis of singularities, gravitational radiation, and cosmic evolution.^[1] Key theorems, such as those by Geroch and Choquet-Bruhat, establish that solutions to the Einstein equations with initial data on such a surface yield a unique maximal development, underscoring their role in proving predictability and stability in relativistic models.^[1]^[2] The concept emerged from early efforts to treat general relativity as a hyperbolic partial differential equation system, with foundational work by Yvonne Choquet-Bruhat in 1952 demonstrating local existence and uniqueness for vacuum solutions using isothermal coordinates on Cauchy surfaces.^[2] Building on contributions from Stellmacher (1937) on local uniqueness and Darmois on initial data specifications, the global aspects were solidified in 1969 by Choquet-Bruhat and Geroch, who proved the maximality of developments from Cauchy data.^[2] Subsequent advancements, including smooth existence results by Bernal and Sánchez, have resolved longstanding issues in constructing such surfaces, enhancing applications in singularity theorems and numerical relativity.^[1]

Introduction and Context

Informal Overview

In general relativity, a Cauchy surface provides an intuitive way to conceptualize a complete "snapshot" of the universe at a specific instant, encoding all necessary information about the gravitational field and matter distribution such that the evolution of spacetime—both into the past and future along all possible timelike paths—can be uniquely determined. This surface acts as a foundational slice from which the entire causal structure of the universe unfolds predictably, ensuring that no events outside its influence remain undetermined. Such surfaces are typically spacelike hypersurfaces, meaning they lie outside each other's light cones, allowing for a consistent notion of simultaneity across the cosmos.^[3]^[4] To grasp this geometrically, envision four-dimensional spacetime as a dynamic, curved fabric where the paths of observers (worldlines) weave through time and space; a Cauchy surface is like a perfectly positioned three-dimensional cut through this fabric such that every such path crosses it exactly once, without missing or revisiting any segment. This crossing property guarantees that the surface captures the full history and destiny of all causal processes, akin to how a single frame in a film reel, if comprehensive enough, could in principle reconstruct the entire movie. In spacetimes admitting such surfaces, like those that are globally hyperbolic, this setup mirrors the deterministic evolution familiar from classical physics but adapted to relativity's light-speed limits.^[4] The idea emerged in the early development of general relativity as part of efforts to solve Einstein's field equations as an initial value problem, with Yvonne Choquet-Bruhat's seminal 1952 theorem establishing the local well-posedness of this formulation on suitable initial hypersurfaces. This breakthrough formalized how data specified on a Cauchy surface—such as the geometry and extrinsic curvature—dictates the unique propagation of gravitational waves and matter, enabling both analytical proofs and numerical simulations of cosmic phenomena. By providing a rigorous basis for predictability, Cauchy surfaces underpin key applications in relativity, from modeling black hole formations to simulating the universe's large-scale expansion.^[2]

Spacetime Fundamentals

In general relativity, spacetime is modeled as a four-dimensional connected semi-Riemannian manifold (M, g) equipped with a Lorentzian metric g of signature (-, +, +, +), where M is a smooth manifold and g defines the geometry of events and their causal relations.^[5] This structure captures the unification of space and time, allowing for curved geometry influenced by mass and energy as described by Einstein's field equations. Vectors in the tangent space at a point in spacetime are classified based on the sign of their norm under the metric g: a nonzero vector v is timelike if g(v, v) < 0, null (or lightlike) if g(v, v) = 0, and spacelike if g(v, v) > 0.^[6] Timelike vectors correspond to the worldlines of massive observers or particles, along which proper time elapses; spacelike vectors connect simultaneous events in some reference frame, separating causally disconnected regions; and null vectors trace the paths of light rays. Geodesics, the shortest or extremal paths in this geometry, inherit these classifications from their tangent vectors: timelike geodesics represent inertial motion of massive bodies, null geodesics describe light propagation, and spacelike geodesics are less physically relevant but arise in certain coordinate constructions.^[6]^[7] Hypersurfaces in spacetime are three-dimensional submanifolds embedded in M, and their causal character is determined by the nature of their normal vector field. A hypersurface is spacelike if its normal vector is timelike (i.e., g(n, n) < 0), timelike if the normal is spacelike, and null if the normal is null.^[8] Spacelike hypersurfaces are particularly important, as they can serve as "slices" of constant time in suitable coordinates, providing a framework for initial value formulations where the geometry evolves orthogonally to the slice. An inextendible timelike curve in spacetime is a smooth timelike path \gamma: I \to M, where I is a maximal connected interval (open at one or both ends), such that \gamma cannot be extended to a larger interval while remaining a timelike curve within M.^[9] These curves represent complete worldlines of observers that cannot be prolonged further without encountering a singularity or boundary of the manifold, playing a key role in assessing the causal completeness of spacetime. Cauchy surfaces, as special spacelike hypersurfaces, build upon these foundational elements by ensuring that every inextendible timelike curve intersects them exactly once, thereby providing a robust basis for specifying initial data that determines the global evolution of the gravitational field.^[10]

Definition and Core Properties

Precise Mathematical Definition

In general relativity, a Cauchy surface \Sigma in a spacetime (M, g) is formally defined as a closed, spacelike hypersurface such that every inextendible timelike curve in M intersects \Sigma exactly once. This intersection is transverse, ensuring that the curve crosses \Sigma without tangency, as the spacelike nature of \Sigma precludes tangencies with timelike paths.^[11] The hypersurface \Sigma must be embedded in M without boundary to qualify as closed in this context.^[12] An equivalent formulation states that \Sigma is a Cauchy surface if the spacetime M is the union of the future domain of dependence D^+(\Sigma) and the past domain of dependence D^-(\Sigma) of \Sigma, i.e., D^+(\Sigma) \cup D^-(\Sigma) = M.^[12] This condition captures the idea that \Sigma "slices" the entire causal structure of the spacetime, determining all events through causal propagation.^[11] The spacelike condition on \Sigma requires that the induced metric h on \Sigma, pulled back from g, is Riemannian, meaning positive definite on the tangent space of \Sigma.^[13] Equivalently, the unit normal vector n to \Sigma is timelike, satisfying g(n, n) < 0 in the mostly-plus signature convention for g.^[14]

Fundamental Properties

In globally hyperbolic spacetimes, which admit Cauchy surfaces, these surfaces possess key topological properties that ensure their role in determining the causal structure. In some such spacetimes, where the spatial slices are closed, such as certain cosmological models, the Cauchy surfaces are compact without boundary, meaning they are closed manifolds embedded as spacelike hypersurfaces that do not possess edges or boundaries in the spacetime topology. In general, however, Cauchy surfaces are edgeless but may be non-compact, as in Minkowski spacetime. This property guarantees that the surface intersects every inextendible timelike curve exactly once without pathological omissions. Geometrically, the embedding of a Cauchy surface \Sigma into the spacetime is characterized by its extrinsic curvature, encapsulated in the second fundamental form K_{ij} = -\nabla_i n_j, where n_j is the future-directed unit normal vector field to \Sigma and \nabla denotes the spacetime covariant derivative. This tensor measures how the surface bends within the ambient Lorentzian manifold, influencing the propagation of causal influences orthogonal to \Sigma. The trace of K_{ij}, known as the mean curvature, provides insight into the expansion or contraction of congruences normal to the surface, a crucial aspect for understanding local geometry without delving into dynamical evolution.^[15] A fundamental uniqueness property holds for Cauchy surfaces in globally hyperbolic spacetimes: no two distinct such surfaces can be entirely spacelike separated, as any pair must be connected by timelike or null geodesics crossing between them. Instead, the collection of all Cauchy surfaces foliates the spacetime, forming a smooth lamination diffeomorphic to \mathbb{R} \times \Sigma for a fixed topological type of \Sigma, ordered by a global time function whose level sets are the surfaces themselves. This foliation ensures a consistent causal ordering across the manifold.^[16] The domain of dependence D(\Sigma) of a Cauchy surface \Sigma is the set of points p \in M such that every inextendible causal curve through p intersects \Sigma; for a Cauchy surface, D(\Sigma) = M. Equivalently, D(\Sigma) = D^+(\Sigma) \cup D^-(\Sigma), where D^+(\Sigma) is the set of points p such that every past-directed inextendible causal curve from p intersects \Sigma, and D^-(\Sigma) is defined analogously for future-directed curves. This guarantees causal completeness and determinism for initial value problems. In contrast, partial Cauchy surfaces are achronal subsets whose domain of dependence covers only a portion of the spacetime, lacking the global intersection property with all timelike curves; however, full Cauchy surfaces emphasize the requirement for complete causal coverage.^[11]

Cauchy Evolution and Developments

The Cauchy Problem

In general relativity, the Cauchy problem involves prescribing initial data on a Cauchy surface \Sigma to determine the evolution of the spacetime metric g_{\mu\nu} in a neighborhood of \Sigma. Specifically, the initial data consist of a Riemannian 3-metric \gamma_{ij} on \Sigma and its extrinsic curvature K_{ij}, which must satisfy the constraint equations derived from the Einstein field equations. This formulation allows the Einstein equations to be treated as a hyperbolic system of partial differential equations, enabling the unique determination of the spacetime geometry from the initial conditions. The constraint equations are the Hamiltonian constraint and the momentum constraint. The Hamiltonian constraint is given by

R(\gamma) + K^2 - |K|^2 = 16\pi \rho,

where R(\gamma) is the scalar curvature of \gamma_{ij}, K = \gamma^{ij} K_{ij} is the trace of the extrinsic curvature, |K|^2 = K_{ij} K^{ij}, and \rho is the energy density of the matter source as measured by observers normal to \Sigma. The momentum constraint is

D_j (K^i_j - \delta^i_j K) = 8\pi J^i,

where D_j denotes the covariant derivative compatible with \gamma_{ij}, and J^i is the momentum density current. These constraints ensure the consistency of the initial data with the full spacetime dynamics and are preserved under evolution. The well-posedness of the Cauchy problem was established by Yvonne Choquet-Bruhat in 1952, who proved local existence and uniqueness theorems for smooth initial data satisfying the constraints, in the absence of matter or with suitable matter sources. For the vacuum case, these theorems guarantee a unique solution in a small neighborhood of \Sigma. Global existence results hold under additional conditions, such as energy bounds on the initial data, ensuring the spacetime can be extended maximally without singularities. The role of the Cauchy surface in this framework is crucial, as its spacelike nature ensures that the initial data lie on a hypersurface transverse to all timelike curves, allowing the Einstein equations to propagate hyperbolically from \Sigma into the future and past domains of dependence. This property underpins the predictability of general relativity akin to classical wave equations.

Cauchy Developments

The Cauchy development of a Cauchy surface \Sigma in a spacetime is defined as the pair (M(\Sigma), g(\Sigma)), where M(\Sigma) = D^+(\Sigma) \cup \Sigma \cup D^-(\Sigma) represents the maximal domain causally determined by \Sigma, with D^+(\Sigma) and D^-(\Sigma) denoting the future and past domains of dependence, respectively, and g(\Sigma) is the metric on this domain satisfying the Einstein field equations. This structure ensures that every inextendible timelike or null curve intersecting \Sigma lies entirely within M(\Sigma), capturing the complete causal influence of the initial data on \Sigma. The construction of the Cauchy development proceeds by solving the Einstein field equations with the prescribed initial data on \Sigma, which must satisfy the constraint equations, to generate the maximal extension in both the future and past directions. This involves evolving the data through a sequence of locally Lipschitz developments, glued along their maximal common parts, to form a globally hyperbolic spacetime that is either vacuum (Ric(g) = 0) or filled with matter sources consistent with the stress-energy tensor. The resulting development is the union of all such globally hyperbolic extensions, ensuring maximality without invoking the axiom of choice in certain formulations.^[17] A fundamental result is the uniqueness theorem, which states that for given initial data on \Sigma, there exists a unique maximal Cauchy development up to isometry (or diffeomorphism in the smooth category). This uniqueness implies that any solution to the Einstein equations containing \Sigma as a Cauchy surface can be embedded into this maximal development, providing a canonical framework for analyzing spacetime evolution from initial conditions.^[17] The Cauchy development is inextendible, meaning no larger spacetime containing M(\Sigma) exists that preserves the causal structure and continues to satisfy the Einstein equations. This inextendibility arises because any attempted extension would either violate global hyperbolicity or fail to maintain the metric's compatibility with the initial data. A representative example is flat Minkowski space, which serves as the maximal Cauchy development for the initial data induced by a flat hyperplane \Sigma embedded in it, as established by global nonlinear stability theorems ensuring the spacetime remains asymptotically flat under small perturbations.^[18]

Horizons and Limitations

Cauchy Horizons

A Cauchy horizon H is defined as a null hypersurface that serves as the boundary of the domain of dependence of some Cauchy surface, beyond which the predictability of spacetime evolution fails because initial data on the Cauchy surface cannot determine the geometry uniquely.^[19] This boundary marks the limit of the Cauchy development, where the standard well-posedness of the Einstein field equations breaks down.^[20] Cauchy horizons typically form in spacetimes featuring closed timelike curves or timelike singularities, such as the maximally extended Reissner-Nordström metric describing charged black holes.^[19] In this case, the inner horizon at radius r_- acts as the Cauchy horizon, enclosing a timelike singularity at r = 0 and separating the predictable exterior region from an interior where causal structure becomes pathological.^[21] Similarly, in spacetimes with closed timelike curves, the Cauchy horizon bounds the region of predictability, preventing the extension of causal evolution into the acausal domain. The presence of a Cauchy horizon introduces significant instability due to the blueshift effect along its null generators, which amplifies incoming perturbations exponentially as they approach the horizon.^[19] This phenomenon, known as mass inflation, causes the energy density of perturbations to grow as \rho \propto e^{+\kappa v}, where \kappa is the surface gravity and v the affine parameter, rendering the horizon unstable and transforming it into a weakly naked singularity.^[21] Although the singularity is deformationally weak (with curvature remaining finite in some limits), the exponential growth ensures that generic perturbations lead to a breakdown of classical predictability.^[22] In the Kerr metric, which describes rotating black holes, the Cauchy horizon corresponds to the inner horizon at r_-, serving as the inner boundary of the black hole region and delineating the transition from the predictable exterior to the unpredictable interior containing closed timelike curves.^[22] Perturbations in the Kerr interior, analyzed via the Teukolsky equation, exhibit similar blueshift instability, with the Weyl scalar \psi_0 behaving asymptotically as \psi_0 \propto v^{-7} e^{i \omega_p v} along the horizon, culminating in a curvature singularity.^[22] Mathematically, on a Cauchy horizon H, the normal vector l is null, satisfying the metric condition g(l, l) = 0, and the horizon is foliated by null geodesics that serve as its generators.^[19] These generators trace the boundary's structure in double-null coordinates, where H may be expressed as r = v = 0 for outgoing or r = u = 0 for ingoing components.^[19]

Global Hyperbolicity Implications

A spacetime (M, g) in general relativity is globally hyperbolic if it possesses a Cauchy surface and is strongly causal, meaning that every point admits arbitrarily small neighborhoods without closed causal curves. This condition ensures a well-posed Cauchy problem for the Einstein field equations throughout the entire spacetime. Equivalently, global hyperbolicity is characterized by the existence of a smooth, strictly increasing global time function \tau: M \to \mathbb{R} whose level sets \tau = \text{constant} are Cauchy hypersurfaces, with \nabla \tau timelike and future-directed everywhere. A fundamental theorem establishes the precise relationship between Cauchy surfaces and global hyperbolicity: a spacetime admits a Cauchy surface if and only if it is globally hyperbolic. This equivalence, proven by Hawking and Ellis, underscores that the presence of even one Cauchy surface, combined with strong causality, implies the foliation of the entire spacetime by such surfaces, guaranteeing deterministic evolution from initial data. In non-globally hyperbolic spacetimes, the absence of a complete Cauchy surface disrupts predictability, as the domain of dependence of any partial Cauchy hypersurface fails to cover the entire manifold, potentially allowing influences from "external" regions or singularities to affect local physics unpredictably. Such spacetimes often harbor naked singularities, where curvature singularities are visible to distant observers without an event horizon, or permit closed timelike curves enabling time machines, violating chronological protection.^[23] Global hyperbolicity plays a pivotal role in Penrose's 1965 singularity theorem, which asserts that under the null convergence condition (a weak energy condition) and the presence of a trapped surface, timelike or null geodesics are incomplete in globally hyperbolic spacetimes. The theorem relies on Cauchy surfaces to ensure that the causal intervals J^+(p) \cap J^-(q) are compact for any points p, q \in M, preventing indefinite geodesic extension and forcing singularities under physically reasonable assumptions. This compactness property, inherent to global hyperbolicity, thus links the existence of Cauchy surfaces directly to the inevitability of geodesic incompleteness in collapsing systems.^[24] An enduring open question concerns the role of Cauchy surfaces in the strong cosmic censorship conjecture, proposed by Penrose, which hypothesizes that in generic, physically realistic solutions to the Einstein equations satisfying appropriate energy conditions, the maximal Cauchy development remains globally hyperbolic, with any Cauchy horizons unstable and effectively hiding singularities from external observers. This conjecture posits that perturbations would extend the Cauchy horizon to an event horizon, preserving predictability and avoiding naked singularities in realistic gravitational collapse scenarios.

References

[1]
None
### Precise Definition of a Cauchy Hypersurface
[2]
[PDF] Origin and Development of the Cauchy problem in general relativity
Abstract. The seminal work of Yvonne Choquet-Bruhat published in 1952 demonstrates that it is possible to formulate Einstein's equations as an initial.
[3]
Cauchy surface in nLab
Dec 21, 2023 · A Cauchy surface is a hypersurface in spacetime (so actually a 3 3 -dimensional region in our 4 4 -dimensional spacetime) that can profitably be seen as ...
[4]
The Cauchy problem in General Relativity (Chapter 7)
In this chapter we give an outline of the Cauchy problem in general relativity and show that, given certain data on a space like three-surface there is a ...
[5]
[PDF] arXiv:2210.00900v1 [gr-qc] 30 Sep 2022
Sep 30, 2022 · A spacetime is considered as a four dimensional connected semi-Riemannian manifold (V4,g) with Lorentzian metric g of signature (−, +, +, +).
[6]
[PDF] arXiv:1504.07110v1 [gr-qc] 27 Apr 2015
Apr 27, 2015 · A vector v ∈ V is said to be • lightlike or null if g(v, v) = 0, • timelike if g(v, v) < 0, • spacelike if g(v, v) > 0, • causal if v 6= 0 and ...
[7]
[PDF] Existence of Time-like Geodesics in Asymptotically Flat Spacetimes
Jul 5, 2023 · A time-like geodesic is a geodesic that can be followed by a massive particle, while a null geodesic. 2. Page 3. is a geodesic followed by a ...
[8]
[PDF] arXiv:0904.4770v1 [gr-qc] 30 Apr 2009
Apr 30, 2009 · A hypersurface is called timelike, spacelike and null, if its normal vector is spacelike, timelike and null, respectively. We use the ...
[9]
[PDF] in)extendibility of Spacetimes - arXiv
Jun 13, 2017 · Timelike curves will be piecewise smooth with right and left handed sided derivatives pointing within the same connected component of the ...
[10]
[PDF] arXiv:2104.02136v2 [gr-qc] 10 Nov 2021
Nov 10, 2021 · Without going into formal definitions, C+ consists of a single point simply means that I−(γ) = M for all future inextendible timelike curves γ ...
[11]
The Large Scale Structure of Space-Time
Cambridge Core - Cosmology, Relativity and Gravitation - The Large Scale Structure of Space-Time.Missing: surface | Show results with:surface
[12]
[PDF] Global Spacetime Structure - CORE
We say a closed, achronal set S is a Cauchy surface if D(S) = M. Phys ... The Large Scale Structure of Space-Time. Cambridge: Cambridge University ...<|control11|><|separator|>
[13]
[PDF] Lecture 9. Riemannian metrics
If M is a spacelike submanifold of a semi-Riemannian manifold, then the induced metric makes ... as a spacelike hypersurface in the Minkowski space Rn,1 ...
[14]
[PDF] The Cauchy Problem in General Relativity∗
Aug 4, 2014 · G(N,N) = 0,. G(N,X) = 0, where N is normal and X is tangential to Σ ... on a spacelike hypersurface. We shall therefore assume Σ to be a ...
[15]
Examples of cosmological spacetimes without CMC Cauchy surfaces
Let (M, g) be a globally hyperbolic spacetime, with compact Cauchy surfaces, satisfying the strong energy condition. (Such spacetimes are sometimes called ...
[16]
[PDF] Existence of CMC Cauchy surfaces and spacetime splitting - arXiv
Feb 23, 2019 · Let V be a smooth spacelike hypersurface in a spacetime (M,g). To set conventions, the second fundamental form K of V is defined as: K(X, Y ) =.
[17]
[PDF] A brief account of the Cauchy problem in General Relativity - UT Math
Jun 25, 2021 · One of the most prominent results of the Cauchy problem is that of gravitational radiation, and in particular gravitational radiation emitted ...
[18]
[PDF] New properties of Cauchy and event horizons - arXiv
Definition 2 A partial Cauchy surface S is a connected, acausal, edgeless n − 1 dimensional submanifold of (M,g). We give definitions and state our results in ...
[19]
https://arxiv.org/abs/2308.09225
[20]
https://arxiv.org/pdf/2204.03869
[21]
[2308.09225] Insights and guidelines on the Cauchy horizon theorems
Aug 18, 2023 · The inner apparent horizon can be distinguished clearly from the Cauchy horizon. The spherical symmetric property of black holes allows the ...
[22]
[PDF] Where Does General Relativity Break Down? - arXiv
Apr 8, 2022 · Cauchy surface—in this case, the image of S in M—which is a surface such that every inextendible smooth timelike curve intersects that ...Missing: "Hawking | Show results with:"Hawking
[23]
https://arxiv.org/abs/0710.0983
[24]
Cauchy-horizon singularity inside perturbed Kerr black holes - arXiv
Jan 19, 2016 · The Cauchy horizon inside a perturbed Kerr black hole develops an instability that transforms it into a curvature singularity.Missing: metric | Show results with:metric
[25]
Naked Singularities, Cosmic Time Machines and Impulsive Events
Oct 4, 2007 · If a curvature singularity is globally naked then the space-time may be causally future ill-behaved admitting closed time-like or null curves.Missing: non- hyperbolic
[26]
Gravitational Collapse and Space-Time Singularities | Phys. Rev. Lett.
Oct 6, 2020 · Three scientists were recognized for proving that gravitational collapse can lead to a black hole and for observing the supermassive black hole at the center ...