[論文レビュー] Quasi elementary contractions of Fano manifolds

Cinzia Casagrande|ArXiv.org|Apr 30, 2007

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

ひとこと要約

この論文は、ファノ多様体における基本的除去写像の一般化として、ファイバー型の準基本的除去写像を導入し、そのような除去写像に対して、Picard数が $\rho_X \leq \rho_Y + \rho_F$ を満たすことを確立している。主な結果として、$\dim Y \leq 3$ かつ $\rho_Y \geq 4$ であれば $Y$ は滑らかでファノ的であり、$\rho_Y \geq 6$ であれば $X$ は積多様体となり、次元4以上において $\rho_X$ の鋭い上限が得られる。

ABSTRACT

Let X be a smooth complex Fano variety. We define and study 'quasi elementary' contractions of fiber type f: X -> Y. These have the property that rho(X) is at most rho(Y)+rho(F), where rho is the Picard number and F is a general fiber of f. In particular any elementary extremal contraction of fiber type is quasi elementary. We show that if Y has dimension at most 3 and Picard number at least 4, then Y is smooth and Fano; if moreover rho(Y) is at least 6, then X is a product. This yields sharp bounds on rho(X) when dim(X)=4 and X has a quasi elementary contraction, and other applications in higher dimensions.

研究の動機と目的

• ファノ多様体における基本的除去写像のファイバー型を、より広いクラスとされる『準基本的除去写像』に一般化し、Picard数が大きいファノ多様体の構造をよりよく理解すること。
• 標準的なファイバー型除去写像では、標的がファノ的性質を保たない可能性があるという課題に対処し、Picard数の帰納的評価が制限されることを回避すること。
• 準基本的除去写像に対して、$\rho_X \leq \rho_Y + \rho_F$ の上限を確立し、$\rho_Y$ と $\rho_F$ を用いた $\rho_X$ の帰納的制御を可能にすること。
• 標的 $Y$ に対して次元およびPicard数の条件が満たされる場合、$Y$ が滑らかでファノ的であり、$X$ が積多様体となることを証明し、$\rho_X$ の鋭い上限を得ること。
• これらの結果を、特にファノ4次元多様体および5次元多様体に応用し、Picard数を制約し、基本的または準基本的除去写像をもつ場合の分類を行うこと。

提案手法

• 一般のファイバー $F$ からの曲線類の押し出し写像の像が、$f$ によって収縮されるすべての類を含むという条件によって定義される、ファイバー型の準基本的除去写像の概念を導入する。
• 基本的ケース（$\rho_X = 1 + \rho_Y$）を一般化する重要な構造的道具として、不等式 $\rho_X \leq \rho_Y + \rho_F$ を用いる。
• Mori理論の結果およびファノ3次元多様体の分類を用いて、$\dim Y = 3$ の場合の標的 $Y$ の幾何を分析する。
• 滑らかな準同型写像は常に準基本的であるという事実を用い、次元制約の下で標的の滑らかさに関する既知の結果を応用する。
• トーリックファノ多様体および既知のファノ4次元多様体の例を分析し、上限の鋭さを検証し、$\rho_X$ が大きくても $X$ が積多様体でない場合の例を示す。
• ファノ3次元多様体およびデル・ペッツォ表面の分類結果を活用し、$\rho_Y \geq 4$ または $\rho_Y \geq 6$ の場合に構造的結論を導く。

実験結果

リサーチクエスチョン

• RQ1 ファノ多様体 $X$ 上の準基本的除去写像 $f: X \to Y$ の標的 $Y$ に対して、$Y$ が滑らかでファノ的であるための条件は何か？
• RQ2 ファイバー型の非自明な準基本的除去写像をもつファノ4次元多様体のPicard数 $\rho_X$ の鋭い上界は何か？
• RQ3 ファノ多様体 $X$ が準基本的除去写像をもつとき、どのような条件下で $X$ が低次元のファノ多様体の積に一致するか？
• RQ4 不等式 $\rho_X \leq \rho_Y + \rho_F$ は、複数の基本的除去写像をもつファノ5次元多様体の分類に用いることができるか？
• RQ5 非自明なファイバー型の準基本的除去写像をもたない、大きな $\rho_X$ をもつファノ4次元多様体は存在するか？

主な発見

• ファイバー型の準基本的除去写像 $f: X \to Y$ で $\dim Y = 2$ の場合、$\rho_Y \geq 3$ であれば $X \cong Y \times F$ かつ $f$ は射影写像となり、Picard数の弱い仮定の下でこのようなファイブレーションは自明であることが示される。
• $\dim Y = 3$ かつ $\rho_Y \geq 4$ であれば $Y$ は滑らかでファノ的であり、既知のファノ3次元多様体の構造が準基本的除去写像の設定へと拡張される。
• $\dim Y = 3$ かつ $\rho_Y \geq 6$ であれば $X \cong S \times W$ かつ $Y \cong S \times \mathbb{P}^1$ となる。ここで $S$ はデル・ペッツォ表面であり、$W$ は $\mathbb{P}^1$ への準基本的除去写像をもつファノ多様体である。
• 非自明なファイバー型の準基本的除去写像をもつファノ4次元多様体に対しては $\rho_X \leq 18$ であり、等号が成り立つのは $X \cong S_1 \times S_2$ かつ $\rho_{S_i} = 9$ の場合に限る。
• ファノ4次元多様体 $X$ が表面 $S$ への基本的除去写像をもち、$\rho_X \geq 4$ であれば $X \cong \mathbb{P}^2 \times S$ である。
• 2つの異なるファイバー型基本的除去写像をもつファノ5次元多様体に対しては $\rho_X \leq 12$ であり、一方の除去写像の標的次元が $\dim Y \leq 3$ であれば $\rho_X \leq 11$ である。