Positive resolution of Bartnik's cosmological splitting conjecture

Argam Ohanyan; Robert J. McCann

arxiv: 2606.03873 · v3 · pith:23HTB4VSnew · submitted 2026-06-02 · 🧮 math.DG · gr-qc· math-ph· math.AP· math.MP

Positive resolution of Bartnik's cosmological splitting conjecture

Robert J. McCann , Argam Ohanyan This is my paper

Pith reviewed 2026-06-28 08:15 UTC · model grok-4.3

classification 🧮 math.DG gr-qcmath-phmath.APmath.MP

keywords Bartnik conjecturecosmological splittingLorentzian splittingstrong energy conditionglobally hyperbolic spacetimeeikonal equationviscosity solutions

0 comments

The pith

A timelike geodesically complete globally hyperbolic spacetime with compact Cauchy surfaces and the strong energy condition must split isometrically as a Lorentzian product.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that any timelike geodesically complete, globally hyperbolic spacetime with compact Cauchy surfaces satisfying the strong energy condition must split isometrically as a Lorentzian product. This resolves the 1988 cosmological splitting conjecture and supplies the rigidity statement for the Hawking-Penrose singularity theorem. The argument rests on global viscosity solutions to the Lorentzian eikonal equation together with an elliptic method that employs the p-d'Alembertian operator when p is less than one. A sympathetic reader would care because the result shows that cosmological models obeying these conditions cannot deviate from product geometry without violating completeness or the energy condition.

Core claim

The central claim is 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. This establishes the rigidity of the cosmological Hawking-Penrose singularity theorem as expressed in Bartnik's 1988 conjecture. The proof combines global viscosity solutions to the Lorentzian eikonal equation with an elliptic approach using the p-d'Alembertian operator for p less than one.

What carries the argument

Global viscosity solutions to the Lorentzian eikonal equation combined with the elliptic p-d'Alembertian approach for p less than one.

If this is right

The spacetime must be isometric to a product of a Riemannian manifold with the real line carrying the standard Lorentzian metric.
Such models exhibit no timelike geodesic incompleteness when the strong energy condition holds.
The result confirms rigidity for the singularity theorem in the cosmological case with compact Cauchy surfaces.
The spacetime cannot develop curvature singularities without violating one of the listed hypotheses.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Relaxing the strong energy condition could permit non-product spacetimes that still satisfy the other hypotheses.
The same combination of viscosity and elliptic techniques might apply to splitting results for non-compact Cauchy surfaces.
Numerical simulations of expanding cosmologies could check whether product structure persists exactly when the strong energy condition is imposed.

Load-bearing premise

That global viscosity solutions to the Lorentzian eikonal equation can be applied in this cosmological setting together with the elliptic p-d'Alembertian method for p less than one.

What would settle it

A counterexample spacetime that remains timelike geodesically complete and globally hyperbolic, has compact Cauchy surfaces, obeys the strong energy condition, but is not isometric to a Lorentzian product.

read the original abstract

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 work with Braun, Gigli and S\"amann, where we make use of the $p$-d'Alembertian operator for $p < 1$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Claims to resolve Bartnik's 1988 cosmological splitting conjecture by combining Zhu-Wu-Cui viscosity solutions with the authors' p-d'Alembertian elliptic method, but the argument cannot be checked from the abstract alone.

read the letter

The paper claims to prove Bartnik's cosmological splitting conjecture from 1988. A timelike geodesically complete globally hyperbolic spacetime with compact Cauchy surfaces and the strong energy condition must split isometrically as a Lorentzian product. The authors reach this by combining global viscosity solutions to the Lorentzian eikonal equation from Zhu-Wu-Cui with their earlier elliptic approach that uses the p-d'Alembertian operator for p less than 1.

This is new as a claimed resolution of the open problem. The abstract shows a clear plan to adapt those recent tools to the cosmological setting with the given hypotheses on completeness, global hyperbolicity, compactness of Cauchy surfaces, and the strong energy condition. That combination is the concrete step forward.

The obvious limitation is that only the abstract is available. We cannot see how the viscosity solutions are shown to exist globally here or how their level sets produce the product structure. It is also unclear whether the elliptic comparison closes directly from the compactness and energy condition or whether extra regularity or boundary arguments are needed. The stress-test concern about possible tacit hypotheses for the distance function is reasonable until the details appear.

This is for people working on Lorentzian geometry and mathematical general relativity who follow splitting theorems and rigidity results. Anyone tracking the Hawking-Penrose theorem in the compact case would want to read the full argument.

Once the full paper is submitted it should go to peer review. The conjecture is old and the methods are recent enough that referees can usefully check whether the pieces fit.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to give a positive resolution of Bartnik's 1988 cosmological splitting conjecture. It asserts that any timelike geodesically complete, globally hyperbolic spacetime with compact Cauchy surfaces that satisfies the strong energy condition must split isometrically as a Lorentzian product. The proof is described as combining the global viscosity solutions to the Lorentzian eikonal equation constructed by Zhu--Wu--Cui with the authors' recent elliptic approach (joint with Braun, Gigli and Sämann) that employs the p-d'Alembertian operator for p < 1.

Significance. If the argument is correct, the result would establish a rigidity statement that directly complements the cosmological Hawking--Penrose singularity theorem and would constitute a notable advance in the study of Lorentzian splitting theorems under energy conditions. The approach of merging viscosity methods with an elliptic p-d'Alembertian technique is novel in this cosmological setting.

major comments (1)

[Abstract] Abstract: the manuscript is available only as an abstract. No details are supplied on how the compactness of the Cauchy surfaces, timelike geodesic completeness, or the strong energy condition are used to guarantee that the Zhu--Wu--Cui viscosity solutions exist globally, are sufficiently regular, and produce level sets that yield the product structure, nor on how the p-d'Alembertian elliptic estimates close in this setting. Consequently the central claim cannot be verified from the supplied text.

Simulated Author's Rebuttal

1 responses · 1 unresolved

We thank the referee for their report and the opportunity to respond. We address the single major comment below.

read point-by-point responses

Referee: [Abstract] Abstract: the manuscript is available only as an abstract. No details are supplied on how the compactness of the Cauchy surfaces, timelike geodesic completeness, or the strong energy condition are used to guarantee that the Zhu--Wu--Cui viscosity solutions exist globally, are sufficiently regular, and produce level sets that yield the product structure, nor on how the p-d'Alembertian elliptic estimates close in this setting. Consequently the central claim cannot be verified from the supplied text.

Authors: The supplied manuscript consists solely of the abstract, so the requested technical details on the roles of compactness of the Cauchy surfaces, timelike geodesic completeness, and the strong energy condition in guaranteeing global existence and regularity of the Zhu--Wu--Cui viscosity solutions, the product structure via level sets, and the closure of the p-d'Alembertian estimates are not present. The full paper (in preparation) will contain these arguments; we will upload the complete manuscript to arXiv and can provide it directly to the referee upon request. revision: yes

standing simulated objections not resolved

The specific mechanisms by which compactness of the Cauchy surfaces, timelike geodesic completeness, and the strong energy condition guarantee global viscosity solutions, sufficient regularity, product structure from level sets, and closure of the p-d'Alembertian estimates, since these details are absent from the supplied abstract.

Circularity Check

0 steps flagged

No circularity; proof combines external viscosity construction with prior elliptic method

full rationale

The abstract describes a proof obtained by combining the external global viscosity solutions to the Lorentzian eikonal equation (Zhu--Wu--Cui) with an elliptic p-d'Alembertian approach from prior joint work. No equations, self-definitions, fitted inputs presented as predictions, or load-bearing self-citations that reduce the claimed splitting result to its own inputs appear in the provided text. The derivation is therefore self-contained against the cited external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review provides no information on specific free parameters, additional axioms, or invented entities. The result is a proof of an existing conjecture using described methods from prior literature.

axioms (1)

standard math Standard axioms of Lorentzian geometry and PDE theory
The proof builds on established mathematical structures in the field.

pith-pipeline@v0.9.1-grok · 5622 in / 1222 out tokens · 43941 ms · 2026-06-28T08:15:24.048749+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

The alignment time function
math.DG 2026-06 unverdicted novelty 6.0

Existence and uniqueness of a smooth alignment time function minimizing a misalignment-plus-null-penalty functional in compact subsets of smooth stably causal spacetimes.