[论文解读] Poisson cohomology, Koszul duality, and Batalin-Vilkovisky algebras

Xiaojun Chen, Youming Chen+2 more|arXiv (Cornell University)|Jan 22, 2017

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

一句话总结

本文建立了单模 Poisson 代数上 Poisson同调与上同调之间的非交换 Poincaré 对偶性，表明 Kontsevich 的形变量子化与 Koszul 对偶性保持该对偶性。关键结果是：单模二次 Poisson 代数及其 Koszul 对偶的 Poisson 上同调上的 Batalin-Vilkovisky (BV) 代数结构是同构的，从而推广了 Calabi-Yau 设置下 Rouquier 的猜想。

ABSTRACT

We study the noncommutative Poincaré duality between the Poisson homology and cohomology of unimodular Poisson algebras, and show that Kontsevich's deformation quantization as well as Koszul duality preserve the corresponding Poincaré duality. As a corollary, the Batalin-Vilkovisky algebra structures that naturally arise in these cases are all isomorphic.

研究动机与目标

• 建立单模 Poisson 代数上 Poisson 同调与上同调之间的非交换 Poincaré 对偶性。
• 研究 Kontsevich 的形变量子化与 Koszul 对偶性如何保持该对偶性。
• 证明单模二次 Poisson 代数及其 Koszul 对偶的 Poisson 上同调上的 Batalin-Vilkovisky 代数结构是同构的。
• 通过形变量子化与对偶性，将 Rouquier 关于 Koszul Calabi-Yau 代数的猜想推广至 Poisson 几何设置。

提出的方法

• 使用由 Tamarkin 和 Tsygan 形式化的微分形式对偶性理论，分析 Poisson 上同调中的 Poincaré 对偶性。
• 应用 Koszul 对偶构造，将二次 Poisson 代数 $A = \mathbb{R}[x_1, \dots, x_n]$ 转换为其对偶 $A^! = \Lambda(\xi_1, \dots, \xi_n)$，并赋予其诱导的 Poisson 结构。
• 通过复形的对偶性建立 Poisson 同调与上同调之间的同构：$\mathrm{HP}_\bullet(A) \cong \mathrm{HP}^{-\bullet}(A^!; A^{!\prime})$。
• 证明单模性等价性：$(A, \pi)$ 是单模当且仅当其 Koszul 对偶 $(A^!, \pi^!)$ 是单模 Frobenius。
• 使用 $k[[\hbar]]$ 上的形变量子化，将量子化代数的 Hochschild 上同调与原始代数的 Poisson 上同调联系起来。
• 应用 Calaque-Rossi 关于 DG 李代数之间同调等价性的结果，推导出形变后 Hochschild 上同调中的最终对偶同构。

实验结果

研究问题

• RQ1 在单模 Poisson 代数的 Poisson 上同调背景下，Koszul 对偶性是否保持 Poincaré 对偶性？
• RQ2 Kontsevich 的形变量子化与 Koszul 对偶性在保持 Poincaré 对偶性方面如何相互作用？
• RQ3 单模二次 Poisson 代数及其 Koszul 对偶的 Poisson 上同调上的 Batalin-Vilkovisky 代数结构是否同构？
• RQ4 能否通过形变量子化与对偶性，将 Rouquier 关于 Koszul Calabi-Yau 代数的猜想推广至 Poisson 设置？
• RQ5 扭曲 Poincaré 对偶性在 Poisson 代数中的作用是什么？它与扭曲 Calabi-Yau 代数有何关联？

主要发现

• 单模二次 Poisson 代数 $A$ 的 Poisson 上同调与它的 Koszul 对偶 $A^!$ 的 Poisson 上同调作为 Batalin-Vilkovisky 代数是同构的。
• 代数 $A$ 的单模性等价于其 Koszul 对偶 $A^!$ 的单模 Frobenius 性质，从而建立了这些代数性质之间的对偶性。
• 作为 Batalin-Vilkovisky 代数的同构 $\mathrm{HP}^\bullet(A) \cong \mathrm{HP}^\bullet(A^!)$ 成立，从而将 Rouquier 的猜想推广至 Poisson 几何。
• 对 $A^!$ 的形变量子化产生对称 Frobenius 代数，当且仅当 $A^!$ 是单模 Frobenius，确认了在量子化设置下的对偶性。
• Poincaré 对偶同构的交换图在 Koszul 对偶性与形变量子化下均保持不变，从而将经典结构与量子结构联系起来。
• 该证明依赖于 DG 李代数的同调等价性，并应用 Calaque-Rossi 的结果，在形变后推导出 Hochschild 上同调中的最终对偶性。