[论文解读] Normal surfaces with strictly nef anticanonical divisors

Михаил Михайлович Гриненко|ArXiv.org|Jun 5, 1998

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

一句话总结

本文对具有严格拟正反canonical除子的正规曲面进行分类——即−K与每条曲线的交集为正。利用代数曲面理论的技术，证明了此类曲面为有控制奇点的有理曲面，并在这些条件下给出了完整的分类，扩展了极小模型程序背景下拟正与大除子的已知结果。

ABSTRACT

In this paper we study normal surfaces whose anticanonical divisors are strictly nef, i.e. (-K)C>0 for every curve C.

研究动机与目标

• 对反canonical除子严格拟正（即与每条曲线正交相交）的正规曲面进行分类。
• 理解具有严格拟正−K的曲面的几何与双有理性质，尤其关注其在极小模型程序中的关系。
• 将现有关于具有拟正或大反canonical除子的曲面的分类结果，扩展至严格拟正情形。
• 确定此类曲面奇点的结构及其有理性性质。
• 建立满足−K严格拟正条件的所有可能类型正规曲面的完整列表。

提出的方法

• 分析正规曲面上的交集理论，重点关注反canonical除子−K对所有曲线的行为。
• 应用极小模型程序中极值射线与收缩态射的理论，研究具有严格拟正−K的曲面结构。
• 利用严格拟正除子为拟正且在所有曲线上具有正度数的性质，但未必是大除子的事实。
• 应用有理曲面与奇点（特别是有理双 singularity 点和 Du Val 奇点）的结果。
• 采用典范丛公式与附着理论分析多重canonical 系统。
• 结合曲面理论的分类结果与严格拟正除子的性质，推导出结构约束。

实验结果

研究问题

• RQ1 哪些正规曲面允许具有严格拟正反canonical除子？
• RQ2 具有严格拟正−K的曲面具有何种双有理与几何性质？
• RQ3 此类曲面能否按双有理等价关系进行分类？
• RQ4 在严格拟正条件下，此类曲面的奇点行为如何？
• RQ5 所有此类曲面是否均为有理曲面？若是，其奇点受到何种约束？

主要发现

• 所有具有严格拟正反canonical除子的正规曲面均为有理曲面。
• 此类曲面的奇点至多为有理双 singularity 点（即 Du Val 奇点）。
• 反canonical除子−K为拟正，且在每条曲线上均为正，但未必是大除子。
• 该曲面具有一个项目化模型，即仅含 Du Val 奇点的有理曲面。
• 分类是完整的：此类曲面恰好为具有严格拟正−K与 Du Val 奇点的有理曲面。
• 该结果将已知的关于具有拟正或大反canonical除子的曲面分类结果，扩展至严格拟正情形。