[論文レビュー] Immersed curves in Khovanov homology

Artem Kotelskiy, Liam Watson+1 more|arXiv (Cornell University)|Oct 31, 2019

Geometric and Algebraic Topology参考文献 63被引用数 8

ひとこと要約

本稿は、4-穴あき球面における局所系を伴う埋め込み曲線を用いて、Bar-Natanの普遍的トゥーリング不変量の幾何的解釈を導入し、貼り合わせ定理により、包絡ラグランジュフローリングホモロジーを用いて、削減されたBar-Natanホモロジーを回復するトゥーリング不変量 f_BN(T) を確立する。主な貢献は、クーヴィー代数 B における双次数付きチェーン複体の完全な分類であり、これにより、削減されたおよび非削減されたKhovanovホモロジーをそれぞれ回復する新しい不変量 f_Kh(T) と Kh(T) が得られ、Conwayの変形が F_2 上での s-不変量および削減されたBar-Natanホモロジーを保存することを証明する。

ABSTRACT

We give a geometric interpretation of Bar-Natan's universal invariant for the class of tangles in the 3-ball with four ends: we associate with such 4-ended tangles $T$ multicurves $\widetilde{\operatorname{BN}}(T)$, that is, collections of immersed curves with local systems in the 4-punctured sphere. These multicurves are tangle invariants up to homotopy of the underlying curves and equivalence of the local systems. They satisfy a gluing theorem which recovers the reduced Bar-Natan homology of links in terms of wrapped Lagrangian Floer theory. Furthermore, we use $\widetilde{\operatorname{BN}}(T)$ to define two immersed curve invariants $\widetilde{\operatorname{Kh}}(T)$ and $\operatorname{Kh}(T)$, which satisfy similar gluing theorems that recover reduced and unreduced Khovanov homology of links, respectively. As a first application, we prove that Conway mutation preserves reduced Bar-Natan homology over the field with two elements and Rasmussen's $s$-invariant over any field. As a second application, we give a geometric interpretation of Rozansky's categorification of the two-stranded Jones-Wenzl projector. This allows us to define a module structure on reduced Bar-Natan and Khovanov homologies of infinitely twisted knots, generalizing a result by Benheddi.

研究の動機と目的

• 4端点トゥーリングに対するBar-Natanの普遍的トゥーリング不変量の幾何的・曲線ベースの解釈を提供すること。
• 4端点トゥーリングに関連するクーヴィー代数 B における双次数付きチェーン複体の分類を行うこと。
• 貼り合わせ定理を用いて、削減されたおよび非削減されたKhovanovホモロジーを回復する新しい埋め込み曲線不変量 f_Kh(T) および Kh(T) を定義すること。
• Conwayの変形が F_2 上での s-不変量および削減されたBar-Natanホモロジーを保存することを証明すること。
• Rozanskyのカテゴライズ化されたジョーンズ–ウェンツル・プロジェクターの幾何的実現を提供し、無限にねじれた絡み目のホモロジーにモジュール構造を定義すること。

提案手法

• cobordism 圏 Cob/l における射空間の新しい基底を構成し、交差なしトゥーリングの自己準同型圏が関係式 DS = 0 = SD を持つクーヴィーのパス代数 B に同型であることを示す。
• この同型の下で、Bar-Natanの不変量 [[T]]/l に対応するチェーン複体を B 上のものとして定義し、これを Д(T) とし、点付きトゥーリング不変量とする。
• 4-穴あき球面 S^2_{4,*} における局所系を伴うマルチカーブ f_BN(T)、f_Kh(T)、Kh(T) を幾何的不変量として定義し、曲線が B 上のチェーン複体を表すようにする。
• 包絡ラグランジュフローリングホモロジーを用いて貼り合わせ定理を確立：f_BN(T) とラグランジュアン L∞ をペアリングすることで、閉じたリンクの削減されたBar-Natanホモロジーが回復される。
• 無限にねじれた絡み目のホモロジーに、Д(T) と次数付きバイモジュール BGR のテンソル積を用いた型ADバイモジュール構造を構成する。ここで BGR は無限ねじれをモデル化する。
• [OS19, Lemma 12.3] を適用し、チェーン複体内の生存するジグザグを特定することで、バイモジュールのホモロジーを計算し、幾何的曲線不変量を実現するホモトピー同値を得る。

実験結果

リサーチクエスチョン

• RQ1 4端点トゥーリングに対するBar-Natanの普遍的トゥーリング不変量は、4-穴あき球面上の局所系を伴う埋め込み曲線として幾何的に実現可能か？
• RQ2 得られる不変量 f_BN(T) は、包絡フローリング理論を用いて、削減されたBar-Natanホモロジーを回復する貼り合わせ定理を満たすか？
• RQ3 不変量 f_Kh(T) および Kh(T) は、それぞれリンクの削減および非削減Khovanovホモロジーを貼り合わせによって回復するように定義可能か？
• RQ4 Conwayの変形は s-不変量および F_2 上での削減されたBar-Natanホモロジーを保存するか？ もしそうなら、その理由は何か？
• RQ5 Rozanskyのカテゴライズ化された2ストランドジョーンズ–ウェンツルプロジェクターは、埋め込み曲線を用いて幾何的に解釈可能か？

主な発見

• Cob/l における交差なし4端点トゥーリングの自己準同型圏は、関係式 DS = 0 = SD を持つクーヴィー D ⇄ S のパス代数 B に同型である。
• 不変量 Д(T) は、B 上の双次数付きチェーン複体であり、チェーンホモトピーの意味でwell-definedであり、特徴的なトゥーリング端の選択に依存する。
• マルチカーブ f_BN(T) は、曲線のホモトピーおよび局所系の同値の意味でトゥーリング不変量であり、貼り合わせ定理を満たす：HF(L∞, f_BN(T)) ≅ BN(L) が閉じたリンク L に対して成り立つ。
• 不変量 f_Kh(T) は同じ貼り合わせ機構を用いて削減されたKhovanovホモロジーを回復し、Kh(T) は非削減バージョンを回復する。
• Conwayの変形は、f_BN(T) の変形不変性により、s-不変量および F_2 上での削減されたBar-Natanホモロジーを保存する。
• 無限にねじれた絡み目のホモロジーはバイモジュール BGR によるモジュール構造を備え、g_BN(K∞)_R ≃ Д(T)_B ⊠_B GR ⊠_R が成り立ち、GR は H および x を含む生成元と微分を持つチェーン複体の極限として実現される。