[논문 리뷰] Acylindrical hyperbolicity from actions on CAT(0) cube complexes: a few criteria

Anthony Genevois|arXiv (Cornell University)|2016. 10. 27.

Geometric and Algebraic Topology참고 문헌 24인용 수 6

한 줄 요약

이 논문은 접촉 그래프와 초평면에 대한 작용을 분석하여 CAT(0) 큐브 복합체 위에 작용하는 군의 비균일적으로 약한 초평면적 초평면성의 새로운 기준을 수립한다. 비균일적으로 약한 초평면적 작용이 큐브 복합체에서 초평면에 대해 비균일적으로 약한 작용을 유도함을 증명하고, 외삽형 수축 등급 등급을 초평면 쌍의 기울임을 통해 특성화한다. 핵심 결과는 유한 차원의 CAT(0) 큐브 복합체에서 군이 초평면에 대해 본질적이고 초평면적으로 작용할 경우, 그 군이 초평면적 초평면성 또는 순환인 유한지수 부분군을 가진다는 것이다.

ABSTRACT

The question which motivates the article is the following: given a group acting on a CAT(0) cube complex, how can we prove that it is acylindrically hyperbolic? Keeping this goal in mind, we show a weak acylindricity of the action on the contact graph associated to a CAT(0) cube complex, and we prove a characterisation of WPD contracting isometries of CAT(0) cube complexes. As a first consequence, we find alternative arguments to show several criteria which were proved by Indira Chatterji and Alexandre Martin. Next, we show that if a group acts essentially and acylindrically on the hyperplanes (i.e., the intersection of the stabilisers of two hyperplanes which are sufficiently far away from each other has its cardinality uniformly bounded) on a finite-dimensional CAT(0) cube complex, then it contains a finite-index subgroup which is either acylindrically hyperbolic or cyclic. Finally, we prove a statement about codimension-one subgroups, which implies that, if a group contains a finitely generated codimension-one subgroup which is malnormal and which satisfies the bounded packing property, then this group must contain a finite-index subgroup which is either acylindrically hyperbolic or cyclic.

연구 동기 및 목표

• CAT(0) 큐브 복합체 위에 작용하는 군의 초평면적 초평면성을 증명하기 위한 새로운 기준을 개발하는 것.
• 정점의 안정자만으로는 충분하지 않아 거의 안정자를 제어해야 하는 상황에서 초평면적 초평면성을 증명하는 데 도전하는 것.
• 초평면 기울임을 통한 CAT(0) 큐브 복합체 내 WPD 수축 등급 등급의 특성화.
• 초평면에 대한 작용이 초평면적 초평면성 또는 유한지수 부분군의 가상 순환성을 유도하는 조건을 설정하는 것.
• 기존의 특수 군 클래스에 대한 초평면적 초평면성 결과를 일반화하고, 다른 증명을 제공하는 것.

제안 방법

• 멀리 떨어진 점들의 안정자 교차가 유한한 경우, CAT(0) 큐브 복합체 위에서의 비균일적으로 약한 초평면적 작용의 개념을 도입한다.
• 이러한 작용이 큐브 복합체와 관련된 허브릭스 공간인 접촉 그래프 위에서도 비균일적으로 약한 작용을 유도함을 증명한다.
• CAT(0) 큐브 복합체 내에서 WPD 수축 등급 등급은 잘 분리된 초평면 쌍을 기울이는 것과 동치이다.
• 코드미니언-원 부분군의 유한 높이와 밀도 성질을 사용하여 초평면 안정자 교차를 제어한다.
• 부분군 지수에 관한 군론적 보조정리를 적용하여 먼 초평면의 안정자 교차 크기를 제한한다.
• 안정자 교차의 유한성 조건을 유도하여 초평면에서의 초평면성과 초평면적 초평면성 또는 가상 순환성을 도출한다.

실험 결과

연구 질문

• RQ1 CAT(0) 큐브 복합체 위의 작용이 그 복합체의 접촉 그래프 위에서 초평면적 작용을 유도하는 조건은 무엇인가?
• RQ2 CAT(0) 큐브 복합체 내에서 로크스도로픽 등급 등급이 접촉 그래프 위의 작용에서 WPD 원소인가?
• RQ3 초평면 안정자에 어떤 조건이 성립하면 군 작용이 초평면에서 초평면적으로 작용하는가?
• RQ4 초평면에서 본질적이고 초평면적으로 작용하는 군의 경우, 그 군의 유한지수 부분군이 초평면적 초평면성 또는 순환임을 보일 수 있는가?
• RQ5 한정된 밀도를 가진 정규 부분군이면서 유한 생성된 코드미니언-원 부분군이 존재할 경우, 초평면적 초평면성 또는 가상 순환성을 유도하는가?

주요 결과

• CAT(0) 큐브 복합체 위에서 비균일적으로 약한 초평면적 작용은 접촉 그래프 위에서 비균일적으로 약한 초평면적 작용을 유도한다.
• 군 원소가 CAT(0) 큐브 복합체 내에서 WPD 수축 등급 등급이 되는 것은 정확히 잘 분리된 초평면 쌍을 기울이는 경우에 한해 성립한다.
• 유한 차원의 CAT(0) 큐브 복합체에서 군이 초평면에 대해 본질적이고 초평면적으로 작용할 경우, 그 군은 초평면적 초평면성 또는 순환인 유한지수 부분군을 가진다.
• 최소 $ n \cdot \dim(X) $개의 다른 초평면으로 분리된 두 초평면의 안정자 교차 크기는 $ (M! \cdot \dim(X)!)^n \cdot N $ 이하로 유계된다. 여기서 $ M $ 은 고정된 초평면 안정자 지수의 상한이며, $ N $ 은 초평면 안정자의 높이의 상한이다.
• 군이 유한 생성되고, 정규 부분군이며, 코드미니언-원 부분군이면서 밀도가 유계일 경우, 그 군은 초평면적 초평면성 또는 순환인 유한지수 부분군을 가진다.
• 증명은 대칭군의 곱에서 부분군 지수에 관한 군론적 보조정리를 사용하여 안정자 교차를 유계화하는 데 의존한다.