Intuitively, a Cauchy surface is a plane in space-time which is like an instant of time; its significance is that giving the initial conditions on this plane determines the future (and the past) uniquely.
A partial Cauchy surface is a hypersurface which is intersected by any causal curve at most once.
The name is for Augustin Louis Cauchy.
If is a space-like surface (i.e., a collection of points such that every pair is space-like separated), then is the future of , which is all the points which can be reached from while going forward in time on curves which are timelike or null. Similarly , the past of , is the same thing going back in time.
When there are no closed timelike curves, and 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 are the same and both include . The Cauchy surface is defined rigorously in terms of intersections with inextensible curves in order to deal with this case of circular time. An inextensible 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 a partial Cauchy surface and if , the entire manifold, then is a Cauchy surface. Any surface of constant in Minkowski space-time is a Cauchy surface.
If then there exists a Cauchy horizon between and regions of the manifold not completely determined by information on . 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 homogeneous space-time with a Cauchy horizon is anti de Sitter space.