[論文レビュー] Fano manifolds having (n-1,0)-type extremal rays with large Picard number

Kento Fujita|arXiv (Cornell University)|Dec 20, 2012

Geometry and complex manifolds参考文献 7被引用数 8

ひとこと要約

本稿は、次元 $ n \geq 3 $ で Picard 数 $ \rho_X \geq 3 $ を持つ滑らかなファノ多様体で、タイプ $ (n-1,0) $ の極値線をもつもの、すなわち、ある除集合を一点に双有理的写像するものについて分類する。主な結果は、このような多様体が、Picard 数 1 で指数 $ r > s > 0 $ を持つファノ多様体 $ Z $ における一部の滑らかな除集合に沿った $ \mathbb{P}_Z(\mathcal{O}_Z \oplus \mathcal{O}_Z(s)) $ の吹き上げであることを示している。さらに、除集合類に正の制約が課される。

ABSTRACT

We classify smooth Fano manifolds X with the Picard number $ρ_X \geq 3$ such that there exists an extremal ray which has a birational contraction that maps a divisor to a point.

研究の動機と目的

• 次元 $ n \geq 3 $ で $ \rho_X \geq 3 $ を持つ滑らかなファノ多様体 $ X $ で、タイプ $ (n-1,0) $ の極値線（除集合を一点に写す双有理的写像）をもつものについて分類すること。
• 以前の $ (n-1,n-2)^{\text{sm}} $ 型極値的写像および円錐束の結果を、最大の Picard 数の状況に拡張すること。
• ファノ多様体の正確な幾何的構造を、それが $ \mathbb{P}_Z(\mathcal{O}_Z \oplus \mathcal{O}_Z(s)) $ の吹き上げとして、$ \rho_Z = 1 $ かつ指数 $ r > s > 0 $ を持つファノ基底 $ Z $ の上に表れることを特定すること。

提案手法

• 極値線理論とモーリーによる極値写像を用いたファノ多様体の分類。
• アンドウによる極値写像の分類を応用し、ファイバーと特異点集合を分析する。
• 指数 $ r $ を持つ、Picard 数 1 のファノ基底 $ Z $ に対して、$ Y = \mathbb{P}_Z(\mathcal{O}_Z \oplus \mathcal{O}_Z(s)) $ 上に $ \mathbb{P}^1 $-バンドル構造を構成する。
• Néron-Severi 群と $ \overline{\operatorname{NE}}(X) $ のコーンを用いた交点数と除集合類の分析。
• 吹き上げ写像 $ \pi: Y \to Z $ を用い、中心 $ W \subset D \subset Y $ を、$ \mathcal{N}_{D/Y} \simeq \mathcal{O}_Z(s) $ を満たす一部の滑らかな除集合として特定する。
• 吹き上げ後に反 canonical 除集合が ample なままであることを保証するための不等式 $ r > d - s $ の検証。

実験結果

リサーチクエスチョン

• RQ1 次元 $ n \geq 3 $ で $ \rho_X \geq 3 $ を持つ滑らかなファノ多様体 $ X $ がタイプ $ (n-1,0) $ の極値線をもつとき、その構造はいかなるものか？
• RQ2 ファノ多様体が $ (n-1,0) $ 型極値線と大きな Picard 数をもつとき、その多様体が Picard 数 1 のファノ基底上の $ \mathbb{P}^1 $-バンドル構造をもつための条件は何か？
• RQ3 基底 $ Z $ の指数 $ r $、ねじれパrameter $ s $、中心 $ W $ の次数 $ d $ が、吹き上げ $ X = \operatorname{Bl}_W Y $ の幾何にどのように制約を加えるか？

主な発見

• Picard 数 $ \rho_X \geq 3 $ でタイプ $ (n-1,0) $ の極値線をもつ滑らかなファノ多様体 $ X $ は、$ Y = \mathbb{P}_Z(\mathcal{O}_Z \oplus \mathcal{O}_Z(s)) \to Z $ の滑らかな除集合 $ W \subset D $ に沿った吹き上げ $ \operatorname{Bl}_W Y $ に同型である。
• 基底 $ Z $ は次元 $ n-1 $、Picard 数 $ \rho_Z = 1 $、指数 $ r $ を持つファノ多様体であり、$ \operatorname{Pic}(Z) $ の ample 生成子として $ \mathcal{O}_Z(1) $ を持つ。
• 不等式 $ r > s > 0 $ が成り立ち、これにより $ \mathbb{P}^1 $-バンドル構造が非自明であり、反 canonical 除集合が ample のままであることが保証される。
• 部分 $ D \subset Y $ に対して $ \mathcal{N}_{D/Y} \simeq \mathcal{O}_Z(s) $ が成り立ち、中心 $ W \subset D $ は $ W \in |\mathcal{O}_Z(d)| $ を満たす滑らかな除集合である。
• 吹き上げ後に反 canonical 除集合が ample であるための必要十分条件は $ r > d - s $ である。
• 分類は完全である：このようなファノ多様体は、$ r, s, d $ に関する上記の制約を満たすこの構成によって得られるものに限る。