[论文解读] Automorphisms of Torelli groups

John D. McCarthy, William R. Vautaw|ArXiv.org|Nov 14, 2003

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

一句话总结

本文证明了，对于亏格至少为3的闭合、连通、可定向曲面，其Torelli群的每个自同构均由曲面的微分同胚诱导。通过代数刻画德恩旋转变换和边界对映射，作者将自同构延拓至曲线复形，并应用Ivanov定理，得出该自同构源于曲面同胚，从而完成亏格≥3时长期悬而未决的猜想。

ABSTRACT

In this paper, we prove that each automorphism of the Torelli group of a surface is induced by a diffeomorphism of the surface, provided that the surface is a closed, connected, orientable surface of genus at least 3. This result was previously announced by Benson Farb for genus at least 4 and has recently been announced by Benson Farb and Nikolai Ivanov for subgroups of finite index in the Torelli group for surfaces of genus at least 5. This result is also directly analogous to previous results established for classical braid groups, mapping class groups, and surface braid groups.

研究动机与目标

• 建立曲面亏格g ≥ 3时Torelli群的每个自同构均由曲面微分同胚诱导的结论。
• 完成Vautaw计划的第二步——将Torelli群的自同构延拓为曲线复形的自同构。
• 解决Vautaw论文中的一个猜想，并将Farb先前在亏格≥4的结果推广至亏格≥3。
• 通过曲面上的几何数据，提供Torelli群自同构的完整代数刻画。
• 在Torelli群自同构与映射类群、辫群及曲面辫群自同构之间建立直接类比。

提出的方法

• 在Torelli群中代数刻画关于分离曲线的德恩旋转变换的幂次，以及边界对映射的幂次。
• 利用映射类群的阿贝尔子群理论与Thurston的曲面微分同胚理论，推导出这些刻画。
• 在本质简单闭曲线的同伦类集合上定义一个映射Ψ*，保持不相交性与分离/非分离类型。
• 证明在曲线复形上诱导的映射保持不相交性，因此可延拓为复形的单纯自同构。
• 应用Ivanov定理：任何曲线复形的单纯自同构均由曲面的同胚诱导。
• 最终得出原始Torelli群自同构由曲面微分同胚的共轭实现。

实验结果

研究问题

• RQ1 曲面亏格g ≥ 3时，Torelli群的每个自同构是否可实现为曲面微分同胚的共轭？
• RQ2 对于g ≥ 3，Torelli群的自同构群是否与由曲面微分同胚诱导的外自同构群一致？
• RQ3 在Torelli群中是否存在德恩旋转变换与边界对映射的纯代数刻画，使得可重构曲面结构？
• RQ4 能否从Torelli群的自同构作用中恢复曲线复形的结构？
• RQ5 对于亏格g ≥ 3的曲面，Torelli群的自同构群与映射类群之间存在何种关系？

主要发现

• 对于亏格g ≥ 3的闭合、连通、可定向曲面，其Torelli群的每个自同构均由曲面的微分同胚诱导。
• 亏格g ≥ 3时，Torelli群的自同构群同构于由扩展映射类群诱导的外自同构群。
• 作者通过证明Torelli群的自同构诱导出曲线复形的单纯自同构，完成了Vautaw计划的第二步。
• 关键技术步骤是证明在曲线复形上诱导的映射保持不相交性，其依赖于对德恩旋转变换与边界对映射的代数刻画。
• 该结果在亏格g = 2时不成立，因为此时Torelli群是非交换的无限秩自由群，导致存在不可数多个自同构无法由微分同胚诱导。
• 该证明建立了与先前关于辫群、映射类群及曲面辫群自同构结果的直接类比，统一了更广泛的几何群论现象。