[论文解读] Right $n$-angulated categories arising from covariantly finite subcategories

Zengqiang Lin|arXiv (Cornell University)|Sep 10, 2014

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

一句话总结

本文引入了右 $n$-正合范畴作为右三角范畴的推广，并证明在适当条件下，当 $Τ$ 是加法范畴或 $n$-正合范畴 $Τ$ 的协变有限子范畴时，商范畴 $χ/Τ$ 会继承一个右 $n$-正合结构。其主要贡献是一种范畴构造，推广了关于三角范畴和 $n$-正合范畴商范畴的先前结果。

ABSTRACT

We define the notion of right $n$-angulated category, which generalizes the notion of right triangulated category. Let $\mathcal{C}$ be an additive category or $n$-angulated category and $\mathcal{X}$ a covariantly finite subcategory, we show that under certain conditions the quotient $\mathcal{C}/\mathcal{X}$ is a right $n$-angulated category. This result generalizes some previous work.

研究动机与目标

• 通过 $n$-正合结构将右三角范畴的概念推广到高维。
• 建立当 $Τ$ 为协变有限子范畴时，商范畴 $χ/Τ$ 继承右 $n$-正合结构的条件。
• 统一并扩展高同调代数中关于商范畴的先前结果，包括来自弗罗贝尼乌斯 $n$-正合范畴和对偶对的结果。
• 为从现有的 $n$-正合或加法范畴构造右 $n$-正合范畴的新例子提供一个框架。

提出的方法

• 将右 $n$-正合范畴定义为满足与三角范畴类似公理的三元组 $(χ, \Sigma, \Theta)$，但适用于 $n$-项序列。
• 引入 $n$-余核和 $n$-上推的概念，以处理商范畴中高维态射的复合。
• 通过 $Τ$-左逼近和 $χ$ 中对象的 $n$-角构造 $χ/Τ$ 中的标准右 $n$-角。
• 验证 $χ/Τ$ 中 $n$-角类 $\Theta$ 满足公理 (RN1)–(RN4)，从而确保其为右 $n$-正合范畴。
• 利用函子 $T: \u03c7/Τ \to \u03c7/Τ$ 定义，其中 $TA = B$ 对于给定的 $n$-角，来定义商范畴中的移位函子。
• 将该构造应用于特殊情况，如 $n=3$（恢复右三角范畴），以及弗罗贝尼乌斯 $n$-正合范畴。

实验结果

研究问题

• RQ1 当 $Τ$ 是 $χ$ 的协变有限子范畴时，商范畴 $χ/Τ$ 在什么条件下会继承右 $n$-正合结构？
• RQ2 右 $n$-正合范畴的概念如何用于推广哈佩尔定理及其他关于商范畴的结果？
• RQ3 $n$-余核和 $n$-上推在商范畴中构造态射和完成图表时起什么作用？
• RQ4 在什么情况下商范畴 $χ/Τ$ 成为 $n$-正合范畴而非仅右 $n$-正合？
• RQ5 $χ$ 中的内射与射影对象的性质如何影响 $χ/\mathcal{I}$ 和 $χ/\mathcal{P}$ 的结构？

主要发现

• 当 $Τ$ 是加法范畴 $χ$ 的协变有限子范畴，且每个 $Τ$-单态射都有余核时，商范畴 $χ/Τ$ 是右 $n$-正合范畴。
• 在 $χ/Τ$ 中构造标准右 $n$-角的方法基于 $χ$ 中初始态射为 $Τ$-左逼近且中间项属于 $Τ$ 的 $n$-角。
• 当 $n=3$ 时，该结果恢复了经典定理：三角范畴模协变有限子范畴的商是右三角范畴。
• 若 $χ$ 是具有足够内射的 $n$-正合范畴，则 $χ/\mathcal{I}$ 是右 $n$-正合范畴。
• 若 $χ$ 是弗罗贝尼乌斯范畴（具有足够内射与射影，且 $\mathcal{I} = \mathcal{P}$），则 $χ/\mathcal{I}$ 是 $n$-正合范畴。
• 当 $χ$ 是 $n$-正合范畴，$Τ$ 是函子有限的，且 $(χ,\u03c7)$ 是 $Τ$-对偶对时，商范畴 $χ/\u03a4$ 是 $n$-正合范畴。