A team of researchers has successfully proven Robert Bartnik's cosmological splitting conjecture, formulated in 1988. This conjecture, which addresses the rigidity of the Hawking-Penrose cosmological singularity theorem, states that a globally hyperbolic, time-geodesically complete spacetime with compact Cauchy surfaces, which also satisfies the strong energy condition, must split isometrically as a Lorentzian product. The resolution of this conjecture represents a significant advance in understanding the global structure of spacetimes in general relativity.

Bartnik's conjecture is part of the study of cosmological singularities, points where the laws of classical physics cease to be valid. The Hawking-Penrose singularity theorem predicts the existence of these singularities under certain conditions, and Bartnik's conjecture adds a layer of specificity by suggesting how spacetimes that avoid these singularities in a particular way are structured. The proof of this conjecture closes an open question in Lorentzian geometry and general relativity, offering deeper insight into the fundamental properties of the universe on a large scale.

The methods employed for this proof combine the construction of global viscosity solutions for the Lorentzian eikonal equation, developed by Zhu, Wu, and Cui, with a recently developed elliptic approach for proving Lorentzian splitting theorems. This latter approach, a result of collaborative work with Braun, Gigli, and Sämann, utilizes a p-d'Alembertian operator for p-values less than 1. The combination of these advanced mathematical techniques has been crucial for addressing the complexity of the conjecture and providing a rigorous proof thereof.