[论文解读] Homotopy groups of orbits of Morse functions on surfaces

Sergiy Maksymenko|arXiv (Cornell University)|Oct 6, 2003

Topological and Geometric Data Analysis被引用 1

一句话总结

本文研究了在微分同胚群作用下，紧致曲面上 Morse 函数轨道的同伦群。结果表明，当 k ≥ 3 时，πk(O(f)) ≅ πk(M)；在大多数情况下，π2(O(f)) = 0；π1(O(f)) 是一个涉及 f 的 Reeb 图自同构群的扩张，说明当 M 为非退化时，O(f) 也是非退化。

ABSTRACT

Abstract. Let M be a smooth compact surface, orientable or not, with boundary or without it. Let also P be either the real line R 1 or the circle S 1. Then the group D(M) of diffeomorphisms of M acts on C ∞ (M, P) by the rule h · f ↦ → f ◦ h, for h ∈ D(M) and f ∈ C ∞ (M, P). Let f: M → P be a Morse function and O(f) be the orbit of f under this action. We prove that πkO(f) = πkM for k ≥ 3, π2O(f) = 0 except for few cases. In particular, O(f) is aspherical, provided so is M. Moreover, π1O(f) is an extension of a finitely generated free abelian group with a (finite) subgroup of the group of automorphisms of the Reeb graph of f. 1.

研究动机与目标

• 确定紧致曲面 M 上 Morse 函数 f 在微分同胚群 D(M) 作用下的轨道 O(f) 的同伦群。
• 从底层面曲面 M 和 f 的 Reeb 图的角度，理解轨道空间 O(f) 的拓扑结构。
• 建立轨道 O(f) 为非退化的条件，特别是当 M 为非退化时。
• 将基本群 π1(O(f)) 描述为涉及 f 的 Reeb 图自同构群的扩张。

提出的方法

• 通过复合运算分析微分同胚群 D(M) 在光滑映射空间 C∞(M, P) 上的作用，其中 P = ℝ 或 S¹：h · f = f ∘ h。
• 将轨道 O(f) = {f ∘ h | h ∈ D(M)} 作为主要研究的拓扑对象。
• 应用障碍理论与同伦技术来计算 πk(O(f))（k ≥ 2），尤其关注 π1(O(f)) 的结构。
• 通过 Reeb 图的自同构群，将 O(f) 的拓扑与 f 的 Reeb 图联系起来。
• 通过同伦提升与同胚延拓性质，建立 πk(O(f)) ≅ πk(M)（k ≥ 3）的同构。
• 通过分析轨道空间的 2-骨架及其与曲面拓扑的关系，证明在几乎所有例外情况外，π2(O(f)) = 0。

实验结果

研究问题

• RQ1 对于 k ≥ 2，轨道 O(f)（其中 f 为紧致曲面 M 上的 Morse 函数）的同伦群 πk(O(f)) 是什么？
• RQ2 轨道 O(f) 的拓扑结构如何与底层曲面 M 的拓扑相关？
• RQ3 在何种条件下轨道 O(f) 为非退化，特别是当 M 为非退化时？
• RQ4 基本群 π1(O(f)) 的结构是什么？它与 f 的 Reeb 图自同构群有何关系？
• RQ5 是否存在 π2(O(f)) 非平凡的例外情况？若有，其特征是什么？

主要发现

• 当 k ≥ 3 时，轨道 O(f) 的同伦群与曲面 M 的同伦群同构：πk(O(f)) ≅ πk(M)。
• 在几乎所有例外情况外，第二同伦群 π2(O(f)) 为零，表明 O(f) 通常具有高度非退化性。
• 基本群 π1(O(f)) 是一个由 f 的 Reeb 图自同构群的有限子群扩张的有限生成自由阿贝尔群。
• 若曲面 M 为非退化，则轨道 O(f) 也为非退化，这是由于 π2(O(f)) 的消失性以及当 k ≥ 3 时 πk(O(f)) ≅ πk(M) 的同构性。
• f 的 Reeb 图在决定 π1(O(f)) 的结构中起核心作用，特别是通过其自同构群。
• 结果对具有或不具有边界的可定向与不可定向紧致曲面均成立，且对映射到 ℝ 或 S¹ 的情况均适用。