[論文レビュー] Heegaard Floer invariants of Legendrian knots in contact three--manifolds

Paolo Lisca, Peter Ozsváth+2 more|ArXiv.org|Feb 5, 2008

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

ひとこと要約

本稿では、接触3次元多様体内のノルムホモロジカルなレジェンドリアンおよびトランスバース・ノードに対して、ヘーガード・フローリングホモロジーを用いた新しい不変量を導入する。相反する向き付けの多様体におけるノード・フローリングホモロジー内のサイクル類を構成することにより、不変量 ${\mathfrak{L}}(L)$ および $\widehat{\mathfrak{L}}(L)$ が補助的データに依存せず、レジェンドリアン同値類にのみ依存することを示した。主な貢献は、接触オルツヴァース＝ツァバ・不変量に関連する非零判定基準であり、これはオーバートゥイスト接触構造におけるトランスバース非単純性を検出可能である。

ABSTRACT

We define invariants of null--homologous Legendrian and transverse knots in contact 3--manifolds. The invariants are determined by elements of the knot Floer homology of the underlying smooth knot. We compute these invariants, and show that they do not vanish for certain non--loose knots in overtwisted 3--spheres. Moreover, we apply the invariants to find transversely non--simple knot types in many overtwisted contact 3--manifolds.

研究の動機と目的

• 任意の閉じた接触3次元多様体におけるノルムホモロジカルなレジェンドリアンおよびトランスバース・ノードの不変量を定義すること。これは、従来の $S^3$ に限局された構成を拡張するものである。
• 補助的データに依存せず、ノードのレジェンドリアン同値類にのみ依存する不変量を確立すること。
• これらの不変量を用いて、オーバートゥイスト接触3次元多様体におけるトランスバース非単純性を検出するフレームワークを提供すること。
• 不変量を接触オルツヴァース＝ツァバ不変量 $c(Y,\xi)$ と関連づけ、非零判定基準を証明すること。

提案手法

• レジェンドリアン・ノードとそのスプリット・スフィアを適合する二重にマークされた装飾付きヘーガード・ダイアグラムを用いて、$(-Y,L)$ のヘーガード・フローリングホモロジー内にサイクル類 ${\bf{x}}(L,D)$ を構成する。
• 不変量 ${\mathfrak{L}}(L)$ および $\widehat{\mathfrak{L}}(L)$ を、指定されたホモロジー類をもつ $\mathbb{F}[U]$-加群の同値類として定義し、$\mathbb{F}[U]$-加群同型の下で同定する。
• 装飾付きヘーガード移動（同相、ハンドルスライド、安定化）を用いて、補助的データの変更に対する不変性を示す。
• 装飾付きヘーガード移動によって誘導される三角マップが、ビグレーディングを保存し、ホモロジー上に同型を誘導することを示すことにより、不変量がレジェンドリアン同値類のもとで保存されることを証明する。
• 連結和のためのクネンツの原理を活用し、ノード・フローリングホモロジーのチェーン複体のテンソル積を介して、連結和ノードの不変量とその和成分の不変量を関連付ける。
• 非零条件を確立する：$c(Y,\xi) \neq 0$ ならば ${\mathfrak{L}}(L) \neq 0$ であり、さもなければ十分大きな $d$ に対して $U^d \cdot {\mathfrak{L}}(L) = 0$ となる。

実験結果

リサーチクエスチョン

• RQ1 標準接触 $S^3$ を超えて、任意の閉じた接触3次元多様体におけるレジェンドリアンおよびトランスバース・ノードの不変量を定義できるか？
• RQ2 これらの不変量は、ヘーガード・ダイアグラムやベースポイントなどの補助的データの選択に依存しないか？
• RQ3 接触オルツヴァース＝ツァバ不変量 $c(Y,\xi)$ が非零であるならば、新たなレジェンドリアン不変量 ${\mathfrak{L}}(L)$ も非零であると示せるか？
• RQ4 これらの不変量は、オーバートゥイスト接触3次元多様体におけるトランスバース非単純性を検出できるか？
• RQ5 一般の接触3次元多様体において、不変量は連結和および同値類のもとでどのように振る舞うか？

主な発見

• 不変量 ${\mathfrak{L}}(L)$ および $\widehat{\mathfrak{L}}(L)$ は $\mathbb{F}[U]$-加群同型の下でwell-definedであり、補助的選択に依存せず、$L$ のレジェンドリアン同値類にのみ依存する。
• 接触オルツヴァース＝ツァバ不変量 $c(Y,\xi)$ が非零であれば、任意の向き付けられたレジェンドリアン・ノード $L \subset (Y,\xi)$ に対して ${\mathfrak{L}}(L) \neq 0$ である。
• オーバートゥイスト接触3次元多様体では、非ローマスなノードに対しても不変量が非零となり得るため、非標準的接触構造における感度が示された。
• 不変量はトランスバース非単純性を検出する：滑らか同値なノードタイプであっても、トランスバース同値ではないノードタイプを区別できる。
• 十分大きな $d$ に対して $c(Y,\xi) = 0$ のとき $U^d \cdot {\mathfrak{L}}(L) = 0$ となるため、接触不変量の消滅と整合するフィルトレーションの振る舞いを示している。
• 不変量は連結和操作のもとで保存され、ビグレーディング構造はノード・フローリングホモロジーのテンソル積分解を反映している。