[论文解读] Higher algebraic $K$-theory of finitely generated torsion modules over principal ideal domains

Satoshi Mochizuki|ArXiv.org|Feb 18, 2007

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

一句话总结

该论文通过柯尔祖复形（Koszul complexes）建立了主理想整环（PID）上有限生成挠模的高阶代数K-理论计算。证明了零阶同调函子在所有高阶K-群上诱导同构，并在不依赖分解公理的前提下，通过在恰当范畴和细胞滤子中使用特设技术，构建了K-理论中的分裂正合序列。

ABSTRACT

The main purpose of this paper is computing higher algebraic $K$-theory of Koszul complexes over principal ideal domains. The second purpose of this paper is giving examples of comparison techniques on algebraic $K$-theory for Waldhausen categories without the factorization axiom.

研究动机与目标

• 通过柯尔祖复形计算主理想整环上有限生成挠模的高阶代数K-理论。
• 在柯尔祖复形的K-理论与挠模的K-理论之间建立比较同构。
• 在缺乏分解公理的沃德豪森范畴中发展代数K-理论的技术。
• 为阿契利斯复形子范畴建立K-理论中的分裂纤维序列。
• 使用施利希廷定理对分裂纤维序列定理给出另一种证明。

提出的方法

• 使用沃德豪森工作中的细胞滤子定理，通过显式构造细胞分解来验证其假设。
• 为恰当范畴引入半直积构造，从已知结果构建分裂正合序列。
• 应用初等因子理论，将 $\mathbf{Kos}^1(R)$ 中的复形分解为标准形式的直和：$U = [U \xrightarrow{\mathrm{id}} U]$，$V = [R^n \xrightarrow{d^V} R^n]$，其中 $d^V$ 为对角矩阵。
• 在 $\mathbf{Kos}^1(R)$ 中对可接受正合序列逐项分裂，以构造截面并验证可接受的满射。
• 构造一个收缩映射 $q: Y \to Z = X \oplus U$，使得 $q \circ i = \begin{pmatrix} \mathrm{id} \\ 0 \end{pmatrix}$，证明 $q$ 是可接受的满射。
• 使用 $\mathbf{Kos}^1(R)$ 中态射的矩阵描述来分析核与像分量，以验证正合性与无挠性。

实验结果

研究问题

• RQ1 零阶同调函子 $H_0: \mathbf{Kos}^1(R) \to \mathcal{M}^1(R)$ 是否在所有高阶K-群上诱导同构？
• RQ2 能否在不假设分解公理的前提下，为 $\mathbf{Kos}^1(R)$ 建立K-理论中的分裂纤维序列？
• RQ3 在缺乏柱函子的沃德豪森范畴中，如何显式构造细胞分解？
• RQ4 能否使用施利希廷关于恰当范畴K-理论的一般定理，重新证明分裂纤维序列定理？
• RQ5 初等因子理论在 $\mathbf{Kos}^1(R)$ 中复形的分解以及可接受性验证中起什么作用？

主要发现

• 零阶同调函子 $H_0: \mathbf{Kos}^1(R) \to \mathcal{M}^1(R)$ 在所有 $n \geq 0$ 上诱导同构 $K_n(\mathbf{Kos}^1(R); \text{qis}) \xrightarrow{\sim} K_n(\mathcal{M}^1(R))$。
• 存在一个分裂短正合序列 $0 \to K_n(\mathbf{Kos}^1(R)^q; \text{isom}) \to K_n(\mathbf{Kos}^1(R); \text{isom}) \to K_n(\mathbf{Kos}^1(R); \text{qis}) \to 0$，其中 $\mathbf{Kos}^1(R)^q$ 是无挠复形的全子范畴。
• $\mathbf{Kos}^1(R)^q$ 中无挠复形的范畴对取自无挠复形的态射的核与像是封闭的。
• 每个从 $\mathbf{Kos}^1(R)^q$ 中无挠复形 $X$ 到 $\mathbf{Kos}^1(R)$ 中复形 $Y$ 的态射 $f: X \to Y$，其像 $\operatorname{Im}f$ 是无挠的，且映射 $X \to \operatorname{Im}f$ 在 $\mathbf{Kos}^1(R)^q$ 中是可接受的满射。
• 通过矩阵构造验证了可接受满射 $q: Y \to Z = X \oplus U$ 的截面存在性，从而确认 $q$ 是可接受的满射。
• 利用施利希廷定理给出了分裂纤维序列定理的另一种证明，独立确认了该结果。