The Gorenstein and complete intersection properties of associated graded rings

Let I be an image-primary ideal of a Noetherian local ring image. We consider the Gorenstein and complete intersection properties of the associated graded ring G(I) and the fiber cone F(I) of I as reflected in their defining ideals as homomorphic images of polynomial rings over R/I and image respectively. In case all the higher conormal modules of I are free over R/I, we observe that: (i) G(I) is Cohen–Macaulay iff F(I) is Cohen–Macaulay, (ii) G(I) is Gorenstein iff both F(I) and R/I are Gorenstein, and (iii) G(I) is a relative complete intersection iff F(I) is a complete intersection. In case image is Gorenstein, we give a necessary and sufficient condition for G(I) to be Gorenstein in terms of residuation of powers of I with respect to a reduction J of I with μ(J)=dimR and the reduction number r of I with respect to J. We prove that G(I) is Gorenstein if and only if image for 0less-than-or-equals, slantiless-than-or-equals, slantr-1. If image is a Gorenstein local ring and image is an ideal having a reduction J with reduction number r such that μ(J)=ht(I)=g>0, we prove that the extended Rees algebra R[It,t-1] is quasi-Gorenstein with a-invariant a if and only if image for every image. If, in addition, dimR=1, we show that G(I) is Gorenstein if and only if image for 1less-than-or-equals, slantiless-than-or-equals, slantr.