[論文レビュー] Action of the cork twist on Floer homology

Selman Akbulut, Çağrı Karakurt|arXiv (Cornell University)|Apr 12, 2011

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

ひとこと要約

本稿では、対称リンクから構成される可縮約4次元多様体の境界に定義されるコルクねじり（cork twist）—対称リンクから得られる可縮約4次元多様体の境界における対合（involution）—が、ヘーガードフローリー homology に非自明な作用を示すことを示している。具体的には、特徴的な接触類 $c^+$ を置換することで、その作用が非自明である。オルシュヴァート＝ツァボーの接触不変量とスティーン構造の技術を用いて、$HF^+$ に誘導される作用が非自明であることを証明し、コルクねじりが微分同相写像として拡張されないことを示している。これにより、多様体が真のコルク（genuine cork）であることが立証される。本研究は、4次元多様体における異種微分構造を検出する強力な不変量を提供する。

ABSTRACT

We utilize the Ozsvath-Szabo contact invariant to detect the action of involutions on certain homology spheres that are surgeries on symmetric links, generalizing a previous result of Akbulut and Durusoy. Potentially this may be useful to detect different smooth structures on 4-manifolds by cork twisting operation.

研究の動機と目的

• 対称リンクから得られる可縮約4次元多様体に対して、コルクねじりがヘーガードフローリー homology に非自明に作用するかを検出すること。
• 以前のマズール多様体に関する結果を、より広いホモロジー球面のクラスへ一般化すること。この一般化は、対称リンクへのスケーリングにより実現される。
• 接触トポロジー的不変量である $c^+$ を、対合が微分同相写像として拡張されないことを検出するための道具として確立すること。
• シンプレクティック4次元多様体のフェイクコピーをコルクねじりを用いて構成するための枠組みを提供すること。

提案手法

• 4次元多様体の境界におけるスティーン可縮接触構造に関連するオルシュヴァート＝ツァボーの接触不変量 $c^+$ を用いる。
• 正則なアロケータブル・リーマン・ファイブレーション（PALF）理論およびスティーン構造を用いて、シンプレクティックコーボリズムとハンドル体分解を構成する。
• コルクねじりが $HF^+$ に誘導する $U$-不変作用を用い、$c^+$ とその対合による像が置換されることを示す。
• 混合コーボリズム写像 $F^{ ext{mix}}$ と $F^+$ 写像を用いて、ねじり前後における相対不変量を比較する。
• 接触構造 $\xi$ とその像 $\xi' = \tau^*\xi$ はホモトピー的かつ接触同相的であるが、同相でないことが、不変量を用いて示されている。
• 付随不等式と $F_{W,\mathfrak{s}}(c^+)$ の非消滅性を用いて、ねじりが微分同相写像として拡張されないことを示す。

実験結果

リサーチクエスチョン

• RQ1 対称リンクから得られる可縮約4次元多様体の境界におけるコルクねじりが、$HF^+$ に非自明に作用するか？
• RQ2 オルシュヴァート＝ツァボーの接触不変量 $c^+$ は、コルクねじりが微分同相写像として拡張されないことを検出できるか？
• RQ3 接触構造 $\xi$ と $\tau^*\xi$ は同相か？ それらの不変量にはどのような相違があるか？
• RQ4 コルクがシンプレクティックに埋め込まれている場合、コルクねじりによって閉じたシンプレクティック4次元多様体のフェイクコピーが得られるか？
• RQ5 $HF^+$ におけるコルクねじりの非自明な作用が、異種微分構造の存在を示唆するのはどのような条件下か？

主な発見

• コルクねじり $\tau$ は $HF^+(-\partial W)$ に作用し、接触類 $c^+(\xi)$ とその像 $\tau^*c^+(\xi)$ を置換するが、これらは相異なる。
• 写像 $F_{W,\mathfrak{s}}(c^+(\xi)) = \Theta^+_{(0)}$ は非ゼロであるが、$F_{W,\mathfrak{s}}(\tau^*c^+(\xi)) = 0$ であるため、作用が非自明であることが証明される。
• 接触構造 $\xi$ と $\xi' = \tau^*\xi$ はホモトピー的かつ接触同相的であるが、同相ではない。これは $c^+$ の不変性の欠如によって示される。
• コルクねじりは $W$ 上の微分同相写像として拡張されないが、ホメオモーティズムとして拡張可能であるため、$W$ は真のコルクであることが確認される。
• 凹なシンプレクティックフィルティング $V$ を $W$ に接続すると、閉じたシンプレクティック4次元多様体 $X = W \cup V$ が得られ、ねじったバージョン $X' = W \cup_\tau V$ は、非基本な canonical $\mathrm{Spin}^c$ 構造を持つ $X$ のフェイクコピーである。
• 本構成は一般化可能なメカニズムを提供する：もしコルクが $b_2^+ \geq 2$ を満たすシンプレクティック4次元多様体にシンプレクティックに埋め込まれている場合、コルクねじりによってフェイクコピーが得られる可能性があり、これはねじった多様体における付随不等式の失敗によって裏付けられる。