[论文解读] Tamarkin's proof of Kontsevich formality theorem

Vladimir Hinich|ArXiv.org|Mar 9, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用 22

一句话总结

本文对特征为零的域上的多项式代数的 Kontsevich 形式性定理的 Tamarkin 证明提供了详尽的阐述。通过 Koszul 操作理论证明其上同调的内在形式性，并在 Hochschild 复形上构造同伦 Gerstenhaber 代数结构，本文确立了光滑代数的移位 Hochschild 上同调复形作为 dg 李代数的形式性。

ABSTRACT

In 1998 D. Tamarkin announced a proof of Kontsevich formality theorem based on the existence of structure of homotopy Gerstenhaber algebra in the Hochschild cochains of an associative algebra. In this note we give a detailed explanation of Tamarkin's result.

研究动机与目标

• 为特征为零的域上的多项式代数的 Kontsevich 形式性定理的 Tamarkin 证明提供一个完整且易于理解的叙述。
• 通过 Koszul 操作理论，确立光滑代数的 Hochschild 上同调上 Gerstenhaber 代数结构的内在形式性。
• 证明 Hochschild 复形上同伦 Gerstenhaber 代数结构的存在性蕴含形式性，从而证明 Kontsevich 定理。
• 利用 Tamarkin-Tsygan 预印本中的见解与标准操作理论工具，澄清 Tamarkin 原证明中的技术空白。

提出的方法

• 利用操作理论与 Koszul 对偶理论，特别关注基于 Koszul 操作的分次与 dg 代数。
• 应用 Koszul 操作上代数的内在形式性概念，基于上同调消失推导出充分条件。
• 计算光滑 k-代数的 Hochschild 复形的上同调，证明其同构于一个 Gerstenhaber 代数。
• 在 Hochschild 复形上构造同伦 Gerstenhaber 代数结构，该结构通过 Deligne 猜想蕴含形式性。
• 利用 Etingof-Kazhdan 在形式设置下对李双代数与 Hopf 代数之间的等价性，将自由李代数上的 dg 李双代数结构与 dg Hopf 代数结构联系起来。
• 利用形式幂级数环上的 $k^*$-等变结构，将自由代数上的 dg 双代数结构提升至其完备化，从而建立 $\tilde{\cal B}$ 与 ${\cal B}_\infty$ 操作之间的同构。

实验结果

研究问题

• RQ1 在何种条件下，基于 Koszul 操作的分次代数是内在形式的？
• RQ2 光滑代数的 Hochschild 复形的上同调如何与 Gerstenhaber 代数结构相关联？
• RQ3 同伦 Gerstenhaber 代数结构在证明 Hochschild 复形形式性中起什么作用？
• RQ4 形式幂级数上的 $k^*$-等变结构如何与李双代数与 Hopf 代数之间的等价性相关？
• RQ5 在形式形变量化背景下，操作 $\widetilde{\cal B}$ 与 ${\cal B}_\infty$ 之间的确切关系为何？

主要发现

• 多项式代数的 Hochschild 复形的上同调同构于一个 Gerstenhaber 代数，且该代数是内在形式的。
• Hochschild 复形上同伦 Gerstenhaber 代数结构的存在性蕴含其移位复形作为 dg 李代数的形式性。
• 该证明确立了控制同伦 Gerstenhaber 代数的 operad $\widetilde{\cal B}$ 同构于控制同伦双代数的 ${\cal B}_\infty$ operad。
• Etingof-Kazhdan 在李双代数与 Hopf 代数之间的等价性可提升至 $k^*$-等变设置，从而建立 $\widetilde{\cal B}$ 与 ${\cal B}_\infty$ 之间的典范同构。
• 从 $V[[h]]$ 上的自由结合代数到其对应 Hopf 代数的典范映射是同构，证实了 dg 双代数结构的提升。
• Hochschild 复形的形式性源于其上同调的内在形式性，而后者由 Koszul 对偶设置中某些上同调群的消失所保证。