[论文解读] Automorphisms of surface braid groups

Elmas Irmak, Nikolai V. Ivanov+1 more|ArXiv.org|Jun 3, 2003

Geometric and Algebraic Topology参考文献 12被引用 14

一句话总结

该论文证明了，对于亏格至少为2且至少有三个点洞的闭合、连通、可定向曲面，其辫群的每个自同构均由曲面的同胚诱导。证明依赖于自同构保持纯辫群结构，并通过特征子群论证将自同构延拓至完整辫群，推广了经典映射类群与辫群结果。

ABSTRACT

In this paper, we prove that each automorphism of a surface braid group is induced by a homeomorphism of the underlying surface, provided that this surface is a closed, connected, orientable surface of genus at least 2, and the number of strings is at least three. This result generalizes previous results for classical braid groups, mapping class groups, and Torelli groups.

研究动机与目标

• 建立曲面辫群的自同构源自曲面同胚的结论。
• 将经典辫群、映射类群与托里群的已知结果推广至高亏格曲面。
• 证明在此设定下，纯辫群是完整辫群的特征子群。
• 证明当曲面亏格 ≥2 且至少有三个点洞时，完整辫群的自同构由同胚诱导。

提出的方法

• 利用文献 [I3] 中已建立的结果，即纯辫群 $ PB_n(S) $ 是完整辫群 $ B_n(S) $ 的特征子群。
• 应用定理 13.1，证明任意纯辫群的自同构均由带点曲面的同胚诱导。
• 定义辅助自同构 $ \tau = K_*^{-1} \circ \chi $，其中 $ \chi $ 是给定的自同构，$ K_* $ 是由同胚 $ K $ 诱导的自同构，从而将问题简化为证明 $ \tau $ 是平凡的。
• 利用命题 13.2，证明任意在纯辫群上点固定的自同构必为平凡自同构，因此 $ \chi = K_* $。
• 利用纯辫群在基本群上的忠实作用，以及其对德恩旋转变换和曲线系等几何结构的保持性。
• 利用微分同胚群的单位连通分支的单连通性，将辫群与纯模群识别，当曲面具有负欧拉示性数时成立。

实验结果

研究问题

• RQ1 当 $ S $ 为亏格 ≥2 的闭合、连通、可定向曲面且 $ n ≥ 3 $ 时，曲面辫群 $ B_n(S) $ 的所有自同构是否均由曲面同胚诱导？
• RQ2 纯辫群 $ PB_n(S) $ 是否在 $ B_n(S) $ 的所有自同构下保持不变，且是否为特征子群？
• RQ3 能否将 $ B_n(S) $ 的自同构提升为带点曲面 $ R = S \setminus \{n \text{ 个点}\} $ 的同胚？
• RQ4 自同构 $ B_n(S) $ 与曲面底层曲线复形或标记复形上的作用之间有何关系？
• RQ5 当限制到纯辫群时，$ B_n(S) $ 的自同构行为如何？能否唯一地将其延拓至完整辫群？

主要发现

• 对于亏格 ≥2 且至少有 $ n ≥ 3 $ 个点洞的闭合、连通、可定向曲面，纯辫群 $ PMod_R(S) $ 的每个自同构均由带点曲面的同胚诱导。
• 纯辫群 $ PMod_R(S) $ 是完整辫群 $ Mod_R(S) $ 的特征子群，确保自同构保持其结构。
• 任意完整辫群 $ Mod_R(S) $ 的自同构均由曲面同胚诱导，通过将纯辫群上诱导的自同构与商群上的恒等映射复合得出。
• 辫群 $ B_n(S) $ 的自同构群同构于由曲面 $ S $（带 $ n $ 个点洞）同胚诱导的外自同构群。
• 该结果对所有 $ n ≥ 3 $ 在亏格 ≥2 的曲面上成立，而平凡情形（如 $ n=1,2 $）通过直接计算单独处理。
• 证明依赖于这样一个事实：在纯辫群上点固定的自同构必为平凡自同构，这源于曲线系与德恩旋转变换作用的刚性。