Cosmological spacetimes with spatially constant sign-changing curvature
Pith reviewed 2026-05-18 02:12 UTC · model grok-4.3
The pith
Globally hyperbolic spacetimes can have spatial slices whose constant curvature changes sign and whose topology changes with time.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Globally hyperbolic spacetimes endowed with a time function t whose spacelike slices t=t0 have constant curvature k(t0) and where the sign of k(t0) (as well as the topology of the slice) varies with t0, can be constructed despite some common claims about the implications of the classical Cosmological Principle.
What carries the argument
A time function t whose level sets are spacelike slices of constant curvature whose sign and topology are allowed to vary while global hyperbolicity is maintained.
If this is right
- Cosmological models can transition between positive, zero, and negative curvature regimes across cosmic time.
- Spatial topology changes become admissible in globally hyperbolic settings when tied to a suitable time function.
- New families of exact solutions can be developed that satisfy the Einstein equations with these varying-slice properties.
- Collaboration with other researchers is announced to produce concrete examples of such models.
Where Pith is reading between the lines
- These spacetimes might serve as backgrounds for studying transitions between different eras of the universe without invoking singularities.
- Observational signatures could be sought in large-scale structure or the cosmic microwave background to test whether curvature sign changes are viable.
- The constructions suggest that the classical Cosmological Principle imposes fewer restrictions on global geometry than is sometimes assumed.
Load-bearing premise
The curvature sign and slice topology can change with the time function without forcing causal violations or singularities.
What would settle it
An explicit metric or coordinate chart for a spacetime in which slices at successive times have constant but opposite-sign curvature, the topology changes, and the spacetime remains globally hyperbolic with no singularities.
read the original abstract
Globally hyperbolic spacetimes endowed with a time function $t$ whose spacelike slices $t=t_0$ have constant curvature $k(t_0)$ and where the sign of $k(t_0)$ (as well as the topology of the slice) varies with $t_0$, can be constructed despite some common claims about the implications of the classical Cosmological Principle. Here, we stress the possibilities of these cosmologies and announce the development of new models obtained in collaboration with G. Garc\'{\i}a-Moreno, B. Janssen, A. Jim\'enez-Cano, M. Mars and R. Vera
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript asserts the existence of globally hyperbolic spacetimes equipped with a time function t for which the spacelike hypersurfaces at constant t possess constant curvature k(t) that changes sign with t, along with variations in the topology of these slices. This is claimed to be feasible in contrast to certain interpretations of the Cosmological Principle, and the authors announce the development of explicit models in collaboration with G. García-Moreno, B. Janssen, A. Jiménez-Cano, M. Mars, and R. Vera.
Significance. If substantiated with explicit constructions, this result would be significant as it suggests that cosmological models can accommodate time-dependent changes in spatial curvature sign and topology without compromising global hyperbolicity or introducing causal issues. This challenges rigid applications of the Cosmological Principle and could lead to new classes of cosmological spacetimes.
major comments (2)
- The central existence claim is stated without any supporting equations, explicit metrics, or outline of the construction. This makes it impossible to verify the assertion that the sign of k(t0) and the topology of the slice can vary with t0 while preserving global hyperbolicity.
- The manuscript does not address the standard result that in a globally hyperbolic spacetime, all Cauchy surfaces are diffeomorphic to each other. If the level sets of t are Cauchy surfaces, a change in topology would contradict this theorem, and no discussion is provided on whether the slices remain Cauchy surfaces or how global hyperbolicity is maintained during topology change.
minor comments (1)
- The abstract mentions 'some common claims' regarding the Cosmological Principle but provides no references or citations to these claims, which would help contextualize the novelty of the announcement.
Simulated Author's Rebuttal
We thank the referee for their thorough review and valuable comments. This manuscript serves as a brief announcement of the possibility of constructing such spacetimes, with detailed models to be presented in a forthcoming publication in collaboration with G. García-Moreno, B. Janssen, A. Jiménez-Cano, M. Mars, and R. Vera. We address the major comments below.
read point-by-point responses
-
Referee: The central existence claim is stated without any supporting equations, explicit metrics, or outline of the construction. This makes it impossible to verify the assertion that the sign of k(t0) and the topology of the slice can vary with t0 while preserving global hyperbolicity.
Authors: We agree that the present manuscript does not include explicit equations or metrics, as it is intended as an announcement highlighting the conceptual result and the ongoing collaborative work on explicit constructions. The verification of global hyperbolicity and the specific models will be provided in the detailed paper currently in preparation. We will revise the manuscript to include a brief outline of the approach. revision: partial
-
Referee: The manuscript does not address the standard result that in a globally hyperbolic spacetime, all Cauchy surfaces are diffeomorphic to each other. If the level sets of t are Cauchy surfaces, a change in topology would contradict this theorem, and no discussion is provided on whether the slices remain Cauchy surfaces or how global hyperbolicity is maintained during topology change.
Authors: This is an important point. In the spacetimes under consideration, the level sets of the time function t are spacelike hypersurfaces with the specified curvature properties, but they do not all serve as Cauchy surfaces. Global hyperbolicity is maintained through the existence of suitable Cauchy surfaces, and the topology variations occur in a manner consistent with the diffeomorphism invariance of Cauchy surfaces. A discussion clarifying this distinction and how global hyperbolicity is preserved will be added to the revised manuscript. revision: yes
Circularity Check
Existence announcement for sign-changing curvature spacetimes shows no circular derivation
full rationale
The paper is an announcement of forthcoming constructions of globally hyperbolic spacetimes admitting a time function whose level sets have constant curvature whose sign and topology vary with t. No explicit metric, derivation, or fitted parameters are presented in the provided text; the central statement is a pure existence claim rather than a chain that reduces predictions or results to self-defined inputs. No self-citations, ansatzes, or uniqueness theorems are invoked in a load-bearing way within the manuscript itself. The derivation is therefore self-contained as a statement of possibility, warranting score 0 with no circular steps identified.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Existence of a time function t such that slices have constant curvature whose sign can vary
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Globally hyperbolic spacetimes endowed with a time function t whose spacelike slices t=t0 have constant curvature k(t0) and where the sign of k(t0) (as well as the topology of the slice) varies with t0
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
M=R×Σ, g=−βdτ² + gτ with Cauchy slices
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
- [2]
- [3]
- [4]
-
[5]
Choquet-Bruhat, General Relativity and the Einstein equations
Y. Choquet-Bruhat, General Relativity and the Einstein equations. Oxford University Press (2009)
work page 2009
- [6]
-
[7]
G. Garc´ ıa-Moreno, B. Janssen, A. Jim´ enez Cano, M. Mars, M. S´ anchez, R. Vera, in progress (2025)
work page 2025
-
[8]
R. P. Geroch , J. Math. Phys. 11 (1970) 437 -449
work page 1970
-
[9]
O’Neill, Semi-Riemanian Geometry
B. O’Neill, Semi-Riemanian Geometry. Academic Press, San Diego (1983)
work page 1983
-
[10]
S´ anchez, Matematica Contemporanea, Vol 29 (2005) 127-155
M. S´ anchez, Matematica Contemporanea, Vol 29 (2005) 127-155
work page 2005
-
[11]
S´ anchez, Portugaliae Mathematica, Vol
M. S´ anchez, Portugaliae Mathematica, Vol. 80, No. 3/4 (2023) 291-313
work page 2023
-
[12]
R.M. Wald, General Relativity. Chicago University Press (1984)
work page 1984
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.