English

The pinched Veronese is Koszul

Commutative Algebra 2007-05-23 v1 Combinatorics

Abstract

In this paper we prove that the coordinate ring of the pinched Veronese (i.e k[X3,X2Y,XY2,Y3,X2Z,Y2Z,XZ2,YZ2,Z3]k[X,Y,Z]k[X^3,X^2Y,XY^2,Y^3,X^2Z,Y^2Z,XZ^2,YZ^2,Z^3]\subset k[X,Y,Z]) is Koszul. The strategy of the proof is the following: we can consider a presentation S/IS/I where S=k[X1,...,X9]S=k[X_1,...,X_9]. Using a distinguished weight ω\omega, it's enough to show that S/inωIS/in_{\omega}I is Koszul. We write inωIin_{\omega}I as J+HJ+H where JJ is generated by a Gr\"obner basis of quadrics. Finally, we present an extension of the notion of Koszul filtration and we use it to show that (J+H)/J(J+H)/J has a linear free resolution over S/J.S/J. This implies the Koszulness of S/I.S/I.

Cite

@article{arxiv.math/0602487,
  title  = {The pinched Veronese is Koszul},
  author = {Giulio Caviglia},
  journal= {arXiv preprint arXiv:math/0602487},
  year   = {2007}
}

Comments

8 Pages