Degrees of multiplicity functions for equimultiple ideals (Q5964493)

Let \((R, m)\) be a formally equidimensional local ring, and \(J \subset I\) be ideals in \(R\). There is a history of looking at the Hilbert -Samuel multiplicity and higher coefficients of \(J\) in order to study the integral closure of ideals. The case when \(J \subset I\) are \(m\)-primary was established by \textit{D. Rees} [Proc. Camb. Philos. Soc. 57, 8--17 (1961; Zbl 0111.24803)] and \textit{K. Shah} [Trans. Am. Math. Soc. 327, No. 1, 373--384 (1991; Zbl 0738.13007)]. The case when \(J \subset I\) are not necessary \(m\)-primary but \(\lambda(I/J)\) is finite was studied by \textit{J. O. Amao} [J. Lond. Math. Soc., II. Ser. 14, 13--20 (1976; Zbl 0343.13013)], \textit{D. Rees} [J. Lond. Math. Soc., II. Ser. 32, 404--410 (1985; Zbl 0599.13002)] and \textit{J. Herzog} et al. [Math. Proc. Camb. Philos. Soc. 145, No. 3, 623--642 (2008; Zbl 1157.13013)]. When \(J \subset I \) are arbitrary, the author considers the asymptotic behavior of the multiplicity \(e(I^n/J^n)\) of the \(R\)- module \(I^n/J^n\). In [loc. cit.], he shows that for large \(n\), \(e(I^n/J^n)\) is a polynomial function \(P_{J,I}(n)\) of degree at most dim \(R-t\) where \(t\) is the stabilizing value of \(\dim(R/(J^n:I^n))\). Further if \(J \subset I\) is a reduction, then the degree of \(P_{J,I}(n)\) is at most dim \(R-t-1\). In the paper under review, the author studies the asymptotic behavior of \(e(I^n/J^n)\) in the case when \(J\) is an equimultiple ideal of height \(a=\)ht\((J)= l(J)\), where \(l(J)\) is the analytic spread of \(J\). He shows that \(\deg P_{J,I}(n)\) is at most \( l(J)\) with equality if and only if \(J \subset I\) is not a reduction. Moreover, he extends the construction of Shah to the case of equimultiple ideals. For that, he shows for every \(k \in \left\{ 0, \cdots, a \right\}\), the existence of a largest ideal \(J_{[k]}\) containing \(J\) with \(\deg P_{J,J_{[k]}}(n)\) at most \(a-k-1\). Finally, he studies the properties of the ideal \(J_{[1]}\) and its relations to the \(S_2\)-ification of the Rees algebra \(R[Jt]\).