[论文解读] A general Mayer-Vietoris sequence in algebraic $K$-theory

Yakun Zhang|arXiv (Cornell University)|Mar 14, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

该论文给出关于代数K理论中 Milnor 方格的改良 Mayer-Vietoris 序列的完整、具建设性的证明与广义化版本，并将神秘的中间项 X 识别为一个下拉（pullback），将其与相对 K-群及同伦纤维联系起来。

ABSTRACT

This paper investigates the Mayer-Vietoris sequence for the Milnor square. While such sequences often involve elusive intermediate terms, we provide an explicit characterization of the key group $X$ in a new, more general variant of the sequence. By identifying $X$ as a categorical pullback, we provide a full, constructive proof of the modified Mayer-Vietoris sequence. Furthermore, we show that $X$ fits into a structural exact sequence involving the relative $K$-groups $K_{*}(A, B, I)$. Finally, we provide a homotopy-theoretic description of $X$ as the homotopy group of a suitable fiber, clarifying its structure, kernel , and image.

研究动机与目标

• 澄清代数K理论中 Milnor 方格的改良 Mayer-Vietoris 序列的结构。
• 将中间项 X 表征为一个范畴上的下拉，并将其与相对 K-群 K*(A,B,I) 联系起来。
• 给出广义 Mayer-Vietoris 序列及其连续性的具建设性证明。
• 通过合适的纤维及其同伦群，为第三项提供同伦理论描述。

提出的方法

• 回顾 Weibel 的 Mayer-Vietoris 序列变体并给出完整、严格的证明。
• 将中间项 X_i 定义为某些映射的下拉，以获得广义序列。
• 将 X_i 与涉及相对 K-群 K_i(A,B,I) 的精确序列联系起来。
• 使用同伦理论方法和同伦纤维来描述 X_i 及其核和像。
• 利用范畴上的下拉/推拉（pullback/pushout）论证与图解追踪以确立其精确性。

实验结果

研究问题

• RQ1 Milnor 方格 Mayer-Vietoris 设置中中间群 X_i 的精确范畴结构是什么？
• RQ2 如何将 X_i 表征为一个下拉并将其纳入广义精确序列？
• RQ3 在广义序列中，X_i 与相对 K-群 K_i(A,B,I) 之间的关系是什么？
• RQ4 是否可以通过同伦纤维描述第三项，以更清晰地给出核和像的描述？

主要发现

• X_i 可唯一地被表征为对映射到 quo-K_i(A) 的映射与边界映射 sub-K_{i+1}(B/I) -> quo-K_i(A) 的下拉。
• X_i 适合进入与 K_i(A,B,I) 及 K_{i+1}(B/I) 的精确序列，阐明其核与像。
• quo-K_i(A) 被实现为 pushout K_i(A,I) -> K_i(A) 而 sub-K_{i+1}(B/I) 作为下拉，从而实现严格的 Mayer-Vietoris 框架。
• 已建立广义 Mayer-Vietoris 序列：... -> K_{i+1}(A/I) ⊕ K_{i+1}(B) -> X_i -> K_i(A) -> K_i(A/I) ⊕ K_i(B) -> ... 。
• 通过同伦理论分析将第三项与一个合适纤维的同伦群联系起来，从而对其结构、核与像有更精确的描述。