Certain classes of pluricomplex Green functions on \(\mathbb{C}^n\) (Q1586861)

In this paper the author studies entire plurisubharmonic functions \(u\) with logarithmic growth (i.e. \(u(z)=\log ||z||+O(1)\) as \(||z||\to\infty),\) whose Monge-Ampère measure is a finite sum of Dirac masses. Let \(A=\{p_1,\dots,p_k\}\) be a \(k\)-tuple of pairwise distinct points in \(\mathbb{C}^n\) and \(W=\{\nu_1,\dots,\nu_k\}\) be a \(k\)-tuple of positive weights. The author considers the classes \(M_n(A,W)\) of entire pluricomplex Green functions. By definition, \(M_n(A,W)\) is the set of solutions of the following Monge-Ampère equation: \[ u\in \text{PSH}(\mathbb{C}^n)\cap L^\infty_{\text{loc}}(\mathbb{C}^n\setminus A), \] \[ u(z)-\nu_j\log \|z-p_j\|=O(1)\quad \text{as } z\to p_j, \] \[ \lim_{\|z\|\to\infty}(u(z)/\log \|z\|)\in (0,+\infty) \text{ exists}, \quad (dd^cu)^n=\sum_{j=1}^k\nu_j^n\delta_{p_j}. \] When the weights \(\nu_j\) are equal (without loss of generality equal to 1), the corresponding class is denoted by \(M_n(A)\). If \(A\) consists of one point (\(A=\{0\}\)), the corresponding class is denoted by \(M_n(0)\). Functions in \(M_n(A,W)\) can be viewed as higher dimensional generalizations of the classical Green functions. However, when \(n>1\) \(M_n(A,W)\) can be in some cases empty. In some other cases all the elements of \(M_n(A,W)\) are described. In these cases \(M_n(A)\) has actually many elements, in the sense that they are not unique up to addition of constants. The author studies the case when \(A=f^{-1}(0)\), where \(f:{\mathbb{C}}^n\to{\mathbb{C}}^n\) is a holomorphic map such that 0 is a regular value for \(f\) and the following holds for some integer \(d\geq 2\): \[ 0<\liminf_{\|z\|\to\infty}\frac{\|f(z)\|}{\|z\|^d}\leq \limsup_{\|z\|\to\infty}\frac{\|f(z)\|}{\|z\|^d}<+\infty. \] He shows that the operator \(f*: M_n(0)\to M_n(A)\), \(f*v=v\circ f\), is well defined and bijective. Using the description of the elements of \(M_n(0)\) in terms of their Robin functions, the author gives a complete characterization of \(M_n(A)\). He deduces some general properties of \(M_n(A,W)\). When \(A\) consists of one element the corresponding class \(M_n(0)\) can be easily characterized in terms of Robin functions. When \(k= \text{card} A\in\{2,\dots, 2^n-1\}\) he shows that \(M_n(A,W)=\emptyset\), and when \(k=2^n\) then \(M_n(A,W)=\emptyset\) unless the weights are all equal. Moreover \(M_n(A,W)\) carries a certain algebraic structure: if \(u,v\in M_n(A,W)\) then \(c_1u+c_2v+c_3\max\{u,v\}\in M_n(A,W)\), where \(c_j\geq 0\) and \(c_1+c_2+c_3=1\). This is of interest since in general the sum or the maximum of maximal plurisubharmonic functions is not maximal. The author obtains \(M_2(A)\) when card \(A=4\). He proves that \(M_2(A)=\emptyset\) if card \(A=5\) or card \(A=6\), and he gives a simple geometric way of constructing sets \(A\) for which \(M_2(A)\neq\emptyset\) is found explicitly.