Manuscript VII-J-ST@1 · VII-J-ST.tex · proposition · f1f1d82c
Proposition: Non-global hyperbolicity
Prescribed spacetime, support, and the incidence input · lines 292–304 · proof included or linked
VII-J-ST@1#prop:nonGH
The regular spacetime is not globally hyperbolic.
Proof. Fix , an angle, and . Take two events at that spatial point with times . Events at time and radii , at the same angle and axial coordinate, lie in their causal diamond by radial causal paths. They have no convergent subsequence in . The diamond is therefore noncompact.