[论文解读] Examples of non--effective rays at the boundary of the Mori cone of blow--ups of the plane

Ciro Ciliberto, Rick Miranda|arXiv (Cornell University)|Nov 4, 2021

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

一句话总结

该论文证明了当 $ d \geq 4 $ 时，对于任意满足 $ 2 \leq m \leq d - 2 $ 的情况，平面曲线的线性系统（其度数为 $ d $，在一点处有 $ d - m $ 重数，并经过 $ m(2d - m) $ 个一般点）在任何正倍数下均非有效。通过退化技术和对 $ m $ 的归纳法，作者表明在对应于 blown-up 表面的 Néron-Severi 空间中的该射线是 nef 但非有效，从而提供了 Mori 锥面边界上非有效射线的新例子——推广了 Nagata 定理。

ABSTRACT

In this paper we prove that no multiple of the linear system of plane curves of degree $d\geq 4$ with a point of multiplicity $d-m$ (with $2 \leq m \leq d$) and $m(2d-m)$ simple general points is effective.

研究动机与目标

• 解决 Massarenti 和 Mella 提出的关于在 13 个一般点处 blown-up 平面的特定线性系统有效性的问题。
• 推广 Nagata 定理，即关于在一般点处具有高重数的线性系统非有效性的结论。
• 在 $ \mathbb{P}^2 $ 的 blown-up 表面的 Néron-Severi 空间中，构造出位于 Mori 锥面边界上的 nef 但非有效射线的显式例子。
• 通过退化技术和 Cremona 变换，提供一种系统化方法以识别此类非有效射线。
• 深化对具有零自交数与多个基点的线性系统之 Mori 锥面结构的理解。

提出的方法

• 在复数单位圆盘上的曲面族上使用退化方法，其中中心纤维分解为 $ \mathbb{P}^2 $ 与一个 Hirzebruch 曲面 $ F_1 $ 的并，以分析极限线性系统。
• 通过使用 $ \mathcal{O}_X(-lP) $ 的扭曲线族，生成不同的极限线丛，从而在各分量上实现多重匹配条件。
• 应用精细化匹配条件，以处理极限中出现多个 $ (-1) $-曲线的情形，特别是 $ m = 2 $ 的情况。
• 使用 Cremona 变换简化 $ \mathbb{P}^2 $ 上的极限系统，将其转化为具有 $ (n+1)^2 $ 个重数为 $ t $ 的点，外加额外约束的系统。
• 通过归纳法与专门化方法证明所得系统的空集性，表明任何满足重数条件的曲线必须包含一个固定曲线，从而导致矛盾，除非为平凡情况。
• 通过归纳法对 $ m $ 进行处理，将 $ m > 2 $ 的情形约化为 $ m = 2 $ 的情形，后者通过退化法与对极限系统的详细分析加以解决。

实验结果

研究问题

• RQ1 当 $ d \geq 4 $ 且 $ 2 \leq m \leq d - 2 $ 时，度数为 $ d $ 的曲线线性系统（在一点处有 $ d - m $ 重数，并经过 $ m(2d - m) $ 个一般基点）在任何正倍数下是否有效？
• RQ2 退化方法能否用于证明具有零自交数与高重数约束的线性系统非有效？
• RQ3 在 $ \mathbb{P}^2 $ 的 blown-up 表面的 Néron-Severi 空间中，何种条件可确保一个 nef 射线非有效？此类射线如何构造？
• RQ4 Cremona 变换与精细化匹配条件在退化论证中分析极限线性系统时起到何种作用？
• RQ5 $ m = 2 $ 的情形是否可作为更高 $ m $ 值非有效性归纳证明的基底情形？

主要发现

• 对所有 $ d \geq 4 $ 且 $ 2 \leq m \leq d - 2 $，任何 $ k \geq 1 $ 的 $ k\xi_{d,m} $ 均非有效，即该系统无非零截面。
• 在 $ m(2d - m) + 1 $ 个一般点处 blown-up 表面的 Néron-Severi 空间中，由 $ \xi_{d,m} $ 生成的射线是 nef 但非有效，位于 Mori 锥面的边界上。
• $ m = 2 $ 情形是归纳法的关键基底情形，通过退化法与对含多个 $ (-1) $-曲线的极限系统的详细分析得以证明。
• 经 Cremona 变换后，$ \mathbb{P}^2 $ 上的极限系统被证明为空集，方法是表明任何满足重数条件的曲线必须包含一个固定曲线，从而导致矛盾，除非为平凡情形。
• 对于 $ m \geq 3 $，证明通过归纳法进行，将其约化为 $ m = 2 $ 的情形，并表明在 $ \mathbb{P}^2 $ 分量上的核系统因沿双曲线的系统消失而为空。
• 退化参数 $ t = 0 $ 的情形也被排除，因为对应的截面必须在 $ \mathbb{P}^2 $ 分量上恒为零，从而确认极限曲线的不存在性。