pith. machine review for the scientific record. sign in

arxiv: 2605.09101 · v1 · submitted 2026-05-09 · 🧮 math.MG

Recognition: 2 theorem links

· Lean Theorem

Lorentzian coarea inequality

Hikaru Kubota

Pith reviewed 2026-05-12 03:07 UTC · model grok-4.3

classification 🧮 math.MG
keywords Lorentzian pre-length spacescoarea inequalityLorentzian Hausdorff measurecausal diamondscovering lemmaLorentzian geometrypre-length spaces
0
0 comments X

The pith

The coarea inequality holds for Lorentzian Hausdorff measure once locally uniformly d-controlling maps are present.

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

The paper defines locally uniformly d-controlling maps on Lorentzian pre-length spaces that keep the diameters of causal diamonds fixed. These maps are then used to prove the coarea inequality for the Lorentzian Hausdorff measure introduced by McCann and Sämann. A covering lemma is also derived once the local causal enlargement property is assumed, allowing causal diamonds to be enlarged in a controlled way. A reader would care because the result supplies a basic slicing tool for measures in Lorentzian geometry, where level sets are typically causal or achronal.

Core claim

By introducing locally uniformly d-controlling maps between Lorentzian pre-length spaces that preserve the diameters of causal diamonds, the paper establishes the coarea inequality for the Lorentzian Hausdorff measure. Under the additional local causal enlargement property, the same maps yield a covering lemma for arbitrary subsets of the space.

What carries the argument

The locally uniformly d-controlling map, defined to preserve diameters of causal diamonds, carries the proof of the coarea inequality and, together with the local causal enlargement property, supports the covering lemma.

If this is right

  • The Lorentzian Hausdorff measure of a set equals the integral of the measures of its level sets with respect to the controlling map.
  • Subsets of Lorentzian pre-length spaces admit coverings by enlarged causal diamonds under the local causal enlargement assumption.
  • The inequality supplies a slicing relation that relates n-dimensional Lorentzian measure to (n-1)-dimensional measures on level sets.

Where Pith is reading between the lines

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

  • The inequality may permit integration by parts or perimeter estimates for causal boundaries once controlling maps are exhibited in concrete spacetimes.
  • If standard Lorentzian manifolds admit such maps, the result would immediately give a coarea formula for Hausdorff measure in general relativity.
  • The covering lemma could be used to construct maximal causal chains or to control the growth of measure along time-like directions.

Load-bearing premise

The existence and properties of locally uniformly d-controlling maps that preserve diameters of causal diamonds, together with the local causal enlargement property needed for the covering lemma.

What would settle it

A Lorentzian pre-length space in which no locally uniformly d-controlling map exists and the coarea inequality fails for the Lorentzian Hausdorff measure, or where the covering lemma fails without the enlargement property.

read the original abstract

In this article, we introduce the notion of locally uniformly d-controlling map between Lorentzian pre-length spaces which is preserving the diameters of causal diamonds, and through that we establish the coarea inequality for Lorentzian Hausdorff measure which is introduced by McCann and S\"{a}mann. Besides that we get a covering lemma for subsets in a Lorentzian pre-length space with a new local assumption named the local causal enlargement property, which enables us to enlarge causal diamonds.

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.

Referee Report

0 major / 3 minor

Summary. The paper introduces the notion of locally uniformly d-controlling maps between Lorentzian pre-length spaces that preserve the diameters of causal diamonds. It defines the local causal enlargement property to derive a covering lemma, and uses these tools to prove the coarea inequality for the Lorentzian Hausdorff measure introduced by McCann and Sämann.

Significance. If the result holds, the work extends the coarea inequality to Lorentzian pre-length spaces, providing a new analytic tool in the setting of the McCann–Sämann Lorentzian Hausdorff measure. The introduced concepts of d-controlling maps and causal enlargement add to the available techniques for geometric measure theory on causal structures and may support further developments in Lorentzian analysis. The construction appears direct from the new definitions and lemmas without circularity or hidden parameters.

minor comments (3)
  1. [Abstract] Abstract: the phrasing 'which is introduced by McCann and S¨{a}mann' is slightly awkward; consider rephrasing for clarity as 'the Lorentzian Hausdorff measure introduced by McCann and Sämann'.
  2. [Introduction or main theorem statement] The paper would benefit from an explicit statement of the precise hypotheses under which the coarea inequality holds (e.g., which regularity is assumed on the Lorentzian pre-length space beyond the local causal enlargement property).
  3. [Section defining the maps and property] Notation for the controlling maps and the enlargement property should be introduced with a dedicated definition environment and cross-referenced in the proof of the covering lemma.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of our manuscript. The referee's summary accurately captures the key elements: the definition of locally uniformly d-controlling maps that preserve diameters of causal diamonds, the local causal enlargement property, the resulting covering lemma, and the application to the coarea inequality for the McCann–Sämann Lorentzian Hausdorff measure. We appreciate the recommendation for minor revision and the note that the construction is direct without circularity.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained on new definitions

full rationale

The paper defines original objects (locally uniformly d-controlling maps preserving causal-diamond diameters, plus the local causal enlargement property) and deploys them to obtain a covering lemma before proving the coarea inequality for the externally introduced McCann–Sämann Lorentzian Hausdorff measure. All load-bearing steps are explicit constructions and lemmas supplied in the text; none reduce by definition, by fitting, or by self-citation chains to the target inequality itself. The argument therefore stands as an independent derivation under the stated hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the central claim rests on the new map definition and the local causal enlargement property whose details are not provided.

pith-pipeline@v0.9.0 · 5353 in / 968 out tokens · 51672 ms · 2026-05-12T03:07:38.125713+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  1. [1]

    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(2023), no. 6, 1469–1528; MR4785565

    work page 2023

  2. [2]

    McCann, Argam Ohanyan, Felix Rott, and Clemens S¨ amann

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

    work page arXiv

  3. [3]

    Beran, M

    T. Beran, M. Kunzinger, A. Ohanyan, and F. Rott.The equivalence of smooth and synthetic notions of timelike sectional curvature bounds. Proc. Amer. Math. Soc.153(2025), no. 2, 783–797; MR4852799. 21

    work page 2025

  4. [4]

    Beran, M

    T. Beran, M. Kunzinger, and F. Rott.On curvature bounds in Lorentzian length spaces. J. Lond. Math. Soc. (2)110(2024), no. 2, Paper No. e12971, 41 pp.; MR4781260

    work page 2024

  5. [5]

    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. Lett. Math. Phys.113(2023), no. 2, Paper No. 48, 47 pp.; MR4579262

    work page 2023

  6. [6]

    Beran and C

    T. Beran and C. S¨ amann.Hyperbolic angles in Lorentzian length spaces and timelike curvature bounds. J. Lond. Math. Soc. (2)107(2023), no. 5, 1823–1880; MR4585303

    work page 2023

  7. [7]

    Braun.R´ enyi’s entropy on Lorentzian spaces

    M. Braun.R´ enyi’s entropy on Lorentzian spaces. Timelike curvature-dimension conditions. J. Math. Pures Appl177(2023), Pages 46-128, ISSN 0021-7824

    work page 2023

  8. [8]

    Comparison theory for Lipschitz spacetimes

    M. Braun and M.-S. Candal.Comparison theory for Lipschitz spacetimes. arXiv:2603.24195

    work page arXiv

  9. [9]

    McCann, Argam Ohanyan, and Clemens S¨ amann

    M. Braun, N. Gigli, R. J. McCann, A. Ohanyan, and C. S¨ amann.A Lorentzian splitting theorem for continuously differentiable metrics and weights. arXiv:2507.06836

    work page arXiv

  10. [10]

    Braun and S

    M. Braun and S. Ohta.Optimal transport and timelike lower Ricci curvature bounds on Finsler spacetimes. Trans. Amer. Math. Soc.377(2024), no. 5, 3529–3576; MR4744787

    work page 2024

  11. [11]

    Braun and C

    M. Braun and C. S¨ amann.Gromov’s reconstruction theorem and measured Gromov-Hausdorff convergence in Lorentzian geometry. arXiv:2506.10852

    work page arXiv

  12. [12]

    Cavalletti, D

    F. Cavalletti, D. Manini and A. Mondino.Optimal transport on null hypersurfaces and the null energy condition. Comm. Math. Phys.406(2025), no. 9, Paper No. 212, 62 pp.; MR4940202

    work page 2025

  13. [13]

    Cavalletti and A

    F. Cavalletti and A. Mondino.Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications. Camb. J. Math.12(2024), no. 2, 417–534; MR4779676

    work page 2024

  14. [14]

    Cavalletti and A

    F. Cavalletti and A. Mondino.A sharp isoperimetric-type inequality for Lorentzian spaces satisfying timelike Ricci lower bounds. arXiv:2401.03949

    work page arXiv

  15. [15]

    P. T. Chru´ sciel and J. D. E. Grant.On Lorentzian causality with continuous metrics. Classical Quantum Gravity29(2012), no. 14, 145001, 32 pp.; MR2949547

    work page 2012

  16. [16]

    D. L. Cohn.Measure theory, 2nd edition. Birkh¨ auser Advanced Texts: Basler Lehrb¨ ucher, Birkh¨ auser/Springer, New York, 2013; MR3098996

    work page 2013

  17. [17]

    Esmayli and P

    B. Esmayli and P. Haj lasz.The coarea inequality. Ann. Fenn. Math.46(2021), no. 2, 965–991; MR4307012

    work page 2021

  18. [18]

    Garc´ ıa-Heveling and E

    L. Garc´ ıa-Heveling and E. Soultanis.Causal bubbles in globally hyperbolic spacetime. Gen. Relativity Gravitation54(2022), no. 12, Paper No. 155, 7 pp.; MR4517255. 22

    work page 2022

  19. [19]

    Graf.Singularity theorems forC 1-Lorentzian metric

    M. Graf.Singularity theorems forC 1-Lorentzian metric. Comm. Math. Phys.378(2020), no. 2, 1417–1450; MR4134950

    work page 2020

  20. [20]

    M. Graf, E. Hafemann, M. Kunzinger, and R. Steinbauer.Hawking’s singularity theorem for Lipschitz Lorentzian metrics. Comm. Math. Phys.406(2025), no. 9, Paper No. 207, 31 pp.; MR4940197

    work page 2025

  21. [21]

    Graf, E.-A

    M. Graf, E.-A. Kontou, A. Ohanyan, and Y. Schinnerl.Hawking-type singularity theo- rems for worldvolume energy inequalities. Ann. Henri Poincar´ e26(2025), no. 11, 3871–3906; MR4970217

    work page 2025

  22. [22]

    J. D. E. Grant, M. Kunzinger, C. S¨ amann, and R. Steinbauer.The future is not always open. Lett. Math. Phys.110(2020), no. 1, 83–103; MR4047145

    work page 2020

  23. [23]

    Korte and P

    R. Korte and P. Lahti.Relative isoperimetric inequalities and sufficient conditions for finite perimeter on metric spaces. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire31(2014), no. 1, 129–154; MR3165282

    work page 2014

  24. [24]

    Kubota.Volume comparison by timelike Lipschitz maps

    H. Kubota.Volume comparison by timelike Lipschitz maps. Lett. Math. Phys.116(2026), no. 1, Paper No. 6, 24 pp.; MR5006726

    work page 2026

  25. [25]

    Kunzinger, A

    M. Kunzinger, A. Ohanyan, B. Schinnerl, and R. Steinbauer.The Hawking–Penrose Singu- larity Theorem forC 1-Lorentzian Metrics. Comm. Math. Phys.391(2022), no. 3, 1143–1179; MR4405569

    work page 2022

  26. [26]

    Kunzinger and C

    M. Kunzinger and C. S¨ amann.Lorentzian length spaces. Ann. Global Anal. Geom.54(2018), no. 3, 399–447; MR3867652

    work page 2018

  27. [27]

    Kunzinger and R

    M. Kunzinger and R. Steinbauer.Null Distance and Convergence of Lorentzian Length Spaces. Ann. Henri Poincar´ e23(2022), no. 12, 4319–4342; MR4512238

    work page 2022

  28. [28]

    Ling.Aspects ofC 0 causal theory

    E. Ling.Aspects ofC 0 causal theory. Gen. Relativity Gravitation52(2020), no. 6, Paper No. 57, 40 pp.; MR4111861

    work page 2020

  29. [29]

    Lott and C

    J. Lott and C. VillaniRicci curvature for metric-measure spaces via optimal transport. Ann. of Math. (2)169(2009), no. 3, 903–991; MR2480619

    work page 2009

  30. [30]

    R. J. McCann.Displacement convexity of Boltzmann’s entropy characterizes the strong energy condition from general relativity. Camb. J. Math.8(2020), no. 3, 609–681; MR4192570

    work page 2020

  31. [31]

    McCann.A synthetic null energy condition

    R.J. McCann.A synthetic null energy condition. Comm. Math. Phys.405(2024), no. 2, Paper No. 38, 24 pp.; MR4703452

    work page 2024

  32. [32]

    R. J. McCann and C. S¨ amann.A Lorentzian analog for Hausdorff dimension and measure. Pure Appl. Anal.4(2022), no. 2, 367–400; MR4496090. 23

    work page 2022

  33. [33]

    Minguzzi and S

    E. Minguzzi and S. Suhr.Lorentzian metric spaces and their Gromov–Hausdorff convergence. Lett. Math. Phys.114(2024), no. 3, Paper No. 73, 63 pp.; MR4752400

    work page 2024

  34. [34]

    Lorentzian Gromov-Hausdorff convergence and pre- compactness

    A. Mondino and C. S¨ amann.Lorentzian Gromov-Hausdorff convergence and pre-compactness. arXiv:2504.10380

    work page arXiv

  35. [35]

    Mondino and S

    A. Mondino and S. Suhr.An optimal transport formulation of the Einstein equations of general relativity. J. Eur. Math. Soc. (JEMS)25(2023), no. 3, 933–994; MR4577957

    work page 2023

  36. [36]

    M¨ uller.Lorentzian Gromov–Hausdorff theory and finiteness results

    O. M¨ uller.Lorentzian Gromov–Hausdorff theory and finiteness results. Gen. Relativity Grav- itation54(2022), no. 10, Paper No. 117, 17 pp.; MR4493631

    work page 2022

  37. [37]

    Noldus.A Lorentzian Gromov-Hausdorff notion of distance

    J. Noldus.A Lorentzian Gromov-Hausdorff notion of distance. Classical Quantum Gravity 21(2004), no. 4, 839–850; MR2036128

    work page 2004

  38. [38]

    S¨ amann.Global hyperbolicity for spacetimes with continuous metrics

    C. S¨ amann.Global hyperbolicity for spacetimes with continuous metrics. Ann. Henri Poincar´ e 17(2016), no. 6, 1429–1455; MR3500220

    work page 2016

  39. [39]

    Sormani and C

    C. Sormani and C. Vega.Null distance on a spacetime. Classical Quantum Gravity33(2016), no. 8, 085001, 29 pp.; MR3476515

    work page 2016

  40. [40]

    K. T. SturmOn the geometry of metric measure spaces. I. Acta Math. 196 (2006), no. 1, 65–131

    work page 2006

  41. [41]

    K. T. SturmOn the geometry of metric measure spaces. II. Acta Math. 196 (2006), no. 1, 133–177. 24

    work page 2006