[論文レビュー] Contact Structures with Distinct Heegaard Floer Invariants

Olga Plamenevskaya|ArXiv.org|Sep 19, 2003

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

ひとこと要約

この論文は、4次元多様体上の非同相のStein構造が、平面場としてホモトピックであっても、その境界上に誘導する接触構造が異なるヘーガードフローホモロジー不変量を持つことを確立している。$\sigma$-構造とStein構造の対応関係を用い、ヘーガードフローホモロジーの次数とフィルトレーションの性質を活用することで、著者は$\mathrm{Spin}^c}$構造が非同型である場合、$\widehat{HF}(-Y)$における接触不変量$c(\xi)$が接触構造を区別できることを証明している。

ABSTRACT

We prove that the contact structures on Y= dX induced by non-homotopic Stein structures on the 4-manifold X have distinct Heegaard Floer invariants.

研究の動機と目的

• 4次元多様体上の非同相のStein構造が誘導する接触構造が、ヘーガードフローホモロジー不変量で区別できるかどうかを特定すること。
• 4次元多様体上の$\mathrm{Spin}^c}$構造と、その境界に誘導される接触構造の不変量との関係を調査すること。
• リスカとマティッチのセイバーグ＝ワインバーグ結果を拡張し、接触構造が平面場としてホモトピックであっても、ヘーガードフローホモロジー不変量が非同型の$\mathrm{Spin}^c}$構造を検出できることを示すこと。
• 接触不変量$c(\xi)$が$\mathrm{Spin}^c}$構造に依存することを確立し、平面場のホモトピー型ではなく、$\mathrm{Spin}^c}$構造そのものに敏感であることを示すこと。

提案手法

• 4次元多様体$X$上のStein構造とそれに対応する$\mathrm{Spin}^c}$構造$\mathfrak{s}_1, \mathfrak{s}_2$の対応関係を用いる。
• 境界$Y = \partial X$におけるヘーガードフローホモロジー接触不変量$c(\xi) \in \widehat{HF}(-Y)$を、Stein構造によって誘導される接触構造$\xi_1, \xi_2$に適用する。
• 特に、特性類とコボルディズムの符号数との関係を示す式(3)によって、次数の変化が制御される、ねじれ$\mathrm{Spin}^c}$構造における$\widehat{HF}(Y, \mathfrak{s})$の次数とフィルトレーション構造を用いる。
• コボルディズム写像の合成法則（命題1）と混合不変量$F^{\mathrm{mix}}$を用い、コボルディズムを介して不変量を関連付ける。
• ホンダによる、傾き$-1$の2本の平行な除く曲線を持つ実体の接触構造の分類を用い、プラスのホフバンドをプルーニングして得られるハンドル体に沿って、接触構造を帰納的に構成・分類する。
• 正のホフバンドをプルーニングすることで、境界$Y$に接続されたバインディングを持つ適合したオープンボクシデコポジションを構成し、オルツバーシュ＝ツァボの接触不変量の定義を、1-ハンドルを含むStein被覆に適用可能にする。

実験結果

リサーチクエスチョン

• RQ1 ヘーガードフローホモロジー不変量は、Stein 4次元多様体$X$上の非同型の$\mathrm{Spin}^c}$構造から誘導される$\partial X$上の接触構造を区別できるか？
• RQ2 平面場としてホモトピックであるが、非同相のStein構造から誘導される接触構造は、ヘーガードフローホモロジー不変量が異なるか？
• RQ3 $\mathfrak{s}$がねじれのとき、コボルディズムによって誘導されるヘーガードフローホモロジーの次数$\widehat{HF}(-Y, \mathfrak{s})$の振る舞いはどのように変化するか？また、これにより不変量を区別できるか？
• RQ4 接触不変量$c(\xi)$は、接触構造がホモトピックであっても、$\mathrm{Spin}^c}$構造に敏感であるか？
• RQ5 プルーニングされたハンドル体上のタイト接触構造の一意性を用いて、誘導される接触不変量の一意性を証明できるか？

主な発見

• 関連する$\mathrm{Spin}^c}$構造$\mathfrak{s}_1$と$\mathfrak{s}_2$が非同型である限り、$\widehat{HF}(-Y)$におけるヘーガードフローホモロジー接触不変量$c(\xi_1)$と$c(\xi_2)$は異なる要素である。
• 誘導される接触構造$\xi_1$と$\xi_2$が平面場としてホモトピックであり、したがって同じ$\mathrm{Spin}^c}$構造$\mathfrak{s}$を誘導する場合でさえ、Stein構造が非同相であれば、$c(\xi_1)$と$c(\xi_2)$は異なることがある。
• $\mathfrak{s}$がねじれのとき、$\widehat{HF}(-Y, \mathfrak{s})$における$c(\xi)$の次数はコボルディズムで保存され、式(3)がコボルディズムにおける次数シフトを支配する。
• 正のホフバンド$n$個から構成されるハンドル体におけるタイト接触構造の一意性は、帰納法とジルーオの基準を用いて確立され、接触不変量が適切に定義されることを保証する。
• 正のホフバンドをプルーニングすることで、接続されたバインディングを持つ適合したオープンボクシデコポジションを構成でき、これによりオルツバーシュ＝ツァボの接触不変量の定義を、1-ハンドルを含むStein被覆に適用可能にする。
• この結果により、リスカとマティッチのセイバーグ＝ワインバーグ定理が強化され、ヘーガードフローホモロジー不変量が$\mathrm{Spin}^c}$構造そのものに依存し、単に$\mathrm{Spin}^c}$構造よりも細かく接触構造を区別できることを示している。