Scope and Limits of Topological Censorship

Topological censorship is not one assumption-free prohibition on wormholes. It is a family of implications whose conclusion changes with the causal character and topology of infinity, the domain on which global hyperbolicity is imposed, the direction of the energy average, and the dimension. Observable nontrivial topology is possible whenever a relevant premise fails; identifying that premise is more informative than labeling the example an “exception.”

Required background. Exterior Algebra and Differential Forms supplies orientation and integration; Hypersurface Normals and Tangential Projectors supplies boundary cuts and horizon sections.

Helpful background. Pseudo-Riemannian Metrics and Signature supplies conformal boundary character; Affine and Variational Geodesics supplies complete null generators; Causality and Global Structure supplies domains of outer communications; Timelike Congruences and Spatial Projection supplies null focusing.

Assumptions that select the theorem

Unless a row below says otherwise, take smooth connected time-oriented Lorentzian spacetimes of dimension at least three. Orientability is not required for the covering-space censorship conclusion; it becomes relevant when classifying two-dimensional horizon sections or applying oriented homology. The physical asymptotically flat spacetime has no manifold boundary, although its conformal completion has null boundary. The anti-de Sitter-type theorem instead treats the timelike conformal boundary as a genuine boundary of the completed causal problem.

Global hyperbolicity must be imposed on exactly the region named. In an asymptotically flat theorem this includes the physical spacetime and a suitable completed future region. With timelike infinity it is imposed on the domain of outer communications together with that boundary, using causal curves that may run along the boundary. Neither condition is equivalent to global hyperbolicity of the whole uncompleted AdS interior.

Likewise, the energy input must follow the generator constructed by the proof. A pointwise condition is

$$R_{ab}k^ak^b\geq0.$$

An averaged replacement integrates the same contraction along the relevant future-complete half-geodesics beginning near infinity. ANEC on a different curve family or in the opposite direction is not interchangeable.

Setting	Causal, boundary, and topological assumptions	Focusing assumption	Guaranteed conclusion
Asymptotically flat null infinity	Connected null infinities, a simply connected asymptotic neighborhood, global hyperbolicity of the physical and specified completed regions, compact connected asymptotic cuts, and confinement of outward null normals with $d\Omega/ds\lt0$	Null convergence, or the stated future half-geodesic average	The domain of outer communications is simply connected
Timelike conformal infinity	The completed exterior with timelike boundary is globally hyperbolic, the chosen boundary component has a compact spacelike cut, and causal curves may use the boundary	Nonnegative future half-geodesic Ricci integral near the boundary	Every exterior causal curve with endpoints on the boundary deforms into it; inclusion of the boundary surjects on the exterior fundamental group
Stable horizon cross-section	A closed two-sided stable outermost MOTS in dimension at least four, interior to the spacelike slice; no global asymptotics required	Effective dominant energy condition, not ANEC	Positive Yamabe type, modulo the non-strict rigid exception
Lorentzian topology change	A causally compact, chronological, time-oriented interpolation with the prescribed spacelike ends and product timelike tube	None for the basic product theorem	The interpolation is a product, so its spatial ends are diffeomorphic

These are different theorems. The first two restrict causal access to exterior fundamental group. The third restricts scalar-curvature type of a codimension-two surface. The fourth restricts evolution between spatial boundaries.

Asymptotically flat exteriors

For null infinity, the precise later theorem on The Topological Censorship Theorem adds completed-region control and confinement of the outward, decreasing-$\Omega$ null family. Those assumptions close gaps in the original argument and force the lifted generator onto the increasing-$\Omega$ inward family to which focusing applies. Its conclusion is simple connectivity of

$$\mathcal D=I^+(\mathscr I^- )\cap I^-(\mathscr I^+),$$

not of the entire spacetime. The full Cauchy surface can contain a geon or an Einstein–Rosen bridge behind horizons. Maximally extended Schwarzschild is the standard control: its bridge is present on a spatial slice, but no causal observer travels from one asymptotic end through the bridge and out the other.

A flat spacetime quotient with compact spatial direction gives the opposite control. It can be smooth, globally hyperbolic, geodesically complete, and nonsimply connected. It fails the required asymptotically flat neighborhood with spherical cuts. Thus neither global hyperbolicity nor null convergence alone censors topology.

The theorem also does not prove that a black hole forms. It starts with a specified asymptotic causal structure and constrains the exterior. Event-horizon existence, completeness of infinity, and predictability must be established independently.

Timelike infinity and boundary topology

For an asymptotically locally AdS setting, let $D'=D\cup\mathscr I$ be the exterior completed by one timelike boundary component. A boundary-capable theorem assumes $D'$ globally hyperbolic, a compact spacelike cut of $\mathscr I$, and a nonnegative Ricci integral on every future-complete null half-geodesic starting near $\mathscr I$. It then proves the principle of topological censorship Galloway–Schleich–Witt–Woolgar 1999, Theorems 2.1–2.2, pp. 7–11.

Algebraically,

$$i_*:\pi_1(\mathscr I)\twoheadrightarrow\pi_1(D')$$

is surjective. If $\mathscr I$ is simply connected, the exterior is simply connected. If the boundary has genus or other nontrivial fundamental group, the exterior may inherit those loop classes. In four spacetime dimensions, with a connected orientable boundary cut and the compact Cauchy-surface-with-boundary hypotheses of the source, the total genus of suitable horizon cuts is bounded by the genus of the cut at infinity Galloway–Schleich–Witt–Woolgar 1999, Theorem 4.1 and Lemma 4.4, pp. 14–17. Nonspherical locally AdS horizons therefore need not conflict with censorship.

The geometric theorem does not choose boundary conditions for wave or Einstein evolution. Reflecting, dissipative, or mixed boundary data are additional PDE structure. See Why AdS Is Not Globally Hyperbolic for that separate issue.

Spacelike de Sitter infinity is different again. The spatial-infinity-avoidance property used at null or timelike infinity does not follow from the same causal argument when the conformal boundary is spacelike Chruściel–Galloway 2019, §2, Remark after Theorem 2.5, pp. 3–4. An asymptotically flat theorem cannot be transferred by changing the sign of $\Lambda$.

Traversable throats and energy failure

Consider the four-dimensional static spherically symmetric Morris–Thorne form

$$ds^2=-e^{2\Phi(r)}dt^2 +\frac{dr^2}{1-b(r)/r} +r^2d\Omega_2^2.$$

At a smooth throat $r=r_0$, one has $b(r_0)=r_0$, finite $\Phi$, and the flare-out condition $b'(r_0)<1$. Einstein’s equation gives, for a radial null direction,

$$8\pi G\bigl(\rho+p_r\bigr)\big|_{r_0} =\frac{b'(r_0)-1}{r_0^2}<0.$$

Thus the standard traversable throat violates the pointwise null energy condition exactly where defocusing is needed Morris–Thorne 1988, §§II.B–II.C, pp. 397–400. This is a failed hypothesis, not a violation of topological censorship. Whether a particular dynamical or semiclassical construction violates the precise averaged condition requires evaluating the complete affinely parametrized null geodesics used by that theorem; a local negative density alone does not compute ANEC.

Quantum fields can violate classical pointwise energy conditions, but a statement involving quantum inequalities, generalized entropy, or semiclassical backreaction is a different theorem. Classical censorship cannot be cited as a quantum no-go result without those replacements.

Dimension, horizon topology, and orientability

Covering-space arguments chiefly constrain $\pi_1$ and are not tied to four dimensions. Horizon classification is. A strictly stable orientable two-dimensional MOTS of positive Yamabe type is $S^2$ by Gauss–Bonnet. A three-dimensional cross-section can be $S^2\times S^1$ and still admit positive scalar curvature; the five-dimensional black ring realizes this Emparan–Reall 2002, pp. 101101-1–4.

Therefore “positive Yamabe” must never be replaced by “spherical” in higher dimensions. Even in four dimensions, orientability and exclusion of the rigid flat exception are steps in the sphere conclusion. If a surface meets a timelike boundary or has an edge, Gauss–Bonnet acquires boundary terms and the closed-surface theorem no longer applies.

Causality and topology change

Dropping global hyperbolicity can destroy the existence or achronality of the null generator used by censorship. Closed timelike curves can also support a topology-changing Lorentzian cobordism. Under causal compactness, however, a chronological interpolation is a product; see Cobordism and Topology Change. A pair-of-pants spacetime therefore pays through chronology violation, loss of causal compactness, metric degeneracy, or failure of regular Cauchy boundaries Borde 1994, Theorems 1 and 3, pp. 17–28.

This is logically separate from an exterior censorship theorem. A spacetime may have fixed nontrivial Cauchy topology that is hidden from infinity, or trivial Cauchy topology with a nontrivial asymptotic boundary quotient. “No topology change,” “simple exterior,” and “spherical horizon” are three distinct conclusions.

Exercises

For each case, identify the applicable conclusion or the missing hypothesis.

1. A smooth asymptotically flat spacetime satisfies the precise null-infinity hypotheses and null convergence, but its full Cauchy surface contains a bridge behind a horizon.
2. A completed AdS exterior obeys the timelike-boundary theorem, but its boundary cut has genus two.
3. A strictly stable MOTS in five spacetime dimensions has topology $S^2\times S^1$.
4. A static traversable throat has $b'(r_0)<1$.

Solution

1. The domain of outer communications is simply connected. Nothing in that conclusion removes topology behind its horizons, so the bridge is allowed if it is not causally traversable from infinity to infinity.
2. Inclusion of the boundary fundamental group surjects onto that of the exterior. The exterior need not be simply connected because the boundary is not. Under the additional compact orientable four-dimensional hypotheses, horizon genus is bounded relative to the genus at infinity rather than forced to zero.
3. The positive-Yamabe conclusion is satisfied: the product of a round $S^2$ with $S^1$ has positive scalar curvature. Spherical topology is not the higher-dimensional conclusion.
4. Einstein’s equation gives $8\pi G(\rho+p_r)=(b'-1)/r_0^2<0$ at the throat. Pointwise null convergence fails, so a theorem requiring it cannot be invoked. One would still have to calculate the relevant complete-geodesic integral before asserting failure of a particular averaged condition.

References

• Borde, Arvind, “Topology Change in Classical General Relativity”, preprint, 1994.
• Chruściel, Piotr T., and Gregory J. Galloway, “Roads to Topological Censorship”, preprint UWThPh-2019-17, 2019.
• Emparan, Roberto, and Harvey S. Reall, “A Rotating Black Ring Solution in Five Dimensions”, Physical Review Letters 88, 101101, 2002. Open PDF.
• Galloway, Gregory J., Kristin Schleich, Donald M. Witt, and Eric Woolgar, “Topological Censorship and Higher Genus Black Holes”, Physical Review D 60, 104039, 1999. Open PDF.
• Morris, Michael S., and Kip S. Thorne, “Wormholes in Spacetime and Their Use for Interstellar Travel: A Tool for Teaching General Relativity”, American Journal of Physics 56, pp. 395–412, 1988.