[论文解读] Topology of the spaces of Morse functions on surfaces

Elena Kudryavtseva|arXiv (Cornell University)|Apr 25, 2011

Topological and Geometric Data Analysis被引用 3

一句话总结

本文建立了闭合定向曲面 $ M $ 上具有至少 $ \chi(M)+1 $ 个标记临界点的莫尔斯函数空间 $ F $ 与乘积 $ R \times \widetilde{\mathcal{M}} $ 之间的同伦等价，其中 $ R $ 是依赖于欧拉示性数 $ \chi(M) $ 的流形（例如 $ \mathbb{R}P^3 $、$ S^1 \times S^1 $ 或一点），而 $ \widetilde{\mathcal{M}} $ 是带框架的莫尔斯函数的全模空间。该结果将 $ F $ 的同伦研究简化为 $ \widetilde{\mathcal{M}} $ 的组合与分层拓扑结构，由此导出其贝蒂数的莫尔斯型不等式。

ABSTRACT

Let $M$ be a smooth closed orientable surface, and let $F$ be the space of Morse functions on $M$ such that at least $χ(M)+1$ critical points of each function of $F$ are labeled by different labels (enumerated). Endow the space $F$ with $C^\infty$-topology. We prove the homotopy equivalence $F\sim R imes{\widetilde{\cal M}}$ where $R$ is one of the manifolds ${\mathbb R}P^3$, $S^1 imes S^1$ and the point in dependence on the sign of $χ(M)$, and ${\widetilde{\cal M}}$ is the universal moduli space of framed Morse functions, which is a smooth stratified manifold. Morse inequalities for the Betti numbers of the space $F$ are obtained.

研究动机与目标

• 确定闭合定向曲面 $ M $ 上具有至少 $ \chi(M)+1 $ 个标记临界点的莫尔斯函数空间 $ F $ 的同伦类型。
• 将 $ F $ 的拓扑复杂性约化为带框架的莫尔斯函数全模空间 $ \widetilde{\mathcal{M}} $ 的研究。
• 利用 $ \widetilde{\mathcal{M}} $ 的分层结构，推导出 $ F $ 的贝蒂数的莫尔斯型不等式。
• 建立同伦等价 $ F \sim R \times \widetilde{\mathcal{M}} $，其中 $ R $ 依赖于 $ \chi(M) $ 的符号。

提出的方法

• 在具有标记临界点的莫尔斯函数空间 $ F $ 上使用 $ C^\infty $-拓扑。
• 通过带框架的莫尔斯函数构造全模空间 $ \widetilde{\mathcal{M}} $ 为光滑分层流形。
• 应用先前工作中建立的同伦等价 $ F \sim \mathbb{F} $，其中 $ \mathbb{F} $ 是带框架的莫尔斯函数空间。
• 证明同胚 $ \mathbb{F}^1 \approx \mathscr{D}^0 \times \widetilde{\mathcal{M}} $，其中 $ \mathbb{F}^1 $ 是具有固定标记的框架函数子空间。
• 利用 $ \widetilde{\mathcal{M}} $ 上的自然分层及其诱导的邻域分层，分析其上同调与贝蒂数。
• 通过 $ \widetilde{\mathcal{M}} $ 的结构推导出 $ F $ 的贝蒂数的莫尔斯不等式，尤其在 $ M = S^2 $ 的情形下。

实验结果

研究问题

• RQ1 具有至少 $ \chi(M)+1 $ 个标记临界点的闭合定向曲面 $ M $ 上的莫尔斯函数空间 $ F $ 的同伦类型是什么？
• RQ2 $ F $ 的拓扑结构如何分解为更简单的拓扑不变量？
• RQ3 $ F $ 的贝蒂数不等式是什么？它们如何从模空间 $ \widetilde{\mathcal{M}} $ 的结构中导出？
• RQ4 $ \widetilde{\mathcal{M}} $ 的欧拉示性数如何与 $ M $ 的拓扑相关，特别是当 $ M = S^2 $ 时？

主要发现

• 具有至少 $ \chi(M)+1 $ 个标记临界点的闭合定向曲面 $ M $ 上的莫尔斯函数空间 $ F $ 同伦等价于 $ R \times \widetilde{\mathcal{M}} $，其中 $ R $ 为 $ \mathbb{R}P^3 $、$ S^1 \times S^1 $ 或一点，具体取决于 $ \chi(M) $ 的符号。
• 带框架的莫尔斯函数全模空间 $ \widetilde{\mathcal{M}} $ 是一个维度为 $ 3q $ 的光滑分层流形，其中 $ q $ 为马鞍点的数量。
• 当 $ M = S^2 $ 时，导出了 $ \widetilde{\mathcal{M}} $ 的贝蒂数的莫尔斯不等式，并计算了其欧拉示性数。
• 具有固定标记的框架函数空间 $ \mathbb{F}^1 $ 同胚于 $ \mathscr{D}^0 \times \widetilde{\mathcal{M}} $，其中 $ \mathscr{D}^0 $ 是微分同胚群的单位连通分支。
• 包含映射 $ F^1 \hookrightarrow F $ 与遗忘映射 $ \mathbb{F} \to F $ 均为同伦等价，从而为约化至 $ \widetilde{\mathcal{M}} $ 提供了依据。
• 该结果实现了 $ F $ 的完整拓扑约化，使其完全依赖于 $ \widetilde{\mathcal{M}} $ 的组合与分层拓扑结构，从而支持进一步的同调分析。