Table of Contents
Fetching ...

On Lelong numbers of plurisubharmonic functions on complex spaces

Le Mau Hai, Pham Hoang Hiep, Trinh Tung

TL;DR

This work extends pluripotential theory to singular complex spaces by introducing strong locally irreducible complex spaces and two auxiliary psh functions $\varphi_{aver}$ and $\varphi_{max}$ obtained via ramified coverings and the local parametrization theorem. The main contributions are sharp equalities linking the projective mass $\bar{\nu}_{\varphi}$ to the classical Lelong number $\nu_{\varphi}$ (and to multiplicities) on these spaces, and a Siu-type result showing that upper-level sets of $\nu_{\varphi}$ have analytic structure. The results demonstrate that, under strong local irreducibility, the singularities behave predictably: $\bar{\nu}_{\varphi}(a)=\mathrm{mult}(\widetilde{A},a)\,\nu_{\varphi}(a)$, providing precise control of Lelong numbers in terms of multiplicities. Altogether, the paper supplies new tools and sharp formulas for plurisubharmonic functions on complex spaces, with implications for the study of singularities in several complex variables and complex geometry.

Abstract

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

On Lelong numbers of plurisubharmonic functions on complex spaces

TL;DR

This work extends pluripotential theory to singular complex spaces by introducing strong locally irreducible complex spaces and two auxiliary psh functions and obtained via ramified coverings and the local parametrization theorem. The main contributions are sharp equalities linking the projective mass to the classical Lelong number (and to multiplicities) on these spaces, and a Siu-type result showing that upper-level sets of have analytic structure. The results demonstrate that, under strong local irreducibility, the singularities behave predictably: , providing precise control of Lelong numbers in terms of multiplicities. Altogether, the paper supplies new tools and sharp formulas for plurisubharmonic functions on complex spaces, with implications for the study of singularities in several complex variables and complex geometry.

Abstract

In this paper, we introduce the notion of strong locally irreducible complex spaces . Based on this notion we prove the equality mult for all , where is the projective mass of a plurisubharmonic function at and mult is the multiplicity of at and is Lelong number of at . Moreover, we show that the closure of the upper-level sets of a plurisubharmonic function on a strong locally irreducible complex space is a subvariety of for all .

Paper Structure

This paper contains 6 sections, 22 theorems, 164 equations.

Key Result

Proposition 2.1

Let $\Omega$ be a psedoconvex domain in $\mathbb{C}^n$ and A be an analytic subset of $\Omega$. Then for every open subset $D\Subset\Omega$ there exist holomorphic functions $f_1,\ldots,f_m$ on $D$ such that

Theorems & Definitions (63)

  • Definition 1
  • Definition 2
  • Proposition 2.1
  • Proposition 2.2
  • Definition 3
  • Example 2.1
  • Proposition 2.3
  • Definition 4
  • Definition 5
  • Definition 6
  • ...and 53 more