Graded Cohen-Macaulay rings associated to equimultiple ideals (Q794715): Difference between revisions

For studying the blowing up \(Bl_ I(R)\) of a local ring R with center I, an ideal of R, it is useful to investigate the properties of the associated graded ring \(gr_ IR\) and the two types of Rees rings R[It] and \(R[It,t^{-1}]\). The fundamental problem of this paper is the following question: Given any local Cohen-Macaulay-ring R and an equimultiple ideal \(I\subset R\) (i.e. \(height\quad of\quad I=analytic\quad spread\quad of\quad I),\) when does it hold that (a) \(Bl_ I(R)\) is Cohen-Macaulay (CM); (b) \(gr_ IR\) is CM; (c) \(R[It,t^{-1}]\) is CM; (d) R[It] is CM, and how are the relations between these properties. We obtain two types of results, some of general nature for questions (b), (c) and (d), and some under restriction of multiplicity. The main result (s. theorem 4.8) of the first type shows that for a CM-ring R property (d) is equivalent to (b) together with a condition on reductions on I. For hypersurfaces (R,\({\mathfrak m})\) and \(I={\mathfrak m}\) the last condition means \(e(R)\leq \dim R,\) where e(R) is the Samuel-multiplicity of R. Corresponding to this fact we put suitable restrictions to e(R) and e(R/I) to obtain special answers to our starting questions (see {\S} 5). Meanwhile there are some related results in the case where either the ground ring R is not Cohen-Macaulay or the ideal I is not equimultiple.