[论文解读] 2-Calabi-Yau categories with a directed cluster-tilting subcategory

Jan Šťovíček, Adam-Christiaan van Roosmalen|arXiv (Cornell University)|Nov 11, 2016

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

一句话总结

该论文在配备有定向丛-倾斜子范畴的2-卡勒-尤拉范畴中建立了簇结构，推广了有限型簇代数。通过用线性有序集（线段）的表示来建模此类范畴，证明了丛-倾斜子范畴对应于循环有序集的三角剖分，并证明了在具有可数个非可约对象的此类范畴中，存在一个在所有刚性对象上定义的簇映射，其生成的簇代数的变量恰好是所有刚性非可约对象。

ABSTRACT

As a generalization of acyclic 2-Calabi-Yau categories, we consider 2-Calabi-Yau categories with a directed cluster-tilting subcategory; we study their cluster-tilting subcategories and the cluster combinatorics that they encode. We show that such categories have a cluster structure. Triangulated 2-Calabi-Yau categories with a directed cluster-tilting subcategory are closely related to representations of certain semi-hereditary categories, more specifically to representations of thread quivers. Thread quivers are a tool to classify and study certain semi-hereditary categories using both quivers and linearly ordered sets (threads). We study the case where the thread quiver consists of a single thread (so that representations of this thread quiver correspond to representations of some linearly ordered set), and show that, similar to the case of a Dynkin quiver of type $A$, the cluster-tilting subcategories can be understood via triangulations of an associated cyclically ordered set. In this way, we gain insight into the structure of the cluster-tilting subcategories of 2-Calabi-Yau categories with a directed cluster-tilting subcategory. As an application, we show that every 2-Calabi-Yau category which admits a directed cluster-tilting subcategory with countably many isomorphism classes of indecomposable objects has a cluster-tilting subcategory $\mathcal{V}$ with the following property: any rigid object in the cluster category can be reached from $\mathcal{V}$ by finitely many mutations. This implies that there is a cluster map which is defined on all rigid objects, and thus that there is a cluster algebra whose cluster variables are exactly given by the rigid indecomposable objects.

研究动机与目标

• 通过配备有定向丛-倾斜子范畴的2-卡勒-尤拉范畴，将有限型簇代数结构推广至无限秩情形。
• 通过循环有序集的三角剖分，理解此类范畴中丛-倾斜子范畴的组合结构。
• 证明在具有可数个非可约对象的此类范畴中，所有刚性对象上存在一个良定义的簇映射，从而实现到簇代数的去范畴化。
• 证明此类范畴中的刚性非可约对象恰好构成一个簇代数的所有簇变量。
• 通过线段箭图和轨道范畴，将表示论框架扩展至无限秩簇代数。

提出的方法

• 通过线段箭图的表示来建模配备有定向丛-倾斜子范畴的2-卡勒-尤拉范畴，其中线段代表线性有序集。
• 从线性有序集 $\mathcal{L}$ 的表示构造关联的簇范畴 $\mathcal{C}_\mathcal{L}$，推广类型 $A$ 的簇范畴。
• 利用循环有序集的三角剖分来分类 $\mathcal{C}_\mathcal{L}$ 中的最大刚性与丛-倾斜子范畴，类似于类型 $A$ 的组合结构。
• 应用伊山-吉野约化技术分析范畴中的变异与逼近，特别关注最小逼近与邦格茨补。
• 通过证明任意刚性对象均可通过有限次变异从一个固定的丛-倾斜子范畴到达，从而建立簇映射。
• 利用2-卡勒-尤拉范畴的Krull-Schmidt与Serre对偶性质，证明范畴是块当且仅当其丛-倾斜子范畴是不可约的。

实验结果

研究问题

• RQ1 在具有定向丛-倾斜子范畴的2-卡勒-尤拉范畴中，即使在无限秩情形下，是否可以定义簇结构？
• RQ2 循环有序集的三角剖分如何编码此类范畴中丛-倾斜子范畴的组合结构？
• RQ3 每个具有定向丛-倾斜子范畴且具有可数个非可约对象的2-卡勒-尤拉范畴是否都存在一个在所有刚性对象上定义的簇映射？
• RQ4 是否存在一种去范畴化过程，使得生成的簇代数的簇变量恰好是此类范畴中的刚性非可约对象？
• RQ5 线段箭图在分类此类情境下的半遗传范畴及其表示中起到什么作用？

主要发现

• 与线性有序集 $\mathcal{L}$ 关联的范畴 $\mathcal{C}_\mathcal{L}$ 具备簇结构，其中丛-倾斜子范畴对应于循环有序集的三角剖分。
• $\mathcal{C}_\mathcal{L}$ 中的最大刚性与丛-倾斜子范畴由循环序的最大与连通三角剖分分类。
• 簇范畴中的任意刚性对象均可通过有限次变异从一个固定的丛-倾斜子范畴 $\mathcal{V}$ 到达，从而确保全局簇映射的存在。
• 此类范畴中的刚性非可约对象构成一个簇代数的所有簇变量，从而实现到无限秩簇代数的去范畴化。
• 簇映射的存在性由以下事实保证：范畴是块当且仅当其丛-倾斜子范畴是不可约的，从而确保变异图的连通性。
• $\mathcal{C}_\mathcal{L}$ 是块当且仅当其丛-倾斜子范畴是不可约的，这确保了变异图的连通性以及簇映射的全局定义。