Castelnuovo-Mumford regularity and hyperplane sections (Q1320185)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Castelnuovo-Mumford regularity and hyperplane sections |
scientific article |
Statements
Castelnuovo-Mumford regularity and hyperplane sections (English)
0 references
10 July 1995
0 references
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).
0 references
hyperplane sections
0 references
Cohen-Macaulay varieties
0 references
local cohomology
0 references
arithmetically quasi-Buchsbaum variety
0 references
Buchsbaum modules
0 references
Castelnuovo- Mumford regularity
0 references
syzygies
0 references