Transcendental versions in \(\mathbb{C}^n\) of the Nagata conjecture (Q2034707)

The first main result of the present paper is a result on the convergence of certain multipoint pluricomplex Green's functions on the unit ball centered at the origin, \(B\subset \mathbb{C}^n\), which can be summarized as: Suppose \(S\subset B\) is finite, and for each \(t\in \mathbb{C}^*\), consider the multipoint pluricomplex Green's functions \(g_t\) on \(B\), with Lelong number 1 at each point in \(tS\). Then \(g_t\) converges locally uniformly outside of the origin to some \(g_\infty \in \mathrm{PSH}(B)\), whose Lelong number at the origin is exactly equal to \(\Omega(S)\), the singular degree of \(S\). Let \(g_B\) be the Green's function on \(B\) with a single log-pole at the origin of strength 1. Then \(g_\infty = \Omega(S) g_B\) if and only if \(\Omega(S) = |S|^{1/n}\). The singular degree of a finite set was introduced by \textit{M. Waldschmidt} [Semin. Pierre Lelong, Anal., Annee 1975/76, Journ. Fonct. anal., Toulouse 1976, Lect. Notes Math. 578, 108--133 (1977; Zbl 0363.32003)], and is an asymptotic measure of the minimal degree of a polynomial vanishing on \(S\); it was introduced in the context of the (weak) Nagata conjecture, which can be equivalently stated as asking if \(\Omega(S) = r^{1/n}\) for a generic, finite set \(S\subset \mathbb{CP}^n\) of cardinality \(r\), with the exception of finitely many \(r\). As such, the rigidity result in the main theorem can be used to reformulate the Nagata conjecture as a question on the convergence of the above multipoint Green's functions. The proof of the main theorem relies on a new characterization of multipoint Green's functions as supremums of certain spaces of polynomials which vanish on \(S\), as well as a Schwarz Lemma for finite sets. The case of general hyperconvex domains \(D\) is also discussed, and the author also shows that the spherical maximum of the \(g_t\) always converge to \(|S|^{1/n}g_B\). After the above results, the author defines and studies an analytic version of a constant related to the ``very singular degree'' of a finite set \(S\), as defined by \textit{G. Chudnovsky} [Theorie des nombres, Semin. Delange-Pisot-Poitou, Paris 1979--80, Prog. Math. 12, 29--69 (1981; Zbl 0455.32004)]. Let \(S = \{p_1 ,\ldots, p_j\}\) and, for \(\varphi\in\mathrm{PSH}(\mathbb{C}^n)\), let \(\nu(\varphi, p_j)\) be the Lelong number of \(\varphi\) at \(p_j\). The analytic version of this constant is defined to be \[ \omega_{\text{psh}}(S) := \sup\left\{\frac{\sum_j\nu(\varphi, p_j)}{\gamma_\varphi} \ \middle|\ \varphi\in\mathcal{L}\right\}, \] where here \(\mathcal{L}\subset \mathrm{PSH}(\mathbb{C}^n)\) are those psh functions with logarithmic growth at infinity, and \(\gamma_\varphi\) is the rate of logarithmic growth of \(\varphi\). Replacing \(\mathcal{L}\) with \(\mathcal{L}\cap L^\infty_{\text{loc}}(\mathbb{C}^n\setminus S)\) gives a possibly different constant, \(\omega_{\text{psh}}^+(S)\), and the second main result is that, in fact, \(\omega_{\text{psh}}(S) = \omega_{\text{psh}}^+(S)\) if and only if the (weak) Nagata conjecture holds, giving a second equivalent version of this conjecture. By considering the relationship between \(\Omega(S)\), \(\omega_{\text{psh}}(S)\), and \(\omega_{\text{psh}}^+(S)\), a third conjecture is presented, again equivalent to the Nagata conjecture, which asks about the existence of certain continuous \(\varphi\in \mathcal{L}\) with log-poles on \(S\) and \(\gamma_\varphi \leq |S|^{1/n}\).