[論文レビュー] Little cubes and long knots

Ryan Budney|ArXiv.org|Sep 26, 2003

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

ひとこと要約

本稿は、R³ 内の長さ付き結びの空間と、素な長さ付き結びの点付き空間上の自由なリトル2立方体対象の間のホモトピー同値を確立し、結びの空間のホモトピー型がリトル立方体オペラッド作用に支配されていることを明らかにする。この結果は、シューベルトの結び成分の自由可換モノイド構造に関する定理を、空間レベルの同値にまで高めることで精緻化しており、連結和演算がオペラッド作用による配置空間パrametrized 演算に置き換えられる。

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 のホモトピー型を特定すること。
• Knot 空間の構造を一般化する形で、EC(k, M) の形をとる埋め込み空間へのリトル (k+1)-立方体オペラッド作用を確立すること。
• 長さ付き結びの空間が、素な結びの空間上の自由リトル2立方体対象とホモトピー同値であることを示すこと。
• シューベルトの結び成分の自由可換モノイド構造に関する定理を、空間レベルのオペラッド構造にまで高めることで精緻化すること。
• 結びの補空間のジャコ＝シャレン＝ヨハンンソン分解と、リトル立方体作用の代数的構造との関係を結ぶこと。

提案手法

• Rᵏ × M から自身への滑らかな埋め込みの空間 EC(k, M) を、Iᵏ × M 内に台を持つものとして定義し、弱 C∞-位相を備える。
• 立方体配置を用いて、台が互いに交わらない埋め込みを結合するホモトピーをパrametrized する方法により、EC(k, M) にリトル (k+1)-立方体オペラッド作用を構成する。
• k=1 かつ M=D² の場合、EC(1, D²) が長さ付き結びの空間 K と Z の積とホモトピー同値であり、リトル2立方体作用が K に制限されることを証明する。
• K とホモトピー同値である部分空間 ˆK ⊂ EC(1, D²) が、P ⊔ {∗} という点付き空間上の自由リトル2立方体対象であることを示す。ここで P は素な長さ付き結びの空間である。
• オペラッド作用を用いて、連結和演算を配置空間パrametrized 乗法として実現し、π₀K 上のモノイド構造を置き換える。
• ハッターおよび著者の先行研究の結果を活用して、K の完全なホモトピー型を特定する。

実験結果

リサーチクエスチョン

• RQ1 リトル立方体構造を用いて、R³ 内の長さ付き結びの空間のホモトピー型はどのように記述できるか？
• RQ2 結びの補空間のジャコ＝シャレン＝ヨハンンソン分解と、結び空間上のリトル立方体作用との関係は何か？
• RQ3 結びの連結和演算は、オペラッド作用によって配置空間パrametrized 演算として実現可能か？
• RQ4 フレーム付き長さ付き n-結びの空間は、リトル (n+1)-立方体作用を備えるか。また、それは連結和から得られるモノイド構造とどのように関係するか？
• RQ5 一般のコンパクト多様体 M に対して、EC(k, M) のホモトピー型は何か。また、それがループ空間であるための条件は何か？

主な発見

• R³ 内の長さ付き結びの空間 K は、素な長さ付き結びの空間 P ⊔ {∗} 上の自由リトル2立方体対象とホモトピー同値であり、すなわち K ≃ C₂(P ⊔ {∗}) が成り立つ。
• EC(1, D²) 上のリトル2立方体作用は、K とホモトピー同値な部分空間 ˆK に制限され、EC(1, D²) ≃ ˆK × Z がリトル2立方体対象として成り立つ。
• K のホモトピー型は、無限個の直積和 ∐ₙ₌₀^∞ (C₂(n) × Pⁿ)/Sₙ で与えられ、ここで C₂(n) は n 個のリトル2立方体の空間であり、Sₙ は対角的に作用する。
• この結果は、シューベルトの定理を、π₀K 上の自由可換モノイド構造を、配置空間パrametrized な空間レベルのオペラッド構造に置き換えることで精緻化している。
• 任意のコンパクト多様体 M に対して、Iᵏ × M 内に台を持つ埋め込み空間 EC(k, M) は、リトル (k+1)-立方体オペラッド作用を備える。
• M = Dᵏ のとき、EC(1, Dᵏ) はフレーム付き長さ付き n-結びの空間であり、リトル立方体作用は連結和から得られるモノイド構造を豊かにする。