[論文レビュー] Cones of effective divisors on the blown-up P^3 in general lines

Olivia Dumitrescu, Elisa Postinghel+1 more|arXiv (Cornell University)|Dec 30, 2015

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

ひとこと要約

本稿は、一般位置にある1〜5本の直線に沿った$\mathbb{P}^3$の blown-up における除援の有効コーンの面を計算し、6本までの直線に対しては弱Fanoであり、したがってモーリー・ドリーム空間であることを証明している。幾何的および数値的制約を用いて、除援類の有効コーン構造を完全に記述している。

ABSTRACT

We compute the facets of the effective cones of divisors on the blow-up of P^3 in up to five lines in general position. We prove that up to six lines these threefolds are weak Fano and hence Mori Dream Spaces.

研究の動機と目的

• Blown-up $\\mathbb{P}^3$ における一般位置の $s$ 本の直線に沿った除援の有効コーン構造を記述すること。
• 結果として得られる三様体が弱Fanoである、つまりモーリー・ドリーム空間であるような $s$ の値を特定すること。
• $s \leq 5$ に対して、有効コーンの極値線および面の完全分類を提供すること。
• 点の blown-up に用いられる技法を直線の blown-up に適応し、基底集合の解析および数値的有効性基準を修正すること。
• $\mathbb{P}^3$ の直線に沿った指定された重複度をもつ線型系を理解するための幾何的および数値的枠組みを確立すること。

提案手法

• 一般位置の $s$ 本の直線 $l_1, \dots, l_s$ に沿った blown-up $X_s = \operatorname{Bl}_s \mathbb{P}^3$ を用い、例外的除援 $E_i$ とハイパープランの類 $H$ を導入する。
• 除援類を $D = dH - \sum m_i E_i$ として表現し、その有効類を数値的および幾何的制約を用いて分析する。
• 基底集合の補題を適用して、$|D|$ の基底集合に含まれるはずの曲線および曲面を同定する。
• 再帰的還元技術を用いる：$D$ が有効である場合、$D' = 2D - m_5 T$ を構成し、$s$ が小さい場合の結果に還元する。$\operatorname{Bl}_4 \mathbb{P}^3$ に関する既知の結果を活用する。
• 先行する定理（例：定理5.2）からの不等式を用いて、還元された除援の数値的有効性を検証する。
• 超平面の交線としての $\operatorname{N}^1(X_s)_{\mathbb{R}} \cong \mathbb{R}^m$ 内の交差を用いて、有効コーンの極値線を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 一般位置の $s \leq 5$ 本の直線に沿った $\operatorname{Bl}_s \mathbb{P}^3$ における除援の有効コーンの面は何か？
• RQ2 $\operatorname{Bl}_s \mathbb{P}^3$ が弱Fanoであり、したがってモーリー・ドリーム空間であるような $s$ の値は何か？
• RQ3 $\mathbb{P}^3$ の直線に沿った指定された重複度をもつ線型系の基底集合は、有効コーンの構造にどのように制約を加えるか？
• RQ4 点の blown-up に用いられる技法を、直線の blown-up における有効コーンを記述するために適応できるか？
• RQ5 $s = 3,4,5$ の $\operatorname{Bl}_s \mathbb{P}^3$ に対して、有効コーンの極値線は何か？

主な発見

• 一般位置の $s \leq 5$ 本の直線に沿った $\operatorname{Bl}_s \mathbb{P}^3$ における有効コーンは、除援類 $dH - \sum m_i E_i$ における数値的不等式によって完全に記述される。
• $s \leq 6$ の場合、三様体 $\operatorname{Bl}_s \mathbb{P}^3$ は弱Fanoであり、$-K_X$ がネフかつ大きいことを意味し、したがってモーリー・ドリーム空間である。
• $s \geq 7$ の場合、三様体 $\operatorname{Bl}_s \mathbb{P}^3$ は弱Fanoではなく、反 canonical 除援の正性の性質に転換が生じることを示している。
• $s = 3,4,5$ の $\operatorname{Eff}(X_s)$ の極値線は、類 $E_i$、$H - E_i$、および $2H - E_{i_1} - E_{i_2} - E_{i_3}$（$i_1,i_2,i_3$ が相異なる）によって張られる。
• 有効コーンは有理的多面体であり、各面は $\mathbb{R}^m$ 内の超平面の交線として定義され、$s \leq 6$ の場合にモーリー・ドリーム空間構造が確認される。
• 証明は再帰的還元に依拠している：$D$ が有効である場合、$D'' = 2D - m_5 T$ は $\operatorname{Bl}_4 \mathbb{P}^3$ 上で有効であり、その有効性は数値的不等式によって検証される。