[论文解读] $L^2$ vanishing theorems for positive line bundles and adjunction theory, Lecture Notes of a CIME course on "Transcendental Methods of Algebraic Geometry" (Cetraro, Italy, July 1994)

Jean-Pierre Demailly|arXiv (Cornell University)|Oct 21, 1994

Algebraic Geometry and Number Theory参考文献 50被引用 46

一句话总结

本文基于 $L^2$ 估计与乘子理想层，发展了分析技术，以证明射影代数簇上线丛的有效消去定理与非常ample性准则。通过求解复 Monge-Ampère 方程，并结合 Lelong 数与当前的交叠理论，建立了 $mL$ 变为非常ample 的有效界，改进了高维情形下 Fujita 的猜想，给出了明确的数值条件。

ABSTRACT

The notes start with an elementary introduction to a few important analytic techniques of algebraic geometry: closed positive currents, $L^2$ estimates for the $\dbar$-operator on positive vector bundles, Nadel's vanishing theorem for multiplier ideal sheaves (a generalization of the well-known Kawamata-Viehweg vanishing theorem). Applications to adjoint line bundles are then discussed. T.~Fujita conjectured in 1987 that $K_X+(n+2)L$ is very ample for every ample line bundle $L$ on a non singular projective variety $X$ with $\dim X=n$. The answer is known only for $n\le 2$ (I.~Reider, 1988). In the last years, various bounds have been obtained for integers $m$ such that $2K_X+mL$ is very ample (by J.~Kollár, L.~Ein-R.~Lazarsfeld, Y.T.~Siu and the author, among others). Two approaches are discussed: an analytic approach via Monge-Ampère equations and current theory, and a more algebraic one (due to Siu) via multiplier ideal sheaves and Riemann-Roch. Finally, an effective version of the big Matsusaka theorem is derived, in the form of an explicit bound for an integer $m$ such that $mL$ is very ample, depending only on $L^n$ and $L^{n-1}\cdot K_X$; these bounds improve Siu's results (1993), and essentially contain the optimal bounds obtained by Fernandez del Busto for the surface case.

研究动机与目标

• 利用分析方法，特别是 $L^2$ 估计与乘子理想层，建立正线丛的有效 $L^2$ 消去定理。
• 为射影代数簇上线丛的非常ample性提供有效准则，将 Fujita 猜想推广至高维。
• 通过乘子理想将奇异度量与曲率条件转化为代数条件，弥合分析与代数几何之间的鸿沟。
• 利用递归交叠理论与 Hodge 理论，推导出线丛成为非常ample 所需正性的显式数值界。
• 比较分析与代数方法在 Fujita 猜想中的应用，表明即使代数方法受限于维数，分析方法仍能给出有效界。

提出的方法

• 利用 Hörmander 的 $L^2$ 估计与 Bochner 技巧，在正曲率条件下证明 $H^q(X, K_X \otimes L \otimes \fancyscript{I}(\fancyscript{\varphi}))$ 的消去定理。
• 应用与奇异 plurisubharmonic 权重 $\varphi$ 相关的乘子理想层 $\fancyscript{I}(\varphi)$ 理论，这些层是凝聚的，且能控制奇点。
• 通过 Aubin-Calabi-Yau 定理求解形如 $(i\partial\bar\partial\varphi)^n = \text{Dirac 测度的线性组合}$ 的复 Monge-Ampère 方程，构造具有孤立奇点的度量。
• 利用 Lelong 数与正当前的交叠理论，度量线丛的局部正性，并控制度量 $\varphi$ 的奇点。
• 通过维数的递归归纳，结合 Hodge 理论与 Hodge-Taniyama 不等式，界定子簇的次数并推导出数值条件。
• 结合 H"ormander-Kodaira-Nakano $L^2$-估计、Riemann-Roch 公式与基点集分析，推导出 $m$ 的有效界，以保证非常ample性。

实验结果

研究问题

• RQ1 对于射影 $n$- 簇上的 ample 线丛 $L$，$mL$ 为非常ample 的有效界 $m$ 是多少？
• RQ2 能否利用涉及 $L^2$ 估计与乘子理想的分析方法，在高维情形下有效证明 Fujita 猜想？
• RQ3 如何构造正线丛上的奇异度量，使得乘子理想恰好在给定的 0-维子概形上消失？
• RQ4 Seshadri 常数与 Lelong 数在刻画线丛局部正性方面起什么作用？
• RQ5 分析技术与代数方法（如 Riemann-Roch、基点集分析）在推导有效非常ample性准则方面如何比较？

主要发现

• 当 $n=2$ 时，本文证明 $mL$ 在 $m \geq 4 \cdot \frac{(L \cdot (K_X + 4L))^2}{L^2}$ 时为非常ample，且该界近乎最优，经改进后得到 $m > \frac{1}{2} \left[ \frac{(L \cdot (K_X + 4L) + 1)^2}{L^2} + 3 \right]$。
• 在高维情形下，本文推导出 $m_0$ 的递归界，使得 $m_0L - B$ 为 nef，其中 $m_0$ 依赖于 $L^n$、$L^{n-1} \cdot H$ 与 $L^{n-1} \cdot B$，并得到 $m_0 \leq (2n)^{(3^{n-1}-1)/2} \cdot \frac{(L^{n-1} \cdot (B+H))^{(3^{n-1}+1)/2} (L^{n-1} \cdot H)^{3^{n-2}(n/2 - 3/4) - 1/4}}{(L^n)^{3^{n-2}(n/2 - 1/4) + 1/4}}$。
• 通过求解具有 Dirac 当前右侧的复 Monge-Ampère 方程，成功构造出具有孤立对数极点且在某点具有预设 Lelong 数的奇异度量 $\varphi$。
• 证明了乘子理想层 $\fancyscript{I}(\varphi)$ 是凝聚的，并能控制度量的奇点，从而使得 $L^2$ 消去定理得以应用。
• 该方法证明了当 $L$ 具有正曲率当前时，有 $H^q(X, K_X \otimes L \otimes \fancyscript{I}(\varphi)) = 0$ 对所有 $q \geq 1$ 成立，推广了 Kawamata-Viehweg 消去定理。
• 本文建立 $H + m_0L - B$ 为非常ample，其中 $m_0$ 满足所推导的界，$H$ 为非常ample 除子，$B$ 为固定有效除子。