[论文解读] Weak coherence of groups and finite decomposition complexity

Boris Goldfarb|arXiv (Cornell University)|Jul 19, 2013

Advanced Operator Algebra Research参考文献 16被引用 7

一句话总结

该论文证明了具有有限 $K(\gamma,1)$ 和有限分解复杂度（FDC）的群是弱正则一致的，这意味着在所有维数下，积分 $K$-理论装配映射都是同构。作为关键推论，此类群的 Whitehead 群 $\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.

研究动机与目标

• 将 Whitehead 群的消失性与 $K$-理论装配映射的同构性从有限渐近维数群推广到更广范围。
• 为具有有限分解复杂度（FDC）和有限 $K(\Gamma,1)$ 的群建立弱正则一致性。
• 将先前关于有限渐近维数群的结果推广至更广泛的 FDC 群类。
• 在较弱的几何假设下验证代数 $K$-理论中 Cartan 同构所需的条件。
• 通过弱正则一致性在粗几何（FDC）与代数 $K$-理论之间建立联系，支持 Borel 与 Novikov 猜想。

提出的方法

• 引入了 sFDC（强有限分解复杂度）类，作为 FDC 的推广，并证明属于 Kropholler 类 $\mathrm{LH}\mathcal{F}$ 且具有 sFDC 的群是弱正则一致的。
• 应用了瘦孤立 $\Gamma$-模及其在 $\mathbb{Z}[\Gamma]$ 上的投射分解理论，证明在 sFDC 和有限 $K(\Gamma,1)$ 条件下具有有限投射维数。
• 利用 Quillen 的分解定理，将群环的 $K$-理论与 $\Gamma$ 以 $K$-理论谱为系数的同调联系起来。
• 依赖于 Ramras–Tessera–Yu 的结果，即 FDC 蕴含粗装配映射是弱等价。
• 将弱正则一致性的结果与粗装配映射的已知结果相结合，推导出 Cartan 同构与 $K$-理论同构。
• 应用主定理，证明对于有限整体维数的诺特环 $R$，$K$-理论装配映射是弱同伦等价。

实验结果

研究问题

• RQ1 有限分解复杂度（FDC）是否蕴含具有有限 $K(\Gamma,1)$ 的群的弱正则一致性？
• RQ2 Whitehead 群的消失性是否可推广至超越有限渐近维数的 FDC 群？
• RQ3 对于具有 FDC 和有限 $K(\Gamma,1)$ 的群，积分 $K$-理论装配映射是否为同构？
• RQ4 sFDC 是否蕴含在 $\mathbb{Z}[\Gamma]$ 上的瘦孤立 $\Gamma$-模具有有限投射维数？
• RQ5 在较弱的 sFDC 条件下，代数 $K$-理论中的 Cartan 同构是否可替代有限渐近维数条件成立？

主要发现

• 具有有限 $K(\Gamma,1)$ 和 sFDC 的群 $\Gamma$ 是弱正则一致的。
• 对于任意有限整体维数的诺特环 $R$，积分 $K$-理论装配映射 $A(\Gamma,R)$ 是弱同伦等价。
• 对于任意具有有限 $K(\Gamma,1)$ 和 FDC 的群 $\Gamma$，Whitehead 群 $\operatorname{Wh}(\Gamma)$ 为平凡。
• 当环 $R$ 具有有限整体维数且群 $\Gamma$ 具有 FDC 与有限 $K(\Gamma,1)$ 时，所有 $n$ 的 $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$-理论装配映射是等价的。