Castelnuovo-Mumford regularity, postulation numbers, and reduction numbers (Q2370136)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Castelnuovo-Mumford regularity, postulation numbers, and reduction numbers |
scientific article; zbMATH DE number 5166610
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Castelnuovo-Mumford regularity, postulation numbers, and reduction numbers |
scientific article; zbMATH DE number 5166610 |
Statements
Castelnuovo-Mumford regularity, postulation numbers, and reduction numbers (English)
0 references
22 June 2007
0 references
Let \(G\) be a standard graded ring over an infinite field and let \(p(G)\) denote the postulation number of \(G\). In section 2, the author gives the lower bound for the regularity of \(G\), \(\text{reg}\,G \geq p(G) + \text{grade}\,G_+ + 1\), under some conditions on the Hilbert series, the depth and the dimension of \(G\). He also presents a class of examples in \(\dim G = 1\) where \(p(G)=0\) and \(\text{reg}\,G\) can take on any value between 1 and the embedding codimension of \(G\). In section 3, the author treats the case of \(G = \text{gr}_I(R)\) where \((R,\mathbf m)\) is a Cohen-Macaulay local ring with infinite residue field and \(I\) is an \(\mathbf m\)-primary ideal. The main result is as follows: If \(d = \dim R \geq 2\) and \(\text{grade}\,G_+ = d-2\), then \(\text{reg}\,G = \max\{ p(G)+d-1 , r_J(I) \}\) where \(J\) is an arbitrary minimal reduction of \(I\) and \(r_J(I)\) is the reduction number. As applications, alternate proofs of results due to \textit{Y. Wu} [Math. Proc. Camb. Philos. Soc. 111, No.~1, 47--56 (1992; Zbl 0758.13012)] and \textit{L. T. Hoa} [Acta Math. Vietnam. 21, No.~2, 335--347 (1996; Zbl 0885.13010)] are given, and the following is shown: If \(d \leq 2\), \(G = \text{gr}_{\mathbf m}(R)\) and \(\text{reg}\,G \geq p(G)+d\), then \(r(\mathbf m) = r_J(\mathbf m)\) for all minimal reduction \(J\) of \(\mathbf m\).
0 references
Castelnuovo-Mumford regularity
0 references
postulation number
0 references
reduction number
0 references
Hilbert function
0 references
0 references
0.74730754
0 references
0.73604846
0 references
0.7350192
0 references
0.7346801
0 references
0.73440784
0 references
0.73281974
0 references
0.7308872
0 references
0.72894025
0 references
0.7210654
0 references