pith. sign in

arxiv: 2509.05224 · v2 · submitted 2025-09-05 · 🧮 math.DG · math-ph· math.MG· math.MP

Reshetnyak Majorisation and discrete upper curvature bounds for Lorentzian length spaces

Tobias Beran , Felix Rott This is my paper

Pith reviewed 2026-05-18 18:21 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.MGmath.MP
keywords Lorentzian length spacesReshetnyak majorisationupper curvature boundstimelike curvescausal curvesdiscrete geometrylength spacesLorentzian geometry
0
0 comments X

The pith

Lorentzian length spaces with upper curvature bounds allow majorisation of timelike curves by model space regions via length-preserving maps.

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

The paper develops a Lorentzian version of Reshetnyak's majorisation theorem for spaces with upper curvature bounds. It proves that any pair of future-directed timelike rectifiable curves with shared endpoints can be compared to causal curves bounding a convex region in the model space L squared of K through a 1-anti-Lipschitz map that preserves their tau lengths. This establishes a direct comparison mechanism between the given space and a standard model. Sympathetic readers would value this because it opens the door to studying geometric inequalities and convexity in Lorentzian settings, including those relevant to spacetime models. The result also yields a four-point characterisation of the curvature bound that fits discrete contexts.

Core claim

Given two future-directed timelike rectifiable curves alpha and beta with the same endpoints in a Lorentzian length space X, there exists a convex region in L to the power of two of K bounded by two future-directed causal curves alpha-bar and beta-bar with the same endpoints and a one-anti-Lipschitz map from that region into X such that alpha-bar and beta-bar are respectively mapped tau-length-preservingly onto alpha and beta.

What carries the argument

A one-anti-Lipschitz map from a convex region in the model Lorentzian plane L squared of K to the target space that preserves the tau-lengths of the two boundary curves.

Load-bearing premise

The space X must satisfy the upper curvature bound so that the model convex region and the anti-Lipschitz map exist.

What would settle it

A counterexample consisting of two timelike curves in a Lorentzian length space with an upper curvature bound for which no such model region in L squared of K and corresponding map can be found would falsify the claim.

Figures

Figures reproduced from arXiv: 2509.05224 by Felix Rott, Tobias Beran.

Figure 1
Figure 1. Figure 1: The three hyperbolic sectors H1, H2 and H4 and the isometrically copied triangles T2 and T4 are inscribed in the straightened out Alexandrov configuration on the right hand side. We check that this assignment is strongly long by distinguishing several cases. Some arguments are made clearer by viewing φ(p) as being in the appropriate part of ∆(¯x1, x¯2, x¯4), hence we will do so. If both points are in T2 or… view at source ↗
Figure 2
Figure 2. Figure 2: The n-th step of the iterative process outlined in the proof. Sn : R(C¯ n) → Σ(C¯ n) and the ‘comparison map’ ψn : Σ(C¯ n) → S i Ti to obtain a map fn = ψn ◦ Sn ◦ φn : R(C˜ n) → S i Ti from the convex region into the skeleton of the fan associated to Cn that satisfies τ (x, y) ≤ τ (fn(x), fn(y)) + εn(φn(x), φn(y)). (3.4) See [PITH_FULL_IMAGE:figures/full_fig_p018_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The two different types of four-point comparison configurations in [PITH_FULL_IMAGE:figures/full_fig_p023_3.png] view at source ↗
read the original abstract

We present an analogue to the Majorisation Theorem of Reshetnyak in the setting of Lorentzian length spaces with upper curvature bounds: given two future-directed timelike rectifiable curves $\alpha$ and $\beta$ with the same endpoints in a Lorentzian length space $X$, there exists a convex region in $\mathbb{L}^2(K)$ bounded by two future-directed causal curves $\bar \alpha$ and $\bar \beta$ with the same endpoints and a 1-anti-Lipschitz map from that region into $X$ such that $\bar \alpha$ and $\bar \beta$ are respectively mapped $\tau$-length-preservingly onto $\alpha$ and $\beta$. A special case of this theorem leads to an interesting characterisation of upper curvature bounds via four-point configurations which is truly suitable for a discrete setting.

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

2 major / 2 minor

Summary. The manuscript establishes an analogue of Reshetnyak's majorisation theorem in the setting of Lorentzian length spaces with upper curvature bounds. Given two future-directed timelike rectifiable curves α and β sharing endpoints in such a space X, there exists a convex region in the model space ℒ²(K) bounded by future-directed causal curves α-bar and β-bar together with a 1-anti-Lipschitz map from the region into X that sends α-bar and β-bar τ-length-preservingly onto α and β respectively. A special case yields a four-point characterisation of upper curvature bounds that is adapted to discrete settings.

Significance. If the central construction holds, the result supplies a comparison principle that extends classical majorisation techniques to Lorentzian length spaces and supplies a discrete-friendly characterisation of curvature bounds. The four-point formulation is a concrete strength for potential computational or discrete implementations in Lorentzian geometry.

major comments (2)
  1. [§3] §3 (statement and proof of the main theorem): the argument that the 1-anti-Lipschitz map preserves the future-directed timelike character of interior points when the upper curvature bound is attained (rather than strict) is not isolated as a separate lemma. The inequality d(f(x),f(y)) ≤ d_ℒ²(K)(x,y) alone does not automatically guarantee that interior segments remain timelike rather than null under the image; an explicit estimate or strictness argument ruling out degeneracy in the equality case is required to support the claim.
  2. [§2] Definition of the model space ℒ²(K) (presumably §2): the verification that the convex region bounded by α-bar and β-bar is well-defined and that the 1-anti-Lipschitz property is compatible with the Lorentzian causal structure is not cross-referenced in the proof of the main statement. Without this, it is unclear whether the construction reduces to the classical Reshetnyak case or introduces new parameters.
minor comments (2)
  1. [Abstract] Abstract: the model curves are described as 'future-directed causal' while the given curves α, β are timelike; a brief clarification on whether null segments are permitted on the model boundary would improve readability.
  2. [Preliminaries] Notation: the symbol τ for Lorentzian length is introduced without an explicit forward reference to its definition in the preliminaries; adding one sentence would aid readers unfamiliar with the Lorentzian length-space literature.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for providing constructive feedback. We address the major comments point by point below. We agree that clarifications are needed and will revise the manuscript accordingly to improve the exposition.

read point-by-point responses

  1. Referee: [§3] §3 (statement and proof of the main theorem): the argument that the 1-anti-Lipschitz map preserves the future-directed timelike character of interior points when the upper curvature bound is attained (rather than strict) is not isolated as a separate lemma. The inequality d(f(x),f(y)) ≤ d_ℒ²(K)(x,y) alone does not automatically guarantee that interior segments remain timelike rather than null under the image; an explicit estimate or strictness argument ruling out degeneracy in the equality case is required to support the claim.

    Authors: We acknowledge the referee's observation regarding the need for a more explicit treatment of the timelike preservation in the equality case. While the main theorem's proof constructs the map such that the 1-anti-Lipschitz property with respect to the time-separation function τ ensures that positive τ in the model implies positive τ in X for the boundary curves, and the upper curvature bound prevents collapse for interior points, we agree that isolating this as a lemma would enhance clarity. In the revised version, we will introduce a new lemma in §3 that provides the required strictness argument, showing that if τ_ℒ²(K)(x,y) > 0 for interior points x,y, then τ_X(f(x),f(y)) > 0, by contradiction assuming degeneracy would violate the rectifiability of the curves or the curvature bound definition. This revision will be made. revision: yes

  2. Referee: [§2] Definition of the model space ℒ²(K) (presumably §2): the verification that the convex region bounded by α-bar and β-bar is well-defined and that the 1-anti-Lipschitz property is compatible with the Lorentzian causal structure is not cross-referenced in the proof of the main statement. Without this, it is unclear whether the construction reduces to the classical Reshetnyak case or introduces new parameters.

    Authors: The construction of the model space ℒ²(K) and the convex region it contains is detailed in Section 2, where we verify that the region bounded by the future-directed causal curves ¯α and ¯β is convex in the Lorentzian sense and that the 1-anti-Lipschitz map respects the causal ordering. This is directly analogous to the classical Reshetnyak majorisation in the Riemannian setting, with the Lorentzian time-separation replacing the distance function, and no new parameters are introduced beyond the curvature bound K. To address the lack of cross-referencing, we will add explicit references in the proof of the main theorem in §3 back to the relevant propositions in §2. We will also include a brief remark on the reduction to the classical case. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation builds on classical external results

full rationale

The paper states an analogue of the classical Reshetnyak majorisation theorem for Lorentzian length spaces satisfying an upper curvature bound. The central construction (convex region in L²(K) with 1-anti-Lipschitz map sending model curves τ-length-preservingly onto the given curves) is presented as following from the assumed curvature bound and standard definitions of Lorentzian length spaces; no equation or step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation whose content is unverified outside the paper. The special-case four-point characterisation is derived from the main theorem rather than presupposed. The derivation remains self-contained against the external Reshetnyak theorem and the given curvature-bound hypothesis.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on established background definitions rather than introducing new free parameters or entities. The central claim rests on the assumption that the space satisfies the given curvature bound and belongs to the class of Lorentzian length spaces.

axioms (2)
  • domain assumption X is a Lorentzian length space
    This is the ambient category in which the curves α and β live and in which the map is constructed.
  • domain assumption X satisfies an upper curvature bound
    The bound is the hypothesis that enables the existence of the model region in L²(K) and the 1-anti-Lipschitz map.

pith-pipeline@v0.9.0 · 5678 in / 1533 out tokens · 57115 ms · 2026-05-18T18:21:34.733176+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.

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

28 extracted references · 28 canonical work pages

  1. [1]

    Alexander, V

    S. Alexander, V. Kapovitch, and A. Petrunin. Alexandrov meets Kirszbraun. InProceedings of the G¨ okova Geometry-Topology Con- ference 2010, pages 88–109. Int. Press, Somerville, MA, 2011

    work page 2010

  2. [2]

    Alexander, V

    S. Alexander, V. Kapovitch, and A. Petrunin.Alexandrov geometry— foundations, volume 236 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, [2024]©2024

    work page 2024

  3. [3]

    Beran, M

    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, 2024. Preprint:https://arxiv.org/abs/2408.15968

    work page arXiv 2024

  4. [4]

    Beran, M

    T. Beran, M. Kunzinger, and F. Rott. On curvature bounds in Lorentzian length spaces.J. Lond. Math. Soc., II. Ser., 110(2):41,

    work page

  5. [5]

    Beran, L

    T. Beran, L. Napper, and F. Rott. Alexandrov’s Patchwork and the Bonnet–Myers theorem for Lorentzian length spaces.Trans. Amer. Math. Soc., 378(4):2713–2743, 2025. 28

    work page 2025

  6. [6]

    Beran and F

    T. Beran and F. Rott. Characterizing intrinsic Lorentzian length spaces viaτ-midpoints, 2023. Preprint:https://arxiv.org/abs/ 2309.12962

    work page arXiv 2023

  7. [7]

    Beran and F

    T. Beran and F. Rott. Gluing constructions for Lorentzian length spaces.Manuscr. Math., 173(1-2):667–710, 2024

    work page 2024

  8. [8]

    Beran and C

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

    work page 2023

  9. [9]

    I. D. Berg and I. G. Nikolaev. Quasilinearization and curvature of Aleksandrov spaces.Geom. Dedicata, 133:195–218, 2008

    work page 2008

  10. [10]

    Bombelli, J

    L. Bombelli, J. Lee, D. Meyer, and R. D. Sorkin. Space-time as a causal set.Phys. Rev. Lett., 59(5):521–524, 1987

    work page 1987

  11. [11]

    Braun and R

    M. Braun and R. J. McCann. Causal convergence conditions through variable timelike Ricci curvature bounds, 2023. Preprint:https:// arxiv.org/abs/2312.17158

    work page arXiv 2023

  12. [12]

    M. R. Bridson and A. Haefliger.Metric spaces of non-positive curvature, volume 319 ofGrundlehren Math. Wiss.Berlin: Springer, 1999

    work page 1999

  13. [13]

    Burago, M

    Y. Burago, M. Gromov, and G. Perel’man. A. D. Alexandrov spaces with curvature bounded below.Russ. Math. Surv., 47(2):1, 1992

    work page 1992

  14. [14]

    Lorentzian metric spaces and GH-convergence: the unbounded case

    A. Bykov, E. Minguzzi, and S. Suhr. Lorentzian metric spaces and GH- convergence: the unbounded case, 2024. Preprint:https://arxiv. org/abs/2412.04311

    work page arXiv 2024

  15. [15]

    Cavalletti and A

    F. Cavalletti and A. Mondino. A sharp isoperimetric-type inequal- ity for Lorentzian spaces satisfying timelike Ricci lower bounds, 2024. Preprint:https://arxiv.org/abs/2401.03949

    work page arXiv 2024

  16. [16]

    Chudtong and C

    M. Chudtong and C. Maneesawarng. An upper length estimate for curves in CAT(K) spaces.East-West J. Math., 18(1):1–26, 2016

    work page 2016

  17. [17]

    Gromov.Metric structures for Riemannian and non-Riemannian spaces, volume 152 ofProgress in Mathematics

    M. Gromov.Metric structures for Riemannian and non-Riemannian spaces, volume 152 ofProgress in Mathematics. Birkh¨ auser Boston, Inc., Boston, MA, 1999

    work page 1999

  18. [18]

    Kirszbraun

    M. Kirszbraun. ¨Uber die zusammenziehende und Lipschitzsche Trans- formationen.Fund. Math., 22(1):77–108, 1934

    work page 1934

  19. [19]

    Kunzinger and C

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

    work page 2018

  20. [20]

    Lang and V

    U. Lang and V. Schroeder. Kirszbraun’s theorem and metric spaces of bounded curvature.Geom. Funct. Anal., 7(3):535–560, 1997

    work page 1997

  21. [21]

    Maneesawarng and Y

    C. Maneesawarng and Y. Lenbury. Total curvature and length estimate for curves in CAT(K) spaces.Differential Geom. Appl., 19(2):211–222, 2003

    work page 2003

  22. [22]

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

    work page 2024

  23. [23]

    Minguzzi and S

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

    work page 2024

  24. [24]

    Mondino and C

    A. Mondino and C. S¨ amann. Lorentzian Gromov–Hausdorff conver- gence and pre-compactness, 2025. Preprint:https://arxiv.org/abs/ 2504.10380

    work page arXiv 2025

  25. [25]

    M¨ uller

    O. M¨ uller. Functors in Lorentzian geometry: three variations on a theme.Gen. Relativity Gravitation, 55(2):Paper No. 39, 16, 2023

    work page 2023

  26. [26]

    Y. G. Reshetnyak. Non-expansive maps in a space of curvature no greater thanK.Sibirsk. Mat. ˇZ., 9:918–927, 1968

    work page 1968

  27. [27]

    T. Sato. An alternative proof of Berg and Nikolaev’s characterization of CAT(0)-spaces via quadrilateral inequality.Arch. Math. (Basel), 93(5):487–490, 2009

    work page 2009

  28. [28]

    S. Surya. The causal set approach to quantum gravity.Living Rev. Relativ., 22(5), 2019. 30

    work page 2019