Algebraic K-theory of Geometric Groups
Gunnar Carlsson, Boris Goldfarb
TL;DR
The paper develops a coarse-geometric, G-theoretic framework to prove the K-theoretic Farrell–Jones assembly map is an equivalence for a broad class of groups, including those with finite asymptotic dimension. By moving from K-theory to G-theory and leveraging coarse, fibred, and equivariant constructions (including the Pedersen–Weibel theory, cone and bounded action techniques, and asymptotic transfer), the authors establish a G-theory Isomorphism Theorem that reduces the K-theory problem to group homology with coefficients in $K(A)$. The main result identifies $K(A[Γ])$ with $H_*(Γ; K(A))$, with consequential vanishing Whitehead groups, and applies to regular Noetherian rings of finite global dimension. The strategy decomposes the verification into two concrete conditions—non-equivariant G-theory assembly and coarse coherence—providing a flexible, two-step approach to proving isomorphism conjectures in broad geometric contexts.
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 $Γ$.