{"id":"palomar/PALOMAR-2026-10-12-000009","url":"https://github.com/Vlado-V/chopped-plane-point-ideals/tree/4200d41342404e66f177d067763c0d1c1dd2d768","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-12-000009-v1.json","repo":"https://github.com/Vlado-V/chopped-plane-point-ideals","tags":["math.AG","math.AC","msc:13D40","msc:13D02","msc:14N05","algebraic-geometry","commutative-algebra","hilbert-functions","lean"],"score":0,"title":"Hilbert functions of chopped ideals of general plane points","trust":"high","domain":"math.AG","source":"palomar","authors":["Vlado Vojdanovski"],"reviews":0,"subject":"math.AG","summary":"Formalizes Theorem 1.1 and Corollary 5.1 of Hilbert Functions of Chopped Ideals of General Plane Points over arbitrary characteristic-zero fields: the full Hilbert function of degree-d chopped point ideals, the regular-sequence cases, the least stabilization degree, and the Expected Syzygy Conjecture.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-12","reactions":{},"formalized":true,"formalizes":[{"title":"Hilbert Functions of Chopped Ideals of General Plane Points","identifier":"","relationship":"formalizes"}]}