[論文レビュー] On Q-Fano threefolds of Fano index 2

Yuri Prokhorov, Miles Reid|arXiv (Cornell University)|Mar 5, 2012

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

ひとこと要約

この論文は、非カルティエな正則除部分 $K_X$ を持つファノ指数 2 の $Χ$-ファノ3次元多様体を分類し、Weil除部分 $A$ に対して $-K_X = 2A$ を満たす線形系統 $|A|$ の次元が 4 以下であることを証明する。次元が 4 である唯一のケースは、3次元の2次曲面から出発するサルキソフリンクを用いて構成された1つの既約族から生じ、$\operatorname{Cl}X \simeq \mathbb{Z} \cdot A$ かつ $g(X) \leq 16$ を満たす$\mathbb{Q}$-ファノ3次元多様体をもたらす。これは、$\mathbb{Q}$-ファノ指数 2 かつ非カルティエな $K_X$ を持つようなこのような3次元多様体の分類を完全に完了する。結果は、種数に対する鋭い上限を確認し、一意の例外的族を同定する。

ABSTRACT

We show that, for a Q-Fano threefold X of Fano index 2, the inequality dim |-1/2K_X| <= 4 holds with a single well understood family of varieties having dim |-1/2K_X| = 4.

研究の動機と目的

• 非カルティエな正則除部分 $K_X$ を持ち、$\mathbb{Q}$-ファノ指数 $q_{\mathbb{Q}}(X) = 2$ を持つ $\mathbb{Q}$-ファノ3次元多様体を分類すること。
• Weil除部分 $A$ に対して $-K_X = 2A$ を満たす線形系統 $|A|$ の最大次元を特定すること。
• このような3次元多様体のうち、$\dim|A| > 4$ を満たすものがあるかどうかを同定し、もしあるならば例外的なケースを分類すること。
• 幾何的リンクと未定義化技術を用いて、$\dim|A| = 4$ を満たす唯一の既約族である $\mathbb{Q}$-ファノ3次元多様体を構成し、特徴づけること。
• このような3次元多様体の種数 $g(X)$ が 16 以下に上界を持つことを確立すること。

提案手法

• 特異点 $\frac{1}{r}(2,a,r-a)$ におけるカワマタの爆破を用いてサルキソフリンクを開始し、ファイバー空間または $q \geq 3$ を持つ $\mathbb{Q}$-ファノ3次元多様体に至る。
• 線形系統 $|A|$ の次元に基づく場合分けを用い、$\dim|A| \geq 4$ を仮定することで、取り扱い可能な分類が得られる。
• 主な例の構成には、3次元の2次曲面 $Q \subset \mathbb{P}^4$ の接超平面切断 $E_0$ 上の5次曲線 $\Gamma_5$ の記号的爆破を伴い、その後、その双有理変換を $\frac{1}{3}(1,2,2)$ 点に収縮する。
• 3次元多様体は、$\overline{X} \subset \mathbb{P}(1^5,2^2)$ に含まれる6×6の階数1のペフィアン行列により定義されるペフィアン多様体から未定義化により構成される。この多様体は $\mathbb{P}(1,2,2)$ の部分多様体を含む。
• 2番目の構成法では、$\mathrm{Jerry}\,12$ 行列（次数1,2,2,2,2,2）を用いて、$\mathbb{P}(1^4,2^2,3)$ 内の codimension 3 の多様体 $Y'$ を定義し、$\mathbb{P}^2$ を含むように特殊化することで、目的の $X$ に未定義化される。
• 3番目の構成法では、$\mathrm{Jerry}\,12$ により定義される多様体 $\overline{X}$ から $\mathbb{P}(1,2,2)$ を未定義化し、最終的な未定義化方程式は Kustin–Miller 複体技術により導出される。

実験結果

リサーチクエスチョン

• RQ1 非カルティエな $K_X$ を持ち、$\mathbb{Q}$-ファノ指数 2 を持つ $\mathbb{Q}$-ファノ3次元多様体において、Weil除部分 $A$ に対して $-K_X = 2A$ を満たす線形系統 $|A|$ の最大次元は何か？
• RQ2 このような $\mathbb{Q}$-ファノ3次元多様体で $\dim|A| = 4$ を満たすものが存在するか？もし存在するならば、変形の意味で一意的か？
• RQ3 このような3次元多様体は、特にカワマタの爆破から出発するサルキソフリンクを用いた幾何的リンクによって構成可能か？
• RQ4 このような3次元多様体の種数 $g(X)$ は何か？また、上界を持つか？
• RQ5 唯一の例外的ケースは、未定義化や記号的爆破などの複数の幾何的方法で実現可能か？

主な発見

• 非カルティエな $K_X$ を持ち、$\mathbb{Q}$-ファノ指数 2 を持つ任意の $\mathbb{Q}$-ファノ3次元多様体において、Weil除部分 $A$ に対して $-K_X = 2A$ を満たす線形系統 $|A|$ の次元は 4 以下である。
• 次元が 4 である唯一のケースは、3次元の2次曲面から出発するサルキソフリンクを用いて構成された1つの既約族から生じる。
• このような3次元多様体の種数 $g(X)$ は 16 以下に上界を持つ。等号は例外的ケースでのみ成立する。
• 例外的3次元多様体のクラス群は $\operatorname{Cl}X \simeq \mathbb{Z} \cdot A$ を満たし、$K_X$ はカルティエではない。
• この3次元多様体は3通りの異なる幾何的構成法で得られる：(1) 記号的爆破と収縮、(2) $\overline{X} \subset \mathbb{P}(1^5,2^2)$ に含まれるペフィアン多様体からの未定義化、(3) $\mathrm{Jerry}\,12$ により定義される多様体 $Y' \subset \mathbb{P}(1^4,2^2,3)$ からの未定義化。
• 最終的な未定義化方程式 $x_0 z$ は Kustin–Miller 複体技術により導出されるが、閉形式での簡略化は知られていない。