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

Jesse Johnson|arXiv (Cornell University)|Aug 26, 2011

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

一句话总结

本文证明了，若一个3-流形的单次稳定化Heegaard分解的原始分解距离大于2g+2，其中g为稳定化后的曲面的亏格，则该分解的映射类群是有限生成的。证明使用了扫掠（sweep-out）技术，并表明同伦子群由原始Heegaard曲面所界定的两个曲边体内的同伦所生成，该结论利用了Scharlemann关于曲边体内同伦子群的结果。

ABSTRACT

We show that if a Heegaard splitting is the result of stabilizing a high distance Heegaard splitting exactly once then its mapping class group is finitely generated.

研究动机与目标

• 确定3-流形中单次稳定化Heegaard分解的映射类群结构。
• 确立此类映射类群有限生成的条件。
• 通过将同伦子群分解为来自曲边体内同伦的子群，分析映射类群的同伦子群。
• 将关于高距离分解中有限映射类群的已知结果，推广至稳定化情形。

提出的方法

• 利用Cerf、Rubinstein-Scharlemann以及作者自身的双扫掠（double sweep-out）工具，分析稳定化曲面的同伦。
• 将同伦区间分解为若干子区间，使得在临界值处的截面为平凡或包含本质圈。
• 将同伦曲面上的圆盘投影到原始Heegaard曲面上，以消除平凡交点并保持一致性。
• 依赖Scharlemann对曲边体内同伦子群的分类，以识别St⁻(Σ)和St⁺(Σ)的生成集。
• 利用同伦子群在双曲流形中是完整映射类群的有限指数子群这一事实，该结论由Hempel的距离定理推出。
• 应用一种约化论证，表明同伦子群中的任意同伦均可分解为原始Heegaard曲面所界定的两个曲边体内的同伦。

实验结果

研究问题

• RQ1 在何种条件下，单次稳定化Heegaard分解的映射类群是有限生成的？
• RQ2 单次稳定化Heegaard分解的同伦子群能否由原始曲边体内的同伦所生成的子群生成？
• RQ3 原始Heegaard分解的距离如何影响其单次稳定化版本的映射类群结构？
• RQ4 单次稳定化分解的同伦子群是否由原始曲面所界定的两个曲边体内分解的同伦群生成？

主要发现

• 若原始分解的距离大于2g+2，其中g为稳定化曲面的亏格，则单次稳定化Heegaard分解的映射类群是有限生成的。
• 同伦子群Isot(M,Σ)由两个子群St⁻(Σ)和St⁺(Σ)生成，分别对应于原始Heegaard曲面Σ′所界定的两个曲边体内的同伦。
• 该证明依赖于将同伦分解为截面为平凡或含本质圈的区间，从而实现投影并约化至已知的生成集。
• 由于d(Σ′) > 2g+2 > 3，3-流形M是双曲的，因此Isot(M,Σ)是Mod(M,Σ)的有限指数子群，意味着完整映射类群的有限生成性。
• 该结果证实，即使原始分解具有高距离，单次稳定化分解的有限生成性依然成立，从而将先前关于有限或拟循环映射类群的结果推广至稳定化情形。