[论文解读] Combinatorial realization of the Thom-Smale complex via discrete Morse theory

Étienne Gallais|ArXiv.org|Mar 18, 2008

Topological and Geometric Data Analysis参考文献 11被引用 3

一句话总结

本文利用Forman的离散莫尔斯理论，对光滑流形的Thom-Smale复形给出了组合实现，证明了任意光滑莫尔斯函数的Thom-Smale复形均可通过三角剖分与离散莫尔斯函数实现。核心贡献在于构造性证明：任意光滑定向闭3-流形上的任一欧拉结构，均可在三角剖分的Hasse图上通过完全匹配实现，从而将离散莫尔斯理论与spin^c结构及Heegaard-Floer同调联系起来。

ABSTRACT

In the case of smooth manifolds, we use Forman's discrete Morse theory to realize combinatorially any Thom-Smale complex coming from a smooth Morse function by a couple triangulation-discrete Morse function. As an application, we prove that any Euler structure on a smooth oriented closed 3-manifold has a particular realization by a complete matching on the Hasse diagram of a triangulation of the manifold.

研究动机与目标

• 通过离散莫尔斯理论，对光滑莫尔斯函数产生的Thom-Smale复形建立组合实现。
• 为组合Thom-Smale复形中的基本恒等式∂^V ∘ ∂^V = 0提供两个直接证明：一个几何证明，一个代数证明。
• 证明组合Thom-Smale复形与单纯链复形同伦等价。
• 证明任意光滑定向闭3-流形上的欧拉结构均可通过三角剖分的Hasse图上的完全匹配实现。
• 通过组合化实现指向Heegaard分裂与spin^c结构，将离散莫尔斯理论与spin^c结构及Heegaard-Floer同调联系起来。

提出的方法

• 在有限单纯复形上应用Forman的离散莫尔斯理论，通过Hasse图上的组合向量场（莫尔斯匹配）建模莫尔斯函数。
• 利用临界胞腔与V-路径定义组合Thom-Smale复形(C^V_*, ∂^V)，系数由{±1}中的关联数与路径重数决定。
• 通过基于路径抵消的几何论证，以及通过链同伦等价于单纯链复形的代数论证，证明∂^V ∘ ∂^V = 0。
• 构造光滑流形的C^1-三角剖分与离散莫尔斯向量场，使得所得组合Thom-Smale复形与光滑Thom-Smale复形一致。
• 利用3-流形上欧拉结构与spin^c结构之间的对应关系，通过三角剖分的Hasse图上的完全匹配实现任意欧拉结构。
• 利用Heegaard-Floer同调与Turaev关于spin^c结构与欧拉结构之间对应关系的结果，将组合实现嵌入更广泛的拓扑框架中。

实验结果

研究问题

• RQ1 是否每个光滑Thom-Smale复形均可通过三角剖分与离散莫尔斯函数，在组合意义上实现为离散莫尔斯复形？
• RQ2 组合Thom-Smale复形中恒等式∂^V ∘ ∂^V = 0的几何与代数依据是什么？
• RQ3 是否存在一种构造性方法，通过三角剖分的Hasse图上的完全匹配，实现任意光滑定向闭3-流形上的欧拉结构？
• RQ4 组合化的Thom-Smale复形与spin^c结构及Heegaard-Floer同调之间有何关系？
• RQ5 能否将莫尔斯函数的梯度向量场同伦变形为由三角剖分上离散莫尔斯匹配诱导的向量场？

主要发现

• 本文提供了∂^V ∘ ∂^V = 0的两个证明：一个基于非驻定闭V-路径的抵消的几何论证，另一个基于组合Thom-Smale复形与单纯链复形链同伦等价的代数论证。
• 任意光滑流形上的光滑莫尔斯函数均诱导出一个可通过三角剖分与离散莫尔斯函数实现的组合Thom-Smale复形，从而完整实现了光滑复形的组合化。
• 对于任意光滑定向闭3-流形，每个欧拉结构均可通过某三角剖分的Hasse图上的完全匹配实现，证明了欧拉结构的组合实现。
• 此类具有完全匹配的三角剖分的存在性得到保证，且实现方式与spin^c结构和欧拉结构之间的对应关系相容。
• 该构造确保匹配所关联的向量场与Morse-Smale梯度向量场同调，验证了组合模型的拓扑保真性。
• 研究结果通过证明指向Heegaard分裂与spin^c结构均可通过离散莫尔斯数据组合化，支持了Heegaard-Floer同调的组合基础。