{"id":"arxiv/2609.06767","url":"https://arxiv.org/abs/2609.06767","tags":["math.AC","math.AG"],"score":0,"title":"Frobenius dilation of Hilbert function, Demailly's conjecture, and varieties of powers","domain":"math.AC","source":"arxiv","authors":["Trung Hoa Dinh","Tai Huy Ha"],"reviews":0,"subject":"math.AC","summary":"We prove a Frobenius-dilation inequality for Hilbert functions of ideals generated by powers of fixed homogeneous forms in characteristic zero. Via Emsalem--Iarrobino inverse system duality, it yields quantitative fat-point postulation estimates and a new proof of the recent theorem of Ha--Sivakumar resolving Demailly's conjecture for arbitrary finite point sets. A fixed-characteristic version controls tangent spaces to varieties of powers and, together with plane interpolation and secant-theoretic results, proves complete nondefectivity of $V^k_{2,d}$ for all $k\\ge3$ and $d\\ge2$; in…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-06","reactions":{}}