[论文解读] The geometry of surface-by-free groups

Benson Farb, Lee Mosher|ArXiv.org|Aug 29, 2000

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

一句话总结

该论文为词超曲面自由群建立了强有力的刚性结果：此类群的拟等距群等于其抽象共轭子群，且两个此类群拟等距当且仅当它们抽象共轭。关键贡献在于通过粗几何、Teichmüller 理论和伪-Anosov 动力学显式计算了共轭子群，表明拟等距映射以一种精确的代数方式检测有限指数子群。

ABSTRACT

We show that every word hyperbolic, surface-by-(noncyclic) free group Gamma is as rigid as possible: the quasi-isometry group of Gamma equals the abstract commensurator group Comm(Gamma), which in turn contains Gamma as a finite index subgroup. As a corollary, two such groups are quasi-isometric if and only if they are commensurable, and any finitely generated group quasi-isometric to Gamma must be weakly commensurable with Gamma. We use quasi-isometries to compute Comm(Gamma) explicitly, an example of how quasi-isometries can actually detect finite index information. The proofs of these theorems involve ideas from coarse topology, Teichmuller geometry, pseudo-Anosov dynamics, and singular solv-geometry.

研究动机与目标

• 通过几何与代数不变量对词超曲面自由群进行拟等距分类。
• 证明此类群的拟等距群与其抽象共轭子群一致，从而确立最大代数刚性。
• 证明任何拟等距于此类群的有限生成群，其与该群的关系为弱共轭（至多相差有限正规子群）。
• 显式计算曲面自由群的抽象共轭子群，这是除李群中的格以外罕见的结果。
• 通过保持水平的拟等距映射与共轭关系，将分类结果推广至纤维化双曲 3-流形基本群。

提出的方法

• 使用粗拓扑与奇异可解几何分析曲面自由群的大尺度结构。
• 应用 Teichmüller 理论及映射类群的 Schottky 子群在 Teichmüller 空间上的作用研究其极限集。
• 利用伪-Anosov 动力学分析弱凸包与在极限集上的余紧作用。
• 构造 Schottky 子群 $H$ 所对应的最小 2-轨道丛 ${\mathcal{O}}_H$，通过曲面的有限覆盖实现。
• 利用轨道丛上映射类群的相对共轭子群，将有限指数子群上移并计算全群的共轭子群。
• 应用保持水平的拟等距映射，将群的几何性质与 Teichmüller 空间上作用的动力学联系起来。

实验结果

研究问题

• RQ1 何时两个词超曲面自由群是拟等距的？
• RQ2 拟等距映射在非格群中能多大程度上检测有限指数子群？
• RQ3 曲面自由群的抽象共轭子群结构如何？
• RQ4 群的几何性质如何与 Schottky 子群在 Teichmüller 空间上的动力学相关联？
• RQ5 纤维化双曲 3-流形基本群的分类在保持水平的拟等距下如何？

主要发现

• 两个曲面自由群 $\Gamma_{H_1}$ 与 $\Gamma_{H_2}$ 拟等距当且仅当它们抽象共轭。
• 群 $\Gamma_H$ 的拟等距群等于其抽象共轭子群 $\operatorname{Comm}(\Gamma_H)$，且 $\Gamma_H$ 是其有限指数子群。
• 任何拟等距于 $\Gamma_H$ 的有限生成群均与 $\Gamma_H$ 弱共轭，即存在一个有限正规子群，使得商群与 $\Gamma_H$ 共轭。
• 曲面自由群的抽象共轭子群通过最小轨道丛 ${\mathcal{O}}_H$ 与 $H$ 在 $\mathcal{M}({\mathcal{O}}_H)$ 中的相对共轭子群显式计算得出。
• 对于秩 1 的 Schottky 子群（即纤维化 3-流形群），通过拟等距的分类比共轭关系更粗略，但存在一个精细的保持水平的拟等距分类。
• 在 Teichmüller 空间 Thurston 边界中的 $H$ 的极限集决定了拟等距类，且两个此类群拟等距当且仅当其极限集相等。