[論文レビュー] Cobordism maps in link Floer homology and the reduced Khovanov TQFT

András Juhász, Marco Marengon|arXiv (Cornell University)|Mar 2, 2015

Geometric and Algebraic Topology参考文献 24被引用数 5

ひとこと要約

この論文は、cobordism写像を通じてリンクフローリエホモロジーと削減されたカホヴァン・ホモロジーを結びつける。これらの写像は、立方体の分解の定義する削減されたカホヴァン複体を再現する(1+1)次元TQFTを定義する。さらに、削減されたカホヴァンホモロジーから得られるスペクトル系列を構成し、それがマークされたリンクの不変量であることを示す。

ABSTRACT

We compute the maps induced on link Floer homology by certain elementary decorated link cobordisms. We show that they give rise to a (1+1)-dimensional TQFT that, when applied to the cube of resolutions of a marked knot diagram, gives the complex defining the reduced Khovanov homology of the knot. Finally, we define a spectral sequence from (reduced) Khovanov homology using these cobordism maps, and we prove that it is an invariant of the (marked) link.

研究の動機と目的

• 基本的な装飾付きリンクコボルドゥームによって誘導されるリンクフローリエホモロジー上の写像を理解すること。
• これらの写像が(1+1)次元のトポロジカル量子場理論(TQFT)を形成することを示すこと。
• マークされた紐結びの図の分解の立方体にこのTQFTを適用することで、削減されたカホヴァンホモロジーを定義する複体が再現されることを示すこと。
• これらのコボルドゥーム写像を用いて、削減されたカホヴァンホモロジーからスペクトル系列を構成すること。
• 得られたスペクトル系列がマークされたリンクの不変量であることを証明すること。

提案手法

• 著者たちは、基本的な装飾付きリンクコボルドゥームがリンクフローリエホモロジーに与える作用を計算する。
• 誘導された写像が(1+1)次元TQFTの公理を満たすことを示す。
• このTQFTをマークされた紐結びの図の分解の立方体に適用し、削減されたカホヴァンホモロジーの鎖複体へ写像する。
• コボルドゥームによって誘導される写像を微分として用いて、E1ページが削減されたカホヴァンホモロジーであるスペクトル系列を定義する。
• スペクトル系列がアイソトピーおよびマークされた構造を保つリンクの移動に対して不変であることを証明する。
• ファンクター性とコボルドゥーム不変性を用いて、スペクトル系列の不変性を確立する。

実験結果

リサーチクエスチョン

• RQ1 基本的な装飾付きリンクコボルドゥームは、リンクフローリエホモロジーにどのように作用するか？
• RQ2 リンクフローリエホモロジー上の誘導写像は(1+1)次元TQFTを形成できるか？
• RQ3 分解の立方体に適用したTQFTは、削減されたカホヴァンホモロジーの複体を再現するか？
• RQ4 これらのコボルドゥーム写像を用いて、削減されたカホヴァンホモロジーからスペクトル系列を構成できるか？
• RQ5 得られたスペクトル系列はマークされたリンクの不変量であるか？

主な発見

• 基本的なコボルドゥームによって誘導されるリンクフローリエホモロジー上の写像は、(1+1)次元TQFTを形成する。
• マークされた紐結びの図の分解の立方体にこのTQFTを適用することで、削減されたカホヴァンホモロジーの鎖複体が再現される。
• コボルドゥーム写像は、E1ページが削減されたカホヴァンホモロジーであるスペクトル系列を定義する。
• スペクトル系列は、アイソトピーおよびマークされた構造を保つリンクの移動に対して不変なホモロジー理論へ収束する。
• スペクトル系列は、図や分解の選び方に依存しないマークされたリンクの不変量である。