[论文解读] Quasi-actions on trees II: Finite depth Bass-Serre trees

Lee Mosher, Michah Sageev+1 more|ArXiv.org|May 13, 2004

Geometric and Algebraic Topology参考文献 29被引用 6

一句话总结

该论文在交叉图条件（即每个顶点处描述余维数1边群交集的图是连通或空的）下，建立了具有有限深度Bass-Serre树的粗Poincaré对偶群有限图的基本群的拟等距刚性。证明表明，任何拟等距于此类群的有限生成群，其本身也必为粗Poincaré对偶群有限图的基本群，且任意拟等距映射均粗略保持Bass-Serre树的顶点空间与边空间结构。

ABSTRACT

This paper addresses questions of quasi-isometric rigidity and classification for fundamental groups of finite graphs of groups, under the assumption that the Bass-Serre tree of the graph of groups has finite depth. The main example of a finite depth graph of groups is one whose vertex and edge groups are coarse Poincare duality groups. The main theorem says that, under certain hypotheses, if G is a finite graph of coarse Poincare duality groups then any finitely generated group quasi-isometric to the fundamental group of G is also the fundamental group of a finite graph of coarse Poincare duality groups, and any quasi-isometry between two such groups must coarsely preserves the vertex and edge spaces of their Bass-Serre trees of spaces. Besides some simple normalization hypotheses, the main hypothesis is the ``crossing graph condition'', which is imposed on each vertex group G_v which is an n-dimensional coarse Poincare duality group for which every incident edge group has positive codimension: the crossing graph of G_v is a graph e_v that describes the pattern in which the codimension~1 edge groups incident to G_v are crossed by other edge groups incident to G_v, and the crossing graph condition requires that e_v be connected or empty.

研究动机与目标

• 建立有限图的粗Poincaré对偶群作为顶点与边群的群的基本群的拟等距刚性。
• 研究拟等距映射是否保持此类群的分裂结构，特别是其Bass-Serre树中的顶点与边空间结构。
• 确定拟等距群必须具有同构或共轭图群分解的条件。
• 将先前关于拟等距刚性的结果推广至非齐次群图，特别是具有不同维数顶点群的情形。
• 对由流形类群的自由积与HNN扩张所生成的群的拟等距类型进行分类。

提出的方法

• 利用Bass-Serre空间图构造法分析群图的几何结构。
• 引入“交叉图条件”——要求描述每个顶点处余维数1边群交集的图是连通或空的。
• 应用粗Poincaré对偶理论，将顶点群建模为流形类，将齐次情形下的结果推广至非齐次情形。
• 采用拟等距技术，证明任意此类群之间的拟等距映射均粗略保持Bass-Serre空间图的顶点与边空间分解。
• 使用解析延拓论证，将对深度1筏（rafts）的局部拟等距控制传播至整个Bass-Serre树的全局控制。
• 利用Farb-Mosher与Kapovich-Kleiner关于曲面-自由群及曲面-自由群拟等距结果，建立深度1筏的刚性。

实验结果

研究问题

• RQ1 在何种条件下，有限图的粗Poincaré对偶群基本群的分裂结构在拟等距下保持不变？
• RQ2 每个顶点处交叉图的结构如何影响群的拟等距刚性？
• RQ3 能否证明此类群之间的拟等距映射粗略保持其Bass-Serre空间图的顶点与边空间分解？
• RQ4 这些结果在多大程度上可超越齐次情形（即所有顶点群维数相同）？
• RQ5 对如曲面-自由群或双曲3-流形群最大循环子群的自由积群，其拟等距群具有何种含义？

主要发现

• 任何拟等距于具有有限深度Bass-Serre树的粗Poincaré对偶群有限图基本群的有限生成群，其本身也必为粗Poincaré对偶群有限图的基本群。
• 此类群之间的任意拟等距映射均粗略保持其各自Bass-Serre空间图的顶点与边空间结构。
• 交叉图条件——即每个顶点处余维数1边群交集图是连通或空的——足以确保上述刚性。
• 对于曲面-自由群或双曲3-流形群最大循环子群的自由积群，其拟等距类是刚性的，且分裂结构被保持。
• 此类群的拟等距群是其自身的一个有限指数扩张，且深度1筏的结构控制着整个拟等距群。
• 刚性可推广至更高维边群（如曲面群）的情形，其中分裂结构在拟等距下仍被保持。