[論文レビュー] Extremal contractions from 4-dimensional manifolds to 3-folds

Yasuyuki Kachi|ArXiv.org|Feb 25, 1995

Geometry and complex manifolds参考文献 36被引用数 23

ひとこと要約

本稿は、滑らかな4次元多様体から3次元多様体への極小的収縮 $g: X \to Y$ における2次元ファイバーの分類を行い、そのファイバー内の任意の2点が、$-K_X$-長さが1または2である有理曲線の鎖でつながっていることを示している。また、$|-K_X|$ が $g$-自由であることを示している。分類には、有理面や有理スクロール、$\Sigma_1$ などの特異面を含むファイバーが含まれ、$l_E(R)$ や解析的相対ピカール数 $\rho^{\text{an}}$ といった明確な不変量が用いられている。本結果は、非等次元的収縮を分析することで、次元4における最小モデルプログラムを拡張する。

ABSTRACT

Let $g : X o Y$ be the contraction of an extremal ray of a smooth projective 4-fold $X$ such that $\dim Y=3$. Then $g$ may have a finite number of 2-dimensional fibers. We shall classify those fibers. Especially we shall prove that any two points of such a fiber is joined by a chain of rational curves of length at most 2 with respect to $-K_X$, and that $|-K_X|$ is $g ext{-free}$.

研究の動機と目的

• 滑らかな4次元射影多様体 $X$ から3次元多様体 $Y$ への極小的収縮 $g: X \to Y$ における2次元ファイバーの構造を分類すること。
• 収縮が等次元でない場合、特に $Y$ の孤立特異点におけるそのファイバーの局所的幾何を理解すること。
• 2次元ファイバー内の任意の2点が、$-K_X$-長さが2以下の有理曲線の鎖でつながっていることを証明すること。
• 反 canonical 線形系統 $|-K_X|$ が $g$-自由であることを確立し、相対射影空間への準同型の存在を保証すること。
• $l_E(R) = 1$ または $2$、および $\rho^{\text{an}}(X\supset E/Y\ni P) = 1$ または $2$ である例を含め、具体的な収縮の例を構成し、分類を説明すること。

提案手法

• 収縮の像点 $P = g(E)$ の近傍における小領域 $U \to V$ を用いた解析的局所幾何の応用により、相対的コーン $\overline{NE}^{\text{an}}(X\supset E/Y\ni P)$ を分析すること。
• 有理曲線 $C \subset E$ に対する $(-K_X \cdot C)$ の最小値として定義される長さ $l_E(R)$ を定義・計算し、それが1または2であることを示すこと。
• $U \setminus E \to V \setminus \{P\}$ におけるコニックバンドル構造の応用により、$(-K_X \cdot C) = 2$ であるコニックスの極限としてのファイバーを示し、その可約性または非可約性のタイプを分類すること。
• Kawamata や Andreatta-Wi{\ss}niewski の既知の結果に基づき、フリップ、除法的収縮、フロップを用いて $X$ の $E$ 近傍における局所構造を分析すること。
• 吹き上げと $\mathbb{P}^1$-バンドルを用いた具体的な例の構成。$\mathbb{P}^4$ の曲線に沿った吹き上げや、2次錐体およびデル・ペッツォ・ファイブレーションからの構成を含む。
• 解析的相対ピカール数 $\rho^{\text{an}}(X\supset E/Y\ni P)$ を用いてケースを区別し、$\rho^{\text{an}} = 1$ はムカイ＝ウィッスニエフスキー型、$\rho^{\text{an}} = 2$ は $\mathbb{P}^1 \times \Sigma_1 \cup \Sigma_1 \times \mathbb{P}^1$ のようなより複雑な構成に対応すること。

実験結果

リサーチクエスチョン

• RQ1 滑らかな4次元多様体から3次元多様体への極小的収縮における2次元ファイバーの可能な構造は何か。特に収縮が等次元でない場合に限って。
• RQ2 2次元ファイバー内の点は、$-K_X$-長さが有界な有理曲線によってどのようにつながっているか。
• RQ3 このような収縮における反 canonical 線形系統 $|-K_X|$ の振る舞いは何か。$g$-自由であるか。
• RQ4 $l_E(R)$ や $\rho^{\text{an}}(X\supset E/Y\ni P)$ のような不変量は、ファイバーの異なるタイプをどのように分類するか。
• RQ5 $\rho^{\text{an}} = 2$ あるいは非可約な無理的ファイバーを含む、すべての可能なファイバー型を実現する具体的な例を構成できるか。

主な発見

• 極小的収縮 $g: X \to Y$ の2次元ファイバー $E$ 内の任意の2点は、$-K_X$-長さが1または2である有理曲線の鎖でつながっている。
• 反 canonical 線形系統 $|-K_X|$ は $g$-自由であり、これは最小モデルプログラムにおける重要な段階である。
• ファイバー長さ不変量 $l_E(R)$ は1または2であり、$l_E(R) = 1$ の場合、$E \simeq \Sigma_1$ または $\mathbb{P}^2 \cup \mathbb{P}^2$（一点で接する）が含まれる。
• 解析的相対ピカール数 $\rho^{\text{an}}(X\supset E/Y\ni P)$ は1または2であり、$\rho^{\text{an}} = 1$ はムカイ＝ウィッスニエフスキー型に対応し、$\rho^{\text{an}} = 2$ は $\mathbb{P}^1 \times \Sigma_1 \cup \Sigma_1 \times \mathbb{P}^1$ のようなより複雑な構成に対応する。
• 具体的な例を構成した：$E \simeq \Sigma_1$（ムカイ型）、$E \simeq \mathbb{P}^2 \cup \mathbb{P}^2$（一点で接する）（ウィッスニエフスキー型）、および非可約で無理的であるが次数4のファイバーを持つデル・ペッツォ・ファイブレーション。
• 楕円曲線の錐である非可約で特異な無理的曲面をもつファイバーを、次数4のデル・ペッツォ・ファイブレーションとして構成し、このようなファイバーが最小モデルプログラムに現れることを示した。