[论文解读] Positivity criteria for log canonical divisors and hyperbolicity

Steven Lu, De‐Qi Zhang|arXiv (Cornell University)|Jul 31, 2012

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

一句话总结

该论文通过极小模型程序（MMP）与adjunction，为具有简单法向交线的复射影代数簇上对数 canonical 除子 $K_X + D$ 的 nef 性与充分性建立了几何准则。在 Mori 双曲性或 Brody 双曲性假设下，证明了 $K_X + D$ 是 nef 的（在温和分量条件下亦为 ample），从而对 Nakai-Moishezon 准则进行了几何化强化，并在低维情形下无需依赖深层猜想即予以验证。

ABSTRACT

Let X be a complex projective variety and D a reduced divisor on X. Under a natural minimal condition on the singularities of the pair (X, D), which includes the case of smooth X with simple normal crossing D, we ask for geometric criteria guaranteeing various positivity conditions for the log-canonical divisor K_X+D. By adjunction and running the log minimal model program, natural to our setting, we obtain a geometric criterion for K_X+D to be numerically effective as well as a geometric version of the cone theorem, generalizing to the context of log pairs these results of Mori. A criterion for K_X+D to be pseudo-effective with mild hypothesis on D follows. We also obtain, assuming the abundance conjecture and the existence of rational curves on Calabi-Yau manifolds, an optimal geometric sharpening of the Nakai-Moishezon criterion for the ampleness of a divisor of the form K_X+D, a criterion verified under a canonical hyperbolicity assumption on (X,D). Without these conjectures, we verify this ampleness criterion with assumptions on the number of ample and non ample components of D.

研究动机与目标

• 建立保证复射影代数簇上具有约化除子 $D$ 的对数 canonical 除子 $K_X + D$ 正性（nef、伪有效、ample）的几何准则。
• 在双曲性假设下，提供锥定理的几何版本以及 $K_X + D$ 充分性的强化 Nakai-Moishezon 准则。
• 在二维与三维情形下，无需依赖广义广义猜想或 Calabi-Yau 流形上存在有理曲线的假设，验证 $K_X + D$ 的充分性准则。
• 刻画在 Mori 锥的闭包中违反 $K_X + D$-非负性的极小有理曲线结构，尤其关注 $D$ 的各层结构。

提出的方法

• 通过维数归纳法使用极小模型程序（MMP），利用 adjunction 将正性问题约化至低维情形。
• 定义并分析 $\mathcal{D}$-有理曲线、$\mathcal{D}$-紧致流形以及 $D$ 各层中的 $\mathcal{D}$-有理曲线，以分类 $\overline{\operatorname{NE}}(X)$ 中的极小射线。
• 应用 canonical bundle 公式与对数 canonical 奇点理论，特别运用 [12] 中关于对数 canonical 奇点及其解耦结果。
• 对位于 $D$ 各层中的有理曲线 $\ell$ 施加几何约束，证明 $\ell \cdot (K_X + D) \in \{1, 2, \dots, 2n\}$，且当 $\ell$ 不是 $\mathcal{D}$-紧致时，等式成立于 1。
• 利用最小解耦 $\eta: X' \to X$ 分析 $K_{X'} + D' + \Gamma' + E$ 的行为，通过 adjunction 与交比理论推导亏格界。
• 应用 dlt（除子对数终端）条件与对数 canonical 奇点理论，控制 $\Gamma$ 与 $D$ 在奇点附近（尤其在维数 ≤3 时）的几何结构。

实验结果

研究问题

• RQ1 在光滑射影代数簇 $X$ 与具有简单法向交线的约化除子 $D$ 下，$K_X + D$ 在何种几何条件下为 nef？
• RQ2 在双曲性假设下，$K_X + D$ 的充分性 Nakai-Moishezon 准则能否实现几何化强化？
• RQ3 当 $K_X + D$ 非 nef 时，Mori 锥 $\overline{\operatorname{NE}}(X)$ 的结构如何？哪些有理曲线生成极小射线？
• RQ4 $D$ 的奇点结构与各层的几何如何影响 $K_X + D$ 的正性？
• RQ5 在低维情形下，能否在不假设广义广义猜想或 Calabi-Yau 流形上存在有理曲线的条件下，验证 $K_X + D$ 的充分性？

主要发现

• Mori 锥的闭包 $\overline{\operatorname{NE}}(X)$ 由 $(K_X + D)$-非负部分与至多可数个极小 $\mathcal{D}$-有理曲线 $\ell_i$ 生成，且满足 $-\ell_i \cdot (K_X + D) \in \{1, 2, \dots, 2n\}$。
• 若 $(X,D)$ 为 Mori 双曲，则 $K_X + D$ 为 nef，从而提供了 nef 性的几何准则。
• 当 $\dim X = n$ 时，若 $D$ 至少有 $n-3$ 个充分分量与 $n-2$ 个不可约分量，则 $K_X + D$ 为 ample，从而在低维情形下验证了猜想 1.1 的充分性部分。
• 在维数 ≤3 时，若 $(X,D)$ 为 Brody 双曲，且 $D + \Gamma$ 为 dlt 且 $\Gamma \geq 0$，则 $K_X + D + \Gamma$ 在 $D + \lfloor \Gamma \rfloor$ 的每个不可约分量上限制为 ample 除子。
• 极小 $\mathcal{D}$-有理曲线 $\ell_i$ 满足 $-\ell_i \cdot (K_X + D) = 1$，当且仅当 $\ell_i$ 不是 $\mathcal{D}$-紧致有理曲线。
• 该论文在不假设广义广义猜想或 Calabi-Yau 流形上存在有理曲线的条件下，验证了低维（二维与三维）情形下的几何充分性准则。