Structure of globally hyperbolic spacetimes-with-timelike-boundary (Q1998708)

The authors extend Geroch's celebrated splitting theorem, from globally hyperbolic spacetimes to globally hyperbolic spacetimes-with-timelike-boundary. As a consequence, the later are isometric to the closure of some open sets in globally hyperbolic spacetimes (without boundary). In addition, this interesting paper contains, for self consistency purposes, some detailed proofs of the prerequisites necessary for the main result: causality and lower levels of the causal ladder; a comparison of the frameworks for splitting in the cases with/without boundary; for a spacetime-with-timelike-boundary, global hyperbolicity is a stable property; in a globally hyperbolic spacetime-with-timelike-boundary, the boundary is composed by all the naked singularities of the spacetime.