[论文解读] K-theory and derived equivalences

Daniel Dugger, Brooke Shipley|ArXiv.org|Sep 8, 2002

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

一句话总结

本文通过利用模型范畴理论和倾斜理论，证明了导出等价的环具有同构的代数K-理论群。研究证明，若两个环的链复形导出范畴等价，则其K-理论空间弱同伦等价，该结果将先前仅适用于K₀且依赖平坦性假设的研究推广至更高阶K-理论。

ABSTRACT

We show that if two rings have equivalent derived categories then they have the same algebraic K-theory. Similar results are given for G-theory, and for a large class of abelian categories.

研究动机与目标

• 确定环的代数K-理论是否仅依赖于其导出范畴而非环本身。
• 利用同伦代数将已知的K₀结果推广至更高阶K-理论群。
• 证明导出等价蕴含链复形模型范畴之间的Quillen等价。
• 建立诺特环的G-理论在导出等价下也保持不变。
• 提供一种基于模型范畴的简洁证明，以替代以往更为复杂的同伦方法。

提出的方法

• 使用模型范畴形式化环上链复形的同伦结构。
• 应用Quillen定理：若两个Waldhausen范畴之间存在Quillen等价，则其K-理论空间弱同伦等价。
• 借助倾斜理论证明：环的导出等价蕴含其链复形模型范畴的等价。
• 当R与S为导出等价时，构造R-模与S-模模型范畴之间的Quillen等价。
• 利用单纯图上的Reedy模型结构分析Waldhausen S-构造及其单纯骨架。
• 证明在可去对象子范畴上诱导的函子保持弱同伦等价，从而实现K-理论的比较。

实验结果

研究问题

• RQ1 环的代数K-理论是否仅依赖于其导出范畴？
• RQ2 能否从导出范畴的三角结构中恢复更高阶K-理论群？
• RQ3 环之间的导出等价是否蕴含其链复形模型范畴的等价？
• RQ4 诺特环的G-理论在导出等价下是否保持不变？
• RQ5 能否使用模型范畴技术而非复杂的同伦代数工具来证明导出等价下K-理论的不变性？

主要发现

• 若两个环R与S导出等价（即其无界链复形的导出范畴三角等价），则其代数K-理论群同构：对所有n ≥ 0，有Kₙ(R) ≅ Kₙ(S)。
• 当R与S导出等价时，其K-理论空间K(R)与K(S)弱同伦等价，而不仅限于K-群同构。
• 即使仅完美复形的全子范畴（D_c(R)与D_c(S)）等价，只要该等价与移位函子可交换，结论依然成立。
• 对于诺特环，导出等价蕴含G-理论空间的弱同伦等价：G(R) ≃ G(S)，因此有Gₙ(R) ≅ Gₙ(S)。
• 该证明依赖于导出等价诱导出R与S上链复形模型范畴之间的Quillen等价。
• 使用模型范畴使证明更加简洁，避免了Neeman工作中的复杂构造，同时在一般性上取得更强结果。