The Grothendieck group of an extriangulated category

本文研究了 extriangulated 范畴中 $d$-刚性子范畴的分裂格罗滕迪克群，证明了当该子范畴分别为 silting 或 $d$-簇倾斜时，原范畴的格罗滕迪克群与其分裂格罗滕迪克群或指标格罗滕迪克群同构，并具体计算了 $d$-簇范畴 $\mathcal{C}_{A_{n}}^{d}$ 的格罗滕迪克群结构。

要点

这篇文章就像是在探索一个**“数学宇宙的记账本”**。

想象一下，你有一个巨大的、复杂的乐高世界（数学家称之为“外三角范畴”）。这个世界里充满了各种各样的积木块（对象），它们之间通过特殊的连接方式（三角形/扩张）相互关联。

数学家们一直想知道：如果我要给这个乐高世界“记账”，怎么算出它到底有多少种“基本积木”？这个“总数”就是格罗滕迪克群（Grothendieck Group）。

这篇论文的作者王力（Li Wang）做了一件很酷的事情：他发明了一套**“超级索引法”，让我们不用把整个乐高世界拆散了数，而是通过观察其中一小部分“核心积木组”**，就能算出整个世界的“总账”。

以下是用大白话和比喻对论文核心内容的解读：

1. 核心概念：什么是“记账本”？

• 格罗滕迪克群 ($K_0$)：想象这是一个**“乐高分类账”**。在这个账本里，如果三个积木 $A, B, C$ 能拼成一个完美的三角形结构（$A \to B \to C$），那么它们的“价值”就满足一个公式：$[B] = [A] + [C]$。这个账本记录了所有积木在满足这种关系后的“净价值”。
• 外三角范畴：这是一个超级大的乐高世界，它既包含了传统的“三角世界”（像物理空间里的三角形），也包含了“精确世界”（像代数里的方程组）。作者把这个大世界统一了起来。
• 分裂格罗滕迪克群 ($K_0^{sp}$)：这是最基础的账本，只记录“直接相加”的关系（比如 $A+B$ 就是 $A$ 和 $B$ 的和），不考虑复杂的三角形结构。

2. 主要发现：通过“核心积木”算“总账”

作者发现，只要找到这个乐高世界里的**“特殊核心积木组”**（数学上叫 $d$-刚性子范畴），就能通过它们算出整个世界的总账。

发现一：当核心是“硅片”（Silting）时

• 比喻：想象你有一块**“万能模板”**（Silting 子范畴）。如果你有了这块模板，整个乐高世界的所有复杂结构，其实都可以看作是由这块模板“复制”或“变形”而来的。
• 结论：如果找到了这块“万能模板”，那么整个世界的总账（$K_0(C)$）直接就等于模板本身的简单账本（$K_0^{sp}(M)$）。
• 意义：这就像是你不需要数清楚整个城市有多少砖头，只要数清楚“砖块模具”有多少种，就知道城市的大小了。这推广了以前只能在特定条件下成立的结论。

发现二：当核心是“高维集群”（d-Cluster Tilting）时

• 比喻：这次的核心积木组更强大，它像是一个**“高维的蜂巢”**（d-Cluster Tilting）。在这个蜂巢里，积木之间的连接关系非常紧密且规则。
• 结论：这时候，整个世界的总账不再直接等于核心积木的简单账本，而是等于**“修正后的索引账本”**（Index Grothendieck Group）。
• 什么是“修正”：因为积木之间太紧密了，有些组合是“重复计算”的。作者发明了一种**“索引器”**（Index），用来剔除这些重复计算的部分。
• 意义：这就像是在算账时，发现有些交易是循环的，必须把循环的部分扣除，才能得到真实的净值。

3. 具体应用：计算“安型”乐高世界的账本

论文最后，作者用这套理论去计算一种非常具体的乐高世界：$d$-集群范畴（$d$-cluster category of type $A_n$）。
你可以把它想象成一个正多边形（比如正 $W$ 边形），里面的积木就是连接顶点的“对角线”。

作者通过画图（几何模型），像玩拼图一样，推导出了这个世界的“总账”到底是多少：

• 情况 A：如果 $d$ 是偶数
  • 结果：账本是一个循环的时钟（$\mathbb{Z}/(n+1)\mathbb{Z}$）。
  • 比喻：就像一周有 7 天，数到第 8 天又回到第 1 天。这里的积木价值也是循环的，数到 $n+1$ 就归零了。
• 情况 B：如果 $d$ 和 $n$ 都是奇数
  • 结果：账本是无限的直线（$\mathbb{Z}$）。
  • 比喻：就像数数一样，1, 2, 3... 永远数不完，没有循环。
• 情况 C：如果 $d$ 是奇数，但 $n$ 是偶数
  • 结果：账本是0。
  • 比喻：所有的积木互相抵消了，最后剩下的“净价值”是零。就像你左手拿 5 块钱，右手欠 5 块钱，总资产是 0。

4. 总结：这篇论文有什么用？

1. 统一了语言：以前数学家研究“三角世界”和“精确世界”是分开算账的，现在作者用一套通用的“外三角”语言，把两者统一了。
2. 提供了新工具：以前算大世界的账很难，现在只要找到那个“核心积木组”（Silting 或 Cluster Tilting），就能轻松算出总账。
3. 解决了难题：对于那种像正多边形一样的复杂乐高世界（$A_n$ 型），以前只能算出部分情况，现在作者给出了完整的公式，不管 $d$ 和 $n$ 是奇数还是偶数，都能算出结果。

一句话总结：
这篇论文就像给复杂的数学乐高世界发了一本**“万能计算器”**，告诉我们只要抓住几个关键的“核心积木”，就能轻松算出整个世界的“总价值”，并且揭示了这些价值在不同形状下是“循环的”、“无限的”还是“归零的”。

技术摘要

这是一份关于论文《外三角范畴的格罗滕迪克群》（The Grothendieck Group of an Extriangulated Category）作者李旺（Li Wang）的详细技术总结。

1. 研究背景与问题 (Problem)

背景：
格罗滕迪克群（Grothendieck group）是代数几何和表示论中的核心不变量。在三角范畴中，它由对象的同构类生成，模去由三角形（triangles）定义的欧拉关系；在正合范畴中，则由合流（conflations）定义。近年来，Nakaoka 和 Palu 引入了**外三角范畴（extriangulated categories）**的概念，统一了三角范畴和正合范畴的性质。

核心问题：
计算给定外三角范畴 $\mathcal{C}$ 的格罗滕迪克群 $K_0(\mathcal{C})$ 通常是一个困难的问题。现有的文献（如 Aihara-Iyama, Xiao-Zhu, Palu 等）在特定条件下（如 Krull-Schmidt 范畴、特定的刚性子范畴）建立了 $K_0(\mathcal{C})$ 与子范畴的分裂格罗滕迪克群 $K_0^{sp}(\mathcal{M})$ 或索引格罗滕迪克群 $K_0^{in}(\mathcal{M})$ 之间的同构关系。
本文旨在建立一个通用的框架，研究外三角范畴中 $d$-刚性（$d$-rigid）子范畴 $\mathcal{M}$ 的分裂格罗滕迪克群，并以此解决 $K_0(\mathcal{C})$ 的计算问题，特别是针对迷向子范畴（silting subcategories）和$d$-簇倾斜子范畴（$d$-cluster tilting subcategories）。

2. 方法论 (Methodology)

作者采用了一系列基于**指标（indices）和滤过（filtrations）**的代数构造方法：

1. $d$-刚性子范畴与滤过：

   • 定义了 $d$-刚性子范畴 $\mathcal{M}$（即 $\text{Ext}^i(\mathcal{M}, \mathcal{M}) = 0$ 对于 $1 \le i \le d$）。
   • 引入了 $\mathcal{M}$-左滤过（ML-filtration）和 $\mathcal{M}$-右滤过（MR-filtration）的概念，用于描述范畴 $\mathcal{C}$ 中对象相对于 $\mathcal{M}$ 的结构。
   • 定义了子范畴 $\mathcal{M}_t$（长度 $\le t$ 的滤过对象）以及 $\mathcal{M}_L$ 和 $\mathcal{M}_R$。

2. 指标映射（Index Maps）：

   • 定义了左指标 $\text{ind}^L_{\mathcal{M}}(X)$ 和右指标 $\text{ind}^R_{\mathcal{M}}(X)$，它们是将对象 $X$ 映射到分裂格罗滕迪克群 $K_0^{sp}(\mathcal{M})$ 中的元素。
   • 利用 E-三角形序列的性质，证明了这些指标在特定条件下（如 $t < d$ 或 $\mathcal{M}$ 是 $\infty$-刚性时）是良定义的，并且满足加性。

3. 同态构造与商群：

   • 构造了从 $\text{Im}(\text{Ext}(-, ?)|_{\mathcal{M}})$ 到 $K_0^{sp}(\mathcal{M})$ 的同态 $\Phi$ 和 $\Psi$。
   • 定义了索引格罗滕迪克群 $K_0^{in}(\mathcal{M}) := K_0^{sp}(\mathcal{M}) / \text{Im}(\Phi)$。
   • 建立了 $K_0(\mathcal{C})$ 与 $K_0^{sp}(\mathcal{M})$ 或 $K_0^{in}(\mathcal{M})$ 之间的同构关系。

4. 几何模型应用：

   • 针对 $A_n$ 型的 $d$-簇范畴，利用其几何模型（正 $(d(n+1)+2)$-边形的 $d$-对角线）和 Auslander-Reiten 拟图，具体计算了格罗滕迪克群的结构。

3. 主要贡献与结果 (Key Contributions & Results)

主要定理

定理 A (关于迷向子范畴):
设 $\mathcal{M}$ 是外三角范畴 $\mathcal{C}$ 中的迷向子范畴（silting subcategory）。则存在群同构：
$$K_0(\mathcal{C}) \cong K_0^{sp}(\mathcal{M})$$

• 突破点： 该结果不需要 $\mathcal{C}$ 是 Krull-Schmidt 范畴。这推广了 Aihara-Iyama 和 Adachi-Tsukamoto 在 Krull-Schmidt 情形下的结果，适用于任意外三角范畴。

推论 B (关于有界遗传余挠对):
设 $(\mathcal{T}, \mathcal{F})$ 是 $\mathcal{C}$ 中的有界遗传余挠对（bounded hereditary cotorsion pair）。则：
$$K_0(\mathcal{T}) \cong K_0(\mathcal{F}) \cong K_0(\mathcal{C}) \cong K_0^{sp}(\mathcal{T} \cap \mathcal{F})$$
这建立了迷向子范畴与有界遗传余挠对之间格罗滕迪克群的等价性。

定理 C (关于 $d$-簇倾斜子范畴):
设 $\mathcal{M}$ 是 $\mathcal{C}$ 中的 $d$-簇倾斜子范畴（$d$-cluster tilting subcategory）。则存在群同构：
$$K_0(\mathcal{C}) \cong K_0^{in}(\mathcal{M})$$
其中 $K_0^{in}(\mathcal{M})$ 是 $\mathcal{M}$ 的索引格罗滕迪克群。

• 意义： 这表明 $K_0(\mathcal{C})$ 同构于 $K_0^{sp}(\mathcal{M})$ 的一个商群，而非直接同构。作者还讨论了相对外三角范畴 $(\mathcal{C}, \mathcal{E}_{\mathcal{M}}, s|_{\mathcal{E}_{\mathcal{M}}})$ 的格罗滕迪克群与 $K_0^{sp}(\mathcal{M})$ 的关系。

定理 D ($A_n$ 型 $d$-簇范畴的格罗滕迪克群):
设 $C^d_{A_n}$ 是 $A_n$ 型的 $d$-簇范畴。其格罗滕迪克群 $K_0(C^d_{A_n})$ 的结构如下：
$$K_0(C^d_{A_n}) \cong \begin{cases} \mathbb{Z}/(n + 1)\mathbb{Z}, & \text{若 } d \text{ 为偶数}; \\ \mathbb{Z}, & \text{若 } d \text{ 和 } n \text{ 均为奇数}; \\ 0, & \text{若 } d \text{ 为奇数且 } n \text{ 为偶数}. \end{cases}$$

• 贡献： 这是对 Fedele [8] 中相关命题的完整版本，涵盖了 $d$ 为奇数和偶数的所有情况，并给出了具体的计算过程。

4. 技术细节与证明策略

• 指标的同构性： 文章证明了在 $d$-刚性子范畴 $\mathcal{M}$ 下，左指标 $\text{ind}^L_{\mathcal{M}}$ 和右指标 $\text{ind}^R_{\mathcal{M}}$ 诱导了 $K_0(\mathcal{M}_t)$ 与 $K_0^{sp}(\mathcal{M})$（或商群）之间的同构。
• E-三角形序列的归纳： 证明过程中大量使用了 E-三角形序列（E-triangle sequences）的归纳法，特别是利用长正合序列和 Yoneda 引理来处理高阶扩展 $\text{Ext}^i$。
• 几何组合计算： 在计算 $A_n$ 型簇范畴时，作者利用 $d$-对角线（$d$-diagonals）在正多边形中的交叉性质，构造了具体的 $d$-倾斜对象序列，并通过分析 Auslander-Reiten 三角形（或 $(d+2)$-角）导出的关系式，最终确定了群的生成元和关系。

5. 意义与影响 (Significance)

1. 统一框架： 本文成功地将三角范畴和正合范畴中关于格罗滕迪克群的计算理论统一到了外三角范畴的框架下，消除了对 Krull-Schmidt 性质的依赖，极大地扩展了理论的适用范围。
2. 推广现有结果： 将 Aihara-Iyama 关于迷向子范畴的结果、Xiao-Zhu 和 Palu 关于簇倾斜子范畴的结果推广到了更一般的 $d$-刚性子范畴和外三角范畴。
3. 精确计算： 给出了 $A_n$ 型 $d$-簇范畴格罗滕迪克群的完整分类，填补了 $d$ 为奇数时 $n$ 为偶数情况下的空白（此前文献可能未完全覆盖或表述不清）。
4. 工具创新： 引入的“索引格罗滕迪克群” $K_0^{in}(\mathcal{M})$ 和相关的指标映射为研究更复杂的刚性子范畴结构提供了新的代数工具。

综上所述，该论文通过引入指标理论和滤过技术，在外三角范畴的格罗滕迪克群计算方面取得了突破性进展，不仅统一了已知结果，还解决了高维簇范畴的具体计算问题，对表示论和代数几何领域具有重要的理论价值。