[논문 리뷰] A combination theorem for cubulation in small cancellation theory over free products

Alexandre Martin, Markus Steenbock|arXiv (Cornell University)|2014. 09. 12.

Geometric and Algebraic Topology참고 문헌 26인용 수 12

한 줄 요약

이 논문은 자유곱 위에서의 소작작 이론에서의 큐불레이션을 위한 조합 정리들을 수립하며, 유한 개의 큐불러블 그룹의 자유곱을 $C^\prime(1/6)$ 조건을 만족하는 유한한 관계들로 나눈 몫이 다시 큐불러블임을 증명한다. 저자들은 자유 인자들로부터 온 벽들과 관련된 2차원 군 복합체의 범용 커버로부터 온 벽들을 조합하여 벽공간 구조를 구성함으로써, 주변 부분군에 대한 기하적 제약 조건이 없이도, CAT(0) 큐브 복합체 위에 코어포켓 작용을 하는 것을 확보한다.

ABSTRACT

We prove that a group obtained as a quotient of the free product of finitely many cubulable groups by a finite set of relators satisfying the classical $C'(1/6)$--small cancellation condition is cubulable. This yields a new large class of relatively hyperbolic groups that can be cubulated, and constitutes the first instance of a cubulability theorem for relatively hyperbolic groups which does not require any geometric assumption on the peripheral subgroups besides their cubulability. We do this by constructing appropriate wallspace structures for such groups, by combining walls of the free factors with walls coming from the universal cover of an associated $2$-complex of groups.

연구 동기 및 목표

• 자유곱 위에서의 소작작 이론을 통해 얻어진 그룹의 큐불레이션을 위한 일반적인 조합 정리 개발
• 상대적으로 허브리치 그룹의 큐불러블성 정리에서 주변 부분군에 대한 기하적 가정 제거
• 자유 인자들로부터 온 벽들과 2차원 군 복합체의 범용 커버로부터 온 벽들을 조합하여 이러한 그룹에 대한 명시적 벽공간 구조 구축
• 결과적으로 얻어진 그룹의 이중 CAT(0) 큐브 복합체 위의 작용이 코어포켓임을 입증, 주변 부분군이 허브리치이거나 가상 아벨리안일 필요 없이도 가능

제안 방법

• 소작작 표현과 관련된 2차원 군 복합체의 범용 커버로부터 유도된 벽들과 자유 인자들로부터 온 벽들을 조합하여 벽공간 구조를 구성
• 소작작 조건인 $C^\prime(1/6)$을 이용하여 관련 다각형 복합체의 비양의 곡률을 보장하고 벽의 기하학적 성질을 제어
• 가우스-본넷 정리를 적용하여 정점 및 다각형 곡률을 분석하고, 주어진 각도 배정 조건 하에서 어떤 셀도 음의 곡률을 갖지 않음을 증명
• 하이퍼캐리어의 구조와 그 교차를 활용하여, 복합체 내에서 상호로 교차하는 하이퍼캐리어들이 공통 교차를 갖는다는 것을 보여, 큐불러블성 증명의 핵심 단계 확보
• 하이퍼캐리어를 경계 수형으로에 변형하는 데 이용된 변형 수축을 활용하여, 여러 하이퍼캐리어 교차 내의 경로 교차 및 정점 포함성을 분석
• 결과적으로 얻어진 벽공간 구조가 이중 CAT(0) 큐브 복합체 위에 코어포켓이고 올바른 작용을 유도함을 증명하여, 몫 그룹의 큐불러블성을 확인

실험 결과

연구 질문

• RQ1 자유 인자들로부터 온 벽들과 2차원 군 복합체로부터 온 벽들을 어떻게 조합하여 자유곱 위에서의 소작작으로 얻어진 그룹에 대한 전역적 벽공간 구조를 만들 수 있는가?
• RQ2 주변 부분군에 기하적 제약 조건을 두지 않고도, 큐불러블 그룹의 자유곱의 $C^\prime(1/6)$-소작작 몫에서 큐불러블성이 유지될 수 있는가?
• RQ3 자유 인자들이 큐불러블하지만 반드시 허브리치이거나 가상 아벨리안일 필요는 없는 경우, 결과 그룹이 이중 CAT(0) 큐브 복합체 위에 코어포켓 작용하는가?
• RQ4 $C^\prime(1/6)$ 조건이 관련 다각형 복합체의 곡률, 특히 관계에 관련된 정점에서 비양의 곡률을 어떻게 보장하는가?
• RQ5 복합체 내에서 여러 하이퍼캐리어의 교차가 정점을 포함하기 위한 조건은 무엇인가, 이는 전역적 벽공간 존재를 위한 필수 조건이다.

주요 결과

• 유한 개의 큐불러블 그룹의 자유곱을 $C^\prime(1/6)$-소작작 조건을 만족하는 관계들로 나눈 몫 그룹 $G$ 는 큐불러블이다.
• 자유 인자들이 허브리치이거나 가상 아벨리안일 필요 없이도, 결과적으로 얻어진 복합체 위에 코어포켓 작용이 가능하다.
• 벽공간 구조는 자유 인자들로부터 온 벽들과 2차원 군 복합체의 범용 커버로부터 온 벽들을 조합하여 구성되며, 이는 호환성과 전역 일관성을 보장한다.
• $C^\prime(1/6)$ 조건은 모든 다각형 및 정점 곡률이 음이 아닌 것을 보장하며, 관계에 관련된 정점들만 곡률이 정확히 $\frac{2\pi}{3}$를 가지며, 이는 비양의 곡률과 일치한다.
• 서로 상호로 교차하는 세 하이퍼캐리어의 교차는 정점을 포함한다. 이는 전역적 벽공간 존재를 위한 핵심적인 위상 조건이다.
• 이 방법은 주변 부분군에 대한 강력한 기하적 가정이 없이도, 상대적으로 허브리치 그룹에 대한 큐불러블성 정리를 처음으로 제공한다.