[论文解读] Generating the Torelli group

Allen Hatcher, Dan Margalit|arXiv (Cornell University)|Oct 5, 2011

Geometric and Algebraic Topology参考文献 15被引用 4

一句话总结

本文通过固定同调类中曲线所张成的曲线复形的连通性，提供了一种新的证明，表明闭可定向曲面（亏格至少为3）的Torelli群由边界对映射生成。其关键创新在于基于曲线复形连通性的拓扑论证，为Birman–Powell定理建立了几何基础，而无需依赖群上同调或群表示。

ABSTRACT

We give a new proof of the theorem of Birman-Powell that the Torelli subgroup of the mapping class group of a closed orientable surface of genus at least 3 is generated by simple homeomorphisms known as bounding pair maps. The key ingredient is a proof that the subcomplex of the curve complex of the surface spanned by curves within a fixed homology class is connected.

研究动机与目标

• 提供Birman–Powell定理关于Torelli群生成性的新几何证明。
• 证明由固定同调类中曲线构成的曲线复形子复形的连通性。
• 证明当亏格g ≥ 3时，仅由边界对映射即可生成Torelli群。
• 阐明曲线复形拓扑在理解Torelli群结构中的作用。
• 为早期基于代数或上同调的证明提供一种概念性替代方案。

提出的方法

• 作者分析Torelli群在特定曲面分解所关联的Bass–Serre树上的作用。
• 他们在树上定义了一个权重函数W，以交点数衡量曲线的复杂度。
• 他们证明了由固定同调类中曲线张成的曲线复形子复形是连通的，这是论证的核心。
• 他们利用该子复形的连通性，证明Torelli群中的任意元素均可表示为边界对映射的乘积。
• 他们应用Birman正合列，将Torelli群与低亏格曲面的映射类群联系起来。
• 他们将论证扩展至亏格2情形，通过曲线复形与稳定子群的结构，表明Torelli群是非有限生成的自由群。

实验结果

研究问题

• RQ1 对于亏格g ≥ 3，由固定同调类中曲线张成的曲线复形子复形是否连通？
• RQ2 当亏格g ≥ 3时，Torelli群能否仅由边界对映射生成？
• RQ3 曲线复形的拓扑如何与Torelli群的结构相关联？
• RQ4 为何标准方法在亏格2时失效？如何在该情形下描述Torelli群？
• RQ5 是否可对曲线复形进行修改，以在亏格2时恢复连通性，从而支持类似的证明？

主要发现

• 由固定同调类中曲线构成的曲线复形子复形在亏格g ≥ 3时是连通的，这是本文的核心技术结果。
• 当曲面的亏格至少为3时，Torelli群由边界对映射生成。
• 在亏格2时，Torelli群是非有限生成的自由群，其自由生成集由同调的辛分裂索引。
• 该证明避免了代数表示，转而使用基于曲线复形和Bass–Serre理论的几何与拓扑论证。
• 作者表明，在亏格2时，不存在有限条边能使曲线复形连通，从而解释了归纳方法的失效。
• 本文揭示了亏格2时Torelli群的结构为无限多个非有限生成自由群的自由积，每个分量对应于树作用下的一个稳定子群。