[论文解读] McKay equivalence for symplectic resolutions of singularities

Roman Bezrukavnikov, D. Kaledin|arXiv (Cornell University)|Jan 1, 2004

Algebraic Geometry and Number Theory参考文献 16被引用 88

一句话总结

该论文通过量子化与正特征归约，建立了辛商空间奇异点 $V/\Gamma$ 的对称化解析 $X$ 的凝聚层有界导出范畴与 $V$ 上 $\Gamma$-等变凝聚层的导出范畴之间的导出 McKay 对应。关键结果为范畴等价 $D^b(\operatorname{Coh}(X)) \cong D^b(\operatorname{Coh}^\Gamma(V))$，利用阿兹马亚代数与布劳尔群技巧，将早期结果推广至高维情形。

ABSTRACT

Let $V$ be a finite-dimensional symplectic vector space over a field of characteristic 0, and let $G \subset Sp(V)$ be a finite subgroup. We prove that for any crepant resolution $X o V/G$, the bounded derived category $D^b(Coh(X))$ of coherent sheaves on $X$ is equivalent to the bounded derived category $D^b_G(Coh(V))$ of $G$-equivariant coherent sheaves on $V$.

研究动机与目标

• 将 McKay 对应推广至高维辛商奇异点，使用导出范畴。
• 在 $X$ 上的凝聚层导出范畴与 $V$ 上 $\Gamma$-等变凝聚层导出范畴之间建立导出等价。
• 通过模空间解释，为 $\mathbb{A}^2$ 上点的 Hilbert 模空间的 $n!$-猜想提供新证明。
• 证明任意辛商奇异点的创痕解析在适当稳定性条件下是 $\Gamma$-构型的模空间。

提出的方法

• 通过基变换至大特征 $p>0$ 的域 $\mathsf{k}$，将问题归约至正特征。
• 构造结构层 $\mathcal{O}_X$ 的量子化 $\mathcal{O}_h(X)$，作为 $\mathsf{k}[[h]]$ 上的形变，其整体截面同构于 $\Gamma$-不变的 Weyl 代数 $\mathcal{W}^\Gamma$。
• 将量子化代数 $\mathcal{O}_h$ 识别为弗罗贝尼乌斯提升 $X^{(1)}$ 上的阿兹马亚代数，从而导出主丛结构。
• 利用布劳尔群上的范数映射，解除阿兹马亚代数的扭结，从而在 $\mathsf{k}$ 上恢复导出等价。
• 在大特征下应用 $\mathcal{W}^\Gamma$ 与 $\mathcal{W}\#\Gamma$ 之间的莫里塔等价，关联两个导出范畴。
• 通过极限论证与基变换，将等价性从正特征提升至特征零。

实验结果

研究问题

• RQ1 在任意维度下，辛商奇异点的解析是否具有导出 McKay 等价？
• RQ2 能否通过量子化方法将 $D^b(\operatorname{Coh}(X))$ 与 $D^b(\operatorname{Coh}^\Gamma(V))$ 之间的等价性推广至二维以上？
• RQ3 $V/\Gamma$ 的解析 $X$ 是否为在适当稳定性条件下 $\Gamma$-等变层（G-构型）的模空间？
• RQ4 能否通过该等价性，无需显式计算，证明 $\mathbb{A}^2$ 上点的 Hilbert 模空间的 $n!$-猜想？

主要发现

• 对任意辛解析 $X \to V/\Gamma$，有 $D^b(\operatorname{Coh}(X))$ 同构于 $D^b(\operatorname{Coh}^\Gamma(V))$，推广了二维情形。
• 量子化 $\mathcal{O}_h(X)$ 的整体截面同构于 $\Gamma$-不变 Weyl 代数 $\mathcal{W}^\Gamma$，且在正特征下为 $X^{(1)}$ 上的阿兹马亚代数。
• $X^{(1)}$ 上阿兹马亚代数的整体截面与 $\mathcal{W}\#\Gamma$ 莫里塔等价，从而在 $\mathsf{k}$ 上实现导出等价。
• $\mathsf{k}$ 上大正特征的等价性通过基变换与完备化提升至特征零，从而证明定理 1.1。
• 证明了解析 $X$ 是 $\Gamma$-构型的模空间，尽管精确稳定性条件留待未来工作。
• 该等价性蕴含 $H^p(X, \Omega^q_X) = 0$ 对所有 $p > q$ 成立，这是导出等价下 Hochschild 同调不变性的推论。