[论文解读] Log rationally connected surfaces

Yi Zhu|arXiv (Cornell University)|Dec 8, 2014

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

一句话总结

本文在复数域上建立了对数有理连通对数曲面的数值准则，证明此类对数曲面对由对数余切丛对称幂的消失与负对数Kodaira维数所刻画。关键结果通过对数极小模型程序及与曲线函数域上强逼近的新型联系，将Castelnuovo有理性准则推广至对数情形。

ABSTRACT

In this paper, combining the works of Miyanishi-Tsunoda and Keel-McKernan, we prove the log Castelnuovo's rationality criterion for smooth quasiprojective surfaces over complex numbers.

研究动机与目标

• 建立复数域上对数有理连通对数曲面对的数值刻画。
• 将Castelnuovo的经典有理性准则推广至对数情形。
• 阐明对数多重一形式不存在性与曲线函数域上强逼近问题之间的关系。
• 通过将对数规则情形与仿射直线丛的整截面联系起来，解决对数极小模型程序中的对数规则情形。
• 证明负对数Kodaira维数与有限基本群不足以保证对数有理连通性。

提出的方法

• 结合对数极小模型程序（log MMP）与Miyanoishi-Tsunoda及Keel-McKernan的分类结果，将问题约化至已知的终局情形。
• 利用对数有理连通性在除子收缩与余维数一闭子集删除下保持不变的性质。
• 通过P^1的有限覆盖进行基变换，构造曲线函数域上的整截面。
• 通过显式分析对数一形式的拉回，证明在某些情形下其非消失，从而与消失条件矛盾。
• 利用A^1与P^1在曲线函数域上的强逼近结果，构造连接一般点的有理曲线。
• 运用Van Kampen定理与对数Albanese簇理论，计算反例中的对数亏格与基本群。

实验结果

研究问题

• RQ1 哪些数值条件刻画复数域上对数有理连通对数曲面对？
• RQ2 对数余切丛对称幂的消失如何与对数有理连通性相关？
• RQ3 能否利用曲线函数域上的强逼近，证明对数极小模型程序中的对数规则情形为对数有理连通？
• RQ4 在对数Castelnuovo准则中，条件H^0(X, S^12 Ω^1_X(log D)) = 0是否为最优？
• RQ5 负对数Kodaira维数与平凡基本群能否共存于非对数有理连通情形？

主要发现

• 对数Castelnuovo准则成立：若对所有m ≥ 1，有H^0(X, (Ω^1_X(log D))^⊗m) = 0，则对数光滑对数曲面对(X,D)为对数有理连通。
• 条件H^0(X, S^12 Ω^1_X(log D)) = 0是最优的，如较低对称幂下准则的失效所示。
• 通过对数规则情形的构造（通过基变换与函数域上的强逼近），证明其为对数有理连通。
• 存在反例：π₁(X−D)平凡，q(X,D) = 0，且κ(X,D) = −∞，但(X,D)并非对数有理连通。
• 对数有理连通性蕴含有限基本群，但此条件不足，反例已证明。
• 对数曲面对的Campana–Kollár–Miyaoka–Mori有理连通性定理的对数类比不成立，如对数Fano对(P², {xy=0})所示。