scientific article; zbMATH DE number 2046154

Publication date 23 February 2004

Full work available at URL https://arxiv.org/abs/math/0212217

arithmetically Buchsbaum scheme Castelnuovo-Mumford regularity local cohomology quasi-Buchsbaum scheme

Syzygies, resolutions, complexes and commutative rings (13D02) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Local cohomology and algebraic geometry (14B15) Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) (14M05)

Review text

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].

Recommendations

Cited in

(5)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4451116)