{"id":"palomar/PALOMAR-2026-10-13-000002","url":"https://github.com/Vlado-V/expected-syzygies-froberg/tree/9ec827c013a06e04623314cb1893d3dde52fcbbc","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-13-000002-v1.json","repo":"https://github.com/Vlado-V/expected-syzygies-froberg","tags":["math.AC","math.AG","msc:13D40","msc:13D02","msc:14N05","algebraic-geometry","syzygies","lean"],"score":0,"title":"Expected syzygies and Fröberg’s conjecture through degree 2d","trust":"high","domain":"math.AC","source":"palomar","authors":["Vlado Vojdanovski"],"reviews":0,"subject":"math.AC","summary":"Formalizes Theorem 1.1 of Expected Syzygies and Fröberg’s Conjecture through Degree 2d: assuming the Expected Syzygy Conjecture over a characteristic-zero field, general degree-d forms have the positively truncated Hilbert function predicted by Fröberg’s conjecture in every degree through 2d. The implication holds for every positive number of variables and degree and every number of generators, with one common nonempty open set for all the stated degrees.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-13","reactions":{},"formalized":true,"formalizes":[{"title":"Expected Syzygies and Fröberg’s Conjecture through Degree 2d","identifier":"","relationship":"formalizes"}]}