Globally hyperbolic spacetime

A spacetime with well-behaved causal structure admitting a Cauchy surface that every inextendible causal curve crosses exactly once.

Version

v2 · 2026-09-19 · History

Domain-specific #

4740

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Lorentzian Geometry → Mathematics

Core Idea

Equivalent modern definitions combine causality with compact causal diamonds; global hyperbolicity rules out causal pathologies and makes hyperbolic field equations support a well-posed initial-value formulation. A time function foliates spacetime by Cauchy hypersurfaces, causal curves advance through every slice and compactness prevents signals from escaping through finite causal gaps. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

The No-Time-Loop Universe

Imagine a universe that is well-behaved: no time loops where you could come back and meet yourself. In this kind of universe, if you know everything about one moment, the rules can tell you what happens next. Nothing can sneak in or out through a secret gap.

Spacetime Sliced Like Pages

Scientists describe space and time together as 'spacetime.' A globally hyperbolic spacetime is one that behaves nicely about cause and effect: there are no loops in time, and signals can't escape through strange holes. You can slice it into a stack of 'nows,' like pages in a book, and anything moving through time crosses every page. Because of that, knowing everything on one page lets the laws of physics work out the rest.

Predictable Causal Spacetime

In relativity, spacetime has a causal structure: which events can influence which others. A globally hyperbolic spacetime is one with no causal pathologies, such as closed loops in time. One way to define it: the region between any two events that could be linked by signals (a 'causal diamond') is compact, meaning closed and bounded so nothing leaks out through finite gaps. Equivalently, it has a Cauchy hypersurface, a slice of 'now' that every possible path of a signal crosses exactly once. A time function stacks the whole spacetime into such slices. This matters because it lets wave-like field equations be solved from initial data on one slice, giving a well-defined future and past.

 

A globally hyperbolic spacetime is a time-oriented Lorentzian manifold satisfying a strong causality condition together with compactness of causal diamonds J+(p)∩J−(q). Equivalent modern definitions instead require the existence of a Cauchy hypersurface, a set intersected exactly once by every inextendible causal curve. A time function then foliates the spacetime by Cauchy hypersurfaces, and causal curves advance through every slice. Compactness prevents signals from escaping through finite causal gaps, and the causal condition excludes pathologies such as closed causal curves. The payoff is analytic: hyperbolic field equations, such as wave equations, admit a well-posed initial-value formulation, with data on one slice determining the solution. To apply the concept correctly, one must state the manifold, the causal conventions, which pathologies are excluded, and which equivalent characterization (compact diamonds or Cauchy hypersurface) is being used.

Scope of Application

Globally hyperbolic spacetime belongs to lorentzian geometry and is useful where the analyst can specify the typed lorentzian geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate the time-oriented Lorentzian manifold, causal convention, absence of the required causal pathologies, compactness of causal diamonds or existence of a Cauchy hypersurface and equivalence hypotheses are explicit. The scope is broad within that domain but bounded by the need for the time-oriented Lorentzian manifold, causal convention, absence of the required causal pathologies, compactness of causal diamonds or existence of a Cauchy hypersurface and equivalence hypotheses are explicit. High-level mathematical-physics identity only.

Clarity

The abstraction clarifies a crowded vocabulary by making the time-oriented Lorentzian manifold, causal convention, absence of the required causal pathologies, compactness of causal diamonds or existence of a Cauchy hypersurface and equivalence hypotheses are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.

Manages Complexity

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Globally hyperbolic spacetime. Globally hyperbolic spacetime compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning

1. Identify the carrier. State what the elements, states, objects, or observations are: the typed lorentzian geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
2. Lock the constitutive rule. Express the time-oriented Lorentzian manifold, causal convention, absence of the required causal pathologies, compactness of causal diamonds or existence of a Cauchy hypersurface and equivalence hypotheses are explicit independently of one notation or implementation.

Knowledge Transfer

Knowledge transfers strongly among subfields of lorentzian geometry because they reuse the typed lorentzian geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, A time function foliates spacetime by Cauchy hypersurfaces, causal curves advance through every slice and compactness prevents signals from escaping through finite causal gaps., and type the carrier, state every parameter and convention in the definition, test that the time-oriented Lorentzian manifold, causal convention, absence of the required causal pathologies, compactness of causal diamonds or existence of a Cauchy hypersurface and equivalence hypotheses are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions

Current abstraction Globally hyperbolic spacetime Domain-specific

Parents (1) — outgoing typed relations

• Globally hyperbolic spacetime is a kind of Causality Prime

  It remains its own entry because its identity is fixed by the time-oriented Lorentzian manifold, causal convention, absence of the required causal pathologies, compactness of causal diamonds or existence of a Cauchy hypersurface and equivalence hypotheses.

Hierarchy path (1) — routes to 1 parentless root

• Globally hyperbolic spacetime → is a kind of Causality → is a kind of Dependency

Neighborhood in Abstraction Space

Globally hyperbolic spacetime sits in a crowded region of the domain-specific corpus (7^th 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

• Curved spacetime — 0.94
• Cauchy surface — 0.93
• Closed timelike curve — 0.93
• Vanishing scalar invariant spacetime — 0.92
• Tetrad formalism — 0.92

Computed from structural-signature embeddings · 2026-10-25