it is differentiable

$c (t)$ is timelike for each $t$ in the interval $(a, b)$

$c (t)$ does not approach a limit as $t$ increases to $b$ or as $t$ decreases to $a$ .

[1]

Let $(M, g)$ be a Lorentzian manifold. One says that a map $c : (a, b) \to M$ is an inextensible differentiable timelike curve in $(M, g)$ if:

A subset $S$ of $M$ is called a Cauchy surface if every inextensible differentiable timelike curve in $(M, g)$ has exactly one point of intersection with $S$ ; if there exists such a subset, then $(M, g)$ is called globally hyperbolic.

The following is automatically true of a Cauchy surface $S$ :

It is hard to say more about the nature of Cauchy surfaces in general. The example of

as a Cauchy surface for Minkowski space $ℝ 3,1$ makes clear that, even for the "simplest" Lorentzian manifolds, Cauchy surfaces may fail to be differentiable everywhere (in this case, at the origin), and that the homeomorphism $S \times ℝ \to M$ may fail to be even a $C 1$ -diffeomorphism. However, the same argument as for a general Cauchy surface shows that if a Cauchy surface $S$ is a $C k$ -submanifold of $M$ , then the flow of a smooth timelike vector field defines a $C k$ -diffeomorphism $S \times ℝ \to M$ , and that any two Cauchy surfaces which are both $C k$ -submanifolds of $M$ will be $C k$ -diffeomorphic.

Furthermore, at the cost of not being able to consider arbitrary Cauchy surface, it is always possible to find smooth Cauchy surfaces (Bernal & Sánchez 2003):

it is differentiable

$c'(t)$ is either future-directed timelike or future-directed null for each $t$ in the interval $(a, b)$

$c (t)$ does not approach a limit as $t$ decreases to $a$

Let $(M, g)$ be a time-oriented Lorentzian manifold. One says that a map $c : (a, b) \to M$ is a past-inextensible differentiable causal curve in $(M, g)$ if:

One defines a future-inextensible differentiable causal curve by the same criteria, with the phrase "as $t$ decreases to $a$ " replaced by "as $t$ increases to $b$ ". Given a subset $S$ of $M$ , the future Cauchy development $D + (S)$ of $S$ is defined to consist of all points $p$ of $M$ such that if $c : (a, b) \to M$ is any past-inextensible differentiable causal curve such that $c (t) = p$ for some $t$ in $(a, b)$ , then there exists some $s$ in $(a, b)$ with $c (s) \in S$ . One defines the past Cauchy development $D - (S)$ by the same criteria, replacing "past-inextensible" with "future-inextensible".

Informally:

The Cauchy development $D (S)$ is the union of the future Cauchy development and the past Cauchy development.

Discussion[edit]

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 ${\mathcal {S}}$ are the same and both include ${\mathcal {S}}$ . 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 ${\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.

Cauchy horizon[edit]

If $D^{+}({\mathcal {S}})\cup {\mathcal {S}}\cup D^{-}({\mathcal {S}})\not ={\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. The inner horizon corresponds to the instability due to mass inflation.^[2]^[3]^[4]

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

Causal structure

Choquet-Bruhat, Yvonne; Geroch, Robert. Global aspects of the Cauchy problem in general relativity. Comm. Math. Phys. 14 (1969), 329–335.

Geroch, Robert. Domain of dependence. J. Mathematical Phys. 11 (1970), 437–449.

Bernal, Antonio N.; Sánchez, Miguel. On smooth Cauchy hypersurfaces and Geroch's splitting theorem. Comm. Math. Phys. 243 (2003), no. 3, 461–470.

Bernal, Antonio N.; Sánchez, Miguel. Smoothness of time functions and the metric splitting of globally hyperbolic spacetimes. Comm. Math. Phys. 257 (2005), no. 1, 43–50.

Research articles

Textbooks