[論文レビュー] Small Contractions of Symplectic 4-folds

Jan Wierzba, Jarosław A. Wiśniewski|ArXiv.org|Jan 4, 2002

Algebraic Geometry and Number Theory参考文献 11被引用数 11

ひとこと要約

本稿は、複素シンプレクティック 4 次元多様体の小さな収縮を分類し、任意のこのような収縮が、$\mathbb{P}^2$ の余接 bundle のゼロ節の収縮と局所解析的に同型であることを証明しており、したがってムカイのフロップを許容する。主な結果は、特異点の集合が $\mathbb{P}^2$ に同型であり、収縮がシンプレクティック構造を保存するクリーパントであることを示している。

ABSTRACT

We classify small contractions of (holomorphically) symplectic 4-folds.

研究の動機と目的

• 複素シンプレクティック 4 次元多様体の小さな収縮を分類すること、すなわち、除法を除く曲線や点のみを収縮する双有理的写像を対象とする。
• このような収縮の局所解析的構造、特に特異点の集合の性質を特定すること。
• 4 次元の任意の小さなシンプレクティック収縮が、$\mathbb{P}^2$ の余接 bundle のゼロ節の収縮の変形として得られることを確立すること。
• このような場合にムカイのフロップが存在することを証明し、シンプレクティック 4 次元多様体における双有理幾何を拡張すること。
• 収縮の像が準射影的であり、収縮がクリーパントであることを示すこと。すなわち、シンプレクティック形式を保存する。

提案手法

• 双有理的変形および定義域と像の縮小により、相対ピカール数 $\rho(X/Y) = 1$ の場合に還元する。
• 連結性の議論と消失定理（例：$H^1({\mathbb{P}}^2, T_{{\mathbb{P}}^2} \otimes S^i(T_{{\mathbb{P}}^2})) = 0$）を用いて、解析的近傍の一意性を保証する。
• 特異ファイバー $E$ の部分正規化 $\alpha: S \to E$ を構成する。ここで $S$ は $K_S = \mathcal{O}_S(-1)$ を満たすデル・ペッツォ表面である。
• $S$ 上の双対化層および微分形式の層、特に $\Omega_S|_{B_S} \cong \mathcal{O}_{\mathbb{P}^1}(-2) \oplus \mathcal{O}_{\mathbb{P}^1}(-2) \oplus \mathcal{O}_{\mathbb{P}^1}(-3)$ を分析し、$E$ が codimension 1 で正規でない場合に矛盾を導く。
• セール双対性およびコhomology の消失（$H^2(S, \mathcal{O}_S) = 0$）を用いて、線束構造を制約し、$S$ の構成における $d=1$ を強制する。
• 変形理論および [Wie2] と [Kl] の結果を用いて、$Y$ が準射影的であると仮定した場合に、収縮の解析的同型型を正当化する。

実験結果

リサーチクエスチョン

• RQ1 複素シンプレクティック 4 次元多様体の小さなシンプレクティック収縮の局所解析的構造は何か？
• RQ2 4 次元における小さなシンプレクティック収縮の特異点の集合は分類可能か？ その幾何的型は何か？
• RQ3 4 次元のすべての小さなシンプレクティック収縮はムカイのフロップを許容するか？ どのような条件下でそうなるか？
• RQ4 小さなシンプレクティック収縮の像が準射影的である条件は何か？ これは変形の存在にどのように影響するか？
• RQ5 小さなシンプレクティック収縮の特異点の集合は、必ず $\mathbb{P}^2$ に同型であるか？

主な発見

• 任意の複素シンプレクティック 4 次元多様体の小さなシンプレクティック収縮 $\varphi: X \to Y$ の特異点の集合は、$\mathbb{P}^2$ に同型である。
• 収縮は、$T^*\mathbb{P}^2$ のゼロ節の収縮と局所解析的に同型である。
• 収縮はムカイのフロップを許容する。すなわち、別の小さな収縮を介して収縮を解消する双有理的変換 $X \dashrightarrow X'$ が存在する。
• 特異ファイバー $E$ は codimension 1 で正規でないが、その部分正規化 $S$ は $K_S = \mathcal{O}_S(-1)$ を満たすデル・ペッツォ表面であり、局所的完全交差特異点を持つ。
• $S$ 上の微分形式の層 $\Omega_S|_{B_S}$ は、非正規部分 $B_S \cong \mathbb{P}^1$ 上で $\mathcal{O}_{\mathbb{P}^1}(-2) \oplus \mathcal{O}_{\mathbb{P}^1}(-2) \oplus \mathcal{O}_{\mathbb{P}^1}(-3)$ に同型であり、矛盾の導出において中心的な役割を果たす。
• 矛盾はシンプレクティック形式の対称性から生じる：もし $\Omega_X$ が $E$ に制限されたときに負の次数成分をもつならば、シンプレクティック双対性が符号反転を強制し、双対化層の構造に反する。