Sequences Determining Mixed Multiplicities and Reductions of Ideals (Q4428232)

Throughout \((A,m)\) is a local Noetherian ring with infinite residue field \(k\). Let \(I_{1},\dots,I_{s}\) be ideals of \(A\) and \( I=I_{1}\cdots I_{s}\). An ideal \(J_{j}\subseteq I_{j}\) is called a reduction of \(I_{j}\) with respect to \(U^{\prime }=(I_{1},\dots,I_{s})\) if \( I_{1}^{n_{1}}\cdots I_{j}^{n_{j}}\cdots I_{s}^{n_{s}}=J_{j}I_{1}^{n_{1}}\cdots I_{j}^{n_{j}-1}\cdots I_{s}^{n_{s}}\) for all large \(n_{1},\dots,n_{s}\). Set \(N_{U'}(I_{j})=\min \{\mu (J_{j})\mid J_{j}\) is a reduction of \(I_{j}\) with respect to \(U'\}\) and \(N(I)=N_{(I)}(U^{\prime })\). Using the concepts of (FC)-sequences and weak-(FC)-sequences introduced by \textit{Duong Quoc Viet} [Commun. Algebra 28, 3803--3821 (2000; Zbl 0962.13023)], some interesting results are proved. Let \(L_{U}(I_{1},\dots,I_{s})\) denote the set of lengths of maximal weak-(FC)-sequences in \(I_{1}\cup \cdots \cup I_{s}\) with respect to \(U=(J_{1},\dots,J_{t})\) where the \(J_{i}s\) are \(m\)-primary. It is shown that the length of maximal weak-(FC)-sequences is an invariant, \(\text{ht}(I)\leq \min L_{U}(I_{1},\dots,I_{s})\),and \(\max L_{U}(I_{1},\dots,I_{s})=l(I)\), the analytic spread of \(I\). Also, if \( x_{1},\ldots ,x_{p}\) is a maximal weak-(FC)-sequence in \(I_{j}\) with respect to \(U\), then \(J=(x_{1},\ldots ,x_{p})\) is a reduction of \(I_{j}\) with respect to \(U^{\prime }\) and \(p=N_{U^{\prime }}(I_{j})\). Similar results for the case of FC-sequences are given.