[논문 리뷰] A simple criterion for non-relative hyperbolicity and one-endedness of groups

James W. Anderson, Javier Aramayona외 1명|ArXiv.org|2005. 04. 13.

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

한 줄 요약

이 논문은 유한 생성 집합에 대한 군의 가환성 그래프의 연결성을 기반으로 한 조합적 기준을 제시하여, 비강한 상대적 히에르볼릭성과 일끝성(one-endedness)을 동시에 확보한다. 핵심 기여는 두 성질을 동시에 유도하는 통합 조건을 제공하며, 이를 통해 표면의 매핑 클래스 군, 토렐리 군, 자유군의 자기동형군, 3차원 헤이젠베르크 군, 그리고 톰슨의 군 F가 강한 상대적 히에르볼릭성이 아니며 일끝을 가짐을 보여준다.

ABSTRACT

We give a combinatorial criterion that implies both the non-strong relative hyperbolicity and the one-endedness of a finitely generated group. We use this to show that many important classes of groups do not admit a strong relatively hyperbolic group structure and have one end. Applications include surface mapping class groups, the Torelli group, (special) automorphism and outer automorphism groups of most free groups, and the three-dimensional Heisenberg group. Our final application is to Thompson's group F.

연구 동기 및 목표

• 유한 생성 군에서 비강한 상대적 히에르볼릭성과 일끝성을 동시에 판단할 수 있는 통합된 조합적 기준을 수립하는 것.
• 매핑 클래스 군과 자유군의 자기동형군과 같은 중요한 군의 클래스가 강한 상대적 히에르볼릭적 구조를 갖는지 여부라는 열린 문제를 해결하는 것.
• Bass-Serre 이론이나 점근적(cone) 기법에 의존하지 않고 일끝성과 비상대적 히에르볼릭성을 증명하는 새로운 방법을 제공하는 것.
• 특히 기하학적이지 않은 환경에서 랭크 2의 아벨 부분군을 가진 군들에 대해 상대적 히에르볼릭성 기준의 적용 범위를 확장하는 것.
• 톰슨의 군 F에 대해 이전에 이론적으로 증명되지 않았던, 군론적 방법에 기반한 일끝성과 비강한 상대적 히에르볼릭성에 대한 자가 포함된 증명을 제공하는 것.

제안 방법

• 유한 생성 집합 $ S $ 에 대해 군 $ G $ 의 가환성 그래프 $ K(G,S) $ 를 정의한다. 여기서 정점은 생성자이며, 가환하는 쌍 사이에 간선이 연결된다.
• 만약 $ K(G,S) $ 가 연결되어 있다면, $ G $ 는 어떤 유한 개의 진부분군의 집합에 대해서도 강한 히에르볼릭적이지 않음을 증명한다.
• 강한 상대적 히에르볼릭성에서 랭크가 2 이상인 모든 아벨 부분군은 적어도 하나의 주변 부분군에 콘jugate되어야 한다는 사실을 이용한다.
• 두 주변 부분군의 콘jugate가 무한 부분군에서 만난다면, 그 교차를 생성하는 원소들은 동일한 주변 부분군에 속해야 한다는 핵심 정리(정리 3)를 적용한다.
• 다양한 생성자들 사이에서 무한 순서를 가진 가환 원소들이 존재함을 보여, 주변 부분군이 생성자 집합을 포함하게 되어 진부분군 조건을 위반함으로써 모순을 유도한다.
• 자신의 자유곱 분해를 가정하고, 랭크 2의 아벨 부분군의 교차 및 콘jugate 성질을 동일하게 적용하여 일끝성을 증명하기 위해 이론을 응용한다.

실험 결과

연구 질문

• RQ1 군의 생성집합에 대한 가환성 그래프에 대한 단순한 조합적 조건이 비강한 상대적 히에르볼릭성과 일끝성을 동시에 유도할 수 있는가?
• RQ2 표면의 매핑 클래스 군, 토렐리 군, 자유군의 자기동형군이 이 기준으로 인해 강한 상대적 히에르볼릭적 구조를 갖지 못하는가?
• RQ3 톰슨의 군 F는 비강한 상대적 히에르볼릭이며 일끝을 가지며, 이는 점근적 콘 기법에 의존하지 않는 군론적 방법으로 증명될 수 있는가?
• RQ4 랭크 2의 아벨 부분군이 존재할 경우, 강한 상대적 히에르볼릭성 분해에서 가능한 주변 구조에 어떤 제약을 끼치는가?
• RQ5 Bass-Serre 이론이나 위상적 방법에 의존하지 않고, 가환성 그래프의 연결성이 일끝성에 충분한 조건가능한가?

주요 결과

• 유한 생성 집합 $ S $ 에 대해 가환성 그래프 $ K(G,S) $ 가 연결되어 있다면, $ G $ 는 어떤 유한 개의 진부분군의 집합에 대해서도 강한 히에르볼릭적이지 않다.
• 생성률 $ g \geq 3 $ 인 표면의 매핑 클래스 군, 생성률 $ g \geq 3 $ 인 표면의 토렐리 군, 그리고 $ n \geq 5 $ 에 대해 $ \mathbf{F}_n $ 의 자기동형군과 외부 자기동형군은 강한 상대적 히에르볼릭성이 아니며 일끝을 가진다.
• 3차원 헤이젠베르크 군은 강한 상대적 히에르볼릭성이 아니며 일끝을 가지며, $ S = \{a,b,c\} $ 에 대해 가환성 그래프가 연결되어 있고 랭크-2 아벨 부분군을 포함하기 때문이다.
• 톰슨의 군 $ F $ 는 강한 상대적 히에르볼릭성이 아니며 일끝을 가지며, 생성집합 $ S' = \{x_0, x_1, x_2, \dots\} \cup \{x_0x_1^{-1}\} $ 을 사용한 수정된 증명으로, 이에 대한 가환성 그래프는 $ x_0 $ 와 $ x_1 $ 를 제외하고 연결되어 있음을 보여준다.
• 이론은 강한 상대적 히에르볼릭성에서 랭크가 2 이상인 모든 아벨 부분군이 단일 주변 부분군에 콘jugate되어야 한다는 것을 증명하며, 이로 인해 여러 생성자가 동일한 주변 부분군에 포함될 경우 진부분군 조건을 위반하여 모순이 발생한다.
• 이 방법은 비상대적 히에르볼릭성을 증명하는 데 있어 Behrstock, Druţu, Mosher 가 사용한 점근적 콘 기법의 대안이 되며, 풍부한 아벨 부분군을 가진 군들에 직접 적용 가능하다.