pith. sign in

arxiv: 2509.00525 · v2 · submitted 2025-08-30 · 🧮 math.DG

A Lifting principle of curves under exponential-type maps

Ivan P. Costa e Silva , Jos\'e L. Flores This is my paper

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

classification 🧮 math.DG
keywords semi-Riemannian geometryexponential mappath liftingpath-continuation propertygeodesic connectivityHopf-Rinow theoremAvez-Seifert theorem
0
0 comments X

The pith

Every smooth path in a semi-Riemannian manifold admits an inextensible partial lift through the exponential map after nondecreasing reparametrization.

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

The paper develops a lifting theory for the exponential map on semi-Riemannian manifolds that avoids obstructions from singularities. It proves that every smooth path can be reparametrized by a nondecreasing function so that it has a lift through the exponential map that cannot be extended further inside its domain. When the exponential map obeys the path-continuation property, these partial lifts become global, producing a general path-lifting theorem. The same construction supplies new proofs for the Hopf-Rinow theorem, Serre's multiplicity result, and the Avez-Seifert theorem, while highlighting the continuation property as a unifying condition for geodesic connectivity.

Core claim

Every smooth path in the manifold admits, up to a nondecreasing reparametrization, a partial lift through the exponential map which is inextensible in its domain of definition. If the exponential map satisfies the path-continuation property, these lifts extend globally, yielding a general path-lifting theorem.

What carries the argument

The inextensible partial lift of a reparametrized smooth path through the exponential map, constructed to stop precisely when it cannot be continued further.

If this is right

  • New proofs of the Hopf-Rinow theorem and its generalizations in Riemannian geometry.
  • Alternative proof of Serre's theorem on the multiplicity of geodesics connecting two points.
  • New proof of the Avez-Seifert theorem on geodesic connectedness in globally hyperbolic spacetimes.
  • The continuation property serves as a single topological condition that guarantees geodesic connectivity across many semi-Riemannian settings.

Where Pith is reading between the lines

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

  • The lifting construction may extend directly to other maps that generate flows on the tangent bundle, not just the geodesic flow.
  • The approach could clarify geodesic behavior on manifolds that are neither complete nor incomplete in the usual sense.
  • It offers a geometric alternative to variational methods when studying connectivity questions in broader classes of geometric structures.

Load-bearing premise

The path-continuation property of the exponential map is required to turn the partial lifts into global ones.

What would settle it

A concrete smooth path on some semi-Riemannian manifold for which no nondecreasing reparametrization yields an inextensible partial lift through the exponential map.

read the original abstract

We develop a lifting theory for the exponential map of semi-Riemannian manifolds that overcomes the classical obstruction caused by its singularities. We show that every smooth path in the manifold admits, up to a nondecreasing reparametrization, a partial lift through the exponential map which is inextensible in its domain of definition. If the exponential map satisfies the path-continuation property-a natural topological condition-these lifts extend globally, yielding a general path-lifting theorem. This lifting approach yields new, alternative proofs of (generalizations of) a number of foundational results in semi-Riemannian geometry: the Hopf-Rinow theorem and Serre's classic theorem about multiplicity of connecting geodesics in the Riemannian case, as well as the Avez-Seifert theorem for globally hyperbolic spacetimes in Lorentzian geometry. More broadly, our results reveal the central role of the continuation property in obtaining geodesic connectivity across a wide range of semi-Riemannian geometries. This offers a unifying geometric principle that is complementary to the more traditional analytic, variational methods used in to investigate geodesic connectedness, and provides new insight into the structure of geodesics, both on geodesically complete and non-complete manifolds. We also briefly point out how the lifting theory developed here can etend to more general flow-inducing maps on the tangent bundle other than the geodesic flow, suggesting broader geometric applicability beyond the exponential map.

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 develops a lifting theory for the exponential map on semi-Riemannian manifolds that overcomes singularities. It claims that every smooth path admits, up to nondecreasing reparametrization, a partial lift through the exponential map that is inextensible in its domain of definition. When the exponential map satisfies the path-continuation property, these lifts extend globally. The theory is used to give alternative proofs of (generalizations of) the Hopf-Rinow theorem, Serre's theorem on multiplicity of connecting geodesics, and the Avez-Seifert theorem for globally hyperbolic spacetimes, while also suggesting extensions to other flow-inducing maps on the tangent bundle.

Significance. If the lifting construction and its applications can be made rigorous without circularity, the work would supply a new geometric principle for geodesic connectedness that is complementary to variational methods and applies uniformly to complete and incomplete semi-Riemannian manifolds. The explicit role assigned to the path-continuation property could clarify the structure of geodesics across a range of geometries.

major comments (2)
  1. [Applications to Hopf-Rinow and related corollaries] § on global extension and the path-continuation property: the global lifting theorem is obtained by assuming the path-continuation property, yet the applications to the Hopf-Rinow theorem appear to invoke this property in settings where geodesic completeness is simultaneously being concluded; it is not shown that the property holds independently of the completeness result.
  2. [Lorentzian applications] Corollary on Avez-Seifert theorem: the argument applies the global lifting result in globally hyperbolic spacetimes, but the verification that the exponential map satisfies the path-continuation property is not separated from the global hyperbolicity assumption used to reach the connectedness conclusion.
minor comments (2)
  1. [Abstract] Abstract, last paragraph: 'etend' is a typographical error and should read 'extend'.
  2. [Definition of partial lift] Notation for the reparametrization and the domain of the partial lift should be introduced with a clear diagram or explicit formula in the first section where the lifting construction appears.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the two major comments below regarding the logical structure of the applications. We will revise the manuscript to improve clarity on these points.

read point-by-point responses

  1. Referee: [Applications to Hopf-Rinow and related corollaries] § on global extension and the path-continuation property: the global lifting theorem is obtained by assuming the path-continuation property, yet the applications to the Hopf-Rinow theorem appear to invoke this property in settings where geodesic completeness is simultaneously being concluded; it is not shown that the property holds independently of the completeness result.

    Authors: We appreciate this observation on potential circularity. The manuscript derives the path-continuation property from the independent assumption of metric completeness of the manifold (via the Hopf-Rinow statement being proved), prior to applying the global lifting theorem to conclude geodesic completeness and connectedness. The logical order is metric completeness implies path-continuation (established in the global extension section), which then yields the geodesic conclusions. We acknowledge that the presentation could delineate these steps more explicitly to avoid any appearance of simultaneity and will revise the relevant section and add a clarifying remark on the proof structure. revision: yes

  2. Referee: [Lorentzian applications] Corollary on Avez-Seifert theorem: the argument applies the global lifting result in globally hyperbolic spacetimes, but the verification that the exponential map satisfies the path-continuation property is not separated from the global hyperbolicity assumption used to reach the connectedness conclusion.

    Authors: We thank the referee for this comment. In the Lorentzian case, global hyperbolicity is used first to verify the path-continuation property for the exponential map (via the standard existence of maximizing causal curves in the causal future, which follows directly from the definition of global hyperbolicity). This verification precedes the application of the global lifting result to obtain geodesic connectedness. We agree that the separation of these steps can be made more explicit and will revise the corollary and surrounding discussion to include a dedicated clarification of the logical order. revision: yes

Circularity Check

0 steps flagged

No circularity: lifting construction and path-continuation property introduced as independent topological elements

full rationale

The derivation begins with an unconditional partial-lift result for arbitrary smooth paths via nondecreasing reparametrization, followed by a conditional global extension that explicitly assumes the path-continuation property as a separate topological condition. This property is defined in the abstract as natural and independent, not derived from the target theorems. Applications to Hopf-Rinow, Serre, and Avez-Seifert are framed as alternative proofs using the new lifting framework rather than reductions of the central claim to fitted parameters, self-definitions, or self-citation chains. The manuscript remains self-contained against external benchmarks with no quoted steps reducing by construction to inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard differential geometry background without introducing fitted parameters or new entities; the path-continuation property is presented as a natural topological condition rather than an ad-hoc axiom.

axioms (2)
  • standard math Semi-Riemannian manifold is smooth with a non-degenerate metric of constant signature.
    Invoked as the setting for the exponential map and path lifting.
  • standard math Exponential map is defined via the geodesic flow on the tangent bundle.
    Used throughout the lifting construction described in the abstract.

pith-pipeline@v0.9.0 · 5779 in / 1292 out tokens · 33767 ms · 2026-05-18T19:34:30.290158+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

22 extracted references · 22 canonical work pages · 1 internal anchor

  1. [1]

    Arnold, Ordinary Differential Equations , 3rd ed., Springer-Verlag, New York, 1992

    V.I. Arnold, Ordinary Differential Equations , 3rd ed., Springer-Verlag, New York, 1992. Translated from the Russian by Richard Cooke

    work page 1992

  2. [2]

    J. K. Beem, P. E. Ehrlich, A Morse Index Theorem for Null Geodesics, Duke Math. J. 46 (1979), 561–569

    work page 1979

  3. [3]

    Beem, P.E

    J.K. Beem, P.E. Ehrlich and K.L. EasleyGlobal Lorentzian Geometry, 2nd ed., Marcel Dekker, New York (1996)

    work page 1996

  4. [4]

    Browder, Covering spaces, fiber spaces and local homeomorphisms , Duke Math

    F.E. Browder, Covering spaces, fiber spaces and local homeomorphisms , Duke Math. J. 21 (1954), 329–336

    work page 1954

  5. [5]

    Burago, Y

    D. Burago, Y. Burago, S. Ivanov, A course in Metric Geometry , American Mathematical Society Graduate Studies in Mathematics, AMS, vol. 33, (2001)

    work page 2001

  6. [6]

    I. P. Costa e Silva, J. L. Flores, Geodesic connectedness of affine manifolds, Ann. Mat. Pura Appl. (4), 200(3) (2021), 1135-1148

    work page 2021

  7. [7]

    I. P. Costa e Silva, J. L. Flores and K. P. R. Honorato, Path-lifting properties of the ex- ponential map with applications, Rev. Mat. Iberoam., 39, no. 4, (2023) 1493–1517. (DOI 10.4171/RMI/1364)

    work page doi:10.4171/rmi/1364 2023

  8. [8]

    I. P. Costa e Silva, J. L. Flores and K. P. R. Honorato, Locally Extremal Timelike Geodesic Loops on Lorentzian Manifolds, arXiv:2201.09993

    work page arXiv

  9. [9]

    I. P. Costa e Silva, J. L. Flores, Existence of closed geodesics on Riemannian manifolds via geodesic homotopy, in progress

    work page

  10. [10]

    Dujundi, An extension of Tietze’s theorem , Pacific J

    J. Dujundi, An extension of Tietze’s theorem , Pacific J. Math. 1(3), (1951) 353-367

    work page 1951

  11. [11]

    Klok, Generic singularities of the exponential map on Riemannian manifolds , Geom

    F. Klok, Generic singularities of the exponential map on Riemannian manifolds , Geom. Dedicata 14, n. 2 (1983), 317-342

    work page 1983

  12. [12]

    On global inverse and implicit functions

    O. Gut´ u,On global inverse and implicit theorems revised version , arXiv:1508.07028

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    Gut´ u and J

    O. Gut´ u and J. A. Jaramillo, Global homeomorphism and covering projections on metric spaces, Math. Ann. 338 (2007), 75–95

    work page 2007

  14. [14]

    Janeckzco and T

    S. Janeckzco and T. Mostowski, Relative generic singularities of the exponential map , Com- positio Mathematica, tome 96, no 3 (1995), 345-370

    work page 1995

  15. [15]

    Morse, The Calculus of Variations in the Large , American Mathematical Society Collo- quium Publications, Vol

    M. Morse, The Calculus of Variations in the Large , American Mathematical Society Collo- quium Publications, Vol. 18, AMS, Providence, 1934

    work page 1934

  16. [16]

    O’Neill, Semi-Riemannian Geometry with Applications to Relativity, 489 Academic Press, New York, 1983

    B. O’Neill, Semi-Riemannian Geometry with Applications to Relativity, 489 Academic Press, New York, 1983

    work page 1983

  17. [17]

    Rheinboldt, Local mapping relations and global implicit functions theorems , Trans

    W. Rheinboldt, Local mapping relations and global implicit functions theorems , Trans. Am. Math. Soc. 138 (1969), 183–198

    work page 1969

  18. [18]

    Rudin, Principles of Mathematical Analysis , 3rd edition, McGraw-Hill, 1976

    W. Rudin, Principles of Mathematical Analysis , 3rd edition, McGraw-Hill, 1976

    work page 1976

  19. [19]

    Serre, Homologie singuli` ere des espaces fibr´ es

    J-P. Serre, Homologie singuli` ere des espaces fibr´ es. Applications, Annals of Mathematics, 54(3) (1951), 425–505

    work page 1951

  20. [20]

    Wall, Geometric properties of generic differentiable manifolds , Lecture Notes in Math

    C.T. Wall, Geometric properties of generic differentiable manifolds , Lecture Notes in Math. 597 (1977), 707-774

    work page 1977

  21. [21]

    Weinstein, The generic conjugate locus In Global Analysis, Proc

    A. Weinstein, The generic conjugate locus In Global Analysis, Proc. Symp. in Pure Math. 15 (1970), 299-302

    work page 1970

  22. [22]

    Warner, Foundations of Differentiable Manifolds and Lie Groups , Graduate Texts in Mathematics, vol

    F.W. Warner, Foundations of Differentiable Manifolds and Lie Groups , Graduate Texts in Mathematics, vol. 94, Springer-Verlag, New York, 1983. Department of Mathematics, Universidade Federal de Santa Catarina, 88.040-900 Florian´opolis-SC, Brazil. Email address: pontual.ivan@gmail.com Departamento de ´Algebra, Geometr´ıa y Topolog´ıa, Facultad de Ciencias...

    work page 1983