[논문 리뷰] Discreteness Criteria in M\"obius Groups by Test Maps

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

Geometric and Algebraic Topology인용 수 1

한 줄 요약

이 논문은 ℝ, ℂ 또는 ℍ 위의 n차원 하이퍼볼릭 공간에서 작용하는 모비우스 군의 자리스키 밀도 부분군에 대한 이산성 기준을 수립한다. 이는 G의 모든 로크스도로픽 원소 g ∈ G가 고정된 테스트 맵 f ∈ U(n,1; ℱ)와 함께 생성하는 두 생성자 부분군 ⟨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차원 하이퍼볼릭 공간에서 작용하는 모비우스 군의 자리스키 밀도 부분군에 대한 이산성의 충분조건을 수립하는 것.
• 어떤 진부분 전체 지그레틱 부분공간도 보존하지 않거나 경계점도 고정하지 않는 부분군에서 이산성을 검증하는 데의 과제를 다루는 것.
• 유한생성 조건을 이용해 이산성을 검증할 수 있도록 하는 테스트 맵 접근법을 도입하는 것.
• 두 번째 생성자가 부분군 G에 속해 있어야 한다는 기존 기준을 완화함으로써 기존 이산성 기준을 일반화하는 것.

제안 방법

• G ≤ U(n,1; ℱ)를 자리스키 밀도 부분군이라 정의한다. 이는 ℱ-하이퍼볼릭 공간의 폐포에서 점을 고정하지 않으며, 어떤 진부분 전체 지그레틱 부분공간도 보존하지 않는 경우를 의미한다.
• G에 속해 있지 않아도 되는 고정된 테스트 맵 f ∈ U(n,1; ℱ)를 도입하여, 이산성 검증을 위한 기준 원소로 사용한다.
• 모든 로크스도로픽 원소 g ∈ G에 대해 ⟨f, g⟩가 이산적이라는 조건을 G의 이산성에 대한 핵심 기준으로 사용한다.
• ℱ-하이퍼볼릭 공간의 등장사상군의 맥락에서 군론적 및 기하적 기법을 적용하여 두 생성자 부분군의 역학을 분석한다.
• U(n,1; ℱ)가 n차원 ℱ-하이퍼볼릭 공간의 등장사상군으로서의 구조를 활용하여 부분군의 대수적 성질과 기하적 작용 간의 관계를 규명한다.
• 로크스도로픽 원소가 잘 정의된 이동축과 노스-서스 다이내믹스를 가지므로, 경계에서의 작용을 통해 분석이 가능하다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 자리스키 밀도 부분군 G ≤ U(n,1; ℱ)의 이산성이, 로크스도로픽 원소 g ∈ G에 대해 단지 두 생성자 부분군 ⟨f, g⟩만을 검토함으로써 어떻게 결정될 수 있는가?
• RQ2 G에 속하지 않는 고정된 테스트 맵 f ∈ U(n,1; ℱ)가 G의 이산성을 검증하는 데 있어 일반 도구로 기능할 수 있는가?
• RQ3 모든 이러한 두 생성자 부분군 ⟨f, g⟩의 이산성이 전체 자리스키 밀도 부분군 G의 이산성으로 이어지는가?
• RQ4 자리스키 밀도 조건이 이산성 맥락에서 로크스도로픽 원소의 기하적 행동과 어떻게 상호작용하는가?
• RQ5 테스트 맵 방법은 고계수 모비우스 군에서 이산성 검증의 복잡성을 어느 정도 줄일 수 있는가?

주요 결과

• 자리스키 밀도 부분군 G ≤ U(n,1; ℱ)는 모든 로크스도로픽 원소 g ∈ G가 고정된 테스트 맵 f ∈ U(n,1; ℱ)와 함께 생성하는 두 생성자 부분군 ⟨f, g⟩가 이산적이라면, 그리고 오직 그 경우에만 이산적이다.
• 테스트 맵 f는 G에 속해 있을 필요가 없으며, 이는 기준의 적용 범위를 크게 확장한다.
• 이 기준은 ℝⁿ⁺¹, ℂⁿ⁺¹ 및 ℍⁿ⁺¹ 전역에서 동일하게 적용되므로, 모든 고전적 하이퍼볼릭 공간에 대해 유효하다.
• 이 결과는 유한하고 알고리즘 유형의 조건을 제공한다. 이는 문제를 유한 개의 두 생성자 부분군 검토로 환원하기 때문이다.
• 이 방법은 G의 전체 군 구조를 분석할 필요 없이, 로크스도로픽 원소의 역학과 보편적 테스트 맵과의 상호작용에 의존하므로, 복잡도를 줄인다.
• 정리에 의해 부분군의 대수적 구조와 ℱ-하이퍼볼릭 공간 경계에서의 기하적 작용 간의 강력한 연결 고리가 확립된다.