[论文解读] Relative hyperbolicity and mapping class groups of surfaces

James W. Anderson, Javier Aramayona+1 more|arXiv (Cornell University)|Apr 13, 2005

Geometric and Algebraic Topology参考文献 13被引用 2

一句话总结

本文证明了，对于复杂度至少为一的可定向曲面，其映射类群相对于任何有限个有限生成子群的集合，均不是强相对双曲的，该定义由Bowditch给出。通过几何与群论技术，本文确立了此类群不满足强相对双曲性条件，从而解决了几何群论中关于曲面对称性的一个关键问题。

ABSTRACT

We show that the mapping class group of an orientable surface of complexity at least one is not strongly relatively hyperbolic (i.e., in the sense of Bowditch) relative to any finite collection of finitely generated subgroups. MSC 20F67 (primary), 20F65 (secondary) 1

研究动机与目标

• 确定复杂度至少为一的曲面的映射类群是否相对于任何有限个有限生成子群的集合具有强相对双曲性。
• 研究映射类群在相对双曲性背景下的几何与群论结构。
• 解决几何群论中关于曲面映射类群的双曲类性质的一个基础性问题。

提出的方法

• 采用Bowditch定义的强相对双曲性，重点关注某些子集是否存在有限相对拟凸包。
• 分析映射类群在曲面曲率图上的作用，利用其双曲性特征。
• 应用组合与几何论证，表明该群无法满足强相对双曲性公理。
• 研究有限生成子群的结构及其在映射类群内的相互作用。
• 采用反证法：假设存在强相对双曲性，并推导出结构上的不一致。

实验结果

研究问题

• RQ1 复杂度至少为一的曲面的映射类群是否相对于任何有限个有限生成子群的集合是强相对双曲的？
• RQ2 哪些几何约束阻止了映射类群满足Bowditch的强相对双曲性条件？
• RQ3 曲率图的动力学与子群相互作用如何阻碍映射类群的强相对双曲性？

主要发现

• 任何复杂度至少为一的可定向曲面的映射类群，相对于任何有限个有限生成子群的集合，均不是强相对双曲的。
• 强相对双曲性的失效源于群在曲率图上的作用结构以及子群之间的相互作用。
• 该结果与有限个有限生成子群的选择无关。
• 证明依赖于曲率图的内在几何结构，以及在Bowditch公理下有限相对拟凸包的不存在性。
• 该结果意味着，即使在最有利的子群配置下，映射类群也无法具有强相对双曲结构。