[논문 리뷰] Relative hyperbolicity, classifying spaces, and lower algebraic K-theory

Jean‐François Lafont, Ivonne Johanna Ortiz|arXiv (Cornell University)|2006. 06. 19.

Geometric and Algebraic Topology참고 문헌 16인용 수 8

한 줄 요약

이 논문은 코xeter 군 $\Gamma_3$의 유한부분군의 가족에 대한 분류 공간 $E_{\mathcal{V}\mathcal{C}}(\Gamma_3)$를 구축한다. $\Gamma_3$는 $SO(3,1)$의 비균일 격자이며, 상대적 히퍼볼릭성과 Bass-Serre 이론을 사용하여 최대의 무한한 유한부분군을 분류하고, $\mathbb{Z}\Gamma_3$의 하부 대수적 $K$-이론을 계산한다. 이 분야에서 처음으로 관련 월드하우젠 닐군을 명시적으로 규명한다.

ABSTRACT

For $Γ$ a relatively hyperbolic group, we construct a model for the universal space among $Γ$-spaces with isotropy on the family VC of virtually cyclic subgroups of $Γ$. We provide a recipe for identifying the maximal infinite virtually cyclic subgroups of Coxeter groups which are lattices in $O^+(n,1)= \iso(\mathbb H^n)$. We use the information we obtain to explicitly compute the lower algebraic K-theory of the Coxeter group $\gt$ (a non-uniform lattice in $O^+(3,1)$). Part of this computation involves calculating certain Waldhausen Nil-groups for $\mathbb Z[D_2]$, $\mathbb Z[D_3]$.

연구 동기 및 목표

• 상대적 히퍼볼릭 군에 대해, 유한부분군의 가족 $\mathcal{V}\mathcal{C}$ 에 대한 이sov트로피를 갖는 유일한 $\Gamma$-공간에 대한 기하적 모델을 구축하는 것.
• 특히 $\Gamma_3 \subset SO(3,1)$ 에 대해, $SO(n,1)$ 에서 격자로 작용하는 코xeter 군의 최대의 무한한 유한부분군을 분류하는 것.
• 구축된 분류 공간과 파레일-존슨 동형성 추측을 사용하여 $\mathbb{Z}\Gamma_3$ 의 하부 대수적 $K$-이론을 계산하는 것.
• 분류 공간을 사용하여 $\tilde{K}_0(\mathbb{Z}\Gamma_3)$ 와 $Wh(\Gamma_3)$ 에 나타나는 월드하우젠 닐군을 명시적으로 규명하는 것.

제안 방법

• 상대적 히퍼볼릭 군의 경우, 알려진 $E_{\mathcal{F}\mathcal{I}\mathcal{N}}(\Gamma)$ 모델로부터 $E_{\mathcal{V}\mathcal{C}}(\Gamma)$ 를 구성하기 위해 적응된 가족 구성 기법을 사용하는 것.
• 상대적 히퍼볼릭 군에서 Dahmani 의 $E_{\mathcal{F}\mathcal{I}\mathcal{N}}(\Gamma)$ 모델을 활용하여 $\mathcal{V}\mathcal{C}$ 를 위한 분류 공간을 구축하는 것.
• $\Gamma_3$ 작용 하에서 $\mathbb{H}^3$ 의 지오데식을 유형 I, II, III로 분류하여 안정화자를 분석하고 그 동형 유형을 규명하는 것.
• Bass-Serre 이론을 사용하여 유형 I 지오데식의 안정화자를 분석하는 것. 이는 II 및 III 유형에 사용된 짧은 정규열 접근법에 비해 적용되지 않는 경우이므로 별도의 분석이 필요하다.
• 파레일-존슨 동형성 추측을 활용하여, 구축된 $E_{\mathcal{V}\mathcal{C}}(\Gamma_3)$ 에서 등변호모로지 계산으로 하부 $K$-군의 계산을 줄이는 것.
• F.T. 파레일이 제안한 기법을 사용하여 $\mathbb{Z}[D_2]$ 와 $\mathbb{Z}[D_3]$ 의 월드하우젠 닐군을 명시적으로 계산함으로써, $\tilde{K}_0(\mathbb{Z}\Gamma_3)$ 와 $Wh(\Gamma_3)$ 의 완전한 계산을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 상대적 히퍼볼릭 군에서 유한부분군의 가족에 대한 분류 공간을 어떻게 구축할 수 있는가?
• RQ2 $SO(n,1)$ 에서 격자로 작용하는 코xeter 군의 최대의 무한한 유한부분군의 구조는 어떠한가?
• RQ3 $\Gamma_3$ 가 $SO(3,1)$ 의 비균일 격자일 때, 정수 군환 $\mathbb{Z}\Gamma_3$ 의 하부 대수적 $K$-이론은 무엇인가?
• RQ4 $\Gamma_3$ 의 $K$-이론에서 어떤 월드하우젠 닐군이 나타나며, 어떻게 명시적으로 계산할 수 있는가?

주요 결과

• 논문은 $\Gamma_3$ 의 유한부분군의 가족에 대해 8차원의 분류 공간 $E_{\mathcal{V}\mathcal{C}}(\Gamma_3)$ 를 구축한다.
• $\Gamma_3$ 의 최대의 무한한 유한부분군은 그들이 안정화하는 지오데식의 유형에 따라 $\mathbb{Z}$, $D_\infty$, $\mathbb{Z} \times \mathbb{Z}/2$, 또는 $D_\infty \times \mathbb{Z}/2$ 로 분류된다.
• 파레일-존슨 동형성 추측을 사용하여 $n \leq -1$ 인 하부 대수적 $K$-이론 군 $K_n(\mathbb{Z}\Gamma_3)$ 가 명시적으로 계산된다.
• $\tilde{K}_0(\mathbb{Z}\Gamma_3)$ 와 웨이트헤드 군 $Wh(\Gamma_3)$ 는 계산되었으며, $\mathbb{Z}[D_2]$ 와 $\mathbb{Z}[D_3]$ 의 월드하우젠 닐군을 포함하고 있음이 밝혀졌다.
• 이 논문은 $\mathbb{Z}[D_2]$ 와 $\mathbb{Z}[D_3]$ 에 대한 월드하우젠 닐군의 첫 번째 명시적 계산을 제공하여, $K$-이론 계산의 핵심 요소를 해결한다.
• 이 작업는 비자명한 닐군을 갖는 단순군의 부분군에서 하부 대수적 $K$-이론을 완전히 계산한 최초의 사례이다.