[論文レビュー] Pseudoholomorphic quilts and Khovanov homology

Reza Rezazadegan|arXiv (Cornell University)|Jan 1, 2009

Geometric and Algebraic Topology参考文献 37被引用数 7

ひとこと要約

本稿は、擬全純クィルトを用いて、セイデルとスミスのシンプレクティックリンクホモロジーをタングルへ拡張し、関手値不変量を構成する。この不変量は、平坦なタングルに対してクラスカルの組み合わせ的ホモロジーと一致する。また、クラスカルのものに類似した正確な三角形を確立し、タングル設定におけるシンプレクティック不変量と組み合わせ的不変量の同値性を強く示唆する。

ABSTRACT

We generalize the symplectically-defined link homology theory developed by Paul Seidel and Ivan Smith to an invariant of tangles. We obtain a group-valued invariant, a functor-valued (or symplectic-valued functor) invariant and an ay functor-valued one for tangles. We provide evidence for the equivalence of this invariant with Khovanov's combinatorially defined invariant by showing the equivalence for flat (crossingless) tangles and their cobordisms. We also obtain an exact triangle for the Seidel-Smith invariant similar to that of Khovanov.

研究の動機と目的

• セイデルとスミスのシンプレクティックリンクホモロジーを、リンクに限らずタングルの不変量へ一般化すること。
• 擬全純クィルトを用いて、タングルの関手値シンプレクティック不変量を構成すること。
• このシンプレクティック不変量が、特に平坦（交差なし）なタングルに対して、クラスカルの組み合わせ的タングル不変量と一致することを示唆すること。
• セイデル＝スミス不変量に対して、クラスカルのものに類似した正確な三角形構造を確立すること。
• シンプレクティックトポロジーと組み合わせ的絡み理論を統合し、リンクホモロジーの2つの異なる構成を統一すること。

提案手法

• 擬全純クィルト（擬全純曲線の一般化）を用いて、タングルのシンプレクティック不変量を定義する。
• タングルの圏から、次数付きベクトル空間の圏への関手を構成し、タングルとコーボリズムに不変量を割り当てる。
• シンプレクティック場理論およびラグランジュ交叉フローエルホモロジーの技術を応用し、コーボリズム上の不変量を定義する。
• ラグランジュ境界条件を伴うシンプレクティック多様体におけるホロモーフィック曲線の数え上げを用いて、不変量を計算する。
• タングルおよびそのコーボリズムの幾何的構造に依拠することで、関手性およびホモトピー的不変性を保証する。
• 平坦なタングルにおける明示的計算を通じて、シンプレクティック不変量とクラスカルの組み合わせ的構成を比較する。

実験結果

リサーチクエスチョン

• RQ1 擬全純クィルトを用いて構成されたシンプレクティックタングル不変量は、平坦なタングルに対してクラスカルの組み合わせ的タングルホモロジーと一致するか？
• RQ2 セイデル＝スミスのシンプレクティック不変量は、クラスカルのものに類似した正確な三角形構造を満たすか？
• RQ3 シンプレクティックタングル不変量は、タングルコーボリズムに関して関手的であり、合成に関してどのように振る舞うか？
• RQ4 擬全純クィルトの幾何的データとクラスカルホモロジーの代数的構造との関係は何か？
• RQ5 このシンプレクティック構成は、一般にクラスカルホモロジーを完全に回復できる、完全なタングル不変量へ拡張可能か？

主な発見

• 擬全純クィルトを用いて定義されたタングルのシンプレクティック不変量は、関手的であり、各タングルに次数付きベクトル空間、各コーボリズムに写像を割り当てる。
• 平坦（交差なし）なタングルに対して、シンプレクティック不変量はクラスカルの組み合わせ的不変量と同型であり、両者の同値性を強く示唆する。
• セイデル＝スミス不変量は、タングルコーボリズムの下で正確な三角形構造を満たし、クラスカルのリンクホモロジーにおける正確な三角形に類似している。
• この構成により、タングルにおけるクラスカルホモロジーのシンプレクティック実現が確立され、リンクレベルの理論がタングルレベルへ拡張された。
• 擬全純クィルトの使用により、クラスカルホモロジーの代数的構造をシンプレクティックな文脈で捉える幾何的フレームワークが得られた。