[论文解读] Mapping class groups of Heegaard splittings

Jesse Johnson, Hyam Rubinstein|arXiv (Cornell University)|Jan 4, 2007

Geometric and Algebraic Topology参考文献 20被引用 8

一句话总结

本文表征了Heegaard分解的映射类群中周期性与可约自同构，表明有限子群源自具有桥位置分支集的3-流形的有限覆叠。在双曲3-流形中，可约自同构要么是局部的（在子流形内），要么由开书、单侧Heegaard曲面或分支分解诱导，并通过在减少球面上的德恩扭转在 genus ≥3 的稳定分解中构造了伪阿诺索夫元素。

ABSTRACT

The mapping class group of a Heegaard splitting is the group of automorphisms of the ambient 3-manifold that take the surface onto itself, modulo isotopies that keep the surface on itself. We characterize the mapping classes that restrict to periodic and reducible automorphisms of the surface.

研究动机与目标

• 系统研究Heegaard分解的映射类群，定义为保持分解曲面在同伦意义下的3-流形自同构。
• 分类映射类群中在Heegaard曲面上限制为周期性或可约自同构的元素。
• 确定此类自同构的几何与拓扑起源，特别是在双曲3-流形中。
• 证明在 genus ≥3 的稳定Heegaard分解中，自然同态到环境流形映射类群的核内包含伪阿诺索夫元素。

提出的方法

• 利用3-流形上的有限群作用来表征Heegaard分解映射类群的有限子群，表明其源自分支集相对于提升的Heegaard分解处于桥位置的正则覆叠。
• 分析从 Mod(M,Σ) 到 Mod(M) 的自然同态的核，表明在双曲3-流形中其不包含有限阶元素。
• 通过沿Heegaard曲面上源于减少球面的环路进行德恩扭转来构造可约自同构，尤其在弱可约或稳定分解中。
• 应用彭纳定理于德恩扭转的复合，证明在 genus ≥3 的稳定分解中存在伪阿诺索夫映射。
• 区分局部可约自同构（在子流形中支持）与全局自同构（由开书或单侧分解诱导）。
• 利用Heegaard曲面的极大压缩子曲面来定义在不动点集补集中的周期性或可约行为的支持。

实验结果

研究问题

• RQ1 哪些Heegaard分解的自同构是周期性的，何种拓扑条件会强制此类行为？
• RQ2 可约自同构在Heegaard分解映射类群中的几何起源是什么？
• RQ3 在双曲3-流形中，每个可约自同构是否可分类为局部的，或由开书、单侧或分支Heegaard分解诱导？
• RQ4 在 genus ≥3 的稳定Heegaard分解中，其映射类群是否始终包含伪阿诺索夫元素？
• RQ5 在双曲3-流形中，从 Mod(M,Σ) 到 Mod(M) 的自然同态的核的结构是什么？

主要发现

• Mod(M,Σ) 的有限子群恰好源自3-流形 N 的有限正则覆叠，其中分支集相对于提升的Heegaard分解处于桥位置。
• 在闭合双曲3-流形中，同态 Mod(M,Σ) → Mod(M) 的核不包含有限阶元素，且该同态为单射当且仅当 Mod(M,Σ) 是有限的。
• 在强不可约Heegaard分解中，可约自同构要么由开书、单侧Heegaard曲面或分支Heegaard分解诱导，要么在由极大压缩曲面界定的子流形外为周期性的。
• 对于 genus 至少为三的稳定Heegaard分解，其映射类群在自然同态到 Mod(M) 的核内包含伪阿诺索夫元素，这些元素通过沿减少球面的德恩扭转复合构造而成。
• 若存在两个相交的减少球面，且它们与Heegaard曲面的交为弧，将曲面分割为圆盘，则可应用彭纳定理以构造伪阿诺索夫映射。
• 在 genus 二的稳定分解中，相同构造依然适用，但留待读者验证，表明该方法可推广至 genus 三以上的情形。