[論文レビュー] Secondary Stiefel-Whitney class and diffeomorphisms of rational and ruled symplectic 4-manifolds

Vsevolod Shevchishin|arXiv (Cornell University)|Apr 2, 2009

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

ひとこと要約

本稿では、有理的および則ったシンプレクティック4次元多様体のホモトピー的自明な微分同相写像の不変量として、二次のステイフェル＝ブライトナー類 $\tilde{w}_2$ を導入する。この論文は、そのようなシンプレクティック微分同相写像が滑らかに同一化可能（アイデンティティに滑らかに同値）であるための必要十分条件として $\tilde{w}_2$ が消えること、すなわち $\tilde{w}_2 = 0$ であることを証明し、微分同相型群の構造を通じて、シンプレクティック構造の変形型の完全分類を提供する。

ABSTRACT

We introduce the secondary Stiefel-Whitney class $ ilde w_2$ of homotopically trivial diffeomorphisms and show that a homotopically trivial symplectomorphism of a ruled 4-manifold is isotopic to identity if and only if the class $ ilde w_2$ vanishes. Using this, we give a detailed description of the combinatorial structure of the diffeotopy group of ruled symplectic 4-manifolds $X$, either minimal or blown-up, and its action on the homology and homotopy groups $H_2(X,\zz)$, $π_1(X)$, and $π_2(X)$.

研究の動機と目的

• 有理的および則った4次元多様体上のシンプレクティック構造の変形型を、微分同相写像不変量を用いて分類すること。
• 4次元多様体のホモトピー的自明な微分同相写像に対して、二次のステイフェル＝ブライトナー類 $\tilde{w}_2$ を定義し、その性質を研究すること。
• シンプレクティック4次元多様体の微分同相型群がホモロジー群およびホモトピー群に作用する組合せ論的構造を記述すること。
• 変形型のシンプレクティック構造と $\tilde{w}_2 = 0$ を満たす微分同相写像の同値類との間の自然な全単射を確立すること。
• 最小および吹き増しの則った多様体について、微分同相型群が $H_2(X,\mathbb{Z})$、$\pi_1(X)$、および $\pi_2(X)$ に作用する様子を特定すること。

提案手法

• ホモロジー群 $H_\bullet(Z,\mathbb{Z}_2)$ に自明に作用する微分同相写像 $F: Z \to Z$ に対して、$\tilde{w}_2(F) \in H^1(Z,\mathbb{Z}_2)$ として二次のステイフェル＝ブライトナー類を定義する。
• 特にホモトピー的自明な微分同相写像に注目し、則ったおよび有理的シンプレクティック4次元多様体のシンプレクティック微分同相写像にこの類 $\tilde{w}_2$ を適用する。
• Aurouxらの知られている結果に基づき、ブロー・アップおよび変形を用いた4次元多様体上のシンプレクティック構造の分類を応用する。
• $H_2(X,\mathbb{Z})$ および $H_2(X,\mathbb{R})$ 内の正の錐への微分同相写像の作用を、ローレンツ型交差形式を用いて分析する。
• 反射群およびコクセター＝ヴァイユ群を用いて、正の錐を保存する $H_2(X,\mathbb{Z})$ の自己同型群の構造を記述する。
• 有理的ケースでは微分同相型群と $\mathrm{O}_+(1,2,\mathbb{Z})$ が同型であることを確立し、則ったケースでは関連する反射群が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 二次のステイフェル＝ブライトナー類 $\tilde{w}_2$ は、シンプレクティック微分同相写像の同値性の自明性を決定づける役割を果たすか？
• RQ2 有理的または則ったシンプレクティック4次元多様体の微分同相型群は、$H_2(X,\mathbb{Z})$、$\pi_1(X)$、および $\pi_2(X)$ にどのように作用するか？
• RQ3 $\tilde{w}_2 = 0$ を満たすホモトピー的自明な微分同相写像の同値類の群は、シンプレクティック構造の変形型を分類できるか？
• RQ4 最小および吹き増しの則った4次元多様体の微分同相型群の構造は何か？
• RQ5 微分同相型群の $H_2(X,\mathbb{Z})$ への作用は反射によって生成され、有理的ケースでは $\mathrm{O}_+(1,2,\mathbb{Z})$ と一致するか？

主な発見

• 任意の則ったまたは有理的シンプレクティック4次元多様体のホモトピー的自明なシンプレクティック微分同相写像 $F$ は、$\tilde{w}_2(F) = 0$ であるための必要十分条件として、滑らかに同一化可能（アイデンティティに滑らかに同値）である。
• $H^1(X,\mathbb{Z}_2)$ の任意の $w$ に対して、$\pi_1(X)$、$\pi_2(X)$、および $H_2(X,\mathbb{Z})$ に自明に作用するが、$\tilde{w}_2(F) = w$ を満たすシンプレクティック微分同相写像 $F$ が存在する。
• 有理的4次元多様体のシンプレクティック微分同相写像の滑らかな同値類は、$H_2(X,\mathbb{Z})$ への作用によって完全に決定される。
• 固定されたコホモロジー類を持つ $X$ 上のシンプレクティック構造の変形型と、$\tilde{w}_2 = 0$ を満たすホモトピー的自明な微分同相写像の同値類の群 $\Gamma_\blacksquare$ の間には自然な全単射が存在する。
• $X = (Y \times S^2)\# \overline{\mathbb{C}P^2}$ の場合、微分同相型群は $H_2(X,\mathbb{Z})$ に $\mathrm{O}_+(1,2,\mathbb{Z})$ に同型な反射群として作用する。
• $H_2(X,\mathbb{Z})$ の正の錐を保存する微分同相写像の同値類の群 $\widetilde{\Gamma}_H$ は $\mathrm{O}_+(1,2,\mathbb{Z})$ に同型であり、反射 $s_1, s_2, s_0^*$ によって生成される。