[论文解读] Hyperbolic groups with homeomorphic Gromov boundaries

Alexandre Martin, Jacek Świątkowski|arXiv (Cornell University)|Mar 27, 2013

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

一句话总结

本文证明了，在过有限子群的终端分裂中，双曲群的 Gromov 边界在同胚意义下唯一地由其 1-连通顶点群边界的同胚类型确定。它证明了对于边群为有限群的双曲群图，其边界拓扑仅取决于非初等顶点群的边界类型，并给出了两个此类群具有同胚边界的一个必要且充分条件。

ABSTRACT

We show that the Gromov boundary of the free product of two infinite hyperbolic groups is uniquely determined up to homeomorphism by the homeomorphism types of the boundaries of its factors. We generalize this result to graphs of hyperbolic groups over finite subgroups. Finally, we give a necessary and sufficient condition for the Gromov boundaries of any two hyperbolic groups to be homeomorphic (in terms of the topology of the boundaries of factors in terminal splittings over finite subgroups).

研究动机与目标

• 确定双曲群的 Gromov 边界是否由其自由积中各因子边界的同胚类型唯一确定。
• 将此结果推广至过有限子群的双曲群图，特别是在终端分裂的背景下。
• 基于终端分裂中 1-连通顶点群的边界类型，建立两个双曲群具有同胚 Gromov 边界的必要且充分条件。
• 利用树状结构和等变作用，为自由积和群图的 Gromov 边界提供一个拓扑模型。
• 证明在适当的拓扑条件下，此类群的边界分量恰好对应于其 1-连通顶点群的边界。

提出的方法

• 为自由积 $G = A*B$ 构造一个几何模型 $\Gamma = \Gamma(A,B)$，作为空间的树，其中顶点被替换为 $A$ 和 $B$ 的 Cayley 图的副本。
• 定义一个边界 $\delta\Gamma$，即 Bass-Serre 树 $\partial T$ 的边界与等变边界分量 $\delta_{\text{Stab}}\Gamma$ 的并集，后者是 $\partial A$ 和 $\partial B$ 的像。
• 在 $\delta\Gamma$ 上赋予一个 $G$-作用，并定义一个投影 $p: \delta\Gamma \to \mathcal{V}(T) \cup \partial T$，使得边界分量可与顶点的原像相联系。
• 利用基于 Bass-Serre 树边分解的自然半空间，分析拓扑分离性与连通性。
• 证明等变映射 $f_{g,j}: \partial A_j \to \delta\Gamma$ 的连续性，这些映射将顶点群的边界嵌入到完整边界中。
• 应用拓扑论证——特别是开-闭划分与连通性——证明 $\partial G_v \subset \delta\Gamma$ 是连通分量当且仅当对应的顶点群是 1-连通的。

实验结果

研究问题

• RQ1 两个无限双曲群的自由积 $G_1 * G_2$ 的 Gromov 边界拓扑是否由 $\partial G_1$ 和 $\partial G_2$ 的同胚类型唯一确定？
• RQ2 能否仅通过其非初等顶点群边界的同胚类型来表征过有限边群的双曲群图的 Gromov 边界？
• RQ3 在过有限子群的终端分裂的背景下，两个双曲群具有同胚 Gromov 边界的必要且充分条件是什么？
• RQ4 双曲群在终端分裂中，其 Gromov 边界的连通分量如何与 1-连通顶点群的边界相关？
• RQ5 在多大程度上，双曲群的边界拓扑可从其过有限子群的终端分裂结构中重建？

主要发现

• 两个无限双曲群的自由积 $G_1 * G_2$ 的 Gromov 边界同胚于一个由 $G_1$ 和 $G_2$ 的边界构造的空间，且其拓扑完全由 $\partial G_1$ 和 $\partial G_2$ 的同胚类型决定。
• 对于过有限子群的双曲群图，$\partial(\pi_1\mathcal{G})$ 同胚当且仅当 1-连通顶点群边界同胚类型的集合 $h(\mathcal{G}_1)$ 与 $h(\mathcal{G}_2)$ 相等。
• 在终端分裂中，双曲群 $G$ 的 $\partial G$ 的连通分量恰好对应于 Bass-Serre 树的端点的单点集以及 1-连通顶点群边界的像。
• 点 $\eta \in \partial T$ 是 $\delta\Gamma$ 的连通分量当且仅当它在边界拓扑中是孤立的，这发生在它位于边稳定子为平凡的树的边界时。
• 若顶点群 $A_j$ 是 1-连通的，则其边界 $\partial A_j$ 连续地嵌入到 $\delta\Gamma$ 中作为连通分量，且该分量同胚于 $\partial A_j$。
• 完整的 Gromov 边界 $\partial G$ 同胚于几何模型 $\delta\Gamma$ 的边界，且该同胚是 $G$-等变的。