[論文レビュー] Operads and knot spaces

Dev Sinha|ArXiv.org|Jul 3, 2004

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

ひとこと要約

本稿は、高次元空間における長 knot の空間 $E_m$ が Kontsevich の operad $Π_m^\bullet$ のホモトピー全射にホモトピー同値であることを確立し、Kontsevich の予想を解決する。McClure と Smith の乗法的 operad における枠組みを用いて、この全射が小さな二重立方体作用を持つことを示し、$m > 3$ のとき $E_m$ が二重ループ空間であることを示す。さらに、Poisson operad の Hochschild コホホモロジーから $E_m$ のホモロジーへのスペクトル系列を構成する。この結果により、knot 理論、operad 理論、埋め込み計算が統合される。

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 の予想、すなわち knot 空間のホモトピー型に関する operad モデルを解決すること。
• 長 knot の空間 $E_m$ と Kontsevich の operad $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ の全射との間のホモトピー同値性を確立すること。
• この全射が小さな二重立方体作用を持つことを示し、$m > 3$ のとき $E_m$ が二重ループ空間であることを示すこと。
• Poisson operad の次数 $m-1$ の Hochschild コホホモロジーから $E_m$ のホモロジーへのスペクトル系列を構成し、Vassiliev のスペクトル系列との不一致を解消すること。

提案手法

• 埋め込みの計算を用いて、$E_m$ を配置空間のホモトピー極限としてモデル化する。
• McClure と Smith の枠組みを用い、乗法的 operad に付随するコシンプルス空間の全射を総合する。
• ${\mathbb{R}^m}$ 内の配置の単体的コンパクト化に operad 構造を定義し、Kontsevich の operad $\mathcal{K}_m$ を得る。
• $\Xi^2$ 構造を operad に用いて、McClure-Smith の Deligne 予想の解決法により、全射に小さな二重立方体作用を誘導する。
• コシンプルス空間のホモロジー スペクトル系列を用い、Poisson operad の Hochschild コホホモロジーと $E_m$ のホモロジーとの関係を確立する。
• 得られたスペクトル系列を Vassiliev のものと比較し、$E^2$-項の不一致が $E_m$ に含まれる浸漬像の包含に起因することを示す。

実験結果

リサーチクエスチョン

• RQ1 長 knot の空間 $E_m$ は、Kontsevich の operad $\mathcal{K}_m^\bullet$ の全射とホモトピー同値であるか？
• RQ2 全射 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ は小さな二重立方体作用を持つか？ もし持つならば、$E_m$ のホモトピー型とはどのように関係するか？
• RQ3 Poisson operad の Hochschild コホホモロジーから $E_m$ のホモロジーへのスペクトル系列を構成できるか？ また、Vassiliev のスペクトル系列とどのように比較できるか？
• RQ4 Tourtchine が Vassiliev のスペクトル系列の $E^1$-項を計算した結果が、Poisson operad の Hochschild コホホモロジーと異なるのはなぜか？
• RQ5 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ に作用する二重立方体作用は、3次元のフレームド knot に 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)$ への写像を通じて因数分解され、これは普遍不変量である。
• Poisson operad の次数 $m-1$ の Hochschild コホホモロジーで与えられる $E^2$-頁を持つスペクトル系列が存在し、$E_m$ のホモロジーに収束する。これは Vassiliev のスペクトル系列との不一致を解消する。
• 全射 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ は小さな二重立方体作用を持ち、$m > 3$ のとき、この作用と連結性により $E_m$ は二重ループ空間である。
• $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ に作用する二重立方体作用は、Budney がフレームド knot に定義した幾何的二重立方体作用と整合性を持ち、空間レベルの構成により Tourtchine の組合せ的ブラケットがスペクトル系列の高次項へ拡張される。