The Szekeres metrics with M < 0
Pith reviewed 2026-05-08 10:23 UTC · model grok-4.3
The pith
Szekeres metrics with M < 0 force negative dust density under no-shell-crossing conditions and thus cannot model real universes
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Solutions with M < 0 exist in both classes of the Szekeres metrics. They have no Big Bang singularity and no origin. The conditions for no shell crossings ensure that the mass density ρ of the dust source in the Einstein equations is negative at all times. Thus these metrics do not qualify as cosmological models. In the Friedmann limit the implication M < 0 implies ρ < 0 is immediate. In the general Szekeres metrics it follows through a rather intricate reasoning.
What carries the argument
The mass function M together with the no-shell-crossing conditions applied to the evolution equation of the Szekeres dust metrics
If this is right
- Solutions with M < 0 exist in both classes of Szekeres metrics
- These solutions possess neither a Big Bang singularity nor an origin
- In the Friedmann limit M < 0 immediately forces ρ < 0
- In the general inhomogeneous case the same negative density still follows from the no-shell-crossing conditions
Where Pith is reading between the lines
- The metrics may remain useful as mathematical test cases for the Einstein equations without physical density requirements
- Relaxing the no-shell-crossing rule could allow positive densities and other interpretations
- The result underlines the need to verify density sign in any exact solution proposed for cosmology
Load-bearing premise
Negative mass density is unacceptable for any cosmological model even when the metric satisfies the Einstein equations mathematically
What would settle it
An explicit no-shell-crossing Szekeres solution with M < 0 in which the density ρ becomes positive at some time or place
read the original abstract
The evolution equation of the Szekeres metrics allows solutions with the mass function $M < 0$. They exist in both classes of the Szekeres metrics, have no Big Bang singularity and no origin. In both classes, the conditions for no shell crossings ensure that the mass density $\rho$ of the dust source in the Einstein equations is negative at all times. Thus, these metrics do not qualify as cosmological models. In the Friedmann limit, the implication $M < 0 \Longrightarrow \rho < 0$ is immediate. In the general Szekeres metrics it follows through a rather intricate reasoning.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript examines Szekeres metrics with negative mass function M < 0. Such solutions exist in both classes, lack Big Bang and origin singularities, and satisfy the Einstein equations for dust. The central result is that the standard no-shell-crossing conditions on the metric functions force the dust density ρ to be negative at all times (immediate in the Friedmann limit; via the density expression and associated inequalities in the general case). The authors conclude that these metrics therefore do not qualify as cosmological models.
Significance. If the derivation holds, the result supplies a direct, parameter-free exclusion criterion for M < 0 branches of the Szekeres family on physical grounds. Because the Szekeres metrics are frequently invoked as exact inhomogeneous cosmologies, this negative result helps delineate the viable parameter space without additional assumptions beyond the Einstein equations and the geometric no-shell-crossing requirement.
minor comments (3)
- [Abstract] Abstract: the phrase 'via a rather intricate reasoning' is used for the general-case implication M < 0 ⇒ ρ < 0, yet no equation numbers or key inequalities are indicated. Adding a parenthetical reference to the density formula and the no-shell-crossing inequalities employed would make the claim self-contained.
- [Section introducing the no-shell-crossing conditions] The no-shell-crossing conditions should be written explicitly (as inequalities on the metric functions or their derivatives) at the point where they are first invoked, before the density sign is deduced.
- [Conclusion] A short concluding paragraph summarizing the Friedmann-limit case versus the general case would help readers see the logical structure at a glance.
Simulated Author's Rebuttal
We thank the referee for the positive and accurate summary of our manuscript. The report correctly identifies the key result that the no-shell-crossing conditions imply negative dust density for M < 0 in both classes of Szekeres metrics, thereby excluding these solutions as viable cosmological models. No specific major comments were provided in the report.
Circularity Check
No significant circularity identified
full rationale
The paper derives that M < 0 implies ρ < 0 under no-shell-crossing conditions by direct substitution of the Szekeres metric into the Einstein dust equations, using the standard geometric inequalities on the metric functions. This holds immediately in the Friedmann limit and via the density formula plus inequalities in the general case. No step reduces by construction to a fitted input, self-referential definition, or load-bearing self-citation chain; the result is a straightforward mathematical implication from the provided equations and conditions, rendering the derivation self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Einstein's equations hold with a dust source (T_μν = ρ u_μ u_ν)
- domain assumption Absence of shell crossings is required for a physically acceptable spacetime
Reference graph
Works this paper leans on
-
[1]
W. B. Bonnor, A. H. Sulaiman and N. Tomimura, Szekeres’s space-times have no Killing vectors,Gen. Relativ. Gravit.8, 549 (1977)
work page 1977
-
[2]
Szekeres, A class of inhomogeneous cosmological models.Commun
P. Szekeres, A class of inhomogeneous cosmological models.Commun. Math. Phys.41, 55 (1975)
work page 1975
-
[3]
Szekeres, Quasispherical gravitational collapse.Phys
P. Szekeres, Quasispherical gravitational collapse.Phys. Rev.D12, 2941 (1975)
work page 1975
-
[4]
J. Pleba´ nski and A. Krasi´ nski,An Introduction to General Relativity and Cos- mology. Second edition. Cambridge University Press 2024
work page 2024
-
[5]
A. A. Friedmann, ¨Uber die Kr¨ ummung des Raumes [On the curvature of space],Z. Physik10, 377 (1922)
work page 1922
-
[6]
A. A. Friedmann, ¨Uber die M¨ oglichkeit einer Welt mit konstanter negativer Kr¨ ummung des Raumes [On the possibility of a world with constant negative curvature of space],Z. Physik21, 326 (1924). English translation of both Friedmann papersGen. Relativ. Gravit.31, 1991 and 2001 (1999) with an editorial note by A. Krasi´ nski and G. F. R. EllisGen. Relat...
work page 1924
-
[7]
Krasi´ nski, Inhomogeneous cosmological models
A. Krasi´ nski, Inhomogeneous cosmological models. Cambridge University Press, Cambridge 1997
work page 1997
-
[8]
Hellaby, The nonsimultaneous nature of the SchwarzschildR= 0 singular- ity,J
C. Hellaby, The nonsimultaneous nature of the SchwarzschildR= 0 singular- ity,J. Math. Phys.37, 2892 (1996)
work page 1996
-
[9]
Krasi´ nski, Geometry and topology of the quasi-plane Szekeres model,Phys
A. Krasi´ nski, Geometry and topology of the quasi-plane Szekeres model,Phys. Rev.78, 064038 (2008)
work page 2008
-
[10]
C. Hellaby and A. Krasi´ nski, Physical and geometrical interpretation of the ϵ≤0 Szekeres models.Phys. Rev.D77, 023529 (2008)
work page 2008
-
[11]
Hellaby, The null and KS limits of the Szekeres model,Class
C. Hellaby, The null and KS limits of the Szekeres model,Class. Quant. Grav. 13, 2537 (1996)
work page 1996
-
[12]
K. Bolejko, M.-N. C´ el´ erier and A. Krasi´ nski, Inhomogeneous cosmological models: exact solutions and their applications.Class. Quant. Grav.28, 164002 (2011)
work page 2011
-
[13]
K. Bolejko, A. Krasi´ nski, C. Hellaby and M.-N. C´ el´ erier, Structures in the Universe by exact methods – formation, evolution, interactions. Cambridge University Press 2010
work page 2010
-
[14]
C. Hellaby and A. Krasi´ nski, You cannot get through Szekeres wormholes or regularity, topology and causality in quasi-spherical Szekeres models,Phys. Rev.D66, 084011 (2002)
work page 2002
-
[15]
A. Krasi´ nski and K. Bolejko, Geometry of the quasi-hyperbolic Szekeres mod- els.Phys. Rev.D86, 104036 (2012)
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.