[论文解读] Automorphisms of the disk complex

Mustafa Korkmaz, Saul Schleimer|ArXiv.org|Oct 11, 2009

Geometric and Algebraic Topology参考文献 32被引用 6

一句话总结

该论文证明了当复杂度 $e(V) \geq 3$ 时，柄体的圆盘复形的自同构群同构于柄体群，且在相同条件下，柄体群的外自同构群是平凡的。证明方法借鉴了伊万诺夫对映射类群和曲线复形的研究，通过在柄体群中对德恩扭转和中心化子进行拓扑与代数刻画，表明所有自同构均为几何自同构，且由柄体的同胚诱导。

ABSTRACT

We show that the automorphism group of the disk complex is isomorphic to the handlebody group. Using this, we prove that the outer automorphism group of the handlebody group is trivial.

研究动机与目标

• 确定柄体的圆盘复形的自同构群的结构。
• 证明圆盘复形的所有自同构均由柄体的同胚诱导。
• 证明当复杂度 $e(V) \geq 3$ 时，柄体群的外自同构群是平凡的。
• 通过德恩扭转的代数与拓扑刻画，将伊万诺夫对映射类群的结果推广至柄体群。

提出的方法

• 利用圆盘复形 $\mathcal{D}(V)$ 到曲线复形 $\mathcal{C}(\partial_+V)$ 的自然包含关系，将圆盘系统与边界曲面上的曲线联系起来。
• 通过同伦类和柄体群 $\mathcal{H}(V)$ 的作用，刻画 $V$ 中圆盘的拓扑类型。
• 分析圆盘复形中的链与中心化子，以识别几何自同构，并将其与非几何自同构区分开来。
• 利用中心化子的结构及在裤分解上的作用，证明自同构保持了沿非分离圆盘的德恩扭转的集合。
• 应用代数技术，包括纯有限指数子群与中心化子结构，表明自同构由同胚诱导。
• 借助映射类群的结果以及麦克卡洛克对中心化子的研究，将德恩扭转的刻画推广至柄体设定。

实验结果

研究问题

• RQ1 圆盘复形的所有自同构是否均由柄体的同胚诱导？
• RQ2 当 $e(V) \geq 3$ 时，柄体群的外自同构群的结构是什么？
• RQ3 在有限指数纯子群中，柄体群中的德恩扭转能否被代数刻画？
• RQ4 柄体群中元素的中心化子如何反映其底层圆盘的拓扑类型？
• RQ5 柄体群的代数性质在多大程度上与映射类群的性质相一致？

主要发现

• 当 $e(V) \geq 3$ 时，自然映射 $\mathcal{H}(V) \to \operatorname{Aut}(\mathcal{D}(V))$ 是同构，意味着圆盘复形的所有自同构都是几何的。
• 当 $e(V) \geq 3$ 时，柄体群 $\mathcal{H}(V)$ 的外自同构群是平凡的，这推广了伊万诺夫对映射类群的结果。
• 所有 $\operatorname{Aut}(\mathcal{D}(V))$ 中的元素均由柄体的同胚诱导，确认了自同构的几何性质。
• 沿非分离圆盘的德恩扭转在中心化子结构和阿贝尔子群中心化子中的本原性方面，可通过代数方式刻画。
• 通过中心化子和在裤分解上的作用对 $\mathcal{H}(V)$ 中德恩扭转的刻画，在有限指数纯子群中依然成立。
• 结果表明，$\mathcal{H}(V)$ 的抽象共轭子群就是 $\mathcal{H}(V)$ 本身，且 $\mathcal{H}(V)$ 不是算术群。