[論文レビュー] 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

ひとこと要約

本稿は、次元4以上における紐結びとリンクの有限型不変量を構成する枠組みを、配置空間積分を用いて確立する。これは、図式複体から knot 空間の de Rham 複体への連接写像を示す。主な結果として、$ n \geq 4 $ に対して、長紐結び空間の有理ホモロジーは、次数 $ n-1 $ のポアソンオペラッドのホッホシュILDホモロジーと同型であり、この同型は、弦図と配置空間積分を通じて組み合わせ論的に記述可能である。

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.

研究の動機と目的

• 次元 $ n \geq 4 $ における紐結びとリンクの空間への配置空間積分理論を拡張し、古典的紐結びを超えた有限型不変量を一般化すること。
• 図式複体から長紐結び空間 $ \mathcal{K}^n $ の de Rham 複体への連接写像を確立し、ボット＝トーバース構成を一般化すること。
• 配置空間積分を、多様体計算や小さな $ n $-円板オペラッドの形式的性質といったホモトピー論的道具と結びつけること。
• ホモトピー的リンクのミルナー不変量を、有限型不変量としての積分表現で実現すること。
• 次元 $ n \geq 4 $ に対して、$ \mathcal{K}^n $ の有理ホモロジーを、ポアソンオペラッドのホッホシュILDホモロジーを用いて組み合わせ論的に記述すること。

提案手法

• 点 $ p $ が紐上に、点 $ q $ が $ \mathbb{R}^n $ 内で自由になるように、$ \pi: \operatorname{Conf}[p,q; \mathcal{K}^n, \mathbb{R}^n] \to \mathcal{K}^n $ というバンドルを、評価写像と射影写像を用いて構成する。
• 三価または一般化された図式の辺に沿って、$ S^{n-1} $ 上の体積形式を引き戻し、配置空間上で閉じた微分形式を形成する。
• この形式を各紐結び上のファイバーに沿って積分し、$ \mathcal{K}^n $ 上の微分形式を得る。これにより、連接写像 $ \mathcal{D}^n \to \Omega^*(\mathcal{K}^n) $ が得られる。
• 配置空間の フルトン＝マクファーソンコンパクト化を用いて、積分過程における特異点を扱う。
• 多様体関手の計算を用いて、穴あき紐結び空間 $ \overline{\mathcal{K}^n} $ のテイラー塔を、コシンプレックスモデルでモデル化する。
• 小さな $ n $-円板オペラッドの形式的性質を活用し、$ \mathcal{K}^n $ の有理ホモロジーと、次数 $ n-1 $ のポアソンオペラッドのホッホシュILDホモロジーとの関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 配置空間積分は、$ n > 3 $ の $ \mathbb{R}^n $ 内の紐結びに対して、有限型不変量をどのように構成できるか？ これは古典的リンク数の一般化である。
• 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 $ のポアソンオペラッドのホッホシュILDホモロジーと同型であり、この同型は弦図を通じて組み合わせ論的に記述可能である。
• $ \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) $ が得られ、ボット＝トーバース構成を一般化し、$ n = 3 $ の場合に有限型不変量が次数0で回復される。
• この構成は、リンク、ホモトピー的リンク、およびブレードの空間へと拡張可能であり、ミルナー不変量が有限型不変量として積分表現を持つ。
• 次元 $ n \geq 4 $ に対して、スペクトル系列は崩壊し、$ \mathcal{K}^n $ の有理ホモロジーは $ \operatorname{H}_*(\operatorname{Conf}(p, \mathbb{R}^n); \mathbb{Q}) $ から構成される。これは完全に組み合わせ論的に理解可能である。
• $ E^2 $ ページでのスペクトル系列の崩壊は、形式的性質による内部微分のゼロ化を用いて証明され、$ n = 3 $ の場合に洗練されたモデル圏論的技法が用いられる。