[论文解读] Redundant blow-ups of rational surfaces with big anticanonical divisor

DongSeon Hwang, Jinhyung Park|arXiv (Cornell University)|Nov 14, 2014

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

一句话总结

本文对具有大反canonical除子的有理曲面上的冗余爆破进行分类，证明此类曲面不一定是具有有理奇点的 del Pezzo 曲面的极小解析。通过构造皮卡数 ≥10 的显式例子，作者以 Zariski 分解和分歧分析识别反canonical 模型上的奇点，从而对 Testa、Várilly-Alvarado 和 Velasco 提出的关于此类曲面极小性的疑问给出了否定回答。

ABSTRACT

We completely classify redundant blow-ups appearing in the theory of rational surfaces with big anticanonical divisor due to Sakai. In particular, we construct a rational surface with big anticanonical divisor which is not a minimal resolution of a del Pezzo surface with only rational singularities, which gives a negative answer to a question raised in a paper by Testa, Várilly-Alvarado, and Velasco.

研究动机与目标

• 解决 Testa、Várilly-Alvarado 和 Velasco 提出的猜想：每个具有大反canonical 除子的有理曲面是否都是具有有理奇点的 del Pezzo 曲面的极小解析。
• 根据 Sakai 的引入，对具有大反canonical 除子的有理曲面上的冗余爆破进行分类。
• 建立一种系统方法，用于识别具有 nef 反canonical 除子的正规有理曲面极小解析上的冗余点。
• 构造具有任意高皮卡数的大反canonical 有理曲面的显式例子，这些曲面不是具有有理奇点的 del Pezzo 曲面的极小解析。

提出的方法

• 在光滑有理曲面 $S$ 上使用反canonical 除子的 Zariski 分解 $-K_S = P + N$，其中 $P$ 为 nef，$N$ 为有效除子且具有负定交点矩阵。
• 若 $\operatorname{mult}_p N \geq 1$，则定义点 $p$ 为冗余点，其上的爆破为冗余爆破。
• 通过分歧计算和奇点的对偶图分析，研究冗余点相对于反canonical 模型 $\bar{S}$ 上奇点的位置。
• 通过在 Hirzebruch 曲面和有理椭圆曲面上选择合适点进行爆破，构造显式例子，以确保 $\operatorname{mult}_p N \geq 1$。
• 验证反canonical 除子的正性，并计算皮卡数，以确认例子满足所需的不变量。
• 应用对对数终端和对数典范奇点分类的结果，判断冗余点是否存在或不存在。

实验结果

研究问题

• RQ1 每个具有大反canonical 除子的有理曲面是否都能实现为仅具有有理奇点的 del Pezzo 曲面的极小解析？
• RQ2 当反canonical 模型 $\bar{S}$ 的奇点满足何种条件时，其极小解析上存在冗余点？
• RQ3 冗余点的精确几何与数值特征是什么，其与 Zariski 分解和奇点类型的关联如何？
• RQ4 能否构造具有任意高皮卡数的大反canonical 有理曲面，使其不是具有有理奇点的 del Pezzo 曲面的极小解析？

主要发现

• 本文对每个 $n \geq 10$ 构造了一个皮卡数为 $n$ 的大反canonical 有理曲面，该曲面不是具有有理奇点的 del Pezzo 曲面的极小解析，从而以否定方式回答了 Testa、Várilly-Alvarado 和 Velasco 的问题。
• 当正规射影有理曲面 $\bar{S}$ 具有 nef 反canonical 除子时，其极小解析上存在冗余点，当且仅当 $\bar{S}$ 包含一个非对数终端奇点，或一个不属于指定对偶图类型的对数终端奇点。
• 当 $\bar{S}$ 具有至多对数终端奇点时，所有冗余点都位于映射 $h: \widetilde{S} \to \bar{S}$ 所收缩的曲线的交点上。
• 若 $\bar{S}$ 包含一个非对数终端奇点，则该奇点所收缩的曲线上所有点均为冗余点。
• 从极小解析出发的冗余爆破序列的种类数为有限，当且仅当 $\bar{S}$ 具有至多对数终端奇点。
• 通过 $\mathbb{P}^2$ 和 Hirzebruch 曲面的爆破构造显式例子，利用 Zariski 分解验证特定点处 $\operatorname{mult}_p N \geq 1$，从而确认为冗余爆破。