pith. sign in

arxiv: math/0602487 · v1 · submitted 2006-02-22 · 🧮 math.AC · math.CO

The pinched Veronese is Koszul

classification 🧮 math.AC math.CO
keywords koszulomegapinchedveronesebasisconsidercoordinatedistinguished
0
0 comments X
read the original abstract

In this paper we prove that the coordinate ring of the pinched Veronese (i.e $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/I$ where $S=k[X_1,...,X_9]$. Using a distinguished weight $\omega$, it's enough to show that $S/in_{\omega}I$ is Koszul. We write $in_{\omega}I$ as $J+H$ where $J$ 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$ has a linear free resolution over $S/J.$ This implies the Koszulness of $S/I.$

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.