[논문 리뷰] Weak coherence of groups and finite decomposition complexity

Boris Goldfarb|arXiv (Cornell University)|2013. 07. 19.

Advanced Operator Algebra Research참고 문헌 16인용 수 7

한 줄 요약

이 논문은 유한한 $K(\gamma,1)$와 유한한 분해 복잡도(FDC)를 갖는 군들이 약한 정규 일관성을 갖는다는 것을 증명하며, 이는 모든 차원에서 정수 계수 $K$-이론적 조립 사상이 동형임을 의미한다. 주요 결과로는 이러한 군들에 대해 화이트헤드 군 $\operatorname{Wh}(\Gamma)$가 자명해지며, 이는 이전의 유한한 점근적 차원에 대한 결과를 더 넓은 군의 범주로 확장한다.

ABSTRACT

The weak regular coherence is a coarse property of a finitely generated group $Γ$. It was introduced by G. Carlsson and this author to play the role of a weakening of Waldhausen's regular coherence as part of computation of the integral K-theoretic assembly map. A new class of metric spaces (sFDC) was introduced recently by A. Dranishnikov and M. Zarichnyi. This class includes most notably the spaces with finite decomposition complexity (FDC) studied by E. Guentner, D. Ramras, R. Tessera, and G. Yu. The main theorem of this paper shows that a group that has finite $K(Γ,1)$ and sFDC is weakly regular coherent. As a consequence, the integral K-theoretic assembly maps are isomorphisms in all dimensions for any group that has finite $K(Γ,1)$ and FDC. In particular, the Whitehead group $Wh (Γ)$ is trivial for such groups.

연구 동기 및 목표

• 유한한 점근적 차원을 갖는 군을 초월하여 화이트헤드 군의 소멸과 $K$-이론적 조립 사상의 동형성을 확장하기 위해.
• 유한한 분해 복잡도(FDC)와 유한한 $K(\Gamma,1)$를 갖는 군에 대해 약한 정규 일관성을 확립하기 위해.
• 이전의 연구에서 다룬 유한한 점근적 차원을 갖는 군의 결과를 더 넓은 범주인 FDC 군으로 일반화하기 위해.
• 더 약한 기하학적 가정 하에 대수적 $K$-이론에서 카르탕 동형사상이 성립하기 위한 조건을 검증하기 위해.
• 약한 정규 일관성을 통해 군의 거칠은 기하학(FDC)과 대수적 $K$-이론을 연결하여 보로-노비코프 추측을 뒷받침하기 위해.

제안 방법

• FDC의 일반화인 sFDC(강한 유한한 분해 복잡도)의 클래스를 도입하고, Kropholler의 클래스 $\mathrm{LH}\mathcal{F}$에 속하는 sFDC를 갖는 군들이 약한 정규 일관성을 갖는다는 것을 증명한다.
• Lean insular $\Gamma$-모듈과 그 $\mathbb{Z}[\Gamma]$ 위에서의 프로젝티브 분해 이론을 적용하여, sFDC와 유한한 $K(\Gamma,1)$ 조건 하에서 유한한 프로젝티브 차원을 보인다.
• 쿼일렌의 해상도 정리를 사용하여 군 환의 $K$-이론과 $K$-이론 스펙트럼을 계수로 하는 $\Gamma$의 호모로지 사이의 관계를 설정한다.
• Ramras–Tessera–Yu에 의해 보여진 바와 같이 FDC는 거칠은 조립 사상이 약한 동치임을 이용한다.
• 약한 정규 일관성 결과와 기존의 거칠은 조립 사상 이론을 조합하여 카르탕 동형사상과 $K$-이론적 동형사상을 유도한다.
• 주정리 적용을 통해, 유한한 전반적 차원을 갖는 노에테리안 환에 대해 $K$-이론적 조립 사상이 약한 호모토피 동치임을 보인다.

실험 결과

연구 질문

• RQ1 유한한 분해 복잡도(FDC)는 유한한 $K(\Gamma,1)$를 갖는 군에 대해 약한 정규 일관성을 유도하는가?
• RQ2 유한한 점근적 차원을 초월하여 FDC를 갖는 군에 대해 화이트헤드 군의 소멸을 확장할 수 있는가?
• RQ3 FDC와 유한한 $K(\Gamma,1)$를 갖는 군에 대해 정수 계수 $K$-이론적 조립 사상이 동형인가?
• RQ4 sFDC는 $\mathbb{Z}[\Gamma]$ 위의 lean insular $\Gamma$-모듈에 대해 유한한 프로젝티브 차원을 유도하는가?
• RQ5 유한한 점근적 차원 대신 더 약한 조건인 sFDC 하에서도 대수적 $K$-이론에서 카르탕 동형사상이 성립하는가?

주요 결과

• 유한한 $K(\Gamma,1)$와 sFDC를 갖는 군 $\Gamma$는 약한 정규 일관성을 갖는다.
• 모든 유한한 전반적 차원을 갖는 노에테리안 환 $R$에 대해 정수 계수 $K$-이론적 조립 사상 $A(\Gamma,R)$는 약한 호모토피 동치이다.
• 모든 유한한 $K(\Gamma,1)$와 FDC를 갖는 군 $\Gamma$에 대해 화이트헤드 군 $\operatorname{Wh}(\Gamma)$는 자명하다.
• 모든 $n$에 대해 $R$가 유한한 전반적 차원을 갖는 경우와 $\Gamma$가 FDC와 유한한 $K(\Gamma,1)$를 갖는 경우, $K_n$-조립 사상 $A_n: H_n(\Gamma, K(R)) \to K_n(R[\Gamma])$는 동형이다.
• FDC를 갖는 군의 범주는 무한한 점근적 차원을 갖는 군, 예를 들어 $\mathbb{Z} \wr \mathbb{Z}$와, 체 $k$에 대한 $GL_n(k)$의 모든 유한 생성 부분군을 포함하며, 이는 이전 결과의 적용 범위를 넓힌다.
• 이 결과는 FDC와 유한한 $K(\Gamma,1)$를 갖는 순환군에 대해 $K$-이론적 조립 사상이 동치임을 확인하는 추측을, 약한 정규 일관성 조건 하에서 확인한다.