[论文解读] Proper actions on finite products of quasi-trees

Mladen Bestvina, Kenneth Bromberg+1 more|arXiv (Cornell University)|May 26, 2019

Geometric and Algebraic Topology参考文献 16被引用 7

一句话总结

本文证明了残有限双曲群与映射类群在有限个拟树的乘积上具有等距作用，且轨道映射为拟等距——这定义了一种类新性质（QT）。作者利用投影复形技巧与残有限群中的可分性，构造了此类作用，证明了这些群具有有限渐近维数，并提供了一种强几何有限性条件，该条件与 Haagerup 性质或性质 (T) 明显不同。

ABSTRACT

We say that a finitely generated group $G$ has property (QT) if it acts isometrically on a finite product of quasi-trees so that orbit maps are quasi-isometric embeddings. A quasi-tree is a connected graph with path metric quasi-isometric to a tree, and product spaces are equipped with the $\ell^1$-metric. As an application of the projection complex techniques, we prove that residually finite hyperbolic groups and mapping class groups have (QT).

研究动机与目标

• 定义并建立有限生成群在有限个拟树乘积上等距作用且轨道映射为拟等距的性质 (QT)。
• 证明残有限双曲群满足性质 (QT)，从而推广了对自由群与曲面群的已知结果。
• 确立映射类群也满足性质 (QT)，为它们的结构提供了新的几何刻画。
• 通过 $Sp(n,1)$ 中的格作为例子，证明性质 (QT) 是一种强有限性条件，与 Haagerup 性质和 Kazhdan 性质 (T) 明显不同。
• 表明该构造依赖于可分性与投影复形技巧，从而实现将群拟等距嵌入到拟树乘积中。

提出的方法

• 采用 [BBF15] 和 [BBFS20] 中的投影复形框架，并将其适配以从曲图中的拟测地线族构造拟树。
• 应用强投影公理并设定统一的投影常数 $\chi$，确保距离公式在阈值 $K = 4\chi$ 下成立。
• 利用残有限群中中心化子与双陪集的可分性，构造有限指数子群以控制对轴测地线的投影。
• 在曲图中构造有限个优选轴 $\gamma_i$，每个 $H$-轨道对应一个，使用固定长度 $\hat{T}$ 的厚测地线段。
• 通过选取有限指数子群 $H < MCG(\Sigma)$ 对轴集合 $\mathcal{A}$ 进行着色，使得 $H$-轨道的轴相互横截，且稳定子可分。
• 构造乘积空间 $\mathcal{X} = \prod_{i=1}^m \mathcal{C}_K(\mathcal{A}_i)$，配备 $\ell^1$-度量，通过厚距离公式与有界投影控制，证明轨道映射 $H \to \mathcal{X}$ 为拟等距嵌入。

实验结果

研究问题

• RQ1 是否能通过几何构造证明残有限双曲群在有限个拟树乘积上具有适当作用？
• RQ2 映射类群是否可拟等距嵌入到有限个拟树的乘积中？若可，其何种结构特性支持这一结果？
• RQ3 性质 (QT) 与 Haagerup 性质及 Kazhdan 性质 (T) 有何区别，尤其在 $Sp(n,1)$ 格的背景下？
• RQ4 残有限群中的可分性能否被用于控制投影复形中的投影，并构造出投影像有界的有限指数子群？
• RQ5 厚测地线段与优选轴在确保距离公式能给出词长的线性下界方面起什么作用？

主要发现

• 残有限双曲群满足性质 (QT)，即它们在有限个拟树的乘积上等距作用，且轨道映射为拟等距。
• 映射类群也满足性质 (QT)，通过拟等距嵌入到拟树乘积中，为它们的结构提供了新的几何刻画。
• 该构造依赖于残有限群中中心化子与双陪集的可分性，以构建控制对轴测地线投影的有限指数子群。
• 证明使用了厚距离公式与有界投影控制，从而在拟树乘积的 $\ell^1$-距离下，建立了词长的线性下界。
• 乘积空间 $\mathcal{X} = \prod_{i=1}^m \mathcal{C}_K(\mathcal{A}_i)$ 配备 $\ell^1$-度量，支持有限指数子群 $H < MCG(\Sigma)$ 的拟等距嵌入，从而表明 $MCG(\Sigma)$ 具有性质 (QT)。
• 结果表明，性质 (QT) 严格强于有限渐近维数，但并不蕴含 Haagerup 性质，如 $Sp(n,1)$ 格虽具有性质 (T) 但仍满足 (QT) 所示。