[论文解读] Fiber respecting quasi-isometries of surface group extensions

Lee Mosher|ArXiv.org|Aug 7, 2003

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

一句话总结

本文建立了亏格 $ g \geq 2 $ 的单极面的映射类群的拟等距刚性定理，证明了 $ \mathcal{MCG}(S,p) $ 的所有保持纤维的拟等距映射均一致接近于群的左乘。结合 Kevin Whyte 的结果，这表明任何与 $ \mathcal{MCG}(S,p) $ 拟等距的有限生成群，均存在一个核有限、像为有限指数的同态映射到 $ \mathcal{MCG}(S,p) $，从而确认了映射类群拟等距刚性猜想的关键情形。

ABSTRACT

Let S be a closed, oriented surface of genus at least 2, and consider the extension 1 -> pi_1 S -> MCG(S,p) -> MCG(S) -> 1, where MCG(S) is the mapping class group of S, and MCG(S,p) is the mapping class group of S punctured at p. We prove that any quasi-isometry of MCG(S,p) which coarsely respects the cosets of the normal subgroup pi_1 S is a bounded distance from the left action of some element of MCG(S,p). Combined with recent work of Kevin Whyte this implies that if K is a finitely generated group quasi-isometric to MCG(S,p) then there is a homomorphism K -> MCG(S,p) with finite kernel and finite index image. Our work applies as well to extensions of the form 1 -> pi_1 S -> Gamma_H -> H -> 1, where H is an irreducible subgroup of MCG(S)--we give an algebraic characterization of quasi-isometries of Gamma_H that coarsely respect cosets of pi_1 S.

研究动机与目标

• 建立亏格 $ g \geq 2 $ 的单极面 $ S $ 的映射类群 $ \mathcal{MCG}(S,p) $ 的拟等距刚性结果。
• 刻画 $ \mathcal{MCG}(S,p) $ 的保持纤维的拟等距映射群，证明其与群元素的左乘一致接近。
• 将结果推广至一般曲面群扩张 $ 1 \to \pi_1(S) \to \Gamma_H \to H \to 1 $，其中 $ H $ 是 $ \mathcal{MCG}(S) $ 的不可约子群。
• 证明任何与 $ \mathcal{MCG}(S,p) $ 拟等距的有限生成群，均存在一个核有限、像为有限指数的同态映射到 $ \mathcal{MCG}(S,p) $，从而确认几何群论中的一个猜想。

提出的方法

• 利用 Dehn-Nielsen-Epstein-Baer 定理，通过带极点曲面的映射类群将 $ \mathcal{MCG}(S,p) $ 实现为全曲面群扩张。
• 应用粗略保持 $ \pi_1(S) $ 陪集的拟等距理论，即所谓的“保持纤维”的拟等距映射。
• 利用 $ \mathcal{MCG}(S) $ 在 Teichmüller 空间 $ \mathcal{T}(S) $ 上的作用，通过伪阿诺索夫元素的粗略轴，将群元素与 Teichmüller 度量下的测地射线联系起来。
• 通过相关度量空间的双曲性，构造 $ \Gamma_H $ 的 Cayley 图与伪阿诺索夫元素粗略轴上双曲平面丛之间的拟等距映射。
• 对固定共轭类的伪阿诺索夫元素，通过等变选择粗略轴，消除对单个群元素的依赖，从而获得一致界。
• 应用该论证的量化版本，表明拟等距映射与群元素的左乘一致接近，且界仅依赖于拟等距常数和曲面 $ S $ 的亏格。

实验结果

研究问题

• RQ1 是否所有 $ \mathcal{MCG}(S,p) $ 的拟等距映射都是保持纤维的，即在有限 Hausdorff 距离内保持 $ \pi_1(S) $ 陪集？
• RQ2 每个保持纤维的拟等距映射是否都能被群元素的左乘一致逼近？
• RQ3 拟等距刚性是否成立，即任何与 $ \mathcal{MCG}(S,p) $ 拟等距的有限生成群是否都存在一个核有限、像为有限指数的同态映射到 $ \mathcal{MCG}(S,p) $？
• RQ4 群 $ \Gamma_H $（即 $ \pi_1(S) $ 对子群 $ H < \mathcal{MCG}(S) $ 的扩张）的结构如何影响保持纤维的拟等距映射群？

主要发现

• 保持纤维的拟等距映射群同构于 $ \mathcal{MCG}(S,p) $ 本身，通过左作用实现，即每个此类拟等距映射均与某个群元素的左乘一致接近。
• 对任意 $ K \geq 1 $，$ C \geq 0 $，存在 $ A \geq 0 $，使得每个 $ (K,C) $-拟等距映射 $ \phi: \mathcal{MCG}(S,p) \to \mathcal{MCG}(S,p) $ 满足对所有 $ g \in \mathcal{MCG}(S,p) $ 有 $ d(\phi(g), Fg) \leq A $，其中 $ F \in \mathcal{MCG}(S,p) $，且 $ A $ 仅依赖于 $ K $、$ C $ 和曲面 $ S $ 的亏格。
• 每个 $ \mathcal{MCG}(S,p) $ 的自拟等距映射都是保持纤维的，这是由 Kevin Whyte 使用一致有限同调的方法所确立的，从而推出 $ \mathrm{QI}_f(\mathcal{MCG}(S,p)) = \mathrm{QI}(\mathcal{MCG}(S,p)) $。
• 任何与 $ \mathcal{MCG}(S,p) $ 拟等距的有限生成群 $ G $，均存在一个同态 $ G \to \mathcal{MCG}(S,p) $，其核有限且像为有限指数，从而确认了映射类群拟等距刚性猜想的关键情形。
• 该结果可推广至一般扩张 $ \Gamma_H = \pi_1(S) \rtimes H $，其中 $ H < \mathcal{MCG}(S) $ 为不可约子群且包含一个伪阿诺索夫元素，且保持纤维的拟等距映射可通过其在 Teichmüller 空间上的作用来刻画。