[论文解读] Weight structures and the algebraic $K$-theory of stable $\infty$-categories

Ernest E. Fontes|arXiv (Cornell University)|Dec 23, 2018

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

一句话总结

本文通过引入有界权结构，在稳定∞-范畴的背景下建立了Waldhausen球面定理的类比，证明了具有有界非退化权结构的稳定∞-范畴的代数K-理论等价于其心范畴的K-理论。该结果推广了Quillen的devisage定理和解析定理等经典结果，并为动机理论和环的K-理论提供了新的证明与推广。

ABSTRACT

We introduce the notion of a bounded weight structure on a stable $\infty$-category and use this to prove the natural generalization of Waldhausen's sphere theorem: We show that the algebraic $K$-theory of a stable $\infty$-category with a bounded non-degenerate weight structure is equivalent to the algebraic $K$-theory of the heart of the weight structure.

研究动机与目标

• 将Waldhausen的球面定理推广到使用权结构的稳定∞-范畴设定中。
• 在稳定∞-范畴与其权心之间建立K-理论等价性，推广Quillen和Waldhausen的奠基性定理。
• 通过权结构重新获得并证明经典结果，如Gillet–Waldhausen定理和解析定理。
• 将Bondarko在三角范畴上的K₀结果推广至∞-范畴与谱的设定。
• 在动机的背景下建立新的K-理论等价性，包括对正则诺特环的G=K定理的新证明。

提出的方法

• 在稳定∞-范畴上引入有界非退化权结构的概念，推广经典三角范畴上的权结构。
• 通过有界链复形上的粗略截断函子，构造有界复形∞-范畴上的权结构。
• 通过球面定理的谱版本，证明权心的包含映射诱导出K-理论等价。
• 应用主定理，通过验证适当权结构的存在性，推导出在阿贝尔范畴、环谱和动机中的等价性。
• 利用高阶范畴中代数K-理论的普遍刻画，确保结果在现代∞-范畴框架下成立。
• 利用局部化非交换动机理论与等变切片过滤，推测在∞-范畴的谱与动机上存在新的权结构。

实验结果

研究问题

• RQ1 能否通过权结构将Waldhausen的球面定理推广至稳定∞-范畴？
• RQ2 具有有界非退化权结构的稳定∞-范畴的代数K-理论是否仅依赖于其心范畴的K-理论？
• RQ3 经典K-理论定理（如解析定理和G=K）能否在∞-范畴设定中通过权结构重新获得？
• RQ4 权结构在动机的K-理论中扮演何种角色，特别是在Voevodsky的有效几何动机范畴中？
• RQ5 在局部化非交换动机或真实G-谱等范畴中是否存在自然的权结构，其心范畴是什么？

主要发现

• 主定理建立了任意具有有界非退化权结构的稳定∞-范畴 $ \text{C} $ 的K-理论等价性 $ K(\text{C}) \to K(\text{C}_{\text{heart}}) $。
• 该结果将Bondarko在三角范畴上的 $ K_0 $-结果推广至∞-范畴与谱的设定，恢复了 $ K_0(\text{T}) \to K_0(\text{T}_{\text{heart}}) $。
• 通过将有界链复形的K-理论实现为与投射模的K-理论等价，获得了Gillet–Waldhausen定理的新证明。
• 通过在具有 $ \text{P} $-替换的有界链复形上构造权结构，重新证明了阿贝尔范畴的解析定理，得到 $ K(\text{P}) \to K(\text{E}) $。
• 对于诺特正则环，G=K定理被恢复：$ K(R) \to G(R) $，通过等价关系 $ K(\text{Proj}^{\text{fg}}(R)) \to K(\text{Ch}^{\text{bdd}}(\text{Proj}^{\text{fg}}(R))) $。
• 在动机的背景下建立了新的K-理论等价性：$ K(\text{DM}^{\text{eff}}_{\text{gm},\tiny\text{∞}}) \to K(\text{Chow}^{\text{eff}}_{\text{∞}}) $，将Bondarko的 $ K_0 $-结果扩展至连通K-理论谱。