[論文レビュー] Finite type knot invariants and calculus of functors

Ismar Volić|ArXiv.org|Jan 30, 2004

Geometric and Algebraic Topology参考文献 22被引用数 11

ひとこと要約

本稿は、長めの結び目の空間のターボー層のコホモロジー・スペクトル系列がE₂ページで収束することを示し、チェーン図による有限型結び目不変量の空間を計算することで、有限型結び目不変量とグッドウィルズの関手の微積分の間の深い関係を確立する。主な結果は、2n段階における代数的ターボー層の0次コホモロジーが、型nの有限型結び目不変量の空間に同型であることであり、ターボー層がこうした不変量の普遍的分類対象として機能することを証明する。

ABSTRACT

We associate a Taylor tower supplied by calculus of the embedding functor to the space of long knots and study its cohomology spectral sequence. The combinatorics of the spectral sequence along the line of total degree zero leads to chord diagrams with relations as in finite type knot theory. We show that the spectral sequence collapses along this line and that the Taylor tower represents a universal finite type knot invariant.

研究の動機と目的

• 有限型結び目不変量と微積分の理論の間の概念的かつ計算的ブリッジを確立すること。
• 長めの結び目の埋め込み関手のターボー層が、有限型不変量の普遍的対象として機能することを示すこと。
• ターボー層のコホモロジー・スペクトル系列が、関係を持つチェーン図を介して有限型不変量の空間を計算することを示すこと。
• 配置空間積分とホモトピー極限を用いた、ヴァシルエフ不変量を理解するための新しい位相的・代数的枠組みを提供すること。

提案手法

• フレームドな長めの結び目の空間に対するホモトピー極限を用いたターボー層の構成。
• 第二象限のコホモロジー・スペクトル系列を可能にする、ターボー層のコサイクリックモデルの使用。
• ボット＝ターツ配置空間積分を用いて、スペクトル系列のE₂項を関係を持つチェーン図の空間に結びつける。
• 二重点の解消を介して特異結び目を代数的ターボー層にマップし、コホモロジー上の評価写像を誘導する。
• 微分の直接計算と可換図式を用いて、スペクトル系列が全次数0の対角線上でE₂で収束することを証明する。
• グッドウィルズの収束定理とシンハの全化結果を活用し、ターボー層の代数的段階と位相的段階を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 長めの結び目の埋め込み関手のターボー層は、有限型結び目不変量を分類するか？
• RQ2 ターボー層のコホモロジー・スペクトル系列は、チェーン図および有限型結び目理論における関係とどのように関係するか？
• RQ3 スペクトル系列がE₂で収束するか？ もし収束するならば、これは有限型不変量の構造に何を意味するか？
• RQ4 結び目の空間からターボー層の段階への評価写像に、幾何的または位相的解釈はあるか？
• RQ5 微積分の理論の枠組みと、ヴァシルエフの単体的空間アプローチとの間には、どのような関係があるか？

主な発見

• ターボー層のコサイクリックモデルのコホモロジー・スペクトル系列は、全次数0の対角線上でE₂ページで収束する。
• スペクトル系列のE₂項は、関係を持つチェーン図の空間に同型であり、これは$$\mathcal{W}_n$$と表記され、型nの有限型不変量を分類する。
• 対角線上のE∞項は、商空間$$\mathcal{V}_n / \mathcal{V}_{n-1}$$に同型であり、スペクトル系列が有限型不変量の関連する次数付き空間を計算することを確認する。
• 2n段階における代数的ターボー層の0次コホモロジーは、型nの有限型結び目不変量の空間$$\mathcal{V}_n$$に同型である。
• すべての有限型不変量は、評価写像によって誘導される同型により、代数的ターボー層を経由する。
• ボット＝ターツ配置空間積分は、同型と可換である対角写像を提供し、積分的構成とスペクトル系列の整合性を確認する。