关于Stein manifold在Lelong number定义中的作用及测度T∧(dd^cφ)^p良定性的疑问

嘿，我来试着拆解一下你在Demailly《Complex Analytic and Differential Geometry》里遇到的这个问题——我当初啃这部分的时候也卡过好一阵子，太能理解你的困惑了！

先解决核心疑问：为什么$T\wedge(dd^c\varphi)p$能在全$X$上良定？ #

你提到3.4里的结果只能保证这个楔积在$X\setminus S(-\infty)$上良定，而El-Mir定理要求流在完全pluripolar集$E$上局部有限质量才能延拓，但你不确定$T$在$S(-\infty)$上是否满足这个条件。其实**$\varphi$在$\operatorname{Supp} T$上的半穷竭性**就是关键的突破口！

半穷竭性的定义是：存在实数$R$，使得${x\in X:\varphi(x)<R}\cap\operatorname{Supp} T$在$X$中有紧闭包。那对于$S(-\infty)$中的任意点$x_0$，我们取一个包含$x_0$的相对紧开邻域$U$：

• $U\cap\operatorname{Supp} T$中满足$\varphi(x)\geq R$的部分，是${x\in X:\varphi(x)\geq R}\cap\operatorname{Supp} T$与$U$的交集——由于${x\in X:\varphi(x)<R}\cap\operatorname{Supp} T$的闭包紧，它的补集在相对紧的$U$里的交集自然是紧集，而正闭流在紧集上的质量必然有限。
• $U\cap\operatorname{Supp} T$中满足$\varphi(x)<R$的部分，它的闭包是紧的（半穷竭性的直接结论），而在这部分区域里，$\varphi$是有限的连续psh函数，$dd^{c\varphi$是正闭流，结合3.4的结果，$T\wedge(dd}c\varphi)^p$在这里的质量也是有限的。

把这两部分加起来，$T$在$U$上的局部质量就是有限的，完全满足El-Mir定理的条件！这样就能把$X\setminus S(-\infty)$上的楔积延拓到全$X$上，保证测度在整个$X$上良定。

再聊Stein流形的作用 #

Stein流形在这里可不是随便加的条件，它是整个论证的“友好背景”，主要有这几个关键作用：

• 全纯函数的丰富性：Stein流形上有足够多的全纯函数，这意味着我们可以轻松构造出穷竭/半穷竭的psh函数（比如用全纯函数的模长平方构造），而且这类psh函数的逼近性质更好——3.2里应该提到过用光滑psh函数逼近连续psh函数的技巧，这在处理流的楔积和延拓时非常有用。
• 正闭流延拓的便利性：Stein流形的拓扑和解析性质（比如可以嵌入到$\mathbb{C}^n$、局部凸性）让完全pluripolar集的性质更清晰，El-Mir定理在这里的应用也更直接。我们刚才取相对紧邻域、利用半穷竭性控制质量的操作，在Stein流形上能顺利进行，就是因为它的局部紧性和穷竭函数的存在性。
• Lelong数定义的合理性：Lelong数是用来衡量流在某点附近的“密度”，Stein流形的局部全纯坐标卡和嵌入性质，让我们可以用$\mathbb{C}^n$里的球来局部化计算，保证了延拓后的流在全空间上的一致性，也让Lelong数的定义更自然严谨。

总结一下：半穷竭性补上了El-Mir定理需要的“局部有限质量”条件，而Stein流形则为整个论证提供了必要的解析和拓扑基础，两者结合就保证了$T\wedge(dd^c\varphi)p$在全$X$上的良定性。

备注：内容来源于stack exchange，提问作者Crisp