[论文解读] Singular Derived Categories of Q-factorial terminalizations and Maximal Modification Algebras

Osamu Iyama, Michael Wemyss|arXiv (Cornell University)|Aug 23, 2011

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

一句话总结

本文通过奇异导出范畴 D_sg(X) 及其幂等完备化，建立了具有孤立超曲面奇点的三维 Gorenstein 正常概形上 Q-因子化的范畴刻画。证明了 X 是 Q-因子化的充要条件是 D_sg(X) 是无刚性（rigid-free）的，并表明与此类 X 的导出等价性意味着相应的代数是极大修改代数（MMA），从而将非交换代数与交换奇点理论联系起来。

ABSTRACT

Let X be a Gorenstein normal 3-fold satisfying (ELF) with local rings which are at worst isolated hypersurface (e.g. terminal) singularities. By using the singular derived category D_{sg}(X) and its idempotent completion, we give necessary and sufficient categorical conditions for X to be Q-factorial and complete locally Q-factorial respectively. We then relate this information to maximal modification algebras(=MMAs), introduced in [IW10], by showing that if an algebra A is derived equivalent to X as above, then X is Q-factorial if and only if A is an MMA. Thus all rings derived equivalent to Q-factorial terminalizations in dimension three are MMAs. As an application, we extend some of the algebraic results in Burban-Iyama-Keller-Reiten [BIKR] and Dao-Huneke [DH] using geometric arguments.

研究动机与目标

• 将光滑性的导出刻画（D_sg = 0）推广至具有奇点的三维流形中的 Q-因子化性。
• 建立刻画 Q-因子化性及完全局部 Q-因子化性的范畴条件——特别是 D_sg(X) 中的无刚性。
• 通过证明与 Q-因子化终端化导出等价的代数必为 MMA，建立非交换代数（MMAs）与交换几何之间的联系。
• 将这些结果应用于 cA_n 奇点，并利用几何论证扩展 [BIKR] 和 [DH] 中的代数结果。
• 阐明局部检测 Q-因子化性的局限性以及完备化在保持几何性质中的作用。

提出的方法

• 将奇异导出范畴 D_sg(X) = D^b(coh X)/per(X) 作为奇异概形的范畴不变量使用。
• 应用 Orlov 的结果，表明 D_sg(X) 可在直和项意义下嵌入到奇异点处局部环的稳定 CM 类别的和中。
• 利用 D_sg(X) 的幂等完备化，将全局几何性质与局部不变量联系起来。
• 引入三角范畴中无刚性的概念：若范畴中不存在非零对象满足 Hom(a,a[1]) = 0，则称该范畴为无刚性。
• 利用如下事实：对于超曲面奇点，D_sg(X) 的无刚性等价于局部因子化性，而其幂等完备化则等价于完全局部因子化性。
• 应用倾斜理论与导出等价性，将几何上的共形解析与非交换代数（特别是 MMA）联系起来。

实验结果

研究问题

• RQ1 在具有孤立奇点的 Gorenstein 三维流形中，何种范畴条件可使其成为 Q-因子化？
• RQ2 能否通过相应概形的奇异导出范畴刻画出极大修改代数（MMA）的性质？
• RQ3 Q-因子化性是否可通过导出范畴检测，尤其是在完备化会破坏该性质的情况下？
• RQ4 几何修改（如 flops）与导出范畴中的代数突变和倾斜之间有何关系？
• RQ5 能否通过几何论证将 NCCR 和 MMA 的结果从局部情形推广至非局部情形？

主要发现

• 对于具有孤立超曲面奇点的 Gorenstein 三维流形 X，X 是 Q-因子化的当且仅当奇异导出范畴 D_sg(X) 是无刚性的。
• 若 X 是完全局部 Q-因子化的，则 D_sg(X) 的幂等完备化是无刚性的。
• 对于局部环为超曲面的概形，局部因子化性、Q-因子化性以及 D_sg(X) 的无刚性三者等价。
• 任何与三维 Q-因子化终端化导出等价的代数必然是极大修改代数（MMA）。
• 通过 quiver 与曲线族描述的共形解析与突变的几何图像，反映了导出范畴中代数突变与倾斜的结构。
• 当不存在 NCCR 时，该非局部刻画版本会失效，因为完备化会破坏 Q-因子化性，且局部检测不足以确定该性质。