[論文レビュー] Heegaard Floer Invariants and Tight Contact Three--Manifolds

Paolo Lisca, András I. Stipsicz|ArXiv.org|Mar 23, 2003

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

ひとこと要約

この論文は、ヘーガード・フロアー接触不変量を用いて、右巻きの三葉結び目への有理数スケーリングにおいて、r=1を除くすべての有理数スケーリングに対して正でタイトな接触構造の存在を証明する。接触(+1)-スケーリングとスケーリング正確三角形を用いて接触不変量の非消滅を示すことにより、正のE6およびE7の埋め込み4次元多様体の境界がタイトな接触構造を持つかどうかという長年の未解決問題を解決する。

ABSTRACT

Let Y(r) be the closed, oriented three-manifold obtained by performing rational r-surgery on the right-handed trefoil knot in the three-sphere. Using contact surgery and the Heegaard Floer contact invariants we construct positive, tight contact structures on Y(r) for every r not equal to 1. This implies, in particular, that the oriented boundaries of the positive E6 and E7 plumbings carry positive, tight contact structures, solving a well-known open problem.

研究の動機と目的

• 右巻きの三葉結び目に対する有理数スケーリングによって得られる閉じた向き付け可能な3次元多様体に、正でタイトな接触構造が存在することを確立すること。
• 正のE6およびE7の埋め込み4次元多様体の境界がタイトな接触構造を持つかどうかという未解決問題を解決すること。
• ヘーガード・フロアー接触不変量が、非ステイン埋め込み可能な接触構造に対してもタイト性を効果的に検出できることを示すこと。
• 接触スケーリングとスケーリング正確三角形を用いた計算フレームワークを提供し、接触不変量の非消滅を分析すること。

提案手法

• S^3内のレジェンドリアン結び目を用いた接触スケーリングにより、Y_rに接触構造を構成する。(-1)およびr'-スケーリングを含む図を用いる。
• 接触(+1)-スケーリングを適用して、複数の(+1)-フレームのレジェンドリアン・アンコイルを含む等価なスケーリング図形に変換する。
• ヘーガード・フロアー homology におけるスケーリング正確三角形を用いて、連続するスケーリングのホモロジー群を関連付ける。
• 接触(+1)-スケーリングにおけるヘーガード・フロアー接触不変量の非消滅を活用し、タイト性を推論する。
• ステイン埋め込み性が接触不変量の非消滅を意味することを利用し、コーボリズム写像を用いて非自明性を伝搬する。
• コーボリズム写像 F_{-X_k} の単射性を用いた帰納法により、すべての k ≥ 1 に対して接触不変量 c(V_k, ξ_k) ≠ 0 を証明する。

実験結果

リサーチクエスチョン

• RQ1 右巻きの三葉結び目に対する有理数スケーリング Y_r（r ≠ 1）は、正でタイトな接触構造を持つか？
• RQ2 ヘーガード・フロアー接触不変量は、非ステイン埋め込み可能な接触3次元多様体のタイト性を検出できるか？
• RQ3 正のE6およびE7の埋め込み4次元多様体の境界はタイトな接触構造を持つか？
• RQ4 レジェンドリアンリンクに対して繰り返し接触(+1)-スケーリングを施した場合、接触不変量は非消滅するか？
• RQ5 スケーリングによって得られる3次元多様体 V_k に対するヘーガード・フロアーホモロジー群 HF̂(−V_k) の次元は何か？

主な発見

• すべての r ∈ ℚ ∪ {∞} に対して r ≠ 1 のとき、右巻きの三葉結び目へのrスケーリングによって得られる3次元多様体 Y_r は、正でタイトな接触構造を持つ。
• すべての r ≠ 1 に対して接触不変量 c(Y_r, ξ) は非ゼロであり、ヘーガード・フロアー理論の非消滅基準によりタイト性が保証される。
• 正のE6およびE7の埋め込み4次元多様体の境界（それぞれ r = 3 および r = 2 に対応）はタイトな接触構造を持つ。これは古くから知られた未解決問題を解決する。
• 3次元多様体 V_k ≅ Y_{k/(k−1)} に対して HF̂(−V_k) の次元は ℤ/2ℤ 上で k に等しく、すべての k ≥ 1 に対して接触不変量は非ゼロである。
• k ≥ 2 の V_k に於ける接触構造はタイトであるが、シンプレクティック半埋め込み可能ではない。これは接触不変量の非消滅と既知の障害条件により確認される。
• 接触(+1)-スケーリングによって誘導されるコーボリズム写像 F_{-X_k} は単射であり、これにより接触不変量の非消滅が帰納的に伝搬可能である。