[论文解读] Algebraic K-theory of Geometric Groups

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

Homotopy and Cohomology in Algebraic Topology参考文献 44被引用 7

一句话总结

本文证明了在正则诺特环（具有有限同调维数）上，对具有有限渐近维数的几何有限群，代数K-理论中的同构猜想，确立了整数系数K-理论装配映射为弱同伦等价。证明结合了受控K-理论与G-理论技术，利用有界控制和粗几何作用，克服了标准代数方法的局限性。

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-理论与粗有界作用，解决标准受控代数技术的失效问题。
• 证明在给定条件下，从K-理论到G-理论的Cartan映射为弱同伦等价。

提出的方法

• 使用非连通谱同时处理所有度数的K-理论。
• 应用有界控制与粗几何，对群在可缩空间上的作用进行建模。
• 引入受控G-理论与谱C，以恢复标准K-理论中丧失的正合性性质。
• 证明在有限渐近维数下，有界K-理论中的等变装配映射可分裂，从而蕴含等价性。
• 利用Quillen的分解定理，证明当R具有有限同调维数时，Cartan映射为弱同伦等价。
• 构造一个交换图，将同调谱与K⁻∞(R[Γ])及G⁻∞(R[Γ])联系起来，从而推出主要结果。

实验结果

研究问题

• RQ1 当Γ为几何有限且具有有限渐近维数时，R[Γ]的K-理论装配映射是否成为弱同伦等价？
• RQ2 是否能通过群的几何与度量性质而非组合群表示来证明同构猜想？
• RQ3 为何标准受控代数技术在此情境下无法证明正合性与局部化？
• RQ4 受控G-理论在多大程度上恢复了K-理论中缺失的同伦性质？
• RQ5 在何种条件下，K⁻∞(R[Γ])与G⁻∞(R[Γ])之间的Cartan映射为弱同伦等价？

主要发现

• 对于具有有限渐近维数的几何有限群Γ，以及具有有限同调维数的正则诺特环R，整数系数K-理论装配映射a(Γ,R)为弱同伦等价。
• 在有界K-理论中，等变装配映射可分裂，从而在相同条件下，G-理论装配映射为等价映射。
• 受控G-理论通过引入粗有界作用与格罗滕迪克子范畴，解决了标准K-理论中正合性失效的问题。
• 当R具有有限同调维数且Γ为弱正则诺特群时，Cartan映射κ: K⁻∞(R[Γ]) → G⁻∞(R[Γ])为弱同伦等价。
• 该结果表明K₀(R[Γ]) ≅ K₀(R)，因此对于此类群，其约化K₀群˜K₀(ℤ[Γ])为零。
• 当装配映射为弱同伦等价时，经典怀特黑德群Wh(Γ)为零，这由涉及高阶怀特黑德群的长正合序列所表明。