[论文解读] Well displacing representations and orbit maps

Thomas Delzant, Olivier Guichard+2 more|arXiv (Cornell University)|Apr 26, 2007

Geometric and Algebraic Topology参考文献 4被引用 11

一句话总结

本文研究了几何群论中良好位移群作用与拟等距轨道映射之间的关系。研究结果表明，对于双曲群以及具有U-性质的线性群（例如格），良好位移作用蕴含拟等距轨道映射，但反之不成立，尤其是在存在幂幺元的群（如SL(n,Z)）中，尽管其轨道映射是拟等距的，但其作用并非良好位移。本文的关键贡献是引入了有界深度根性质，该性质刻画了此类群中非良好位移作用的特征。

ABSTRACT

We discuss in this article a property of action of groups by isometries called "well displacing". An action is said to be well displacing, if the displacement function is equivalent to the the displacement function for the action on the Cayley graph. We relate this property with the fact that orbit maps are quasi-isometric embeddings. We first describe countrexamples that shows this two notions are unrelated in general. On the other hand we explain that for a certain class of groups -- in particular hyperbolic groups -- these two properties are equivalent. In the course of our discussion, we introduce an intrinsic property of the group -- that we called the U-property -- which says quantitatively how the norm an element is controlled by the translation length of finitely many related conjugacy classes. This property play a central role in our discussion.

研究动机与目标

• 阐明度量空间中良好位移群作用与拟等距轨道映射之间的关系。
• 识别良好位移作用蕴含拟等距轨道映射，以及反之亦然的条件。
• 引入并分析有界深度根性质，作为非良好位移作用的判别准则。
• 研究幂幺元与无限扭曲在阻碍良好位移中的作用。
• 确定所有线性群是否满足U-性质，特别是在格与SL(n,Z)的背景下。

提出的方法

• 定义位移函数 d_X(γ) = infₓ∈Xd(x, γ(x)) 与平移长度 ℓ_S(γ) = infₙ‖ηγη⁻¹‖_S，针对群元素。
• 通过不等式 d_X(γ) ≥ Aℓ_S(γ) − B（其中 A, B > 0 为常数）引入良好位移作用的概念。
• 利用稳定范数 [g]_∞^X = liminfₙ→∞ (1/n)d(x₀, gⁿx₀) 将轨道映射的拟等距性与位移控制联系起来。
• 证明：若稳定范数与平移长度一致可比较（即 [g]_∞ ≥ αℓ(g)），则拟等距轨道映射蕴含良好位移作用。
• 引入有界深度根性质：对 A ∈ SL(n,Z)，满足 Bᵏ = A 的根 B 的数量在 k 上有统一有界。
• 运用代数数论与特征值估计，证明 SL(n,Z) 具有有界深度根性质，从而推导出其作用为非良好位移。

实验结果

研究问题

• RQ1 在何种条件下，良好位移作用蕴含轨道映射为拟等距嵌入？
• RQ2 所有线性群是否都满足U-性质，即良好位移作用是否蕴含拟等距轨道映射？
• RQ3 为何 SL(n,Z) 在 SL(n,R)/SO(n,R) 上的作用虽具有拟等距轨道映射，却非良好位移？
• RQ4 有界深度根性质如何与具有幂幺元的作用的非良好位移性相关联？
• RQ5 U-性质是否等价于稳定范数与平移长度一致可比较？

主要发现

• 双曲群满足U-性质：良好位移作用蕴含拟等距轨道映射。
• SL(n,Z) 不满足U-性质；其在 SL(n,R)/SO(n,R) 上的作用虽具有拟等距轨道映射，但并非良好位移。
• SL(n,Z) 满有界深度根性质，即元素的根在次数上统一有界。
• 对具有有界深度根的群，若元素 γ 满足 limₚ→∞d_X(γᵖ) = ∞，则其作用非良好位移。
• 对双曲群，稳定范数 [g]_∞ 与平移长度 ℓ(g) 一致可比较，这解释了为何拟等距轨道映射蕴含良好位移。
• 存在无限群（如仅有有限个共轭类的群），其作用总是良好位移，但可存在非拟等距轨道映射（例如平凡作用）。