[논문 리뷰] Hyperbolically embedded virtually free subgroups of relatively hyperbolic groups

Yoshifumi Matsuda, Shin-ichi Oguni외 1명|arXiv (Cornell University)|2011. 09. 13.

Geometric and Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 어떤 비-유한 순환군이 적절한 진부분군의 가족에 대해 쌍곡임일 때, 동일한 가족에 대해 상대적으로 쌍곡적으로 통합된 유한 생성, 유한 순환 비아벨 자유부분군을 포함함을 증명한다. 증명은 상대적 쌍곡성 설정에서 부분군 구성과 함께 강한 상대적 비틀림과 거의 정규성 기준을 결합하며, 비순환 쌍곡군에서의 준연결 및 정규 자유부분군에 대한 기존 결과를 일반화한다.

ABSTRACT

We show that if a group is not virtually cyclic and is hyperbolic relative to a family of proper subgroups, then it has a hyperbolically embedded subgroup which contains a finitely generated non-abelian free group as a finite index subgroup.

연구 동기 및 목표

• 상대적 쌍곡군이지만 유한 순환군이 아닌 경우에 대해, 상대적으로 쌍곡적으로 통합된, 유한 생성, 유한 순환 비아벨 자유부분군의 존재를 확립하는 것.
• 비순환 쌍곡군에서 정규 및 준연결 자유부분군에 대한 기존 결과를 상대적 쌍곡 설정으로 일반화하는 것.
• 기존의 강한 준연결 부분군 결과를 활용하여, 강한 상대적 비틀림과 거의 정규성 조건을 통해 이러한 부분군을 특성화하는 것.
• 이중 코셋 분석과 부분군 교차 제어를 통해 이러한 부분군을 구성적으로 통합하는 방법을 제공하는 것.

제안 방법

• 상대적 쌍곡 부분군은 정확히 주변 군에서 주변 가족에 대해 강하게 비틀림이 있고 거의 정규인 경우임을 오신의 특성화를 활용한다.
• 정리 2.5를 적용하여, 주변 가족에 대해 강한 준연결 부분군은 강하게 비틀림이 있음을 보인다.
• 군 $ G $의 강한 준연결 부분군 $ M $ 내부에 유한 생성, 유한 순환 비아벨 자유부분군 $ V $를 구성하며, $ V $ 가 $ M $ 에서 거의 정규임을 보장한다.
• 유한 개의 이중 코셋 $ Mg_lM $ 에 대해 $ mVm^{-1} \cap M_l $ 의 교차를 제어하여, $ G $ 에서 거의 정규성을 유지하기 위해 유한성을 확보한다.
• $ M $ 이 $ \mathbb{K} $ 에 대해 강하게 준연결이므로, $ V $ 는 $ G $ 에서 강한 상대적 비틀림을 상속받는다.
• [8, 정리 1.6] 및 [8, 보조정리 8.7] 을 적용하여, 무한 교차를 갖는 이중 코셋의 수를 제어하고, 코너 조건 하에서 유한 교차를 보장한다.

실험 결과

연구 질문

• RQ1 모든 비-유한 순환 군이 진부분군의 가족에 대해 상대적으로 쌍곡일 때, 상대적으로 쌍곡적으로 통합된, 유한 생성, 유한 순환 비아벨 자유부분군을 포함하는가?
• RQ2 강한 상대적 비틀림과 거의 정규성 기준을 사용하여 이러한 부분군의 존재를 확립할 수 있는가?
• RQ3 주변 상대 쌍곡 군에서 자유부분군의 코너 조건의 교차 구조를 어떻게 제어하여 거의 정규성을 보장할 수 있는가?
• RQ4 비순환 쌍곡군의 경우, 랭크가 2인 자유부분군을 상대적으로 쌍곡적으로 통합할 수 있도록 결과를 강화할 수 있는가?
• RQ5 무한 교차를 갖는 이중 코셋은 거의 정규성을 방해하는 데 어떤 역할을 하는가? 그리고 이러한 것을 체계적으로 제거할 수 있는가?

주요 결과

• 모든 비-유한 순환 군 $ G $ 가 진부분군의 가족 $ \mathbb{K} $ 에 대해 상대적으로 쌍곡일 때, $ G $ 에 대해 $ \mathbb{K} $ 와 함께 상대적으로 쌍곡적으로 통합된 유한 생성, 유한 순환 비아벨 자유부분군 $ V $ 가 존재한다.
• 부분군 $ V $ 는 강한 준연결 부분군 $ M $ 의 유한 지수 부분군으로 구성되며, 이로 인해 $ G $ 에서 강한 상대적 비틀림을 확보한다.
• 유한 개의 이중 코셋에서의 유한 교차 조건을 통해 $ M $ 의 코너 조건에 대한 교차를 제어함으로써, $ G $ 에서 $ V $ 가 거의 정규임을 보장한다.
• 비순환 $ G $ 의 경우, 결과로는 랭크가 2인 자유부분군이 $ \mathbb{K} $ 와 함께 $ G $ 에 대해 상대적으로 쌍곡적으로 통합되며, 이는 이전 결과를 향상시킨다.
• 무한 교차를 갖는 이중 코셋 $ MgM $ 의 유한성에 기반하며, 이러한 교차가 $ M $ 에서 유한 지수인 경우 유한 개의 $ g $ 에 대해서만 발생함을 이용한다.
• 최종 부분군 $ V $ 는 두 조건—강한 상대적 비틀림과 거의 정규성—을 모두 만족하므로, 정리 2.3에 의해 $ G $ 에 대해 상대적으로 쌍곡적으로 통합된다.