Learn and talk about Geroch's splitting theorem, Lorentzian manifolds, Theorems in general relativity, Theorems in mathematical physics

In the theory of causal structure on Lorentzian manifolds, Geroch's theorem or Geroch's splitting theorem (first proved by Robert Geroch) gives a topological characterization of globally hyperbolic spacetimes.

The theorem[edit]

Let $(M, g_{ab})$ be a globally hyperbolic spacetime. Then $(M, g_{ab})$ is strongly causal and there exists a global "time function" on the manifold, i.e. a continuous, surjective map $f:M \rightarrow \mathbb{R}$ such that:

For all $t \in \mathbb{R}$ , $f^{-1}(t)$ is a Cauchy surface, and
$f$ is strictly increasing on any causal curve.

Moreover, all Cauchy surfaces are homeomorphic, and $M$ is homeomorphic to $S \times \mathbb{R}$ where $S$ is any Cauchy surface of $M$ .

This relativity-related article is a stub. You can help Wikipedia by expanding it.

This Differential geometry related article is a stub. You can help Wikipedia by expanding it.

Original courtesy of Wikipedia: http://en.wikipedia.org/wiki/Geroch's_splitting_theorem — Please support Wikipedia.
A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia.

Geroch's splitting theorem

The theorem[edit]

Talk About Geroch's splitting theorem

Support Wikipedia