Koszul homology and syzygies of Veronese subalgebras (Q652246)

A classical problem in algebraic geometry and commutative algebra is the study of equations defining projective varieties and of their syzygies. Green and Lazarsfeld introduced an invariant measuring how far a minimal free resolution of an ideal is linear. More precisely, we say that a graded ideal generated in degree \(2\), has a linear resolution if all the terms in the matrix syzygies are linear forms. We say that a standard graded ring \(R\) quotient of the polynomial ring by quadratic polynomials, satisfies the property \(N_p\) (notation used in this paper but the standard notation is \(N_{2,p}\)) if the terms in the first \(p-1\) matrix syzygies are linear. The Green-Lazarsfeld index is the biggest \(p\) such that \(R\) satisfies the property \(N_{2,p}\). To compute the Green-Lazarsfeld index is in general very difficult. This paper concerns the study of the Green-Lazarsfeld index of the Veronese embeddings \(\nu_c: {\mathbb P}^{n-1}\rightarrow {\mathbb P}^{{{n+c}\choose{c}}-1}\), given by all the monomials of degree \(c\) in \(n\) variables. Let \(S\) be a polynomial ring in \(n\) variables and \(S^{(c)}\) be the coordinate ring of the image of \(\nu_c\). The main result in this paper are the folloewing. \(\bullet\) Give a characteristic free proof of the inequality: \[ c\leq \mathrm{index}(S^{(c)})\leq 3c-3, \] extending previous results by Green, Ottaviani and Paoletti. \(\bullet\) \(c+1\leq \mathrm{index}(S^{(c)})\) if \(\mathrm{char}K=0\) or \(\mathrm{char} K>c+1\) \(\bullet\) If \(R\) is a quotient of \(S\) then we can define the Veronese ring \( R^{(c)}\). In this case \(\mathrm{index}(R^{(c)})\geq \mathrm{index}(S^{(c)})\) for every \(c\geq \mathrm{slope}_S(R)\), (see the paper for a precise definition of \( R^{(c)}\) and the slope.)