Local complete intersections in $\mathbb {P}^2$ and Koszul syzygies
HTML articles powered by AMS MathViewer
- by David Cox and Hal Schenck PDF
- Proc. Amer. Math. Soc. 131 (2003), 2007-2014 Request permission
Abstract:
We study the syzygies of a codimension two ideal $I=\langle f_1,f_2,f_3\rangle \subseteq k[x,y,z]$. Our main result is that the module of syzygies vanishing (scheme-theoretically) at the zero locus $Z = {\mathbf V}(I)$ is generated by the Koszul syzygies iff $Z$ is a local complete intersection. The proof uses a characterization of complete intersections due to Herzog. When $I$ is saturated, we relate our theorem to results of Weyman and Simis and Vasconcelos. We conclude with an example of how our theorem fails for four generated local complete intersections in $k[x,y,z]$ and we discuss generalizations to higher dimensions.References
- David A. Buchsbaum and David Eisenbud, What makes a complex exact?, J. Algebra 25 (1973), 259–268. MR 314819, DOI 10.1016/0021-8693(73)90044-6
- David A. Cox, Equations of parametric curves and surfaces via syzygies, Symbolic computation: solving equations in algebra, geometry, and engineering (South Hadley, MA, 2000) Contemp. Math., vol. 286, Amer. Math. Soc., Providence, RI, 2001, pp. 1–20. MR 1874268, DOI 10.1090/conm/286/04751
- David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995. With a view toward algebraic geometry. MR 1322960, DOI 10.1007/978-1-4612-5350-1
- Jürgen Herzog, Ein Cohen-Macaulay-Kriterium mit Anwendungen auf den Konormalenmodul und den Differentialmodul, Math. Z. 163 (1978), no. 2, 149–162 (German). MR 512469, DOI 10.1007/BF01214062
- Peter Orlik and Hiroaki Terao, Arrangements of hyperplanes, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 300, Springer-Verlag, Berlin, 1992. MR 1217488, DOI 10.1007/978-3-662-02772-1
- A. Simis and W. V. Vasconcelos, The syzygies of the conormal module, Amer. J. Math. 103 (1981), no. 2, 203–224. MR 610474, DOI 10.2307/2374214
- Jerzy Weyman, Resolutions of the exterior and symmetric powers of a module, J. Algebra 58 (1979), no. 2, 333–341. MR 540642, DOI 10.1016/0021-8693(79)90164-9
Additional Information
- David Cox
- Affiliation: Department of Mathematics and Computer Science, Amherst College, Amherst, Massachusetts 01002-5000
- MR Author ID: 205908
- Email: dac@cs.amherst.edu
- Hal Schenck
- Affiliation: Department of Mathematics, Harvard University, Cambridge, Massachusetts 02138
- Address at time of publication: Department of Mathematics, Texas A&M University, College Station, Texas 77843
- MR Author ID: 621581
- Email: schenck@math.tamu.edu
- Received by editor(s): May 29, 2001
- Received by editor(s) in revised form: February 7, 2002
- Published electronically: November 6, 2002
- Additional Notes: The second author was supported by an NSF postdoctoral research fellowship
- Communicated by: Michael Stillman
- © Copyright 2002 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 131 (2003), 2007-2014
- MSC (1991): Primary 14Q10; Secondary 13D02, 14Q05, 65D17
- DOI: https://doi.org/10.1090/S0002-9939-02-06804-1
- MathSciNet review: 1963743