[论文解读] Non-commutative resolutions and Grothendieck groups

Hailong Dao, Osamu Iyama+2 more|arXiv (Cornell University)|May 21, 2012

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

一句话总结

本文通过分析环的K理论群和类群，研究了交换诺特正则域中奇点的非交换解析（NCR）。研究结果表明，NCR的存在对这些群施加了强烈的有限性条件，特别地，在温和假设下，对于标准分次科恩-麦克劳希代数，NCR的存在意味着其具有有理奇点。

ABSTRACT

Let $R$ be a noetherian normal domain. We investigate when $R$ admits a faithful module whose endomorphism ring has finite global dimension. This can be viewed as a non-commutative desingularization of $\Spec(R)$. We show that the existence of such modules forces stringent conditions on the Grothendieck group of finitely generated modules over $R$. In some cases those conditions are enough to imply that $\Spec(R)$ has only rational singularities.

研究动机与目标

• 确定诺特正则域R存在非交换解析（NCR）的必要条件，即存在忠实模M，使得End_R(M)具有有限全局维数。
• 研究此类NCR的存在如何约束R的代数K理论与类群结构。
• 对于复数域上标准分次科恩-麦克劳希代数，若其去心谱已为有理奇点，则NCR的存在性可推出Spec(R)仅具有有理奇点。
• 探讨局部环中K₀(R)的有限性与奇点有理性之间的关系。
• 在特征零下提供一个反例，其中CH₀(X)Q有限但H^d(X, O_X) ≠ 0，暗示主定理的逆命题可能存在反例。

提出的方法

• 使用代数K理论与K₀群技术，将K₀(R)与Cl(R)的有限性与NCR的存在性联系起来。
• 应用代数几何中的结果，包括Leray-Serre谱序列与上同调消去定理，分析射影代数簇的上同调。
• 利用命题3.8中所述事实：在正则域中，给出NCR的模M的非哥伦布森奇点集的余维数至少为2。
• 利用CH₀(X)Q与CH₀(X-D)Q之间的同构关系，将上同调消去性问题约化为在除子上的行为。
• 应用引理3.9：若CH₀(X)Q在除子上支撑，则对维数为d的光滑射影代数簇X，有H^d(X, O_X) = 0。
• 利用有理奇点由H^d(X, O_X) = 0刻画的性质（参见[34, 定理2.2]）

实验结果

研究问题

• RQ1 在何种条件下，正则域R存在忠实模M，使得End_R(M)具有有限全局维数？
• RQ2 K₀(R)或Cl(R)的有限性如何约束R的奇点结构？
• RQ3 对于复数域上标准分次科恩-麦克劳希代数R，若Spec(R) – {m}已为有理奇点，则NCR的存在是否意味着Spec(R)仅具有有理奇点？
• RQ4 光滑射影代数簇X的CH₀(X)Q有限性是否可推出其齐次坐标环具有有理奇点？
• RQ5 主定理的逆命题是否成立：若K₀(R)有限生成，是否必有R具有有理奇点？

主要发现

• 若R为半局部正则域且存在NCR，则其类群Cl(R)有限生成。
• 若R为半局部，且模M在余维数≤1的闭子概形外局部为生成元，并给出NCR，则K₀(R)有限生成。
• 对于复数域上标准分次科恩-麦克劳希代数R，若其在无关理想外仅具有有理奇点，则NCR的存在性蕴含Spec(R)仅具有有理奇点。
• 在引理3.9的假设下，光滑射影代数簇X（维数d）的上同调条件H^d(X, O_X) = 0等价于CH₀(X)Q在除子上支撑。
• 在代数闭域Q̄上存在K3曲面X，其CH₀(X)Q有限维但H²(X, O_X) ≠ 0，暗示在正特征下主定理的逆命题可能存在反例。
• 本结果为表面奇点提供了有理奇点的新刻画：表面奇点为有理奇点当且仅当其存在NCR。