[论文解读] Different versions of mapping class groups of surfaces

Søren Kjærgaard Boldsen|ArXiv.org|Aug 16, 2009

Advanced Numerical Analysis Techniques被引用 6

一句话总结

本文提供了自包含的证明，表明对于紧致、非平凡的曲面（排除球面、圆盘、圆柱面、莫比乌斯带、环面、克莱因瓶和实射影平面），通过微分同胚、同胚和同伦等价定义的映射类群是同构的。关键结果表明，微分同胚、同胚和同伦等价的映射空间的基本群全部等价，从而确认在这些情况下，选择光滑、拓扑或同伦范畴不会影响映射类群。

ABSTRACT

We give a short, mostly elementary and self-contained proof of the classical result that the groups of diffeomorphisms, homeomorphisms, and homotopy equivalences of a surface have the same group of connected components.

研究动机与目标

• 建立通过微分同胚、同胚和同伦等价在紧致曲面上定义的映射类群之间的等价性。
• 解决在不存在例外曲面的情况下，不同映射范畴是否产生同构映射类群这一基础性问题。
• 提供微分同胚、同胚和同伦等价群的路径连通分支之间双射关系的自包含、严谨证明。
• 将结果推广至定向和保持边界的映射类群版本。
• 确认将映射类群的标准定义为保持定向的微分同胚模去同伦等价是跨范畴鲁棒的。

提出的方法

• 使用同伦等价理论和同伦等价扩张定理，关联边界和曲线邻近区域的微分同胚与同胚。
• 应用引理2.2，构造圆周微分同胚到恒等映射的光滑同伦，同时保持微分同胚结构。
• 采用邻近带论证，利用管状坐标和截断函数，将圆盘上的同伦等价同伦变形为微分同胚。
• 应用斯梅尔定理于圆盘微分同胚，通过同伦变形将成对裤分解中出现的映射变形为恒等映射。
• 使用曲面及其边界上的微分同胚群的纤维化序列，比较微分同胚群与同胚群的同伦类型。
• 在纤维化的同伦群长正合序列上应用5-引理，证明微分同胚群与同胚群路径连通分支之间映射的满射性。

实验结果

研究问题

• RQ1 对于非例外曲面，紧致曲面的微分同胚、同胚和同伦等价群的路径连通分支是否同构？
• RQ2 当通过微分同胚、同胚或同伦等价定义时，映射类群是否保持不变？
• RQ3 能否通过保持边界且在邻近带区域光滑的同伦，将曲面上的同伦等价变形为微分同胚？
• RQ4 保持边界的微分同胚群到完整微分同胚群的包含映射在路径连通分支上是否为满射？
• RQ5 保持定向的条件是否与不同范畴下映射类群等价性相容？

主要发现

• 对于不与球面、圆盘、圆柱面、莫比乌斯带、环面、克莱因瓶或实射影平面同胚的紧致曲面，微分同胚、同胚和同伦等价群的路径连通分支是同构的。
• 从微分同胚群路径连通分支到同伦等价群路径连通分支的映射既是满射也是单射，因此是双射。
• 保持边界的微分同胚群到完整微分同胚群的包含映射在路径连通分支上诱导出满射，该结论通过纤维化长正合序列上的5-引理证明。
• 该同构关系同样适用于定向子群，确认将映射类群的标准定义为 π₀(Diff₊(F, ∂F)) 是跨范畴独立的。
• 即使限制在边界上恒等的映射时，该结果依然成立，如推论4.8所示。
• 该证明依赖于伊贝茨定理：若一个同胚同伦于恒等映射，则它同伦于恒等映射，该定理确保了拓扑情形下的单射性。