[论文解读] The Morse Complex for a Morse Function on a Manifold with Corners

David G. C. Handron|ArXiv.org|Jun 23, 2004

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

一句话总结

本文通过使用修改的梯度流构造莫尔斯复形，将经典莫尔斯理论推广至具有角的紧致可定向流形。证明了由临界点之间梯度轨迹的带符号计数定义的边界映射所构成的代数复形，与几何复形同构，从而确立了流形与以莫尔斯指标为索引的CW复形之间的同伦等价性。

ABSTRACT

A Morse function f on a manifold with corners M allows the characterization of the Morse data for a critical point by the Morse index. In fact, a modified gradient flow allows a proof of the Morse theorems in a manner similar to that of classical Morse theory. It follows that M is homotopy equivalent to a CW-complex with one cell of dimension λfor each essential critical point of index λ. The goal of this article is to determine the boundary maps of this CW-complex, in the case where M is compact and orientable. First, the boundary maps are defined in terms of the modified gradient flow. Then a transversality condition is imposed which insures that the attaching map is non-degenerate in a neighborhood of each critical point. The degree of this map is then interpreted as a sum of trajectories connecting two critical points each counted with a multiplicity determined by a choice of orientations on the tangent spaces of the unstable manifold at each critical point.

研究动机与目标

• 将经典莫尔斯理论推广至具有角的流形，其中临界点仍按单一莫尔斯指标分类。
• 通过修改的梯度流轨迹定义莫尔斯复形中的边界映射，利用横截性条件确保非退化性。
• 将粘合映射的次数解释为轨迹的带符号和，符号由不稳定流形上的定向选择决定。
• 证明由临界点和连接轨迹次数构成的代数莫尔斯复形，与由流形CW结构导出的几何复形同构。
• 确立莫尔斯复形的同调与流形的奇异同调一致，将经典莫尔斯理论结果推广至具有角的流形情形。

提出的方法

• 引入修改的梯度流以处理边界和角结构，确保临界点附近轨迹行为良好。
• 对修改的梯度流施加横截性条件，以保证临界点附近细胞粘合映射的非退化性。
• 边界映射 ∂k 定义为从k-细胞边界到(k−1)-骨架的粘合映射的次数，通过正则值的原像计数计算。
• 粘合映射的次数被解释为连接指标为k和k−1的临界点的轨迹之和，每条轨迹根据定向相容性贡献±1。
• 代数复形以Vj为临界点指标j的自由阿贝尔群，边界映射由连接轨迹的带符号计数定义。
• 通过证明边界映射满足 ∂k = h_{k−1}^{-1} ∘ ∂′k ∘ hk，建立几何复形与代数复形之间的同构h，从而证明链同构。

实验结果

研究问题

• RQ1 莫尔斯理论如何被推广至经典梯度流假设失效的具有角的流形？
• RQ2 能否构造一种修改的梯度流，使其在具有角的流形上诱导出良好的CW结构？
• RQ3 对于具有角的流形，莫尔斯复形中边界映射的正确定义是什么，如何计算？
• RQ4 不稳定流形的定向如何影响边界映射中轨迹贡献的符号？
• RQ5 由代数复形与由流形分层结构构建的几何复形之间是否同构？

主要发现

• 在紧致可定向具有角流形上，莫尔斯函数的莫尔斯复形与流形的奇异同调同构，推广了经典结果。
• 代数复形中的边界映射定义为连接相邻指标临界点的轨迹的带符号和，符号由定向相容性决定。
• 每个细胞的粘合映射次数被计算为连接对应临界点的轨迹符号之和，确保与几何复形的一致性。
• 横截性条件确保在每个临界点邻域内粘合映射非退化，从而支持有效的次数计算。
• 通过保持边界结构的链映射h，建立了几何复形与代数复形之间的同构，证明了代数复形计算了正确的同调。
• 尽管临界点的下降集在一般情况下不与圆盘同胚，该构造仍能生成有效的CW结构，并与流形同伦等价。