[论文解读] Remarks on Ein-Lazarsfeld criterion of spannedness of adjoint bundles of polarized threefolds

Takao Fujita|ArXiv.org|Nov 30, 1993

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

一句话总结

本文通过在曲面与曲线交点条件不变的前提下，将 Ein-Lazarsfeld 准则中关于极化三叉面上伴随丛的截面性所需的三重交点数 $B^3 \geq 92$ 降低至 $B^3 \geq 51$，从而对该准则进行了改进。作者通过在一点处的爆破上对限制映射的精细分析以及代数 Lelong 数的运用，证明了当 $BC \geq 3$，$B^2S \geq 7$，且 $B^3 \geq 51$ 时，$K + B$ 在点 $x$ 处是截面的，优于 [EL] 中建立的阈值。

ABSTRACT

Let B be a nef and big line bundle on a smooth complex threefold X with canonical bundle K. Let x be a point on X and suppose that BC\ge3 for any curve C passing x, B^2S\ge7 for any surface S containing x, and B^3\ge51. Then K+B is spanned at x. (Ein-Lazarsfeld proved the assertion assuming B^3\ge92.) Corollary: K+3L is spanned if L is an ample line bundle with L^3>1.

研究动机与目标

• 解决关于极化 $n$-叉面的猜想：$K + nL$ 除非 $L^n = 1$ 否则为截面，重点研究 $n = 3$ 的情形。
• 通过降低所需 $B^3$ 阈值，改进光滑三叉面上伴随丛 $K + B$ 的截面性 Ein-Lazarsfeld 准则。
• 研究原始准则中 $B^3 \geq 92$ 的条件是否可弱化为 $B^3 \geq 51$，同时保持 $K + B$ 在一点处截面的结论。
• 通过限制映射与代数 Lelong 数的精细估计，提供更严格的截面性线丛的数值准则。
• 探讨是否可进一步弱化数值条件，提出在对坏点集几何理解更深入时，$B^3 > 27$ 可能已足够。

提出的方法

• 应用 [EL] 中的定理 0，该定理指出：若在点 $x$ 的爆破 $\pi_1: M_1 \to M$ 上满足特定正性与拉回正性条件，则 $K + B$ 在 $x$ 处截面。
• 使用爆破 $\pi_1$，分析线丛 $\pi_1^*B - \sigma_3 E$（其中 $\sigma_3 = 9/2$），证明当 $K + B$ 在 $x$ 处不截面时，其大性由 $B^3 \geq 51$ 推出。
• 估计限制映射 $H^0(M_1, s\pi_1^*B - jE) \to H^0(E, \mathcal{O}_E(j))$ 的秩，以控制例外除子 $E \cong \mathbb{P}^2$ 上线性系统维数的上界。
• 对连续爆破上的坏点与坏点集进行递归分析，利用 $\mu_{(i)}$-值控制消失阶数的增长，确保无坏点存在。
• 应用 Hironaka 分解，并利用代数 Lelong 数 $\Xi_P$ 衡量正性，检测拉回丛中非 nef 或非大行为。
• 利用在特定假设下 $\Xi_P(\pi_1^*B - \epsilon E) = 0$（对小的 $\epsilon > 0$）的事实，使论证中可使用更紧的界。

实验结果

研究问题

• RQ1 在光滑三叉面上，Ein-Lazarsfeld 准则中关于 $K + B$ 截面性的三重交点数 $B^3 \geq 92$ 是否可降低至 $B^3 \geq 51$？
• RQ2 当 $K + B$ 在点 $x$ 处不截面时，$\pi_1^*B - \frac{9}{2}E$ 的大性是否可由 $B^3 \geq 51$ 推出？
• RQ3 通过改进对例外除子 $E$ 上限制映射的分析，是否可进一步改进截面性的数值准则？
• RQ4 阈值 $B^3 \geq 51$ 是否可进一步降低，或在当前技术下已接近最优？
• RQ5 该方法是否可推广至奇点或对数经典对，且准则是否可推广至高维代数簇？

主要发现

• Ein-Lazarsfeld 准则在光滑三叉面上关于 $K + B$ 截面性的结论得到改进：当 $BC \geq 3$，$B^2S \geq 7$，且 $B^3 \geq 51$ 时，$K + B$ 在点 $x$ 处截面，将 $B^3$ 所需值从 92 降低至 51。
• 在假设 $x \in \operatorname{Bs}|K + B|$ 的前提下，通过例外除子上限制映射的精细估计，证明了当 $B^3 \geq 51$ 时，$\pi_1^*B - \frac{9}{2}E$ 为大丛。
• 该方法表明，即使初始假设 $\operatorname{Bs}|s(\pi_1^*B - \epsilon E)| \cap E = \emptyset$ 失效，论证仍成立，方法是通过将坏点处的 $\mu_{(i)}$-值控制在 $\sqrt{321\alpha\beta}/9$ 以上，从而确保消失阶数增长可控。
• 推论 4.2 确认：对满足 $L^3 > 1$ 的 ample 线丛 $L$，有 $K + 3L$ 截面，将结果推广至极化三叉面的伴随丛。
• 本文提出，$B^3 \geq 51$ 的阈值可能并非最优，若对坏点集的几何理解更深入，$B^3 > 27$ 可能已足够。
• 类似准则可能可推广至对数经典对与高维情形，且该方法未来或可用于非常正性问题。