arXiv2025
In this paper, we introduce the notion of strong locally irreducible complex spaces $\widetilde{X}$. Based on this notion we prove the equality $\barν_φ(x)=$ mult$(\widetilde{X},x). ν_φ(x)$ for all $x\in \widetilde{X}$, where $\barν_φ(x)$ is the projective mass of a plurisubharmonic function $φ$ at $x$ and mult$(\widetilde{X},x)$ is the multiplicity of $\widetilde{X}$ at $x$ and $ν_φ(x)$ is Lelong number of $φ$ at $x$. Moreover, we show that the closure of the upper-level sets $\{z\in \widetilde{X}:ν_φ(z)\geq c\}$ of a plurisubharmonic function $φ$ on a strong locally irreducible complex space $\widetilde{X}$ is a subvariety of $\widetilde{X}$ for all $c\geq 0$.