[论文解读] Little cubes and long knots

Ryan Budney|ArXiv.org|Sep 26, 2003

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

一句话总结

本文建立了 R³ 中长绳结空间与素长绳结的带基点空间上的自由小二立方体对象之间的同伦等价，揭示了绳结空间的同伦类型由小立方体操作代数作用所控制。该结果通过将 Schubert 定理中关于绳结分支的自由交换幺半群结构提升至空间层面的等价关系，实现了对它的推广，其中连通和运算被操作代数作用下的配置空间参数化运算所取代。

ABSTRACT

This paper gives a partial description of the homotopy type of K, the space of long knots in 3-dimensional Euclidean space. The primary result is the construction of a homotopy equivalence between K and the free little 2-cubes object over the space of prime knots. In proving the freeness result, a close correspondence is discovered between the Jaco-Shalen-Johannson decomposition of knot complements and the little cubes action on K. Beyond studying long knots in 3-space, we show that for any compact manifold M the space of embeddings of R^n x M in R^n x M with support in I^n x M admits an action of the operad of little (n+1)-cubes. If M=D^k this embedding space is the space of framed long n-knots in R^{n+k}, and the action of the little cubes operad is an enrichment of the monoid structure given by the connected-sum operation.

研究动机与目标

• 确定 R³ 中长绳结空间 K 的同伦类型。
• 在形如 EC(k, M) 的嵌入空间上建立小立方体操作代数作用，推广绳结空间的结构。
• 证明长绳结空间同伦等价于素绳结空间上的自由小二立方体对象。
• 通过将 Schubert 关于绳结分支的自由交换幺半群结构提升至空间层面的操作代数结构，对其实现细化。
• 将绳结补形的 Jaco–Shalen–Johannson 分解与小立方体作用的代数结构相联系。

提出的方法

• 将空间 EC(k, M) 定义为 Rᵏ × M 到自身的光滑嵌入空间，其支撑在 Iᵏ × M 内，并赋予弱 C∞-拓扑。
• 通过立方体配置参数化同伦，利用不相交支撑组合嵌入，构造小 (k+1)-立方体操作代数在 EC(k, M) 上的作用。
• 证明当 k=1 且 M=D² 时，空间 EC(1, D²) 同伦等价于长绳结空间 K 与 Z 的乘积，且小二立方体作用限制在 K 上。
• 证明子空间 ˆK ⊂ EC(1, D²)（同伦等价于 K）是带基点空间 P ⊔ {∗} 上的自由小二立方体对象，其中 P 为素长绳结的空间。
• 利用操作代数作用，将连通和运算实现为配置空间参数化的乘法，取代 π₀K 上的幺半群结构。
• 借助 Hatcher 及作者先前工作的结果，确定了 K 的完整同伦类型。

实验结果

研究问题

• RQ1 如何利用操作代数结构描述 R³ 中长绳结空间的同伦类型？
• RQ2 绳结补形的 Jaco–Shalen–Johannson 分解与绳结空间上小立方体作用之间存在何种关系？
• RQ3 绳结的连通和运算能否通过操作代数作用实现为配置空间参数化的运算？
• RQ4 框架化长 n-绳结的空间是否允许小 (n+1)-立方体作用？其与连通和带来的幺半群结构有何关系？
• RQ5 对于一般紧致流形 M，EC(k, M) 的同伦类型是什么？在何种条件下它是环路空间？

主要发现

• R³ 中长绳结空间 K 同伦等价于素长绳结空间 P ⊔ {∗} 上的自由小二立方体对象，即 K ≃ C₂(P ⊔ {∗})。
• 小二立方体作用在 EC(1, D²) 上限制在同伦等价于 K 的子空间 ˆK 上，且 EC(1, D²) ≃ ˆK × Z 作为小二立方体对象。
• K 的同伦类型由无限不交并 ∐ₙ₌₀^∞ (C₂(n) × Pⁿ)/Sₙ 给出，其中 C₂(n) 为 n 个小二立方体的空间，Sₙ 以对角方式作用。
• 该结果通过将 π₀K 上的自由交换幺半群结构替换为参数化于配置空间的空间层面操作代数结构，对 Schubert 定理进行了细化，其中连通和运算由配置空间参数化。
• 对任意紧致流形 M，具有 Iᵏ × M 支撑的嵌入空间 EC(k, M) 允许小 (k+1)-立方体操作代数的作用。
• 当 M = Dᵏ 时，EC(1, Dᵏ) 为框架化长 n-绳结的空间，小立方体作用丰富了连通和带来的幺半群结构。