When are multidegrees positive? (Q5918175)

Let \(\mathbb{K}\) be an arbitrary field, \(\mathbb{P}= \mathbb{P}_{\mathbb{K}}^{m_1} \times \ldots \times \mathbb{P}_{\mathbb{K}}^{m_p}\) be a multiprojective space over \(\mathbb{K}\) and \(X \subseteq \mathbb{P}\) be a closed subscheme of \(\mathbb{P}.\) Let \(n= (n_1, \ldots, n_p) \in \mathbb{N}^{p}\) such that \(n_1+ \ldots+ n_p= \dim(X).\) They proved that the multidegree \(\deg_{\mathbb{P}}^{n}(X)\) is positive if and only if there is an irreducible component \(Y \subseteq X\) such that \( \dim(Y)= \dim(X)\) and for each \(J=\{j_1, \ldots, j_k\} \subseteq \{1, \ldots, p\}\) the inequality \(n_{j_1}+ \ldots+ n_{j_k} \leq \dim(\pi_{J}(Y)).\) \textit{P. Brändén} and \textit{J. Huh} [Lorentzian polynomials'', Preprint, \url{arXiv:1902.03719}] showed that support of volume polynomial is M-convex. In the paper under review, the authors showed that \(MSupp_{\mathbb{P}}(X)= \{n \in \mathbb{N}^{p} | \deg_{\mathbb{P}}^{n}(X) > 0\} \) is discrete polymatroid. Also they defined another type of polymatroid called Chow polymatroids and proved that it is between linear polymatroids and Algebraic polymatroids. From algebraic point of view, multidegree receive the name of mixed multiplicity. In the paper under review, the authors translated the above first result to the mixed multiplicities of a standard multigraded algebra over an Artinian local ring. This translation give a characterization for the positivity of mixed multiplicities of ideals. Reviewer's rermark: There are some minor typos: 1- On page 28, there are additional parentheses in \(\prod_{J}(X)\). 2- On page 28, in the chain of \(V_i\), the second one is \(V_1\). 3- On page 31, the parentheses are missing on \(V(P;n)\).