Castelnuovo's regularity and multiplicity
type: Item
instance of: scholarly article
title: Castelnuovo's regularity and multiplicity
zbMATH Open document ID: 0666.13012
DOI: 10.1007/BF01457149
author: J. Stückrad
author: Wolfgang Vogel
published in: Mathematische Annalen
publication date: 1988-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/164425
review text: The main result connects several invariants of an equidimensional locally Cohen-Macaulay graded \(K\)-algebra of dimension \(d\geq 1\) and an ideal \(\mathfrak q\) generated by a system of parameters of degree \(1\): \[ \text{length}(A/{\mathfrak q})-e_ 0({\mathfrak q};A)-\text{reg}(A/{\mathfrak q})\leq I(A)- \text{reg}(A), \tag{*} \] where \(e_ 0\) denotes multiplicity, \(I(A)=\sum^{d-1}_{j=0}\binom{d-1}{j}\text{length}(H^ j_{{\mathfrak m}}(A))\) (\(\mathfrak m\) the irrelevant maximal ideal), and \(\text{reg}(A)\) is the Castelnuovo regularity, i.e. the smallest number \(m\) such that the \(j\)-th syzygy module of \(\mathfrak a\) is generated by elements of degree \(m+j\), \(A\) being given in the form \(S/\mathfrak a\), \(S=K[X_ 0,\ldots,X_ n]\). Moreover it is shown that one has equality above if \(A\) is Buchsbaum, and that equality for every \(\mathfrak q\) implies that \(A/H^ 0_{{\mathfrak m}}(A)\) is Buchsbaum. As an application the authors give a bound on \(\text{reg}(A)\) (and thus on the degrees of the generators of the syzygies of \(A\)) in the following manner: Let \(A=S/\mathfrak a\) as above and \([\mathfrak a]_ i=0\) in degrees \(i\leq t\); then \[ \text{reg}(A)\leq \deg(\mathfrak a)-\binom{t+\text{codim}(\mathfrak a)}{ t}+t+I(A). \] Under the slightly stronger hypothesis that \(A\) is arithmetically Cohen-Macaulay, this result has been previously proved by \textit{P. Maroscia} and the authors [Math. Ann. 277, 53--65 (1987; Zbl 0634.14029)]. Furthermore for \(\dim(A)=1\) a precise condition on \(H^ 0_{\mathfrak m}(A)\) is given under which one has equality in (*) for all \(\mathfrak q\). The paper concludes with several examples which show for example that equality in (*) for some \(\mathfrak q\) does not force \(A\) to be Buchsbaum and that \(A/H^ 0_{\mathfrak m}(A)\) being Buchsbaum does not imply equality in (*) for all \(\mathfrak q\).
reviewed by: Winfried Bruns
Mathematics Subject Classification ID: 13H10
Mathematics Subject Classification ID: 14M05
Mathematics Subject Classification ID: 13H15
Mathematics Subject Classification ID: 13H05
zbMATH DE Number: 4089691
zbMATH Keywords: invariants of an equidimensional locally Cohen-Macaulay graded algebra
zbMATH Keywords: Buchsbaum ring
zbMATH Keywords: multiplicity
zbMATH Keywords: Castelnuovo regularity
MaRDI profile type: Publication
cites work: On the structure of arithmetically Buchsbaum curves in \(P^ 3_ k\)
cites work: Codimension and multiplicity
cites work: Q3735862
cites work: A criterion for detecting m-regularity
cites work: Linear free resolutions and minimal multiplicity
cites work: On Rees algebras over Buchsbaum rings
cites work: Q5789115
cites work: On a theorem of Castelnuovo, and the equations defining space curves
cites work: Upper bounds for the degrees of the equations defining locally Cohen- Macaulay schemes
cites work: Lectures on Curves on an Algebraic Surface. (AM-59)
cites work: Castelnuovo's regularity of graded rings and modules
cites work: A Castelnuovo bound for smooth surfaces
cites work: Q4177688
cites work: Q3744270
cites work: Castenuovo bounds for certain subvarieties in \({\mathbb{P}}^ n\)
cites work: Castelnuovo Bounds for Locally Cohen-Macaulay Schemes
cites work: On equations defining arithmetically Cohen-Macaulay schemes. II
cites work: Toward a theory of generalized Cohen-Macaulay modules
cites work: Degree bounds for the defining equations of arithmetically Cohen-Macalay varieties
cites work: Q5732721
description: scientific article; zbMATH DE number 4089691