The pinched Veronese is Koszul

Abstract: In this paper we prove that the coordinate ring of the pinched Veronese (i.e

k [X^{3}, X^{2} Y, X Y^{2}, Y^{3}, X^{2} Z, Y^{2} Z, X Z^{2}, Y Z^{2}, Z^{3}] s u b s e t 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

o m e g a

, it's enough to show that

S / i n_{o m e g a} I

is Koszul. We write

i n_{o m e g a} 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 .

The author proves that the pinched Veronese is Koszul, i.e. the algebra \(R=k[X^3, X^2Y, XY^2, Y^3, X^2Z, Y^2Z, XZ^2, YZ^2, Z^3]\) is Koszul.

Recommendations

Cites work

Cited in

(18)

Describes a project that uses

Uses Software

This page was built for publication: The pinched Veronese is Koszul