[论文解读] Operads and knot spaces

Dev Sinha|ArXiv.org|Jul 3, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用 5

一句话总结

本文证明了高维空间中长绳结的拓扑空间 $E_m$ 同伦等价于 Kontsevich 操作律 $Π_m^\bullet$ 的同伦总化空间，从而解决了 Kontsevich 的一个猜想。利用 McClure 和 Smith 关于带乘法操作律的框架，本文证明该总化空间具有小二立方体作用，从而推出当 $m > 3$ 时 $E_m$ 是双重循环空间，并构建了一个从 Poisson 操作律的 Hochschild 上同调到 $E_m$ 同调的谱序列。该研究统一了绳结理论、操作律理论与嵌入微积分。

ABSTRACT

We show that the Kontsevich operad, as an operad with multiplication, provides a model for the Taylor tower of the functor defined by taking the homotopy fiber of the inclusion of embeddings of an interval in a cube to the corresponding space of immersions. In developing the Kontsevich operad, we find an operad structure on the simplicial model for the two-sphere, in the opposite category to finite sets. Applications of our result include using machinery of McClure-Smith to produce a little two-disk action on our knot spaces.

研究动机与目标

• 为通过操作律模型解决 Kontsevich 关于绳结空间同伦类型的猜想。
• 建立长绳结空间 $E_m$ 与 Kontsevich 操作律 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 的总化空间之间的同伦等价性。
• 证明该总化空间携带小二立方体作用，从而推出当 $m > 3$ 时 $E_m$ 是双重循环空间。
• 构建一个从 $m-1$ 次齐次 Poisson 操作律的 Hochschild 上同调到 $E_m$ 同调的谱序列，从而解决 Vassiliev 谱序列中的不一致问题。

提出的方法

• 使用嵌入微积分将 $E_m$ 建模为配置空间的同伦极限。
• 应用 McClure 和 Smith 关于带乘法操作律的操作律所关联的余单纯空间总化框架。
• 在 $\mathbb{R}^m$ 中的单形紧化配置上构造一个操作律结构，从而得到 Kontsevich 操作律 $\mathcal{K}_m$。
• 利用操作律上的 $\Xi^2$-结构，通过 McClure-Smith 解决 Deligne 猜想的方法，在总化空间上诱导出小二立方体作用。
• 利用余单纯空间的同调谱序列，将 Poisson 操作律的 Hochschild 上同调与 $E_m$ 的同调联系起来。
• 将所得谱序列与 Vassiliev 及 Tourtchine 的工作进行比较，表明 $E^2$-项中的差异源于 $E_m$ 中包含浸入映射。

实验结果

研究问题

• RQ1 长绳结空间 $E_m$ 是否同伦等价于 Kontsevich 操作律 $\mathcal{K}_m^\bullet$ 的总化空间？
• RQ2 总化空间 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 是否携带小二立方体作用？若然，其与 $E_m$ 同伦类型的关联为何？
• RQ3 能否从 Poisson 操作律的 Hochschild 上同调构建一个到 $E_m$ 同调的谱序列？其与 Vassiliev 谱序列的关系如何？
• RQ4 Tourtchine 对 Vassiliev 谱序列的 $E^1$-项的计算为何与 Poisson 操作律的 Hochschild 上同调不同？
• RQ5 总化空间 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 上的二立方体作用是否与 Budney 在三维框架绳结上定义的几何二立方体作用相容？

主要发现

• 总化空间 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 同伦等价于 $E_m$ 的 Taylor 展开塔近似的逆极限，其中 $\widetilde{\rm Tot}^n(\mathcal{K}_m^\bullet)$ 是第 $n$ 阶近似。
• 当 $m > 3$ 时，$E_m$ 弱同伦等价于 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$，从而解决了 Kontsevich 的猜想。
• 当 $m = 3$ 时，所有实值有限型不变量都通过从 $E_m$ 到 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 的映射因子化，使其成为普遍不变量。
• 存在一个谱序列，其 $E^2$-页由 $m-1$ 次齐次 Poisson 操作律的 Hochschild 上同调给出，收敛于 $E_m$ 的同调，从而解决了与 Vassiliev 谱序列的不一致问题。
• 总化空间 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 携带小二立方体作用，且当 $m > 3$ 时，由于该作用与连通性，$E_m$ 是双重循环空间。
• 总化空间 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 上的二立方体作用与 Budney 定义的框架绳结上的几何二立方体作用相容，且空间层面的构造将 Tourtchine 的组合括号推广到了谱序列的更高阶项。