[论文解读] 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

一句话总结

本文计算了在一般位置的最多五条直线处进行 blown-up 的 $\mathbb{P}^3$ 上除子的有效锥的面，证明了当直线数不超过六条时，这些三倍曲面为弱 Fano 三倍曲面，因此是 Mori dream 空间。本文通过除子类的几何与数值约束，完整描述了有效锥的结构。

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.

研究动机与目标

• 描述 $\mathbb{P}^3$ 沿 $s$ 条一般位置直线 blown-up 后除子的有效锥结构。
• 确定在哪些 $s$ 值下，所得三倍曲面为弱 Fano，从而成为 Mori dream 空间。
• 为 $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 在哪些 $s$ 值下，$\operatorname{Bl}_s \mathbb{P}^3$ 为弱 Fano，从而成为 Mori dream 空间？
• 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$ 为 nef 且大，因此是 Mori dream 空间。
• 当 $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$ 时的 Mori dream 空间结构。
• 证明依赖于递归约化：若 $D$ 有效，则 $D'' = 2D - m_5 T$ 在 $\operatorname{Bl}_4 \mathbb{P}^3$ 上有效，其有效性通过数值不等式验证。