[论文解读] S^1-equivariant Morse cohomology

Marko Berghoff|arXiv (Cornell University)|Apr 12, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 3

一句话总结

本文通过引入包含有限时间 $S^1$-轨道的“k-跳跃”流线，对维度小于3的光滑闭 $S^1$-流形构造了 $S^1$-等变莫尔斯上同调。关键结果表明，由此得到的等变莫尔斯上同调与普通等变上同调同构，为无限维同伦商构造提供了一种有限维替代方案。

ABSTRACT

We construct a deformed Morse complex computing the equivariant cohomology of a manifold M endowed with a smooth S^1-action. The deformation of the coboundary operator is given by counting gradient flow lines of a Morse function f that are allowed to "jump" along orbits of the S^1-action for finite time intervalls.

研究动机与目标

• 开发一种有限维的莫尔斯理论方法来研究 $S^1$-等变上同调，避免使用无限维同伦商构造。
• 通过在余微分算子中引入 $S^1$-对称性，利用“k-跳跃”流线推广经典莫尔斯理论。
• 证明对于维度小于3的闭 $S^1$-流形，由此得到的 $S^1$-等变莫尔斯上同调与标准等变上同调同构。
• 解决基础性问题，如横截性、模空间的紧致性以及 k-跳跃流线模空间的粘合性。
• 探讨该构造向非闭流形及其他李群（如 $T^n$）推广的可行性，并解决 $\mathbb{Z}$-系数下的定向性问题。

提出的方法

• 引入一个等变莫尔斯复形，其中微分算子计数可能在有限时间区间内沿 $S^1$-轨道“跳跃”的梯度流线，通过 $k$-跳跃流线定义。
• 定义临界点 $x$ 与 $y$ 之间 $k$-跳跃流线的模空间 $\tilde{\mathcal{M}}_k(x,y)$，并在向量场的通用扰动下建立横截性与紧致性。
• 构造断裂流线的粘合映射，证明微分算子的复合为零，即 $d^2 = 0$。
• 利用连续性映射与上链同伦，证明在扰动数据的同伦下不变性，确保拟同构不变性。
• 应用连续性原理，证明上同调不依赖于扰动的选择，因此定义良好。
• 依赖于 $BS^1 = \mathbb{CP}^\infty$ 的结构以及 $S^1$-轨道具有唯一轨道型的性质，从而能够构造有限维模型。

实验结果

研究问题

• RQ1 能否使用有限维的莫尔斯理论复形而非无限维同伦商构造来计算 $S^1$-等变上同调？
• RQ2 如何修改标准莫尔斯微分算子，通过有限时间轨道跳跃来引入 $S^1$-对称性？
• RQ3 对于维度小于3的闭 $S^1$-流形，由此得到的 $S^1$-等变莫尔斯上同调是否与标准等变上同调同构？
• RQ4 k-跳跃流线模空间所需的几何与分析条件（横截性、紧致性、粘合性）是什么？
• RQ5 该构造能否推广到非闭流形或其他李群（如 $T^n$）？

主要发现

• 通过 $k$-跳跃流线定义的 $S^1$-等变莫尔斯上同调，与标准等变上同调 $H^*_{S^1}(M)$ 同构，适用于维度小于3的光滑闭 $S^1$-流形。
• 等变莫尔斯复形上的微分算子 $d_{S^1}$ 满足 $d_{S^1}^2 = 0$，确保了上同调理论的定义良好。
• 在向量场的通用扰动下，模空间 $\tilde{\mathcal{M}}_k(x,y)$ 的横截性与紧致性得以建立。
• 断裂流线的粘合是良好定义的，并与微分算子相容，确保复形构成一个链复形。
• 不同扰动之间的连续性映射是上链同伦的，证明了上同调在扰动数据同伦下的不变性。
• 该构造的关键依赖于 $BS^1 = \mathbb{CP}^\infty$ 的结构以及 $S^1$-作用的唯一轨道型，这限制了其向其他李群的直接推广。