Gorenstein graded rings associated to ideals (Q2583025): Difference between revisions

Let \(A\) be a Gorenstein local ring with \(\dim A= d\) and \(I\) a height unmixed ideal of \(A\) with \(\text{ht}(I)= s> 0\). Let \(J\) be a reduction of \(I\) which is generated by a basic generating set \(\{a_1,a_2,\dots, a_l\}\), which means that \(J_iA_q\) is a reduction of \(IA_q\) for all \(q\in V(I)\), with \(i= \text{ht}(q)< 1\), where \(J_i= (a_1,a_2,\dots, a_i)\). The main theorem of this paper states that if \(I\) satisfies the condition \(\text{depth\,}A/(I^i+ J_s)\geq\min\{d- s, d- s +n- i\}\) for all \(1\leq i\leq n-2+l\), then the associated graded ring \(G(I)= \bigoplus_{i\geq 0} I^i/I^{i+1}\) of \(I\) is Gorenstein if and only if the following four conditions are satisfied: (1) \(r_J(I)\leq n- s+ 1\), (2) \(J_s\cap I^i= J_s I^{i-1}\) for all \(1\leq i\leq n\), (3) \((J_i: a_{i+1})\cap I^{n-s+i+1}= J_i I^{n-s+1}\) for all \(s\leq i< l\), (4) \((J^n_s: I^n)\subset I^n\). Here \(r_J(I)\) is the reduction number of \(I\) with respect to \(J\). A similar result is obtained in the case \(s= 0\), to which the above theorem is reduced. Finally another criterion for the Gorenstein property of \(G(I)\) is obtained when the condition on the depth is weaker than the above theorem.