[论文解读] Vector Fields and Flows on Differentiable Stacks

Richard Hepworth|arXiv (Cornell University)|Oct 6, 2008

Topological and Geometric Data Analysis参考文献 14被引用 15

一句话总结

本文通过范畴化微分几何，将经典微分几何中的向量场与流推广至可微叠层，通过赋予切叠层的态射及一个2-胞状同构来定义向量场。主要结果证明了在紧致完备可微叠层上，流的存在性与唯一性（至多一个唯一的2-胞状同构）成立，推广了经典流理论在流形与轨道丛上的结果。

ABSTRACT

This paper introduces the notions of vector field and flow on a general differentiable stack. Our main theorem states that the flow of a vector field on a compact proper differentiable stack exists and is unique up to a uniquely determined 2-cell. This extends the usual result on the existence and uniqueness of flows on a manifold as well as the author's existing results for orbifolds. It sets the scene for a discussion of Morse Theory on a general proper stack and also paves the way for the categorification of other key aspects of differential geometry such as the tangent bundle and the Lie algebra of vector fields.

研究动机与目标

• 将经典微分几何中关于流形上向量场与流的概念推广至可微叠层的更广泛框架。
• 通过将方程替换为同构及高阶态射，建立微分几何的范畴化框架。
• 通过建立梯度类流的存在性，为一般完备可微叠层上的Morse理论奠定基础。
• 将先前关于轨道丛的结果推广至更广泛的完备可微叠层类。
• 探索微分几何中进一步结构（如切丛与向量场的李代数）通过叠实现范畴化的可能性。

提出的方法

• 将切叠函子定义为从可微叠层2-范畴到自身的弱函子，推广流形上切丛的构造。
• 将叠上的向量场定义为态射 $ X: \mathfrak{X} \to T\mathfrak{X} $，并配备一个2-胞状同构 $ a_X $，使其满足 $ \pi_\mathfrak{X} \circ X = \mathrm{id}_\mathfrak{X} $ 的弱化版本。
• 将流定义为态射 $ \Phi: \mathfrak{X} \times \mathbb{R} \to \mathfrak{X} $，并配备两个2-胞状同构：一个表达微分方程 $ T\Phi \circ \partial/\partial t = X \circ \Phi $，另一个表达初始条件 $ \Phi(-,0) = \mathrm{id}_\mathfrak{X} $。
• 要求这两个2-胞状同构的复合为平凡，以确保范畴化流条件的一致性。
• 利用完备叠的局部结构——局部同构于全局商叠 $[M/G]$ 且 $G$ 为紧致群——作为存在性证明中的关键技术工具。
• 应用完备叠上光滑单位分解的存在性，通过一致化数据将局部流拼接为全局流。

实验结果

研究问题

• RQ1 如何利用高阶范畴结构将经典流形上向量场的概念推广至可微叠层？
• RQ2 在可微叠层上，什么条件能保证流的存在性与唯一性？其与经典情形有何不同？
• RQ3 能否通过Morse函数的负梯度流，将Morse理论推广至一般完备可微叠层？
• RQ4 标准微分几何时空结构（如切丛、向量场的李代数）在多大程度上可通过叠实现范畴化类比？
• RQ5 2-胞状同构与更高阶一致性数据在高阶范畴中几何对象（如向量场与流）的表述中起何种作用？

主要发现

• 在可微叠层上，向量场被定义为态射 $ X: \mathfrak{X} \to T\mathfrak{X} $，并配备一个2-胞状同构 $ a_X $，将经典方程 $ \pi_\mathfrak{X} \circ X = \mathrm{id}_\mathfrak{X} $ 弱化为同构。
• 流被定义为态射 $ \Phi: \mathfrak{X} \times \mathbb{R} \to \mathfrak{X} $，并配备两个2-胞状同构：一个表达微分方程 $ T\Phi \circ \partial/\partial t \cong X \circ \Phi $，另一个表达初始条件 $ \Phi(-,0) \cong \mathrm{id}_\mathfrak{X} $，且要求其复合为平凡。
• 对于紧致完备可微叠层，任意向量场的流存在且唯一（至多一个唯一确定的2-胞状同构），推广了经典流形上流的存在性与唯一性定理。
• Zung的局部结构定理表明，完备叠局部同构于全局商叠 $[M/G]$ 且 $G$ 为紧致群，这是构造局部流的关键。
• 完备可微叠层具有光滑单位分解，使得可利用一致化2-胞状数据将局部流拼接为全局流。
• 该框架为通过负梯度流将Morse理论推广至叠提供了基础，潜在应用于叠设定下的Morse不等式与胞腔分解。