[论文解读] Recollement of additive quotient categories

Minxiong Wang, Zengqiang Lin|arXiv (Cornell University)|Feb 2, 2015

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

一句话总结

本文为阿代尔加法范畴引入了重组结构，并在适当条件下证明了此类重组在商范畴中诱导出重组。关键贡献在于从三角范畴中的变异对构造出商三角范畴的重组，统一了阿贝尔范畴与三角范畴的重组框架。

ABSTRACT

In this note, we define a recollement of additive categories, and prove that such a recollement can induce a recollement of their quotient categories. As an application, we get a recollement of quotient triangulated categories induced by mutation pairs.

研究动机与目标

• 为阿代尔加法范畴定义重组结构，推广现有阿贝尔范畴与三角范畴中的重组结构。
• 建立在何种条件下，阿代尔加法范畴的重组可诱导其商范畴中的重组。
• 将该通用框架应用于三角范畴，特别是通过变异对，构造商三角范畴的重组。
• 利用商构造统一处理阿贝尔范畴与三角范畴中的重组框架。

提出的方法

• 通过满足伴随关系与全嵌入条件的六个函子，定义阿代尔加法范畴的重组结构。
• 使用商范畴构造：对于阿代尔加法范畴 𝒜 及其子范畴 𝒳，定义 𝒜/𝒳 为模去通过 𝒳 因子化的态射所构成的范畴。
• 证明保持子范畴结构的函子在范畴之间诱导出商范畴之间的函子。
• 证明商范畴中诱导出的函子保持伴随关系与全嵌入关系，从而构成重组。
• 通过假设 (𝒞,𝒞) 是 𝒟-变异对且 𝒟 ⊆ Ker j*，将该框架应用于三角范畴。
• 利用已知的商三角范畴结果（例如 Iyama-Yoshino）以确保商范畴 𝒞/𝒟 具有三角结构。

实验结果

研究问题

• RQ1 在适当条件下，阿代尔加法范畴的重组是否可诱导其商范畴中的重组？
• RQ2 如何在阿代尔加法范畴中一致地定义并保持商构造下的重组结构？
• RQ3 当子范畴为变异对时，三角范畴的重组是否在商范畴中诱导出重组？
• RQ4 该框架是否可通过商构造统一阿贝尔范畴与三角范畴中的重组？
• RQ5 在何种条件下，三角范畴关于变异对的商仍保持三角结构并具有重组结构？

主要发现

• 若子范畴在相关函子下保持不变，则阿代尔加法范畴的重组可诱导其商范畴中的重组。
• 阿代尔加法范畴之间的商函子可提升为商范畴之间的函子，且保持伴随关系与全嵌入关系。
• 当 (𝒞,𝒞) 是 𝒟-变异对且 𝒟 ⊆ Ker j* 时，商范畴 𝒞/𝒟 继承三角结构。
• 商范畴中诱导出的函子构成三角范畴的重组，且其函子之间为正合函子。
• 该结果可推广至在 Auslander-Reiten 转移下封闭的函子有限子范畴，确保商范畴保持三角结构。