Rees algebras of parameter ideals (Q584329)

Main result: Let (R,\({\mathfrak m})\) be a local Cohen-Macaulay ring of dimension \(d\geq 2\). Let I be a parameter ideal of R and let M denote the maximal homogeneous ideal of the Rees algebra R[It]. Then the following conditions are equivalent: (a) \(R[It]_ M\) is Cohen-Macaulay with minimal multiplicity. (b) \(e(R[It]_ M)=d.\) (c) R is a regular local ring and \(\ell (I+{\mathfrak m}^ 2/{\mathfrak m}^ 2)\geq d-1.\) (d) R[It] is normal. The equivalence between (c) and (d) was already known by Goto's study on complete intersection ideals which are integrally closed [\textit{S. Goto}, J. Algebra 108, 151-160 (1987; Zbl 0629.13004)]. The approach of this paper is different and interesting. It uses results on mixed multiplicities; see also the author's other paper on this topic [Proc. Amer. Math. Soc. 104, No.4, 1036-1044 (1988; see the following review)].