{"id":"palomar/PALOMAR-2026-10-28-000024","url":"https://github.com/Vlado-V/natural-cohomology-steiner/tree/d557f602d8f083eceef3c625f9bcee5b6d2beefc","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-28-000024-v1.json","repo":"https://github.com/Vlado-V/natural-cohomology-steiner","tags":["math.AG","math.AC","msc:14F06","msc:14J60","msc:13D02"],"score":0,"title":"Natural cohomology of general Steiner bundles","trust":"high","domain":"math.AG","source":"palomar","authors":["Vlado Vojdanovski"],"reviews":0,"subject":"math.AG","summary":"Formalizes Theorem 1.1 of Natural Cohomology of General Steiner Bundles. Over every characteristic-zero field, for all n >= 1, t >= 1, and r >= n, a nonempty principal open of t by (t+r) matrices of linear forms on projective n-space has maximal rank in every homogeneous degree. The transposes give exact Steiner presentations of actual rank-r locally free sheaves, whose integer twists each have at most one nonzero sheaf cohomology group. The coefficient open is nonempty over the original field.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-28","reactions":{},"formalized":true,"formalizes":[{"title":"Natural cohomology of general Steiner bundles","identifier":"Natural_cohomology_of_general_Steiner_bundles.pdf","relationship":"formalizes"}]}