Gale duality and free resolutions of ideals of points

From MaRDI portal
Publication:1298083

DOI10.1007/S002220050315zbMATH Open0943.13011arXivalg-geom/9606018OpenAlexW2034171999MaRDI QIDQ1298083FDOQ1298083

Sorin Popescu, David Eisenbud

Publication date: 29 September 1999

Published in: Inventiones Mathematicae (Search for Journal in Brave)

Abstract: What is the shape of the free resolution of the ideal of a general set of points in P^r? This question is central to the programme of connecting the geometry of point sets in projective space with the structure of the free resolutions of their ideals. There is a lower bound for the resolution computable from the (known) Hilbert function, and it seemed natural to conjecture that this lower bound would be achieved. This is the ``Minimal Resolution Conjecture (Lorenzini [1987], [1993]). Hirschowitz and Simpson [1994] showed that the conjecture holds when the number of points is large compared with r, but three examples (with r = 6,7,8) discovered computationally by Schreyer in 1993 show that the conjecture fails in general. We describe a novel structure inside the free resolution of a set of points which accounts for the observed failures and provides a counterexample in P^r for every rgeq 6, r eq 9. The geometry behind our construction occurs not in P^r but in a different projective space, in which there is a related set of points, the ``Gale transform (or ``associated set, in the sense of Coble.)


Full work available at URL: https://arxiv.org/abs/alg-geom/9606018




Recommendations





Cited In (23)





This page was built for publication: Gale duality and free resolutions of ideals of points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1298083)