From Demailly's Inequality to Harbourne--Huneke Containments for General Points
Abstract
Let I be the defining ideal of a general set of s points in projective N-space over an algebraically closed field. Harbourne and Huneke conjectured the strengthened symbolic containment I(Nr)⊆ mr(N−1)Ir for every r≥ 1. For general points this was known in low dimension and for small numbers of points, while in arbitrary dimension and arbitrary cardinality the best general result was the stable version, valid on one dense Zariski-open set for all sufficiently large r. We show that the recent proof of Demailly's conjecture for arbitrary finite point sets by Hà and Sivakumar removes the stability threshold. The key observation is that the strict generic Waldschmidt estimate of Bisui and Nguyen allows one to select a single finite symbolic level m0. Equality of the corresponding interpolation number is a Zariski-open condition. Demailly's inequality then propagates this one finite condition to lower bounds for every symbolic power, and a standard regularity criterion converts those bounds into the Harbourne--Huneke containment for every r. Consequently, for every N≥2 and every s≥1, one dense Zariski-open family of s-point configurations in ℙN satisfies the Harbourne--Huneke containment simultaneously for all r≥ 1. The argument also clarifies a quantifier issue in the earlier literature: before the full Demailly theorem, estimates on the generic fibre naturally yielded either all r on a very general set, or one open set only for r≫ 0. The new theorem replaces infinitely many symbolic conditions by a single finite interpolation condition.
Related
- Demailly's Inequality for Finite Sets of Points in Positive Characteristic
- A Multidimensional Hilbert-Type Integral Inequality with the General Nonhomogeneous Kernel and Multiple Lower Limit Function
- A General Inequality for Walks in Graphs
- Endpoint Lorentz Inequality for Riesz Potentials with Respect to General Measures
- A quantitative inequality for general area-minimizing hypercones
BibTeX
@misc{malara2026from,
title = {{From Demailly's Inequality to Harbourne--Huneke Containments for General Points}},
author = {Grzegorz Malara},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.08335},
eprint = {2610.08335},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.08335},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - From Demailly's Inequality to Harbourne--Huneke Containments for General Points
AU - Grzegorz Malara
PY - 2026
DA - 2026/10/06
PB - arXiv
DO - 10.48550/arxiv.2610.08335
UR - https://arxiv.org/abs/2610.08335
AB - Let I be the defining ideal of a general set of s points in projective N-space over an algebraically closed field. Harbourne and Huneke conjectured the strengthened symbolic containment I^(Nr)⊆ m^r(N−1)I^r for every r≥ 1. For general points this was known in low dimension and for small numbers of points, while in arbitrary dimension and arbitrary cardinality the best general result was the stable version, valid on one dense Zariski-open set for all sufficiently large r. We show that the recent proof of Demailly's conjecture for arbitrary finite point sets by Hà and Sivakumar removes the stability threshold. The key observation is that the strict generic Waldschmidt estimate of Bisui and Nguyen allows one to select a single finite symbolic level m_0. Equality of the corresponding interpolation number is a Zariski-open condition. Demailly's inequality then propagates this one finite condition to lower bounds for every symbolic power, and a standard regularity criterion converts those bounds into the Harbourne--Huneke containment for every r. Consequently, for every N≥2 and every s≥1, one dense Zariski-open family of s-point configurations in ℙ^N satisfies the Harbourne--Huneke containment simultaneously for all r≥ 1. The argument also clarifies a quantifier issue in the earlier literature: before the full Demailly theorem, estimates on the generic fibre naturally yielded either all r on a very general set, or one open set only for r≫ 0. The new theorem replaces infinitely many symbolic conditions by a single finite interpolation condition.
ER -