[论文解读] Maximal rigid subcategories in 2-Calabi-Yau triangulated categories

Yu Zhou, Bin Zhu|arXiv (Cornell University)|Apr 30, 2010

Algebraic structures and combinatorial models参考文献 2被引用 6

一句话总结

该论文证明，在存在丛丛倾斜子范畴的2-卡比-亚代数三角范畴中，每个函子有限的极大刚性子范畴必然是丛丛倾斜的。此外，这些子范畴生成的代数为戈伦斯坦代数，其戈伦斯坦维数至多为1，且通过其端点代数的近乎莫戴塔等价性，经由变换等价的极大刚性对象具有同构的表示类型。

ABSTRACT

We study the maximal rigid subcategories in $2-$CY triangulated categories and their endomorphism algebras. Cluster tilting subcategories are obviously maximal rigid; we prove that the converse is true if the $2-$CY triangulated categories admit a cluster tilting subcategory. As a generalization of a result of [KR], we prove that any maximal rigid subcategory is Gorenstein with Gorenstein dimension at most 1. Similar as cluster tilting subcategory, one can mutate maximal rigid subcategories at any indecomposable object. If two maximal rigid objects are reachable via mutations, then their endomorphism algebras have the same representation type.

研究动机与目标

• 确定2-卡比-亚代数三角范畴中极大刚性子范畴何时为丛丛倾斜。
• 研究极大刚性对象端点代数的同调性质，特别是其戈伦斯坦维数。
• 探索极大刚性对象在变换下表示类型的保持性。
• 将丛丛倾斜子范畴的结果推广至更广泛的函子有限极大刚性子范畴类。
• 通过端点代数的近乎莫戴塔等价性，建立变换等价性与表示类型之间的联系。

提出的方法

• 使用扩张子范畴 $\mathcal{R} * \mathcal{R}[1]$ 分析刚性对象的结构，并将其与环境范畴 $\mathcal{C}$ 关联。
• 应用纳卡卡最近关于扩张闭包与格罗滕迪克群的结果，证明分裂格罗滕迪克群中的基性质。
• 在范畴 $\mathcal{A} = \text{add}(\mathcal{R} \cup \mathcal{R}[1])$ 中建立投射/内射分解，以证明戈伦斯坦维数≤1。
• 利用三角结构及稳定范畴中单射与满射的性质，推导同调界。
• 利用单步变换的概念及 $\mathcal{D} = R[-1]*R = R'[-1]*R'$ 的结构，比较端点代数的模范畴。
• 应用 tame-wild 对偶性与近乎莫戴塔等价性，比较变换相关对象端点代数的表示类型。

实验结果

研究问题

• RQ1 在2-卡比-亚代数三角范畴中，函子有限的极大刚性子范畴在何种条件下必然是丛丛倾斜的？
• RQ2 函子有限极大刚性子范畴的端点代数的戈伦斯坦维数是多少？
• RQ3 极大刚性对象的变换如何影响其端点代数的表示类型？
• RQ4 一个极大刚性子范畴的分裂格罗滕迪克群能否通过基关系由另一子范畴的不可约对象生成？
• RQ5 丛丛倾斜子范畴的同调与表示论性质在多大程度上可推广至极大刚性子范畴？

主要发现

• 若2-卡比-亚代数三角范畴存在丛丛倾斜子范畴，则其每个函子有限的极大刚性子范畴必为丛丛倾斜。
• 任意函子有限极大刚性子范畴的端点代数均为戈伦斯坦代数，其戈伦斯坦维数至多为1。
• 函子有限极大刚性子范畴中不可约对象的同构类代表元，在另一此类子范畴的分裂格罗滕迪克群中构成基。
• 该范畴中所有基本极大刚性对象的非同构不可约直和项数目相同。
• 若两个极大刚性对象可通过一系列单步变换相互到达，则其端点代数具有相同的表示类型。
• 极大刚性对象的端点代数称为2-CY极大倾斜代数，此类代数为戈伦斯坦代数，其维数至多为1。