[论文解读] A New Triangulated Category for Rational Surface Singularities

Osamu Iyama, Michael Wemyss|arXiv (Cornell University)|May 25, 2009

Algebraic structures and combinatorial models参考文献 16被引用 3

一句话总结

本文引入了一个新的三角范畴，即有理表面奇点上特殊柯比-麦克劳林（CM）模的弗罗贝尼乌斯范畴的稳定商，该范畴在非戈伦斯坦情形下可作为矩阵因子化稳定范畴的几何上有意义的替代品。关键贡献在于，该范畴中相对投射-内射对象被分类为恰好对应于最小解析解的对偶图中的非（-2）-曲线，从而隔离了共形除子，并实现了对重构代数的同调理解。

ABSTRACT

In this short paper we introduce a new triangulated category for rational surface singularities which in the non-Gorenstein case acts as a substitute for the stable category of matrix factorizations. The category is formed as a Frobenius quotient of the category of special CM modules, and we classify the relatively projective-injective objects and thus describe the AR quiver of the quotient. Connections to the corresponding reconstruction algebras are also discussed.

研究动机与目标

• 为有理表面奇点构造一个可管理的三角范畴，以替代非戈伦斯坦情形下不稳定的矩阵因子化稳定范畴。
• 对特殊CM模的弗罗贝尼乌斯范畴的稳定商中的相对投射-内射对象进行分类。
• 通过该新范畴阐明重构代数的几何与同调结构。
• 建立该商范畴的AR图与最小解析解对偶图之间的联系。
• 刻画CM模范畴何时存在n-簇倾斜对象，特别是当n=1,2和n>2时。

提出的方法

• 作者利用对偶性和相对投射性，在特殊CM模范畴SCM(R)上定义了弗罗贝尼乌斯范畴结构。
• 通过商去相对投射-内射对象，构造了稳定商范畴，记为\underline{\underline{\mathop{\rm SCM}\nolimits}}(R)。
• 利用埃斯纳尔的全层准则，将几何数据（解析上的局部自由层）与CM模联系起来。
• 他们识别出SCM(R)中的相对投射-内射对象恰好为R以及对应于对偶图中非（-2）-曲线的特殊CM模。
• 应用相对AR理论，描述了商范畴的AR图，表明其仅“观测”到共形除子。
• 利用商范畴的结构，推导出重构代数中的关系，表明在对应于（-2）-曲线的顶点处，局部关系为预投影关系。

实验结果

研究问题

• RQ1 有理表面奇点的特殊CM模弗罗贝尼乌斯范畴的稳定商范畴具有怎样的结构？
• RQ2 在该范畴中，哪些特殊CM模是相对投射-内射的，它们与最小解析解几何结构有何关联？
• RQ3 该新三角范畴如何与经典的奇异三角范畴及重构代数相关联？
• RQ4 该商范畴的AR图是怎样的，它如何反映解析对偶图的结构？
• RQ5 在何种条件下，CM模范畴会存在n-簇倾斜对象？

主要发现

• SCM(R)中的相对投射-内射对象恰好为R以及对应于最小解析解对偶图中非（-2）-曲线的特殊CM模。
• 稳定商范畴\underline{\underline{\mathop{\rm SCM}\nolimits}}(R)始终是克鲁尔-施密特范畴，而不同于非戈伦斯坦情形下的奇异范畴。
• \underline{\underline{\mathop{\rm SCM}\nolimits}}(R)为零当且仅当所有解析中的例外曲线均为（-2）-曲线，即不存在共形除子。
• 在最小解析中每个对应于（-2）-曲线的顶点处，重构代数具有唯一的局部关系，该关系为一个环路，且该关系在局部上为预投影关系。
• 在许多情形下，范畴\underline{\underline{\mathop{\rm SCM}\nolimits}}(R)同构于某个戈伦斯坦环R'的\underline{\mathop{\rm CM}\nolimits}(R')。
• CM(R)存在1-簇倾斜对象当且仅当R为商奇点；存在2-簇倾斜对象当且仅当R ≅ k[[x,y]]^{1/3(1,1)}；且当n>2时，仅当R为正则环时，CM(R)才存在n-簇倾斜对象。