Global hyperbolicity is a causal condition on spacetime that tightly controls its allowable topology. In geometric terms it combines strong causality with the requirement that causal diamonds J+(p) intersect J-(q) are compact for any two points p and q. Foundational treatments by Stephen Hawking Cambridge University and George F. R. Ellis University of Cape Town identify this condition as central to the predictive power of general relativity and to the exclusion of pathological features such as closed timelike curves. Robert Geroch University of Chicago formulated the first rigorous topological consequences.
Topological splitting
One primary constraint is a topological product structure. Geroch's splitting theorem shows that a globally hyperbolic spacetime is topologically equivalent to R times a three dimensional manifold Sigma, where Sigma is a Cauchy surface that every inextendible causal curve meets exactly once. Later refinements by Antonio N. Bernal Universidad Complutense de Madrid and Miguel Sánchez Universidad Complutense de Madrid strengthened this picture by proving the existence of smooth spacelike Cauchy hypersurfaces and a smooth splitting compatible with the Lorentzian metric. Together these results mean the global topology cannot be arbitrary time twisted or contain hidden time loops: time slices are well defined and the manifold splits into a temporal factor and a spatial slice.
Consequences and contextual nuance
The constraints have direct physical and mathematical consequences. By eliminating closed causal curves, global hyperbolicity enforces a form of determinism that underlies well posedness for hyperbolic partial differential equations such as the Einstein equations and associated matter field equations. This is why many cosmological and gravitational analyses in the literature adopt the condition as an assumption; it permits unique evolution from initial data on a Cauchy surface as emphasized in classical texts by Stephen Hawking Cambridge University and George F. R. Ellis University of Cape Town. At the same time the spatial manifold Sigma is not fixed by this condition alone and can be topologically rich; constructions in the mathematical relativity literature demonstrate a wide range of possible Sigma compatible with global hyperbolicity, so long as the overall product structure holds.
Nuance matters for interpretation: adopting global hyperbolicity excludes certain speculative scenarios studied in popular accounts, such as simple time machines or freely traversable causality-violating wormholes, and thus shapes both theoretical research agendas and the physical plausibility of exotic topologies in cosmology and gravitational physics.