Skip to content

General Relativity

← Back to Domain-Specific Abstractions by Domain

7 domain-specific abstractions whose origin domain is General Relativity.

  • Black Hole No-Hair Theorem — A family of uniqueness results classifying stationary four-dimensional Einstein–Maxwell black-hole exteriors by mass, angular momentum, and charge under stated hypotheses.
  • C-energy — A quasi-local scalar measure of gravitational energy per unit Killing length in cylindrically symmetric spacetimes, designed to characterize the strength and flux of cylindrical gravitational fields.
  • Closed timelike curve — A future-directed timelike worldline in spacetime that closes on itself, returning an observer or particle to the same spacetime event.
  • Isotropic coordinates — Coordinates for a spherically symmetric spacetime in which the spatial metric is conformal to a Euclidean radial metric and coordinate light cones appear isotropic.
  • Penrose diagram — A conformal spacetime diagram that compresses infinity to a finite boundary while preserving causal light-cone structure.
  • Penrose–Hawking Singularity Theorems — A family of global Lorentzian-geometry theorems deriving causal geodesic incompleteness from focusing, energy or convergence, causality, and trapped-or-expanding initial conditions.
  • Vanishing scalar invariant spacetime — A Lorentzian spacetime whose polynomial scalar curvature invariants of every derivative order all vanish despite possible nonzero curvature.