[논문 리뷰] The non-amenability of Schreier graphs for infinite index quasiconvex subgroups of hyperbolic groups

Ilya Kapovich|ArXiv.org|2002. 01. 10.

Geometric and Algebraic Topology참고 문헌 60인용 수 15

한 줄 요약

이 논문은 비원소적 하이퍼볼릭 군 내에서 무한 지수의 쿼어시스컨벡스 부분군의 슈라이어 코스레 그래프가 비암아니하다는 것을 증명한다. 기하군론 기법을 사용하여, 쿼어지오데식 추적, 쿼어시스컨벡스성, 그리고 코어지게 분리성 등을 적용함으로써, 이러한 그래프가 양의 체이저 상수와 1보다 작은 스펙트럴 반경을 가지며, 이는 랜덤 워크의 비재귀성과 관련된다. 핵심 기여는 하이퍼볼릭 환경에서 상대 케일리 그래프에 대한 구조적 비암아노니모이티 결과이다.

ABSTRACT

We show that if $H$ is a quasiconvex subgroup of infinite index in a non-elementary hyperbolic group $G$ then the Schreier coset graph $X$ for $G$ relative to $H$ is non-amenable (that is, $X$ has positive Cheeger constant). We present some corollaries regading the Martin boundary and Martin compactification of $X$ and the co-growth of $H$ in $G$.

연구 동기 및 목표

• 비원소적 하이퍼볼릭 군 내에서 무한 지수의 쿼어시스컨벡스 부분군과 관련된 슈라이어 코스레 그래프의 비암아노니모이티를 확립하기.
• 하이퍼볼릭 군론에서 상대 케일리 그래프의 확률적 및 기하적 성질에 대한 이해를 확장하기.
• 쿼지오데식, 쿼어시스컨벡스성, 그리고 코어지게 분리성을 사용한 기하적 증명을 통해 Følner 수열의 존재를 배제하기.
• 이러한 그래프가 비재귀적인 랜덤 워크를 지니며, 마틴 경계가 하이퍼볼릭 경계와 위상동형임을 보여주기.

제안 방법

• 쿼어시스컨벡스 부분군 H와 코어지게 분리된 무한 순환 부분군 L = ⟨c⟩의 원소를 사용하여 쿼지오데식 단어의 수열을 구성하기.
• N-국소 쿼지오데식 성질을 사용하여, G의 케일리 그래프에서 생성된 단어들이 균일하게 쿼지오데식임을 보장하기.
• (H, L)1 < ∞ 조건과 쿼어시스컨벡스성을 적용하여, 기하선과 부분경로 사이의 하우스도르프 거리를 제어하기.
• 기하선 사각형 내에서 겹치는 세그먼트의 존재를 근거로 한 모순 증명을 통해 H와 L이 코어지게 분리되어 있음을 보여주기.
• 케일리 그래프의 하이퍼볼릭성과 안코나 정리를 적용하여 비암아노니모이티와 마틴 경계의 구조를 연결하기.
• 단어 연결이 쿼지오데식을 유지하고 생성된 부분군이 비자명하게 유지되도록 상수 M′, C′, λ′를 고정하기.

실험 결과

연구 질문

• RQ1 비원소적 하이퍼볼릭 군 내에서 무한 지수의 쿼어시스컨벡스 부분군의 슈라이어 코스레 그래프는 비암아노니머인가?
• RQ2 그러한 그래프의 비암아노니모이티는 군 코hom로지에 의존하지 않고 기하군론 기법을 통해 증명될 수 있는가?
• RQ3 코어지게 분리성과 상대 케일리 그래프의 비암아노니모이티 사이의 관계는 무엇인가?
• RQ4 주변 군의 하이퍼볼릭성은 상대 그래프의 비암아노니모이티와 어떻게 상호작용하는가?
• RQ5 이러한 그래프 위에서의 랜덤 워크는 하이퍼볼릭 경계로 얼마나 잘 수렴하는가?

주요 결과

• 비원소적 하이퍼볼릭 군 G의 무한 지수 쿼어시스컨벡스 부분군 H에 대해 슈라이어 코스레 그래프 Γ(G, H, A)는 양의 체이저 상수를 지니므로 비암아노니머이다.
• Γ(G, H, A) 위에서의 단순 랜덤 워크의 스펙트럴 반경은 1보다 작으며, 이는 워크의 비재귀성을 확인한다.
• Γ(G, H, A) 위에서의 랜덤 워크의 마틴 경계는 하이퍼볼릭 경계 ∂X와 위상동형이며, 마틴 컴actsification은 하이퍼볼릭 컴actsification과 일치한다.
• 자유 부분군 F = ⟨a, b⟩에서 비자명한 원소 f에 대해, 단어 길이 |f|A는 λ′2+1 / λ′ − λ′ > 0를 초과하며, 이는 F가 순위 2의 자유군임을 보장한다.
• 부분군 F = ⟨a, b⟩는 G에서 쿼어시스컨벡스이다. 왜냐하면 기하선 [1, f] 위의 모든 점이 F의 어떤 원소의 유일한 유계 이웃에 포함되기 때문이다.
• 증명 중 모순은 H와 ⟨c⟩가 코어지게 분리되어 있지 않다고 가정했을 때 발생하며, 이는 H ∩ g⟨c⟩g−1 내에 비자명한 원소가 존재하게 하여 코어지게 분리 가정을 위반한다.