Cauchy surface¶

Select an achronal hypersurface that every inextendible timelike curve crosses exactly once, thereby carrying complete global causal initial data and characterizing globally hyperbolic spacetime.

Version: v2 · 2026-08-30 · History
Domain-specific #: 1442
Origin domain: lorentzian geometry
Subdomain: global causality and initial value surfaces

Core Idea¶

A Cauchy surface is an achronal subset, commonly a Cauchy hypersurface, met exactly once by every inextendible timelike curve; under standard global-hyperbolicity hypotheses smooth spacelike Cauchy hypersurfaces and compatible temporal splittings exist.^[1] The once-only intersection prevents a causal history from bypassing or revisiting the surface, so data on the surface determine a domain of dependence; global hyperbolicity connects this causal completeness to spacetime splitting and well-posed initial-value analysis.

Its autonomous residual is the global once-per-inextendible-timelike-curve criterion and its initial-data role, not any spacelike slice, coordinate-time level, event horizon, boundary, or the Cauchy problem in general. The identity fails when only local spacelikeness is checked, some inextendible curves avoid the slice, a curve crosses twice, timelike and null conventions are mixed silently, a coordinate singularity is treated as a causal boundary, or existence is claimed outside global-hyperbolicity conditions.

Recognition requires an analyst to state the curve convention, verify achronality and global coverage, test inextendible curves near boundaries and singularities, distinguish a subset from a smooth hypersurface, and identify whether global hyperbolicity or a splitting theorem is being invoked. Once established, it supports formulating domains of dependence, posing hyperbolic initial-value problems, characterizing global hyperbolicity, constructing temporal functions, analyzing determinism, and separating causal pathologies from ordinary coordinate choices without turning those uses into the definition.

Structural Signature¶

Carrier: a time-oriented Lorentzian spacetime \((M,g)\), its inextendible causal or timelike curves, and a subset or embedded hypersurface \(S\subset M\)
Inputs or antecedent state: Lorentzian metric, time orientation, causal curve class, inextendibility, achronality, edgelessness, differentiability, spacelike character, domain of dependence, time function, and global-hyperbolicity assumptions
Constitutive operation: The once-only intersection prevents a causal history from bypassing or revisiting the surface, so data on the surface determine a domain of dependence; global hyperbolicity connects this causal completeness to spacetime splitting and well-posed initial-value analysis
Invariant: the quantifier ranges over every inextendible timelike curve and requires exactly one intersection, a genuinely global condition not inferable from local spacelikeness alone
Recognition test: state the curve convention, verify achronality and global coverage, test inextendible curves near boundaries and singularities, distinguish a subset from a smooth hypersurface, and identify whether global hyperbolicity or a splitting theorem is being invoked
Output or consequence: formulating domains of dependence, posing hyperbolic initial-value problems, characterizing global hyperbolicity, constructing temporal functions, analyzing determinism, and separating causal pathologies from ordinary coordinate choices
Failure boundary: only local spacelikeness is checked, some inextendible curves avoid the slice, a curve crosses twice, timelike and null conventions are mixed silently, a coordinate singularity is treated as a causal boundary, or existence is claimed outside global-hyperbolicity conditions

What It Is Not¶

It is not the whole field of lorentzian geometry; many objects in that field do not satisfy its constitutive rule.
It is not its canonical example. In Minkowski spacetime, a constant inertial-time hyperplane \(t=0\) is met exactly once by every inextendible timelike curve and is a smooth spacelike Cauchy hypersurface. That is an instance, not a definition.
It is not Manifold. A manifold supplies the local carrier; a Cauchy surface adds Lorentzian causality and a global curve-intersection condition. A general initial-value surface can be local or partial and need not be Cauchy.
It is not an unrestricted metaphor. Definitions using every inextendible causal curve, every inextendible timelike curve, closed achronal sets, or embedded hypersurfaces are equivalent only under stated regularity and causality assumptions, so source convention must be retained

Scope of Application¶

Cauchy surface applies when the analyst can specify a time-oriented Lorentzian spacetime \((M,g)\), its inextendible causal or timelike curves, and a subset or embedded hypersurface \(S\subset M\) and establish that the quantifier ranges over every inextendible timelike curve and requires exactly one intersection, a genuinely global condition not inferable from local spacelikeness alone. The entry is mathematical and descriptive; it does not provide numerical-relativity procedures or physical predictions beyond theorem hypotheses.^[2]

Recognition. state the curve convention, verify achronality and global coverage, test inextendible curves near boundaries and singularities, distinguish a subset from a smooth hypersurface, and identify whether global hyperbolicity or a splitting theorem is being invoked
Comparison. Compare legitimate instances through dimension, time orientation, curve class, inextendibility, achronality, causal convexity, differentiability, spacelike character, domain of dependence, temporal function, boundary, and global hyperbolicity.
Boundary. Definitions using every inextendible causal curve, every inextendible timelike curve, closed achronal sets, or embedded hypersurfaces are equivalent only under stated regularity and causality assumptions, so source convention must be retained
Use. Preserve every assumption when using the identity for formulating domains of dependence, posing hyperbolic initial-value problems, characterizing global hyperbolicity, constructing temporal functions, analyzing determinism, and separating causal pathologies from ordinary coordinate choices.

Clarity¶

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because surface can mean a topological achronal subset or a smooth embedded hypersurface, and some texts quantify over causal rather than timelike curves. The disciplined statement is that the object counts as Cauchy surface exactly when the quantifier ranges over every inextendible timelike curve and requires exactly one intersection, a genuinely global condition not inferable from local spacelikeness alone

Identity and measurement remain separate. The property is theorem- and proof-based, requiring global curve control; finite numerical sampling can suggest failure but cannot establish the universal intersection criterion. Approximation or noisy evidence may weaken a classification without changing its definition.

Manages Complexity¶

The abstraction compresses continuous and smooth Cauchy hypersurfaces, compact and noncompact cases, partial Cauchy surfaces, temporal-level surfaces, initial-data sets, and globally hyperbolic splittings into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Compression can hide assumptions. A responsible use therefore declares dimension, time orientation, curve class, inextendibility, achronality, causal convexity, differentiability, spacelike character, domain of dependence, temporal function, boundary, and global hyperbolicity and returns to the full diagnostic whenever a convention or boundary case changes.

Abstract Reasoning¶

Type the carrier. Establish a time-oriented Lorentzian spacetime \((M,g)\), its inextendible causal or timelike curves, and a subset or embedded hypersurface \(S\subset M\) and reject examples from a different problem.
Lock the rule. Express that the quantifier ranges over every inextendible timelike curve and requires exactly one intersection, a genuinely global condition not inferable from local spacelikeness alone independently of one notation or implementation.
Derive carefully. Infer formulating domains of dependence, posing hyperbolic initial-value problems, characterizing global hyperbolicity, constructing temporal functions, analyzing determinism, and separating causal pathologies from ordinary coordinate choices only under the stated assumptions.
Stress-test. Contrast the legitimate boundary case—Definitions using every inextendible causal curve, every inextendible timelike curve, closed achronal sets, or embedded hypersurfaces are equivalent only under stated regularity and causality assumptions, so source convention must be retained—with this counterexample: a small spacelike disk in Minkowski spacetime is locally an acceptable initial slice but is not Cauchy because timelike curves far from the disk never meet it.

Knowledge Transfer¶

Transfer within lorentzian geometry is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from In Minkowski spacetime, a constant inertial-time hyperplane \(t=0\) is met exactly once by every inextendible timelike curve and is a smooth spacelike Cauchy hypersurface. to A globally hyperbolic spacetime admits a smooth spacelike Cauchy hypersurface and a product splitting by a temporal function whose level sets are Cauchy hypersurfaces. demonstrates that continuity.^[3]

Outside the domain, only the skeleton—intercept every complete admissible history exactly once so one cross-section carries globally sufficient state information—travels automatically. The terms Lorentzian manifold, causal curve, timelike curve, inextendible, achronal, hypersurface, domain of dependence, Cauchy horizon, temporal function, and global hyperbolicity retain domain-specific meanings, so every role and inference must be revalidated.

Examples¶

Canonical¶

In Minkowski spacetime, a constant inertial-time hyperplane \(t=0\) is met exactly once by every inextendible timelike curve and is a smooth spacelike Cauchy hypersurface. Its role is independent of one observer's simultaneity convention: many different Cauchy surfaces can carry complete initial data for the same spacetime. It is canonical because the carrier, rule, invariant, and consequence are all inspectable.^[1]

Mapped back: a time-oriented Lorentzian spacetime \((M,g)\), its inextendible causal or timelike curves, and a subset or embedded hypersurface \(S\subset M\) → The once-only intersection prevents a causal history from bypassing or revisiting the surface, so data on the surface determine a domain of dependence; global hyperbolicity connects this causal completeness to spacetime splitting and well-posed initial-value analysis → the quantifier ranges over every inextendible timelike curve and requires exactly one intersection, a genuinely global condition not inferable from local spacelikeness alone → formulating domains of dependence, posing hyperbolic initial-value problems, characterizing global hyperbolicity, constructing temporal functions, analyzing determinism, and separating causal pathologies from ordinary coordinate choices

Applied / In Practice¶

A globally hyperbolic spacetime admits a smooth spacelike Cauchy hypersurface and a product splitting by a temporal function whose level sets are Cauchy hypersurfaces. The existence theorem does not say that every spacelike hypersurface is Cauchy or that non-globally-hyperbolic spacetimes acquire one. It qualifies only after the same diagnostic and failure boundary are checked.^[2]

Mapped back: declared instance → recognition test → boundary check → qualified use

Structural Tensions¶

T1: Exact identity vs. practical recognition. The constitutive condition may be exact while evidence is indirect. Diagnostic: Can the reviewer state both the condition and the warrant?
T2: Canonical form vs. variants. continuous and smooth Cauchy hypersurfaces, compact and noncompact cases, partial Cauchy surfaces, temporal-level surfaces, initial-data sets, and globally hyperbolic splittings can preserve or change the identity. Diagnostic: Which named role is invariant across the variants?
T3: Compression vs. hidden assumptions. The label is useful only while prerequisites remain visible. Diagnostic: Can each downstream inference be traced to a declared assumption?
T4: Autonomy vs. reduction. The candidate uses broader structures but claims the global once-per-inextendible-timelike-curve criterion and its initial-data role, not any spacelike slice, coordinate-time level, event horizon, boundary, or the Cauchy problem in general. Diagnostic: Does that residual still support independent recognition after the parent and neighbors are subtracted?

Structural–Framed Character¶

The entry is structurally mixed but domain-framed. Its portable skeleton is intercept every complete admissible history exactly once so one cross-section carries globally sufficient state information; its identity-bearing terms are Lorentzian manifold, causal curve, timelike curve, inextendible, achronal, hypersurface, domain of dependence, Cauchy horizon, temporal function, and global hyperbolicity. Those terms determine admissible objects, evidence, and consequences inside lorentzian geometry.

Structural Core vs. Domain Accent¶

The structural core is a carrier governed by The once-only intersection prevents a causal history from bypassing or revisiting the surface, so data on the surface determine a domain of dependence; global hyperbolicity connects this causal completeness to spacetime splitting and well-posed initial-value analysis and tested by state the curve convention, verify achronality and global coverage, test inextendible curves near boundaries and singularities, distinguish a subset from a smooth hypersurface, and identify whether global hyperbolicity or a splitting theorem is being invoked. The domain accent is constitutive rather than decorative, so an analogy that preserves only the skeleton is not another instance of Cauchy surface.

The proposed strict upward parent is prime:manifold. A Cauchy hypersurface is literally a manifold-like codimension-one carrier embedded in a Lorentzian manifold; the global causal coverage condition supplies the stricter domain-specific identity. The edge is proposal-only and points to a frozen prior-baseline Prime.

The entry does not collapse into the parent because the global once-per-inextendible-timelike-curve criterion and its initial-data role, not any spacelike slice, coordinate-time level, event horizon, boundary, or the Cauchy problem in general A thematic neighbor is declined whenever it does not literally subsume that rule.

The prospective workspace queue contains one strict upward edge to prime:manifold. No live DAG mutation is authorized.

Relationships to Other Abstractions¶

Current abstraction Cauchy surface Domain-specific

Parents (1) — more general patterns this builds on

Cauchy surface is a kind of Manifold Prime

The proposed strict upward parent is prime:manifold.

Hierarchy path (1) — routes to 1 parentless root

Cauchy surface → Manifold → Topology

Neighborhood in Abstraction Space¶

Cauchy surface sits in a moderately populated region (50^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Relativity & Spacetime Geometry (24 abstractions)

Nearest neighbors

Globally hyperbolic spacetime — 0.93
Closed timelike curve — 0.91
Penrose diagram — 0.89
Curved spacetime — 0.89
Proper reference frame (flat spacetime) — 0.88

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Spacelike hypersurface. A local metric property that does not ensure global causal coverage.
Cauchy horizon. The boundary beyond which data on a partial surface cease to determine events.
Event horizon. A causal boundary defined relative to infinity, not a complete initial-data surface.
Time slice. A coordinate level set that may fail to be spacelike or Cauchy.

References¶

[1] Robert Geroch, 'Domain of Dependence,' Journal of Mathematical Physics 11(2), 437–449 (1970), DOI 10.1063/1.1665157. registry ↩a ↩b

[2] Antonio N. Bernal and Miguel Sánchez, 'On Smooth Cauchy Hypersurfaces and Geroch's Splitting Theorem,' Communications in Mathematical Physics 243, 461–470 (2003), DOI 10.1007/s00220-003-0982-6. registry ↩a ↩b

[3] Robert M. Wald, General Relativity, University of Chicago Press, 1984, DOI 10.7208/chicago/9780226870373.001.0001. registry ↩