[论文解读] Relative critical exponents, non-vanishing and metrics with minimal singularities

Mihai Păun|ArXiv.org|Jul 19, 2008

Geometry and complex manifolds参考文献 24被引用 22

一句话总结

本文通过使用闭正当前沿的相对临界指数与极小奇点度量，建立了在射影流形上伴随丛的非零定理。通过借鉴 Y.-T. Siu 在 canonical ring 有限生成性研究中的解析技巧，作者证明：在 Kähler 当量满足拟有效性和可积性条件时，伴随类 $ c_1(K_X) + \theta_L $ 包含一个有效 $\mathbb{R}$-除子，从而推广了双有理几何中的经典非零结果。

ABSTRACT

In this article we prove a non-vanishing statement, as well as several properties of metrics with minimal singularities of adjoint bundles. Our arguments involve many ideas from Y.-T. Siu's analytic proof of the finite generation of the canonical ring. An important technical tool is the notion of relative critical exponent of two closed positive currents with respect to a measure.

研究动机与目标

• 在拟有效性和可积性条件下，建立射影流形上伴随线丛的非零结果。
• 在解析设定下，推广 Shokurov 与 Kawamata 的经典非零定理。
• 引入并研究两个闭正当前沿相对于奇异测度的相对临界指数概念。
• 利用解析与全纯势论工具，刻画伴随丛上极小奇点度量的性质。
• 通过采用 $\mathrm{Char}\,p$-无关的解析技巧，避免依赖极小模型程序。

提出的方法

• 将相对临界指数 $ C_{\Theta_1,\psi}(X,\Theta_2) $ 引入为对数典范阈值的推广，其定义基于势函数差的指数在 $ L^1 $ 可积性。
• 应用扰动技巧与爆破方法，将问题约化至严格变换后的当前沿临界指数超过 1 的情形。
• 使用 Shokurov 非零定理的一个版本，并通过乘子理想层与 Lelong 数将其适配到解析设定。
• 利用 Hartogs 原理，将截面从严格变换延拓至全空间，从而保证伴随类中存在有效除子。
• 通过除子类的拉回与凸组合构造一个在类 $ c_1(K_X + L) $ 中的当前 $ \Theta $，其沿例外除子的 Lelong 数受控。
• 依赖 Skoda 定理与 Lelong 数的有理性，若极小度量非有理，则导出矛盾，从而证明其有效性。

实验结果

研究问题

• RQ1 在何种条件下，伴随类 $ c_1(K_X) + \theta_L $ 包含一个有效 $\mathbb{R}$-除子？
• RQ2 两个闭正当前沿的相对临界指数如何用于控制可积性与非零性？
• RQ3 是否可在不使用极小模型程序或 $\mathrm{Char}\,p$ 技巧的情况下证明非零结果？
• RQ4 极小奇点度量在伴随丛的解析非零性中起何作用？
• RQ5 可积性条件 $ e^{(1+\varepsilon_0)(\varphi_{K_X+L} - \varphi_L)} \in L^1(U_\alpha) $ 在多大程度上可被弱化？

主要发现

• 若 $ c_1(K_X) + \theta_L $ 为拟有效，且 $ \Theta_L $ 为满足 $ e^{(1+\varepsilon_0)(\varphi_{K_X+L} - \varphi_L)} \in L^1(U_\alpha) $ 的 Kähler 当量（对某个 $ \varepsilon_0 > 0 $），则伴随类 $ c_1(K_X) + \theta_L $ 包含一个有效 $\mathbb{R}$-除子。
• 该证明避免使用极小模型程序，采用受 Siu 关于 canonical ring 有限生成性研究启发的解析技巧。
• 伴随丛上极小奇点度量通过相对临界指数与势函数的可积性条件得以刻画。
• 若逼近丛 $ |K_{\widehat{X}} + S + \widehat{L}_\eta| $ 中存在非零截面，则其拉回类中存在有效 $\mathbb{R}$-除子。
• 若极小度量的 Lelong 数为无理数，则导出矛盾，从而证明极小度量来自有理截面，故其有效性得证。
• 最终当前 $ \Theta \in c_1(K_X + L) $ 通过拉回与凸组合构造，其沿例外除子的 Lelong 数受控。