[論文レビュー] An obstruction to smooth isotopy in dimension 4

Daniel Ruberman|ArXiv.org|Jul 9, 1998

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

ひとこと要約

本稿は、1パラメータ族のヤン・ミルズモジュライ空間を用いて、4次元多様体の微分同相写像に対するゲージ理論的不変量を導入し、同相的に自明な写像であるが滑らかに同倫的でない微分同相写像を検出できることを示している。主な結果は、2つの4次元多様体 $X_0$ と $X_1$ が次数0のドナルドソン不変量を異にするならば、$Z = X_0 \# \mathbb{CP}^2 \# \overline{\mathbb{CP}}^2 \# \overline{\mathbb{CP}}^2$ 上に誘導される微分同相写像 $f = f_1 \circ f_0^{-1}$ は、位相的に自明な同倫型ではあるが、滑らかに同倫的でないことを示している。

ABSTRACT

Techniques of gauge theory are used to define and compute an invariant of certain diffeomorphisms of 4-manifolds. The invariant vanishes for any diffeomorphism which is smoothly isotopic to the identity. As an application, we give the first example of a diffeomorphism of a simply-connected 4-manifold which is homotopic to the identity map, but not smoothly isotopic to the identity.

研究の動機と目的

• 微分同相写像の滑らか同倫型にのみ依存するゲージ理論的不変量を構成すること。
• 自明な同倫型ではあるが滑らかに同倫的でない4次元多様体の微分同相写像の存在を示すこと。
• この障害が、元の4次元多様体のドナルドソン不変量の差異に起因することを示すこと。
• 特に2進数で還元した場合に、セイバーグ・ワインバーグ不変量がこのような同倫型障害を検出できない理由を明らかにすること。
• コホモロジー的解釈を用いて、この不変量を高次元の族へ拡張する枠組みを提供すること。

提案手法

• 経路 $h_t$ に沿って $h_0 = h$ から $h_1 = f^*h$ へと移行する、ヤン・ミルズモジュライ空間 $\tilde{\mathcal{M}} = \bigcup_t \mathcal{M}(Y; h_t)$ の1パラメータ族を定義する。
• 0次元モジュライ空間内の解の代数的数え上げを用いて、選択に依存しない不変量 $D_Z(f)$ を定義する。
• 2つの微分同相でないが同相型である4次元多様体 $X_0, X_1$ から、$Z = X_0 \# \mathbb{CP}^2 \# \overline{\mathbb{CP}}^2 \# \overline{\mathbb{CP}}^2$ を構成する。
• $(-1)$-球面における反転を用いて、それぞれ $X_0$ と $X_1$ に対応する微分同相写像 $f_0$ と $f_1$ を定義する。
• 不変量 $D_Z(f)$ を $D_Z(f_1) - D_Z(f_0)$ として計算し、$D_Z(f_j) = -4D_{X_j}$ が成り立つことを示す。
• ウォールクロッシング技法とクルアシの理論を用いて、経路変形に伴うモジュライ空間の挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 4次元において、自明な同倫型であるが滑らかに同倫的でない微分同相写像の滑らか同倫型障害を、ゲージ理論的不変量が検出できるか？
• RQ2 次数0のドナルドソン不変量は、$(-1)$-球面における反転を用いて構成された非滑らか同倫的でない微分同相写像を検出できるか？
• RQ3 なぜセイバーグ・ワインバーグ不変量は、特に2進数で還元した場合にこのような同倫型障害を検出できないのか？
• RQ4 2つの反転の合成は、単一の反転が持たない非自明な滑らか同倫型不変量を持つ微分同相写像を生成できるか？
• RQ5 計量空間を微分同相群で割った空間における、このような不変量のコホモロジー的解釈は何か？

主な発見

• 微分同相写像 $f = f_1 \circ f_0^{-1}$ に対する不変量 $D_Z(f)$ は、$D_Z(f) = D_Z(f_1) - D_Z(f_0)$ を満たし、$j=0,1$ に対して $D_Z(f_j) = -4D_{X_j}$ が成り立つ。
• $D_{X_0} \neq D_{X_1}$ ならば、$D_Z(f) \neq 0$ であり、$f$ が滑らかに自明な同倫型でないことを示唆する。
• 微分同相写像 $f$ は、ペロンとクワインの研究により、位相的に自明な同倫型であることが確立されている。
• 2進数で還元したセイバーグ・ワインバーグ不変量は、$b_+^2 \mod 4$ のみに依存することがモーガンとツァボーの結果により示されているため、同倫型障害を検出できない。
• 障害は2つの反転の合成に起因しており、これは無限位数であり、単一の反転がもたらす $\mathbb{Z}_2$-値不変量を避ける。
• この構成により、不変量が $H^1(\text{Met}^*(Z)/\text{Diff}^+(Z))$ 内の1次コサイクルとして生じることを明らかにし、高次元族への一般化に向けたコホモロジー的枠組みを示唆する。