[论文解读] The naive approach for constructing the derived category of a $d$-abelian category fails

Gustavo Jasso, Julian Külshammer|arXiv (Cornell University)|Apr 12, 2016

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

一句话总结

本文证明，对2-阿贝尔范畴的导出范畴的朴素构造法——即作为 mod A 的有界导出范畴中的2-簇倾斜子范畴——在一般情况下会失败。通过一个来自4-Gorenstein代数（整体维数为4）的特定2-阿贝尔范畴，作者表明，唯一在平移函子的平方下封闭且包含原范畴的子范畴，既不是2-簇倾斜的，也不是4-角的，从而否定了标准方法的有效性。

ABSTRACT

Let $k$ be a field. In this short note we give an example of a $2$-abelian $k$-category, realized as a $2$-cluster-tilting subcategory of the category $\operatorname{mod}\,A$ of finite dimensional (right) $A$-modules over a finite dimensional $k$-algebra $A$, for which the naive idea for constructing its "bounded derived category" as $2$-cluster-tilting subcategory of the bounded derived category of $\operatorname{mod}\,A$ cannot work.

研究动机与目标

• 研究是否可以通过 D^b(mod A) 中的 d-簇倾斜子范畴，对 d-阿贝尔范畴的导出范畴进行朴素构造。
• 确定此类构造是否如高阶Auslander–Reiten理论所预期的那样，产生一个 (d+2)-角范畴。
• 识别朴素方法在 d=2 情况下失效的条件。
• 提供一个反例，说明预期的导出结构无法通过标准构造获得。

提出的方法

• 使用箭图 1→2→3→4→5 并商去长度为2的路径，构造一个整体维数为4的有限维 k-代数 A。
• 识别 mod A 中唯一的2-簇倾斜子范畴 M(A)，其由特定的不可约模构成。
• 将 U(A) 定义为 D^b(mod A) 中的全子范畴，由 M(A) 中模在平移函子的平方作用下的平移生成。
• 利用 D^b(mod A) 的Auslander–Reiten箭图分析 U(A) 的结构并验证其封闭性质。
• 应用 GKO13 中的准则，检验 U(A) 是否在平移函子为 [2] 的条件下具有4-角结构。
• 通过构造一个涉及非重言态射的4-角，导出矛盾：其最后一个映射必须为零，违反4-角范畴的公理。

实验结果

研究问题

• RQ1 是否可以在一般情况下，通过 D^b(mod A) 中的 d-簇倾斜子范畴，对 d-阿贝尔范畴的导出范畴进行朴素构造？
• RQ2 对于2-阿贝尔范畴 M(A)，子范畴 U(A) = add{M[2i] | M ∈ M(A), i ∈ ℤ} 是否是 D^b(mod A) 中的2-簇倾斜子范畴？
• RQ3 U(A) 在 D^b(mod A) 中是否具有以 [2] 为平移函子的4-角结构？
• RQ4 是否存在唯一在 [2] 下封闭且包含 M(A) 的子范畴，却既不是2-簇倾斜的，也不是4-角的？

主要发现

• U(A) 是 D^b(mod A) 中唯一包含 M(A) 且在平移函子的平方下封闭的刚性子范畴。
• U(A) 不是 D^b(mod A) 中的2-簇倾斜子范畴，因为在一个本应为零的复形中间，存在非零的 Ext^1。
• U(A) 不具有以 [2] 为平移函子的4-角结构，因为一个涉及非重言态射的4-角会导致矛盾，其最后一个映射必须为零。
• 矛盾的根源在于：从单模1到模2→3的移位在 [2] 作用下不存在非零同态，违反了4-角范畴的公理。
• 该例子表明，将2-阿贝尔范畴的导出范畴朴素地实现为 D^b(mod A) 中的2-簇倾斜子范畴的方法，在一般情况下是行不通的。