[论文解读] Deformation quantization and the Gerstenhaber structure on the homology of knot spaces

Thomas Willwacher|arXiv (Cornell University)|Jun 23, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 10

一句话总结

本文通过使用带毛图复形计算 $ n $-泊松操作律的霍赫希尔德同调，建立了形变量子化与纽结空间同调上的格尔斯滕哈伯代数结构之间的桥梁。结果表明，格尔斯滕哈伯括号源于这些图中非平凡的组合结构，揭示了在余维数 $ n \geq 4 $ 下纽结理论、操作律与形变量子化之间的深层联系。

ABSTRACT

It is well known that (in suitable codimension) the spaces of long knots in $\mathbb{R}^n$ modulo immersions are double loop spaces. Hence the homology carries a natural Gerstenhaber structure, given by the Gerstenhaber structure on the Hochschild homology of the $n$-Poisson operad. In this paper, we compute the latter Gerstenhaber structure in terms of hairy graphs, and show that it is not quite trivial combinatorially. Curiously, the construction makes essential use of methods and results of deformation quantization, and thus provides a bridge between two previously little related subjects in mathematics.

研究动机与目标

• 理解长纽结空间同调（模去浸入）上的格尔斯滕哈伯代数结构。
• 以带毛图复形的形式计算 $ n $-泊松操作律的霍赫希尔德同调 $ HH(\mathsf{Pois}_n) $。
• 阐明在此背景下格尔斯滕哈伯括号的组合本质。
• 在形变量子化与纽结空间拓扑之间建立概念上的联系。
• 通过图论方法，具体实现德尔格尼猜想在 $ CH(\mathsf{Pois}_n) $ 上的同伦格尔斯滕哈伯结构。

提出的方法

• 利用宋高富奥-茨普梅内与森野之间建立的同调长纽结空间（模去浸入）与 $ HH(\mathsf{Pois}_n) $ 之间的同构关系。
• 使用带毛图复形 $ \mathrm{fHGC}_{1,n} $ 表示 $ HH(\mathsf{Pois}_n) $ 的元素，其编码了带有外腿的图的正式线性组合。
• 应用形变量子化技术——特别是形式性定理与孔采维奇积分——来计算图复形上的格尔斯滕哈伯括号。
• 将 $ \mathsf{Pois}_n $ 的霍赫希尔德同调上的格尔斯滕哈伯括号转化为涉及顶点插入与边收缩的图层面操作。
• 利用 $ \mathsf{Pois}_n $-操作律的乘法结构，在图复形上定义与之相容的杯积与李括号。
• 证明所得到的格尔斯滕哈伯结构是非平凡且组合丰富的，不能简化为简单的代数恒等式。

实验结果

研究问题

• RQ1 如何在图复形的术语下显式实现 $ HH(\mathsf{Pois}_n) $ 上的格尔斯滕哈伯代数结构？
• RQ2 在带毛图的语境下，格尔斯滕哈伯括号的组合本质是什么？
• RQ3 形变量子化方法在多大程度上为计算纽结空间的拓扑不变量提供了工具？
• RQ4 在图层面操作的意义上，$ HH(\mathsf{Pois}_n) $ 上的格尔斯滕哈伯结构是否非平凡？
• RQ5 是否可以通过图论构造显式化纽结同调与 $ HH(\mathsf{Pois}_n) $ 之间的同构？

主要发现

• 在 $ HH(\mathsf{Pois}_n) $ 上的格尔斯滕哈伯括号通过涉及带毛图中顶点插入与边收缩的非平凡图操作得以实现。
• 计算表明，尽管底层操作律是形式的，但格尔斯滕哈伯结构在组合意义上并非平凡。
• 该构造关键依赖于形变量子化技术，特别是形式性态射，以在图层面定义括号。
• 带毛图复形 $ \mathrm{fHGC}_{1,n} $ 为 $ HH(\mathsf{Pois}_n) $ 提供了一个具体模型，其中杯积与括号通过图操作实现。
• 同调 $ H_*(\overline{\mathrm{Emb}}(\mathbb{R}, \mathbb{R}^n), \mathbb{Q}) $ 与 $ HH(\mathsf{Pois}_n) $ 之间的同构作为格尔斯滕哈伯代数，与图层面的实现相容。
• 通过在特定带毛图示例上显式计算括号关系，确认了格尔斯滕哈伯结构的非平凡性。