[論文レビュー] Corks, Plugs and exotic structures

Selman Akbulut, Kouichi Yasui|ArXiv.org|Jun 18, 2008

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

ひとこと要約

本稿では、corkと類似しているが根本的に異なる4次元多様体構造「プラグ」を導入し、corkと同様に、4次元多様体における異種微分構造を検出することを示している。著者らは、有理的ブロー・ダウンと対数変換が自然にプラグを生じることを示し、具体的な例（ねじれたcorkやプラグを含む）を構成することで、これらの対象が $E'_3$ のような異種4次元多様体に埋め込まれることを証明した。主な貢献は、プラグが異種微分構造を理解するためのcorkの補完的ツールとして確立されたことである。

ABSTRACT

We discuss corks, and introduce new objects which we call plugs. Though plugs are fundamentally different objects, they also detect exotic smooth structures in 4-manifolds like corks. We discuss relation between corks, plugs and rational blow-downs. We show how to detect corks and plugs inside of some exotic manifolds. Furthermore, we construct knotted corks and plugs.

研究の動機と目的

• 『プラグ』と呼ばれる、corkと類似しているが根本的に異なる4次元多様体の新しいクラスを導入・定義し、それらが異種微分構造を検出できることを示すこと。
• プラグと有理的ブロー・ダウン操作との関係を確立し、特定の変換によってプラグ構造が自然に生じることを示すこと。
• corkとプラグがねじれること、すなわち、同じ対象の異なる埋め込みが異なる微分構造をもたらすことを示すこと。
• ハンドル体図を用いて、$E'_3$ などの具体的な異種4次元多様体にcorkとプラグを特定・位置づけること。
• プラグがcorkの理解を進める可能性および異種Stein多様体ペアの構成に寄与する可能性を探ること。

提案手法

• プラグを、境界を持つコンpakトなStein 4次元多様体であり、その境界に自己同型写像が存在し、それが多様体全体への自己ホメオモーフィズムに拡張できないが、再接着することで周囲の4次元多様体の微分同相型を変えるものとして定義する。
• ハンドル体図を用いて、cork ($W_n$, $ar{W}_n$) とプラグ ($W_{m,n}$) の具体的な例を構成し、それらが異種微分構造に果たす役割を示す。
• 有理的ブロー・ダウン操作とcork・プラグ操作との関係を示すために、$C_p$ 沿いの有理的ブロー・ダウンが、特定の自己同型写像 $f_{p-1}$ や $f_p$ を用いた $W_{p-1}$ や $W_p$ の再接着に対応することを証明する。
• 1-および3-ハンドルを含まないハンドル体図を用いて、異種 $ {CP}^2\#9\overline{\r{CP}}^2$（$E'_3$ と名付けられたもの）を構成し、その中に埋め込まれたcorkとプラグを特定する。
• 同じ対象（例：$W_1$）の2つの異なる埋め込みが、同じ自己同型写像を用いた再接着によって異なる微分構造をもたらすことを示し、corkおよびプラグがねじれることを示す。
• Stein分解定理と $h$-cobordism理論を用いて、4次元多様体の位相的および微分的構造との関係を、特に有理的ブロー・ダウンおよび対数変換の文脈で関係づける。

実験結果

リサーチクエスチョン

• RQ1 プラグ構造は、corkと同様に4次元多様体における異種微分構造を検出するために用いることができるか？
• RQ2 4次元多様体位相幾何学において、有理的ブロー・ダウン操作はcorkおよびプラグ操作とどのように関係しているか？
• RQ3 同じコンパクトなStein 4次元多様体が、複数の方法でcorkまたはプラグとして埋め込まれ、異なる微分構造を生じる可能性はあるか？
• RQ4 corkおよびプラグはねじれた埋め込み（同相でない埋め込み）を許容するか、すなわち、異なる微分構造を生じるか？
• RQ5 1-および3-ハンドルを含まないプラグおよびcork分解を用いて、$E'_3$ のような異種4次元多様体を構築・分析することは可能か？

主な発見

• 本稿では、ハンドル体図を用いて、cork ($W_n$, $ar{W}_n$) とプラグ ($W_{m,n}$) の具体的な例を構成し、それらが異種微分構造を検出できることを証明した。
• 有理的ブロー・ダウンが $C_p$ 沿いで行われる場合、それらが自己同型写像 $f_{p-1}$ や $f_p$ を用いた $W_{p-1}$ や $W_p$ の再接着に対応することを示し、有理的ブロー・ダウンとプラグ／cork操作との直接的な関連を確立した。
• 異種4次元多様体 $E'_3$ は1-および3-ハンドルを含まずに構成され、そのハンドル体図が用いられ、中に埋め込まれたcorkとプラグを明示的に特定した。
• 著者らは、corkとプラグがねじれることを示した：同じ対象（例：$W_1$）の異なる埋め込みが、同じ自己同型写像を用いた再接着によって異なる微分構造をもたらす。
• $W_1$ が $E(n)_{p,q}\#\overline{\r{CP}}^2$ および $E(n)_K\#\overline{\r{CP}}^2$（$n\geq 2$）のcorkであることが示され、$W_{m,n}$ が $n\geq 2$, $m\geq 1$ のときプラグであることが示された。
• 本稿は、プラグがcorkの理解を補完する可能性を示唆しており、異種Stein多様体ペアの構成に役立つ可能性がある。