2025-11-20T20:28:15.289347

Spray-Invariant Sets in Infinite-Dimensional Manifolds

Eftekharinasab

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.

academic

Spray-Invariant Sets in Infinite-Dimensional Manifolds

基本信息

论文ID: 2505.10980
标题: Spray-Invariant Sets in Infinite-Dimensional Manifolds
作者: Kaveh Eftekharinasab
分类: math.DG (微分几何)
发表时间: 2025年10月10日 (arXiv版本)
论文链接: https://arxiv.org/abs/2505.10980v2
资助信息: Simons Foundation (1030291, 1290607, K.A.E)

摘要

本文在无穷维流形上引入了喷射不变集(spray-invariant sets)的概念，其中从集合内开始的任何喷射测地线在其整个定义域内都保持在集合内。这些集合可能包括奇异空间(如分层空间)，根据其正则性表现出不同的几何性质：非可微子流形的集合可能对参数化表现出敏感依赖性，而对于可微子流形，不变性在重新参数化下得以保持。该框架提供了比完全测地子流形刚性概念更广阔的测地线保持视角，即使在简单设置(如配备平坦喷射的线性空间)中也会自然出现相关例子。

研究背景与动机

问题定义

该研究要解决的核心问题是：如何在无穷维流形上刻画那些对测地线运动具有"不变性"的子集合？具体来说，寻找这样的集合S，使得任何从S内开始的测地线都完全保持在S内。

重要性分析

理论意义：传统的完全测地子流形概念过于严格，许多自然出现的几何结构不满足这一条件。喷射不变集提供了更广泛的框架来研究测地线的保持性质。
几何洞察：该研究揭示了集合的正则性与其几何行为之间的深刻联系，特别是光滑性如何影响重新参数化下的不变性。
应用潜力：在物理学、控制理论和优化等领域，理解哪些区域对动力学系统是"不变的"具有重要意义。

现有方法的局限性

完全测地子流形的限制：要求过于严格，许多自然的几何对象不满足此条件
有限维限制：现有理论主要针对有限维情况，无穷维流形的复杂性需要新的工具
奇异空间处理：传统方法难以处理非光滑的分层空间等奇异结构

研究动机

作者观察到即使在简单设置(如配备平坦喷射的线性空间)中，喷射不变集也会自然出现，这促使建立更一般的理论框架来理解这种现象。

核心贡献

引入喷射不变集概念：在无穷维流形上定义了喷射不变集，推广了完全测地子流形的概念
建立可容许集理论：定义了 $(T^2S, \mathcal{S})$ -可容许集 $A_{\mathcal{S},S}$ ，提供了分析测地线行为的基本不变量
刻画完全测地子流形：证明了对于 $C^3$ 子流形 $S$ ， $S$ 是完全测地的当且仅当 $A_{\mathcal{S},S} = TS$
发展奇异空间理论：将理论扩展到非光滑的分层空间，揭示了正则性对参数化敏感性的影响
建立自同构保持性：证明了喷射自同构保持喷射不变性，并研究了Lie群作用下的轨道型分解
提供核Fréchet流形的充要条件：利用Nagumo-Brezis定理建立了喷射不变性的等价刻画

方法详解

任务定义

给定无穷维流形 $M$ 上的喷射 $\mathcal{S}$ 和子集 $S \subset M$ ，确定 $S$ 是否为喷射不变的，即：对于任何测地线 $g: I \to M$ ，若 $g(0) \in S$ 且 $g'(0) \in A_{\mathcal{S},S}$ ，则 $g(t) \in S$ 对所有 $t \in I$ 成立。

核心概念架构

1. 邻接锥(Adjacent Cone)

对于Fréchet空间 $F$ 中的子集 $S$ 和点 $s \in S$ ，邻接锥定义为： $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)

切向量 $v \in TM$ 是 $(T^2S, \mathcal{S})$ -可容许的，如果：

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

可容许集定义为： $A_{\mathcal{S},S} = \{v \in TM | \tau(v) \in S, \mathcal{S}(v) \in T^2_{\tau(v)}S\}$

主要定理

定理2.15 (基本等价性)

设 $\mathcal{S}$ 是 $M$ 上的喷射， $g: I \subset \mathbb{R} \to M$ 是其测地线， $S \subset M$ 是非空闭子集。则对所有 $t \in I$ ， $g(t) \in S$ 当且仅当 $g'(t) \in A_{\mathcal{S},S}$ 。