[논문 리뷰] Coning-off CAT(0) cube complexes

Anthony Genevois|arXiv (Cornell University)|2016. 03. 21.

Geometric and Algebraic Topology참고 문헌 14인용 수 17

한 줄 요약

이 논문은 조합적 볼록 부분복합체 위에서 CAT(0) 입방 복합체에 대한 콘-오프(cone-off) 작도를 도입하여 그 초구형성(hyperbolicity)을 연구한다. 이는 균일하게 두꺼운 평평한 직사각형들을 콘-오프로 제거함으로써 초구형 공간을 얻는다는 것을 입증하며, 이는 오른쪽-각 코xeter 군의 상대적 초구형성에 대한 새로운 증명과 자유곱의 $C^'(1/4)$-$T(4)$ 소작분 족에 대한 초구형성의 초구형 작용을 제공한다.

ABSTRACT

In this paper, we study the geometry of cone-offs of CAT(0) cube complexes over a family of combinatorially convex subcomplexes, with an emphasis on their Gromov-hyperbolicity. A first application gives a direct cubical proof of the characterization of the (strong) relative hyperbolicity of right-angled Coxeter groups, which is a particular case of a result due to Behrstock, Caprace and Hagen. A second application gives the acylindrical hyperbolicity of $C'(1/4)-T(4)$ small cancellation quotients of free products.

연구 동기 및 목표

• 평평한 직사각형과 초평면 격자 분석을 통해 CAT(0) 입방 복합체가 언제 초구형인지 특성화하는 것.
• 두꺼운 평평한 직사각형을 제거함으로써 비초구형인 입방 복합체를 초구형 공간으로 변환하는 콘-오프 방법을 개발하는 것.
• 입방 기법을 활용하여 오른쪽-각 코xeter 군의 강력한 상대적 초구형성을 재증명하고 개선하는 것.
• 콘-오프와 초구형성 기준을 통해 자유곱의 $C^'(1/4)$-$T(4)$ 소작분 족에 대한 초구형 작용을 확립하는 것.
• 이전 결과보다 더 높은 차원의 입방 복합체에서 약한 초구형 작용을 일반화하여 초구형성과의 관계를 개선하는 것.

제안 방법

• 두 가지 유형의 콘-오프를 정의한다: 하나는 부분복합체 위에서 간선을 추가하는 방식이며, 다른 하나는 각 부분복합체에 대해 새로운 정점들을 추가하는 표준 콘-오프이다.
• L-미세하고 L-두꺼운 평평한 직사각형의 개념을 도입하고, 이들의 균일한 미세함이 복합체의 전반적 초구형성과 관련이 있음을 규명한다.
• 지역 유한성과 부분복합체와의 초평면 교차의 유계성에 기반한 표준 콘-오프가 미세함(fine)이 되는 조건을 설정한다.
• 두꺼운 평평한 직사각형이 콘-오프에서 균일하게 유계이면 초구형성이 달성됨을 콘-오프 작도를 통해 증명한다.
• 접촉 그래프와 초평면 안정자에 초구형성 기준을 적용하여 약한 상대적 초구형성 결과를 도출한다.
• 유한 차원 입방 복합체에서 약한 초구형 작용과 초구형 작용이 동치임을 활용하여 몫의 초구형성을 증명한다.

실험 결과

연구 질문

• RQ1 CAT(0) 입방 복합체가 초구형인 조건은 무엇이며, 평평한 직사각형과 초평면 격자는 이와 어떻게 관련되는가?
• RQ2 조합적 볼록 부분복합체 위에서의 콘-오프 작도가 초구형 공간을 생성할 수 있는가? 이를 보장하는 조건은 무엇인가?
• RQ3 콘-오프 방법을 어떻게 활용하여 오른쪽-각 코xeter 군의 강력한 상대적 초구형성을 재증명할 수 있는가?
• RQ4 자유곱의 소작분 족에 대해 초구형성을 보장하는 조건은 무엇인가?
• RQ5 약한 초구형 작용은 고차원 CAT(0) 입방 복합체로 일반화될 수 있으며, 이는 초구형성과 어떻게 관련되는가?

주요 결과

• CAT(0) 입방 복합체는 평평한 직사각형이 균일하게 미세할 때, 또는 등가로 초평면 격자가 균일하게 미세할 때에만 초구형인다.
• 조합적 볼록 부분복합체 위에서의 콘-오프는 두꺼운 평평한 직사각형이 콘-오프에서 균일하게 유계이면 초구형이 된다.
• 비-$n$-조합적 수축 초평면 위에서의 콘-오프는 초구형 그래프를 생성하며, 이는 허건(Hagen)의 약한 상대적 초구형성 결과를 향상시킨다.
• 오른쪽-각 코xeter 군의 경우, 군은 비수축 초평면의 안정자에 대해 약한 초구형이며, 이는 $C( ilde{ ho}_1 ilde{ ho}_2)$ 또는 유도된 정사각형의 정점 $u$에 대해 $ ext{star}(u)$와 같은 특정 부분군 집합으로까지 확장된다.
• 균일하게 국소 유한한 CAT(0) 입방 복합체의 표준 콘-오프는 부분복합체가 국소 유한하고 초평면 교차가 균일하게 유계일 때에만 미세하다.
• $C^'(1/4)$-$T(4)$ 소작분 족의 자유곱에서 자유곱 길이가 균일하게 유계이면 몫군은 초구형 universal 작용을 가지며, $K_{k,I}$의 예에서 $k \geq 5$일 경우 이러한 군은 초구형이다.