Pith. sign in

REVIEW 2 major objections 5 minor 2 cited by

On the locus of multiple maximizing geodesics on a globally hyperbolic spacetime

T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that in any globally hyperbolic spacetime the set of causally related pairs with multiple maximizing geodesics is locally contractible and has the same homotopy type as the causal future minus the Lorentzian Aubry set.

desk verdict First Lorentzian extension of Cannarsa-Cheng-Fathi's multiple-maximizer results, with solid new topology theorems; the main soft spot is the imported cut-locus classification in Theorem 5.6, which is a presentation gap rather than a fatal flaw. read the letter →

arxiv 2507.22737 v1 pith:ZPUEPBEC submitted 2025-07-30 math.OC math-phmath.DGmath.MP

Alec Metsch This is my paper · ORCID
classification math.OCmath-phmath.DGmath.MP MSC 53C5037J5153C22
keywords LorentziangeometrygloballyhyperbolicspacetimemultiplemaximizinggeodesicslocalcontractibilityAubrysetcutlocusLax-OleiniksemigroupHamilton-Jacobiequations
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper extends a Riemannian theorem to the Lorentzian setting: in any globally hyperbolic spacetime, the set $\mathcal{NU}(M,g)$ of pairs of causally related points joined by more than one maximizing geodesic is locally contractible. More strongly, it claims that $\mathcal{NU}(M,g)$ has the same homotopy type as the causal future with a Lorentzian analogue of the Aubry set removed, and that the inclusions $\mathcal{NU}(M,g)\hookrightarrow \mathrm{Cut}_M\hookrightarrow J^+\setminus\mathcal A$ are homotopy equivalences. A reader should care because this ties the singularities of the Lorentzian distance, where maximizing geodesics branch, to the same objects that organize weak KAM theory and optimal transport on spacetimes, despite the failure of the usual Tonelli regularity assumptions. The paper's slice versions say that fixing one endpoint, the set of endpoints with multiple maximizers is locally contractible and homotopy equivalent to the future of that endpoint minus its Aubry set.

What carries the argument

The engine is the Lorentzian Lax-Oleinik semigroup built from the minimal action $c_t(x,y)=-t^{1/2}d(x,y)^{1/2}$, applied to the characteristic seed $\chi_x$. The key regularity result is that $\hat T_sT_{1+s}\chi_x(y)$ is both locally semiconvex and locally semiconcave, hence $C^1$, on the chronological region, with a unique point $z$ attaining $\hat T_sT_{1+s}\chi_x(y)=T_{1+s}\chi_x(z)-c_s(y,z)$. This uniqueness yields a continuous map $F(s,x,y)=z$ sending a chronological pair $(x,y)$ to a point $z$ that lies in the multiple-maximizer locus once $s>0$. Complementary to this, the classical cut-locus characterization (Theorem 5.6) and continuity of the cut-time $\alpha$ are used to show that the cut locus is a strong deformation retract of $J^+\setminus\mathcal A$; combining the two gives the homotopy equivalences.

What would settle it

Look for a globally hyperbolic spacetime with a future inextendible causal geodesic whose cut point is neither a first conjugate point nor the endpoint of a distinct maximizing geodesic; such a point would falsify Theorem 5.6 and with it the construction of the retraction from $J^+\setminus\mathcal A$ onto $\mathrm{Cut}_M$. A more direct check would compute the homotopy type of $\mathcal{NU}(M,g)$ and $J^+\setminus\mathcal A$ in a concrete cosmological model and find them different.

Watch

Extended reading notes

Core claim

The paper's central claim is that non-uniqueness of maximizing causal geodesics is not a local pathology but a global topological invariant: in any globally hyperbolic spacetime, the multiple-maximizer locus $\mathcal{NU}(M,g)$ is locally contractible, and the inclusions $\mathcal{NU}(M,g)\hookrightarrow \mathrm{Cut}_M$ and $\mathrm{Cut}_M\hookrightarrow J^+\setminus\mathcal A$ are homotopy equivalences, with the timelike analogue $\mathcal{NU}_t(M,g)\hookrightarrow I^+\setminus\mathcal A$. Here $\mathrm{Cut}_M$ is the causal cut locus of the spacetime and $\mathcal A$ is the Lorentzian Aubry set, the set of pairs $(x,y)$ lying on a future and past inextendible maximizing geodesic. The proof defines future Aubry sets $A(x)$ for single endpoints and proves the corresponding equivalences for each slice. Along the way it establishes that the composed Lax-Oleinik evolution $\hat T_sT_{1+s}\chi_x$ is $C^1$ on the chronological set and that its unique maximizer provides the continuous deformation pushing pairs onto the cut locus.

Load-bearing premise

The proof imports, rather than proves, the classification that a causal geodesic stops being maximizing only at a first conjugate point or at a point where a second distinct maximizing geodesic arrives; if that classification had a counterexample in some globally hyperbolic spacetime, the deformation retractions that carry the main theorems would not be well defined.

Editorial extensions

If this is right

  • If the claim holds, for every globally hyperbolic spacetime the topological invariants of $\mathcal{NU}(M,g)$, such as path components, fundamental group, and homology, coincide with those of $J^+\setminus\mathcal A$.
  • For each fixed $x$, the slice of endpoints with multiple maximizing geodesics from $x$ is homotopy equivalent to $J^+(x)\setminus A(x)$, so the singularity set of the future distance function has exactly the homotopy type of the complement of the future Aubry set.
  • Since the inclusions are homotopy equivalences, any continuous construction or invariant defined on the causal cut locus transfers to the non-uniqueness locus without loss; open covers and homotopies can be lifted back and forth between the two sets.
  • In causal geodesically complete spacetimes the two versions of the Lorentzian Aubry set agree, so the statement holds for both definitions and the proof simplifies.
  • The map $F$ gives an explicit homotopy proving local contractibility of $\mathcal{NU}$, meaning small neighborhoods of any non-uniqueness pair can be contracted to one point while remaining inside the non-uniqueness set.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The homotopy-equivalence statement suggests that the non-uniqueness locus carries no extra topology beyond what is already visible in the Aubry set complement; a plausible test is to compute both sides in a concrete warped-product spacetime and compare Betti numbers.
  • The distinction between $\mathcal A$ and $\tilde{\mathcal A}$ may matter for incomplete spacetimes: if causal geodesic completeness fails, the two definitions could yield different sets, and the theorem's dependence on the choice of line versus bi-infinite ray could be probed numerically in a spacetime with a null geodesic that stops being maximizing before it can be extended.
  • The $C^1$ regularity of $\hat T_sT_{1+s}\chi_x$ is proved only for the characteristic seed; if it extends to general lower semicontinuous initial data, the same deformation argument would give homotopy equivalences for singularities of more general Lorentzian Hamilton-Jacobi equations.
  • One could try to define a canonical 'cut-time' function $\beta$ on $J^+\setminus\mathcal A$ as the infimum appearing in Lemma 5.25; making $\beta$ explicit in integrable examples would yield a constructive retraction and possibly a new normal form for the causal future near the Aubry set.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper extends the Riemannian results of Cannarsa, Cheng and Fathi on singularities of distance functions to the setting of a globally hyperbolic spacetime. It defines a Lorentzian future Aubry set A(x) and a global Aubry set A, proves that the set NU(M,g) of causally related pairs admitting more than one maximizing geodesic is locally contractible (Theorem 1.2), and proves that the inclusions NU(M,g) → J^+\A and NU_t(M,g) → I^+\A are homotopy equivalences, together with fixed-endpoint versions (Theorem 1.5). The main technical work is in Sections 3 and 4, where the paper establishes local semiconvexity and semiconcavity, hence local C^1-regularity, of the Lax-Oleinik semigroup acting on a point-mass initial condition χ_x for the non-Tonelli Lorentzian Lagrangian. Section 5 then uses this regularity to construct homotopies from the cut locus to the non-uniqueness set, and separately shows that the cut locus is a strong deformation retract of J^+\A and I^+\A.

Significance. If the results are correct, they are substantial. The paper proves new topological rigidity phenomena for Lorentzian geometry: the non-uniqueness locus of maximizing geodesics and the causal future minus the Aubry set have the same homotopy type, and the lightlike boundary case is handled rather than being excluded. The author works in a setting where the Tonelli hypotheses fail, and the estimates of Sections 3 and 4 are detailed and appear internally coherent. The paper also gives credit to the Riemannian template of Cannarsa–Cheng–Fathi and clearly identifies what is new in the Lorentzian problem. The main risk is not in the semigroup analysis but in a single imported classification theorem about cut points, as detailed below.

major comments (2)
  1. [Theorem 5.6 and its uses in Lemmas 5.15, 5.20, 5.25 and Propositions 5.16, 5.19, 5.26, 5.28] Theorem 5.6 is load-bearing, and the branch that a second distinct maximizing geodesic forces the geodesic to cease to be maximizing beyond the cut point is not proved in the paper. The paper says this follows from Corollaries 9.4 and 9.11 of [1], adds that the proofs are omitted there, and refers to [18, Theorem 2.9], which states only that maximizing causal curves are pregeodesics. That statement does not, by itself, contain the branching assertion. The missing step is nontrivial: one must show, for example by a concatenation/corner argument plus the reverse triangle inequality, that if one of the two geodesics admitted a maximizing extension beyond y, a maximizing causal curve with a corner would exist, contradicting pregeodesicity. This implication is used to prove NU_t ⊆ Cut^t_M and to prove that β(x,y) is well-defined; without it, the deformation retractions in Propositions 5.16, 5.26 and 5.28 and the homotopy equivalences of Theorem 1.5 lose their foundation. Please add a complete proof of this implication or give a precise reference in which it is proved in the stated generality.
  2. [Lemma 5.25 and Proposition 5.26] The well-definedness and continuity of the map β, and hence the strong deformation retraction of J^+\A onto Cut_M, depend on the unproved branch of Theorem 5.6 in two separate places: first, when two distinct maximizing geodesics from x to y are assumed to imply that y is the cut point along both, and second, when the claim “if (x,y) ∉ A then the maximal extension is not maximizing” is used in Lemma 5.20. Lemma 5.15, Lemma 5.20 and Lemma 5.25 each invoke this same missing classification. The paper should state these dependencies explicitly and either prove the underlying cut-locus classification or isolate it as a clearly marked lemma with a complete proof before using it in the main theorems.
minor comments (5)
  1. [Throughout] There are several typographical errors: “Othwerwise” in Lemma 2.17, “respestively” in the Appendix, “from from” in the Introduction, and “satiyfying” in Theorem 5.11 and Corollary 5.12. These are harmless but should be corrected.
  2. [Corollary 5.12 proof] In the proof of Corollary 5.12, the text writes “(U ∩ V)” where the product neighbourhood U × V is meant; this should be corrected.
  3. [Lemma 5.22 proof] In Lemma 5.22, the bump functions ρ_j are introduced as maps M → [0,1], but their arguments are points (x,y) in J^+\A ⊆ M×M; they should be defined on M×M.
  4. [Reference [1]] Reference [1] is cited as “John K Beem. Global Lorentzian Geometry, Second Edition”, but the standard attribution is Beem–Ehrlich–Easley; the author list should be corrected.
  5. [Notation] The symbol for the non-uniqueness set appears as NU, N U, and ⅇ NU in different places; a single notation would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reduction: the two homotopy equivalences are constructed from the cut locus and the Lax-Oleinik semigroup, not assumed.

full rationale

The derivation chain is not circular. The central claim is that NU(M,g) is locally contractible and that NU(M,g) -> J^+\A is a homotopy equivalence. The proof builds NU -> Cut_M as a homotopy equivalence in Proposition 5.28 using the Lax-Oleinik regularization F from Corollary 5.12 (derived from Theorems 3.1 and 4.1), and builds Cut_M -> J^+\A as a strong deformation retraction in Proposition 5.26 using the continuous functions phi_+, phi_-, beta and the map H. Neither construction presupposes the target equivalence; each step is verified with explicit homotopies. The Lorentzian Aubry set A is newly defined via future rays and lines, and its closedness and the retraction properties are proved, not assumed. The only genuinely load-bearing imported ingredient is the classical cut-locus characterization Theorem 5.6, quoted from [1] and [18]; this is external standard material, and the paper even flags that some proofs are omitted in [1]. That is a correctness or completeness risk for the proof, but it is not circularity. Self-citations [16] and [17] appear only for elementary semigroup inequalities and the standard fact that timelike geodesics are locally maximizing; these are not load-bearing and do not smuggle in the main conclusions. No fitted parameter is renamed as a prediction, and no definition is equivalent to the theorem being proved.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

No free parameters or ad-hoc constants are introduced: the paper is analytic and topological. The main new object is the Lorentzian Aubry set, whose structural properties are proven rather than postulated. The background assumptions are standard Lorentzian causality and the cited cut-locus classification; the paper self-contains most of the analytic estimates.

assumptions (4)
  • domain assumption The spacetime (M,g) is globally hyperbolic, smooth, time-oriented, and can be equipped with a complete Riemannian reference metric h.
    Global hyperbolicity is assumed throughout (Section 1 and used in Theorem 2.4, Lemma 5.9); the Riemannian metric h is introduced in Section 2 for balls and compactness arguments; time-orientability is part of the spacetime definition.
  • standard math Standard classification of cut points: a cut point of a future causal geodesic is characterized by either a first conjugate point or the existence of a distinct maximizing geodesic; a geodesic ceases to be maximizing beyond such a point (Theorem 5.6).
    Invoked to relate NU to Cut_M in Propositions 5.16, 5.26 and 5.28; the paper cites [1] and notes that some proofs are omitted there, directing to [18], Theorem 2.9.
  • standard math Compactness and convergence properties of maximizing causal geodesics on globally hyperbolic spacetimes (Lemma 5.9, from [1]).
    Used throughout (for example, Corollary 5.10, Propositions 5.16 and 5.26) to pass to limits and prove continuity of cut-locus maps.
  • standard math Regularity properties of the Lorentzian time-action c_t: continuity on J^+, local semiconcavity on I^+, and the super-differential formula (Lemma 2.10).
    Established in the appendix using [15] and [14]; the proof is included but depends on standard semiconcavity results and [10].
invented entities (1)
  • Lorentzian Aubry set A and future Aubry set A(x) (Definition 1.3) independent evidence
    purpose: The complement of A (restricted to the causal future) is shown to deformation-retract to the cut locus, giving the homotopy equivalence NU = J^+\A.
    New definitions introduced to state the main theorem; their properties (closedness, deformation retraction relations) are proven in the paper rather than assumed, so they carry internal evidence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the locus of multiple maximizing geodesics on a globally hyperbolic spacetime." pith.science (2026). https://pith.science/paper/ZPUEPBEC

@misc{pith2026250722737,
  author       = {Pith},
  title        = {Pith review of: On the locus of multiple maximizing geodesics on a globally hyperbolic spacetime},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZPUEPBEC}},
  note         = {Machine review of arXiv:2507.22737}
}
abstract

Extending the recent work of Cannarsa, Cheng and Fathi, we investigate topological properties of the locus ${\cal NU}(M,g)$ of multiple maximizing geodesics on a globally hyperbolic spacetime $(M,g)$, i.e.\ the set of causally related pairs $(x,y)$ for which there exists more than one maximizing geodesic (up to reparametrization) from $x$ to $y$. We will prove that this set is locally contractible. We will also define the notion of a Lorentzian Aubry set ${\cal A}$ and prove that the inclusions ${\cal NU}(M,g)\hookrightarrow \operatorname{Cut}_M\hookrightarrow J^+\backslash {\cal A}$ are homotopy equivalences.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Semiconvexity of (weak) Kantorovich potentials in the Lorentzian optimal transport problem

    math.OC 2025-11 conditional novelty 7.0 of 10

    In globally hyperbolic spacetimes with cost −d^p, weak Kantorovich potentials are locally semiconvex on an open set of full measure, yielding a unique optimal transport map T with ∇φ+∇_x c=0.

  2. Lipschitz continuity of the cut time for globally hyperbolic spacetimes

    math.DG 2026-07 conditional novelty 6.0 of 10

    In globally hyperbolic spacetimes, the focalization time and the cut time are locally Lipschitz on their finite domains, yielding a Hausdorff-codimension bound for the cut locus.

Reference graph

Works this paper leans on

21 extracted references · 19 canonical work pages · cited by 2 Pith papers

  1. [1]

    Global Lorentzian Geometry, Second Edition

    John K Beem. Global Lorentzian Geometry, Second Edition . Routledge, London, England, 2017

    work page 2017

  2. [2]

    Existence of C 1,1 critical sub-solutions of the Hamilton- Jacobi equation on compact manifolds

    Patrick Bernard. Existence of C 1,1 critical sub-solutions of the Hamilton- Jacobi equation on compact manifolds. Ann. Sci. ´Ecole Norm. Sup. (4) , 40(3):445–452, 2007

    work page 2007

  3. [3]

    Lecture Notes on Lorentzian Geometry

    Christian B¨ ar. Lecture Notes on Lorentzian Geometry. https:// www.math.uni-potsdam.de/fileadmin/user_upload/Prof-Geometrie/ Dokumente/Lehre/Lehrmaterialien/skript-LorGeo.pdf, 30.07.2025

    work page 2025

  4. [4]

    Singularities of solu- tions of time dependent Hamilton-Jacobi equations

    Piermarco Cannarsa, Wei Cheng, and Albert Fathi. Singularities of solu- tions of time dependent Hamilton-Jacobi equations. Applications to Rie- mannian geometry. Publ. Math. Inst. Hautes ´Etudes Sci. , 133:327–366, 2021

    work page 2021

  5. [5]

    Semiconcave functions, Hamilton-Jacobi equations, and optimal control , volume 58 of Progress in Nonlinear Differential Equations and their Applications

    Piermarco Cannarsa and Carlo Sinestrari. Semiconcave functions, Hamilton-Jacobi equations, and optimal control , volume 58 of Progress in Nonlinear Differential Equations and their Applications . Birkh¨ auser Boston, Inc., Boston, MA, 2004

    work page 2004

  6. [6]

    Regularity of optimal transport maps and applica- tions, volume 17 of Tesi

    Guido De Philippis. Regularity of optimal transport maps and applica- tions, volume 17 of Tesi. Scuola Normale Superiore di Pisa (Nuova Series) [Theses of Scuola Normale Superiore di Pisa (New Series)] . Edizioni della Normale, Pisa, 2013

    work page 2013

  7. [7]

    Riemannian Geometry

    Manfredo P Do Carmo. Riemannian Geometry . Birkhauser Boston, Se- caucus, NJ, USA, 2013

    work page 2013

  8. [8]

    The weak Kam theorem in Lagrangian dynamics

    Albert Fathi. The weak Kam theorem in Lagrangian dynamics . Cambridge University Press, Cambridge, England, 2020

    work page 2020

Show all 21 references
  1. [9]

    Viscosity solutions of the Hamilton-Jacobi equation on a noncompact manifold

    Albert Fathi. Viscosity solutions of the Hamilton-Jacobi equation on a noncompact manifold. In Hamiltonian systems: dynamics, analysis, appli- cations, volume 72 ofMath. Sci. Res. Inst. Publ., pages 111–172. Cambridge Univ. Press, Cambridge, 2024

    2024

  2. [10]

    Optimal transportation on non-compact manifolds

    Albert Fathi and Alessio Figalli. Optimal transportation on non-compact manifolds. Israel J. Math. , 175:1–59, 2010. 53

    2010

  3. [11]

    On the Hausdorff di- mension of the Mather quotient

    Albert Fathi, Alessio Figalli, and Ludovic Rifford. On the Hausdorff di- mension of the Mather quotient. Comm. Pure Appl. Math. , 62(4):445–500, 2009

    2009

  4. [12]

    Riemannian geometry, volume 1 of De Gruyter Stud- ies in Mathematics

    Wilhelm Klingenberg. Riemannian geometry, volume 1 of De Gruyter Stud- ies in Mathematics . Walter de Gruyter & Co., Berlin-New York, 1982

    1982

  5. [13]

    John M. Lee. Introduction to smooth manifolds , volume 218 of Graduate Texts in Mathematics . Springer, New York, second edition, 2013

    2013

  6. [14]

    Robert J. McCann. Polar factorization of maps on riemannian manifolds. GAF A Geom. Funct. Anal., 11(3):589–608, 2001

    2001

  7. [15]

    Robert J. McCann. Displacement convexity of Boltzmann’s entropy charac- terizes the strong energy condition from general relativity. Camb. J. Math., 8(3):609–681, 2020

    2020

  8. [16]

    c1,1 loc optimal pairs in the dual optimal transport problem for a lorentzian cost along displacement interpolations

    Alec Metsch. c1,1 loc optimal pairs in the dual optimal transport problem for a lorentzian cost along displacement interpolations. arXiv preprint arXiv:2504.11556, 2025

    2025 arXiv

  9. [17]

    Optimal transport and regularity of weak kantorovich poten- tials on a globally hyperbolic spacetime

    Alec Metsch. Optimal transport and regularity of weak kantorovich poten- tials on a globally hyperbolic spacetime. arXiv preprint arXiv:2412.01012 , 2025

    2025 arXiv

  10. [18]

    Lorentzian causality theory

    Ettore Minguzzi. Lorentzian causality theory. Living Reviews in Relativity, 22:1–202, 2019

    2019

  11. [19]

    An optimal transport formulation of the Einstein equations of general relativity

    Andrea Mondino and Stefan Suhr. An optimal transport formulation of the Einstein equations of general relativity. J. Eur. Math. Soc. (JEMS) , 25(3):933–994, 2023

    2023

  12. [20]

    Semi-Riemannian geometry with applications to relativity: Volume 103

    Barrett O’Neill. Semi-Riemannian geometry with applications to relativity: Volume 103. Academic Press, San Diego, CA, USA, 1983

    1983

  13. [21]

    Optimal Transport: Old and New

    Cedric Villani. Optimal Transport: Old and New . Springer, Berlin, 2009 edition, 2008. 54

    2009

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.