[论文解读] Hochschild cohomology of quantized symplectic orbifolds and the Chen-Ruan cohomology

Vasiliy Dolgushev, Pavel Etingof|ArXiv.org|Oct 26, 2004

Algebraic structures and combinatorial models参考文献 15被引用 4

一句话总结

本文证明了吉涅茨堡-卡莱丁猜想的加法版本，建立了在辛流形 $ X $ 上的 $ G $-稳定量子化代数的量子不变量 $ A^G $ 的 Hochschild 上同调与系数在 $ \mathbb{C}((\hbar)) $ 上的轨道丛 $ X/G $ 的陈-阮上同调之间的同构。该结果通过范登伯格对偶性、扭曲群代数的 Hochschild (上)同调的分解，以及利用德拉姆上同调表达的不动点上同调得出。

ABSTRACT

We prove the additive version of the conjecture proposed by Ginzburg and Kaledin. This conjecture states that if X/G is an orbifold modeled on a quotient of a smooth affine symplectic variety X (over C) by a finite group G\subset Aut(X) and A is a G-stable quantum algebra of functions on X then the graded vector space HH(A^G) of the Hochschild cohomology of the algebra A^G of invariants is isomorphic to the graded vector space H_{CR}(X/G)((h)) of the Chen-Ruan (stringy) cohomology of the orbifold X/G.

研究动机与目标

• 建立量子代数不变量 $ A^G $ 的 Hochschild 上同调与轨道丛 $ X/G $ 的 Chen-Ruan 上同调之间的同构，如吉涅茨堡与卡莱丁所猜想。
• 在不依赖 Hochschild 链的正式定理的前提下，证明该猜想的加法版本。
• 通过构建辛反射代数的全局类比，将形变理论框架扩展至轨道丛。
• 以几何与群论数据（特别是余维数为 2 的不动点流形）来刻画 $ A^G $ 的形变空间。

提出的方法

• 利用范登伯格对偶性，在 $ \hbar $-进拓扑下关联 Hochschild 上同调与同调。
• 应用扭曲群代数 $ A[G] $ 的 Hochschild (上)同调的分解定理，利用群作用结构。
• 通过群元素 $ g \in G $ 作用下的不动点子簇 $ X_g^Q $ 的德拉姆上同调表达带扭转双模的 Hochschild 同调。
• 在不动点子簇上的微分形式的双复形中构造显式闭链，使用与群作用相容的同伦算子。
• 运用谱序列论证证明上同调的正合性，并在纤维上同调中构造 $ \mathfrak{b} $-闭代表元。
• 在 Hochschild 复形中使用张量积的 $ \hbar $-进完成化以处理量子代数中的拓扑结构。

实验结果

研究问题

• RQ1 是否存在 $ A^G $ 的 Hochschild 上同调与轨道丛 $ X/G $ 的 Chen-Ruan 上同调之间的自然同构？
• RQ2 该同构是否可在不使用 Hochschild 链的正式定理的前提下建立？
• RQ3 在 $ HH^\bullet(A^G) $ 中的上同调分量的几何起源是什么，特别是与 $ G $ 的不动点子簇的关系如何？
• RQ4 $ A^G $ 的形变理论如何与 $ X/G $ 的轨道丛几何相关联，特别是在存在辛反射的情况下？
• RQ5 能否仅用 $ X $ 的 $ G $-不变上同调数据来描述 $ A^G $ 的形变空间？

主要发现

• Hochschild 上同调 $ HH^\bullet(A^G) $ 同构于 Chen-Ruan 上同调 $ H^\bullet_{CR}(X/G, \mathbb{C}((\hbar))) $，确认了吉涅茨堡-卡莱丁猜想的加法版本。
• 该同构的构造不依赖于正式定理，而是基于范登伯格对偶性与不动点子簇中显式闭链的构造。
• $ A^G $ 的上同调按每个共轭类 $ g \in G $ 分解，其分量来源于余维数为 2 的不动点子簇 $ X_g^Q $ 的 $ H^\bullet(X_g^Q) $。
• 形变空间 $ H^2(A^G) $ 同构于 $ H^2_{CR}(X/G) $，其分解为 $ H^2(X)^G \oplus \bigoplus_{g \in G, \operatorname{codim} X_g^Q = 2} H^0(X_g^Q)^{Z(g)} $，系数在 $ \mathbb{C}((\hbar)) $ 上。
• 在 $ H^3(X)^G $ 与 $ H^1(X_g^Q)^{Z(g)} $ 满足消失条件时，$ A^G $ 的形变是无阻碍的，意味着存在由 $ H^2(A^G) $ 参数化的普遍形式形变。
• 该结果将有理代数与辛反射代数推广至更广泛的轨道丛类，引入了“$ X,G $ 的辛反射代数”这一概念。