[论文解读] The space of non-degenerate closed curves in a Riemannian manifold

Jacob Mostovoy, Rustam Sadykov|arXiv (Cornell University)|Sep 18, 2012

Advanced Differential Geometry Research参考文献 19被引用 5

一句话总结

该论文证明，对于维度至少为三的黎曼流形 $M$，其框架丛的环路空间 $ Omega FTM$ 是 $M$ 中非退化基于环路的幺半群的群完备化，该完备化通过固定一条小曲线的左乘法进行局部化实现。结果表明 $ Omega FTM$ 即为 $ mathcal{L}M_+$ 的同伦群完备化，解决了非退化曲线研究中的一个拓扑结构问题。

ABSTRACT

Let LM be the semigroup of non-degenerate based loops with a fixed initial/final frame in a Riemannian manifold M of dimension at least three. We compare the topology of LM to that of the loop space Omega FTM on the bundle of frames in the tangent bundle of M. We show that Omega FTM is the group completion of LM, and prove that it is obtained by localizing LM with respect to adding a "small twist".

研究动机与目标

• 理解维度 $n \geq 3$ 的黎曼流形 $M$ 上非退化闭曲线空间的同伦类型。
• 建立非退化基于环路的幺半群 $\nmathcal{L}M$ 与 $M$ 的框架丛的环路空间 $\nOmega FTM$ 之间精确的拓扑关系。
• 证明 $ Omega FTM$ 是幺半群 $ mathcal{L}M_+$（即添加了不相交基点的幺半群）的群完备化。
• 证明该群完备化是通过单个“小扭转”曲线的左乘法局部化而产生的。

提出的方法

• 将 $\nmathcal{L}M$ 定义为 $M$ 中具有固定初始/终末框架的非退化基于环路的拓扑半群，其运算为连接。
• 构造框架映射 $\nmathcal{L}M \to \nOmega FTM$，将每条环路映射为其框架演化，该映射是半群同态。
• 通过添加一个代表零长度曲线的基点，构造 $ mathcal{L}M_+$，使其成为拓扑幺半群。
• 以固定小长度曲线 $\omega$ 的左乘法为基准对 $\nmathcal{L}M$ 进行局部化，形成 $\nmathcal{L}M_\omega$，其为一个列极限。
• 利用群完备化定理，将 $ mathcal{L}M_+$ 的同调与路径分支的局部化同调联系起来。
• 通过局部化空间的基本群与同伦群的性质，证明框架映射限制在 $ mathcal{L}M_\omega$ 上时，诱导出弱同伦等价。

实验结果

研究问题

• RQ1 维度 $n \geq 3$ 的黎曼流形上非退化闭曲线空间的同伦类型与该流形框架丛的环路空间之间有何关系？
• RQ2 非退化环路幺半群的群完备化能否通过几何运算显式描述？
• RQ3 环路空间 $\nOmega FTM$ 是否同伦等价于 $\nmathcal{L}M_+$ 的群完备化？
• RQ4 通过局部化添加一个“小扭转”曲线，是否能实现 $\nmathcal{L}M_+$ 的群完备化？

主要发现

• 环路空间 $\nOmega FTM$ 同伦等价于幺半群 $\nmathcal{L}M_+$ 的群完备化 $\nOmega B\nmathcal{L}M_+$。
• 该群完备化被实现为 $\nmathcal{L}M$ 关于固定小曲线 $\omega$ 的左乘法的局部化 $\nmathcal{L}M_\omega$。
• 框架映射 $\nmathcal{L}M \to \nOmega FTM$ 限制在 $\nmathcal{L}M_\omega$ 上时，诱导出弱同伦等价。
• $\nmathcal{L}M_\omega$ 的基本群是阿贝尔群，支持其作为群完备化的作用。
• $\nmathcal{L}M_\omega$ 的同调与 $\nOmega B\nmathcal{L}M_+$ 的同调同构，确认了群完备化结构。
• 该结果对所有维度至少为三的黎曼流形成立，其关键构造依赖于局部指数坐标图与“电话线”近似技术。