[论文解读] Functions with isolated singularities on surfaces, II

Sergiy Maksymenko|arXiv (Cornell University)|May 18, 2012

Geometric and Algebraic Topology参考文献 27被引用 3

一句话总结

本文通过分析微分同胚群在 f-采用子流形上作用下稳定子与轨道的同伦型，将先前关于从紧致曲面到 ℝ 或 S¹ 且具有孤立奇点的光滑映射的研究成果加以拓展。研究证明，对于满足公理 (B1) 与 (L1) 的映射，稳定子与轨道的单位路径分支同伦等价于球面与埃伦贝格-麦克莱恩空间的乘积，从而将早期结果推广至非平凡的采用子流形（包括临界点集与水平集）。

ABSTRACT

Let M be a smooth connected compact surface, P be either the real line R^1 or the circle S^1. For a subset X of M denote by D(M,X) the group of diffeomorphisms of M fixed on X. In this note we consider a special class F of smooth maps f:M o P with isolated singularities which includes all Morse maps. For each such map f from F we consider certain submanifolds X of M that are "adopted" with f in a natural sense, and study the right action of the group D(M,X) on C^{\infty}(M,P). The main result describes the homotopy types of the connected components of the stabilizers S(f) and orbits O(f) for all maps f from F. It extends previous author results on this topic.

研究动机与目标

• 将先前关于具有孤立奇点的光滑映射 f:M→P 的稳定子与轨道同伦型结果，推广至微分同胚群在固定子流形上作用的情形。
• 刻画 f-采用子流形 X⊂M 下，稳定子 S_id(f,X) 与轨道 O_f(f,X) 的单位路径分支的同伦型。
• 将分类结果从 X=∅ 与 X=Σ_f 的情形推广至任意 f-采用子流形（包括无限情形）。
• 建立统一框架，以理解具有非退化孤立奇点的曲面映射中轨道与稳定子空间的拓扑结构。

提出的方法

• 引入 f-采用子流形 X⊂M 的概念，其与映射 f:M→P 在临界点与水平集方面相容。
• 为微分同胚群 D(M,X) 与光滑映射空间 C^∞(M,P) 赋予 C^∞-拓扑，并研究右作用 f↦f∘h。
• 利用 Z₂-覆叠的提升技巧处理 X 的非可定向分量，特别是当 X 包含莫比乌斯带或非可定向曲面时。
• 通过李导数与流映射构造向量场，实现微分同胚空间中变形的等变性，确保在覆叠对合下保持不变。
• 采用通过向量场 F 满足 F(α)>−1 的形变收缩策略，构造固定 X 并稳定 f 的同伦。
• 将问题约化至可定向覆叠，并应用先前关于可缩稳定子的结果，推导出原空间的同伦等价。

实验结果

研究问题

• RQ1 对于具有孤立奇点的光滑映射 f:M→P 及其 f-采用子流形 X，稳定子 S_id(f,X) 与轨道 O_f(f,X) 的单位路径分支具有何种同伦型？
• RQ2 当 X 为无限 f-采用子流形（如非平凡水平集或临界点集）时，稳定子与轨道的同伦型如何变化？
• RQ3 能否将稳定子与轨道同伦型的分类结果，从 X=∅ 与 X=Σ_f 的情形推广至一般 f-采用子流形？
• RQ4 覆叠空间与 Z₂-作用在非可定向分量 X 的提升与同伦构造中起何种作用？
• RQ5 公理 (L1) 中的非退化条件（如具有单因式齐次多项式）如何影响轨道与稳定子空间的拓扑结构？

主要发现

• 稳定子 S_id(f,X) 的单位分支同伦等价于球面与埃伦贝格-麦克莱恩空间的乘积，其具体形式取决于 f-采用子流形 X 的拓扑结构及 f 的奇点类型。
• 对于满足公理 (B1) 与 (L1) 的映射，轨道分量 O_f(f,X) 同伦型为与曲面基本群及映射 f 的单值变换作用相关的分类空间。
• 当 X 为有限 f-采用子流形时，稳定子 S_id(f,X) 同伦等价于有限 CW 复形，其同伦型仅依赖于 f 的临界点数量与类型。
• 主要结果推广了先前发现：当 X=∅ 或 X=Σ_f 时，稳定子通常可缩，但仅对特定类型 (A)–(D) 不可缩；而对于一般 f-采用子流形 X，稳定子通常不可缩。
• 通过向量场与 Z₂-覆叠实现的等变提升构造，使得同伦分类可推广至 X 的非可定向分量（如莫比乌斯带或克莱因瓶）。
• 轨道空间的同伦型由水平集上的单值变换作用与曲面 M 的拓扑决定，且结果与水平集所选正则值无关。