A note on formulas transmuting mixed multiplicities (Q470238)

Let \((R,m)\) be a local noetherian ring of dimension \(d\), \(I\) an \(m\)-primary ideal, and \(M\) a finitely generated \(R\)-module. If \(R\) is a domain, it is known that the Hilbert-Samuel multiplicities \(\text{e}(I;R)\) and \(\text{e}(I;M)\) are related by the formula \(\text{e}(I;M)=\text{e}(I;R) \text{rank}_R M\). As a consequence of this result, if \(R \subseteq S\) is a finite extension of the local domain \(R\), then \(\text{e}(I,R) \text{rank}_R S = \sum_{n} \text{e}(IS_n; S_n) [S/n : R/m]\) where the sum is taken over all the maximal ideals of \(S\) of height \(d\). In this paper the authors state and prove similar results for the mixed multiplicities \(\text{e}(J^{[k_0+1]}, I_1^{[k_1]},\ldots, I_s^{[k_s]}; M)\). We recall that if \(J\) is an \(m\)-primary ideal and \(I_1,\ldots, I_s\) are arbitrary ideals, the mixed multiplicities \(\text{e}(J^{[k_0+1]}, I_1^{[k_1]},\ldots, I_s^{[k_s]}; M)\) (\(k_0+\cdots+k_s=d-1\)) are defined as the normalized coefficients of the homogeneous part of (top) degree \(d-1\) of the polynomial function that gives the length \(\lambda(J^{n_0}I_1^{n_1}\cdots I_s^{n_s}M/J^{n_0+1}I_1^{n_1}\cdots I_s^{n_s}M)\) for all \(n_i\) large enough.