zbMATH — the first resource for mathematics

Castelnuovo-Mumford regularity and hyperplane sections. (English) Zbl 0816.14023
Let \(X \subset \mathbb{P}^ n\) be a projective variety and \({\mathcal I}_ X\) the ideal sheaf of \(X\) in \(\mathbb{P}^ n\). One says that \(X\) is \(k\)-regular if \(H^ i (\mathbb{P}^ n, {\mathcal I}_ X (k-i)) = 0\) for all \(i \geq 1\). The Castelnuovo-Mumford regularity \(\text{reg} (X)\) of \(X \subset \mathbb{P}^ n\) is the last such \(k\). Bounds on the regularity of \(X\) are important in connection with algorithms for computing syzygies and this accounts for some of the recent interest in this question.
There is a classical technique aimed at bounding \(\text{reg} (X)\) by studying \(H^ i (\mathbb{P}^ n, {\mathcal I}_{X \cap H})\) for a hyperplane section \(X \cap H\) of \(X\). By using this method (corollaries 1 and 2.3), in the present paper the authors give a new bound for \(\text{reg} (X)\) of arithmetically quasi-Buchsbaum varieties \(X \subset \mathbb{P}^ n\), in terms of their invariants (corollary 2). Recall that \(X\) is said to be arithmetically quasi-Buchsbaum if \(\bigoplus_{p \in \mathbb{Z}} H^ i (\mathbb{P}^ n, {\mathcal I}_ X (p))\) is annihilated by \((x_ 0, \dots, x_ n)\) for all \(1 \leq i \leq \dim X\). The authors obtain this result in a general form (proposition 3.6), as special case of their investigation of \((k,r)\)-Buchsbaum modules (see definition 1.1), from which they deduce other new bounds on the regularity, improve some old result and, in some case, provide better bounds as expected (e.g. theorems 3.4 and 3.8 and their example on p. 349).

14N05 Projective techniques in algebraic geometry
14C17 Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry
14F17 Vanishing theorems in algebraic geometry
14M05 Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal)
13D02 Syzygies, resolutions, complexes and commutative rings
Full Text: DOI