[论文解读] Derived equivalences by quantization

D. Kaledin|ArXiv.org|Apr 28, 2005

Algebraic Geometry and Number Theory参考文献 13被引用 5

一句话总结

该论文通过正特征下的量子化方法，建立了奇异仿射代数簇 $Y$ 的辛解析 $X$ 上凝聚层的导出范畴与非交换代数 $R$ 上有限生成模的导出范畴之间的导出等价关系。关键结果是在 $Y$ 上局部成立的此类等价关系，将 McKay 对应关系推广至具有 $G_m$-作用且具备倾斜生成元的高维辛解析情形。

ABSTRACT

We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves on $X$ is equivalent to the dervied category of finitely generated left modules over a non-commutative algebra $R$, a non-commutative resolution of $Y$ in a sense close to that of M. Van den Bergh. We also prove some applications, such as: two resolutions are derived-equivalent; every resolution $X$ admits a "resolution of the diagonal"; the cohomology groups of the fibers of the map $X o Y$ are spanned by fundamental classes of algebraic cycles.

研究动机与目标

• 将 McKay 对应关系推广至三维以上的高维辛解析情形。
• 建立辛解析 $X$ 上凝聚层的导出范畴与非交换代数 $R$ 上有限生成模的导出范畴之间的导出等价关系。
• 证明对于同一簇 $Y$ 的任意两个辛解析 $X$ 和 $X'$，其导出范畴 $D^b_{\text{coh}}(X)$ 与 $D^b_{\text{coh}}(X')$ 在 $Y$ 上局部等价。
• 开发一种通过降低到正特征并结合 Fedosov 量子化方法构造 $X$ 上倾斜生成元的手段。
• 在具有正权重的 $G_m$-作用假设下，证明 $X$ 的导出范畴与 $Y$ 的非交换解析 $R$ 上模的导出范畴等价。

提出的方法

• 通过降低到正特征，并应用 [BK3] 中发展的有限域上的 Fedosov 量子化方法，构造非交换代数 $R$。
• 通过量子化过程在 $X$ 上构造一个 $\mathbb{G}_m$-等变的倾斜向量丛 $\mathcal{E}$，该过程在辛 $\mathbb{G}_m$-作用下保持不变。
• 通过谱序列与 Künneth 公式证明 $\mathcal{E}$ 的上同调群在度数 $l$ 上为纯权重 $l$，从而证明其为倾斜生成元。
• 利用等变上同调中的局部化定理，证明自然映射 $\tau: H^*_{\mathbb{G}_m,c}(X,\Lambda) \to H^*_{\mathbb{G}_m}(X,\Lambda)$ 在对参数 $u$ 取逆后成为同构，且其像位于由代数周期生成的 $k[u]$-子模中。
• 利用对角线的解析存在性（定理 1.9）确保解析中所有项均为 $\mathcal{E}^N$ 的直和项，从而可在证明中使用陈示性类与庞加莱对偶性。
• 应用投影公式与等变上同调谱序列，将问题约化为证明上同调的纯性及与 $\mathbb{G}_m$-作用的相容性。

实验结果

研究问题

• RQ1 McKay 对应关系能否推广至三维以上的高维辛解析？
• RQ2 在何种条件下，辛解析 $X$ 上凝聚层的导出范畴与非交换代数 $R$ 上模的导出范畴之间存在导出等价？
• RQ3 辛解析 $X$ 的导出范畴是否与同一奇异簇 $Y$ 的另一辛解析 $X'$ 的导出范畴等价？
• RQ4 能否通过降低到正特征并结合 Fedosov 量子化方法实现 $X$ 上倾斜生成元的构造？
• RQ5 若存在具有正权重的 $\mathbb{G}_m$-作用，是否能保证等变上同调映射的像位于由代数周期生成的 $k[u]$-子模中？

主要发现

• 在 $Y$ 上局部成立，辛解析 $X$ 上凝聚层的导出范畴 $D^b_{\text{coh}}(X)$ 与非交换代数 $R$ 上有限生成左模的导出范畴等价。
• 对于同一簇 $Y$ 的任意两个辛解析 $X$ 和 $X'$，其导出范畴 $D^b_{\text{coh}}(X)$ 与 $D^b_{\text{coh}}(X')$ 在 $Y$ 上局部等价，推广了 Kawamata 的 $K$-等价蕴含 $D$-等价的结果。
• 存在一个通过降低到正特征与 Fedosov 量子化方法构造的 $\mathbb{G}_m$-等变倾斜生成元 $\mathcal{E}$。
• 由于上同调的纯性，等变上同调谱序列坍缩，从而得到 $H^*_{\mathbb{G}_m}(X,\Lambda) \cong H^*(X,\Lambda)[u]$。
• 自然映射 $\tau: H^*_{\mathbb{G}_m,c}(X,\Lambda) \to H^*_{\mathbb{G}_m}(X,\Lambda)$ 在对 $u$ 取逆后成为同构，且其像位于由代数周期生成的 $k[u]$-子模中。
• 对角线的解析（定理 1.9）确保了解析中所有项均为 $\mathcal{E}^N$ 的直和项，从而在证明中可使用陈示性类与庞加莱对偶性。