Demailly's conjecture on Waldschmidt constants for sufficiently many very general points in \(\mathbb{P}^n\) (Q2329267)

The paper deals with Demailly's conjecture. If \(I\) is an ideal of \(s\) points in \(\mathbb{P}^n\), the \(m\)-th symbolic power of \(I\), denoted by \( I^{(m)}\), may be defined as the set of \(f\in F[x_0,\ldots,x_n]\) such that \(f \) is homogeneous and vanishes to order at least \(m\) at each point \(p_i, i=1,\dots,s\). For any homogeneous ideal \(J\) the number \(\alpha(J)\) is the least degree of a nonzero term in \(J\). The Waldschmidt constant \(\widehat{\alpha}(I)\) of \(I\) is defined by \( \widehat{\alpha}(I):=\inf_{m\ge 1}\frac{\alpha(I^{(m)})}{m}= \lim_{m \to \infty}\frac{\alpha(I^{(m)})}{m}.\) \textit{G. V. Chudnovsky} [Prog. Math. 12, 29--69 (1981; Zbl 0455.32004)] conjectured that for \(I\), the homogeneous ideal of any finite set of \(s\) points in \(\mathbb{P}^n\), we have \( \widehat{\alpha}(I)\geq \frac{\alpha(I)+n-1}{n}\), whereas \textit{J. P. Demailly} [Bull. Soc. Math. Fr. 110, 75--102 (1982; Zbl 0493.32003)] conjectured that for all \(m\in \mathbb{N}\) and \(I\) as above the inequality \( \widehat{\alpha}(I)\geq\frac{\alpha(I^{(m)})+n-1}{m+n-1} \) holds. The authors of the present paper generalize the result obtained for very general set od points by \textit{G. Malara} et al. [J. Number Theory 189, 211--219 (2018; Zbl 1391.14015)]. Namely, the authors prove that for \(I,\) the homogeneous ideal of any finite set of \(s\) points in \(\mathbb{P}^n\) and for all \(m\in\mathbb{N}\), the following inequality holds: \[ \frac{\alpha(I^{(m)})+n-1}{m+n-1}\le \sqrt[n]{s}, \] and, if moreover \(\lfloor\sqrt[n]{s}\rfloor-2\ge \frac{2\varepsilon}{n-1}(m-1)\), where \(0\le \varepsilon<1\) is the fractional part of \(\sqrt[n]{s}\), then \[ \frac{\alpha(I^{(m)})+n-1}{m+n-1}\le \lfloor\sqrt[n]{s}\rfloor. \] From this they get that Demailly's conjecture holds for \(s\) very general points in \(\mathbb{P}^n\) as long as \( \lfloor\sqrt[n]{s}\rfloor-2\ge \frac{2\varepsilon}{n-1}(m-1), \) where \(0\le \varepsilon<1\) is the fractional part of \(\sqrt[n]{s}\). In particular, for \(s\) very general points where \(\sqrt[n]{s}\in\mathbb{N}\) Demailly's conjecture holds for all \(m\in\mathbb{N}\). Moreover, \textit{A. Iarrobino} [Compos. Math. 108, No. 3, 319--356 (1997; Zbl 0899.13016)] conjectured that in \(\mathbb{P}^n\) the inequality \(\widehat{\alpha}(I)\geq \sqrt[n]{s}\) holds for ideal \(I\) of \(s\) very general points if \(s\geq \max\{n+7,2^n\}\). The authors observe that Demailly's conjecture holds for \(s\ge\max\{n+7,2^n\}\) very general points in \(\mathbb{P}^n\), if Iarrobino's conjecture holds.