Mathematics – Commutative Algebra
Scientific paper
1996-06-28
Mathematics
Commutative Algebra
25 pages, plain TeX, author-supplied DVI file available at http://www.math.columbia.edu/~psorin/eprints/gale.dvi . This versio
Scientific paper
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 r\geq 6, r\neq 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.)
Eisenbud David
Popescu Sorin
No associations
LandOfFree
Gale Duality and Free Resolutions of Ideals of Points does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Gale Duality and Free Resolutions of Ideals of Points, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Gale Duality and Free Resolutions of Ideals of Points will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-150024