[论文解读] Maximal Cohen-Macaulay modules over surface singularities

Igor Burban, Yuriy Drozd|ArXiv.org|Mar 2, 2008

Algebraic structures and combinatorial models参考文献 67被引用 17

一句话总结

本文全面综述了表面奇点上的最大 Cohen-Macaulay (MCM) 模，重点关注其同调性质、表示类型以及与 McKay 对应的关系。通过矩阵分解技术，本文确立了 A∞ 和 D∞ 奇点具有可数（离散）MCM 表示类型，并证明了当且仅当奇点为孤立奇点时，Ext1(M,N) 具有有限长，从而将同调有限性与几何孤立性联系起来。该研究统一了商、单纯及极小椭圆奇点的代数与几何 McKay 对应方法，并确认了在 Gorenstein 孤立奇点上的 MCM 模的稳定范畴中存在 Serre 对偶性和 Calabi-Yau 结构。

ABSTRACT

This is a survey article about properties of Cohen-Macaulay modules over surface singularities. We discuss various results on the Macaulayfication functor, reflexive modules over simple, quotient and minimally elliptic singularities, geometric and algebraic McKay Correspondence. Finally, we describe matrix factorizations corresponding to the indecomposable Cohen-Macaulay modules over the non-isolated singularities $A_\infty$ and $D_\infty$.

研究动机与目标

• 综述表面奇点上最大 Cohen-Macaulay (MCM) 模的结构与表示理论，尤其关注其与 McKay 对应的关系。
• 阐明 Macaulayfication 范函与反射模在单纯、商及极小椭圆奇点背景下的作用。
• 通过矩阵分解技术，为非孤立奇点 A∞ 和 D∞ 提供一种新的可数（离散）MCM 表示类型的证明。
• 统一商、简单椭圆及尖点奇点的代数与几何 McKay 对应方法。
• 证明在孤立 Gorenstein 表面奇点上，MCM 模的稳定范畴为 (d−1)-Calabi-Yau，且具有 Serre 对偶结构。

提出的方法

• 利用 Macaulayfication 范函将任意模与 MCM 模联系起来，特别适用于二维 Cohen-Macaulay 奇点。
• 应用反射模及其对偶理论分析正常表面奇点上的 MCM 模。
• 采用矩阵分解方法描述 A∞ 和 D∞ 奇点上的不可约 MCM 模。
• 应用 Buchweitz 的框架，将 MCM 模的稳定范畴解释为三角范畴。
• 利用同构关系 Ext1(M,N) 具有有限长当且仅当奇点为孤立奇点，从同调角度刻画孤立奇点。
• 使用计算机代数系统（Singular）计算超曲面奇点上具体模的 Ext 与 Hom 维数。

实验结果

研究问题

• RQ1 表面奇点上最大 Cohen-Macaulay 模的范畴结构如何？它与奇点的几何性质有何关联？
• RQ2 对于商表面奇点，代数 McKay 对应与几何 McKay 对应之间有何关系？
• RQ3 A∞ 和 D∞ 等非孤立奇点上的 MCM 模的表示类型为何？能否通过矩阵分解方法证明？
• RQ4 在何种条件下，MCM 模 M 和 N 的 Ext1(M,N) 具有有限长？这说明了奇点的何种性质？
• RQ5 孤立 Gorenstein 表面奇点上 MCM 模的稳定范畴具有何种 Calabi-Yau 结构？

主要发现

• 在 Krull 维数为 d 的孤立 Gorenstein 表面奇点上，MCM 模的稳定范畴是一个 (d−1)-Calabi-Yau 三角范畴。
• 从局部环上 MCM 模范畴到其完备化的正则函子是完全忠实的，保持 MCM 模的结构。
• 对于任意孤立 Gorenstein 奇点，存在一个双函子同构 Ext1(M, syzd(Tr(N))*) ≅ D(Hom(M,N))，在稳定范畴中确立了 Serre 对偶性。
• 表面奇点 A∞ 和 D∞ 具有可数（离散）MCM 表示类型，该结论通过基于矩阵分解的新证明得到确认。
• 对所有 MCM 模 M 和 N，Ext1(M,N) 具有有限长当且仅当奇点为孤立奇点，从而提供了孤立奇点的同调刻画。
• 对于 Krull 维数为 d 的孤立奇点 Gorenstein k-代数 A，函子 S = syz1−d 是 MCM 模稳定范畴上的 Serre 函子，诱导出双函子同构 Hom(M,N) ≅ Hom(N,S(M))∗。