Pith. sign in

REVIEW 2 major objections 2 minor 16 references

Spray-Invariant Sets in Infinite-Dimensional Manifolds

T0 review · 2 major / 2 minor · reviewed 2026-05-22 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read Spray-invariant sets allow geodesic preservation in infinite-dimensional manifolds even for singular sets.

desk verdict The paper defines spray-invariant sets as a relaxation of totally geodesic submanifolds with a regularity split on parametrization behavior, but the infinite-dimensional and singular-set parts rest on unstated existence conditions for geodesics. read the letter →

arxiv 2505.10980 v2 submitted 2025-05-16 math.DG

Kaveh Eftekharinasab This is my paper
classification math.DG
keywords spray-invariantsetsinfinite-dimensionalmanifoldsgeodesicsspraystotallygeodesicsubmanifoldsstratifiedspacesdifferentialgeometry
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

The paper introduces spray-invariant sets on infinite-dimensional manifolds. These are sets such that any geodesic of a spray beginning in the set remains in the set throughout its domain. The definition extends to singular spaces like stratified spaces, where the property can depend on parametrization. For differentiable submanifolds, the invariance is stable under reparametrization, offering a broader alternative to totally geodesic submanifolds with examples in flat spaces.

What carries the argument

Spray-invariant set, a subset containing all geodesics of the spray that start inside it

What would settle it

An explicit construction of a spray on an infinite-dimensional manifold and a set claimed to be invariant where a geodesic escapes the set would disprove the general claim.

Watch

Extended reading notes

Core claim

We introduce the concept of spray-invariant sets on infinite-dimensional manifolds, where any geodesic of a spray starting in the set stays within it for its entire domain. These sets, possibly including singular spaces such as stratified spaces, exhibit different geometric properties depending on their regularity: sets that are not differentiable submanifolds may show sensitive dependence, for example, on parametrization, whereas for differentiable submanifolds invariance is preserved under reparametrization. This framework offers a broader perspective on geodesic preservation than the rigid notion of totally geodesic submanifolds, with examples arising naturally even in simple settings, as

Load-bearing premise

The extension of sprays and geodesics to infinite-dimensional manifolds and singular sets preserves the invariance and reparametrization properties.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The manuscript defines spray-invariant sets on infinite-dimensional manifolds, where a set is invariant under a spray if every geodesic starting in the set remains entirely within it for its maximal domain. It highlights a regularity distinction: non-differentiable sets may exhibit sensitive dependence on parametrization, while differentiable submanifolds preserve the invariance property under reparametrization. The work presents this as a broader alternative to totally geodesic submanifolds and includes examples in linear spaces with flat sprays.

Significance. Should the definitions and examples hold up under scrutiny, the paper contributes a new perspective on geodesic preservation in infinite-dimensional geometry, potentially applicable to singular spaces. This could be significant for researchers working on infinite-dimensional manifolds and stratified spaces, though its impact depends on the rigor of the supporting constructions and the provision of concrete examples beyond the abstract level.

major comments (2)
  1. The central claim relies on extending the notion of sprays and geodesics to infinite-dimensional manifolds and possibly singular sets. However, no local existence or uniqueness theorems for geodesics are referenced or provided, despite the known challenges in infinite dimensions where C^1 regularity on the spray is typically required for geodesic existence. This is load-bearing for verifying the invariance condition.
  2. While examples in flat sprays on linear spaces are mentioned, it is unclear how the invariance is explicitly verified for non-smooth sets in these settings, and whether the reparametrization sensitivity is demonstrated with a concrete calculation.
minor comments (2)
  1. Clarify the precise category of manifolds (e.g., Banach manifolds or Fréchet) and the regularity class of the sprays considered.
  2. Ensure citations to standard works on sprays in infinite dimensions, such as those by Lang or other infinite-dimensional geometry texts, are included if not already present.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We address each major point below and have revised the manuscript to incorporate clarifications and additional details where needed.

read point-by-point responses

  1. Referee: The central claim relies on extending the notion of sprays and geodesics to infinite-dimensional manifolds and possibly singular sets. However, no local existence or uniqueness theorems for geodesics are referenced or provided, despite the known challenges in infinite dimensions where C^1 regularity on the spray is typically required for geodesic existence. This is load-bearing for verifying the invariance condition.

    Authors: We agree that local existence and uniqueness results are important for the invariance condition to be rigorously verifiable. In the revised manuscript we have added references to standard existence theorems for geodesics of sprays on infinite-dimensional manifolds (e.g., results requiring C^1 regularity of the spray on Banach or Hilbert manifolds). We now explicitly state the regularity hypotheses on the spray under which the geodesics are assumed to exist locally, making the load-bearing assumptions transparent. revision: yes

  2. Referee: While examples in flat sprays on linear spaces are mentioned, it is unclear how the invariance is explicitly verified for non-smooth sets in these settings, and whether the reparametrization sensitivity is demonstrated with a concrete calculation.

    Authors: We thank the referee for highlighting this lack of explicitness. In the revised version we have expanded the examples section on flat sprays in linear spaces. For a concrete non-smooth set (a closed convex cone with a corner in a Banach space) we now give a direct verification that every straight-line geodesic starting inside the set remains inside for its maximal interval. We also include an explicit calculation showing that reparametrization can alter membership for a non-differentiable set, while proving that the invariance property is preserved under reparametrization when the set is a differentiable submanifold. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

New definition of spray-invariant sets is introduced without any derivation that reduces to inputs by construction

full rationale

The paper's central contribution is the explicit introduction of the spray-invariant set concept on infinite-dimensional manifolds, including singular stratified spaces, together with a comparison to totally geodesic submanifolds and simple examples such as linear spaces with flat sprays. No equations or claims are shown to derive a result from a fitted parameter, self-citation chain, or ansatz that is itself defined in terms of the target property. The abstract and described framework rest on definitional extension rather than predictive reduction, rendering the argument self-contained against external benchmarks.

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

The work rests on the standard background theory of sprays and geodesics in manifolds; the principal addition is the newly defined class of sets.

assumptions (1)
  • standard math Existence and local uniqueness of geodesics for a spray on an infinite-dimensional manifold.
    Invoked implicitly when the paper speaks of geodesics starting in the set and remaining inside it.
invented entities (1)
  • spray-invariant set
    purpose: A set closed under the geodesics of a given spray, allowing singular or non-smooth examples.
    Newly introduced concept whose independent evidence consists only of the definition and the claimed examples.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Spray-Invariant Sets in Infinite-Dimensional Manifolds." pith.science (2026). https://pith.science/paper/2505.10980

@misc{pith2026250510980,
  author       = {Pith},
  title        = {Pith review of: Spray-Invariant Sets in Infinite-Dimensional Manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2505.10980}},
  note         = {Machine review of arXiv:2505.10980}
}
read the original abstract

We introduce the concept of spray-invariant sets on infinite-dimensional manifolds, where any geodesic of a spray starting in the set stays within it for its entire domain. These sets, possibly including singular spaces such as stratified spaces, exhibit different geometric properties depending on their regularity: sets that are not differentiable submanifolds may show sensitive dependence, for example, on parametrization, whereas for differentiable submanifolds invariance is preserved under reparametrization. This framework offers a broader perspective on geodesic preservation than the rigid notion of totally geodesic submanifolds, with examples arising naturally even in simple settings, such as linear spaces equipped with flat sprays.

Discussion (0). Sign in to comment.

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

16 extracted references · 16 canonical work pages

  1. [1]

    Aubin and H

    J.-P. Aubin and H. Frankowska,Set-Valued Analysis, Birkhäuser, Boston, MA, (2009)

    work page 2009

  2. [2]

    Eftekharinasab,Some applications of transversality for infinite dimensional manifolds, Proc

    K. Eftekharinasab,Some applications of transversality for infinite dimensional manifolds, Proc. Int. Geom. Center, vol. 14, no. 2, pp. 137–153, (2021)

    work page 2021

  3. [3]

    Eftekharinasab,Geometry of bounded Fréchet manifolds,Rocky Mountain J

    K. Eftekharinasab,Geometry of bounded Fréchet manifolds,Rocky Mountain J. of Math., vol. 46, no. 3, pp. 895–913, (2016)

    work page 2016

  4. [4]

    Eftekharinasab,Sard’s theorem for mappings between Fréchet manifolds, Ukr

    K. Eftekharinasab,Sard’s theorem for mappings between Fréchet manifolds, Ukr. Math. J., vol. 62, pp. 1896–1905, (2011)

    work page 1905

  5. [5]

    Eftekharinasab,Geometry via Sprays on Fréchet Manifolds, arXiv:2307.15955 [math.DG]

    K. Eftekharinasab,Geometry via Sprays on Fréchet Manifolds, arXiv:2307.15955 [math.DG]

    work page arXiv

  6. [6]

    Eftekharinasab and R

    K. Eftekharinasab and R. Horidko,On generalization of Nagumo-Brezis theorem, Acta et Commentationes Universitatis Tartuensis de Mathematica, vol. 28, no. 1, pp. 29–39, (2024)

    work page 2024

  7. [7]

    Eftekharinasab and V

    K. Eftekharinasab and V. Petrusenko,Finslerian geodesics on Fréchet manifolds,Bulletin of the Transilvania University of Brasov, Series III: Mathematics, Informatics, Physics, vol. 13, no. 1, pp. 129–152, (2020)

    work page 2020

  8. [8]

    Lang,Fundamentals of Differential Geometry, Graduate Texts in Mathematics, vol

    S. Lang,Fundamentals of Differential Geometry, Graduate Texts in Mathematics, vol. 191, Springer, New York, (1999)

    work page 1999

Show all 16 references
  1. [9]

    Kriegl and P

    A. Kriegl and P. Michor,The Convenient Setting of Global Analysis, Mathematical Surveys and Monographs, vol. 53, American Mathematical Society, Providence, (1997)

    1997

  2. [10]

    Al. I. Cuza

    L. Maxim,Connections compatible with Fredholm structures on Banach manifolds, Anal. Ştiint. Univ. "Al. I. Cuza.", Iaşi, vol. 18, pp. 384–400, (1972)

    1972

  3. [11]

    Motreanu and N

    D. Motreanu and N. H. Pavel,Flow-invariance for second order differential equations on manifolds and orbital motions, Boll. U.M.I. 1-B, vol. 1, pp. 943–964, (1987)

    1987

  4. [12]

    Motreanu and N

    D. Motreanu and N. H. Pavel,Quasi-tangent vectors in flow-invariance and optimization problems on Banach manifolds, J. Math. Anal. Appl., vol. 88, pp. 116–132, (1982)

    1982

  5. [13]

    Motreanu and N

    D. Motreanu and N. H. Pavel,Tangency, Flow Invariance for Differential Equations, and Optimization Problems, Monographs and Textbooks in Pure and Applied Mathematics, vol. 219, M. Dekker, New York, (1999)

    1999

  6. [14]

    Neeb,Towards a Lie theory of locally convex groups, Jpn

    K.-H. Neeb,Towards a Lie theory of locally convex groups, Jpn. J. Math., vol. 2, no. 1, pp. 291–468, (2006)

    2006

  7. [15]

    N. H. Pavel and C. Ursescu,Flow-invariant sets for autonomous second order differential equations and applications in mechanics, Nonlin. Anal. TMA, vol. 6, no. 1, pp. 35–74, (1982)

    1982

  8. [16]

    Szilasi, R

    J. Szilasi, R. L. Lovas, and D. Cs. Kertész,Connections, Sprays and Finsler Structures, World Scientific, 1st edition, (2013). 28

    2013

Pith tools

Reviewed May 22, 2026 · model on record in the stance chip above.