Spray-Invariant Sets in Infinite-Dimensional Manifolds

Basic Information

• Paper ID: 2505.10980
• Title: Spray-Invariant Sets in Infinite-Dimensional Manifolds
• Author: Kaveh Eftekharinasab
• Classification: math.DG (Differential Geometry)
• Publication Date: October 10, 2025 (arXiv version)
• Paper Link: https://arxiv.org/abs/2505.10980v2
• Funding Information: Simons Foundation (1030291, 1290607, K.A.E)

Abstract

This paper introduces the concept of spray-invariant sets on infinite-dimensional manifolds, where any spray geodesic starting from within the set remains in the set throughout its entire domain of definition. These sets may include singular spaces (such as stratified spaces) and exhibit different geometric properties according to their regularity: non-differentiable submanifolds may exhibit sensitive dependence on parametrization, while for differentiable submanifolds, invariance is preserved under reparametrization. The framework provides a broader perspective on geodesic preservation compared to the rigid concept of totally geodesic submanifolds, with natural examples arising even in simple settings such as linear spaces equipped with flat sprays.

Research Background and Motivation

Problem Definition

The core problem addressed by this research is: How can one characterize subsets of infinite-dimensional manifolds that possess "invariance" with respect to geodesic motion? Specifically, to find sets $S$ such that any geodesic starting within $S$ remains entirely within $S$.

Importance Analysis

1. Theoretical Significance: The traditional concept of totally geodesic submanifolds is overly restrictive, and many naturally occurring geometric structures do not satisfy this condition. Spray-invariant sets provide a more general framework for studying geodesic preservation properties.
2. Geometric Insights: This research reveals deep connections between the regularity of a set and its geometric behavior, particularly how smoothness affects invariance under reparametrization.
3. Application Potential: In physics, control theory, and optimization, understanding which regions are "invariant" to dynamical systems is of significant importance.

Limitations of Existing Methods

1. Restrictions of Totally Geodesic Submanifolds: Requirements are too stringent, and many natural geometric objects do not satisfy this condition
2. Finite-Dimensional Limitation: Existing theory primarily addresses finite-dimensional cases, and the complexity of infinite-dimensional manifolds requires new tools
3. Treatment of Singular Spaces: Traditional methods struggle with non-smooth stratified spaces and other singular structures

Research Motivation

The author observes that spray-invariant sets arise naturally even in simple settings (such as linear spaces equipped with flat sprays), motivating the establishment of a more general theoretical framework to understand this phenomenon.

Core Contributions

1. Introduction of Spray-Invariant Sets Concept: Defines spray-invariant sets on infinite-dimensional manifolds, generalizing the concept of totally geodesic submanifolds
2. Establishment of Admissible Set Theory: Defines $(T^2S, \mathcal{S})$-admissible sets $A_{\mathcal{S},S}$, providing fundamental invariants for analyzing geodesic behavior
3. Characterization of Totally Geodesic Submanifolds: Proves that for a $C^3$ submanifold $S$, $S$ is totally geodesic if and only if $A_{\mathcal{S},S} = TS$
4. Development of Singular Space Theory: Extends the theory to non-smooth stratified spaces, revealing how regularity affects parametrization sensitivity
5. Establishment of Automorphism Preservation: Proves that spray automorphisms preserve spray-invariance and studies orbit-type decompositions under Lie group actions
6. Provision of Necessary and Sufficient Conditions for Nuclear Fréchet Manifolds: Establishes equivalent characterizations of spray-invariance using the Nagumo-Brezis theorem

Methodology Details

Task Definition

Given a spray $\mathcal{S}$ on an infinite-dimensional manifold $M$ and a subset $S \subset M$, determine whether $S$ is spray-invariant, that is: for any geodesic $g: I \to M$, if $g(0) \in S$ and $g'(0) \in A_{\mathcal{S},S}$, then $g(t) \in S$ for all $t \in I$.

Core Conceptual Framework

1. Adjacent Cone

For a subset $S$ in a Fréchet space $F$ and a point $s \in S$, the adjacent cone is defined as: $T_sS := \{f \in F | \lim_{t \to 0^+} t^{-1}d_{F,n}(s + tf, S) = 0, \forall n \in \mathbb{N}\}$

2. Second-Order Adjacent Cone

$T^2_sS := \{e \in F | \exists f \in F \text{ s.t. } \lim_{t \to 0^+} t^{-2}d_{F,n}(s + tf + \frac{1}{2}t^2e, S) = 0, \forall n \in \mathbb{N}\}$

3. Admissible Set

A tangent vector $v \in TM$ is $(T^2S, \mathcal{S})$-admissible if:

• $\tau(v) \in S$
• $\mathcal{S}(v) \in T^2_{\tau(v)}S$

The admissible set is defined as: $A_{\mathcal{S},S} = \{v \in TM | \tau(v) \in S, \mathcal{S}(v) \in T^2_{\tau(v)}S\}$

Main Theorems

Theorem 2.15 (Fundamental Equivalence)

Let $\mathcal{S}$ be a spray on $M$, $g: I \subset \mathbb{R} \to M$ be its geodesic, and $S \subset M$ be a non-empty closed subset. Then for all $t \in I$, $g(t) \in S$ if and only if $g'(t) \in A_{\mathcal{S},S}$.

Theorem 2.20 (Characterization of Totally Geodesic Submanifolds)

Let $\mathcal{S}$ be a spray on $M$ and $S$ be a $C^3$ submanifold of $M$. Then $S$ is totally geodesic if and only if $A_{\mathcal{S},S} = TS$.

Technical Innovations

1. Unified Framework: Unifies totally geodesic submanifolds, singular spaces, and stratified spaces under the framework of spray-invariant sets
2. Multi-Level Analysis: Precisely characterizes geometric constraints through hierarchical structures of adjacent cones (first-order and second-order)
3. Parametrization Sensitivity: Reveals sensitive dependence of non-smooth sets on spray parametrization, while smooth submanifolds preserve invariance
4. Infinite-Dimensional Adaptation: Successfully generalizes finite-dimensional geometric concepts to infinite-dimensional settings such as Fréchet manifolds

Experimental Setup

Theoretical Verification Methods

The paper primarily verifies theoretical results through construction of concrete examples:

1. Function Space Examples: Using function spaces such as $C^\infty(\mathbb{R}, \mathbb{R})$
2. Stratified Space Construction: Singular sets defined through support conditions
3. Loop Space Applications: Loop spaces $C^\infty(S^1, S^2)$ on spheres

Verification Strategy

• Direct Computation: Verification of adjacent cones and admissible sets through local coordinate systems
• Geometric Analysis: Verification of invariance using geodesic equations
• Counterexample Construction: Demonstration of boundary cases of the theory

Experimental Results

Main Results Presentation

Example 2.17 (Singular Spray-Invariant Sets)

On the Fréchet space $E = C^\infty(\mathbb{R}, \mathbb{R})$, define:

• $S_+ := \{f \in E | \text{supp}(f) \subseteq [0, \infty)\}$
• $S_- := \{f \in E | \text{supp}(f) \subseteq (-\infty, 0]\}$
• $S = S_+ \cup S_-$

Results show that $S$ is a spray-invariant set under the flat spray but is not a manifold, demonstrating the broad applicability of the theory.

Example 2.21 (Non-Totally Geodesic Spray-Invariant Submanifolds)

Constructs a $C^\infty$ submanifold that is spray-invariant but not totally geodesic, proving the genuine generality of the spray-invariance concept.

Example 4.4 (Totally Geodesic Submanifolds in Loop Spaces)

In the Hilbert manifold $H^1(S^1, S^2)$, proves that constant loops on great circles constitute totally geodesic submanifolds.

Theoretical Verification

1. Admissible Set Characterization: All examples verify the equivalence in Theorem 2.15
2. Totally Geodesic Discrimination: Example 4.4 verifies the discrimination conditions in Theorem 2.20
3. Parametrization Sensitivity: Example 2.19 demonstrates the sensitivity of singular sets to projection-equivalent sprays

Important Findings

1. Regularity Determines Behavior: The smoothness of a set directly affects its sensitivity to reparametrization
2. Natural Occurrence: Spray-invariant sets arise naturally even in simple linear settings
3. Stratification Structure Preservation: Orbit-type decomposition preserves invariance under group-invariant sprays

Related Work

Main Research Directions

1. Finite-Dimensional Spray Geometry: Classical theory by Lang, Szilasi, and others
2. Flow-Invariant Sets on Banach Manifolds: Pioneering work by Motreanu and Pavel
3. Fréchet Manifold Geometry: Convenient setting theory by Kriegl and Michor
4. Infinite-Dimensional Geodesic Theory: Applications in fluid mechanics by Ebin, Marsden, and others

Novelty of This Work

1. Concept Generalization: Generalizes from flow-invariant sets to spray-invariant sets
2. Dimensional Extension: Extends from Banach manifolds to general Fréchet manifolds
3. Singularity Treatment: First systematic treatment of stratified spaces and other singular structures
4. Parametrization Theory: In-depth analysis of the effects of projection equivalence

Relationship to Related Work

This paper builds upon the flow-invariant set theory of Motreanu-Pavel but significantly extends the applicability and depth of the theory through the introduction of the spray framework and second-order adjacent cones.

Conclusions and Discussion

Main Conclusions

1. Unified Theory: Establishes a unified spray-invariant set theory encompassing totally geodesic submanifolds and singular spaces
2. Fundamental Equivalence: Admissible sets provide fundamental tools for analyzing geodesic behavior
3. Regularity Impact: The smoothness of a set determines the stability of its geometric behavior
4. Broad Applicability: The theory applies to Fréchet, Banach, and Hilbert manifolds

Limitations

1. Existence Issues: Existence and uniqueness of geodesics are not guaranteed on general Fréchet manifolds
2. Computational Complexity: Verification of transversality conditions may be difficult in practical applications
3. Nuclearity Requirements: Some results require the nuclearity assumption on manifolds, limiting applicability
4. Local Properties: Some results hold only locally; global generalization requires additional conditions

Future Directions

1. Application Extensions: Specific applications in control theory, optimization, and physics
2. Algorithm Development: Development of effective algorithms for verifying spray-invariance
3. Generalization Research: Extension to more general geometric structures such as Finsler manifolds
4. Numerical Methods: Development of numerical methods for computing adjacent cones and admissible sets

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes profound mathematical theory unifying multiple geometric concepts
2. Technical Innovation: The introduction of second-order adjacent cones represents important technical innovation
3. Rich Examples: Diverse examples clearly demonstrate the power and limitations of the theory
4. Clear Writing: Mathematical exposition is rigorous and logically structured

Weaknesses

1. Limited Practicality: The theory is quite abstract with relatively few practical application examples
2. Computational Difficulty: Verification of conditions may be computationally complex in practice
3. Strong Assumptions: Some results require relatively strong technical assumptions (such as nuclearity)
4. Incomplete Coverage: Discussion of certain important classes of infinite-dimensional manifolds is insufficient

Impact

1. Academic Contribution: Provides new research tools and perspectives for infinite-dimensional differential geometry
2. Theoretical Value: Advances the development of spray geometry in infinite-dimensional settings
3. Inspirational Value: Provides new ideas and methods for researchers in related fields
4. Foundational Significance: Establishes solid theoretical foundations for subsequent research

Applicable Scenarios

1. Theoretical Research: Theoretical research in infinite-dimensional differential geometry and spray geometry
2. Applied Mathematics: Constraint problems in variational methods and control theory
3. Mathematical Physics: Analysis of geometric structures in field theory and fluid mechanics
4. Optimization Theory: Geometric methods for infinite-dimensional optimization problems

References

The paper cites 28 important references, primarily including:

• Lang: Fundamentals of Differential Geometry (foundations of spray theory)
• Kriegl & Michor: The Convenient Setting of Global Analysis (Fréchet manifold theory)
• Motreanu & Pavel: Pioneering work on flow-invariant set theory
• Aubin & Frankowska: Set-Valued Analysis (foundations of set-valued analysis)

Overall Assessment: This is a high-quality mathematical theory paper that makes important contributions to infinite-dimensional differential geometry. The theory is novel and profound, the technical treatment is rigorous, and it provides valuable tools and insights for related research. While further development is needed in practical applications, its theoretical value and inspirational significance are substantial.