[论文解读] The cluster category of a canonical algebra

Michael Barot, Dirk Kussin+1 more|arXiv (Cornell University)|Jan 29, 2008

Algebraic structures and combinatorial models参考文献 18被引用 4

一句话总结

该论文建立了典范代数的丛范畴与加权射影线上凝聚层的遗传范畴的加权扩张之间的范畴等价。当欧拉示性数非负时，证明了丛范畴的tilting图是连通的，并以导范畴自同构模基本自同构F的形式完全描述了丛范畴的自同构群。

ABSTRACT

We study the cluster category of a canonical algebra A in terms of the hereditary category of coherent sheaves over the corresponding weighted projective line X. As an application we determine the automorphism group of the cluster category and show that the cluster-tilting objects form a cluster structure in the sense of Buan-Iyama-Reiten-Scott. The tilting graph of the sheaf category always coincides with the tilting or exchange graph of the cluster category. We show that this graph is connected if the Euler characteristic of X is non-negative, or equivalently, if A is of tame (domestic or tubular) representation type.

研究动机与目标

• 建立典范代数的丛范畴与加权射影线上凝聚层的遗传范畴之间的结构等价。
• 以导范畴自同构的形式确定丛范畴的自同构群。
• 在欧拉示性数非负的条件下，证明丛范畴的tilting（或交换）图是连通的。
• 证明丛范畴中的丛-tilting对象在Buan-Iyama-Reiten-Scott意义下构成一个丛结构。
• 分析丛范畴与层范畴的tilting图之间的关系，表明二者一致。

提出的方法

• 将丛范畴定义为在自同构F = τ⁻ ∘ [1]作用下的有界导范畴的轨道范畴，其中该导范畴来自凝聚层的遗传范畴。
• 构造一个度数为0和1的加权范畴𝔻H，利用Hom与Ext¹空间，并证明其与丛范畴等价。
• 利用从丛范畴到层范畴导范畴的精确自同构的提升性质。
• 应用关于丛管与变异序列的结果，分析tilting对象及其连通性。
• 利用导范畴的自同构作用于tilting对象，证明包含典范tilting对象的连通分支的不变性。
• 利用欧拉示性数条件（χ ≥ 0）以确保任意tilting对象可通过变异序列连接到典范配置。

实验结果

研究问题

• RQ1 典范代数的丛范畴与加权射影线上凝聚层的遗传范畴之间有何关系？
• RQ2 在何种条件下丛范畴的tilting图是连通的？
• RQ3 丛范畴的自同构群具有何种结构？
• RQ4 丛范畴中的丛-tilting对象如何与Buan-Iyama-Reiten-Scott意义下的丛结构相关？
• RQ5 层范畴的tilting图与丛范畴的tilting图之间有何关系？

主要发现

• 典范代数的丛范畴与从加权射影线上凝聚层的遗传范畴构造出的加权范畴等价。
• 当且仅当加权射影线的欧拉示性数非负时，丛范畴的tilting图是连通的。
• 丛范畴的自同构群在自然意义下同构于导范畴的精确自同构群模由F生成的循环子群。
• 在非管状情形下，丛范畴的自同构群同构于层范畴的自同构群。
• 在管状情形下，商空间Aut(𝓒)/Aut(ℋ)自然与ℚ ∪ {∞}一一对应。
• 层范畴的tilting图与丛范畴的tilting图一致，且当χ ≥ 0时二者均连通。