[论文解读] Tilting and cluster tilting for quotient singularities

Osamu Iyama, Ryo Takahashi|arXiv (Cornell University)|Dec 29, 2010

Algebraic structures and combinatorial models参考文献 40被引用 12

一句话总结

本文证明了商奇点上分次 Cohen-Macaulay 模的稳定范畴 admits tilting 对象，从而实现与有限维代数的导出范畴的三角等价。作者运用高维 Auslander-Reiten 理论与簇丛 tilting，表明 Koszul 复形作为高阶几乎分裂序列，且商奇点上的斜群代数是高阶 Auslander 代数，从而在任意维数下通过簇丛 tilting 子范畴构造出 tilting 对象。

ABSTRACT

We shall show that the stable categories of graded Cohen-Macaulay modules over quotient singularities have tilting objects. In particular, these categories are triangle equivalent to derived categories of finite dimensional algebras. Our method is based on higher dimensional Auslander-Reiten theory, which gives cluster tilting objects in the stable categories of (ungraded) Cohen-Macaulay modules.

研究动机与目标

• 在商奇点上分次 Cohen-Macaulay 模的稳定范畴中建立 tilting 对象的存在性。
• 通过应用簇丛 tilting 与高维 Auslander-Reiten 理论，将 tilting 理论推广至高维奇点。
• 在维数为 d 的情形下，证明商奇点上（不分次）Cohen-Macaulay 模的稳定范畴 admits (d−1)-簇丛 tilting 子范畴。
• 证明与商奇点相关联的斜群代数是高阶 Auslander 代数。
• 在循环商奇点的情形下，建立簇范畴与不分次 Cohen-Macaulay 模稳定范畴之间的联系。
• 对基础结果（如分次 Auslander-Reiten 对偶性与代数 triangulated 范畴的 tilting 定理）进行自包含的处理。

提出的方法

• 应用高维 Auslander-Reiten 理论，在 d 维商奇点上 Cohen-Macaulay 模的稳定范畴中构造 (d−1)-簇丛 tilting 子范畴。
• 利用商奇点上 Koszul 复形实现高阶几乎分裂序列的事实，而后者是簇丛 tilting 理论的核心。
• 证明与作用在多项式环上的有限群相关联的斜群代数是高阶 Auslander 代数，借助群作用的结构。
• 通过利用不分次情形下的簇丛 tilting 结构，在分次 Cohen-Macaulay 模的稳定范畴中构造 tilting 对象 U。
• 利用代数 triangulated 范畴的 tilting 定理（定理 1.2）建立稳定范畴与 tilting 对象的自同态代数的导出范畴之间的三角等价。
• 应用 DG 代数技巧与拟同构，通过 per A 与 H⁰(A) 构造，将自同态代数的导出范畴与原始稳定范畴联系起来。

实验结果

研究问题

• RQ1 分次 Cohen-Macaulay 模在商奇点上的稳定范畴是否 admits tilting 对象？
• RQ2 簇丛 tilting 理论能否用于在高维商奇点中构造 tilting 对象？
• RQ3 商奇点上的 Koszul 复形是否在高阶 Auslander-Reiten 理论的意义下实现为高阶几乎分裂序列？
• RQ4 在不分次 Cohen-Macaulay 模的稳定范畴中，簇丛 tilting 对象的自同态代数是否为 quasi-hereditary 或具有有限整体维数？
• RQ5 在任意维数的商奇点上，分次 Cohen-Macaulay 模的稳定范畴是否三角等价于某个有限维代数的导出范畴？

主要发现

• 在任意维数 d 的商奇点上，分次 Cohen-Macaulay 模的稳定范畴 admits tilting 对象。
• 在高阶 Auslander-Reiten 理论的意义下，商奇点上的 Koszul 复形被实现为高阶几乎分裂序列。
• 与有限群作用在多项式环上的斜群代数是整体维数为 d−1 的高阶 Auslander 代数。
• 在维数为 d 的商奇点上，不分次 Cohen-Macaulay 模的稳定范畴中存在簇丛 tilting 子范畴，且该子范畴为 (d−1)-簇丛 tilting。
• 簇丛 tilting 对象 U 的自同态代数是一个有限维代数，其导出范畴与分次 Cohen-Macaulay 模的稳定范畴三角等价。
• 作为 tilting 对象存在性的推论，分次 Cohen-Macaulay 模在商奇点上的稳定范畴三角等价于某个有限维代数的导出范畴。