[论文解读] Rational Curves on Quasi-Projective Surfaces

Seán Keel, James McKernan|ArXiv.org|Jul 25, 1997

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

一句话总结

本文证明了拟射影曲面的负对数Kodaira维数成立当且仅当其被仿射直线的有理曲线支配。关键结果源于证明对数Fano曲面的光滑部分是有理连通的，且该文对除有界族外的所有秩一的对数del Pezzo曲面进行了分类。

ABSTRACT

The main result is that a quasi-projective surface has negative log Kodaira dimension (i.e. no log pluricanonical sections) iff it is dominated by images of the affine line. This follows from our main intermediate result, that the smooth locus of a log Fano surface is rationally connected. We also give a classification of all but a bounded family of rank one log del Pezzo surfaces.

研究动机与目标

• 使用有理曲线表征具有负对数Kodaira维数的拟射影曲面。
• 将对数Fano曲面光滑部分的有理连通性作为核心技术工具加以确立。
• 对秩一的对数del Pezzo曲面进行分类，至多存在有界族。
• 将曲面上有理曲线的存在性与对数Kodaira维数联系起来。
• 将Fano与对数Fano几何的结果推广至拟射影情形。

提出的方法

• 使用对数几何与极小模型程序技术分析对数典范与对数Fano曲面。
• 将有理连通性结果应用于对数Fano曲面的光滑部分。
• 通过形变理论与Mori的“弯折与断裂”技巧构造有理曲线。
• 利用有界性结果与显式几何分析对秩一的对数del Pezzo曲面进行分类。
• 将主定理的证明归约为研究仿射直线通过有理曲线支配曲面的性质。
• 使用对数全Canonical系统及其消失性来表征负对数Kodaira维数。

实验结果

研究问题

• RQ1 在何种情况下，拟射影曲面不具有对数全Canonical截面？
• RQ2 从仿射直线出发的有理曲线的存在性与对数Kodaira维数之间存在何种关系？
• RQ3 在何种条件下，对数Fano曲面的光滑部分是有理连通的？
• RQ4 哪些秩一的对数del Pezzo曲面是无界的？其余曲面如何分类？
• RQ5 光滑部分的有理连通性如何蕴含曲面被仿射直线的有理曲线支配？

主要发现

• 拟射影曲面具有负对数Kodaira维数当且仅当其被仿射直线的像支配。
• 任意对数Fano曲面的光滑部分都是有理连通的，这是关键的中间结果。
• 本文对除有界族外的所有秩一的对数del Pezzo曲面完成了分类。
• 对数全Canonical截面的缺失等价于存在一条从仿射直线出发的有理曲线支配该曲面。
• 通过几何分析与有界性论证，实现了对秩一的对数del Pezzo曲面的分类。
• 证明依赖于极小模型程序与对数几何的深刻结果，尤其在拟射影情形下。