On (FC)-sequences and mixed multiplicities of multi-graded algebras (Q719105)

Let \((A,m)\) be a noetherian local ring of Krull dimension \(d > 0\) with infinite residue field \(k = A/m\). Let \(s\) be a positive integer and \[ S = \bigoplus_{n_1, \dots, n_s\geq 0} S_{(n_1, \dots, n_s)} \] be a finitely generated standard \(s\)-graded algebra over \(A\). Let \(J\) be an \(m\)-primary ideal of \(A\). Set \[ D_J(S) = \bigoplus_{n\geq 0} \frac{J^nS_{(n, \dots, n)}}{J^{n+1}S_{(n, \dots, n)}} \] and assume that \(l = \dim D_m(S)\). Then \[ P(n_0, \dots, n_s) = l_A(\frac{J^{n_0}S_{(n_1, \dots, n_s)}}{J^{n_0+1}S_{(n_1, \dots, n_s)}} \] is a polynomial of total degree \(n-1\) in \(n_0, n_1, \dots, n_s\) for all large \(n_0, n_1, \dots, n_s\). The terms of total degree \(n-1\) in this polynomial have the form \[ \sum_{k_0+k_1+ \dots +k_s=l-1} e(J, k_0, k_1, \dots, k_s, S)\frac{n_0^{k_0}n_1^{k_1} \dots n_s^{k_s}}{k_0!k_1! \dots k_s!}. \] It was proved in [\textit{M. Herrmann, H. Manfred, E. Hyry, J. Ribbe} and \textit{Z. Tang}, J. Algebra 197, No. 2, 311--341 (1997; Zbl 0931.13002)] that \(e(J, k_0, k_1, \dots, k_s, S)\) are non-negative integers not all zero and called the mixed multiplicity of \(S\) of type \((k_0, k_1, \dots, k_s)\) with respect to \(J\). In particular, if \(S = A[I_1t_1, \dots, I_st_s]\) is a multi-graded Rees algebra of ideals \(I_1, \dots, I_s\) of \(A\), then \(e(J, k_0, k_1, \dots, k_s, S)\) is the mixed multiplicity of ideals \(J, I_1, \dots, I_s\) see [Zbl 0931.13002]. In the paper under review, the authors study the positivity of mixed multiplicities of \(S\) and give a characterization for them in terms of Hilbert-Samuel multiplicities. They also prove some results that cover the main results in [\textit{Duong Quôc Viêt}, Commun. Algebra 28, No. 8, 3803--3821 (2000; Zbl 0962.13023)].