[论文解读] Pluricomplex charge at weak singularities

Jonas Wiklund|ArXiv.org|Oct 31, 2005

Geometry and complex manifolds参考文献 12被引用 9

一句话总结

本文研究了在 plurisubharmonic 函数 $ u $ 的某一点处 Lelong 数为零时，复 Monge-Ampère 测度 $ (dd^c u)^n $ 的残余质量是否消失，这是 pluripotential 理论中的一个关键开放问题。通过使用能量类 $ \mathscr{F} $、径向对称性假设以及比较原理，作者证明了在 $ \mathbb{C}^2 $ 中沿某一轴具有有限 Lelong 数的径向函数，若该点的 Lelong 数为零，则原点处的 Monge-Ampère 质量消失，为一般猜想提供了强有力证据。

ABSTRACT

Let $u$ be a plurisubharmonic function, defined on a neighbourhood of a point $x,$ such that the complex Monge-Ampère operator is well-defined on $u.$ Suppose also that $u$ has a weak singularity, in the sense that the Lelong number of $u$ at $x$ vanish. Is it true that the residual mass of the measure $(dd^c{u})^n$ vanish at $x$? To our knowledge there is no known example that falsifies the posed question. In this paper some partial results are obtained. We find that for a significant subset of plurisubharmonic functions with well defined Monge-Ampère mass vanishing Lelong number does implies vanishing residual mass of the Monge-Ampère measure.

研究动机与目标

• 解决一个长期存在的开放问题：在某一点处 Lelong 数为零是否意味着 $ (dd^c u)^n $ 的残余质量消失。
• 建立在函数虽具奇异性但原点处无 Dirac 质量的条件下，复 Monge-Ampère 测度无质量的条件。
• 通过能量类和逼近技术，将已知 plurisubharmonic 函数类的部分结果推广至更广泛的情形。
• 研究弱奇点背景下 Lelong 数与 Monge-Ampère 质量之间的相互作用。

提出的方法

• 使用类 $ \mathscr{F}(D^2) $ 中的 plurisubharmonic 函数（具有有限全复能量）以确保 Monge-Ampère 算子有定义。
• 应用 $ (dd^c u)^n $ 的比较原理与收敛定理，特别是在 $ \mathscr{E}_0 $ 中递减序列的背景下。
• 在第一个变量中利用径向对称性，将问题简化为沿 $ z_2 $-轴的一维比较。
• 构造辅助函数 $ v_j = \max(u, c\log|z_2| + f_j) $，其中 $ f_j \nearrow 0 $ a.e.，以逼近 $ \max(u, c\log|z_2|) $。
• 利用 Riesz 分解定理将次调和限制表示为势加调和函数，从而控制原点处的质量。
• 应用定理 2.4 关于 Monge-Ampère 测度的弱*收敛性，以取极限并比较质量。

实验结果

研究问题

• RQ1 某一点处 Lelong 数为零是否意味着 $ (dd^c u)^n $ 的残余质量在该点消失？
• RQ2 当 Lelong 数有限但不为零时，Monge-Ampère 测度的残余质量是否可被控制？
• RQ3 在第一个变量中径向对称性在多大程度上允许将 $ n $-维问题约化为低维问题？
• RQ4 该结果能否推广至具有零 Lelong 数的非径向函数？

主要发现

• 对于满足 $ \nu(u_{\mathbf{e}_2}, 0) = c < \infty $ 的 $ \mathscr{F}(D^2) $ 中的径向 plurisubharmonic 函数 $ u $，有 $ (dd^c u)^2(\{0\}) $ 等于 $ \max(c\log|z_2|, u(z_1,z_2)) $ 的质量。
• 若 $ \nu(u, 0) = 0 $，则 $ (dd^c u)^2(\{0\}) = 0 $，前提是 $ u $ 在紧集外有界且 $ \nu(u_{\mathbf{e}_2}, 0) < \infty $。
• 该结果在假设 $ u $ 在紧集外有界且在第一个变量中具有径向对称性下成立，这确保了 $ u \in \mathscr{F}(D^2) $。
• 证明依赖于构造逼近函数 $ v_j $，其几乎处处逐点收敛于 $ \max(u, c\log|z_2|) $，从而可利用 Monge-Ampère 测度的弱*收敛性。
• 关键步骤是证明 $ \nu(\max(c\log|z_2|, u), 0) = 0 $，这由命题 2.3 推出测度在原点处质量为零。
• 该结果支持一般猜想：零 Lelong 数意味着残余质量消失，尽管一般情形仍为开放问题。