[论文解读] Tilting Cohen-Macaulay representations

Osamu Iyama|arXiv (Cornell University)|May 14, 2018

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

一句话总结

本文建立了 Gorenstein 环的奇异范畴与有限维代数的导出或簇范畴之间的三角等价关系，揭示了 Cohen-Macaulay 表示、tilting 理论与代数几何之间的深刻联系。关键贡献在于构造了如下形式的显式等价关系：$—\operatorname{CM}^G R \simeq \mathrm{K}^b(\operatorname{proj} \Lambda)$ 与 $—\operatorname{CM}} R \simeq \mathrm{C}_d(\Lambda)$，通过 $d$-簇倾斜对象将 Gorenstein 环与 Calabi-Yau 三角范畴联系起来。

ABSTRACT

This is a survey on recent developments in Cohen-Macaulay representations via tilting and cluster tilting theory. We explain triangle equivalences between the singularity categories of Gorenstein rings and the derived (or cluster) categories of finite dimensional algebras.

研究动机与目标

• 建立 Gorenstein 环上分次 Cohen-Macaulay 模的稳定范畴与有限维代数的导出或簇范畴之间的三角等价关系。
• 研究 Gorenstein 环 $R$ 何时为 $d$-CM-有限，即在 $\operatorname{CM} R$ 中存在 $d$-簇倾斜对象。
• 探讨 Geigle-Lenzing 射影空间上导出范畴中 $d$-tilting 对象与该空间 $d$-VB-有限性之间的关系。
• 确定 Geigle-Lenzing 叠 $\mathbb{X}$ 何时存在 $d$-tilting 向量丛，从而将导出等价性与 $d$-表示无限代数联系起来。

提出的方法

• 利用 Buchweitz 对于 Gorenstein 环，其稳定范畴 $\underline{\operatorname{CM}} R$ 与奇异范畴 $\mathrm{D}_{\mathrm{sg}}(R)$ 之间的等价关系。
• 应用 Orlov 对分次奇异范畴在导出范畴中的实现，将 CM 模与代数几何联系起来。
• 运用 tilting 与簇倾斜理论，为特定类别的 Gorenstein 环构造三角等价关系 $\underline{\operatorname{CM}}^G R \simeq \mathrm{K}^b(\operatorname{proj} \Lambda)$ 与 $\underline{\operatorname{CM}} R \simeq \mathrm{C}_d(\Lambda)$。
• 利用高阶预正则代数与高阶 Auslander 代数，在 $d$-簇倾斜对象的背景下实现 Calabi-Yau 结构。
• 应用矩阵因子化与整体维数的结果，确定何时 $\mathrm{gl.dim}(\operatorname{End}(V)) = d$ 对于 $\mathrm{D}^b(\operatorname{coh} \mathbb{X})$ 中的 tilting 对象 $V$ 成立，从而推出 $d$-tilting 向量丛的存在性。
• 利用 $d$-CM-有限性与关联叠 $\mathbb{X}$ 的 $d$-VB-有限性之间的关系，利用 $\operatorname{CM}^\mathbb{L} R$ 的 $d$-簇倾斜子范畴与 $\operatorname{vect} \mathbb{X}$ 中包含 $\mathcal{O}(\vec{x})$ 对所有 $\vec{x} \in \mathbb{L}$ 的子范畴之间的对应关系。

实验结果

研究问题

• RQ1 何时分次 Gorenstein 环 $R$ 的稳定范畴 $\underline{\operatorname{CM}}^G R$ 允许存在 tilting 对象，从而导出三角等价关系 $\underline{\operatorname{CM}}^G R \simeq \mathrm{K}^b(\operatorname{proj} \Lambda)$，其中 $\Lambda$ 为某有限维代数？
• RQ2 在何种条件下，Gorenstein 环 $R$ 的奇异范畴 $\mathrm{D}_{\mathrm{sg}}(R)$ 与 $d$-簇范畴 $\mathrm{C}_d(\Lambda)$ 三角等价？
• RQ3 何时 Geigle-Lenzing 射影空间 $\mathbb{X}$ 允许存在 $d$-tilting 向量丛？这与 $\mathbb{X}$ 的凝聚层范畴导出等价于整体维数为 $d$ 的代数有何关联？
• RQ4 Gorenstein 环 $R$ 的 $d$-CM-有限性与关联叠 $\mathbb{X}$ 的 $d$-VB-有限性之间的确切关系为何？
• RQ5 哪些维数大于 1 的 Gorenstein 环在 $\operatorname{CM} R$ 中允许存在 $d$-簇倾斜对象？高阶预正则代数与高阶 Auslander 代数在此过程中起到何种作用？

主要发现

• 对于维数为 0 或 1 的 $\mathbb{Z}$-分次 Gorenstein 环，存在三角等价关系 $\underline{\operatorname{CM}}^G R \simeq \mathrm{K}^b(\operatorname{proj} \Lambda)$，其中 $\Lambda$ 为某有限维代数，该结果推广了已知结果。
• 当 $n \leq d+1$ 时，环 $R$ 为 $d$-CM-有限，且 $\operatorname{CM}^\mathbb{L} R = \operatorname{proj}^\mathbb{L} R$ 是一个 $d$-簇倾斜子范畴，这意味着 $\mathbb{X}$ 为 $d$-VB-有限。
• 若 $n = d+2 \geq 3$ 且权为 $ (2,2,p_3) $、$ (2,3,3) $、$ (2,3,4) $ 或 $ (2,3,5) $，则 $\mathbb{X}$ 允许存在 $d$-tilting 向量丛。
• 当 $n = d+2 \geq 4$ 且权为 $ (3,3,p_3,p_4) $，$p_3,p_4 \in \{3,4,5\}$ 时，$\mathbb{X}$ 同样允许存在 $d$-tilting 向量丛。
• 典范代数 $A^{\rm ca}$ 的整体维数满足 $\mathrm{gl.dim}(A^{\rm ca}) = d$ 当 $n \leq d+1$，且 $2d$ 当 $n \geq d+2$，这决定了 $\mathbb{X}$ 是否具有 $d$-tilting 向量丛。
• 若 $\mathbb{X}$ 为 Fano 空间，则存在 $d$-tilting 对象 $V$ 在 $\mathrm{D}^b(\operatorname{coh} \mathbb{X})$ 中，且满足 $\mathrm{gl.dim}(\operatorname{End}(V)) = d$，此时 $V$ 诱导出 $\operatorname{vect} \mathbb{X}$ 中的 $d$-簇倾斜子范畴 $\operatorname{add}\{V(\ell \vec{\omega}) \mid \ell \in \mathbb{Z}\}$。