[論文レビュー] The Dolgachev Surface

Selman Akbulut|ArXiv.org|May 11, 2008

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

ひとこと要約

この論文は、2-ハンドルのみを用いてドロガチェフ表面 $E(1)_{2,3}$ の明示的なハンドル体分解を構成することにより、ハラー＝カス＝キルビー予想を反証した。これにより、1-または3-ハンドルを含まずに滑らかな構造を有することが証明された。この構成は、初期のハンドルスライドとキャンセレーションの後、ハンドル体を2度ひっくり返し、その後双対化とアイソトピーを施すことで行われ、単純で明示的な図が得られる。主な結果として、$E(1)_{2,3}$ は、可縮なステイン多様体 $W$ に沿ったコルトねじりによって $E(1)$ から得られることを示し、4次元多様体トポロジーにおける新しいコルト分解の例を確立した。

ABSTRACT

We prove that the Dolgachev surface E(1)_{2,3} admits a handlebody decomposition without 1- and 3- handles, and we draw the explicit picture of this handlebody. We also locate a "cork" inside of E(1)_{2,3}, so that E(1)_{2,3} is obtained from E(1) by twisting along this cork.

研究の動機と目的

• ドロガチェフ表面 $E(1)_{2,3}$ が1-および3-ハンドルを含まねばならないというハラー＝カス＝キルビー予想を反証すること。
• 2-ハンドルのみを用いた $E(1)_{2,3}$ の明示的かつ単純なハンドル体分解を構成すること。
• $E(1)$ を $W$ 沿いにねじることで $E(1)_{2,3}$ を得る、可縮なステイン多様体 $W$ を同定すること。
• 将来の異種有理的表面やステイン充填を構成するために、楕円的表面とその異種版の間の記述を一貫した辞書として確立すること。

提案手法

• 初期のハンドル体 $E(1)_{2,3}$ に対してハンドルスライドとキャンセレーションを適用し、1-および3-ハンドルを除去する。
• 得られたハンドル体をひっくり返し、さらなるハンドルスライドとキャンセレーションを施して構造を単純化する。
• 4-多様体を反転させた後、未キャンセルされた2-ハンドルの双対化を用いて新たなハンドル体図を構成する。
• 反転したハンドル体から得られる境界 $S^3$ に微分同相写像を適用し、双対2-ハンドルを再接続することで、新たな単純化された図を得る。
• ハンドルスライドとキャンセレーションを標準的生成子へ逆算することで、最終図が $E(1)_{2,3}$ に一致することを検証する。
• 最終的なハンドル体において $W$ を同定し、写像 $f$ 沿いのねじりによって $E(1)$ が回復することを示すことにより、コルト $W$ の存在を確認する。

実験結果

リサーチクエスチョン

• RQ1 ドロガチェフ表面 $E(1)_{2,3}$ は、1-または3-ハンドルを含まずに滑らかな構造を有するか。これはハラー＝カス＝キルビー予想に反する。
• RQ2 2-ハンドルのみを用いた、単純で明示的な $E(1)_{2,3}$ のハンドル体図を構成できるか。
• RQ3 $E(1)_{2,3}$ 内に可縮なステイン多様体 $W$ が存在し、その上での反転写像 $f$ によるねじりによって $E(1)$ が回復するか。
• RQ4 $E(1)_{2,3}$ と $E(1)$ 間の関係は、完全にコルト分解として記述可能か。

主な発見

• ドロガチェフ表面 $E(1)_{2,3}$ は2-ハンドルのみからなるハンドル体分解を有するため、ハラー＝カス＝キルビー予想が反証された。
• 図41に示される、1-および3-ハンドルを含まない単純で明示的なハンドル体図が $E(1)_{2,3}$ に対して構成された。
• $E(1)_{2,3}$ は、可縮なステイン多様体 $W$ 沿いのコルトねじりによって $E(1)$ から得られ、図42～44に示されている。
• コルト $W$ は [AM] の「ポジトロン」として、および [AY] の $\bar{W}_1$ として同定され、異種滑らか構造におけるその役割が確認された。
• この構成により、$E(1)$ は、$K\#(-K)$ におけるリボン移動の構成により、1-ハンドルを含まずに無限に多くの異なる滑らか構造を有することが示された。
• 図41の最終的なハンドル体図により、$E(1)_{2,3}$ が $\mathbb{C}P^2\#9\overline{\mathbb{C}P^2}$ に微分同相であることが確認され、2-ハンドル構造が明示的に可視化された。