[论文解读] Characterization of multiplier ideal sheaves with weights of Lelong number one

Qi’an Guan, Xiangyu Zhou|arXiv (Cornell University)|Nov 25, 2014

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

一句话总结

本文刻画了在原点处 Lelong 数为一且其乘子理想层芽非平凡的多重次调和函数：此类函数必可分解为一个光滑除子与一个 Lelong 数为零的多重次调和函数之和。作者通过 $L^2$ 延拓方法证明了该结论，并以动态方式给出 Skoda 可积性准则的新证明，解决了复几何中所有维度下的一个长期悬而未决的问题。

ABSTRACT

In this article, we characterize plurisubharmonic functions of Lelong number one at the origin, such that the germ of the associated multiplier ideal sheaf is nontrivial: in arbitrary complex dimension, their singularity must be the sum of a germ of smooth divisor and of a plurisubharmonic function with zero Lelong number. We also present a new proof of the related well known integrability criterion due to Skoda.

研究动机与目标

• 刻画在某一点处 Lelong 数恰好为一的多重次调和函数所关联的乘子理想层芽的结构。
• 确定当 $\nu(u,x_0) = 1$ 时，权函数 $e^{-2u}$ 在原点附近何时可积。
• 通过证明在 $x_0$ 处非平凡的乘子理想层芽仅来源于光滑除子与 Lelong 数为零的函数之和，从而解决问题 1.2。
• 利用 Ohsawa-Takegoshi $L^2$ 延拓定理，以动态方式给出 Skoda 可积性准则的新证明。
• 将此前在二维情形的结果推广至任意复维度 $n \geq 2$。

提出的方法

• 利用 Demailly 的强开性猜想（已在 [11,12] 中证明）构造一个修改后的多重次调和函数 $\tilde{u}$，使其具有相同的乘子理想层芽芽且具备改进的局部有界性性质。
• 将 Ohsawa-Takegoshi $L^2$ 延拓定理应用于通过原点的复直线上的全纯函数，以估计 $L^2$ 范数并控制 $u$ 的增长。
• 沿从原点出发的射线使用动态论证，推导出点态估计 $u(rz_2 + x_0) < C_3 + \log r$（当 $r$ 较小时），从而推出对所有通过 $x_0$ 的复直线 $L$，有 $\nu(u|_L, x_0) \geq 1$。
• 通过归纳法对维度进行分析，并研究奇点集 $\{z \mid \nu(u,z) \geq 1\}$，将问题约化为低维情形。
• 利用射影几何与适当复平面的存在性，将问题约化为二维情形下的已知情况。
• 利用赋值树与奇点结构，根据 Lelong 当量是否支撑在光滑超曲面上来区分不同情形。

实验结果

研究问题

• RQ1 当 $\nu(u,x_0) = 1$ 时，$e^{-2u}$ 在 $x_0$ 附近可积的条件是什么？
• RQ2 当 $\nu(u,x_0) = 1$ 时，乘子理想层芽 $\mathcal{I}(u)_{x_0}$ 是否可能非平凡？
• RQ3 在 $x_0$ 处 $u$ 的奇点是否必为一个光滑除子与一个 Lelong 数为零的函数之和？
• RQ4 能否以新颖且动态的方式，利用 $L^2$ 延拓方法重新证明 Skoda 的可积性准则（针对 $\nu(u,x_0) < 1$ 的情形）？
• RQ5 该结果是否可从二维推广至任意复维度 $n \geq 2$？

主要发现

• 若 $\nu(u,x_0) = 1$ 且集合 $\{z \mid \nu(u,z) \geq 1\}$ 在 $x_0$ 处不是正则复超曲面的芽，则 $e^{-2u}$ 在 $x_0$ 附近可积。
• 乘子理想层芽 $\mathcal{I}(u)_{x_0}$ 非平凡当且仅当 $u$ 可分解为 $u = \log|h| + v$，其中 $h$ 定义一个光滑超曲面且 $\nu(v,x_0) = 0$。
• $L^2$ 延拓定理被沿射线以动态方式使用，以证明当 $r$ 较小时有 $u(rz_2 + x_0) < C_3 + \log r$，从而推出对所有通过 $x_0$ 的复直线 $L$，有 $\nu(u|_L, x_0) \geq 1$。
• 利用 Ohsawa-Takegoshi 定理以非传统、迭代的方式，给出了 Skoda 准则（$\nu(u,x_0) < 1 \Rightarrow \mathcal{I}(u)_{x_0} = \mathcal{O}_{x_0}$）的新证明。
• 主要结果在任意复维度 $n \geq 2$ 下成立，推广了此前在二维情形的结果。
• 奇点结构被完全刻画：当且仅当奇点包含一个光滑除子分量且其余部分的 Lelong 数为零时，$\mathcal{I}(u)_{x_0}$ 才非平凡。