[论文解读] Continuous cluster categories II: continuous cluster-tilted categories

Kiyoshi Igusa, Gordana Todorov|arXiv (Cornell University)|Sep 11, 2019

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

一句话总结

本文证明了连续丛类别 ${\mathcal{C}}_{\pi}$ 关于由一个丛生成的加法子范畴的商是一个阿贝尔范畴，且同构于该丛的自同态环上无限长度模的范畴。通过在无限雅可比代数上使用无限字符串模，将经典丛-倾斜范畴的结果推广到连续情形。

ABSTRACT

We show that the quotient of the continuous cluster category $\mathcal C_π$ modulo the additive subcategory generated by any cluster is an abelian category and we show that it is isomorphic to the category of infinite length modules over the endomorphism ring of the cluster. These theorems extend the theorems of Caldero-Chapoton-Schiffler and Buan-Marsh-Reiten for cluster categories to the continuous cluster category of type $A$. These results will be generalized in a series of forthcoming joint papers of the two authors with Job Rock.

研究动机与目标

• 将此前仅在有限类型丛类别中建立的经典丛-倾斜范畴理论，推广至类型 $A$ 的连续设定。
• 证明商范畴 ${\mathcal{C}}_{\pi}/{\mathcal{T}}$（其中 ${\mathcal{T}}$ 是一个丛）是阿贝尔范畴。
• 建立连续丛-倾斜范畴 ${\mathcal{C}}_{\pi}/{\mathcal{T}}$ 与无限雅可比代数上无限长度字符串模范畴之间的同构。
• 通过无限箭图与模，将有限类型丛类别的结果（如 Caldero-Chapoton-Schiffler、Buan-Marsh-Reiten）推广至连续情形。
• 在连续设定中定义并刻画支撑与无穷小 Auslander–Reiten 转移，以实现同调控制。

提出的方法

• 将连续丛类别 ${\mathcal{C}}_{\pi}$ 定义为一个三角范畴，其不可约对象由开莫比乌斯带 ${\mathcal{M}}$ 参数化。
• 利用“端点”（即圆周 $S^1 = \mathbb{R}/2\pi\mathbb{Z}$ 上的点）对对象进行分类：若两个端点均为有理数（即形如 $a\pi/2^m$），则该对象为有理对象。
• 定义范畴 ${\mathcal{C}}/{\mathcal{T}}$ 中对象 $X$ 的支撑为所有丛对象 $S$ 的集合，使得 $\operatorname{Hom}_{{\mathcal{C}}/{\mathcal{T}}}(\tau^{-1}S, X) \neq 0$，其中 $\tau^{-1}$ 为无穷小 Auslander–Reiten 转移。
• 证明范畴 ${\mathcal{C}}/{\mathcal{T}}$ 中的态射是单态射（相应地，满态射）当且仅当其在支撑上是单态射（相应地，满态射），且同构由其在支撑上的同构性所刻画。
• 构造一个具有势的无限箭图，其雅可比代数 $\Lambda$ 通过字符串模参数化范畴 ${\mathcal{C}}/{\mathcal{T}}$。
• 在范畴 ${\mathcal{C}}/{\mathcal{T}}$ 中不可约对象的同构类与 $Rep_0\Lambda$（即不含无限向内箭头序列的无限字符串模范畴）中的字符串模之间建立双射。

实验结果

研究问题

• RQ1 商范畴 ${\mathcal{C}}_{\pi}/{\mathcal{T}}$ 是否为阿贝尔范畴？若为是，其结构与经典丛-倾斜范畴相比有何异同？
• RQ2 连续丛-倾斜范畴 ${\mathcal{C}}_{\pi}/{\mathcal{T}}$ 是否可实现为某个无限维代数上的模范畴？
• RQ3 在连续设定中，支撑与无穷小 Auslander–Reiten 转移的概念如何表现，以支持同调控制？
• RQ4 范畴 ${\mathcal{C}}_{\pi}/{\mathcal{T}}$ 中的对象与无限雅可比代数上字符串模之间的确切对应关系为何？
• RQ5 有限类型丛-倾斜范畴的结果在多大程度上可通过无限箭图与模推广至连续情形？

主要发现

• 商范畴 ${\mathcal{C}}_{\pi}/{\mathcal{T}}$ 是阿贝尔范畴，推广了有限类型丛-倾斜范畴的经典阿贝尔性质。
• 范畴 ${\mathcal{C}}_{\pi}/{\mathcal{T}}$ 同构于无限雅可比代数 $\Lambda$ 上的无限长度字符串模范畴 $Rep_0\Lambda$。
• ${\mathcal{C}}_{\pi}/{\mathcal{T}}$ 中的对象与 $Rep_0\Lambda$ 中的字符串模之间存在双射对应，且对象的支撑决定了其在范畴中的位置。
• 范畴 ${\mathcal{C}}/{\mathcal{T}}$ 中的态射 $X \to Y$ 存在核，其证明基于对 $Y$ 的无理端点数目的归纳法，利用端点与支撑的结构。
• ${\mathcal{X}}/{\mathcal{T}}$（有理丛-倾斜范畴）同构于 $\Lambda$ 上有限长度模的范畴，而 ${\mathcal{C}}/{\mathcal{T}}$ 对应于 $Rep_0\Lambda$。
• 通过有限长度逼近的极限，建立了同构 $\underline{\operatorname{Hom}}(M_1, M_2) = \operatorname{Hom}_{{\mathcal{C}}/{\mathcal{T}}}(X_1, X_2)$，并利用同态仅在极限线包含 ${\mathcal{T}}$ 或 $TX_1$ 中的对象于边界时才消失的性质。