[论文解读] The cone of moving curves of a smooth Fano-threefold

Sammy Barkowski|ArXiv.org|Mar 1, 2007

Geometry and complex manifolds参考文献 5被引用 4

一句话总结

本文利用 BDPP 定理（2004）在 Néron-Severi 空间中建立强可移动锥与伪有效除子锥之间的对偶性，证明了光滑 Fano 三叉的移动曲线锥是多面体的。该文表明移动锥由 Mori 收缩的例外除子的非负交点所定义，从而在 Néron-Severi 空间中呈现出有限多面体结构。

ABSTRACT

In this short note we show that the closed cone of moving curves of a smooth Fano-threefold is polyhedral. The proof relies on a famous result of Bucksom, Demailly, Paun and Peternell which says that the strongly movable cone is dual to the cone of pseudoeffective divisors. Finally, we relate the extremal rays of the cone of moving curves on a threefold with extremal rays in the cone of strongly movable curves on a birational model obtained by a Mori contraction.

研究动机与目标

• 建立光滑 Fano 三叉上移动曲线锥的多面体结构。
• 证明移动锥由除子型 Mori 收缩的例外除子的非负交点所截取。
• 通过 Mori 收缩，将三叉上的移动锥的极小射线与其双有理模型上的强可移动锥的极小射线联系起来。
• 利用 BDPP（2004）关于强可移动锥与伪有效锥之间对偶性的结果，给出简洁的证明。
• 通过在 Fano 三叉情形下提供完整论证，填补了 Batyrev（1992）和 Araujo（2005）早期主张中的漏洞。

提出的方法

• 应用 BDPP 对偶性定理，该定理指出在 Néron-Severi 空间中，强可移动锥与伪有效除子锥互为对偶。
• 在三维情况下应用极小模型程序（MMP），以分析通过 Mori 收缩获得的双有理模型。
• 通过双有理映射定义 1-循环的数值拉回与下推，以关联不同模型间的移动类。
• 应用投影公式以及 nef 与有效除子的性质，以在拉回下保持交点正性。
• 建立在双有理模型 $Y$ 上的强可移动锥中的极小射线与原始代数面上移动锥中的极小射线之间的对应关系。
• 利用光滑 Fano 三叉的伪有效锥是有限有理多面体（由 Küronya 与 Szabó 独立证明）的事实，通过与对偶性结合，得出移动锥的多面体性。

实验结果

研究问题

• RQ1 光滑 Fano 三叉上的移动曲线锥是否为多面体？
• RQ2 移动锥的极小射线与通过 Mori 收缩得到的双有理模型上的强可移动锥的极小射线之间有何关系？
• RQ3 移动锥能否被描述为 Mori 锥与由例外除子定义的半空间的交集？
• RQ4 强可移动锥与伪有效除子锥之间的对偶性是否意味着 Fano 三叉中移动锥的多面体性？
• RQ5 Mori 收缩在关联双有理模型之间移动曲线类时起什么作用？

主要发现

• 光滑 Fano 三叉 $X$ 上的移动曲线锥 $\overline{\mathrm{NM}}(X)$ 是 $N_1(X)_{\mathbb{R}}$ 中的闭凸多面体锥。
• 移动锥可表征为 $\overline{\mathrm{NM}}(X) = \{[c] \in \overline{\mathrm{NE}}(X) \mid c \cdot E_i \geq 0 \text{ 对所有 } i\}$，其中 $E_i$ 为除子型 Mori 收缩的例外除子。
• 在 $X$ 上的移动锥的极小射线对应于通过 Mori 收缩得到的双有理模型 $Y$ 上的强可移动锥的极小射线。
• 强可移动锥与伪有效除子锥之间的对偶性（BDPP 定理）意味着，当伪有效锥为有限有理多面体时，移动锥是多面体。
• 该结果在特殊情形下证实了一个猜想，填补了 Batyrev 与 Araujo 早期主张中的漏洞。
• 该证明依赖于 1-循环的数值拉回与投影公式，以关联双有理模型之间的类，确保交点正性得以保持。