[논문 리뷰] The geometry of relative Cayley graphs for subgroups of hyperbolic groups

Ilya Kapovich|arXiv (Cornell University)|2002. 01. 07.

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

한 줄 요약

이 논문은 G가 단어-하이퍼볼릭 군이고 H가 G의 쿼드라컨벡스 부분군일 때, 상대 카일리 그래프 Γ(G/H, A)가 고모프-하이퍼볼릭임을 증명한다. 정규 이중 트리의 준등거리 임bedding을 상대 카일리 그래프에 사용하여, H가 G에 대해 무한 차수일 경우 간단한 랜덤 워크 하에서 그래프가 전이적임을 입증한다. 이 결과는 그로모프의 주장과 일치하며, 하이퍼볼릭 군 내 부분군의 기하학적 및 확률론적 구조에 대한 이해를 확장한다.

ABSTRACT

We show that if H is a quasiconvex subgroup of a hyperbolic group G then the relative Cayley graph Y (also known as the Schreier coset graph) for G/H is Gromov-hyperbolic. We also observe that in this situation if G is torsion-free and non-elementary and H has infinite index in G then the simple random walk on Y is transient.

연구 동기 및 목표

• 단어-하이퍼볼릭 군 G의 쿼드라컨벡스 부분군 H에 대해 상대 카일리 그래프 Γ(G/H, A)의 하이퍼볼릭성을 확립하는 것.
• H가 G에 대해 무한 차수일 경우 상대 카일리 그래프에서 단순 랜덤 워크의 확률적 행동을 조사하는 것.
• 코셋 그래프의 기하학적 및 위상수학적 성질, 특히 끝점과 부분군 분리성과의 관계를 명확히 하는 것.
• 상대 카일리 그래프의 하이퍼볼릭성을 상대 하이퍼볼릭성 개념에 의존하지 않고도 엄밀하게 기초화하는 것, 그로모프의 작업에서의 주장에 답하는 것.

제안 방법

• G의 표현 복합체에 대응하는 커버링 공간의 1-스켈레톤으로서 상대 카일리 그래프 Γ(G/H, A)를 구성한다.
• 쿼드라컨벡스 부분군이 G에 준등거리로 임베딩됨을 이용하여, Γ(G, A)의 거리와 Γ(G/H, A)의 거리 간의 관계를 설정한다.
• H2 = H ∗ F(a,b)의 자유곱 구조를 이용하여, 정규 이중 트리를 상대 카일리 그래프 Y = Γ(G/H, A)에 준등거리로 임베딩한다.
• 정규 트리에서의 랜덤 워크의 전이성과 준등거리 불변성을 활용하여, Y의 전이성을 유도한다.
• 아르잔체바의 결과를 활용하여, H와 자유곱을 이루는 원소들을 구성한다.
• 어휘-거리 추정과 지오데식 비교를 통해, G의 어휘-거리와 F(a,b)의 자유 기저 거리로 Y의 거리를 유계화한다.

실험 결과

연구 질문

• RQ1 H가 단어-하이퍼볼릭 군 G의 쿼드라컨벡스 부분군일 때, 상대 카일리 그래프 Γ(G/H, A)는 하이퍼볼릭인가?
• RQ2 간단한 랜덤 워크가 Γ(G/H, A)에서 언제 전이적인가?
• RQ3 Γ(G/H, A)의 기하학은 H의 G에 대한 인덱스와 구조와 어떻게 관련되는가?
• RQ4 상대 카일리 그래프의 하이퍼볼릭성은 상대 하이퍼볼릭성 개념에 의존하지 않고 독립적으로 증명될 수 있는가?
• RQ5 자유 부분군은 상대 카일리 그래프에서 전이성을 유도하는 데 어떤 역할을 하는가?

주요 결과

• H가 단어-하이퍼볼릭 군 G의 쿼드라컨벡스 부분군일 때, 항상 상대 카일리 그래프 Γ(G/H, A)는 고모프-하이퍼볼릭이다.
• G가 토르션-프리, 비원소적이고 H가 G에 대해 무한 차수일 경우, Γ(G/H, A)에서의 단순 랜덤 워크는 전이적이다.
• H가 무한 차수일 경우, 상대 카일리 그래프 Γ(G/H, A)는 준등거리로 임베딩된 정규 이중 트리를 포함한다.
• 상대 카일리 그래프는 표준 어휘-거리로 자유군 F(a,b)를 준등거리로 임베딩할 수 있으며, 거리는 균일 상수 내에서 유지된다.
• 상대 카일리 그래프의 전이성은 임베딩된 트리의 전이성과 준등거리 불변성에 기반한다.
• 이 결과는 그로모프의 1987년 책에서 증명 없이 제기된 주장과 일치하며, 엄밀한 증명을 제공하고 그 적용 범위를 확장한다.