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

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

1. 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. 2. 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) — 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