[论文解读] Nielsen methods and groups acting on hyperbolic spaces

Ilya Kapovich, Richard Weidmann|ArXiv.org|Mar 2, 2002

advanced mathematical theories被引用 4

一句话总结

本文证明，任何在 δ-双曲空间上通过等距作用的 n-生成群，要么是自由群（此时轨道映射为拟等距嵌入），要么包含一个非平凡元素，其平移长度至多为 δC(n)，其中 C(n) 是仅依赖于 n 的可计算常数。证明通过尼尔森变换分析生成元组，并结合双曲空间中的几何群论技术来控制平移长度。

ABSTRACT

We show that for any positive integer $n$ there exists a constant $C(n)>0$ such that any $n$-generated group $G$, which acts by isometries on a $δ$-hyperbolic space (with $δ>0$), is either free or has a nontrivial element with translation length at most $δC(n)$.

研究动机与目标

• 通过证明任何在 δ-双曲空间上作用的 n-生成群要么是自由群，要么包含平移长度较小的非平凡元素，来推广格罗莫夫关于双曲群的猜想。
• 通过尼尔森变换提供该二分法的构造性证明，该变换保持所生成子群不变，同时允许使用极小性论证。
• 证明平移长度界中常数 C(n) 是递归的，因此可算法计算，尽管其关于 n 的渐近增长未被确定。
• 通过令 δ → 0 将结果推广至 R-树，表明在此类情况下，可通过尼尔森等价性使第一个生成元的平移长度任意小。
• 恢复并强化格罗莫夫关于词双曲群子群的断言，尽管所用常数与原始陈述不同。

提出的方法

• 应用尼尔森变换——对生成元组进行的保持所生成子群不变的初等变换——将问题约化为极小生成元组。
• 使用结合组合排序（类比字典序）与 δ-双曲空间中几何控制的几何极小性条件。
• 利用群作用和生成元组中交替乘积的结构，从 x 到 ux 构造一条拟测地线路径 σ。
• 通过拟测地线追踪和豪斯多夫距离估计，将路径 σ 的长度与群元素的字长关联起来。
• 利用 σ 的 (K,K)-拟测地线性质，推导出路径长度关于群元素字长的下界，从而确保轨道映射为拟等距嵌入。
• 通过在乘积分解中对中间群元素长度的归纳控制，建立平移长度的递归界 C(n)。

实验结果

研究问题

• RQ1 任何在 δ-双曲空间上作用的 n-生成群是否可被证明为要么是自由群，要么包含平移长度较小的非平凡元素？
• RQ2 是否可确保此类小平移长度元素可被包含在尼尔森等价的生成元组中，即使作用是非离散或非忠实的？
• RQ3 平移长度界中的常数 C(n) 是否仅依赖于 n，且可被算法计算？
• RQ4 是否可通过令 δ → 0 将结果推广至 R-树？这是否意味着第一个生成元的平移长度可被任意接近椭圆？
• RQ5 尼尔森方法（传统上用于自由群）在具有几何控制的双曲空间上作用的群中，其推广程度如何？

主要发现

• 对任意 n ∈ ℕ，存在一个递归常数 C(n)，使得任何在 δ-双曲空间上通过等距作用的 n-生成群，要么是自由群（此时轨道映射为拟等距嵌入），要么包含一个非平凡元素，其平移长度 ≤ δC(n)。
• 轨道映射 G → X，g ↦ gx 是拟等距嵌入，当且仅当 G 关于生成元组是自由群，且作用是离散且拟凸的。
• 常数 C(n) 是递归的，因此可算法计算，尽管本文未确定其关于 n 的渐近增长。
• 在 R-树（0-双曲空间）的情形下，结果表明：对任意 ε > 0，存在一个尼尔森等价的生成元组，使得第一个生成元的平移长度 ≤ ε。
• 证明表明，由前 n−1 个生成元生成的子群 H 的轨道映射是拟等距嵌入，该结果被用于控制双曲空间中路径的长度。
• 通过豪斯多夫距离比较构造的拟测地线 σ 与测地线，可推导出路径长度关于字长的下界，从而证明了拟等距嵌入性质。