[论文解读] On a triangulated category which behaves like a cluster category of infinite Dynkin type, and the relation to triangulations of the infinity-gon

Thorsten Holm, Peter Jørgensen|ArXiv.org|Feb 24, 2009

Algebraic structures and combinatorial models参考文献 13被引用 7

一句话总结

本文引入一个具有 Auslander-Reiten 图 ℤA∞ 的 2-Calabi-Yau 三角范畴 D，证明其最大 1-正交子范畴（簇丛倾斜子范畴）与 ∞-多边形的三角剖分之间存在双射关系。关键结果表明，D 上存在一个簇结构，其中簇变异对应于 Fomin-Zelevinsky 的 quiver 变异，且簇丛倾斜子范畴的函子有限性由 ∞-多边形三角剖分中的局部有限性或喷泉构型来刻画。

ABSTRACT

This paper investigates a certain 2-Calabi-Yau triangulated category D whose Auslander-Reiten quiver is ZA_{\infty}. We show that the cluster tilting subcategories of D form a so-called cluster structure, and we classify these subcategories in terms of what one may call `triangulations of the infinity-gon'. This is reminiscent of the cluster category C of type A_n which is a 2-Calabi-Yau triangulated category whose Auslander-Reiten quiver is a quotient of ZA_n. The cluster tilting subcategories of C form a cluster structure and they are classified in terms of triangulations of the (n+3)-gon. The category D behaves like a `cluster category of type A_{\infty}'.

研究动机与目标

• 研究一个具有 Auslander-Reiten 图 ℤA∞ 的 2-Calabi-Yau 三角范畴 D，其模型为无穷 Dynkin 型 A∞ 的簇范畴。
• 通过 ∞-多边形的组合三角剖分对 D 的最大 1-正交子范畴进行分类。
• 证明这些子范畴构成一个簇结构，其中变异对应于 Fomin-Zelevinsky 的 quiver 变异。
• 通过 ∞-多边形三角剖分的几何性质，刻画哪些簇丛倾斜子范畴是函子有限的。

提出的方法

• 范畴 D 被实现为 DG 代数 A = C*(S²;k) 的紧致导出范畴 D^c(A)，其同伦等价于在度数 0 和 2 处有 k 的 DG 代数。
• 通过正交性条件研究最大 1-正交子范畴：A = (Σ⁻¹A)^⊥ = ⁻¹(ΣA)。
• ∞-多边形的三角剖分被定义为在以 ℤ 为顶点的圆周上，连接非相邻整数的非交叉弧的最大集合。
• 在这样的三角剖分与 D 的最大 1-正交子范畴之间构造了一个双射。
• 通过对应子范畴的 AR 图上的 Fomin-Zelevinsky 变异实现簇变异。
• 簇丛倾斜子范畴的函子有限性由其关联的 ∞-多边形三角剖分的几何类型（局部有限或喷泉构型）决定。

实验结果

研究问题

• RQ1 给定范畴 D 表现为无穷 Dynkin 型 A∞ 的簇范畴，是否可以定义一个类型为 A∞ 的簇代数？
• RQ2 哪些阿贝尔范畴可作为簇丛倾斜子范畴 𝒜 的商范畴 D/𝒜，特别是在遗传范畴的背景下？
• RQ3 D 是否是先前研究中所考虑的管状 2-Calabi-Yau 范畴的覆盖范畴？
• RQ4 是否存在 AR 图为 ℤΔ 的 2-Calabi-Yau 范畴，其中 Δ ≠ A∞ 为其他无穷 Dynkin 型的 quiver？
• RQ5 能否构造出推广有限型情形的 A∞ 型高阶簇范畴？

主要发现

• D 的最大 1-正交子范畴与以整数为顶点、非交叉对角线为弧的 ∞-多边形之间存在双射关系。
• 一个最大 1-正交子范畴是函子有限的，当且仅当其对应的 ∞-多边形三角剖分为局部有限或包含喷泉构型。
• D 中的簇构成一个簇结构，即每个簇中不可约对象均可唯一地进行变异以生成新簇。
• 簇的变异对应于相关子范畴 AR 图上的 Fomin-Zelevinsky 变异。
• 商范畴 D/𝒜 同构于 mod 𝒜，且簇变异诱导了关联无限 quiver Γ 与 Γ* 的表示范畴之间的变换：rep Γ → rep Γ*。
• 例子表明，某些三角剖分（例如同时具有左喷泉与右喷泉的）不产生函子有限的子范畴，从而为有限性条件的逆命题提供了反例。