[논문 리뷰] On Residualizing Homomorphisms Preserving Quasiconvexity

Ashot Minasyan|ArXiv.org|2004. 06. 07.

Geometric and Algebraic Topology참고 문헌 7인용 수 5

한 줄 요약

이 논문은 비원소적 히퍼볼릭 군 $ G $ 내의 $ G $-부분군에 대해 A. 올샤노프스키의 잔여화 호모모르피즘에 대한 작업을 확장하며, 유한 부분집합 조건을 준경도성으로 대체함으로써, $ G $-부분군이 있는 비원소적 히퍼볼릭 군 $ G $ 에서, 순서가 없는 비원소적 히퍼볼릭 몫 $ G_1 $ 이 존재함을 증명한다. 이 몫에서는 준경도 부분집합 $ Q $ 가 등급을 유지하며, 부분군 $ H_i $ 는 전사적으로 사상되고, 쌍대화 및 중심화자 구조가 유지된다.

ABSTRACT

$H$ is called a $G$-subgroup of a hyperbolic group $G$ if for any finite subset $M\subset G$ there exists a homomorphism from $G$ onto a non-elementary hyperbolic group $G_1$ that is surjective on $H$ and injective on $M$. In his paper in 1993 A. Ol'shanskii gave a description of all $G$-subgroups in any given non-elementary hyperbolic group $G$. Here we show that for the same class of $G$-subgroups the finiteness assumption on $M$ (under certain natural conditions) can be replaced by an assumption of quasiconvexity.

연구 동기 및 목표

• G-부분군에 대한 올샤노프스키의 잔여화 결과를 유한 부분집합 조건에서 준경도성 조건으로 일반화하기.
• 히퍼볼릭 군 $ G $ 내의 준경도 부분집합 $ Q $ 가 몫 호모모르피즘 $ \phi: G \to G_1 $ 에서 등급을 유지할 수 있는 조건을 설정하기.
• 몫 $ G_1 $ 이 순서 없고 비원소적, 순서 없는 히퍼볼릭 군으로 남아 있도록 하되, 핵심 대수적 및 기하적 구조를 유지하기.
• 호모모르피즘 $ \phi $ 에서 $ Q $ 의 이미지가 등급이고 준경도임을 증명하고, 쌍대화 및 중심화자 데이터가 유지됨을 보장하기.
• $ \phi $ 가 유한 순서 원소의 쌍대화 클래스에 대해 전단사 사상임을 보이고, 최대 원소 부분군의 구조 $ E(G_1) = \phi(E(G)) $ 가 유지됨을 보장하기.

제안 방법

• 부분집합 $ Q $ 의 준경도성과 조건 $ H_i \not\subseteq P_1 Q^{-1} Q P_2 $ 를 이용하여 몫에서의 왜곡을 제어하기.
• HNN 확장을 사용하고, 히퍼볼릭 군의 시퀀스 $ G_i $ 의 극한으로 순서 없는 비원소적 히퍼볼릭 군 $ M $ 을 구성하기.
• 올샤노프스키의 [16] 에서 제시된 잔여화 호모모르피즘과 정규부분군 기법을 활용하여, $ H_i $ 에서의 전사성과 $ Q $ 에서의 단사성을 확보하기.
• 히퍼볼릭 군 내에서 준재구조는 준경도임을 이용하여 부분군의 구조적 제어를 확보하기.
• $ \psi_i: F_i \to G_i $ 의 에피모르피즘 시퀀스를 구성하여, $ \psi_i(H \cup \langle x \rangle) $ 가 $ G_i $ 내에서 정규부분군이면서 준경도로 유지되도록 하기.
• 유도 극한 $ M = \lim_{\to}(G_i, \psi_{i+1}) $ 가 단순하고 순서 없고 비원소적 히퍼볼릭 군이며, $ \pi(H) $ 가 정규부분군이고 모든 적절한 부분군이 $ \pi(H) $ 에 쌍대화됨을 증명하기.

실험 결과

연구 질문

• RQ1 올샤노프스키의 잔여화 정리에서 유한 부분집합 조건을 준경도성 조건으로 대체할 수 있을까? 이 경우 몫의 구조 제어가 유지되는가?
• RQ2 히퍼볼릭 군 $ G $ 내의 준경도 부분집합 $ Q $ 가 등급과 준경도성을 유지하는 몫 호모모르피즘 $ \phi: G \to G_1 $ 를 갖는 조건은 무엇인가?
• RQ3 이러한 몫에서 $ Q $ 내 원소들의 쌍대화 및 중심화자 구조는 어떻게 유지되는가?
• RQ4 몫 군 $ G_1 $ 이 순서 없고, $ G $-부분군 $ H_i $ 에서의 전사성과 최대 원소 부분군 $ E(G_1) = \phi(E(G)) $ 를 유지하면서도 순서 없이 유지될 수 있는가?
• RQ5 비원소적 부분군 $ H_i' $ 의 이미지가 $ G_1 $ 내에서 비원소적임을 보장할 수 있는 조건은 무엇이며, 유한 순서 원소의 쌍대화 클래스의 구조는 어떻게 유지되는가?

주요 결과

• 비원소적 히퍼볼릭 군 $ G $ 내의 유한 개의 $ G $-부분군 $ H_1, \dots, H_k $ 과, 각 $ H_i $ 에 대해 작게 정의된 $ \eta $-준경도 부분집합 $ Q $ 가 주어지면, 순서 없는 비원소적 히퍼볼릭 몰입 $ G_1 $ 이 존재한다.
• $ \phi: G \to G_1 $ 는 $ Q $ 에서 등급이므로, $ \phi(Q) $ 는 $ Q $ 와 등급이며, $ Q $ 의 임의의 준경도 부분집합 $ S \subseteq Q $ 에 대해 $ \phi(S) $ 는 준경도이다.
• 호모모르피즘 $ \phi $ 는 각 $ H_i $ 에서 전사적이므로 $ \phi(H_i) = G_1 $ 이고, $ Q $ 에서 단사적이므로 그 내재 기하학적 성질이 유지된다.
• 원소의 쌍대화는 유지된다: $ \phi(a) $ 와 $ \phi(b) $ 가 $ G_1 $ 내에서 쌍대화되면, $ a $ 와 $ b $ 는 $ G $ 내에서 쌍대화된다.
• $ \phi(a) $ 의 중심화자는 정확히 $ C_G(a) $ 의 이미지이므로 중심화자 구조가 $ \phi $ 에 의해 유지된다.
• 몫 $ G_1 $ 는 $ E(G_1) = \phi(E(G)) $ 를 만족하고, $ G $ 와 $ G_1 $ 의 유한 순서 원소의 쌍대화 클래스 집합에 대해 $ \phi $ 가 전단사 사상임을 보장한다.