[논문 리뷰] Infinitely presented graphical small cancellation groups are acylindrically hyperbolic

Dominik Gruber, Alessandro Sisto|arXiv (Cornell University)|2014. 08. 19.

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

한 줄 요약

이 논문은 무한히 표현된 그래픽스 Gr(7)-소작군 군이 액실린드릭하게 하이퍼볼릭함을 증명하며, 이는 고전적 C(7) 및 C′(1/6)-군으로 확장된다. 저자들은 케일리 그래프에 대해 콘잉 오프(coning-off)를 적용하여 하이퍼볼릭 공간을 구성하고, 기하군론 기법을 사용해 액실린드릭 하이퍼볼릭성을 확립한다. 이로 인해 기묘한 발산 함수와 비상대적 하이퍼볼릭 구조를 갖는 새로운 군의 예가 도출된다.

ABSTRACT

We prove that infinitely presented graphical $Gr(7)$ small cancellation groups are acylindrically hyperbolic. In particular, infinitely presented classical $C(7)$-groups and, hence, classical $C'(\frac{1}{6})$-groups are acylindrically hyperbolic. We also prove the analogous statements for the larger class of graphical small cancellation presentations over free products. We construct infinitely presented classical $C'(\frac{1}{6})$-groups that provide new examples of divergence functions of groups.

연구 동기 및 목표

• 무한히 표현된 그래픽스 Gr(7)-소작군 군에 대해 액실린드릭 하이퍼볼릭성을 확립하기.
• 결과를 고전적 C(7) 및 C′(1/6)-군으로 확장하여, 이는 그래픽스 표현의 특수한 경우임을 보여주기.
• 초기하적 발산 함수를 갖는 군의 새로운 예를 구성하기, 특히 임의의 초지수함수보다 초월하는 초선형 성장 포함.
• 비퇴화된 하이퍼볼로지컬리 통합된 부분군을 포함하는 유한 생성 비상대적 하이퍼볼릭 군의 존재를 보여주기.
• 모든 유한 생성 무한군을 비퇴화된 하이퍼볼로지컬리 통합된 부분군으로 포함시키는 구성적 방법 제공하기.

제안 방법

• 표호된 그래프 Γ에서 그래픽스 소작군 군 G(Γ)를 정의하며, 이는 닫힌 경로를 따라 읽은 단어가 관계식이 되는 방식이다.
• G(Γ)의 케일리 그래프에 대해 콘잉 오프 구조를 적용하여 G(Γ)-작용이 있는 하이퍼볼릭 공간 Y를 생성한다.
• 임베딩된 사이클 그래프의 교차 패턴을 분석하여 액실린드릭 하이퍼볼릭성에 대한 기하 기준을 적용한다.
• 명시적인 경로와 사이클을 구성하여 Y 위의 작용이 액실린드릭임과 동시에 비유계 궤도를 가짐을 보인다.
• 상대적 딜란 함수와 다이어그램적 추론을 사용하여 구성된 군 내에서 하이퍼볼로지컬리 통합된 부분군을 검증한다.
• 자유곱 위에서의 소작군 원리를 활용하여 점점 제어된 점근적 및 기하적 성질을 갖는 군을 생성한다.

실험 결과

연구 질문

• RQ1 무한히 표현된 그래픽스 Gr(7)-군은 액실린드릭하게 하이퍼볼릭한가?
• RQ2 유한 생성 군의 발산 함수가 초선형 성장을 보이며, 동시에 임의의 초지수함수를 초월할 수 있는가?
• RQ3 모든 유한 생성 무한군은 비상대적 하이퍼볼릭 군 내에서 비퇴화된 하이퍼볼로지컬리 통합된 부분군으로 포함될 수 있는가?
• RQ4 그래픽스 소작군을 통해 구성된 고전적 C′(1/6)-군은 액실린드릭하게 하이퍼볼릭한가?
• RQ5 자유곱 위에서의 소작군을 통해 구성된 군의 기하적 및 점근적 성질은 무엇인가?

주요 결과

• 무한히 표현된 그래픽스 Gr(7)-표기 군은 가상 순환군이 아닐 경우 액실린드릭하게 하이퍼볼릭하다.
• 모든 무한히 표현된 고전적 C(7)-군 및 C′(1/6)-군은 액실린드릭하게 하이퍼볼릭하다.
• 논문은 무한히 표현된 고전적 C′(1/6)-군의 발산 함수가 주어진 임의의 가산 수열의 초지수함수를 초월하는 상한을 갖는 명시적 예를 구성한다.
• 동일한 군은 발산 함수의 하한이 이차다항식에 의해 유계임을 보인다.
• 정리 5.2의 군 G(I)는 어떤 진부분군의 집합에 대해서도 하이퍼볼릭적이지 않다.
• 모든 유한 생성 무한군은 비자명하게 상대적 하이퍼볼릭적이지 않은 유한 생성 군 내에서 비퇴화된 하이퍼볼로지컬리 통합된 부분군으로 포함될 수 있다.