[論文レビュー] A fake cusp and a fishtail

Selman Akbulut|ArXiv.org|Apr 14, 1999

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

ひとこと要約

この論文は、Fintushel-Sternのノット手術操作を $S^2 \times B^2$ 内のトーラス埋め込み2次元球面に適用することにより、標準的なバージョンとは同相だが微分同相でない、フィッシュテールおよびカスプ4次元多様体の異常な滑らか構造を構成する。主な結果は、標準的なフィッシュテール $F$ およびカスプ $Q$ とは同相だが微分同相でない、$F^*$ および $Q^*$ における滑らか構造の存在を示しており、4次元多様体の基本的構成要素即ち、かつては異常な滑らか構造を有しないと考えられていたものでさえ、異常な滑らか構造を有し得ることを示している。

ABSTRACT

We construct smooth 4-manifolds that are homeomorphic but not diffeomorphic to the "cusp" and the "fishtail", which are certain thickened singular 2-spheres.

研究の動機と目的

• 標準的なフィッシュテールおよびカスプ4次元多様体と同相だが微分同相でない滑らかな4次元多様体を構成すること。
• かつては異常な滑らか構造を有しないと考えられていた、4次元多様体の基本的構成要素が、実際には異常な滑らか構造を有し得ることを示すこと。
• Fintushel-Sternのノット手術操作が、$S^2 \times B^2$ の小さな変形に類する多様体に対し、このような異常な構造を生成できることを示すこと。
• 同相であるが微分同相でない $F^*$ および $Q^*$ が、標準的対応物とは微分同相でないことを確立すること。
• 4次元多様体の異常な滑らか構造の理解を拡張し、$S^4$ および $S^2 \times S^2$ 内のカスプおよびフィッシュテールの異常な結びつきを構成すること。

提案手法

• 4次元多様体内のc-埋め込みトーラスにFintushel-Sternノット手術操作を適用し、境界上の微分同相写像を用いてトーラスの縫い目近傍を $(S^3 - N(K)) \times S^1$ に置き換える。
• Seiberg-Witten不変量を用いて、得られた多様体の滑らか型を計算し、公式 $SW_{X_K} = SW_X \cdot \Delta_K(t)$ を利用する。ここで $\Delta_K(t)$ はノット $K$ のアレクサンダー多項式である。
• 手術結果のハンドル体記述を、$(S^3 - N(K)) \times S^1$ をスライス1-ハンドルと標準的ヘーガード図に従ってハンドル体の和集合に分解することにより構成する。
• ハンドル移動を行い、1-および2-ハンドルのペアをキャンセルすることで、結果のハンドル体の境界が3次元トーラスであることを確認する。
• 境界の微分同相写像が内部への微分同相写像に拡張されないことを示し、ホモトピー同値の議論を用いて、$F^*$ が $F$ と微分同相でないことを証明する。
• 境界接続和において $F$ または $C$ の1つのコピーを $F^*$ または $C^*$ に置き換えることで、$S^4$ および $S^2 \times S^2$ 内のフィッシュテールおよびカスプの異常な結びつきを構成し、ハンドル移動および手術操作により、得られた多様体が標準的であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 フィッシュテールおよびカスプ4次元多様体—4次元トポロジーにおける基本的構成要素—に異常な滑らか構造を構成できるか？
• RQ2 Fintushel-Sternノット手術操作により、元の多様体と同相だが微分同相でない滑らか構造を持つ4次元多様体が得られるか？
• RQ3 $F^*$ および $Q^*$ における異常構造を $S^4$ および $S^2 \times S^2$ 内の異常な結びつきに拡張できるか？
• RQ4 $F$ と $F^*$ 間の境界微分同相写像が内部への微分同相写像に拡張可能か？もし不可能ならば、これにより滑らか型にどのような意味が生じるか？
• RQ5 手術後の多様体がハンドル体移動および手術操作を用いて、標準的 $S^4$ または $S^2 \times S^2$ と特定できるか？

主な発見

• この論文は、標準的なフィッシュテール $F$ と同相だが微分同相でない滑らかな4次元多様体 $F^*$ を構成し、偽フィッシュテールの存在を証明している。
• 同様に、標準的なカスプ $Q$ と同相だが微分同相でない滑らかな4次元多様体 $Q^*$ を構成し、偽カスプの存在を証明している。
• $F^*$ の異常構造は、$S^2 \times B^2$ 内に適切に埋め込まれた2次元ディスク $f: B^2 \hookrightarrow S^2 \times B^2$ の縫い目近傍を除去することで得られ、その結果得られる多様体は $F$ と微分同相でない。
• $S^4$ および $S^2 \times S^2$ 内のフィッシュテールおよびカスプの異常な結びつきは、境界接続和において $F$ または $C$ の1つのコピーを $F^*$ または $C^*$ に置き換えることで構成され、それぞれ標準的 $S^4$ および $S^2 \times S^2$ に一致する。
• 結果の多様体 $C^* \cup_{\partial} -C$ が $S^2 \times S^2$ に一致することの特定は、高度なハンドル移動およびScharlemannの予想の検証に依存しており、手術およびハンドルキャンセリングにより滑らか型が確認されている。
• 結果の多様体 $X_K$ のSeiberg-Witten不変量は $SW_{X_K} = SW_X \cdot \Delta_K(t)$ として計算され、これは滑らか構造の変化を確認するものであり、同時に同相型は変化しない。