[논문 리뷰] Algebraic K-theory of Geometric Groups

Gunnar Carlsson, Boris Goldfarb|arXiv (Cornell University)|2013. 05. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 44인용 수 7

한 줄 요약

이 논문은 정규 노에터 링에서 유한한 호모로지 차원을 가지며 기하학적으로 유한한 군의 유한한 점근적 차원을 갖는 경우, 대수적 K-이론에서 동형성 추측을 증명한다. 이는 정수 계수 K-이론적 조립 맵이 약한 동치임을 확립하며, 통제된 K-이론과 G-이론 기법을 결합하여 표준 대수적 방법의 한계를 극복한다. 이는 유한한 제어와 코arse 작용을 활용한다.

ABSTRACT

In this paper we introduce a homotopy theoretic technique for proving that the $K$-theoretic assembly map is an equivalence. It is an extension of the methods used to prove split injectivity of the assembly and applies to any geometrically finite group. Our result is that there are two requirements which need to hold. The first is that the assembly map for the group regarded as a metric space is an equivalence. This is a non-equivariant condition and depends only on the coarse type of the word metric on the group. The second is that the group ring satisfies an algebraic coherence condition, which currently can be verified for all known groups for which the split injectivity statement for the assembly holds. The two conditions extend very broadly. In particular, both conditions hold for groups of finite asymptotic dimension. To state the main theorem precisely, given a regular Noetherian ring $A$ of finite global dimension and a group $Γ$ with finite $K(Γ,1)$ and finite asymptotic dimension, we prove that the $K$-theoretic assembly map is an equivalence. Therefore, in all dimensions the $K$-theory of $A[Γ]$ is the group homology of $Γ$ with coefficients in the $K$-theory spectrum of $A$. One of the many geometric consequences of this theorem is vanishing of the Whitehead group of $Γ$.

연구 동기 및 목표

• 넓은 범위의 군환에 대해 대수적 K-이론에서의 동형성 추측을 검증한다.
• 조합적 구조가 아닌 기하군 성질을 이용하여 월드하우젠의 암시적 곱과 HNN 확장에 대한 결과를 확장한다.
• 기하학적으로 유한하고 유한한 점근적 차원을 갖는 군 Γ에 대해 군환 R[Γ]의 K-이론적 조립 맵의 동치성을 확립한다.
• 표준 제어 대수 기법의 실패를 해결하기 위해 제어된 G-이론과 코arse 유계 작용을 도입한다.
• R이 유한한 호모로지 차원을 갖는 조건 하에서 K-이론에서 G-이론으로의 카르탕 맵이 약한 동치임을 보여준다.

제안 방법

• 모든 차수에서 동시에 K-이론을 다루기 위해 비연결 스펙트럼을 사용한다.
• 유한한 점근적 차원 조건 하에서 군 작용을 계약 가능 공간 위에 모델링하기 위해 유계 제어와 코arse 기하학을 적용한다.
• 표준 K-이론에서 상실된 분할 성질을 복원하기 위해 제어된 G-이론과 스펙트럼 C를 도입한다.
• 유한한 점근적 차원 조건 하에서 유한한 K-이론의 등변 조립 맵이 분해됨을 증명하여, 동치성이 유도됨을 보인다.
• 큐일렌의 해소 정리(Resolution Theorem)를 사용하여 R이 유한한 호모로지 차원을 갖는 조건 하에서 카르탕 맵이 약한 동치임을 보인다.
• 호모로지 스펙트럼과 K⁻∞(R[Γ]) 및 G⁻∞(R[Γ])를 연결하는 교환 다이어그램을 구성하여 주요 결과를 유도한다.

실험 결과

연구 질문

• RQ1 Γ가 기하학적으로 유한하고 유한한 점근적 차원을 갖는 경우, R[Γ]의 K-이론적 조립 맵이 약한 동치가 되는가?
• RQ2 조합적 군 표현이 아닌 군의 기하학적 및 거리적 성질을 이용하여 동형성 추측을 증명할 수 있는가?
• RQ3 왜 표준 제어 대수 기법이 이 맥락에서 분할성과 국소화를 증명하는 데 실패하는가?
• RQ4 제어된 G-이론이 K-이론에서 상실된 필수 호모토피 성질을 어느 정도 복원하는가?
• RQ5 R이 유한한 호모로지 차원을 갖는 조건 하에서 K⁻∞(R[Γ])와 G⁻∞(R[Γ]) 사이의 카르탕 맵이 약한 동치가 되는 조건은 무엇인가?

주요 결과

• 기하학적으로 유한하고 유한한 점근적 차원을 갖는 군 Γ와 유한한 호모로지 차원을 갖는 정규 노에터 링 R에 대해 정수 계수 K-이론적 조립 맵 a(Γ,R)는 약한 동치이다.
• 유한한 점근적 차원 조건 하에서 유한한 K-이론의 등변 조립 맵이 분해되며, 이는 동일한 조건 하에서 G-이론적 조립 맵이 동치임을 의미한다.
• 제어된 G-이론은 코arse 유계 작용과 그로텐디크 부분범주를 통합함으로써 표준 K-이론에서 상실된 분할 성질을 복원한다.
• R이 유한한 호모로지 차원을 갖는 조건 하에서 K⁻∞(R[Γ])에서 G⁻∞(R[Γ])로의 카르탕 맵 κ: K⁻∞(R[Γ]) → G⁻∞(R[Γ])는 약한 동치이다.
• 이 결과는 K₀(R[Γ]) ≅ K₀(R)임을 의미하므로, 이러한 군에 대해 감소 K₀-군 ˜K₀(ℤ[Γ])는 영이 된다.
• 조립 맵이 약한 동치일 경우, 높은 웨이트헤드 군을 포함하는 장점 정렬 시퀀스에 의해 고전적 웨이트헤드 군 Wh(Γ)는 영이 된다.