[论文解读] Lectures on Noncommutative Resolutions

Michael Wemyss|arXiv (Cornell University)|Oct 9, 2012

Algebraic structures and combinatorial models参考文献 36被引用 15

一句话总结

本文通过具体例子介绍了非交换创痕解析（NCCRs）的构建与几何解释，聚焦于二维和三维情形。它展示了如何通过极大科恩-麦克劳林模的自同态环构造NCCRs，将其与 quiver GIT 和导出范畴联系起来，并证明在三维情形下NCCRs在导出等价意义下唯一，在二维情形下在莫里塔等价意义下唯一。

ABSTRACT

These lecture notes are an expanded write-up of my short lecture series "Noncommutative Resolutions" given to the MSRI Graduate Student Workshop "Noncommutative Algebraic Geometry" during June 2012. The notes include five chapters, an appendix on quivers, exercises and sketch solutions. The accompanying video lectures can be found at http://www.msri.org/web/msri/scientific/workshops/show/-/event/Wm9213

研究动机与目标

• 通过具体例子提供理解非交换创痕解析（NCCRs）的几何与代数框架。
• 解释NCCRs如何从Gorenstein奇点上极大科恩-麦克劳林模的自同态环中产生。
• 通过quiver GIT与toric解析，将NCCRs与经典几何联系起来，尤其在ADE曲面奇点的背景下。
• 确立三维情形下NCCRs在导出等价意义下的唯一性，以及二维情形下在莫里塔等价意义下的唯一性。
• 展示tilting理论与奇异导出范畴在连接NCCRs与创痕解析及卡拉比-丘性质中的作用。

提出的方法

• 使用Auslander代数与斜群环构造商奇点（特别是C²上的Z₃作用）的NCCRs。
• 应用深度引理、可逆等价与Auslander-Buchsbaum公式，验证自同态环的有限整体维数。
• 利用quiver GIT从NCCRs中提取几何数据，包括通过稳定性条件获得的多个创痕解析。
• 利用tilting理论与导出范畴比较NCCRs与最小解析，并证明NCCRs是d-CY代数。
• 应用AR对偶性与Knörrer周期性，将NCCRs与AR序列及超曲面奇点上的模范畴联系起来。
• 使用整体截面函子，通过显式quiver表示，将解析上线丛的自同态环与NCCR代数识别。

实验结果

研究问题

• RQ1 如何从商奇点上的极大科恩-麦克劳林模显式构造非交换解析？
• RQ2 在奇异环上，模的自同态环在何种条件下具有有限整体维数并构成非交换创痕解析？
• RQ3 NCCRs如何通过quiver GIT与toric几何与经典创痕解析相关联？
• RQ4 为何在三维情形下NCCRs在导出等价意义下唯一，在二维情形下在莫里塔等价意义下唯一？
• RQ5 tilting与导出范畴在连接NCCRs与卡拉比-丘性质及McKay对应中的作用是什么？

主要发现

• 对于二维Gorenstein商奇点C[[x,y]]^G（其中G ≤ SL(2,C)），若M为极大科恩-麦克劳林模，则自同态环End_R(R ⊕ M)具有有限整体维数，并定义了一个NCCR。
• 在二维情形下，任意两个NCCRs彼此莫里塔等价；在三维情形下，它们彼此导出等价，且例子表明这些界限是紧致的。
• 通过斜群环构造NCCR可恢复ADE情形下的最小解析，且通过tilting实现导出McKay对应。
• quiver GIT提供了一种机制，可从单个NCCR中提取所有创痕解析，如不同稳定性条件导致三种不同解析所示。
• NCCR的Azumaya支集与基环的非奇异支集重合，且K₀群满射到环的类群。
• Knörrer周期性等价诱导了R与R'上CM范畴之间的等价，表明在奇点形式为uv = x²y与uv = x²y³时，Ext群彼此同构。