[论文解读] Hyperbolic HHS I:Factor Systems and Quasi-convex subgroups

Davide Spriano|arXiv (Cornell University)|Nov 29, 2017

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

一句话总结

本文提出了一种方法，通过任意有限个准凸子群（即使不满足几乎正则性条件）在双曲群 $G$ 上构造层次超曲空间（HHS）结构。通过引入弱因子系统，并从准凸子群的共轭的交集中构造因子系统，作者证明了 $G$ 具备一种 HHS 结构，其中每个分量是某个陪集的锥化空间，并明确描述了 Gromov 边界为锥化空间边界的商空间，从而恢复并推广了关于相对双曲性及其边界的经典结果。

ABSTRACT

In this paper we provide a procedure to obtain a non-trivial HHS structure on a hyperbolic space. In particular, we prove that given a finite collection $\mathcal{F}$ of quasi-convex subgroups of a hyperbolic group $G$, there is an HHG structure on $G$ that is compatible with $\mathcal{F}$. We will use this to provide explicit descriptions of the Gromov Boundary of hyperbolic HHS and HHG, and we recover results from Hamenstädt, Manning, Trang for the case when $G$ is hyperbolic relative to $\mathcal{F}$. Further applications in the construction of new HHG will be presented in a subsequent paper.

研究动机与目标

• 将层次超曲空间（HHG）理论扩展至任意有限个准凸子群的双曲群，超越经典的相对双曲性设定。
• 消除先前关于相对双曲性和 HHS 结构结果中所需的几乎正则性条件。
• 通过从准凸子群共轭交集中导出的弱因子系统，显式构造双曲群上的 HHS 结构。
• 将双曲 HHS 的 Gromov 边界以拓扑方式描述为锥化空间边界的商空间，推广了 Bowditch、Manning 和 Tran 的结果。
• 为在非相对设定下构造新的 HHG 及理解其边界奠定基础。

提出的方法

• 引入弱因子系统的概念：一组满足有界链长、粗投影封闭性以及局部拟测地线稠密性的均匀准凸子群。
• 从原始族 $\mathcal{F}$ 的共轭交集中构造一个有限族 $\mathcal{F}'$ 的准凸子群，确保满足弱因子系统公理。
• 利用 $G$ 关于 $\mathcal{F}'$ 的锥化构造来定义 HHS 分量，其中每个 $CU$ 是 $\mathcal{F}'$ 中元素的陪集的锥化空间，或 $G$ 本身。
• 应用层次超曲空间理论，证明所得结构满足 HHS 公理，其投影与一致性条件均源于粗几何。
• 建立 $G$ 的 Bowditch 边界与锥化空间 $CX$ 的边界 $\partial X = \partial CX \cup_{F \in \mathcal{F}} \partial CF$ 的商空间之间的同胚，其中每个 $\partial CF$ 被收缩为一点。
• 通过涉及基本邻域和商映射的拓扑论证，证明边界映射 $\phi$ 是同胚，依赖于紧致化空间的正则性与紧致性。

实验结果

研究问题

• RQ1 能否在不依赖几乎正则性条件的前提下，通过任意有限个准凸子群在双曲群上构造出层次超曲空间结构？
• RQ2 当 HHS 结构由因子系统生成时，如何显式描述双曲 HHS 的 Gromov 边界？
• RQ3 锥化空间的边界与群的 Bowditch 边界之间存在何种拓扑关系？
• RQ4 弱因子系统框架如何在 HHS 理论背景下推广经典相对双曲性设定？
• RQ5 能否通过使用共轭交集来替代正则性条件，将 HHS 结构的构造推广至非相对设定？

主要发现

• 可构造一个包含原始族 $\mathcal{F}$ 的有限准凸子群族 $\mathcal{F}'$，使得陪集空间 $\mathcal{F}'_{\mathrm{cos}}/_{\sim}$ 构成 $G$ 上的层次超曲空间结构，且每个 $CU$ 为某个陪集的锥化空间。
• 该 HHS 结构与原始族 $\mathcal{F}$ 兼容，且即使 $\mathcal{F}$ 不满足几乎正则性条件，构造依然成立。
• 双曲 HHS 的 Gromov 边界同胚于 $\partial X = \partial CX \cup_{F \in \mathcal{F}} \partial CF$ 的商空间，其中每个 $\partial CF$ 被收缩为一点，$CX$ 是 $G$ 关于 $\mathcal{F}'$ 的锥化空间。
• 该边界描述恢复并推广了 Bowditch、Manning 和 Tran 关于相对双曲群边界分解的结果。
• 所构造的 $\mathcal{F}'$ 满足弱因子系统公理，具有有界链长与粗投影封闭性，确保 HHS 结构定义良好。
• 边界同胚的证明依赖于证明商映射 $\phi$ 是紧致 Hausdorff 空间之间连续且双射的映射，因此为同胚。