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