[논문 리뷰] Asymptotic dimension of relatively hyperbolic groups

Denis Osin|ArXiv.org|2004. 11. 25.

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

한 줄 요약

이 논문은 유한 생성된 군이 유한한 부분군들의 집합에 대해 상대적으로 허브리드일 때, 각 부분군이 유한한 점근적 차원을 가진다면, 그 군 자체도 유한한 점근적 차원을 가짐을 증명한다. 증명은 약한 상대적 허브리드성과 기하군론 기법(예: 상대적 지오데식선, 통제된 커버)을 활용하여, 주변 부분군들의 유한한 점근적 차원을 이용해 점근적 차원을 유계화한다.

ABSTRACT

Suppose that a finitely generated group $G$ is hyperbolic relative to a collection of subgroups $\{H_1, ..., H_m\} $. We prove that if each of the subgroups $H_1, ..., H_m$ has finite asymptotic dimension, then asymptotic dimension of $G$ is also finite.

연구 동기 및 목표

• 상대적 허브리드 군이 유한한 점근적 차원을 가질 조건을 규명하는 것.
• 기존의 점근적 차원에 대한 유한성 결과를 상대적 허브리드 군의 범주로 확장하는 것.
• 주변 부분군들의 점근적 차원에 기반한 유한한 점근적 차원에 대한 일반 기준을 설정하는 것.
• 주변 부분군들의 유한한 점근적 차원이 전체 군의 유한한 점근적 차원을 보장함을 보여주는 것—강한 허브리드성 조건을 가정하지 않아도 된다는 점에서.
• 이전 연구에서 사용된 강력한 소나라이제이션 또는 노르마르 조건에 의존하지 않는 방법을 제공하는 것.

제안 방법

• 유한한 상대적 표현과 선형 상대적 면적 유계를 통한 상대적 허브리드성의 정의를 사용한다.
• Cayley 그래프가 $X \cup \mathcal{H}$에 대해 허브리드일 때, 약한 상대적 허브리드성의 개념을 적용한다.
• 환형과 통제된 집합을 이용해 Cayley 그래프 $\Gamma(G, X \cup \mathcal{H})$의 통제된 커버를 구성하여 점근적 차원을 유계화한다.
• 준안정자 추론을 활용한다: 항등원의 $R$-준안정자는 상대 거리에서 반지름 $R$의 구역이다.
• 단어 길이가 생성자 집합 $X$에 대해 기반한 레미마 16을 사용하여 커버에 포함된 집합의 수를 유계화한다.
• 정리 17(약한 허브리드 군의 점근적 차원), 레미마 13(통제된 커버), 레미마 11(준등거리 불변성)을 조합하여 주요 결과를 도출한다.

실험 결과

연구 질문

• RQ1 상대적 허브리드 군이 유한한 점근적 차원을 가질 조건은 무엇인가?
• RQ2 주변 부분군들의 유한한 점근적 차원이 전체 군의 유한한 점근적 차원을 보장할 수 있는가?
• RQ3 강한 상대적 허브리드성 조건이 필수적인가, 아니면 약한 상대적 허브리드성으로도 충분한가?
• RQ4 이 결과는 노르마르 또는 소나라이제이션 조건이 없는 군으로까지 확장될 수 있는가?
• RQ5 유한 생성성과 보편 군의 역할은 점근적 차원에 대한 반례를 구성할 때 어떤가?

주요 결과

• 유한 생성된 군 $G$가 유한한 부분군들의 집합 $\{H_\lambda\}$에 대해 상대적으로 허브리드이고, 각 $H_\lambda$가 유한한 점근적 차원을 가진다면, $\operatorname{asdim} G < \infty$이다.
• 증명은 주변 부분군들이 노르마르이거나 소나라이제이션 조건을 만족시킬 필요가 없으며, 오직 유한한 점근적 차원만 필요하다.
• 이 결과는 다만과 야만의 이전 작업을 일반화한다. 이들은 주변 부분군들이 거의 노르마르여야 했다.
• 그래프 $\Gamma(G, X \cup \mathcal{H})$의 점근적 차원은 $3\mu$로 유계지는데, 여기서 $\mu$는 $X$에서 단어 길이 $\rho$ 이내의 군 원소의 수이다.
• 무한한 점근적 차원을 가진 유한 생성 보편 군에 의한 상승 HNN 확장을 통해 구성된 군은, 모든 $m$에 대해 $\mathbb{Z}^m$의 동형 사상 복사본을 포함하므로 $\operatorname{asdim} G = \infty$이다.
• 유한한 점근적 차원 조건이 날카롭고 제거될 수 없음을 보여주는 반례를 제시한다.