[论文解读] Hereditary triangulated categories

Xiao‐Wu Chen, Claus Michael Ringel|arXiv (Cornell University)|Jun 27, 2016

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

一句话总结

本文通过全子范畴条件与特定路径的不存在性，提供了对遗传三角范畴——即与遗传交换范畴的有界导出范畴等价的三角范畴——的两个内在刻画。关键结果表明：一个三角范畴是遗传的，当且仅当对任意不可约对象 $X$，不存在从 $X[1]$ 到 $X$ 的路径，该结果在分片遗传代数与导出等价性方面具有应用。

ABSTRACT

We call a triangulated category \emph{hereditary} provided that it is equivalent to the bounded derived category of a hereditary abelian category, where the equivalence is required to commute with the translation functors. If the triangulated category is algebraical, we may replace the equivalence by a triangle equivalence. We give two intrinsic characterizations of hereditary triangulated categories using a certain full subcategory and the non-existence of certain paths. We apply them to piecewise hereditary algebras.

研究动机与目标

• 在不依赖外部等价关系的前提下，提供对遗传三角范畴的内在、范畴论的刻画。
• 通过证明对于代数性三角范畴，与导出范畴的等价关系可强化为三角等价关系，弥补早期研究中的一个空白。
• 基于不可约对象 $X$ 不存在从 $X[1]$ 到 $X$ 的路径，建立分片遗传代数的判别准则。
• 将这些刻画应用于分类由遗传交换范畴导出的三角范畴，并研究导出范畴中定向对象的性质。

提出的方法

• 引入并分析三角范畴中的遗传 $t$-结构，利用截断函子与上同调函子定义心为一个交换范畴。
• 证明一个三角范畴是遗传的，当且仅当它 admits 一个心为遗传的遗传 $t$-结构。
• 利用代数性三角范畴中 $t$-结构的实现函子，将加法等价关系提升为三角等价关系。
• 定义并分析三角范畴中的路径，特别关注不可约对象 $X$ 从 $X[1]$ 到 $X$ 的路径。
• 建立此类路径不存在性可刻画遗传三角范畴，尤其在代数情形下成立。
• 通过证明从 $X[1]$ 到 $X$ 的路径不存在性可刻画与遗传交换范畴的导出等价性，将结果应用于分片遗传代数。

实验结果

研究问题

• RQ1 能否在不参考外部导出范畴的前提下，对遗传三角范畴进行内在刻画？
• RQ2 在何种条件下，三角范畴与导出范畴之间的加法等价关系可被提升为三角等价关系？
• RQ3 路径结构——特别是从 $X[1]$ 到 $X$ 的路径——在判断一个三角范畴是否为遗传范畴中起什么作用？
• RQ4 这些刻画如何应用于分片遗传代数及其导出范畴？
• RQ5 导出范畴中定向对象与底层遗传交换范畴的导出等价类之间存在何种关系？

主要发现

• 一个三角范畴是遗传的，当且仅当它 admits 一个遗传 $t$-结构，从而提供了独立于外部等价关系的结构性刻画。
• 对于代数性三角范畴，任何与遗传交换范畴有界导出范畴的等价关系均可被精化为三角等价关系。
• 对任意不可约对象 $X$，若不存在从 $X[1]$ 到 $X$ 的路径，则可刻画遗传三角范畴。
• 一个三角范畴具有定向对象，当且仅当它与一个具有定向对象的遗传交换范畴的有界导出范畴三角同构。
• 有限维代数 $A$ 是分片遗传的，当且仅当在 $\mathbf{D}^b(A\text{-mod})$ 中，对任意不可约对象 $X$，不存在从 $X[1]$ 到 $X$ 的路径，从而提供了一个新的同调判别准则。
• 代数 $A$ 与有限维遗传代数导出等价，当且仅当其导出范畴包含一个定向对象。