{"id":"arxiv/2606.03873","url":"https://arxiv.org/abs/2606.03873","tags":["math.DG","gr-qc","math-ph","math.AP"],"score":0,"title":"Positive resolution of Bartnik's cosmological splitting conjecture","domain":"math.DG","source":"arxiv","authors":["Robert J. McCann","Argam Ohanyan"],"reviews":0,"subject":"math.DG","summary":"We give a proof of the cosmological splitting conjecture of Robert Bartnik from 1988, which expresses the rigidity of the cosmological Hawking--Penrose singularity theorem. It states that a timelike geodesically complete, globally hyperbolic spacetime which has compact Cauchy surfaces and satisfies the strong energy condition must split isometrically as a Lorentzian product. Our methods combine the construction of global viscosity solutions to the Lorentzian eikonal equation by Zhu--Wu--Cui with our recently developed elliptic approach to the proof of Lorentzian splitting theorems in joint…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-02","reactions":{}}