Recognition: 2 theorem links
· Lean TheoremGravitational edge mode powers galaxy flat rotation curves
Pith reviewed 2026-05-15 07:26 UTC · model grok-4.3
The pith
Gravitational edge modes on spacetime boundaries produce flat galaxy rotation curves without dark matter particles.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By isolating singularities through spacetime surgery across a shared matter-horizon boundary and gluing spacetime sheets, a covariant backreaction contribution to the energy-momentum tensor is obtained. This contribution is identified with gravitational edge modes, physical degrees of freedom residing on boundaries that arise from the breaking of the diffeomorphism group. These modes modify local particle trajectories and thereby generate flat rotation curves in the outskirts of galaxies without any additional dark-matter particles.
What carries the argument
Gravitational edge modes, identified with the covariant backreaction term obtained by gluing spacetime sheets across a matter horizon, that contribute to the effective energy-momentum tensor and alter particle trajectories.
Load-bearing premise
The backreaction term produced by gluing the spacetime sheets can be identified with gravitational edge modes that directly generate the observed flat rotation curves without further tuning.
What would settle it
A calculation of orbital velocities in a model galaxy using the derived backreaction term that fails to reproduce the observed flattening at large radii would falsify the central claim.
Figures
read the original abstract
The point-particle approximation is foundational to modelling clustering of matter in the universe, but is fundamentally inconsistent within General Relativity due to associated spacetime singularities. This bottleneck has historically restricted the study of matter clustering to linear scales. We resolve this by utilising the recent observation that a matter horizon precedes the formation of caustics in expanding spacetimes. This allows for the isolation of singularities via spacetime surgery. By glueing distinct spacetime sheets related by a discrete transformation across the shared boundary, we derive a covariant backreaction term that contributes to the effective energy-momentum tensor. Crucially, we identify this backreaction contribution with gravitational edge modes; physical degrees of freedom residing on boundaries that arise from the breaking of the diffeomorphism group. These gravitational edge modes modify local particle trajectories, naturally producing flat galaxy rotation curves in the outskirts without invoking dark matter particles. Our framework thus demonstrates that gravitational edge modes can act as effective dark matter, offering a first-principles alternative to particle dark matter for explaining galactic dynamics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that the point-particle approximation in GR is inconsistent due to singularities, resolved by isolating them via matter horizons preceding caustics in expanding spacetimes. Spacetime surgery and gluing of sheets related by discrete transformations yields a covariant backreaction term in the effective energy-momentum tensor, which is identified with gravitational edge modes arising from diffeomorphism breaking. These modes modify local geodesics to naturally produce asymptotically flat galaxy rotation curves in the outskirts for baryonic matter distributions, offering a first-principles alternative to particle dark matter.
Significance. If the derivation of the backreaction term and its identification with edge modes can be shown to yield parameter-free flat rotation curves matching observations, the result would be significant for galactic dynamics and nonlinear structure formation in GR. It attempts to leverage boundary degrees of freedom without new particles or ad-hoc fields, potentially impacting models of matter clustering beyond linear scales. The framework's strength lies in its covariant construction, but verification requires the missing explicit steps.
major comments (3)
- [Derivation of backreaction term] Following the spacetime surgery and gluing construction, the explicit covariant form of the backreaction term added to the effective energy-momentum tensor is not derived or displayed. This omission prevents verification of how the term sources metric modifications that alter geodesics.
- [Identification with edge modes and rotation curves] The identification of the backreaction with gravitational edge modes is asserted, but the manuscript does not reduce the modified effective stress-energy to the geodesic equation and solve for circular orbits to obtain v(r) = constant at large r for a baryonic mass distribution. Without this step, the flat-curve claim cannot be confirmed as natural rather than dependent on boundary choices.
- [Comparison to observations] No quantitative comparison to observed galaxy rotation curves, error estimates, or independent benchmark predictions is provided, leaving open whether the framework reproduces the flattening without tuning or post-hoc adjustments to the edge-mode degrees of freedom.
minor comments (1)
- [Abstract] The abstract references a 'recent observation' of matter horizons preceding caustics but supplies no citation or brief outline of the supporting prior result.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive feedback on our manuscript. We address each major comment point by point below, providing clarifications and indicating revisions made to improve the presentation and completeness of the derivation.
read point-by-point responses
-
Referee: [Derivation of backreaction term] Following the spacetime surgery and gluing construction, the explicit covariant form of the backreaction term added to the effective energy-momentum tensor is not derived or displayed. This omission prevents verification of how the term sources metric modifications that alter geodesics.
Authors: We appreciate this observation. While the manuscript outlines the spacetime surgery procedure and states that a covariant backreaction term is derived from the gluing of sheets related by discrete transformations, the explicit tensorial expression was not isolated in a dedicated equation for immediate reference. In the revised manuscript we have added the explicit form of the backreaction contribution to the effective energy-momentum tensor (new Eq. (12) in Section 3) together with the intermediate steps showing how the jump conditions across the matter horizon yield this term. We have also included a short appendix deriving how this term enters the geodesic equation. revision: yes
-
Referee: [Identification with edge modes and rotation curves] The identification of the backreaction with gravitational edge modes is asserted, but the manuscript does not reduce the modified effective stress-energy to the geodesic equation and solve for circular orbits to obtain v(r) = constant at large r for a baryonic mass distribution. Without this step, the flat-curve claim cannot be confirmed as natural rather than dependent on boundary choices.
Authors: The identification follows directly from the fact that the surgery breaks diffeomorphism invariance at the boundary, thereby promoting the boundary data to physical edge-mode degrees of freedom. In the revised version we have expanded Section 4 to explicitly substitute the backreaction term into the effective Einstein equations, reduce the resulting metric perturbation to the geodesic equation in the weak-field limit, and solve for circular orbits. The resulting orbital velocity is shown to approach a constant value at large radii for any baryonic density profile that falls off sufficiently rapidly; the boundary data are fixed by the discrete gluing map and do not introduce free parameters. revision: yes
-
Referee: [Comparison to observations] No quantitative comparison to observed galaxy rotation curves, error estimates, or independent benchmark predictions is provided, leaving open whether the framework reproduces the flattening without tuning or post-hoc adjustments to the edge-mode degrees of freedom.
Authors: We agree that the present work contains no direct numerical comparison with observational data. The manuscript is a theoretical derivation demonstrating that the edge-mode backreaction produces asymptotically flat rotation curves from first principles. We have added a paragraph in the conclusions outlining how the framework can be confronted with data (e.g., by solving the modified Poisson equation for observed baryonic profiles) and noting that such quantitative tests lie beyond the scope of this initial paper. No tuning parameters are introduced in the current construction; any future comparison will therefore be parameter-free at the level of the edge-mode contribution. revision: partial
Circularity Check
Backreaction-to-edge-mode identification asserts flat curves without explicit geodesic reduction
specific steps
-
self definitional
[Abstract]
"By glueing distinct spacetime sheets related by a discrete transformation across the shared boundary, we derive a covariant backreaction term that contributes to the effective energy-momentum tensor. Crucially, we identify this backreaction contribution with gravitational edge modes; physical degrees of freedom residing on boundaries that arise from the breaking of the diffeomorphism group. These gravitational edge modes modify local particle trajectories, naturally producing flat galaxy rotation curves in the outskirts without invoking dark matter particles."
The backreaction term is constructed first; the subsequent identification with edge modes is asserted, after which the production of asymptotically flat rotation curves is declared 'natural' without an explicit reduction showing how the effective stress-energy alters the geodesic equation to yield v = const for baryonic mass distributions. The flat-curve result is therefore equivalent to the identification choice by construction.
full rationale
The paper derives a covariant backreaction via spacetime surgery and glueing, then identifies it with gravitational edge modes. The claim that these modes 'naturally produce' flat rotation curves follows directly from that identification step rather than from an independent derivation of the modified geodesic equation for circular orbits. No parameter-free prediction or external benchmark is shown; the flat v(r) outcome is tied to the identification itself. This meets the criteria for partial circularity (fitted/identified input called prediction) but the core surgery construction remains independent.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption A matter horizon precedes the formation of caustics in expanding spacetimes
invented entities (1)
-
gravitational edge modes identified with backreaction term
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
By glueing distinct spacetime sheets... we derive a covariant backreaction term... identify this backreaction contribution with gravitational edge modes... naturally producing flat galaxy rotation curves
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
τab ≈ ρm ua ub + δ(R−R⋆) ˜Zab with ˜Zab = ˜σ⟨ab⟩/κ
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]
This is the key equation for the cosmologicalN-body simulation [6]. On large scales, where the characteristic sizeR ph of a particle is negligible compared to an external length scale of interest,L ph, i.eR ph ≪Lph, the PPA yields a consistent approximation. However, it breaks down on non-linear scales whereL ph ≈Rph. The standard framework for capturing ...
work page internal anchor Pith review Pith/arXiv arXiv 2026
- [2]
- [3]
-
[4]
Large-Scale Structure of the Universe and Cosmological Perturbation Theory
F. Bernardeau, S. Colombi, E. Gaztanaga, and R. Scoccimarro,Large scale structure of the universe and cosmological perturbation theory,Phys.Rept.367 (2002) 1–248, [astro-ph/0112551]
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[5]
O. Umeh, R. Maartens, and M. Santos,Nonlinear modulation of the HI power spectrum on ultra-large scales. I,JCAP1603(2016), no. 03 061, [arXiv:1509.03786]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[6]
O. Hahn and R. E. Angulo,An adaptively refined phase–space element method for cosmological simulations and collisionless dynamics,Mon. Not. Roy. Astron. Soc.455(2016), no. 1 1115–1133, [arXiv:1501.01959]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[7]
gevolution: a cosmological N-body code based on General Relativity
J. Adamek, D. Daverio, R. Durrer, and M. Kunz, gevolution: a cosmological N-body code based on General Relativity,JCAP07(2016) 053, [arXiv:1604.06065]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[8]
The motion of point particles in curved spacetime
E. Poisson, A. Pound, and I. Vega,The Motion of point particles in curved spacetime,Living Rev. Rel.14 (2011) 7, [arXiv:1102.0529]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[9]
J. M. M. Senovilla,Gravitational double layers,Class. Quant. Grav.31(2014) 072002, [arXiv:1402.1139]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[10]
O. Umeh,Vorticity generation in cosmology and the role of shell crossing,JCAP12(2023) 043, [arXiv:2303.08782]
-
[11]
An essential building block for cosmological zoom-in perturbation theory
O. Umeh,An essential building block for cosmological zoom-in perturbation theory,arXiv:2601.19812
work page internal anchor Pith review Pith/arXiv arXiv
- [12]
-
[13]
J. J. M. Carrasco, M. P. Hertzberg, and L. Senatore, The Effective Field Theory of Cosmological Large Scale Structures,JHEP09(2012) 082, [arXiv:1206.2926]
work page internal anchor Pith review Pith/arXiv arXiv 2012
- [14]
-
[15]
Biased Tracers in Redshift Space in the EFT of Large-Scale Structure
A. Perko, L. Senatore, E. Jennings, and R. H. Wechsler, Biased Tracers in Redshift Space in the EFT of Large-Scale Structure,arXiv:1610.09321
work page internal anchor Pith review Pith/arXiv arXiv
-
[16]
R. M. Wald,General relativity. 1984
work page 1984
-
[17]
The motion of point particles in curved spacetime
E. Poisson,The Motion of point particles in curved space-time,Living Rev.Rel.7(2004) 6, [gr-qc/0306052]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[18]
S. R. Goldberg, T. Clifton, and K. A. Malik,Cosmology on all scales: a two-parameter perturbation expansion, Phys. Rev. D95(2017), no. 4 043503, [arXiv:1610.08882]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[19]
G. F. R. Ellis and W. R. Stoeger,The Evolution of Our Local Cosmic Domain: Effective Causal Limits,Mon. Not. Roy. Astron. Soc.398(2009) 1527–1536, [arXiv:1001.4572]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[20]
E. Gazta˜ naga and K. S. Kumar,Finding origins of CMB anomalies in the inflationary quantum fluctuations,JCAP06(2024) 001, [arXiv:2401.08288]
-
[21]
G. F. R. Ellis and H. van Elst,Cosmological models, NATO Adv. Study Inst. Ser. C. Math. Phys. Sci.541 (1999) 1–116, [gr-qc/9812046]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[22]
O. Umeh, J. Larena, and C. Clarkson,The Hubble rate in averaged cosmology,JCAP1103(2011) 029, [arXiv:1011.3959]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[23]
J. F. Navarro, C. S. Frenk, and S. D. M. White,The Structure of cold dark matter halos,Astrophys. J.462 (1996) 563–575, [astro-ph/9508025]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[24]
O. Umeh,Cosmological zoom-in perturbation theory as a consistent beyond point-particle approximation framework,000000
-
[25]
G. W. Gibbons and S. W. Hawking,Action Integrals and Partition Functions in Quantum Gravity,Phys. Rev. D15(1977) 2752–2756
work page 1977
-
[26]
J. D. Brown and J. W. York, Jr.,Quasilocal energy and conserved charges derived from the gravitational action, Phys. Rev. D47(1993) 1407–1419, [gr-qc/9209012]
work page internal anchor Pith review Pith/arXiv arXiv 1993
-
[27]
Hayward,Gravitational action for space-times with nonsmooth boundaries,Phys
G. Hayward,Gravitational action for space-times with nonsmooth boundaries,Phys. Rev. D47(1993) 3275–3280
work page 1993
-
[28]
J. W. York, Jr.,Role of conformal three geometry in the dynamics of gravitation,Phys. Rev. Lett.28(1972) 1082–1085
work page 1972
-
[29]
Eckart,The Thermodynamics of irreversible processes
C. Eckart,The Thermodynamics of irreversible processes. 3.. Relativistic theory of the simple fluid, Phys. Rev.58(1940) 919–924
work page 1940
-
[30]
Hernquist,An Analytical Model for Spherical Galaxies and Bulges, ApJ356(June, 1990) 359
L. Hernquist,An Analytical Model for Spherical Galaxies and Bulges, ApJ356(June, 1990) 359
work page 1990
-
[31]
J. G. O’Brien, T. L. Chiarelli, J. Dentico, M. Stulge, B. Stefanski, R. Moss, and S. Chaykov,Alternative gravity rotation curves for the LITTLE THINGS Survey,Astrophys. J.852(2018), no. 1 6, [arXiv:1705.01252]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[32]
M. Milgrom,A modification of the Newtonian dynamics as a possible alternative to the hidden mass hypothesis., ApJ270(July, 1983) 365–370
work page 1983
-
[33]
xPand: An algorithm for perturbing homogeneous cosmologies
C. Pitrou, X. Roy, and O. Umeh,xPand: An algorithm for perturbing homogeneous cosmologies,Class. Quant. Grav.30(2013) 165002, [arXiv:1302.6174]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[34]
xPert: Computer algebra for metric perturbation theory
D. Brizuela, J. M. Martin-Garcia, and G. A. Mena Marugan,xPert: Computer algebra for metric perturbation theory,Gen.Rel.Grav.41(2009) 2415–2431, [arXiv:0807.0824]
work page internal anchor Pith review Pith/arXiv arXiv 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.