[论文解读] Discreteness Criteria in M\"obius Groups by Test Maps

Krishnendu Gongopadhyay, Abhishek Mukherjee|arXiv (Cornell University)|Dec 18, 2018

Geometric and Algebraic Topology被引用 1

一句话总结

本文建立了在 ℝ、ℂ 或 ℍ 上的 n 维双曲空间上作用的 Möbius 群的 Zariski 炎子群的离散性判别准则。证明表明，只要每个广义双曲元素 g ∈ G 与一个固定的测试映射 f ∈ U(n,1; ℱ) 生成的二元子群 ⟨f, g⟩ 是离散的，即使 f 不属于 G，该子群 G 也是离散的。

ABSTRACT

Let $\mathbb F=\mathbb R$, $\mathbb C$ or $\mathbb H$. Let ${\bf H}_{\mathbb F}^n$ denote the $n$-dimensional $\mathbb F$-hyperbolic space. Let ${ m U}(n,1; \mathbb F)$ be the linear group that acts by the isometries. A subgroup $G$ of ${ m U}(n,1; \mathbb F)$ is called \emph{Zariski dense} if it does not fix a point on the closure of the $\mathbb F$-hyperbolic space, and neither it preserves a totally geodesic subspace of it. We prove that a Zariski dense subgroup $G$ of ${ m U}(n,1; \mathbb F)$ is discrete if for every loxodromic element $g \in G$, the two generator subgroup $\langle f, g angle$ is discrete, where $f \in { m U}(n,1; \mathbb F)$ is a test map not necessarily from $G$.

研究动机与目标

• 建立在 ℝ、ℂ 或 ℍ 上的 n 维双曲空间上作用的 Möbius 群中 Zariski 炎子群的离散性充分条件。
• 解决那些不保持任何真完全测地子空间或不固定边界点的子群中离散性的验证难题。
• 提出一种测试映射方法，通过检查二元子群的有限生成性条件来验证离散性。
• 通过放宽第二生成元必须属于子群 G 的要求，推广现有的离散性判别准则。

提出的方法

• 将 U(n,1; ℱ) 中的 Zariski 炎子群 G 定义为：既不固定 ℱ-双曲空间闭包中的点，也不保持任何真完全测地子空间的子群。
• 引入一个固定的测试映射 f ∈ U(n,1; ℱ)，该映射无需属于 G，作为测试离散性的参考元素。
• 以对每个广义双曲元素 g ∈ G，子群 ⟨f, g⟩ 均为离散作为 G 离散性的核心判别准则。
• 在 ℱ-双曲空间的等距群背景下，运用群论与几何技术分析二元子群的动力学行为。
• 利用 U(n,1; ℱ) 作为 n 维 ℱ-双曲空间等距群的结构，将子群的代数性质与其几何作用联系起来。
• 利用广义双曲元素具有明确的平移轴和南北动力学行为的性质，通过其在边界上的作用进行分析。

实验结果

研究问题

• RQ1 在何种条件下，可通过仅检查广义双曲 g ∈ G 的二元子群 ⟨f, g⟩ 来确定 Zariski 炎子群 G ≤ U(n,1; ℱ) 的离散性？
• RQ2 一个不属于 G 的固定测试映射 f ∈ U(n,1; ℱ) 是否可作为验证 G 离散性的通用工具？
• RQ3 所有此类二元子群 ⟨f, g⟩ 的离散性是否蕴含整个 Zariski 炎子群 G 的离散性？
• RQ4 Zariski 炎条件与广义双曲元素在离散性背景下的几何行为之间有何相互作用？
• RQ5 测试映射方法在多大程度上可降低在高秩 Möbius 群中验证离散性的复杂度？

主要发现

• Zariski 炎子群 G ≤ U(n,1; ℱ) 当且仅当每个广义双曲元素 g ∈ G 与一个固定的测试映射 f ∈ U(n,1; ℱ) 生成的二元子群 ⟨f, g⟩ 是离散的时，才是离散的。
• 测试映射 f 无需属于 G，这极大地扩展了该判别准则的适用范围。
• 该判别准则在 ℝⁿ⁺¹、ℂⁿ⁺¹ 和 ℍⁿ⁺¹ 上具有统一适用性，适用于所有经典双曲空间。
• 该结果提供了一种有限的、类似算法的离散性条件，因为它将问题简化为检查有限个二元子群。
• 该方法避免了对 G 的完整群结构进行分析，转而依赖于广义双曲元素的动力学行为及其与通用测试映射的相互作用。
• 该定理在子群的代数结构与其在 ℱ-双曲空间边界上的几何作用之间建立了强有力的联系。