Un equipo de investigadores ha logrado demostrar la conjetura de división cosmológica de Robert Bartnik, formulada en 1988. Esta conjetura, que aborda la rigidez del teorema de singularidad cosmológica de Hawking-Penrose, establece que un espaciotiempo globalmente hiperbólico, geodésicamente completo en el tiempo y con superficies de Cauchy compactas, que además satisface la condición de energía fuerte, debe dividirse isométricamente como un producto lorentziano. La resolución de esta conjetura representa un avance significativo en la comprensión de la estructura global de los espaciotiempos en la relatividad general.

La conjetura de Bartnik se enmarca en el estudio de las singularidades cosmológicas, puntos donde las leyes de la física clásica dejan de ser válidas. El teorema de singularidad de Hawking-Penrose predice la existencia de estas singularidades bajo ciertas condiciones, y la conjetura de Bartnik añade una capa de especificidad al sugerir cómo se estructuran los espaciotiempos que evitan estas singularidades de una manera particular. La demostración de esta conjetura cierra una cuestión abierta en la geometría lorentziana y la relatividad general, ofreciendo una visión más profunda sobre las propiedades fundamentales del universo a gran escala.

Los métodos empleados para esta demostración combinan la construcción de soluciones de viscosidad globales para la ecuación eikonal lorentziana, desarrollada por Zhu, Wu y Cui, con un enfoque elíptico recientemente desarrollado para la prueba de teoremas de división lorentziana. Este último enfoque, fruto de un trabajo conjunto con Braun, Gigli y Sämann, hace uso de un operador p-d'Alembertiano para valores de p menores que 1. La combinación de estas técnicas matemáticas avanzadas ha sido crucial para abordar la complejidad de la conjetura y proporcionar una prueba rigurosa de la misma.