Cohen-Macaulay Rees algebras of ideals having analytic deviation two (Q1345472)

From MaRDI portal
Revision as of 18:30, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Cohen-Macaulay Rees algebras of ideals having analytic deviation two
scientific article

    Statements

    Cohen-Macaulay Rees algebras of ideals having analytic deviation two (English)
    0 references
    0 references
    0 references
    14 May 1995
    0 references
    Let \(I\) be an ideal in a Gorenstein local ring \(A\) with infinite residue class field. We assume that (i) \(A/I\) is a Cohen-Macaulay ring, (ii) \(s = \text{ht}_ AI > 0\) and \(IA_ P\) is generated by an \(A_ P\)-regular sequence of length \(s\) for all \(P \in \text{Spec} A\) such that \(P \supseteq I\) and \(\dim A_ P \leq s + 1\), and (iii) the analytic spread of \(I\) is equal to \(s + 2\). We investigate the Cohen-Macaulay property of the Rees algebra \(R(I) = \oplus_{n \geq 0} I^ n\) of \(I\) under these assumptions. Let \(J\) be a minimal reduction of \(I\). In this paper, it is shown that \(R(I)\) is Cohen-Macaulay if and only if the associated graded ring \(G(I) = \oplus_{n \geq 0} I^ n/I^{n + 1}\) is Cohen-Macaulay and the equality \(I^{s+2} = JI^{s+1}\) holds, which can be regarded as an analytic deviation 2 version of the result by the first author and \textit{S. Huckaba} [Am. J. Math. 116, No. 4, 905-919 (1994; Zbl 0803.13002)]. And then, it is shown that \(R(I)\) is Cohen-Macaulay if and only if depth \(A/I^ 2 \geq \dim A/I - 2\) under the assumption that \(I^ 3 = JI^ 2\).
    0 references
    0 references
    associated graded rings
    0 references
    \(a\)-invariant
    0 references
    Gorenstein local ring
    0 references
    Cohen- Macaulay property
    0 references
    Rees algebra
    0 references
    analytic deviation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references