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: v3 · 2026-09-19 · History
Domain-specific #: 1442
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Lorentzian Geometry, Global Causality and Initial Value Surfaces → Mathematics

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. 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.

How would you explain it like I'm…

The Everyone-Crosses-Once Checkpoint

Imagine every traveler in the universe, all going slower than light, each following their own path through time. A Cauchy surface is like a giant checkpoint that every such path crosses exactly once — nobody can sneak around it and nobody can cross it twice. So if you know everything happening at the checkpoint, you can work out what happens everywhere it controls.

The Everyone-Crosses-Once Slice

In physics, spacetime combines space and time, and anything slower than light traces out a path through it. A Cauchy surface is a set of events that every such path, extended as far as it can go, meets exactly once. Because no path skips it or comes back to it, information on the surface is enough to predict what happens across the region it controls. It is not just any "now" slice you draw with a clock; it has to pass that every-path-exactly-once test for the whole spacetime. Not every spacetime even has one.

Once-Crossed Spacetime Slice

In relativity, a Cauchy surface is a subset of spacetime that is met exactly once by every inextendible timelike curve — every possible slower-than-light history followed as far as it goes. It must be achronal, meaning no two of its points can be joined by a timelike curve. Because every history crosses it once and only once, initial data given on the surface determine what happens in its domain of dependence, which is why it matters for predicting the future from the present. Checking that a slice is spacelike just locally isn't enough; you must check globally that no history avoids it or crosses it twice. Spacetimes with a Cauchy surface are called globally hyperbolic, and under standard conditions they have smooth spacelike Cauchy hypersurfaces and can be split into space and time.

A Cauchy surface is an achronal subset of spacetime, usually taken to be a hypersurface, that every inextendible timelike curve intersects exactly once. The once-only intersection prevents any causal history from bypassing or revisiting it, so data on the surface determine its domain of dependence (the whole spacetime, in the global case). Under standard global-hyperbolicity hypotheses, smooth spacelike Cauchy hypersurfaces exist along with temporal functions giving a splitting of spacetime into time times a Cauchy slice, which is what connects causal completeness to well-posed hyperbolic initial-value problems. The concept is not the same as an arbitrary spacelike slice, a constant-coordinate-time level, an event horizon, a boundary, or the Cauchy problem in general. Establishing it requires stating whether timelike or causal curves are used, verifying achronality and global coverage (including testing inextendible curves near boundaries and singularities, and not treating coordinate singularities as causal boundaries), distinguishing a mere achronal subset from a smooth hypersurface, and stating whether global hyperbolicity or a splitting theorem is being invoked.

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.

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

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.

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.

Relationships to Other Abstractions¶

Current abstraction Cauchy surface Domain-specific

Parents (1) — outgoing typed relations

Cauchy surface is a kind of Manifold Prime

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.

Hierarchy path (1) — routes to 1 parentless root

Cauchy surface → is a kind of Manifold → presupposes Topology

Neighborhood in Abstraction Space¶

Cauchy surface sits in a crowded region of the domain-specific corpus (31^st percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Spacetime Geometry & Relativity (22 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-10-25