Cauchy surface

A Cauchy surface is a plane in space-time which is like an "instant" of time, giving the initial conditions on this plane detemines the future (and the past) uniquely.

Named after Augustin Louis Cauchy, a precise definition is that it is a subset in space-time which is intersected by every non-spacelike, inextensible curve, any causal curve, exactly once.

A partial Cauchy surface is a hypersurface which is intersected by any causal curve at most once.

Discussion

If S is a space-like surface, a collection of points where every pair is space-like separated, then $D^+(S)$ is the future of S, which is all the points which can be reached from S while going forward in time on curves which are timelike or null. Similarly $D^\{-\}(mathcal\{S\})$, the past of S, is the same thing going back in time.

When there are no closed timelike curves, D+ and D- are two different regions. When the time dimension closes up on itself everywhere so that it makes a circle, the future and the past of S are the same and both include S. The Cauchy surface is defined pedantically in terms of intesections with inextendible curves in order to deal with this case of circular time. An inextendible curve is a curve with no ends--- either it goes on forever, remaining timelike or null, or it closes in on itself to make a circle, a closed non-spacelike curve.

When there are closed timelike curves, or even when there are closed non-spacelike curves, a Cauchy surface still determines the future, but the future includes the surface itself. This means that the initial conditions obey a constraint, and the Cauchy surface is not of the same character as when the future and the past are disjoint.

If there are no closed timelike curves, then given $mathcal\{S\}$ a partial Cauchy surface and if $D^\{+\}(mathcal\{S\})cup\; mathcal\{S\}cup\; D^\{-\}(mathcal\{S\})\; =\; mathcal\{M\}$, the entire manifold, then $mathcal\{S\}$ is a Cauchy surface. Any surface of constant $t$ in Minkowski space-time is a Cauchy surface, as is a .

Cauchy Horizon

If $D^\{+\}(mathcal\{S\})cup\; mathcal\{S\}cup\; D^\{-\}(mathcal\{S\})\; ot=\; mathcal\{M\}$ then there exists a Cauchy horizon between $D^\{pm\}(mathcal\{S\})$ and regions of the manifold not completely determined by information on $mathcal\{S\}$. A clear physical example of a Cauchy horizon is the second horizon inside a charged or rotating black hole. The outermost horizon is an event horizon, beyond which information cannot escape, but where the future is still determined from the conditions outside. Inside the inner horizon, the Cauchy horizon, the singularity is visible and to predict the future requires additional data about what comes out of the singularity.

Since a black hole Cauchy horizon only forms in a region where the geodesics are outgoing, in radial coordinates, in a region where the central singularity is repulsive, it is hard to imagine exactly how it forms. For this reason, Kerr and others suggest that a Cauchy horizon never forms, instead that the inner horizon is in fact a spacelike or timelike singularity.

A homogenous space-time with a Cauchy horizon is anti de Sitter space.

References

* P.K. Townsend, "Black Holes", lecture notes, Section 3.3, arXiv|archive=gr-qc|id=9707012, 1997.