On the multiplicity and the Cohen-Macaulayness of fiber cones of graded algebras (Q1030703)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the multiplicity and the Cohen-Macaulayness of fiber cones of graded algebras
scientific article

    Statements

    On the multiplicity and the Cohen-Macaulayness of fiber cones of graded algebras (English)
    0 references
    0 references
    2 July 2009
    0 references
    The author investigates factor rings of the form \(S/JS\), where \(S\) is a standard graded algebra over a local ring \((A,{\mathfrak m})\) and \(J\) is an \(\mathfrak m\)-primary ideal. In the case \(S\) is the Rees algebra of some ideal \(I\) of \(A\) and \(J = {\mathfrak m}\), then \(S/JS\) is the fiber cone of \(I\). The main results of this paper are a formula for the multiplicity and a criterion for the Cohen-Macaulayness of \(S/JS\) in terms of a minimal reduction \(P = (x_1,\dots ,x_\ell)\) of \(S\), which involves the subideal \(Q = (x_1,\dots ,x_{\ell-1})\) and the reduction number of \(P\). Reviewer's remark: These results assume that \(P\) is generated by a weak-(\(FC\)) sequence, a notion defined by using certain Artin-Rees relation plus the condition that the sequence is filter-regular. This makes the proofs much more complicated than it should be. In fact, the main results of this paper are consequences of the following easy facts. First, since these results are formulated modulo the ideal \(JS\), one can assume that \(J = 0\) so that \(A\) is a local ring of finite length. Let \(x_1,\dots ,x_\ell\) be a filter-regular sequence. Then \(e(S) = \ell\big((S/Q:S_+^\infty)_n\big)\) for \(n \geq r_P(S)\) and \(S\) is Cohen-Macaulay if and ony if \(Q:S_+^\infty = Q\). The main results of the paper can be deduced by translating these facts to the setting \(S/JS\) by a few lines. Moreover, the corollaries of the main results are artificially complicated. For instance, the author proves that if \({\mathfrak q} = (a_1,\dots ,a_d)\) is a parameter ideal and \(a_1,\dots ,a_d\) is a weak-(\(FC\)) sequence with respect \(({\mathfrak q}, R({\mathfrak q})^+)\), then \[ \ell(A/{\mathfrak q}) - e({\mathfrak q}) = \lim_{n\to \infty} \ell\left({(a_1,\dots ,a_{d-1}){\mathfrak q}^n:{\mathfrak q}^{n+1}}\over{{\mathfrak q}\cap ((a_1,\dots ,a_{d-1}){\mathfrak q}^n:{\mathfrak q}^{n+1})}\right). \] However, if one only requires that \(a_1,\dots ,a_d\) is a filter-regular sequence, then \[ \ell(A/{\mathfrak q}) - e({\mathfrak q}) = \ell\left({(a_1,\dots ,a_{d-1}):a_d}\over{(a_1,\dots ,a_{d-1})}\right). \] Another corollary is that if \(\ell(S_+) = 1\), then the Veronese subring \((S/{\mathfrak m}S)^{(T)}\) is Cohen-Macaulay for \(T \gg 0\). But this is an immediate consequence of the trivial fact that if \(A\) is of finite length and \(\dim S = 1\), the Veronese subring \(S^{(T)}\) is Cohen-Macaulay for \(T \gg 0\).
    0 references
    multiplicity
    0 references
    Cohen-Macaulayness
    0 references
    graded algebra
    0 references
    reduction
    0 references
    fiber cone
    0 references

    Identifiers