arxiv: 2604.22420 · v1 · submitted 2026-04-24 · 🧮 math.DG · math.MG

Recognition: unknown

Infinitesimal Minkowskianity for manifolds with continuous Lorentzian metrics

Authors on Pith no claims yet

Pith reviewed 2026-05-08 09:54 UTC · model grok-4.3

classification 🧮 math.DG math.MG

keywords Lorentzian metricscontinuous metricscausal simplicityinfinitesimal Minkowskianitymetric measure spacetimessmooth manifoldsLorentzian geometry

0 comments

The pith

Any causally simple spacetime with a continuous Lorentzian metric on a smooth manifold is infinitesimally Minkowskian.

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

The paper proves that metric measure spacetimes built from smooth manifolds carrying only continuous Lorentzian metrics still satisfy infinitesimal Minkowskianity whenever the spacetime is causally simple. This removes the need for higher differentiability that earlier results imposed on the metric. A reader cares because many physically motivated models allow metrics with limited regularity, and the result shows the local Minkowski-like structure survives in the measure-theoretic sense under the stated causal condition.

Core claim

We prove that any metric measure spacetime arising from a smooth manifold M endowed with a continuous Lorentzian metric g is infinitesimally Minkowskian, under the assumption that (M, g) is causally simple.

What carries the argument

Infinitesimal Minkowskianity for metric measure spacetimes, established by using causal simplicity to control the local distance and measure behavior of the continuous metric.

If this is right

The class of admissible metrics for which infinitesimal Minkowskianity holds enlarges from smooth to continuous Lorentzian metrics.
Theorems that rely on infinitesimal Minkowskianity now apply directly to a wider range of continuous-metric spacetimes.
Causal simplicity becomes the decisive regularity assumption rather than metric differentiability for this local property.

Where Pith is reading between the lines

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

Causal simplicity may be the minimal topological or causal condition needed to preserve Minkowski-like tangents under low metric regularity.
The result suggests testing whether other local geometric properties, such as curvature bounds, also persist for continuous metrics once causal simplicity is assumed.
One could construct explicit continuous metrics on simple manifolds like Minkowski space itself to verify the property holds in concrete cases.

Load-bearing premise

The spacetime must be causally simple; without this condition the infinitesimal Minkowskian property can fail even for continuous metrics.

What would settle it

An explicit example of a smooth manifold with a continuous Lorentzian metric that is not causally simple yet whose induced metric measure spacetime is not infinitesimally Minkowskian.

read the original abstract

We prove that any metric measure spacetime arising from a smooth manifold $M$ endowed with a continuous Lorentzian metric $g$ is infinitesimally Minkowskian, under the assumption that $(M, g)$ is causally simple.

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

This paper proves infinitesimal Minkowskianity for continuous Lorentzian metrics on smooth manifolds under the explicit assumption of causal simplicity.

read the letter

The main thing here is a clean extension of local flatness results to continuous metrics. The claim is that any causally simple spacetime built from a smooth manifold and a continuous Lorentzian metric is infinitesimally Minkowskian. That moves past the usual smooth or C1 requirements in the literature while keeping the statement tightly scoped to causal simplicity. The abstract frames it directly as a proof from those ingredients and standard manifold structure, with no extra entities or free parameters introduced. That is the actual novelty and the part that holds up on the given framing. The work does well by making the boundary condition explicit rather than burying it. No circularity shows in the setup, and the result is presented as following from the hypothesis without overreach. The soft spots are limited. The full proof steps are not visible in the material I have, so any potential gaps in lemmas or derivations cannot be checked directly. That is the main limit on assessing soundness right now. The assumption of causal simplicity is strong, and the paper correctly flags it as the condition under which the property holds; outside that, the claim does not apply. This is for readers already working in Lorentzian geometry and causality theory, especially those dealing with low-regularity or singular spacetimes. Someone in that niche would get direct value from the extension and could build on it. It shows clear engagement with the relevant literature and deserves a serious referee to examine the proof details. I would send it to peer review rather than desk reject.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that any metric measure spacetime arising from a smooth manifold M endowed with a continuous Lorentzian metric g is infinitesimally Minkowskian, under the assumption that (M, g) is causally simple.

Significance. If the result holds, it extends the infinitesimal Minkowskian property to the low-regularity setting of continuous Lorentzian metrics, which is relevant for Lorentzian geometry and general relativity with reduced smoothness assumptions. The explicit scoping to causally simple spacetimes is a strength, as it avoids overclaiming and identifies the boundary condition clearly.

minor comments (1)

[Abstract] The abstract states the main theorem cleanly but does not include a brief reminder of the definition of 'infinitesimally Minkowskian' or a pointer to the relevant prior literature, which would aid readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their review of our manuscript. We appreciate the positive assessment of the result's significance in extending the infinitesimal Minkowskian property to continuous Lorentzian metrics on causally simple spacetimes, which is relevant for Lorentzian geometry and general relativity with reduced regularity assumptions. The deliberate scoping to causally simple spacetimes is indeed intended to clearly identify the boundary conditions under which the result holds.

Circularity Check

0 steps flagged

No significant circularity; proof is self-contained from stated assumptions

full rationale

The paper states a direct theorem: any metric measure spacetime from a smooth manifold with continuous Lorentzian metric is infinitesimally Minkowskian when the pair is causally simple. This is scoped explicitly to the causal-simplicity hypothesis and standard manifold structures, with no reduction of the conclusion to fitted parameters, self-definitions, or load-bearing self-citations visible in the claim. The derivation chain therefore remains independent of its target result by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard differential geometry axioms plus the explicit causal simplicity assumption; no free parameters or invented entities are indicated in the abstract.

axioms (2)

standard math Standard axioms of smooth manifolds and continuous Lorentzian metrics
Invoked to define M and g in the statement.
domain assumption (M, g) is causally simple
Explicit assumption required for the theorem to hold.

pith-pipeline@v0.9.0 · 5317 in / 1142 out tokens · 40891 ms · 2026-05-08T09:54:47.445827+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.

Stability of Synthetic Timelike Ricci Bounds under $C^0$-Limits and Applications to Impulsive Gravitational Waves
gr-qc 2026-05 unverdicted novelty 8.0

Synthetic timelike Ricci bounds TCD^e_p(K,N) are stable under C^0-limits of Lorentzian metrics, with applications to impulsive gravitational waves and counterexamples to Lorentzian splitting theorems.

Reference graph

Works this paper leans on

49 extracted references · 6 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Alexander, V

S. Alexander, V. Kapovitch, and A. Petrunin.Alexandrov geometry: foundations, volume 236. American Mathematical Society, 2024

2024
[2]

S. B. Alexander, M. Graf, M. Kunzinger, and C. S¨ amann. Generalized cones as Lorentzian length spaces: causality, curvature, and singularity theorems.Comm. Anal. Geom, 31(6):1469–1528, 2023

2023
[3]

Ambrosio, N

L. Ambrosio, N. Fusco, and D. Pallara.Functions of bounded variation and free discontinuity problems. Oxford University Press, 2000

2000
[4]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savar´ e. Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below.Inventiones mathematicae, 195(2):289–391, 2014. 24

2014
[5]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savar´ e. Metric measure spaces with Riemannian Ricci curvature bounded from below.Duke Math. J., 163(7):1405–1490, 2014

2014
[6]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savar´ e. Metric measure spaces with Riemannian Ricci curvature bounded from below.Duke Mathematical Journal, 163(7):1405–1490, 2014

2014
[7]

K., and McCann, R

T. Beran, M. Braun, M. Calisti, N. Gigli, R. J. McCann, A. Ohanyan, F. Rott, and C. S¨ amann. A nonlinear d’Alembert comparison theorem and causal differential calculus on metric measure spacetimes. arXiv preprint arXiv:2408.15968, 2024

work page arXiv 2024
[8]

Beran, A

T. Beran, A. Ohanyan, F. Rott, and D. A. Solis. The splitting theorem for globally hyperbolic Lorentzian length spaces with non-negative timelike curvature.Letters in Mathematical Physics, 113(2):48, 2023

2023
[9]

M. Braun. Exact d’Alembertian for Lorentz distance functions.arXiv preprint arXiv:2408.16525, 2024

work page arXiv 2024
[10]

Braun and R

M. Braun and R. J. McCann. Causal convergence conditions through variable timelike Ricci curvature bounds. Preprint, arXiv:2312.17158 [math-ph] (2023), 2023

work page arXiv 2023
[11]

Braun and S.-i

M. Braun and S.-i. Ohta. Optimal transport and timelike lower Ricci curvature bounds on Finsler spacetimes.Transactions of the American Mathematical Society, 377(05):3529–3576, 2024

2024
[12]

Bru´ e and D

E. Bru´ e and D. Semola. Constancy of the dimension for Rcd(K, N) spaces via regularity of Lagrangian flows.Commun. Pure Appl. Math., 73(6):1141–1204, 2020

2020
[13]

Burtscher and L

A. Burtscher and L. Garcia-Heveling. Time functions on Lorentzian length spaces. InAnnales Henri Poincar´ e, volume 26, pages 1533–1572. Springer, 2025

2025
[14]

A. Y. Burtscher. Length structures on manifolds with continuous Riemannian metrics.New York J. Math., 21:273–296, 2015

2015
[15]

Busemann

H. Busemann. Timelike spaces.Diss. Math., 53, 1967

1967
[16]

Calisti, M

M. Calisti, M. Graf, E. Hafemann, M. Kunzinger, and R. Steinbauer. Hawking’s singularity theorem for Lipschitz Lorentzian metrics: M. Calisti, M. Graf, E. Hafemann, M. Kunzinger, R. Steinbauer. Communications in Mathematical Physics, 406(9):207, 2025

2025
[17]

On the geometry of synthetic null hypersurfaces

F. Cavalletti, D. Manini, and A. Mondino. On the geometry of synthetic null hypersurfaces. Preprint, arXiv:2506.04934 [math.DG] (2025), 2025

work page internal anchor Pith review Pith/arXiv arXiv 2025
[18]

Cavalletti and A

F. Cavalletti and A. Mondino. Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications.Cambridge Journal of Mathematics, 12(2):417–534, 2024

2024
[19]

Cavalletti and A

F. Cavalletti and A. Mondino. A sharp isoperimetric-type inequality for Lorentzian spaces satisfying timelike Ricci lower bounds. Preprint, arXiv:2401.03949 [math.MG] (2024), 2024

work page arXiv 2024
[20]

Chabrillac and J.-P

Y. Chabrillac and J.-P. Crouzeix. Continuity and differentiability properties of monotone real functions of several real variables. InNonlinear analysis and optimization, pages 1–16. Springer, 2009

2009
[21]

P. T. Chru´ sciel and J. D. Grant. On Lorentzian causality with continuous metrics.Classical and Quantum Gravity, 29(14):145001, 2012

2012
[22]

Er¨ os, M

D. Er¨ os, M. Kunzinger, A. Ohanyan, and A. Vardabasso. Distributional Sectional Curvature Bounds for Riemannian Metrics of Low Regularity.J. Geom. Anal., 36(3):Paper No. 92, 2026

2026
[23]

Gigli.On the differential structure of metric measure spaces and applications, volume 236

N. Gigli.On the differential structure of metric measure spaces and applications, volume 236. American Mathematical Society, 2015

2015
[24]

Gigli, E

N. Gigli, E. Pasqualetto, et al.Lectures on nonsmooth differential geometry, volume 2. Springer, 2020

2020
[25]

M. Graf. Singularity theorems forC 1-Lorentzian metrics.Communications in Mathematical Physics, 378(2):1417–1450, 2020. 25

2020
[26]

J. D. Grant, M. Kunzinger, and C. S¨ amann. Inextendibility of spacetimes and Lorentzian length spaces. Annals of global analysis and geometry, 55(1):133–147, 2019

2019
[27]

J. B. Griffiths and J. Podolsk` y.Exact space-times in Einstein’s general relativity. Cambridge University Press, 2009

2009
[28]

E. H. Kronheimer and R. Penrose. On the structure of causal spaces. InMathematical Proceedings of the Cambridge Philosophical Society, volume 63, pages 481–501. Cambridge University Press, 1967

1967
[29]

Kunzinger, M

M. Kunzinger, M. Oberguggenberger, and J. A. Vickers. Synthetic versus distributional lower Ricci curvature bounds.Proceedings of the Royal Society of Edinburgh: Section A Mathematics, pages 1–25, 2023

2023
[30]

Kunzinger, A

M. Kunzinger, A. Ohanyan, and A. Vardabasso. Ricci curvature bounds and rigidity for non-smooth Riemannian and semi-Riemannian metrics.Manuscripta Mathematica, 176(4):53, 2025

2025
[31]

Kunzinger and C

M. Kunzinger and C. S¨ amann. Lorentzian length spaces.Annals of global analysis and geometry, 54(3):399–447, 2018

2018
[32]

Leoni.A first course in Sobolev spaces

G. Leoni.A first course in Sobolev spaces. American Mathematical Soc., 2017

2017
[33]

Lott and C

J. Lott and C. Villani. Weak curvature conditions and functional inequalities.J. Funct. Anal., 245(1):311–333, 2007

2007
[34]

Lott and C

J. Lott and C. Villani. Ricci curvature for metric-measure spaces via optimal transport.Annals of Mathematics, 169:903–991, 2009

2009
[35]

R. J. McCann. Displacement convexity of Boltzmann’s entropy characterizes the strong energy condition from general relativity.Cambridge Journal of Mathematics, 8(3):609–681, 2020

2020
[36]

R. J. McCann and C. S¨ amann. A Lorentzian analog for Hausdorff dimension and measure.Pure and Applied Analysis, 4(2):367–400, 2022

2022
[37]

Minguzzi

E. Minguzzi. Causality theory for closed cone structures with applications.Rev. Math. Phys., 31(5):1930001, 139, 2019

2019
[38]

Minguzzi

E. Minguzzi. Lorentzian causality theory.Living reviews in relativity, 22(1):3, 2019

2019
[39]

Minguzzi, M

E. Minguzzi, M. S´ anchez, et al. The causal hierarchy of spacetimes.Recent developments in pseudo- Riemannian geometry, 4:299–358, 2008

2008
[40]

Mondino and A

A. Mondino and A. Naber. Structure theory of metric measure spaces with lower Ricci curvature bounds. J. Eur. Math. Soc. (JEMS), 21(6):1809–1854, 2019

2019
[41]

Mondino and V

A. Mondino and V. Ryborz. On the equivalence of distributional and synthetic Ricci curvature lower bounds.Journal of Functional Analysis, page 111035, 2025

2025
[42]

Mondino and S

A. Mondino and S. Suhr. An optimal transport formulation of the Einstein equations of general relativity. Journal of the European Mathematical Society, 25(3):933–994, 2022

2022
[43]

R. Penrose. The geometry of impulsive gravitational waves.General Relativity, Papers in Honour of JL Synge, pages 101–115, 1972

1972
[44]

V. Ryborz. The infinitesimal structure of manifolds with non-continuous Riemannian metrics.arXiv preprint arXiv:2507.14726, 2025

work page arXiv 2025
[45]

S¨ amann

C. S¨ amann. Global hyperbolicity for spacetimes with continuous metrics. InAnnales Henri Poincar´ e, volume 17, pages 1429–1455. Springer, 2016

2016
[46]

K.-T. Sturm. On the geometry of metric measure spaces. I.Acta Math., 196(1):65–131, 2006

2006
[47]

K.-T. Sturm. On the geometry of metric measure spaces. II.Acta Math., 196(1):133–177, 2006. 26

2006
[48]

J. Vickers. Quasi-regular singularities and cosmic strings.Classical and Quantum Gravity, 7(5):731, 1990

1990
[49]

J. A. Vickers and J. P. Wilson. Generalized hyperbolicity in conical spacetimes.Classical and Quantum Gravity, 17(6):1333, 2000. 27

2000