[论文解读] Kontsevich formality and PBW algebras

Boris Shoikhet|arXiv (Cornell University)|Aug 12, 2007

Advanced Topics in Algebra参考文献 1被引用 8

一句话总结

该论文通过在复向量空间 V 上的多项式泊松双矢量 α 构造一个 PBW 代数，方法是在张量代数 T(V*) 中使用生成元与关系，借助 Kontsevich 形式性定义非交换关系 R_ij(ħ) 为 Kontsevich 积分。关键结果是该代数满足 Poincaré-Birkhoff-Witt 性质，推广了经典 PBW 定理，并为线性泊松结构提供了新的概念性证明，同时为二次泊松结构提供了量子 R-矩阵结构。

ABSTRACT

This paper is based on the author's paper "Koszul duality in deformation quantization, I", with some improvements. In particular, an Introduction is added, and the convergence of the spectral sequence in Lemma 2.1 is rigorously proven. Some informal discussion in Section 1.5 is added.

研究动机与目标

• 从有限维复向量空间 V 上的多项式泊松双矢量 α 构造一个 PBW 代数。
• 在线性泊松结构的情形下，为经典 Poincaré-Birkhoff-Witt 定理提供一种新的概念性证明。
• 利用 Kontsevich 形式性与对偶图积分，将 PBW 性质推广至多项式泊松双矢量。
• 猜想所构造的代数与相同 α 下的 Kontsevich 星代数同构。
• 建立形变量化中所用图与其在 cobar 复形构造中的对偶图之间的对偶性。

提出的方法

• 该代数定义为自由张量代数 T(V*) 对关系 x_i ⊗ x_j - x_j ⊗ x_i = R_ij(ħ) 的商，其中 R_ij(ħ) ∈ T(V*)⊗ħℂ[[ħ]] 且 R_ij = ħ·Sym(α_ij) + 𝒪(ħ²)。
• 通过将 Kontsevich 形式性同态作用于 α 的 Koszul 对偶，构造 cobar 复形 CoBar(Λ^-(V))⊗ℂ[[ħ]] 上的微分 d_ħ。
• 证明 d_ħ 满足 (d + d_ħ)² = 0，从而保证 cobar 复形为 dg 代数，且上同调仅在度数 0 处非零。
• 关系 R_ij(ħ) 显式地以对偶图上的 Kontsevich 积分表示，其中图在上半平面中每个顶点有两条输入边。
• 利用对称化映射，将 Hochschild-Kostant-Rosenberg 映射与 d_ħ 的一阶项联系起来。
• 通过证明其关联的分次代数同构于 S(V*)⊗ℂ[[ħ]]，表明代数 A_α 是一个 PBW 代数。

实验结果

研究问题

• RQ1 能否通过 T(V*) 中的生成元与关系，从多项式泊松双矢量 α 构造出一个 PBW 代数？
• RQ2 Kontsevich 形式性同态是否为该代数中非交换关系 R_ij(ħ) 的自然定义方式？
• RQ3 所构造的代数是否通过符号化映射同构于相同 α 下的 Kontsevich 星代数？
• RQ4 对偶图在 Kontsevich 积分公式化中对 cobar 复形微分 d_ħ 的作用是什么？
• RQ5 PBW 性质是否对所有多项式泊松双矢量成立？其成立的条件是什么？

主要发现

• 所构造的代数 A_α 满足 Poincaré-Birkhoff-Witt 性质，即作为滤子代数有 gr A_α ≅ S(V*)⊗ℂ[[ħ]]。
• 对于线性泊松结构，该构造为经典 PBW 定理提供了新的概念性证明。
• 对于二次泊松结构，关系 R_ij(ħ) 产生一个与 V 上的量子 R-矩阵密切相关对象。
• 微分 d_ħ 的一阶项对应 Hochschild-Kostant-Rosenberg 映射，此时即为符号化映射。
• 关系 R_ij(ħ) 显式地表示为对偶图上的 Kontsevich 积分，其中每个图在上半平面中每个顶点有两条输入边。
• 猜想 A_α 同构于 Kontsevich 星代数，意味着 Kontsevich 积分之间存在高度非平凡的恒等式，暗示了在开圆盘上的 AKSZ 模型中存在更深层的对偶性。