{"id":"arxiv/2609.16337","url":"https://arxiv.org/abs/2609.16337","tags":["math.AG"],"score":0,"title":"Demailly's Inequality for Finite Sets of Points in Positive Characteristic","domain":"math.AG","source":"arxiv","authors":["Piotr Pokora","Tomasz Szemberg"],"reviews":0,"subject":"math.AG","summary":"Let $k$ be an algebraically closed field of characteristic $p>0$, $n\\ge1$, and let $X\\subset \\mathbb P^n_k$ be a finite nonempty set of distinct points with the defining ideal $I=I(X)$. We give a proof of Demailly's inequality in positive characteristic. The argument is based on the Frobenius--Hasse derivative method used in this context by Hà and Sivakumar. The key additional observation is a strict-growth lemma for the initial degrees of symbolic powers of a finite set of affine points: $$ α(J^{(t)})\\ge α(J^{(t-1)})+1\\qquad(t\\ge1). $$ In characteristic $p$, if a minimum-degree polynomial…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}