No label defined (Q4451116)

Let \(K\) be a field. In the present paper, the author studies two homological properties of projective schemes \(X \subset \mathbb P^n\). Let \(R = K[X_0, \dots, X_n]\) be a polynomial ring, \(I\) the defining ideal of \(X\) and \(c\) the height of~\(I\). Then there is an exact sequence \[ 0 \to F_s \to \cdots \to F_1 \to I \to 0 \] such that all \(F_i\) are free. We know that \(s \geq c\) and the equality holds if and only if \(X\) is arithmetically Cohen-Macaulay, that is, \(R/I\) is Cohen-Macaulay. The author shows that, if \(R/I\) is Buchsbaum or quasi-Buchsbaum, then there is an exact sequence \[ 0 \to E_c \to \dots \to E_1 \to I \to 0 \] such that each \(E_i\) is a direct sum of a free module and copies of syzygies of~\(K\). For the entire collection see [Zbl 1020.00012].