[论文解读] Configuration space integrals and the topology of knot and link spaces

Ismar Volić|arXiv (Cornell University)|Oct 27, 2013

Geometric and Algebraic Topology参考文献 33被引用 4

一句话总结

本文提出一个框架，利用配置空间积分构造四维及以上维度中纽结与链环的有限型不变量，证明了从图复杂形到纽结空间的de Rham复形的上链映射。关键结果是：当 $ n \geq 4 $ 时，长纽结空间的有理同调同度数为 $ n-1 $ 的泊松操作律的霍赫希尔德同调同构，通过弦图与配置空间积分提供了组合描述。

ABSTRACT

This article surveys the use of configuration space integrals in the study of the topology of knot and link spaces. The main focus is the exposition of how these integrals produce finite type invariants of classical knots and links. More generally, we also explain the construction of a chain map, given by configuration space integrals, between a certain diagram complex and the deRham complex of the space of knots in dimension four or more. A generalization to spaces of links, homotopy links, and braids is also treated, as are connections to Milnor invariants, manifold calculus of functors, and the rational formality of the little balls operads.

研究动机与目标

• 将配置空间积分理论扩展至四维及以上维度的纽结与链环空间，将有限型不变量推广至经典纽结之外。
• 建立从图复杂形到长纽结空间 $ \mathcal{K}^n $ 的de Rham复形的上链映射，推广Bott-Taubes构造。
• 将配置空间积分与流形微积分及小 $ n $-圆盘操作律的正式性等同伦论工具联系起来。
• 通过纽结的有限型不变量实现米尔诺不变量的积分表达式。
• 通过泊松操作律的霍赫希尔德同调，组合描述 $ \mathcal{K}^n $（$ n \geq 4 $）的有理同调。

提出的方法

• 构造一个丛 $ \pi: \operatorname{Conf}[p,q; \mathcal{K}^n, \mathbb{R}^n] \to \mathcal{K}^n $，其中 $ p $ 个点位于纽结上，$ q $ 个点自由位于 $ \mathbb{R}^n $ 中，利用求值与投影映射。
• 沿三价或广义图的边拉回 $ S^{n-1} $ 上的体积形式，在配置空间上形成一个闭的微分形式。
• 沿每个纽结的纤维积分该形式，得到 $ \mathcal{K}^n $ 上的微分形式，从而产生上链映射 $ \mathcal{D}^n \to \Omega^*(\mathcal{K}^n) $。
• 利用配置空间的Fulton-MacPherson紧化处理积分过程中的奇点。
• 应用函子的流形微积分，通过余单纯模型对 $ \overline{\mathcal{K}^n} $（带穿孔纽结空间）的泰勒塔进行建模。
• 利用小 $ n $-圆盘操作律的正式性，将 $ \mathcal{K}^n $ 的有理同调与度数为 $ n-1 $ 的泊松操作律的霍赫希尔德同调联系起来。

实验结果

研究问题

• RQ1 如何利用配置空间积分在 $ \mathbb{R}^n $（$ n > 3 $）中纽结上构造有限型不变量，推广经典 linking number？
• RQ2 配置空间积分与 $ n \geq 4 $ 时长纽结空间 $ \mathcal{K}^n $ 的有理同调之间有何关系？
• RQ3 配置空间积分如何实现同伦链环的米尔诺不变量？
• RQ4 与 $ \overline{\mathcal{K}^n} $ 的泰勒塔相关的谱序列在有理化后如何坍缩，这对有理同调有何含义？
• RQ5 小 $ n $-圆盘操作律的正式性如何与配置空间积分及 $ \mathcal{K}^n $ 的有理同调相联系？

主要发现

• 当 $ n \geq 4 $ 时，长纽结空间 $ \mathcal{K}^n $ 的有理同调同度数为 $ n-1 $ 的泊松操作律的霍赫希尔德同调同构，通过弦图提供组合描述。
• 与 $ \overline{\mathcal{K}^n} $ 的泰勒塔相关的同调谱序列在有理化后于 $ E^2 $ 页坍缩，意味着 $ \operatorname{H}_*(\overline{\mathcal{K}^n}; \mathbb{Q}) $ 由配置空间 $ \operatorname{Conf}(p, \mathbb{R}^n) $ 的同调决定。
• 配置空间积分产生上链映射 $ \mathcal{D}^n \to \Omega^*(\mathcal{K}^n) $，推广Bott-Taubes构造，并在 $ n = 3 $ 时恢复零度的有限型不变量。
• 该构造可推广至链环、同伦链环与辫子空间，为米尔诺不变量提供积分表达式作为有限型不变量。
• 当 $ n \geq 4 $ 时，谱序列坍缩，$ \mathcal{K}^n $ 的有理同调由 $ \operatorname{H}_*(\operatorname{Conf}(p, \mathbb{R}^n); \mathbb{Q}) $ 构成，其组合结构已完全理解。
• 通过形式性将内部微分替换为零，证明了谱序列在 $ E^2 $ 页的坍缩，对 $ n = 3 $ 使用了精细的模型范畴技术。