Skip to content

Completeness, Extendibility, and Singularities

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

General relativity usually identifies singular behavior without placing a singular point inside spacetime. The primary signal is an inextendible curve of finite natural parameter. Whether that endpoint is removable, curvature divergent, destructive to extended bodies, or inaccessible to any metric extension is a second question. This chapter supplies the vocabulary needed to keep those conclusions separate.

Helpful background. Geodesics and Jacobi Fields supplies affine completeness; Curvature supplies tidal and invariant tests; Lorentzian Metrics and Causal Cones supplies metric regularity; Causality and Global Structure gives the volume route; Exact Solutions of Einstein’s Equations supplies extensions and counterexamples.

Four independent questions

Section titled “Four independent questions”

The chapter is organized around four questions that are too often collapsed into one:

  1. Does every geodesic of a specified causal type have infinite affine range?
  2. Can the spacetime be embedded properly in a larger spacetime with a specified metric regularity?
  3. Does curvature remain controlled in scalar, freely falling frame, or integrated tidal senses?
  4. How should limiting approaches be represented when the endpoint is absent from the manifold?

The first is completeness, the second extendibility, the third curvature strength, and the fourth ideal-boundary representation. No general equivalence connects them. Flat spacetime with a point deleted is incomplete, curvature regular, and smoothly extendible. A weak null singularity can have divergent curvature and admit a continuous but not twice-differentiable extension. A spacetime can be maximal in a regularity class yet geodesically incomplete.

This separation is not pedantry. Classical singularity theorems conclude causal geodesic incompleteness. Strong cosmic censorship asks about inextendibility of maximal globally hyperbolic developments. Tidal-strength criteria ask about idealized bodies. Each result is only as strong as its stated noun and qualifier.

The sequence of pages

Section titled “The sequence of pages”

Timelike, Null, and Geodesic Completeness defines affine extendibility and separates timelike, null, spacelike, and all-geodesic versions. It explains why an arbitrary reparametrization cannot convert a finite affine endpoint into completeness and why causal types need not share the same behavior.

Incomplete Curves without Singular Points shows why a finite-parameter inextendible curve has no endpoint event in the physical manifold. Punctures, coordinate edges, quasiregular defects, and curvature-singular boundaries are distinguished by further evidence rather than by the curve alone.

Spacetime Extensions and Maximality defines a proper isometric embedding and separates maximal extension, maximal analytic extension, and maximal globally hyperbolic development. The last is unique relative to initial data but may still extend beyond a Cauchy horizon as a non-globally-hyperbolic spacetime.

Regularity Classes and Inextendibility compares continuous, Lipschitz, differentiable, twice-differentiable, smooth, and analytic extension questions. The class controls which cones, geodesics, curvature tensors, and field equations survive across the boundary.

Curvature Blowup and Measures of Singularity Strength separates scalar invariants from parallelly propagated components and from Tipler- or Królak-type tidal accumulation. Abstract Boundaries and Ideal Singular Endpoints finally compares endpoint representations across embeddings while keeping the curve family and differentiability choice explicit.

Counterexamples as a classification tool

Section titled “Counterexamples as a classification tool”

Three simple examples carry much of the chapter’s logic. A Minkowski half-space or punctured Minkowski spacetime has incomplete geodesics, zero curvature, and an evident smooth extension. Rindler and Schwarzschild static coordinates show that leaving a chart need not mean leaving the spacetime; a regular extension must be tested geometrically. A flat cone has locally vanishing curvature away from its apex but can carry nontrivial holonomy and an obstructed smooth filling.

Black-hole interiors add the regularity hierarchy. Reissner–Nordström and Kerr maximal globally hyperbolic regions end at Cauchy horizons in their exact extensions. Perturbations can produce curvature growth while leaving open different questions at C0C^0, weak-solution, and C2C^2 thresholds. The exact solutions illustrate formulations; they do not settle generic dynamical conjectures.

These distinctions and the singularity-theorem endpoint language are summarized in Steinbauer 2023, §§2.3 and 4, pp. 8–9, 21–40. The embedding-based endpoint framework is developed by Scott and Szekeres 1994, §§2–5, pp. 223–253.

Review the chapter

Section titled “Review the chapter”

A future-inextendible null geodesic ends at finite affine parameter. Along it, every scalar polynomial curvature invariant remains bounded. Which conclusions follow, and what must still be tested?

Solution

The spacetime is future null geodesically incomplete. The bounded scalars show that scalar-curvature divergence has not been demonstrated. They do not show that curvature components in a parallelly propagated frame are bounded, that tidal integrals remain finite, or that an extension exists.

To classify the endpoint, test freely falling frame components and Jacobi distortion; attempt an extension with a declared regularity; check topology, holonomy, and metric nondegeneracy; and state the admissible curve family if an ideal-boundary construction is used. A smooth extension would make the incompleteness removable in the original subspacetime. A continuous but non-C2C^2 extension would answer the two regularity questions differently. Failure of every tested extension still requires a proof, not an inference from finite affine length.

What this chapter enables

Section titled “What this chapter enables”

After this chapter, you should be able to state completeness with causal direction and affine parameter, define an extension through a proper isometric embedding, order inextendibility claims by strength, distinguish MGHD maximality from spacetime inextendibility, interpret scalar and frame curvature tests, and explain why an attached ideal endpoint is not a physical event.

The chapter does not prove model-specific inextendibility or singularity formation. Those belong to mathematical-relativity treatments with their own function spaces and estimates. The immediate continuation, Anatomy of a Singularity Theorem, shows how curvature focusing, causal structure, and initial geometry force precisely the incomplete-curve conclusion defined here.

References

Section titled “References”