Coefficient ideals of powers of ideals

Let \((R,\mathfrak m, k, d)\) be a Noetherian local ring with unique maximal ideal \(\mathfrak m\) having dimension \(d\) and residue field \(k.\) Let \(\overline{I}\) denote the integral closure of an \(R\)-ideal \(I\) with analytic spread \(s\) and let \(q(I)=\overline{I}\cap I^{sat}\). Here \(I^{sat}\) is defined as \(I^{sat}=\cup_{n\geq 1}(I:\mathfrak m^n).\) \textit{J. Herzog} et al. [Math. Proc. Camb. Philos. Soc. 145, No. 3, 623--642 (2008; Zbl 1157.13013)] proved that there are unique largest ideals \(I\subset I_j\subset I_{j-1} \subset \ldots \subset I_1\subset q(I)\) so that for all \(j,\) \(\ell(I_j/I)< \infty,\) and \(\ell((I_j)^n/I^n)\) is a polynomial in \(n\) for all large \(n\) of degree atmost \(s-j-1.\) The ideals \(I_j\) are called the coefficient ideals. This notion was introduced by \textit{K. Shah} for \(\mathfrak m\)-primary ideals [Trans. Am. Math. Soc. 327, No. 1, 373--384 (1991; Zbl 0738.13007)]. The results in this paper are about behaviour of powers of \(I_j.\) Let \(R\) be quasi-unmixed and \(k\) be infinite. It is proved that there is an integer \(t\) such that \((I^n)_j:I^{nt}=(I^n)_j: I^{nt+1}\) for all \(I,n\) and \(j.\) If \(J\) is a reduction of \(I\) then for all \(n,r,j\) \([(I^{n+r})_j:J^r]\cap (I^n)^{sat}=(I^n)_j.\) Let \(I\) be a monomial \(\mathfrak m\)-primary ideal of a polynomial ring over a field with maximal homogeneous ideal \(\mathfrak m.\) It is proved that for all \(n,\) \(I((I^n)_j:\mathfrak m )\subset (I^{n+1})_j:\mathfrak m\) and equality holds for all large \(n\).

Cites work

This page was built for publication: Coefficient ideals of powers of ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6988450)