Analytic approximations of plurisubharmonic singularities (Q2435092)

The author studies the local behaviour of negative plurisubharmonic (psh) functions near their isolated singularities (\(-\infty\) points), say at the point \(0\) in \(\mathbb C ^n\) . It is assumed that the Monge-Ampère measure of those functions is zero except for the origin. For such a function \(\psi\) consider the approximation \(\mathcal{D}_k \psi \to \psi\) introduced by \textit{J.-P. Demailly} [J. Algebr. Geom. 1, No. 3, 361--409 (1992; Zbl 0777.32016)]. Then the convergence is pointwise, in \(L^1 _{loc}\), and the Lelong numbers of approximants converge to the Lelong number of \(\psi\) at any point. If \(\psi\) is of the form \(const. \log |F|\), for a holomorphic mapping \(F\) with \(F(0)=0\), then the we say thet \(\psi\) has an \textit analytic singularity. \textrm A general \(\psi\) has an \textit asymptotically analytic singularity \textrm if for any small \(\epsilon\) there is \(\psi _{\epsilon}\) with analytic singularity and such that \((1+\epsilon ) \psi _{\epsilon} + O(1) \leq \psi \leq (1-\epsilon ) \psi _{\epsilon} + O(1).\) The main theorems of the paper characterize the classes of functions with asymptotically analytic singularities, and those that can be represented as the limit of a decreasing sequence of functions with analytic singularities, in terms of the limiting behaviour of Demailly's approximants. For instance, \(\psi\) belongs to the latter class if and only if \((dd^c \psi )^n (\{ 0\} ) = \inf _k (dd^c \mathcal{D}_k \psi )^n (\{ 0\} )\).