Sequences and \(\text{Ker}(R[X_1,\dots,X_g]\to R[tI])\) (Q1376306): Difference between revisions

Let \(I=(b_1, \dots, b_g)R\) \((g\geq 2)\) be an ideal in a Noetherian ring \(R\) and let \(K\) be the kernel of the natural homomorphism from \(R_g= R[X_1, \dots, X_g]\) onto \(S =R[tI]\) (the restricted Rees ring of \(R\) with respect to \(I)\), and let \(J=(\{b_iX_j-b_jX_i \mid 1 \leq i<j \leq g\})R_g\). \textit{A. Micali} [Ann. Inst. Fourier 14, No. 2, 33-88 (1964; Zbl 0152.02602)] showed that if \(b_1, \dots, b_g\) is an \(R\)-sequence, then \(K=J\), and that the converse holds if \(R\) is an integral domain. Also, \textit{D. Rees} showed [Math. Proc. Camb. Philos. Soc. 98, 33-35 (1985; Zbl 0578.13006)] that if \(\text{ht} (b_1, \dots, b_g)R =g\geq 2\) and \(R\) is a quasi-unmixed local ring, then \(K_a= J_a\) (where \(L_a\) denotes the integral closure of the ideal \(L)\) and \(\text{Ass} (R_g/(J^n)_a) =\text{Ass} (R_g/K_a)\) for all \(n\geq 1\). In the latter case McAdam has shown that \((b_1, \dots, b_g)\) is generated by an asymptotic sequence. The main result of this paper strengthens these two results by showing that if \(b_1, \dots, b_g\) is an \(R\)-sequence, then \(K=J\) and for all \(n\geq 1\), \(\text{Ass} (R_g/J^n) = \text{Ass} (R_g/K)\); and if \(b_1, \dots, b_g\) is an asymptotic sequence, then \(K_a =J_a\) and for all \(n\geq 1\), \[ \text{Ass} (R_g/(J^n)_a) =\text{Ass} (R_g/K_a) =\{P\mid P\text{ is a minimal prime divisor of }K\}. \]