[论文解读] A simultaneous generalization of mutation and recollement on a triangulated category

Hiroyuki Nakaoka|arXiv (Cornell University)|Dec 7, 2015

Algebraic structures and combinatorial models参考文献 16被引用 8

一句话总结

本文引入了三角范畴中同心双 torsion 对的概念，统一了 Iyama-Yoshino 变形与三角范畴的黏合结构。它从此类对构造了一个预三角子商范畴，实现了对 torsion 对的变形与黏合操作的统一推广，并将 Hovey 双 torsion 对作为黏合结构的推广应用于其中。

ABSTRACT

In this article, we introduce the notion of {\it concentric twin cotorsion pair} on a triangulated category. This notion contains the notions of $t$-structure, cluster tilting subcategory, co-$t$-structure and functorally finite rigid subcategory as examples. Moreover, a recollement of triangulated categories can be regarded as a special case of concentric twin cotorsion pair. To any concentric twin cotorsion pair, we associate a pretriangulated subquotient category. This enables us to give a simultaneous generalization of the Iyama-Yoshino reduction and the recollement of cotorsion pairs. This allows us to give a generalized mutation on a set of cotorsion pairs defined by the concentric twin cotorsion pair.

研究动机与目标

• 统一三角范畴中两个基本构造：Iyama-Yoshino 变形与三角范畴的黏合结构。
• 将 Iyama-Yoshino 约化与 torsion 对的黏合结构统一到一个单一框架中。
• 通过同心双 torsion 对定义 torsion 对的广义变形操作。
• 证明 Hovey 双 torsion 对自然地推广了黏合结构。
• 在与同心双 torsion 对关联的子商范畴上建立预三角结构。

提出的方法

• 引入同心双 torsion 对的概念，作为统一结构，其中 t-结构、簇倾斜子范畴、共 t-结构以及函子有限刚性子范畴均为其特例。
• 从同心双 torsion 对 $(\mathcal{I}, \mathcal{Z})$ 定义子商范畴 $\mathcal{Z}/\mathcal{I}$，其中 $\mathcal{I}$ 为全子范畴，$\mathcal{Z}$ 关于扩张封闭。
• 建立包含与商函子之间的伴随性质，以确保与三角结构的相容性。
• 在 $\mathcal{Z}/\mathcal{I}$ 上构造右三角结构，并在适当条件下证明其为预三角范畴。
• 利用子商范畴通过 $\mathcal{Z}/\mathcal{I}$ 上的 $\mathbb{Z}$-作用的拉回，定义 torsion 对的广义变形操作。
• 将该框架应用于黏合情形，表明 Hovey 双 torsion 对是从中间范畴上选取一个 torsion 对的黏合图自然推广而来。

实验结果

研究问题

• RQ1 是否可以在三角范畴中，通过单一框架同时推广 torsion 对的变形与黏合结构？
• RQ2 何种子范畴对的结构条件可确保其关联的子商范畴继承预三角结构？
• RQ3 torsion 对的广义变形操作与经典 Iyama-Yoshino 变形及黏合构造之间有何关系？
• RQ4 Hovey 双 torsion 对在何种意义上推广了三角范畴中的黏合结构？
• RQ5 在同心双 torsion 对的背景下，子商范畴 $\mathcal{Z}/\mathcal{I}$ 与原始三角范畴 $\mathcal{C}$ 之间的精确关系是什么？

主要发现

• 在三角范畴上定义的同心双 torsion 对，可在其关联的子商范畴 $\mathcal{Z}/\mathcal{I}$ 上诱导出预三角结构，同时推广了 Iyama-Yoshino 约化与黏合结构。
• torsion 对的广义变形通过 $\mathcal{Z}/\mathcal{I}$ 上的 $\mathbb{Z}$-作用的拉回定义，扩展了经典变形与黏合操作。
• 证明 Hovey 双 torsion 对是黏合结构的自然推广，其来源于中间范畴上选取一个 torsion 对的黏合图。
• 该构造在 $\mathcal{C}$ 中包含 $\mathcal{I}$ 的 torsion 对与 $\mathcal{Z}/\mathcal{I}$ 中的 torsion 对之间建立了一个双射，推广了 Zhou 与 Zhu 的引理 1.3。
• 该框架将 t-结构、簇倾斜子范畴、共 t-结构以及函子有限刚性子范畴统一为同心双 torsion 对的特例。
• 当同心双 torsion 对满足所需的正交性与扩张封闭条件时，子商范畴 $\mathcal{Z}/\mathcal{I}$ 继承了三角结构。