[论文解读] Discrete groups of packed, non-positively curved, Gromov hyperbolic metric spaces

Nicola Cavallucci, Andrea Sambusetti|arXiv (Cornell University)|Feb 19, 2021

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

一句话总结

本文为作用于密集、Gromov-双曲度量空间且具有凸测地线双连通性的离散群建立了定量版的 Tits 交替定理。证明了可缩长、对角长、熵和临界指数的统一下界，并通过超极限技术在 Gromov-Hausdorff 极限下证明了紧致性与刚性，从而得到了新的紧致度量空间类以及极限群的结构约束。

ABSTRACT

We prove a quantitative version of the classical Tits' alternative for discrete groups acting on packed Gromov-hyperbolic spaces supporting a convex geodesic bicombing. Some geometric consequences, as uniform estimates on systole, diastole, algebraic entropy and critical exponent of the groups, will be presented. Finally we will study the behaviour of these group actions under limits, providing new examples of compact classes of metric spaces.

研究动机与目标

• 将 Tits 交替定理推广至非余紧、密集、Gromov-双曲 GCB-空间上的离散群作用。
• 为这类群建立统一的几何与动力学不变量，如可缩长、对角长、熵与临界指数。
• 分析此类群作用在 Gromov-Hausdorff 极限下的行为，证明所得极限空间的紧致性与刚性。
• 通过群作用的超极限构造，生成新的紧致度量空间类。
• 提供一个框架，使得在固定尺度下的打包条件可统一控制所有尺度的几何性质，推广曲率与熵的假设。

提出的方法

• 采用 GCB-空间的概念——具有测地线完备、凸测地线双连通性的完备度量空间——推广 CAT(0) 与 Busemann 凸空间。
• 在固定尺度 r₀ 上应用打包条件，推导出仅依赖于 P₀、r₀ 与 δ 的统一 Margulis 常数 ε₀。
• 应用 Breuillard-Green-Tao 的 Margulis 引理类比，证明 ε₀-近似稳定子群为几乎幂零，从而实现对群作用的控制。
• 使用超极限技术分析作用于带基点 GCB-空间的群作用的极限，构造极限群与极限空间中的覆盖映射。
• 在 δ-双曲空间中应用 Helly 定理与投影技术，控制等距变换的距离与动力学行为。
• 通过可接受的等距序列构造极限群到商群的满同态，证明极限中同态的单射性与正规性。

实验结果

研究问题

• RQ1 能否在不假设余紧性的情况下，为作用于密集、Gromov-双曲 GCB-空间的离散群建立定量版的 Tits 交替定理？
• RQ2 在打包与凸性假设下，能否为几何不变量（如可缩长、对角长、熵与临界指数）建立统一的下界？
• RQ3 此类群作用在 Gromov-Hausdorff 极限下的行为如何？极限群继承了何种结构？
• RQ4 超极限构造能否产生在极限下封闭的新紧致度量空间类？这些空间具有何种拓扑与代数性质？
• RQ5 在固定尺度下的打包条件在多大程度上可传播至控制 GCB-空间中所有尺度的几何性质？

主要发现

• 存在统一的 Margulis 常数 ε₀，仅依赖于打包常数 P₀、尺度 r₀ 与双曲性常数 δ，使得任意点的 ε₀-近似稳定子群均为几乎幂零。
• 群作用的可缩长被统一下界 s₀(P₀, r₀, δ, D) > 0 控制，其中 D 为作用的共直径。
• 群的临界指数与代数熵被统一下界控制，其表达式依赖于 P₀、r₀、δ 与 D。
• 通过 GCB-空间上群作用的超极限构造的极限群 Γω 是离散的、无挠的，并包含自由子群，确保其为非初等结构。
• 正规覆盖 πn: X̂n → X̄n 的超极限为正规覆盖 πω: X̂ω → X̄ω，其自同构群同构于商群 Qn = Γn/Γ′n 的超极限。
• 若每个 Qn 为阿贝尔（或 m 步幂零/可解）群，则极限群 Γω/Γ′ω 亦为阿贝尔（或 m 步幂零/可解）群，且 Γ′ω 为非初等群，从而 Γω 为非可解群并包含自由子群。