Castelnuovo-Mumford regularity, postulation numbers, and reduction numbers (Q2370136)

From MaRDI portal
Revision as of 06:53, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Castelnuovo-Mumford regularity, postulation numbers, and reduction numbers
scientific article

    Statements

    Castelnuovo-Mumford regularity, postulation numbers, and reduction numbers (English)
    0 references
    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
    0 references
    Castelnuovo-Mumford regularity
    0 references
    postulation number
    0 references
    reduction number
    0 references
    Hilbert function
    0 references

    Identifiers