Iarrobino's conjecture on Waldschmidt constants of very general points

Let XX be a very general set of rr points in PN\mathbb{P}^N over a field of characteristic zero, with

rmaxN+5,2N,(r,N)(7,2),(8,2),(9,3).r\geq \max\\{N+5,2^N\\},\qquad (r,N)\notin\\{(7,2),(8,2),(9,3)\\}.

Let I(X)I(X) be the homogeneous ideal of XX, let α(I(X)(n))\alpha(I(X)^{(n)}) denote the least degree of a nonzero form in its nnth symbolic power, and let α^(I(X))\widehat{\alpha}(I(X)) denote its Waldschmidt constant.

Iarrobino's conjecture. For every nNn\in\mathbb{N},

α(I(X)(n))nrN.\alpha(I(X)^{(n)})\geq n\sqrt[N]{r}.

Equivalently, apart from the listed exceptions,

α^(I(X))=rN.\widehat{\alpha}(I(X))=\sqrt[N]{r}.

The conjecture is known in the case r=sNr=s^N, but is open in general.

Sources & referencesView supporting material

Primary source

Michael DiPasquale, Thai Thanh Nguyen and Alexandra Seceleanu, “Duality for asymptotic invariants of graded families”, arXiv:2208.11110 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.