Geroch's splitting theorem

Geroch's splitting theorem is a result in general relativity that provides conditions under which a spacetime can be decomposed into a product of a lower-dimensional manifold and a time-like line. Specifically, it concerns the structure of spacetimes that admit a particular kind of symmetry, known as "time-like Killing vectors.