[論文レビュー] Strong Khovanov-Floer Theories and Functoriality

Adam Saltz|arXiv (Cornell University)|Dec 22, 2017

Geometric and Algebraic Topology参考文献 25被引用数 4

ひとこと要約

本稿は、リーディマイスター不変性および関手的性質を証明するための統一的枠組みを確立し、リー同調、分岐二重被覆のヘーガード・フローエル同調、特異インスタントン同調、およびスザボの幾何的リンク同調といった多様な理論が、バール＝ナタンのcobordism的理論的リンク同調を通じて因数分解されることを示すことによって、それらの理論の関手的性質を統一的かつ強化する。主な貢献は、スペクトル系列に依存せず、代わりにcobordism写像を直接用いて自然性を証明するより強い関手的性質の結果を得ることにある。

ABSTRACT

We provide a unified framework for proving Reidemeister-invariance and functoriality for a wide range of link homology theories. These include Lee homology, Heegaard Floer homology of branched double covers, singular instanton homology, and \Szabo's geometric link homology theory. We follow Baldwin, Hedden, and Lobb (arXiv:1509.04691) in leveraging the relationships between these theories and Khovanov homology. We obtain stronger functoriality results by avoiding spectral sequences and instead showing that each theory factors through Bar-Natan's cobordism-theoretic link homology theory.

研究の動機と目的

• 多様なリンク同調理論におけるリーディマイスター不変性および関手的性質を証明する統一的枠組みを提供すること。
• スペクトル系列に依存することを避けることで、自然性が曇るのを防ぎ、関手的性質の結果を強化すること。
• リー、ヘーガード・フローエル、インスタントン、およびスザボの同調といった複数のリンク同調理論が、バール＝ナタンのcobordism的理論的リンク同調を通じて因数分解されることを示すこと。
• これらの理論が強力なカホボフ＝フローエル理論の公理を満たしており、リンクcobordismに関して自然性が保たれることを確立すること。
• ゲージ理論的理論に含まれるベースポイント構造（例：縮約されたインスタントン同調）を含めるために枠組みを拡張すること。

提案手法

• 本稿では、E2頁がカホボフ同調であるスペクトル系列として強力なカホボフ＝フローエル理論を定義する。この理論はcobordism写像に関して自然性を満たす。
• 各目標理論（例：リー、インスタントン、ヘーガード・フローエル）がバール＝ナタンのcobordism的理論的リンク同調を通じて因数分解されることを証明する。これにより、普遍的な関手的枠組みが得られる。
• リーディマイスター移動、ハンドル付加、同倫、直和に関する整合性を保証するための8つの公理（条件1–8）を検証する。
• ゲージ理論的理論では、フィルター付きチェイン複体（例：インスタントン同調の $C( ext{D},p)$）を用い、その写像がチェインレベルでcobordism写像と整合することを示す。
• クロノイマー＝マローウァおよびブルームらの既存結果を活用し、必要な自然性および整合性条件が成立することを検証する。
• スペクトル系列を回避するため、チェインレベルの写像に直接働きかけ、関手的性質が構成全体にわたり保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 複数のリンク同調理論にわたるリーディマイスター不変性および関手的性質を証明する統一的枠組みを開発できるか？
• RQ2 スペクトル系列に依存せず、代わりにバール＝ナタンのcobordism理論を通じて因数分解することで、より強い関手的性質の結果を得られるか？
• RQ3 ゲージ理論的および幾何的リンク同調理論（例：ヘーガード・フローエル、インスタントン、スザボの同調）は、強力なカホボフ＝フローエル理論の公理を満たすか？
• RQ4 縮約された理論（例：$I^{ atural}(K,p)$）におけるベースポイント構造の下で、cobordism写像の自然性は保たれるか？
• RQ5 これらの理論の関手的性質は、スペクトル系列の収束とは独立して、チェインレベルで確立できるか？

主な発見

• 本稿は、リー同調、分岐二重被覆のヘーガード・フローエル同調、特異インスタントン同調、およびスザボの幾何的リンク同調が、すべて強力なカホボフ＝フローエル理論の公理を満たすことを証明した。
• これらの理論はすべて、普遍的な関手的枠組みを提供するバール＝ナタンのcobordism的理論的リンク同調を通じて因数分解される。
• 関手的性質はスペクトル系列を避けるためにチェインレベルで直接確立され、すべてのリンクcobordismに関して自然性が保たれる。
• 枠組みはベースポイント付きの図にも拡張可能であり、縮約されたインスタントン同調 $I^{ atural}(K,p)$ についても公理が成立することを証明した。
• リンクcobordismによって誘導される写像が、ムービー表現に依存しないことが確認され、第二ページ以降に一致する。
• 提示された理論すべてに対して、リーディマイスター不変性および関手的性質の均一な証明が得られ、かつて別個に得られていた結果が統合された。