[论文解读] Stable categories of Cohen-Macaulay modules and cluster categories

Claire Amiot, Osamu Iyama+1 more|arXiv (Cornell University)|Apr 19, 2011

Algebraic structures and combinatorial models参考文献 47被引用 56

一句话总结

本文通过一个双模 Calabi-Yau 代数，建立了 Gorenstein 局部奇点 $ R $ 上的格拉斯 Cohen-Macaulay 模的稳定范畴与有限维代数 $ \Lambda $ 的广义 $ d $-簇范畴之间的三角等价关系。该双模 Calabi-Yau 代数同时是 $ R $ 的高阶 Auslander 代数和 $ \Lambda $ 的一个扩张的高阶预投射代数。主要结果将 Auslander 的代数 McKay 对应关系推广至高维情形，并应用于商奇点和晶格模型代数。

ABSTRACT

By Auslander's algebraic McKay correspondence, the stable category of Cohen-Macaulay modules over a simple singularity is equivalent to the $1$-cluster category of the path algebra of a Dynkin quiver (i.e. the orbit category of the derived category by the action of the Auslander-Reiten translation). In this paper we give a systematic method to construct a similar type of triangle equivalence between the stable category of Cohen-Macaulay modules over a Gorenstein isolated singularity $R$ and the generalized (higher) cluster category of a finite dimensional algebra $Λ$. The key role is played by a bimodule Calabi-Yau algebra, which is the higher Auslander algebra of $R$ as well as the higher preprojective algebra of an extension of $Λ$. As a byproduct, we give a triangle equivalence between the stable category of graded Cohen-Macaulay $R$-modules and the derived category of $Λ$. Our main results apply in particular to a class of cyclic quotient singularities and to certain toric affine threefolds associated with dimer models.

研究动机与目标

• 将 Auslander 的代数 McKay 对应关系从 2-Calabi-Yau 推广至高维 Calabi-Yau 范畴。
• 为 Gorenstein 局部奇点构造格拉斯 Cohen-Macaulay $ R $-模的稳定范畴与有限维代数 $ \Lambda $ 的广义 $ d $-簇范畴之间的系统性三角等价。
• 识别一个双模 Calabi-Yau 代数，使其同时作为 $ R $ 的高阶 Auslander 代数和 $ \Lambda $ 的一个扩张的高阶预投射代数，从而实现等价关系。
• 将对应关系扩展至循环商奇点和来自晶格模型的仿射三维 toric 簇，为高阶簇范畴提供新例子。

提出的方法

• 构造一个双模 Calabi-Yau 代数 $ C $，使其同时是奇点 $ R $ 的高阶 Auslander 代数和 $ \Lambda $ 的一个扩张的高阶预投射代数。
• 利用由完美匹配 $ D $ 导出的 $ C $ 上的分次结构，定义一个零次子代数 $ A $，在适当条件下该子代数为有限维。
• 应用与有限整体维数代数相关的广义 $ d $-簇范畴 $ \mathcal{C}_d(\underline{A}) $ 理论。
• 通过函子 $ F $ 和 $ G $ 建立三角等价，证明 $ \underline{{\sf CM}}^\mathbb{Z}(C) \simeq \mathcal{C}_d(\underline{A}) $ 与 $ \underline{{\sf CM}}(C) \simeq \mathcal{C}_d(\underline{A}) $，其中 $ \underline{A} = A / \langle e_i \rangle $。
• 验证 quiver 与代数结构上的条件 (A3) 和 (A4)，以确保相关子代数的有限性与无环性。
• 将结果应用于具体情形：商奇点与晶格模型代数，利用 Jacobian 代数 $ B = {\rm Jac}(Q,W) $ 及其中心 $ C $。

实验结果

研究问题

• RQ1 能否将已知于 Kleinian 奇点的格拉斯 Cohen-Macaulay 模的稳定范畴与 1-簇范畴之间的三角等价关系推广至高维 Gorenstein 奇点？
• RQ2 在何种条件下，Gorenstein 局部奇点 $ R $ 与有限维代数 $ \Lambda $ 使得 $ \underline{{\sf CM}}^\mathbb{Z}(R) $ 与广义 $ d $-簇范畴 $ \mathcal{C}_d(\Lambda) $ 三角等价？
• RQ3 双模 Calabi-Yau 代数如何同时作为 $ R $ 的高阶 Auslander 代数和 $ \Lambda $ 的一个扩张的高阶预投射代数？
• RQ4 晶格模型在多大程度上通过其 Jacobian 代数及其相关中心提供高阶簇范畴的例子？
• RQ5 在晶格模型的 quiver 中，对于完美匹配 $ D $ 和一个顶点 $ i $，在何种条件下代数 $ \underline{A} = A / \langle e_i \rangle $ 为有限维，从而支持等价关系的构造？

主要发现

• 本文在完美匹配 $ D $ 与一个源顶点 $ i $ 满足特定条件时，为来自一致晶格模型的 Gorenstein 局部奇点 $ C $ 构造了三角等价 $ \underline{{\sf CM}}^\mathbb{Z}(C) \simeq \mathcal{C}_2(\underline{A}) $。
• 对于具有 quiver 与势 $ W $ 的晶格模型例子，其中心 $ C $ 同构于 $ \mathbb{C}[\mathbb{Z}^3 \cap \sigma^\vee] $，对应于 $ \mathbb{P}^1 \times \mathbb{P}^1 $，且等价关系成立，其中 $ \underline{A} $ 为顶点 $ 2,3,4 $ 上的路径代数。
• 当零次子代数 $ A = B_0 $ 有限且 $ i $ 是 $ Q - D $ 中的源点时，代数 $ \underline{A} $ 为有限维，此条件在 $ D = \{x_1, x_2\} $ 的例子中成立。
• 即使中心 $ C $ 不是孤立奇点，等价关系 $ \mathcal{C}_2(\underline{A}) \simeq \underline{{\sf CM}}(C) $ 依然成立，只要子代数 $ A $ 与 $ \underline{B} = B / \langle e_1 + e_2 \rangle $ 为有限维。
• 该构造也适用于非交换中心，表明结果可推广至非交换 Gorenstein 环。
• 关键技术工具是双模 Calabi-Yau 代数 $ C $，它统一了高阶 Auslander 与高阶预投射代数的结构，从而在高维情形下实现等价关系。