pith. sign in

arxiv: 2606.02496 · v1 · pith:YRD3Y6PJnew · submitted 2026-06-01 · 🧮 math.MG · math-ph· math.DG· math.MP

Timelike ideal boundary of non-positively curved Lorentzian spaces

Sa\'ul Burgos , Mauricio Che , Miguel Prados-Abad This is my paper

Pith reviewed 2026-06-28 11:31 UTC · model grok-4.3

classification 🧮 math.MG math-phmath.DGmath.MP
keywords timelike ideal boundaryLorentzian length spacenon-positive curvaturecone topologyangular metricgeneralized conesasymptotic classescurvature bounds
0
0 comments X

The pith

Non-positively curved Lorentzian length spaces admit a timelike ideal boundary equipped with cone topology, angular metric, and upper curvature bounds.

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

The paper defines the timelike ideal boundary of a Lorentzian length space as the set of asymptotic equivalence classes of future- or past-directed timelike geodesic rays. It endows this set with a cone topology and an angular metric that turns it into a metric space. When the original space is non-positively curved, the resulting boundary space satisfies upper curvature bounds. The authors also treat generalized cones as a model case and relate the new boundary to the metric ideal boundary of the fiber and to the warping function's asymptotics.

Core claim

We introduce the notion of timelike ideal boundary of a Lorentzian length space as the set of asymptotic classes of future or past-directed timelike geodesic rays, a construction complementary to the causal boundary in the sense of Geroch-Kronheimer-Penrose and akin to the concept of ideal boundary of a metric space. We endow such a timelike ideal boundary with a natural cone topology and an angular metric, and establish upper curvature bounds for the resulting metric space. Finally, we consider generalized cones as a model and study the relation between the timelike ideal boundary and both the metric ideal boundary of the fiber and the asymptotic behaviour of the warping function.

What carries the argument

the timelike ideal boundary, defined as the set of asymptotic equivalence classes of timelike geodesic rays and equipped with a cone topology and angular metric

If this is right

  • The timelike ideal boundary forms a metric space with upper curvature bounds whenever the original Lorentzian length space is non-positively curved.
  • In generalized cones the timelike ideal boundary is related to the metric ideal boundary of the fiber.
  • The asymptotic behavior of the warping function determines properties of the timelike ideal boundary in the generalized-cone model.
  • The construction supplies a timelike analogue to the usual ideal boundary that complements existing causal-boundary constructions.

Where Pith is reading between the lines

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

  • The curvature bounds on the boundary may support comparison results for families of timelike rays that remain at large separation.
  • The same asymptotic-class construction could be tested on Lorentzian length spaces that are only locally non-positively curved.
  • Relations between the timelike ideal boundary and the metric ideal boundary in warped products suggest a way to import Riemannian ideal-boundary results into the Lorentzian setting.

Load-bearing premise

Timelike geodesic rays exist in the space and can be partitioned into asymptotic equivalence classes.

What would settle it

A concrete non-positively curved Lorentzian length space whose constructed timelike ideal boundary fails to satisfy the claimed upper curvature bounds under the given topology and metric.

Figures

Figures reproduced from arXiv: 2606.02496 by Mauricio Che, Miguel Prados-Abad, Sa\'ul Burgos.

Figure 1
Figure 1. Figure 1: Some situations described in the proof of Definition 3.9. We now proceed to show that γp is parallel to γ. Indeed, observe that for any s ∈ [0, ∞), since tn is unbounded, the global CBA(0) condition on the triangle △pγ(0)γ(tn), for sufficiently large n, implies τ (σn(s), γ(s)) ≥ τ [PITH_FULL_IMAGE:figures/full_fig_p012_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Situation described in the proof of Definition 3.9. γ(0) γ ′ γ ′ (0) γ (a) p γ q (b) [PITH_FULL_IMAGE:figures/full_fig_p013_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Situations described in Lemmata 3.10 and 3.11. and therefore γ(0) ≪ σn(co). Analogously to (10), we obtain (see again Figure 1b with the points changed accordingly): τ (γ(s), σn(s + co)) ≥ τ (γ(0), σn(co)), which implies τ (γ(s), γp(s + co)) ≥ τ (γ(0), γp(co)) by letting n → ∞. Finally, observe that τ (γ(0), σn(co))2 = c 2 o + τ (p, γ(0))2 − 2τ (p, γ(0))co cosh ∡ep(γ(0), σn(co)) ≥ c 2 o + τ (p, γ(0))2 − 2τ… view at source ↗
Figure 4
Figure 4. Figure 4: Situations in the proof of Definition 4.4. The cones are depicted without truncation for clarity. Claim: There exists a value T > 0 such that ξ3,pj (t) ∈ Vpk,ε′ k ,Rk (ξ3), for all t ≥ T and j, k ∈ {1, 2}. In other words, at some point each of these asymptotic rays enters the (thinner) truncated cone of the other one and remains within thereafter. Proof: Indeed, following a similar argument as in the proof… view at source ↗
Figure 5
Figure 5. Figure 5: Situations of the last claim of Definition 4.4. Same letters in different images have different meanings. This claim, together with Definition 3.11, implies that one can take a parameter value S sufficiently large such that S ≥ T and ∡γ(t) [PITH_FULL_IMAGE:figures/full_fig_p017_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Situations in the proof of Definition 5.2. 5. Angular metric in the timelike ideal boundary In this section we endow the future timelike ideal boundary with an extended distance, in a similar spirit as in the metric case [BH99, Chapter II.9]. Definition 5.1. Let Y be a proper, strongly causal, locally causally closed, regular Lorentzian pre￾length space satisfying CBA(0) globally and let ξ, ξ′ ∈ ∂ +Y be su… view at source ↗
read the original abstract

We introduce the notion of timelike ideal boundary of a Lorentzian length space as the set of asymptotic classes of future or past-directed timelike geodesic rays, a construction complementary to the causal boundary in the sense of Geroch-Kronheimer-Penrose and akin to the concept of ideal boundary of a metric space. We endow such a timelike ideal boundary with a natural cone topology and an angular metric, and establish upper curvature bounds for the resulting metric space. Finally, we consider generalized cones as a model and study the relation between the timelike ideal boundary and both the metric ideal boundary of the fiber and the asymptotic behaviour of the warping function.

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 defines the timelike ideal boundary of a non-positively curved Lorentzian length space as the set of asymptotic equivalence classes of future- or past-directed timelike geodesic rays. It endows this boundary with a cone topology and an angular metric, proves upper curvature bounds on the resulting space, and studies the relation of this boundary to the metric ideal boundary of the fiber and the asymptotics of the warping function in the model case of generalized cones.

Significance. If the proofs are complete, the construction supplies a metric-geometric boundary complementary to the Geroch-Kronheimer-Penrose causal boundary and directly analogous to the ideal boundary in NPC metric spaces. It furnishes a setting in which curvature bounds on the ambient Lorentzian length space descend to the boundary, which may be useful for large-scale analysis in Lorentzian geometry.

minor comments (3)
  1. [Abstract] The abstract states that upper curvature bounds are established but does not name the precise curvature condition (e.g., Alexandrov curvature ≤ 0 or CAT(0)); adding this detail would clarify the main theorem for readers familiar with metric geometry.
  2. [Introduction] The introduction should explicitly recall the definition of a non-positively curved Lorentzian length space (including the precise length-space axioms and curvature comparison) before stating the main results, to make the standing assumptions self-contained.
  3. A short comparison paragraph relating the new timelike ideal boundary to the standard ideal boundary of a metric space (e.g., the Gromov boundary or visual boundary) would help situate the construction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, positive summary, and recommendation of minor revision. No specific major comments appear in the report, so we have no points requiring point-by-point rebuttal or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper defines the timelike ideal boundary explicitly as the set of asymptotic equivalence classes of future/past-directed timelike geodesic rays in an NPC Lorentzian length space (abstract and title). It then equips this set with a cone topology and angular metric by direct construction and proves upper curvature bounds from the NPC hypothesis. No equations, fitted parameters, or self-citations reduce the boundary, topology, metric, or curvature conclusion to the inputs by construction; the steps are a standard geometric definition followed by independent verification under stated assumptions. The derivation is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 1 invented entities

Review performed on abstract only; the central new object is the timelike ideal boundary itself. No free parameters or explicit axioms are visible. The paper relies on background notions of Lorentzian length spaces and non-positive curvature that are standard in the field.

invented entities (1)
  • timelike ideal boundary no independent evidence
    purpose: Set of asymptotic classes of future- or past-directed timelike geodesic rays
    Newly defined in the paper as the main object of study

pith-pipeline@v0.9.1-grok · 5644 in / 1188 out tokens · 24253 ms · 2026-06-28T11:31:08.636630+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages · 2 internal anchors

  1. [1]

    [AB04] S. B. Alexander and R. L. Bishop. Curvature bounds for warped products of metric spaces.Geometrical and Functional Analysis, 14(6):1143–1181, 2004.doi:10.1007/s00039-004-0487-2. [AB16] S. B. Alexander and R. L. Bishop. Warped products admitting a curvature bound.Advances in Mathematics, 303:88–122, 2016.doi:10.1016/j.aim.2016.07.005. [AF07] V. Ala˜...

    work page doi:10.1007/s00039-004-0487-2 2004

  2. [2]

    [BBC+26] J

    doi:10.48550/ ARXIV.1909.09575. [BBC+26] J. Barton, T. Beran, M. Che, S. Gieger, J. R¨ ohrig, and F. Rott. A Splitting Theorem for non-positively curved Lorentzian spaces, 2026.doi:10.48550/arXiv.2601.14058. [BBI01] D. Burago, Y. Burago, and S. Ivanov.A course in metric geometry, volume 33 ofGraduate Studies in Mathematics. American Mathematical Society, ...

    work page doi:10.48550/arxiv.2601.14058 1909

  3. [3]

    [BGS85] W

    URL:http://nyjm.albany.edu:8000/j/2013/19_13.html. [BGS85] W. Ballmann, M. Gromov, and V. Schroeder.Manifolds of nonpositive curvature, volume 61 ofProgress in Mathematics. Birkh¨ auser Boston, 1985.doi:10.1007/978-1-4684-9159-3. [BH99] M. R. Bridson and A. Haefliger.Metric spaces of non-positive curvature, volume 319 ofGrundlehren der mathematischen Wiss...

    work page doi:10.1007/978-1-4684-9159-3 2013

  4. [4]

    [BR24] T

    doi:10.1007/s11005-023-01668-w. [BR24] T. Beran and F. Rott. Gluing constructions for Lorentzian length spaces.manuscripta mathematica, 173(1):667– 710, 2024.doi:10.1007/s00229-023-01469-4. [BR26] J. Barton and J. R¨ ohrig. Space of Timelike Directions and Curvature Bounds, 2026.doi:10.48550/arXiv. 2603.06458. [BS23] T. Beran and C. S¨ amann. Hyperbolic a...

    work page doi:10.1007/s11005-023-01668-w 2024

  5. [5]

    doi:10.4310/cjm.2024.v12. n2.a3. [EG26] D. Er¨ os and S. Gieger. A synthetic Lorentzian Cartan-Hadamard theorem.Trans. Amer. Math. Soc. Ser. B, 13:132–155, 2026.doi:10.1090/btran/248. [EO73] P. Eberlein and B. O’Neill. Visibility manifolds.Pacific J. Math., 46:45–109,

    work page doi:10.4310/cjm.2024.v12 2024

  6. [6]

    [FHS11] J

    URL: http:// projecteuclid.org/euclid.pjm/1102946601. [FHS11] J. L. Flores, J. Herrera, and M. S´ anchez. On the final definition of the causal boundary and its relation with the conformal boundary.Adv. Theor. Math. Phys., 15(4):991–1057, 2011.doi:10.4310/atmp.2011.v15.n4.a3. [FHS13] J. L. Flores, J. Herrera, and M. S´ anchez.Gromov, Cauchy and causal bou...

    work page doi:10.4310/atmp.2011.v15.n4.a3 2011

  7. [7]

    arXiv:2406.02316 [cs.CR] (2024)https://doi.org/10.48550/arXiv

    doi:10.48550/arXiv. 2503.10467. [GKP72] R. Geroch, E. H. Kronheimer, and R. Penrose. Ideal Points in Space-Time.Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences, 327(1571), 1972.doi:10.1098/rspa.1972.0062. [GPS03] A. Garc´ ıa-Parrado and J. M. M. Senovilla. Causal Relationship: a new tool for the causal characteriza...

    work page internal anchor Pith review doi:10.48550/arxiv 1972

  8. [8]

    doi:10.1088/0264-9381/20/4/

    work page doi:10.1088/0264-9381/20/4/

  9. [9]

    [KS18] M

    doi:10.1063/1.532582. [KS18] M. Kunzinger and C. S¨ amann. Lorentzian length spaces.Ann. Global Anal. Geom., 54(3):399–447,

    work page doi:10.1063/1.532582

  10. [10]

    [McC20] R

    doi:10.1007/s10455-018-9633-1. [McC20] 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,

    work page doi:10.1007/s10455-018-9633-1

  11. [11]

    [Min19] E

    doi:10.4310/CJM.2020.v8.n3.a4. [Min19] E. Minguzzi. Lorentzian causality theory.Living Reviews in Relativity, 22(1):3,

    work page doi:10.4310/cjm.2020.v8.n3.a4 2020

  12. [12]

    [MS22] A

    doi:10.1007/ s41114-019-0019-x. [MS22] 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.doi:10.4171/JEMS/1188. [MS25] A. Mondino and C. S¨ amann. Lorentzian Gromov-Hausdorff convergence and pre-compactness,

    work page doi:10.4171/jems/1188 2022

  13. [13]

    Lorentzian Gromov-Hausdorff convergence and pre-compactness

    doi: 10.48550/arXiv.2504.10380. [O’N83] B. O’Neill.Semi-Riemannian geometry with applications to relativity. Academic Press,

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2504.10380

  14. [14]

    [Sch71] B

    doi:10.1103/PhysRevLett.10.66. [Sch71] B. G. Schmidt. A new definition of singular points in general relativity.General Relativity and Gravitation, 1(3):269–280, 1971.doi:10.1007/BF00759538. 54 BURGOS, CHE, AND PRADOS–ABAD [SS94] S. M. Scott and P. Szekeres. The abstract boundary—a new approach to singularities of manifolds.Journal of Geometry and Physics...

    work page doi:10.1103/physrevlett.10.66 1971

  15. [15]

    doi:10.1016/j.tcs.2010.02.020. (Burgos)Departamento de Geometr´ıa y Topolog´ıa & IMAG, Universidad de Granada, Spain Email address:sburgos@ugr.es (Che)Faculty of Mathematics, University of Vienna, Austria Email address:mauricio.adrian.che.moguel@univie.ac.at (Prados–Abad)Faculty of Mathematics, University of Vienna, Austria Email address:miguel.prados.aba...

    work page doi:10.1016/j.tcs.2010.02.020 2010