[论文解读] Purity in chromatically localized algebraic $K$-theory

Markus Land, Akhil Mathew+2 more|arXiv (Cornell University)|Jan 28, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 45被引用 12

一句话总结

本文在色度局部化代数 K-理论中建立了纯度性质：对于 $ n \geq 1 $，$ K(R) $ 的 $ T(n) $-局部化仅依赖于环谱 $ R $ 的 $ T(0) \oplus \cdots \oplus T(n) $-局部化。这一结果将 Waldhausen 的有理 $ K $-理论纯度结果推广至更高色度高度，并表明对于 $ n \geq 2 $，$ L_{T(n)}K(R) $ 在 $ T(n) $-局部化后与 $ \mathrm{TC}((\tau_{\geq 0}R)) $ 等价，具有对消去定理和余极限保持性的应用。

ABSTRACT

We prove a purity property in telescopically localized algebraic $K$-theory of ring spectra: For $n\geq 1$, the $T(n)$-localization of $K(R)$ only depends on the $T(0)\oplus \dots \oplus T(n)$-localization of $R$. This complements a classical result of Waldhausen in rational $K$-theory. Combining our result with work of Clausen--Mathew--Naumann--Noel, one finds that $L_{T(n)}K(R)$ in fact only depends on the $T(n-1)\oplus T(n)$-localization of $R$, again for $n \geq 1$. As consequences, we deduce several vanishing results for telescopically localized $K$-theory, as well as an equivalence between $K(R)$ and $\mathrm{TC}(τ_{\geq 0} R)$ after $T(n)$-localization for $n\geq 2$.

研究动机与目标

• 通过望远镜局部化方法将 Waldhausen 的有理 $ K $-理论纯度结果推广至更高色度高度。
• 证明 $ L_{T(n)}K(R) $ 仅依赖于 $ R $ 的 $ T(0) \oplus \cdots \oplus T(n) $-局部化，从而建立色度纯度定理。
• 从该结果推导出 $ T(n) $-局部 $ K $-理论的消去结果，并在局部化后用拓扑循环同调刻画 $ K(R) $。
• 证明对于 $ n \geq 2 $，有 $ L_{T(n)}K(R) \simeq L_{T(n)}\mathrm{TC}(\tau_{\geq 0}R) $，从而在更高色度层中建立 $ K $-理论与 $ \mathrm{TC} $ 的联系。
• 证明 $ T(n) $-局部 $ K $-理论保持 sifted 余极限，并对 $ n \geq 2 $ 满足 Farrell–Jones 型装配映射等价性。

提出的方法

• 通过截断性质并利用 décalage 技术将问题约化至高度连通情形，从而证明纯度定理。
• 利用已建立的事实：$ L_{T(n)}K(R) $ 仅依赖于 $ R $ 的 $ T(0) \oplus \cdots \oplus T(n) $-局部化，该结果通过归纳法和局部化函子得出。
• 借助 Clausen–Mathew–Naumann–Noel 的结果，将依赖关系进一步精炼为 $ T(n-1) \oplus T(n) $-局部化，适用于 $ n \geq 1 $。
• 应用 $ n \geq 2 $ 时的等价式 $ L_{T(n)}K(R) \simeq L_{T(n)}\mathrm{TC}(\tau_{\geq 0}R) $，依赖于基于 $ \mathrm{TC} $ 的逼近方法和 $ p $-进完备化。
• 利用 $ \mathrm{TC} $ 和 $ \mathrm{TC}/p $ 保持 sifted 余极限的性质，证明 $ L_{T(n)}K(R) $ 也保持此类余极限。
• 通过结合 $ p $-进 $ \mathrm{TC} $-装配结果与 $ K $-理论的 $ \mathrm{TC} $-等价性，建立 $ T(n) $-局部 Farrell–Jones 装配映射等价性。

实验结果

研究问题

• RQ1 是否 $ L_{T(n)}K(R) $ 仅依赖于 $ R $ 的 $ T(0) \oplus \cdots \oplus T(n) $-局部化，从而推广 Waldhausen 的有理 $ K $-理论结果？
• RQ2 对于 $ n \geq 1 $，$ L_{T(n)}K(R) $ 的依赖关系能否被精炼为 $ R $ 的 $ T(n-1) \oplus T(n) $-局部化？
• RQ3 对于 $ n \geq 2 $，是否存在等价式 $ L_{T(n)}K(R) \simeq L_{T(n)}\mathrm{TC}(\tau_{\geq 0}R) $，从而将 $ K $-理论与拓扑循环同调联系起来？
• RQ4 对于 $ n \geq 2 $，$ L_{T(n)}K(R) $ 是否保持 sifted 余极限？若成立，对 $ R $ 的条件是什么？
• RQ5 在 $ T(n) $-局部化后，$ K(R) $ 的 Farrell–Jones 装配映射是否成为 $ T(n) $-等价？

主要发现

• 对于 $ n \geq 1 $，$ L_{T(n)}K(R) $ 仅依赖于 $ R $ 的 $ T(0) \oplus \cdots \oplus T(n) $-局部化，从而确立了色度纯度性质。
• 对于 $ n \geq 1 $，$ L_{T(n)}K(R) $ 的依赖关系可被精炼为 $ R $ 的 $ T(n-1) \oplus T(n) $-局部化，此结果基于 Clausen–Mathew–Naumann–Noel 的工作。
• 对于 $ n \geq 2 $，存在自然等价式 $ L_{T(n)}K(R) \simeq L_{T(n)}\mathrm{TC}(\tau_{\geq 0}R) $，表明 $ K $-理论在局部化后可由 $ \mathrm{TC} $ 近似。
• 对于 $ n \geq 2 $，映射 $ R \mapsto L_{T(n)}K(R) $ 在所有环谱上以及在 $ T(n-1) $-局部环谱上均保持 sifted 余极限。
• 对于 $ n \geq 2 $，$ K(R) $ 的 Farrell–Jones 装配映射在 $ T(n) $-局部化后成为 $ T(n) $-等价。
• 由纯度定理可推出 $ T(n) $-局部 $ K $-理论的消去结果，尤其当 $ R $ 的色度高度较低时更为显著。