[论文解读] Constructing group actions on quasi-trees and applications to mapping class groups

Mladen Bestvina, Kenneth Bromberg+1 more|arXiv (Cornell University)|Jun 10, 2010

Geometric and Algebraic Topology参考文献 36被引用 27

一句话总结

本文通过投影复形与度量空间的拟树构造，提出了一类群作用的新方法，证明了映射类群在有限个δ-双曲空间的乘积上作用，且轨道映射为拟等距嵌入。关键贡献在于确立了映射类群的渐近维数有限，解决了几何群论与阿廷-特希勒理论中长期悬而未决的公开问题。

ABSTRACT

A quasi-tree is a geodesic metric space quasi-isometric to a tree. We give a general construction of many actions of groups on quasi-trees. The groups we can handle include non-elementary (relatively) hyperbolic groups, rank 1 CAT(0) groups, mapping class groups and Out(Fn). As an application, we show that mapping class groups act on finite products of δ-hyperbolic spaces so that orbit maps are quasi-isometric embeddings. We prove that mapping class groups have finite asymptotic dimension.

研究动机与目标

• 开发一种通用方法，从具有受控投影性质的度量空间族构造群在拟树上的作用。
• 将该构造应用于映射类群，证明其在有限个δ-双曲空间的乘积上作用，且轨道映射为拟等距嵌入。
• 确立映射类群的渐近维数有限，解决几何群论中的核心公开问题。
• 通过类似基于投影的构造，将该方法推广至其他群，包括具有秩-1元素的CAT(0)群与Out(F_n)。
• 提供一个统一框架，利用投影复形与度量空间的拟树，推广并强化现有关于非双曲群中类双曲行为的结果。

提出的方法

• 定义一个投影复形，基于一组测地度量空间与满足公理(P0)–(P2)的粗略投影映射，包括投影的统一有界性与相互投影的统一有限性。
• 构造一个度量空间的拟树，记为C(Y)，其中包含Y中每个空间的等距复制，并在统一误差范围内保持投影结构。
• 确保该构造在保持投影公理的群作用下保持等变性，从而在所得拟树上实现群作用。
• 利用瓶颈准则验证构造空间C(Y)为拟树，借助投影复形的双曲性。
• 应用渐近维数的乘积公式与并集定理，通过归纳法界定Teichmüller空间与映射类群的渐近维数。
• 利用Minsky的乘积定理与Masur-Minsky的距离估计，将裤复形与曲线复形的几何结构与乘积空间中的轨道映射关联起来。

实验结果

研究问题

• RQ1 能否为非双曲群（如映射类群）开发一种构造群在拟树上作用的通用方法？
• RQ2 映射类群是否在有限个δ-双曲空间的乘积上作用，且轨道映射为拟等距嵌入？
• RQ3 映射类群的渐近维数是否有限，且能否通过基于投影的几何构造加以证明？
• RQ4 投影复形框架能否推广至具有秩-1元素的CAT(0)群与Out(F_n)？
• RQ5 Teichmüller空间的渐近维数与其子空间分解的渐近维数之间存在何种关系？

主要发现

• 映射类群在有限个δ-双曲空间的乘积上作用，且轨道映射为拟等距嵌入，证实了强类双曲行为。
• 映射类群的渐近维数有限，解决了几何群论中的一个重大公开问题。
• 度量空间的拟树C(Y)的构造产生一个拟等距于树的测地度量空间，满足具有统一常数的瓶颈准则。
• 投影复形构造在保持投影公理的群作用下保持等变性，从而可在拟树上系统地实现群作用。
• 配备Weil-Petersson度量的Teichmüller空间的渐近维数有限，因其拟等距于渐近维数有限的裤复形。
• 该方法可统一应用于非初等的相对双曲群、具有秩-1元素的CAT(0)群与Out(F_n)，展现出广泛适用性。