[论文解读] Functions on surfaces and incompressible subsurfaces

Sergiy Maksymenko|arXiv (Cornell University)|Jan 8, 2010

Geometric and Algebraic Topology参考文献 13被引用 11

一句话总结

该论文证明，对于紧致曲面 $ M $ 上满足 $ \chi(M) < 0 $ 的光滑映射 $ f: M \to \mathbb{R} $ 或 $ S^1 $，轨道 $ \mathcal{O}(f) $ 的基本群可分解为若干不可压缩子曲面的基本群的直积——具体而言，这些子曲面为 2-球面、柱面或莫比乌斯带，且 $ f $ 在其上限制非平凡。该结果通过分析细胞自动同构与不可压缩子曲面，将轨道空间的同伦分类简化为若干标准曲面类型。

ABSTRACT

Let $M$ be a smooth connected compact surface and $P$ be either a real line or a circle. This paper proceeds the study of the stabilizers and orbits of smooth functions on $M$ with respect to the right action of the group of diffeomorphisms of $M$. A large class of smooth maps $f:M o P$ with isolated singularities is considered and it is shown that the general problem of calculation of the fundamental group of the orbit of $f$ reduces to the case when the Euler characteristic of $M$ is non-negative. For the proof of main result incompressible subsurfaces and cellular automorphisms of surfaces are investigated.

研究动机与目标

• 确定当 $ \chi(M) < 0 $ 时，光滑映射 $ f: M \to P $（其中 $ P = \mathbb{R} $ 或 $ S^1 $）的轨道基本群 $ \pi_1(\mathcal{O}(f)) $ 的结构。
• 将轨道空间 $ \mathcal{O}(f) $ 的同伦分类简化为对更简单子曲面（2-圆盘、柱面或莫比乌斯带）的研究。
• 建立 $ \pi_1(\mathcal{O}(f)) $ 同构于 $ f $ 非平凡限制的不可压缩子曲面的基本群的直积。
• 通过解决 $ \pi_1(\mathcal{O}(f)) $ 作为 $ \pi_1\mathcal{D}_{\mathrm{id}}(M) \oplus \mathbb{Z}^l $ 的有限扩张的不完整描述，拓展先前关于稳定子群与轨道同伦类型的成果。

提出的方法

• 分析微分同胚群 $ \mathcal{D}(M) $ 在光滑映射空间 $ \mathcal{C}^\infty(M,P) $ 上的右作用，定义轨道 $ \mathcal{O}(f) $ 与稳定子群 $ \mathcal{S}(f) $。
• 引入集合 $ \mathcal{R}_{<0} $，即所有欧拉示性数为负的正则水平集的并集，并构造一个形变收缩 $ X = \overline{M \setminus \mathcal{R}_{<0}} $。
• 利用不可压缩子曲面的概念，并证明任何同伦于恒等映射的微分同胚 $ \mathcal{S}(f) $ 均可通过正则柱面上的哈密顿流同伦于恒等映射（相对 $ X $）。
• 应用文献 [10, 12] 中关于稳定子群与轨道同伦类型的结论，特别是当满足非退化条件时 $ \mathcal{S}_{\mathrm{id}}(f) $ 的可缩性。
• 运用同胚扩张定理与同胚提升性质，证明 $ \mathcal{S}(f) $ 中任意元素同胚于保持 $ X $ 固定的微分同胚，从而将问题约化至 $ \overline{M \setminus \mathcal{R}_{<0}} $ 的连通分支。
• 利用 $ \overline{M \setminus \mathcal{R}_{<0}} $ 的每个连通分支均为 2-圆盘、柱面或莫比乌斯带，且 $ f $ 在其边界上为常值这一事实。

实验结果

研究问题

• RQ1 当 $ \chi(M) < 0 $ 时，光滑映射 $ f: M \to P $ 的 $ \pi_1(\mathcal{O}(f)) $ 的精确结构是什么？
• RQ2 轨道空间的基本群是否可分解为若干更简单子曲面的基本群的直积？
• RQ3 在何种条件下，轨道空间 $ \mathcal{O}(f) $ 同伦等价于与不可压缩子曲面相关联的空间的直积？
• RQ4 细胞自动同构与不可压缩子曲面如何影响 $ \mathcal{S}(f) $ 的同胚类结构？
• RQ5 轨道空间 $ \mathcal{O}(f) $ 的同伦类型在多大程度上可约化为在 2-圆盘、柱面与莫比乌斯带上的映射研究？

主要发现

• 对于满足 $ \chi(M) < 0 $ 的光滑映射 $ f: M \to P $，轨道 $ \mathcal{O}(f) $ 的基本群同构于直积 $ G_1 \times \cdots \times G_n $，其中每个 $ G_i $ 是 $ f $ 限制在 $ M $ 的不可压缩子曲面 $ B_i \subset M $ 上的基本群。
• 每个此类子曲面 $ B_i $ 均为 2-圆盘、柱面或莫比乌斯带，且 $ f|_{B_i} $ 在 $ B_i $ 上非平凡。
• 由于 $ \mathcal{S}(f) $ 按这些子曲面的支撑分解，轨道空间 $ \mathcal{O}(f) $ 与各限制 $ f|_{B_i} $ 对应轨道空间的直积具有相同的同伦类型。
• 在给定条件下，稳定子群的恒等分支 $ \mathcal{S}_{\mathrm{id}}(f) $ 是可缩的，与 [10, 12] 中的早期结果一致。
• 轨道 $ \mathcal{O}(f) $ 满足 $ \pi_i(\mathcal{O}(f)) = \pi_i(M) $（当 $ i \geq 3 $ 时），且 $ \pi_2(\mathcal{O}(f)) = 0 $，证实了先前的同伦类型结果。
• 任意 $ h \in \mathcal{S}(f) $ 的同胚类均可通过 $ \overline{M \setminus \mathcal{R}_{<0}} $ 中正则柱面上的哈密顿流实现，从而可约化至子曲面动力学。