[論文レビュー] On infinite order corks

Selman Akbulut|arXiv (Cornell University)|May 30, 2016

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

ひとこと要約

本稿は、2/3-ハンドル対のキャンセレーションとグルーク-twistに類似した操作を含む、新しい$δ$-移動技術を用いて、無限次の緩いコルク（境界微分同相が無限次の4次元多様体）を構成する。主な結果は、特定の4次元多様体$W$に対して繰り返し$δ$-移動を行うと、無限に多くの互いに微分同相でないエキゾチックな滑らかさ構造が得られ、$W$が無限次の緩いコルクであることを示している。ただし、$W$が必ずしもステインでないため、真の無限次のコルクの存在は未解決のまま残っている。

ABSTRACT

We construct an infinite order loose cork.

研究の動機と目的

• 4次元位相幾何学における、無限次のコルクが存在するかという未解決問題に取り組む。
• 2/3-ハンドル対のキャンセレーションを用いて、3次元多様体の境界上で無限次の微分同相を生成する、新しい技法（$δ$-移動）を開発する。
• 4次元多様体$W$に対して繰り返し$δ$-移動を行うと、閉じた4次元多様体$M$上で無限に多くの異なるエキゾチックな滑らかさ構造が得られることを示す。
• 得られたコルクが「緩い」、すなわち必ずしもステインでないことを示し、真の無限次のコルクの存在が未解決のまま残ることを示す。

提案手法

• 「$δ$-移動」を導入：$\partial X$ 上の単純な曲線$δ$に沿って0フレームの2ハンドルを付加し、それを3ハンドルでキャンセルした後、フレーム付きの円周$C_+$および$C_-$に沿ってブロー・アップとブロー・ダウンを施し、$\partial X$ 上の自己微分同相を生成する。
• 4次元多様体$W$をより大きな多様体$S$に埋め込み、$n$回の$δ$-移動を施すことで、$S_n = W \cup_{f_\delta^n} H$ としてのコルクねじりにより新たな多様体$S_n$を生成する。
• ハンドルスライドとキャンセレーション技術（[A4]、図1.17 参照）を用いて、$n$回の$δ$-移動後の$S_n$のハンドル体記述を簡略化する。
• $S_n$が、$S$ に対して$n$-twist knot $K_n$ によるFintushel-Sternの Knot surgery によって得られることを示し、境界構造は保たれるが滑らかさ型は変化する。
• $K_n$ のアレクサンダー多項式の違いにより、関連する閉じた多様体$M_n$ のSeiberg-Witten不変量が異なり、$S_n$ が互いに微分同相でないことを証明する。
• 任意の$S_n$ と $S_m$ ($n \neq m$) 間の微分同相が存在すると仮定すると、境界に拡張され、モノドロミーと可換になるが、これは$n=m$でなければ矛盾を生じるため、$n \neq m$ のとき$S_n$ と $S_m$ は微分同相でない。

実験結果

リサーチクエスチョン

• RQ1 境界の微分同相が無限次の4次元多様体を構成でき、繰り返しコルクねじりによって無限に多くの異なる滑らかさ構造が得られるか？
• RQ2 $δ$-移動技術は、多様体がステインでなくても、このような無限次の微分同相を生成できるか？
• RQ3 $W$ に対して$n$回の$δ$-移動で得られるエキゾチックな滑らかさ構造は、互いに微分同相でないか？
• RQ4 得られたコルクがステインでないという事実が、真の無限次のコルクが存在しないことを示唆するか？
• RQ5 $δ$-移動の構成は、Gompfが以前に発表した無限次の緩いコルクの例と整合するか、あるいは説明可能か？

主な発見

• 図1の多様体$W$ は、その境界に対して繰り返し$δ$-移動を行うことで無限に多くの異なる滑らかさ構造が得られるため、無限次の緩いコルクである。
• $W$ に対して$n$回の$δ$-移動を行うと、$S_n$ は$n$-twist knot $K_n$ によるFintushel-Sternの Knot surgery によって得られる多様体と微分同相になる。
• 閉じた多様体$M_n$（$S_n$ をコンact化して得られる）のSeiberg-Witten不変量は、$n$ ごとに異なるため、$S_n$ は互いに微分同相でないことが証明される。
• 境界の微分同相$f_\delta^n$ が$S_n$ に拡張されるとすれば、$n=m$ でなければならない。これは、$n \neq m$ のとき$S_n$ と$S_m$ が微分同相でないことを示している。
• $δ$-移動の構成は、Gompfの発表済み例と等価であり、ハンドル体技術を用いて彼の証明の位相的説明を与える。
• 得られたコルクは「緩い」（すなわち、ステインであるとは限らない）ため、真の無限次のコルクの存在は未解決のまま残っている。