[论文解读] $n$-exangulated categories

Martin Herschend, Yu Liu+1 more|arXiv (Cornell University)|Sep 20, 2017

Algebraic structures and combinatorial models参考文献 21被引用 24

一句话总结

本文引入了 $n$-exangulated categories 作为高阶同调代数的统一框架，推广了外三角、$n$-exact 和 $(n+2)$-angulated categories。在温和条件下，证明了具有足够投射与内射对象的外三角范畴中的 $n$-cluster tilting 子范畴是 $n$-exangulated 的，从而推广了 Jasso 和 Geiss-Keller-Oppermann 的经典结果。

ABSTRACT

For each positive integer $n$ we introduce the notion of $n$-exangulated categories as higher dimensional analogues of extriangulated categories defined by Nakaoka-Palu. We characterize which $n$-exangulated categories are $n$-exact in the sense of Jasso and which are $(n+2)$-angulated in the sense of Geiss-Keller-Oppermann. For extriangulated categories with enough projectives and injectives we introduce the notion of $n$-cluster tilting subcategories and show that under certain conditions such $n$-cluster tilting subcategories are $n$-exangulated.

研究动机与目标

• 通过将 $n$-exangulated categories 作为 $n$-exact、$(n+2)$-angulated 和 extriangulated categories 的共同推广，统一高阶同调代数。
• 刻画哪些 $n$-exangulated categories 是 $n$-exact 或 $(n+2)$-angulated 的。
• 在适当条件下，证明具有足够投射与内射对象的外三角范畴中的 $n$-cluster tilting 子范畴是 $n$-exangulated 的。
• 将 Jasso 和 Geiss-Keller-Oppermann 的经典结果推广到更广泛的范畴框架中。

提出的方法

• 将 $n$-exangulated categories 定义为三元组 $(\mathscr{C}, \mathbb{E}, \mathfrak{s})$，其中 $\mathbb{E}$ 是一个双加法函子，$\mathfrak{s}$ 将 $\mathbb{E}(C,A)$ 中的元素分配给 $n$-exangles（即长度为 $n+2$ 的序列），并满足推广了外三角范畴公理的公理体系。
• 引入范畴 $\mathbf{C}^{n+2}_{(A,C)}$ 和 $\mathbf{K}^{n+2}_{(A,C)}$ 以形式化 $n$-exangles 的结构。
• 使用维数转移方法，在具有足够投射与内射对象的外三角范畴中定义高阶扩张群 $\mathbb{E}^i$。
• 通过 $\mathbb{E}^i(\mathcal{T}, \mathcal{T}) = 0$ 对所有 $1 \leq i \leq n-1$ 成立，定义 $\mathscr{C}$ 中的 $n$-cluster tilting 子范畴 $\mathcal{T} \subseteq \mathscr{C}$。
• 建立条件（$\mathcal{T}$ 的条件 5.21，$\mathscr{C}$ 的条件 5.23），使得 $\mathcal{T}$ 能继承一个 $n$-exangulated 结构。
• 验证 $n$-exangulated categories 推广了已知类别：$1$-exangulated categories 与 extriangulated categories 等价，$n$-exact 和 $(n+2)$-angulated categories 是 $n$-exangulated categories 的特例。

实验结果

研究问题

• RQ1 如何在单一范畴框架下统一 extriangulated、$n$-exact 和 $(n+2)$-angulated categories？
• RQ2 在何种条件下，extriangulated category 中的 $n$-cluster tilting 子范畴本身是 $n$-exangulated 的？
• RQ3 如何精确刻画那些是 $n$-exact 或 $(n+2)$-angulated 的 $n$-exangulated categories？
• RQ4 在具有足够投射与内射对象的外三角范畴中，高阶扩张群 $\mathbb{E}^i$ 如何表现？
• RQ5 在该背景下，维数转移在定义 $n$-cluster tilting 子范畴中起什么作用？

主要发现

• $n$-exangulated categories 的概念推广了 extriangulated categories：$1$-exangulated categories 与 extriangulated categories 等价。
• $n$-exact categories 和 $(n+2)$-angulated categories 都是 $n$-exangulated categories 的特例。
• 若外三角范畴 $\mathscr{C}$ 具有足够投射与内射对象，且其子范畴 $\mathcal{T}$ 是 $n$-cluster tilting 的，则当 $\mathscr{C}$ 满足条件 5.23 且 $\mathcal{T}$ 满足条件 5.21 时，$\mathcal{T}$ 是 $n$-exangulated 的。
• 若 $\mathscr{C}$ 是 triangulated 的，则条件 5.23 自动成立；若 $\mathscr{C}$ 是 exact 的，则条件 5.23 等价于弱 idempotent 完备性。
• 若 $\mathscr{C}$ 是 exact 的，则条件 5.21 自动成立；若 $\mathscr{C}$ 是 triangulated 的，则当 $\mathcal{T} = \mathcal{T}[n]$ 时条件 5.21 成立。
• 该构造给出了既非 $n$-exact 也非 $(n+2)$-angulated 的 $n$-exangulated categories 的显式例子，例如 $n$-representation finite 代数的导出范畴中的 $\mathcal{T}^{\leq 0}$。