[论文解读] Non-connective K-theory of relative exact categories

Satoshi Mochizuki|arXiv (Cornell University)|Mar 18, 2013

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

一句话总结

本文提出了一种针对不必然满足分解公理的广义相对精确范畴的非连通K-理论定义，通过有界链复形的导范畴构造实现。关键结果建立了具有一致性的相对精确范畴与其关联的链复形范畴之间的导范畴等价，验证了所提出的非连通K-理论作为局部化不变量的有效性。

ABSTRACT

The main objective of this paper is to propose a definition of non-connective K-theory for a wide class of relative exact categories which, in general, do not satisfy the factorization axiom and confirm that it agrees with the non-connective K-theory for exact categories and complicial exact categories with weak equivalences. The main application is to study the topological filtrations of non-connective K-theory of a noetherian commutative ring with unit in terms of Koszul cubes.

研究动机与目标

• 为可能不满足分解公理的相对精确范畴定义非连通K-理论。
• 将Schlichting的非连通K-理论推广至更广泛的范畴类，包括由Koszul立方体导出的范畴。
• 确认新定义在满足弱等价的精确范畴与 complicial 精确范畴中与现有非连通K-理论的一致性。
• 为通过Koszul立方体研究诺特环的非连通K-理论的拓扑滤子结构提供理论基础。
• 确立相对精确范畴的有界链复形构造的普遍性质。

提出的方法

• 将严格相对精确范畴定义为一对 (E, w)，其中 w 是在复合下封闭的态射类，且 E^w 是反映精确性的精确子范畴。
• 将有界导范畴 D_b(E) 构造为包含映射 D_b(E^w) → D_b(E) 的余核。
• 定义 E 上有界链复形的范畴 Ch_b(E)，以拟弱等价作为弱等价。
• 引入一致相对精确范畴的概念，其中 j_E(w) ⊆ qw，确保弱等价与拟弱等价之间的相容性。
• 证明 Ch_b(E) 是具有弱等价的 complicial 精确范畴，从而可应用 Schlichting 的非连通K-理论。
• 通过 K^S(Ch_b(E)) 定义非连通K-理论，利用 Schlichting 对 Waldhausen 范畴的理论。

实验结果

研究问题

• RQ1 能否为缺乏分解公理的相对精确范畴有意义地定义非连通K-理论？
• RQ2 所提出的非连通K-理论定义是否与精确范畴及 complicial 精确范畴中的既存理论一致？
• RQ3 有界链复形的构造 Ch_b(E) 是否在导范畴意义下是相对精确范畴 E 的普遍或典范扩展？
• RQ4 D_b(E) 与 D_b(Ch_b(E)) 之间的导范畴等价如何支持非连通K-理论构造的有效性？
• RQ5 该框架能否用于通过Koszul立方体研究诺特环K-理论的拓扑滤子结构？

主要发现

• 导范畴的Gillet-Waldhausen定理建立了任意一致相对精确范畴 E 的三角范畴等价 D_b(E) ≅ D_b(Ch_b(E))。
• 构造 Ch_b(E) 是具有弱等价的 complicial 精确范畴，为其在非连通K-理论中的应用提供了依据。
• 一致相对精确范畴的非连通K-理论定义为 K^S(Ch_b(E))，与 Schlichting 的理论一致。
• 所提出的非连通K-理论是局部化不变量，满足预期的普遍性质。
• 该理论适用于 Koszul 立方体，支持对诺特环的非连通K-理论进行拓扑滤子分析。
• Koszul 立方体范畴的导范畴 admits 一个右拟分裂精确序列，支持滤子分析。