[论文解读] Koszul duality in deformation quantization and Tamarkin's approach to Kontsevich formality

Boris Shoikhet|arXiv (Cornell University)|May 2, 2008

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

一句话总结

本文证明，对于与二次 Poisson 双向量相关的多项式代数的普遍形变量化，将对称代数 $ S(V^*) $ 和外代数 $ \Lambda(V) $ 视为分次二次代数时，其形变量化结果是 Koszul 对偶的。通过 Tamarkin 的 $ L_\infty $ 同构框架与模范畴的 Hochschild 复形，作者证明了形变的 Koszul 复形诱导了两个形变代数的 Hochschild 上同调之间的同构，从而通过 $ G_\infty $-结构及在 $ \hbar = 0 $ 处的特化，确认了其 Koszul 对偶性。

ABSTRACT

Let $α$ be a quadratic Poisson bivector on a vector space $V$. Then one can also consider $α$ as a quadratic Poisson bivector on the vector space $V^*[1]$. Fixed a universal deformation quantization (prediction some weights to all Kontsevich graphs [K97]), we have deformation quantization of the both algebras $S(V^*)$ and $Λ(V)$. These are graded quadratic algebras, and therefore Koszul algebras. We prove that for some universal deformation quantization, independent on $α$, these two algebras are Koszul dual. We characterize some deformation quantizations for which this theorem is true in the framework of the Tamarkin's theory [T1].

研究动机与目标

• 建立一个与对称代数和外代数的 Koszul 对偶性相容的普遍形变量化。
• 证明由二次 Poisson 双向量及其对偶所诱导的 $ S(V^*) $ 和 $ \Lambda(V) $ 的形变量化结果是 Koszul 对偶代数。
• 利用 Tamarkin 的 $ G_\infty $-同构与 $ L_\infty $-同构理论，构造 Koszul 复形的相容形变。
• 证明在形变的 Koszul 复形上，由 $ B_{\hbar} $ 诱导的模结构实现同构 $ B_{\hbar} \cong (A_{\hbar})^! $，从而确认 Koszul 对偶性。

提出的方法

• 利用一个自然的李代数同构 $ \mathcal{D}: T_{\text{poly}}(V) \to T_{\text{poly}}(V^*[1]) $，将二次 Poisson 双向量映射为其对偶。
• 应用 Kontsevich 的普遍形变量化公式，使用形式权重 $ W_\Gamma $，将其视为变量以定义 $ \mathbb{C}[[\hbar]] $-代数结构。
• 从 $ T_{\text{poly}}(V) $ 构造一个 $ G_\infty $-同构 $ \mathcal{F} $ 到模范畴 $ \mathsf{cat}(A,B,K) $ 的 Hochschild 复形，确保同伦交换性。
• 将 $ \mathcal{F} $ 限制为 $ L_\infty $-同构，以将 Maurer-Cartan 解 $ \alpha \in T_{\text{poly}}(V) $ 提升至 Hochschild 复形中的解。
• 将形变的 Koszul 复形 $ K_\hbar $ 作为 $ A_\hbar $ 上 $ \mathbb{C}[[\hbar]] $ 的自由解析，其上具有相容的 $ B_\hbar $-模结构。
• 证明代数 $ B_\hbar $ 同构于 $ \mathrm{RHom}_{A_\hbar}(K_\hbar, K_\hbar) $，即 $ A_\hbar $ 的 Koszul 对偶代数 $ (A_\hbar)^! $，通过在 $ \hbar = 0 $ 处的特化实现。

实验结果

研究问题

• RQ1 是否存在一种普遍形变量化，使得形变的对称代数 $ S(V^*)_{\hbar} $ 与形变的外代数 $ \Lambda(V)_{\hbar} $ 成为 Koszul 对偶？
• RQ2 Tamarkin 的 $ G_\infty $-同构框架是否可用于构造一个实现该对偶性的 Koszul 复形的相容形变？
• RQ3 在形变的 Koszul 复形上，由 $ B_\hbar $ 诱导的模结构是否同构于 Hochschild 上同调 $ \mathrm{RHom}_{A_\hbar}(K_\hbar, K_\hbar) $，从而实现 $ B_\hbar \cong (A_\hbar)^! $？
• RQ4 在 $ \hbar = 0 $ 处对形变复形进行特化，是否能恢复 $ S(V^*) $ 与 $ \Lambda(V) $ 之间的经典 Koszul 对偶性，从而确保 $ \mathbb{C}[[\hbar]] $-线性结构被保持？
• RQ5 能否使用 $ L_\infty $-同构 $ \mathcal{F} $ 将 Poisson 结构 $ \alpha $ 提升为一个 Maurer-Cartan 解，从而在 $ A_\hbar $ 与 $ B_\hbar $ 上诱导出相容的星积？

主要发现

• 由二次 Poisson 双向量 $ \alpha $ 对 $ S(V^*) $ 进行形变量化，得到一个分次二次代数 $ S(V^*)_{\hbar} $，其为 Koszul 代数。
• 由对偶双定向量 $ \mathcal{D}(\alpha) $ 对 $ \Lambda(V) $ 进行形变量化，得到一个分次二次代数 $ \Lambda(V)_{\hbar} $，其同样为 Koszul 代数。
• 代数 $ S(V^*)_{\hbar} $ 与 $ \Lambda(V)_{\hbar} $ 是 Koszul 对偶的，即 $ \Lambda(V)_{\hbar} \cong (S(V^*)_{\hbar})^! $，此结论通过形变的 Koszul 复形得到证明。
• 在形变的 Koszul 复形 $ K_\hbar $ 上，由 $ B_\hbar $ 诱导的模结构诱导出同构 $ B_\hbar \to \mathrm{RHom}_{A_\hbar}(K_\hbar, K_\hbar) $，从而将 $ B_\hbar $ 识别为 $ A_\hbar $ 的 Koszul 对偶代数。
• 在 $ \hbar = 0 $ 处对 $ B_\hbar $ 作用进行特化，可恢复 $ S(V^*) $ 与 $ \Lambda(V) $ 之间的经典 Koszul 对偶性，确认了对偶性的 $ \mathbb{C}[[\hbar]] $-线性。
• 由 Tamarkin 框架构造的 $ L_\infty $-同构 $ \mathcal{F} $ 确保了 Maurer-Cartan 解能一致地提升至两个代数上相容的星积。