[论文解读] Multiplicative McKay correspondence in the symplectic case

D. Kaledin|ArXiv.org|Nov 24, 2003

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

一句话总结

本文通过一种新颖的形变理论方法，结合泊松结构与霍赫希尔德上同调，证明了在辛情形下，任意一个挠化分歧覆盖 $X \to V/G$ 的上同调代数同构于陈-阮轨道上同调代数 $H^\bullet_{\text{orb}}([V/G], \mathbb{C})$，从而确立了乘法型麦凯对应。关键结果证实了 Y. Ruan 的猜想：对于辛商奇点，乘法结构完全一致。

ABSTRACT

This is a write-up of my talk at the Conference on algebraic structures in Montreal, July 2003. I try to give a brief informal introduction to the proof of Y. Ruan's conjecture on orbifold cohomology multiplication for symplectic quotient singularities given in V. Ginzburg and D. Kaledin, math.AG/0212279. Version 2: minor changes, added some references.

研究动机与目标

• 证明 Y. Ruan 的猜想：在辛情形下，任意挠化分歧覆盖 $X \to V/G$ 的上同调代数同构于陈-阮轨道上同调代数。
• 为辛商奇点建立乘法型麦凯对应，其中 $G \subset \mathrm{Sp}(V) \subset \mathrm{SL}(V)$ 保持一个辛形式。
• 提供一种概念性、形变理论的证明，避免使用动机积分，重点在于泊松形变与霍赫希尔德上同调。
• 证明轨道上同调代数与分歧覆盖的上同调在交换代数意义下同构，尽管缺乏直接比较方法。

提出的方法

• 利用 smash 乘积代数 $S(V)\#G$ 的中心的平坦形变 $Z_c$，该形变参数化了商奇点 $V/G$ 的泊松形变。
• 应用 [EG] 中的结果，表明当 $\operatorname{Spec}Z_c$ 光滑时，有 $H^\bullet_{\text{DR}}(\operatorname{Spec}Z_c) \cong H^\bullet_{\text{orb}}([V/G], \mathbb{C})$。
• 证明商 $Y = V/G$ 的形变 $\widetilde{Y}/B$ 在仿射泊松概形范畴中是普遍的，即每个泊松形变都可作为 $\widetilde{Y}/B$ 的一个纤维实现。
• 证明对于一般 $c$，纤维 $\operatorname{Spec}Z_c$ 是光滑的，且同构于一个纤维 $\widetilde{Y}_b$，因此它们的德拉姆上同调一致。
• 通过加法型麦凯对应，利用同构 $H^\bullet_{\text{DR}}(\operatorname{Spec}Z_c) \cong H^\bullet_{\text{DR}}(X)$，其中 $B = H^2_{\text{DR}}(X)$ 被识别为形变的基。
• 依赖于辛形式实现对称张量场的同构 $\mathcal{T}_X \cong \Omega^1_X$，从而诱导出关键的隐藏同构 $HH_\bullet \cong HH^\bullet$，该同构对上同调比较至关重要。

实验结果

研究问题

• RQ1 当 $G \subset \mathrm{Sp}(V)$ 时，陈-阮轨道上同调代数 $H^\bullet_{\text{orb}}([V/G], \mathbb{C})$ 是否同构于任意挠化分歧覆盖 $X \to V/G$ 的上同调代数 $H^\bullet(X, \mathbb{C})$？
• RQ2 是否可以不依赖动机积分，识别 $H^\bullet(X, \mathbb{C})$ 上的乘法结构与轨道上同调乘法结构？
• RQ3 是否存在一种形变理论机制，将 $V/G$ 上的泊松结构与它的挠化分歧覆盖的上同调联系起来？
• RQ4 能否利用形变 $\widetilde{Y}/B$ 的普遍性，证明一般纤维的光滑性与上同调同构？
• RQ5 在此背景下，辛形式在关联霍赫希尔德上同调与德拉姆上同调方面起什么作用？

主要发现

• 当 $G \subset \mathrm{Sp}(V)$ 时，任意挠化分歧覆盖 $X \to V/G$ 的上同调代数 $H^\bullet(X, \mathbb{C})$ 同构于陈-阮轨道上同调代数 $H^\bullet_{\text{orb}}([V/G], \mathbb{C})$。
• 对于一般 $c$，泊松形变 $Z_c$ 的纤维 $\operatorname{Spec}Z_c$ 是光滑的，确保了 [EG] 中德拉姆上同调结果的适用性。
• 商 $Y = V/G$ 的形变 $\widetilde{Y}/B$ 在仿射泊松概形范畴中是普遍的，即所有泊松形变都可作为其纤维实现。
• 由于 $\operatorname{Spec}Z_c$ 的德拉姆上同调同构于 $H^\bullet_{\text{DR}}(X)$，并借助 [EG] 的结果，该同构等于 $H^\bullet_{\text{orb}}([V/G], \mathbb{C})$，从而建立了所需的同构。
• 该证明依赖于由辛形式诱导的隐藏同构 $HH_\bullet \cong HH^\bullet$，该同构并非通过与体积形式的杯积实现。
• 该结果证实了 Ruan 在辛情形下的猜想，为乘法型麦凯对应提供了一种概念性替代方法，避免使用动机积分。