[论文解读] Another proof of M. Kontsevich formality theorem

Dmitry Tamarkin|ArXiv.org|Mar 8, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 168

一句话总结

本文通过在 $C^\infty(\mathbb{R}^n)$ 的 Hochschild 上链复形上构造一个同伦 Gerstenhaber 代数结构，给出了 M. Kontsevich 的形式性定理在 $\mathbb{R}^n$ 上的另一种证明，通过构造一个从 $e_2$-operad 的解析式到控制 Hochschild 上链复形的 $B_\infty$-operad 的拟同构，证明其形式性。关键贡献在于使用余自由余代数结构和配置空间上的谱序列论证，提出了一种新的操作式构造。

ABSTRACT

The paper contains an alternative proof of M. Kontsevich Formality Theorem.

研究动机与目标

• 通过 Hochschild 上链复形上的同伦 Gerstenhaber 代数结构，为 $\mathbb{R}^n$ 上的 Kontsevich 形式性定理提供一种新证明。
• 确立 $C^\infty(\mathbb{R}^n)$ 的 Hochschild 上链复形具有自然的 $B_\infty$-代数结构。
• 通过从 $e_2$-operad 的解析式到 $B_\infty$-operad 的拟同构构造，证明形式性。
• 证明对于 $A = S\mathbb{R}^n$ 或 $C^\infty(\mathbb{R}^n)$，形式性的障碍消失，意味着 Hochschild 上同调上的 Gerstenhaber 代数是形式的。
• 通过余自由余代数结构和谱序列，构造一个新的操作式 $\mathcal{F}$，作为结合操作式 $As$ 的解析式。

提出的方法

• 本文利用 Etingof-Kazhdan 定理关于双代数的量子化，构造一个映射 $k: \mathcal{B}_\infty \to e_2$。
• 定义一个新的操作式 $\mathcal{F}$ 为 $\mathcal{O}(\mathcal{A})$，其中 $\mathcal{A}$ 是结合操作式 $As$ 的自由解析式，由分解的结合多面体构成。
• 通过树上内部顶点的谱序列滤子，证明 $\mathcal{F}$ 与 $\mathcal{B}_\infty$ 拟同构。
• 将该谱序列与 $\mathbb{R}^2$ 中配置空间的 Fulton-MacPherson 紧化所导出的谱序列进行比较，建立了其拓扑解释。
• 构造一个映射 $s: \mathcal{H}olie\{1\} \to \mathcal{F}$，以确保正确的 Gerstenhaber 李括号结构被保留。
• 证明依赖于一个移位操作 $\mathcal{O}\{m\}$ 来调整次数，使 $B_\infty$-结构与 $e_2$-结构对齐。

实验结果

研究问题

• RQ1 能否通过 Hochschild 上链复形上的同伦 Gerstenhaber 代数结构，而非 Kontsevich 的原始方法，建立 $C^\infty(\mathbb{R}^n)$ 的形式性？
• RQ2 对于 $S\mathbb{R}^n$ 的 Hochschild 上同调上的 Gerstenhaber 代数，形式性的障碍是否消失？
• RQ3 是否存在一个从 $e_2$-操作式解析式到控制 Hochschild 上链复形的 $B_\infty$-操作式的自然拟同构？
• RQ4 能否通过一种新的操作式构造，将 Hochschild 上链复形上的 $B_\infty$-结构上拉至从 $e_2$-操作式解析式出发的映射？
• RQ5 用于计算所构造操作式 $\mathcal{F}$ 的同调的谱序列具有何种拓扑意义？

主要发现

• 通过树上内部顶点的谱序列滤子，本文构造了一个拟同构 $\mathcal{F} \to \mathcal{B}_\infty$，表明 $\mathcal{F}$ 是 $\mathcal{B}_\infty$ 的解析式。
• 通过分析其伴随的分次谱序列，证明 $\mathcal{F}$ 与 $\mathcal{B}_\infty$ 拟同构，该谱序列与 Fulton-MacPherson 紧化所导出的谱序列相似。
• 映射 $s: \mathcal{H}olie\{1\} \to \mathcal{F}$ 确保了 Hochschild 上链复形上的 Gerstenhaber 李括号被正确诱导，验证了括号相容性。
• 通过从 $As$ 的自由解析式 $\mathcal{A}$ 构造 $\mathcal{F}$ 为 $\mathcal{O}(\mathcal{A})$，得到了一个用于 Gerstenhaber 代数结构的新链操作式。
• 通过 Etingof-Kazhdan 量子化，证明了映射 $k: \mathcal{B}_\infty \to e_2$ 的存在性，为 Hochschild 上同调上的 $e_2$-代数结构提供了必要条件。
• 该证明确立了对于 $A = S\mathbb{R}^n$ 和 $C^\infty(\mathbb{R}^n)$，形式性相关的同调障碍消失，从而确认了 Hochschild 上链复形的形式性。