[論文レビュー] On the second exterior power of tangent bundles of Fano fourfolds with Picard number $rho(X)geqslant2$

Kazunori Yasutake|arXiv (Cornell University)|Dec 4, 2012

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

ひとこと要約

この論文は、Picard数が2以上で、接バンドルの2回外積が数的に効果的（nef）であるFano四foldを分類する。双有理幾何とFanoバンドル理論の技法を用いて、このような四foldは、点での$\mathbb{P}^4$の吹き上げか、接バンドルがnefであるかのいずれかであることを証明する。この結果は、CampanaとPeternellによるFano三foldの分類を四foldへ拡張し、極小有理曲線を介した$\lambda^2\mathcal{T}_X$のnef性に関する予想的基準を確認する。

ABSTRACT

In this paper, we classify Fano fourfolds whose the second exterior power of tangent bundles are numerically effective with Picard number greater than one.

研究の動機と目的

• Fano三foldで$\lambda^2\mathcal{T}_X$がnefであるものの分類をFano四foldへ拡張すること。
• $\rho(X)\geq2$の下で、$\Lambda^2\mathcal{T}_X$が数的に効果的であるという条件下でのFano四foldの構造を調査すること。
• CampanaとPeternellが提起したように、極小有理曲線上での$\Lambda^2\mathcal{T}_X$のnef性が、全体としてのnef性を意味するかどうかを検証すること。
• 双有理幾何およびベクトルバンドル理論を用いて、このような四foldの可能な幾何的型を特定すること。

提案手法

• canonical bundleとチャーン類を用いて、$\det(\Lambda^2\mathcal{T}_X) = -\binom{3}{1}K_X = -3K_X$であるという事実を利用して、$\Lambda^2\mathcal{T}_X$のnef性を分析する。
• 数的平坦ベクトルバンドルおよびH-安定性の理論を適用し、$\kappa(X) = 0$ならば、$X$はアーベル多様体にエタール同型な被覆を持つことを示す。
• $\mathbb{P}^2$, $\mathbb{P}^3$, および $Q_3$ 上のFanoバンドルの分類を用いて、$X$ が$\mathbb{P}^n$-バンドルまたは吹き上げである場合の構造を分析する。
• 極小収縮および接バンドルがnefであるFano多様体の構造に関する結果を適用し、可能なケースを分類する。
• すべての極小有理曲線上で$\Lambda^2\mathcal{T}_X$がnefであることは、それが全体としてnefであることと同値であるという事実を用い、予想的基準を確認する。
• Fano四foldで接バンドルがnefであるか、$X$ が点での$\mathbb{P}^4$の吹き上げである場合に帰着させ、接バンドルがnefであるFano四foldの分類を用いる。

実験結果

リサーチクエスチョン

• RQ1 Picard数が$\rho(X) \geq 2$で、$\Lambda^2\mathcal{T}_X$が数的に効果的であるFano四foldはどれか？
• RQ2 すべての極小有理曲線上で$\Lambda^2\mathcal{T}_X$がnefであることは、Fano四foldにおいて全体としてのnef性を意味するか？
• RQ3 Picard数が$\rho(X) \geq 2$で、$\Lambda^2\mathcal{T}_X$がnefであるFano四foldの可能な幾何的構造は何か？
• RQ4 $\mathbb{P}^3$および$Q_3$上のFanoバンドルの分類は、このような四foldの構造にどのような制約を課えるか？
• RQ5 点での$\mathbb{P}^4$の吹き上げは、$\rho(X) \geq 2$を満たすFano四foldの中で、接バンドルがnefでない唯一の例であるか？

主な発見

• Picard数が$\rho(X) \geq 2$で、$\Lambda^2\mathcal{T}_X$がnefであるFano四foldは、点での$\mathbb{P}^4$の吹き上げか、$\mathcal{T}_X$がnefであるかのいずれかである。
• すべての極小有理曲線上で$\Lambda^2\mathcal{T}_X$がnefであることは、それが全体としてnefであることと同値であり、CampanaとPeternellの予想的基準がこのクラスで確認された。
• もし$\kappa(X) = 0$ならば、$\Lambda^2\mathcal{T}_X$がnefであるという仮定の下で、$X$はアーベル多様体にエタール同型な被覆を持つ。
• 接バンドルがnefでない唯一のFano四foldは、点での$\mathbb{P}^4$の吹き上げであり、$\rho(X) \geq 2$で$\Lambda^2\mathcal{T}_X$がnefであるような四foldの中で、それ以外に存在しない。
• $\mathbb{P}^3$, $Q_3$, および $\mathbb{P}^2$ 上のFanoバンドルの分類が、$X$ の他の可能な構造を除外するために用いられた。
• 結果として、明確な二分法が確立された：$X$ は点での$\mathbb{P}^4$の吹き上げであるか、$\mathcal{T}_X$ がnefであるかのどちらかであり、与えられた条件下ではそれ以外の例は存在しない。