Different approaches of coefficient ideals (Q2139545)

Let \((R,\mathfrak{m})\) be a \(d\)-dimensional quasi-unmixed local ring with infinite residue field \(k=R/{\mathfrak{m}}\). Let \(I\) be an \(\mathfrak m\)-primary ideal. It was proved by \textit{K. Shah} [Trans. Am. Math. Soc. 327, No. 1, 373--384 (1991; Zbl 0738.13007)] that there are unique largest ideals \(I_k\) such that \(e_i(I)=e_i(I_k)\) for \(i=0,1,\ldots,k\). Here \(e_i(I)\) denotes the \(i^{th}\) Hilbert-Samuel coefficient of \(I\). Moreover \(I\subseteq I_d\subseteq I_{d-1}\subseteq \cdots \subseteq I_1\subseteq \bar{I}\) where \(\bar{I}\) denotes the integral closure of \(I\). When \(I\) contains a regular element then \(I_d\) equals the Ratliff-Rush closure \(I^*=\bigcup_{n\geq 1}(I^{n+1}:I^n)\). Many authors have found generalisations of the coefficient ideals when \(I\) is not \(\mathfrak{m}\)-primary. The coefficient ideals are closely associated to the blowup algebras such as the associated graded ring \(G(I)=\bigoplus_{n=0}^ \infty I^n/I^{n+1}\), the fiber cone \(F(I)=G(I)/{\mathfrak m}G(I)\) and the Rees algebra \(R(I)=\bigoplus_{n\geq 0}I^n\). Let \(s=s(I):=\dim F(I)\) denote the analytic spread of \(I\). Let \(\ell(M)\) denote the length of an \(R\)-module \(M\). Let \(I\subseteq J\) be ideals of \(R\) so that \(\ell(J/I)<\infty\). It was proved by \textit{J. O. Amao} [J. Lond. Math. Soc., II. Ser. 14, 13--20 (1976; Zbl 0343.13013)] that for all large \(n\), \(\ell(J^n/I^n)\) is a polynomial in \(n\). Let \(I^{sat}=\bigcup_{n\geq 1}(I:\mathfrak m^n)\) and \(q(I)=\bar{I}\cap I^{sat}\). \textit{J. Herzog} et al. [Math. Proc. Camb. Philos. Soc. 145, No. 3, 623--642 (2008; Zbl 1157.13013)] showed that for \(k=1,2,\ldots, s(I)\), there are unique largest ideals \(I_k^{'} \supseteq I\) with \(\ell(I_k'/I)< \infty\) and for all large \(n\), \(\ell((I_k')^n/I^n)\) is a polynomial in \(n\) having degree at most \(s-k-1\) for \(k=1,2,\ldots,s\). \textit{C. Ciupercă} [J. Pure Appl. Algebra 219, No. 4, 1045--1054 (2015; Zbl 1310.13024)] obtained another generalisation of the coefficient ideals. Let \(I\subseteq J\) be ideals of \(R\). Let \(t\) denote the stable value of \(\dim R/(I^n:J^n)\). Ciupercă proved that \(e(J^n/I^n)\) is a polynomial \(P_{I,J}(n)\) in \(n\) for all large \(n\) and its degree is at most \(\dim R-t\). He showed that there are unique largest ideals \(I_{[k]}\) for \(k=1,2,\ldots, s\) so that \(\deg e(I_{[k]}^n/I^n)< s-k\). \textit{P. H. Lima} and \textit{V. H. Jorge Pérez} [Math. Scand. 121, No. 1, 5--18 (2017; Zbl 1392.13002)] constructed another version of coefficient ideals using a theorem of E. Böger. They showed that there exist unique largest ideals \(I_k\) containing \(I\) so that \(e_i(I_\mathfrak p)=e_i((I_k)_{\mathfrak p})\) for all minimal primes \(\mathfrak p\) of \(I\) and \(i=1,2,\ldots, k\). Finally define \(I_{(k)}=\bigcup_{N, \mathbf x} (I^{N+1}: \mathbf x)\) where \(\mathbf x\) varies over all minimal reductions of \(I^N\). The main contribution of this paper is to relate these diverse notions of coefficient ideals. It is proved that if \(I\) is an ideal satisfying \(s=s(I)=\text{height} I\) in a quasi-unmixed local ring with infinite residue field then \(I_k^{'}\subseteq I_{(k)} \subseteq I_{[k]}\subseteq I_k\).