{"paper":{"title":"Positive resolution of Bartnik's cosmological splitting conjecture","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["gr-qc","math-ph","math.AP","math.MP"],"primary_cat":"math.DG","authors_text":"Argam Ohanyan, Robert J. McCann","submitted_at":"2026-06-02T16:42:38Z","abstract_excerpt":"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 wor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.03873","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.03873/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}