[論文レビュー] 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 稠密な部分群について、離散性の判定基準を確立する。その基準は、固定されたテスト写像 f ∈ U(n,1; ℱ) に対して、任意の片持ち型要素 g ∈ G が生成する二生成子部分群 ⟨f, g⟩ が離散的であるならば、G が離散的であることを保証する。このとき f が 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 に属している必要があるという従来の離散性基準の要件を緩和することで、既存の基準を一般化すること。

提案手法

• G ≤ U(n,1; ℱ) を、ℱ 双曲空間の閉包に点を固定せず、かつ任意の真の完全測地的部分空間を保存しない部分群として、Zariski 稠密と定義する。
• G に属している必要のない固定されたテスト写像 f ∈ U(n,1; ℱ) を導入し、離散性の検証の基準として用いる。
• G の任意の片持ち型要素 g ∈ G に対して、⟨f, g⟩ が離散的であるという条件を、G の離散性の核心的基準とする。
• ℱ 双曲空間の等長群の文脈において、群論的および幾何的技法を用いて二生成子部分群の力学的性質を分析する。
• U(n,1; ℱ) が n 次元 ℱ 双曲空間の等長群であるという構造を活用し、部分群の代数的性質とその幾何的作用との関係を明らかにする。
• 片持ち型要素が明確に定義された移動軸と南北力学的性質を持つことを利用し、境界上の作用を通じた解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Zariski 稠密な部分群 G ≤ U(n,1; ℱ) の離散性は、片持ち型 g ∈ G に対してのみ二生成子部分群 ⟨f, g⟩ を調べることで、どのような条件下で判定可能か？
• RQ2 G に属さない固定されたテスト写像 f ∈ U(n,1; ℱ) が、G の離散性を検証する普遍的なツールとして機能できるか？
• RQ3 すべてのこのような二生成子部分群 ⟨f, g⟩ が離散的であるならば、Zariski 稠密な部分群 G 全体の離散性が保証されるか？
• RQ4 Zariski 稠密性の条件が、片持ち型要素の幾何的挙動と離散性の文脈において、どのように作用するか？
• RQ5 テスト写像法は、高ランク Möbius 群における離散性の確認の複雑さをどの程度軽減できるか？

主な発見

• Zariski 稠密な部分群 G ≤ U(n,1; ℱ) が離散的であるための必要十分条件は、G の任意の片持ち型要素 g ∈ G が、固定されたテスト写像 f ∈ U(n,1; ℱ) と生成する二生成子部分群 ⟨f, g⟩ がすべて離散的であることである。
• テスト写像 f が G に属している必要がないため、この基準の適用範囲が著しく拡大される。
• この基準は、ℝⁿ⁺¹、ℂⁿ⁺¹、および ℍⁿ⁺¹ に対して一様に適用可能であり、すべての古典的双曲空間に有効である。
• 有限でアルゴリズム的性質を持つ条件として離散性を定義するため、問題が有限個の二生成子部分群のチェックに還元される。
• G の完全な群構造を分析する必要がなく、代わりに片持ち型要素の力学的挙動と普遍的テスト写像との相互作用に依存する。
• 定理により、部分群の代数的構造と ℱ 双曲空間の境界上での幾何的作用との強い関連性が確立される。