[論文レビュー] Twisting 4-manifolds along RP^2

Selman Akbulut|arXiv (Cornell University)|Dec 23, 2009

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

ひとこと要約

本稿は、楕円曲面 $E(1) = \mathbb{CP}^2 \#\, 9\overline{\mathbb{CP}^2}$ の異種コピーである Dolgachev 曲面 $E(1)_{2,3}$ が、$W_{1,2}$-プラグに沿ったプラグねじり操作によって構成可能であることを示している。この $W_{1,2}$-プラグは、$\mathbb{RP}^2$ に同相である。主な結果は、$\mathbb{RP}^2$ の円筒近傍の境界上に誘導される対合によって引き起こされるこの操作が、異種微分構造を生じさせることであり、$\mathbb{RP}^2$-ねじりによる Dolgachev 曲面の新しい幾何的実現が得られることである。

ABSTRACT

We prove that the Dolgachev surface E(1)_{2,3} (which is an exotic copy of the elliptic surface E(1)=CP^2 # 9(-CP^2)) can be obtained from E(1) by twisting along a simple "plug", in particular it can be obtained from E(1) by twisting along an RP^2.

研究の動機と目的

• 4 次元多様体上で $\mathbb{RP}^2$ に沿ったねじり操作が異種微分構造を生じさせ得るかどうかを特定すること。
• $E(1)$ の異種コピー、特に Dolgachev 曲面 $E(1)_{2,3}$ を構成する際の $W_{1,2}$ プラグの役割を調査すること。
• プラグねじり、$\mathbb{RP}^2$-ねじり、およびそれによって生じる微分構造の変化との関係を明確にすること。
• $E(1)$ に対して単一のプラグねじり操作を施すことで、Dolgachev 曲面が幾何的に実現されることを提供すること。これにより、既存のコルトねじり構成法が補完される。

提案手法

• $W_{1,2}$ プラグは、$S^4$ 内の $\mathbb{RP}^2$ の円筒近傍として構成され、特定のハンドルボディ構造を持つ $\mathbb{RP}^2$ 上のディスクバンドルとして実現される。
• $\partial W_{1,2}$ 上に、赤と青のループ $\alpha$ と $\beta$ を交換する $180^\circ$ 回転によって誘導される対合 $f$ が定義され、これは境界上で非自明な微分同相写像を引き起こす。
• ハンドルボディ計算を用いる：1-および2-ハンドルのペアをキャンセルすることで、$W_{1,2}$ プラグは別のハンドル図式（図3）に再表現され、ねじりの明示的計算が可能になる。
• プラグねじり操作を $E(1)$ に適用し、$\alpha$ 上の $+1$-フレームの2ハンドルを $\beta$ 上の $0$-フレームの2ハンドルに置き換えることで、微分構造が変化する。
• ねじり後の結果として得られる多様体は、$S^2 \times S^2 \#\, 8\overline{\mathbb{CP}^2}$ に微分同相であり、これは $E(1)$ に一致するため、操作が適切に定義されていることが確認される。
• この方法は、結び目による手術に拡張可能である：$E(1)$ のカスプを結び目手術版 $Q_K$ に置き換えると、同じプラグねじり操作により $Q_K \#\, 8\overline{\mathbb{CP}^2}$ が得られ、これは三葉結び目 $K$ に対して $E(1)_K$ に一致する。

実験結果

リサーチクエスチョン

• RQ1 4 次元多様体上で $\mathbb{RP}^2$ に沿ったねじり操作が異種微分構造を生じさせ得るか？
• RQ2 $\mathbb{RP}^2$ に関連する $W_{1,2}$ プラグが、$E(1)$ からの単一のプラグねじり操作によって Dolgachev 曲面 $E(1)_{2,3}$ を生成するのに十分か？
• RQ3 $W_{1,2}$ に沿ったプラグねじりが、以前の構成と同様に Floer homology の順列とは独立して微分構造の変化を引き起こすか？
• RQ4 同じプラグねじり操作が、異なる結び目に対応して無限個の異なる異種コピー $E(1)$ を生成できるか？
• RQ5 $\partial W_{1,2}$、すなわちクaternion的3次元多様体が、微分構造を区別する役割を果たすか？

主な発見

• $E(1)_{2,3}$ は、対合 $f$ による $W_{1,2}$ プラグのねじり操作を施した $E(1)$ と微分同相であり、$E(1)_{2,3}$ が $\mathbb{RP}^2$ に沿ったねじり操作によって $E(1)$ から得られることを証明する。
• プラグねじり操作は、$\alpha$ 上の $+1$-フレーム2ハンドルを $\beta$ 上の $0$-フレーム2ハンドルに置き換える。その結果得られる多様体は $S^2 \times S^2 \#\, 8\overline{\mathbb{CP}^2}$ に微分同相であり、これは $E(1)$ に一致する。これにより、構成が正当化される。
• 三葉結び目 $K$ に対して、結び目手術版 $Q_K$ は $S^2 \times S^2$ に微分同相であるため、プラグねじりにより $E(1)_K = E(1)_{2,3}$ が得られ、既知の結果と一致する。
• 微分構造の変化は、Floer homology の順列とは無関係であり、$\mathrm{Spin}^c}$ 構造の変化に起因する。これにより、従来の構成とは明確に区別される。
• $\partial W_{1,2}$ はクaternion的3次元多様体であり、正の曲率をもち、Floer homology が消える。これは、異種性が Floer理論的不変量を超える位相的不変量に起因することを示唆する。
• この構成により、$Q_K \not\cong S^2 \times S^2$ であるような異なる結び目 $K$ に対して、$W_{1,2}$ が無限個の異種コピー $E(1)_K$ のプラグであることが示唆されるが、すべての $K$ に対してその同相型が未同定である。