[论文解读] Homological ring epimorphisms and recollements II: Algebraic K-theory

Haishan Chen, Changchang Xi|arXiv (Cornell University)|Dec 9, 2012

Algebraic structures and combinatorial models参考文献 22被引用 5

一句话总结

本文在同调环满同态与非交换局部化的背景下，为高阶代数K-理论建立了无穷长的Mayer-Vietoris正合序列，将recollement理论扩展至高阶代数K-理论，推导出加法公式并获得K-群的新描述，包括通过非交换张量积对无限二面体群K-理论的全新刻画。

ABSTRACT

For a recollement of derived module categories of rings, we provide sufficient conditions to guarantee the additivity formula of higher algebraic K-groups of the rings involved, and establish a long Mayer-Vietoris exact sequence of higher algebraic K-groups for homological exact contexts introduced in the first paper of this series. Our results are then applied to recollements induced from homological ring epimorphisms and noncommutative localizations. Consequently, we get an infinitely long Mayer-Vietoris exact sequence of K-theory for Milnor squares, re-obtain a result of Karoubi on localizations and a result on generalized free products pioneered by Waldhausen and developed by Neeman and Ranicki. In particular, we describe algebraic $K$-groups of the free product of two groups over a regular coherent ring as the ones of the noncommutative tensor product of an exact context. This yields a new description of algebraic $K$-theory of infinite dihedral group.

研究动机与目标

• 通过建立K-群加法公式的充分条件，将recollement理论扩展至高阶代数K-理论。
• 在同调精确背景下，为高阶代数K-群构造一个长Mayer-Vietoris正合序列。
• 将这些结果应用于同调环满同态与非交换局部化，特别是Milnor平方。
• 重新推导并推广关于广义自由积与局部化的K-理论结果，包括Karoubi与Waldhausen–Neeman–Ranicki的定理。
• 通过非交换精确上下文的张量积，提供无限二面体群代数K-理论的新描述。

提出的方法

• 利用导出模范畴的recollement，通过三角结构关联三个环的K-理论。
• 应用同调环满同态，构建支持Mayer-Vietoris序列的精确上下文。
• 运用非交换局部化理论，对Milnor平方进行建模，并推广Waldhausen的框架。
• 在确保与recollement结构相容的条件下，推导出高阶K-群的加法公式。
• 通过精确上下文的非交换张量积，描述在正则诺特环上自由积的K-群。
• 通过在recollement结构上迭代同调结构，建立无穷长的Mayer-Vietoris正合序列。

实验结果

研究问题

• RQ1 在何种条件下，导出模范畴的recollement会诱导出高阶代数K-群的加法公式？
• RQ2 能否在同调精确背景下为高阶代数K-理论构造一个长Mayer-Vietoris正合序列？
• RQ3 同调环满同态与非交换局部化如何影响K-理论序列的结构？
• RQ4 在正则诺特环上，两个群的自由积的K-理论是什么？如何通过非交换张量积来描述？
• RQ5 能否通过精确上下文的非交换张量积重新表达无限二面体群的K-理论？

主要发现

• 在同调环满同态与非交换局部化的背景下，为高阶代数K-理论构造出无穷长的Mayer-Vietoris正合序列。
• 在由recollement结构导出的充分条件下，确立了高阶K-群的加法公式。
• 通过长正合序列描述了Milnor平方的K-理论，作为特例恢复了Karoubi的局部化结果。
• 在正则诺特环上，广义自由积的K-理论通过精确上下文的非交换张量积得以表达。
• 通过非交换张量积，获得了无限二面体群代数K-理论的新描述，为其中K-群的结构提供了新的洞察。