[論文レビュー] Stein 4-manifolds and corks

Selman Akbulut, Kouichi Yasui|arXiv (Cornell University)|Oct 20, 2010

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

ひとこと要約

本稿では、コンpactな Stein 4-多様体が、非自明な Seiberg-Witten 不変量を持つ閉じたシンプレクティック 4-多様体に埋め込まれることを応用し、4-多様体におけるコルクを構成するための新しい手法を提案する。ノット手術と有理的ブロー・ダウンを用いることで、任意のマザール型コルクが、単一の単連結 4-多様体上で無限に多くの異種の微分構造を誘導できることを示し、複数のコルクを互いに素な方法で埋め込むことで、有限個の相異なる異種微分構造を生成できることを示している。

ABSTRACT

It is known that every compact Stein 4-manifolds can be embedded into a simply connected, minimal, closed, symplectic 4-manifold. By using this property, we discuss a new method of constructing corks. This method generates a large class of new corks including all the previously known ones. We prove that every one of these corks can knot infinitely many different ways in a closed smooth manifold, by showing that cork twisting along them gives different exotic smooth structures. We also give an example of infinitely many disjoint embeddings of a fixed cork into a non-compact 4-manifold which produce infinitely many exotic smooth structures. Furthermore, we construct arbitrary many simply connected compact codimension zero submanifolds of S^4 which are mutually homeomorphic but not diffeomorphic.

研究の動機と目的

• コンパクトな Stein 4-多様体の埋め込み性質を活用し、4-多様体におけるコルクを体系的に構成する手法の開発。
• 任意のマザール型コルクが、固定された閉じた 4-多様体上で無限に多くの互いに微分同相でない微分構造を生成できることの証明。
• 同一の 4-多様体内に複数の互いに素なコルクを埋め込み、それらの異なるコルクねじれが互いに微分同相でない異種微分構造を生じることの構成。
• 固定されたコンパクトで可縮な Stein 4-多様体が、無限に多くの非同相な埋め込み方で閉じた 4-多様体に埋め込まれ、それぞれが異なる微分構造を生じることの証明。
• 非コンパクトな 4-多様体への応用を拡張し、互いに素なコルクの埋め込みにより、無限に多くの異種微分構造を生成すること。

提案手法

• 任意のコンパクトな Stein 4-多様体が、$b_2^+ > 1$ を満たす単連結で最小的かつ閉じたシンプレクティック 4-多様体に埋め込まれることを保証する埋め込み定理の利用。
• 境界を持つコンパクトな Stein 4-多様体内に候補となるコルクを構成し、必要に応じてブロー・アップを施す。
• Fintushel-Stern のノット手術と有理的ブロー・ダウンの技法を用い、周囲のシンプレクティック 4-多様体を変形し、Seiberg-Witten 不変量の変化を検出する。
• Seiberg-Witten 不変量の変化とコルクねじれの関係を特定し、同じコルク上で異なる対合が作用することにより、微分同相でない異なる微分構造が生じることを証明する。
• ホモロジー類に代表される埋め込まれた曲面の genus を用いて、4-多様体族全体にわたる微分構造を区別する。
• 境界和とコルクねじれを用いて 4-多様体族 $X_n$ を構成し、それらの微分型を表す曲面の genus の制約を保証する。

実験結果

リサーチクエスチョン

• RQ1 任意のコンパクトな Stein 4-多様体は、$b_2^+ > 1$ を満たす閉じた、単連結で最小的なシンプレクティック 4-多様体に埋め込めるか？
• RQ2 固定されたマザール型コルクが、閉じた 4-多様体上で無限に多くの互いに微分同相でない微分構造を生成できるか？
• RQ3 複数のコルクを同一の 4-多様体内に互いに素な方法で埋め込み、それらの異なるコルクねじれが相異なる異種微分構造を生じるか？
• RQ4 固定されたコンパクトで可縮な Stein 4-多様体 $C$ が、無限に多くの非同相な埋め込み方で閉じた 4-多様体に埋め込まれ、それぞれが異なる微分構造を生じるか？
• RQ5 固定されたコルクが非コンパクトな 4-多様体に無限に多くの非同相な埋め込み方で埋め込まれる場合、それらが無限に多くの異種微分構造を生じるか？

主な発見

• 境界を持つ任意のコンパクトな Stein 4-多様体は、$b_2^+ > 1$ を満たす単連結で最小的かつ閉じたシンプレクティック 4-多様体に埋め込まれる。これにより、新たな構成フレームワークが可能となる。
• 任意のマザール型コルク $(C, au)$ に対して、$X_0$ からコルクねじれ $(C, au)$ を用いて得られる、互いに同相だが微分同相でない単連結な閉じた 4-多様体 $X_n$ が無限に存在する。
• 固定されたコルクが非コンパクトな 4-多様体に無限に多くの互いに素な埋め込み方で埋め込まれ、それに対応するコルクねじれが無限に多くの異種微分構造を生じる。
• 各 $n \geq 1$ に対して、$X_0$ 内に互いに素なコルク $(C_i, au_i)$ を埋め込み、それらの異なるコルクねじれにより得られる $n+1$ 個の 4-多様体 $X_i$ は、互いに同相だが微分同相でない。
• 固定されたコンパクトで可縮な Stein 4-多様体 $C$ は、無限に多くの非同相な埋め込み方で閉じた 4-多様体に埋め込まれ、それぞれがコルクねじれによって異なる微分構造を生じる。
• ホモロジー群 $H_2(X_n; \mathbb{Z})$ 内の類を代表する曲面の genus は微分不変量である：$n$ と $m$ において、$H_2(N_{n+1}; \mathbb{Z})$ の生成元を代表する曲面の最小 genus が異なる限り、$X_n$ と $X_m$ は微分同相でない。