[论文解读] Finite decomposition complexity and the integral Novikov conjecture for higher algebraic K-theory

Daniel A. Ramras, Romain Tessera+1 more|arXiv (Cornell University)|Nov 30, 2011

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

一句话总结

本文通過證明具有有限分解複雜度（FDC）且具有有限 CW 分類空間的群的 K-理論組裝映射是分裂單射，從而確立了高階代數 K-理論的積分諾維科夫猜想。利用在具有 FDC 的有界幾何度量空間上連續控制 K-理論的消去定理，作者將先前關於線性群與幾何有限群的結果推廣至更廣泛的 FDC 群類。

ABSTRACT

Decomposition complexity for metric spaces was recently introduced by Guentner, Tessera, and Yu as a natural generalization of asymptotic dimension. We prove a vanishing result for the continuously controlled algebraic K-theory of bounded geometry metric spaces with finite decomposition complexity. This leads to a proof of the integral K-theoretic Novikov conjecture, regarding split injectivity of the K-theoretic assembly map, for groups with finite decomposition complexity and finite CW models for their classifying spaces. By work of Guentner, Tessera, and Yu, this includes all (geometrically finite) linear groups.

研究动机与目标

• 確立具有有限分解複雜度（FDC）和有限 CW 分類空間的群的積分 K-理論諾維科夫猜想。
• 將先前關於具有有限漸近維數的群的諾維科夫猜想結果推廣至更廣泛的 FDC 群類。
• 證明具有 FDC 的有界幾何度量空間上連續控制 K-理論的消去結果，從而支持主要的單射性結果。
• 將穩定博雷爾猜想與有界博雷爾猜想推廣至 FDC 度量空間的高階代數 K-理論設定。
• 彌補早期證明中的漏洞，提供 L-理論類比的修正且完整的論證，依賴於 Carlsson-Pedersen 的乘積定理。

提出的方法

• 引入並應用具有有界幾何與有限分解複雜度的度量空間的連續控制 K-理論。
• 證明消去定理：對於所有 $*\in\mathbb{Z}$，有 $\operatorname*{colim}_{s}K^{c}_{*}(P_{s}X)=0$，其中 $X$ 具有有界幾何與 FDC。
• 建立 Rips 複形上控制範疇的列取極限與各個組分列取極限之積之間的函子同構。
• 應用 Carlsson 定理，即 K-理論與無限積可交換，從而將問題簡化至單獨的組分。
• 利用 FDC 的遞歸結構，將空間分解為具有控制傳播的片段，從而實現對態射的遞歸控制。
• 建立控制範疇中態射與其在縮放函子 $\eta_{s,s'}$ 下的像之間的對應關係，確保函子性與可逆性。

实验结果

研究问题

• RQ1 對於具有有限分解複雜度與有限 CW 分類空間的群，K-理論組裝映射是否仍為分裂單射？
• RQ2 是否可確立具有有限分解複雜度的有界幾何度量空間上連續控制 K-理論的消去性？
• RQ3 控制 K-理論框架在多大程度上可推廣至 L-理論？其乘積交換性需要哪些假設？
• RQ4 是否可在不假設 $K_*(\mathcal{A})=0$ 對所有 $*<<0$ 成立的情況下，確立 FDC 度量空間上高階代數 K-理論的有界博雷爾猜想？
• RQ5 在諾維科夫猜想的脈絡下，FDC 條件如何推廣有限漸近維數條件？

主要发现

• 當 $\Gamma$ 具有有限分解複雜度且 $B\Gamma$ 為有限 CW 复形時，K-理論組裝映射 $H_*(B\Gamma;\mathbb{K}(R)) \to K_*(R[\Gamma])$ 對所有 $*\in\mathbb{Z}$ 均為分裂單射。
• 消去結果 $\operatorname*{colim}_{s}K^{c}_{*}(P_{s}X)=0$ 對任何具有有限分解複雜度的有界幾何度量空間 $X$ 均成立。
• 在假設 $K_*(\mathcal{A})=0$ 對所有 $*<<0$ 成立的前提下，結果可推廣至 L-理論設定，依賴於 Carlsson 與 Pedersen 的乘積定理。
• 證明修正了早期版本論文中關於定理 7.9 的錯誤陳述，特別是在 L-理論脈絡下。
• 控制 K-理論框架成功地將先前針對具有有限漸近維數的群的結果推廣至更廣泛的 FDC 群類。
• 透過 K-理論的乘積交換性，確立了同構 $\prod_r \operatorname*{colim}_{\mathbf{s}} K_*(\mathcal{A}_c(P_{s_r}(\{Z^r_\alpha\}_\alpha))) \cong \operatorname*{colim}_{\mathbf{s}} K_*(\prod_r \mathcal{A}_c(P_{s_r}(\{Z^r_\alpha\}_\alpha)))$。