0
$\begingroup$

Let $(M,g)$ be a globally hyperbolic Lorentzian spacetime with a non-compact Cauchy hypersurface $S \subset M$. Let $ \Omega \Subset S$ be an open subset. Is it true that the future Cauchy development of $\Omega$, denoted by $D^+(\Omega)$, is a compact subset in $M$?

$\endgroup$

1 Answer 1

1
$\begingroup$

No.

Let $M$ be the maximally extended Schwarzschild solution. Let $S$ be (for example) the $t = 0$ hypersurface that goes through the bifurcate sphere. If you take $\Omega$ sufficiently large, then $D^+(\Omega)$ touches the inner singularity, and hence is not compact.


For a more trivial example: let $(M,g)$ be the portion of Minkowski space with $t\in (-1,1)$ and let $S = \{t = 0\}$. Take $\Omega = B(0,10)$.

On the other hand, the above example shows that it is not enough to ask that $M$ is Cauchy inextendible.


The statement is true if you add the condition that there exists a sequence of events $p_i\in M$ with $p_i \prec p_{i+1}$ such that $\cup (J^-(p_i)\cap S)$ covers $S$. But this is quite strong.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.