[论文解读] A Note on the Grothendieck Group of an Additive Category

David E. V. Rose|arXiv (Cornell University)|Sep 9, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 11

一句话总结

本文证明了在加法范畴 𝒜 上，其分裂 Grothendieck 群同构于其有界复形的同伦范畴的三角 Grothendieck 群。本文确立了复形的欧拉示性数（在分裂 Grothendieck 群中定义为各项的交错和）在同伦等价下保持不变，从而解决了代数结构范畴化中的一个基础性问题。

ABSTRACT

There are two abelian groups which can naturally be associated to an additive category A: the split Grothendieck group of A and the triangulated Grothendieck group of the homotopy category of (bounded) complexes in A. We prove that these groups are isomorphic. Along the way, we deduce that the `Euler characteristic' of a complex in A is invariant under homotopy equivalence.

研究动机与目标

• 解决加法范畴的分裂 Grothendieck 群是否同构于其有界同伦范畴的三角 Grothendieck 群的问题。
• 确立加法范畴中复形的欧拉示性数在同伦等价下保持不变。
• 提供一个基础性结果，支持在范畴化中使用同伦范畴，特别是在纽结不变量和量子代数中的应用。
• 通过有下界的复形中无穷直和的方式，将欧拉示性数的不变性推广至无界复形。

提出的方法

• 通过典范三角形构造从分裂 Grothendieck 群 K⊕(𝒜) 到三角 Grothendieck 群 K△(Kb(𝒜)) 的满射群同态。
• 利用三角形 A· → 0 → A[−1]· 推导出 ⟨A[−1]·⟩ = −⟨A·⟩，确立了在移位下的符号行为。
• 应用三角形 A· → 0 → A[−1]· 并通过归纳法证明 ⟨A·⟩ = χ(A·) = ∑(−1)^i⟨A^i⟩ 成立于 K△(Kb(𝒜)) 中。
• 通过典范三角形证明关系 ⟨(A₁ ⊕ A₂)·⟩ = ⟨A₁·⟩ + ⟨A₂·⟩ 成立，确保与直和的相容性。
• 为在零同伦复形中偶数次项与奇数次项的直和构造显式矩阵 R 和 L，以证明 ⊕A^{2i} 与 ⊕A^{2i+1} 同构。
• 使用递推系数 α_k = (−1)^k c_k（其中 c_k 为第 k 个卡塔兰数）定义矩阵元素，并验证 RL = LR = id。

实验结果

研究问题

• RQ1 加法范畴的分裂 Grothendieck 群与该范畴有界同伦范畴的三角 Grothendieck 群是否同构？
• RQ2 加法范畴中复形的欧拉示性数在同伦等价下是否保持不变？
• RQ3 零同伦复形的欧拉示性数为零的性质是否可推广至无界复形？
• RQ4 在仅依赖典范三角形与移位关系的前提下，能否建立 K⊕(𝒜) 与 K△(Kb(𝒜)) 之间的同构？

主要发现

• 通过自然群同构，分裂 Grothendieck 群 K⊕(𝒜) 同构于三角 Grothendieck 群 K△(Kb(𝒜))。
• 欧拉示性数 χ(A·) = ∑(−1)^i⟨A^i⟩ 在同伦等价下保持不变，其依据是偶次项与奇次项总复形的同构性。
• 对任意零同伦复形 A·，其偶次项的直和同构于其奇次项的直和，即 ⊕A^{2i} ≅ ⊕A^{2i+1}。
• 该同构由显式矩阵 R 和 L 实现，其矩阵元由同伦映射与卡塔兰相关系数 α_k 定义。
• 该结果可推广至有下界的复形 K+(𝒜)，其中同构的无穷极限给出 ⊔A^{2i} ≅ ⊔A^{2i+1} 对于零同伦复形成立。
• 系数 α_k 满足 α_k = (−1)^k c_k，其中 c_k 为第 k 个卡塔兰数，且用于构造矩阵对 R 与 L 的互逆关系。