[论文解读] Strictly nef divisors and some remarks on a conjecture of Serrano

Priyankur Chaudhuri|arXiv (Cornell University)|Aug 11, 2020

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

一句话总结

本文建立了在一般型簇上光滑法诺纤维丛的广义丰沛性，并在 SHGH 估计下证明了关于几乎严格拟正线丛的曲面的塞兰诺猜想的广义版本。在 SHGH 估计成立的前提下，本文证明了在有理曲面上存在严格拟正但非ample 的除子，提供了新的例子，并推进了代数几何中严格拟正除子的理解。

ABSTRACT

Serrrano's Conjecture says that if $L$ is a strictly nef line bundle on a smooth projective variety $X$, then $K_X+tL$ is ample for $ t > dim X+1$. In this paper I will prove a few cases of this conjecture. I will also prove a generalized version of this conjecture (due to Campana, Chen and Peternell) for surfaces. In the last section, assuming the SHGH conjecture, I will give a series of examples of strictly nef non ample divisors on surfaces of arbitary Kodaira dimension.

研究动机与目标

• 证明在一般型簇上光滑法诺纤维丛的广义丰沛性，推广已知的关于严格拟正除子的结果。
• 验证曲面在几乎严格拟正线丛下的塞兰诺猜想的广义形式。
• 证明 SHGH 估计蕴含在有理曲面上存在严格拟正但非ample 的除子。
• 在各种几何设定下，研究伴随除子 $K_X + tL$ 的ample 性与大性，其中 $L$ 为严格拟正。
• 通过在 $\mathbb{P}^2$ 的 blow-up 下构造，提供严格拟正但非ample 除子的新例子，其依据为 SHGH 估计。

提出的方法

• 利用锥定理，证明当 $X$ 光滑且 $L$ 严格拟正时，$K_X + tL$ 在 $t > d+1$ 时为严格拟正。
• 应用引理 7 中的数值准则，检测当 $K_X^d = \cdots = L^d = 0$ 时半ample 性的失败。
• 采用不定点的消解与伊塔卡纤维丛方法，通过光滑模型上的拉回分析 $K_X + tL$ 的大性。
• 应用 SHGH 估计计算 $\mathbb{P}^2$ 的 blow-up 上线性系统期望维数，确保交点数的正性。
• 通过从 $S$ 到 $\mathbb{P}^2$ 的有限态射的基变换构造严格拟正但非ample 的除子，将 $\mathbb{P}^2$ 上的严格拟正除子拉回。
• 利用 $L \cdot C > 0$ 对所有在 SHGH 估计定义的球面上的曲线 $C$ 成立，验证严格拟正性。

实验结果

研究问题

• RQ1 光滑法诺纤维丛在一般型簇上是否具有广义丰沛性？
• RQ2 当 $L$ 为曲面 $S$ 上的几乎严格拟正线丛时，$K_S + tL$ 是否对所有 $t > 3$ 为大？
• RQ3 SHGH 估计是否蕴含在有理曲面上存在严格拟正但非ample 的除子？
• RQ4 在何种条件下，曲面上的严格拟正除子 $L$ 必为大？
• RQ5 当 $\kappa(aK_X + bL) \geq \dim X - 2$ 时，能否证明 $K_X + tL$ 在 $t \gg 0$ 时为大？

主要发现

• 广义丰沛性对在一般型簇上光滑法诺纤维丛成立：若 $-K_X$ 在纤维上为ample，且 $Y$ 为一般型，则当 $L$ 与 $K_X + L$ 均为 nef 时，$K_X + L$ 为半ample。
• 对具有几乎严格拟正线丛 $L$ 的光滑射影曲面 $S$，有 $K_S + tL$ 对所有 $t > 3$ 为大，且该结论可推广至具有 Gorenstein 奇点的曲面。
• 在 SHGH 估计下，对任意射影曲面 $S$，存在一与其有理等价的曲面 $S'$，其上存在严格拟正但非ample 的除子。
• 若 $\kappa(L) \geq \dim X - 2$，则 $L$ 为大，从而为严格拟正除子的 bigness 提供了数值准则。
• 对任意光滑射影簇 $X$，若 $\kappa(aK_X + bL) \geq \dim X - 2$，则 $K_X + tL$ 对所有 $t \gg 0$ 为大。
• 严格拟正但非ample 除子的构造依赖于 SHGH 估计，以确保 $\mathbb{P}^2$ 的 blow-up 上线性系统期望维数非负，从而保证与曲线交点的正性。