[论文解读] Local Positivity of Ample Line Bundles

Lawrence Ein, Oliver Küchle+1 more|ArXiv.org|Aug 9, 1994

Algebraic Geometry and Number Theory参考文献 7被引用 24

一句话总结

本文建立了复射影代数簇上丰沛线丛的Seshadri常数的下界，证明了对于n维代数簇X上的 nef 且 big 线丛L，除可数个真闭子簇外，所有点x处均有$\epsilon(L,x) \geq \frac{1}{n}$。核心方法涉及在爆破上进行间隙构造与重数控制以推导该下界，从而推广了关于局部正性及伴随线性系生成性的结果。

ABSTRACT

Let $L$ be a nef line bundle on a smooth complex projective variety $X$ of dimension $n$. Demailly has introduced a very interesting invariant --- the Seshadri constant $ε(L,x)$ --- which in effect measures how positive $L$ is locally near a given point $x \in X$. For instance, Seshadri's criterion for ampleness may be phrased as stating that $L$ is ample if and only if there exists a positive number $e > 0$ such that $ε(L,x) > e$ for all $x \in X$, and if $L$ is VERY ample, then $ε(L,x) \ge 1$ for every $x$. We prove the somewhat surprising result that in each dimension $n$ there is a uniform lower bound on the Seshadri constant of an ample line bundle $L$ at a very general point of $X$. Specifically, $ε(L,x) \ge (1/n) $ for all $x \in X$ outside the union of countably many proper subvarieties of $X$. Examples of Miranda show that there cannot exist a bound (independent of $X$ and $L$) that holds at every point. The proof draws inspiration from two sources: first, the arguments used to prove boundedness of Fano manifolds of Picard number one; and secondly some of the geometric ideas involving zero-estimates appearing in the work of Faltings and others on Diophantine approximation and transcendence theory. We give some elementary applications of the main theorem to adjoint and pluricanonical linear series.

研究动机与目标

• 建立复射影代数簇上一般点处丰沛线丛局部正性的统一下界。
• 将已有曲面情形的界限推广至高维代数簇。
• 为伴随线性系$|K_X + L|$生成s-阶切线的定量准则提供依据，将Seshadri常数与消去定理联系起来。
• 将关于 pluricanonical 映射与双有理性结果推广至一般型极小代数簇。
• 研究下界$\epsilon(L,x) \geq \frac{1}{n}$的最优性，并探讨$\epsilon(L,x) \geq 1$是否对非常一般点成立。

提出的方法

• 将Seshadri常数$\epsilon(L,x)$定义为满足$f^*L - \epsilon E$在爆破$f: \mathrm{Bl}_x(X) \to X$上为nef的$\epsilon \geq 0$的上确界。
• 使用间隙构造，控制高阶除子$E_x \in |kL|$在一般点$y$与曲线上点$x$处的重数差异。
• 重新选择除子$E_x$以确保$C_y \not\subset E_x$，同时在$y$处保持高重数，避免交点估计中的矛盾。
• 在爆破上应用Kawamata–Viehweg消去定理与nef性准则，推导伴随线性系的消去结果。
• 利用子簇$Y \not\subset \mathcal{B}$的交数$\int_Y c_1(L)^r \geq (r\alpha)^r$的数值假设，推导出对非常一般点$x$有$\epsilon(L,x) \geq \alpha$。
• 通过取大整数$m$使$mL$为整除子，将结果推广至$\mathbb{Q}$-除子情形，利用$\epsilon(mL,x) = m \epsilon(L,x)$。

实验结果

研究问题

• RQ1 能否在n维代数簇上对丰沛线丛建立与代数簇及线丛无关的Seshadri常数统一下界？
• RQ2 是否可将下界$\epsilon(L,x) \geq \frac{1}{n}$改进为对非常一般点有$\epsilon(L,x) \geq 1$？
• RQ3 线丛$L$与子簇交数的何种条件可保证$|K_X + L|$在一般点处生成s-阶切线？
• RQ4 Seshadri常数与一般型极小代数簇上pluricanonical映射的双有理性有何关系？
• RQ5 能否通过通过点$x$的曲线的几何约束来改进下界$\epsilon(L,x) \geq \frac{1}{n}$？

主要发现

• 对于任意n维不可约射影代数簇$X$上的nef且big线丛$L$，所有不在可数个真闭子簇并集中的点$x$，均有$\epsilon(L,x) \geq \frac{1}{n}$。
• 若$L$为丰沛线丛，则对任意$\delta > 0$，集合$\{x \in X \mid \epsilon(L,x) > \frac{1}{n+\delta}\}$为Zariski开集且稠密。
• 给定$\alpha > 0$，若对所有不包含于$\mathcal{B}$的$r$维子簇$Y$满足$\int_Y c_1(L)^r \geq (r\alpha)^r$，则对所有足够一般的$x \in X$，有$\epsilon(L,x) \geq \alpha$。
• 推论2表明：若对所有$Y \not\subset \mathcal{B}$有$\int_Y c_1(L)^r \geq (r(n+s))^r$，则$|K_X + L|$在一般点处生成$s$-阶切线，且$h^0(X, \mathcal{O}_X(K_X + L)) \geq \binom{n+s}{n}$。
• 推论3建立：当$m \geq 2n^2$时，$|K_X + mL|$为双有理非常ample，推广了关于一般型极小代数簇pluricanonical映射的结果。
• 对指数为$r$的一般型极小$n$-倍曲面，当$m \geq 2n^2 + 1$时，$|mrK_X|$为双有理非常ample，该结论通过log分辨率与$\mathbb{Q}$-除子技巧得出。