Multigraded resultants of Sylvester type (Q1314251)

Fix positive integers \(l_ 1, \dots, l_ r\), and set \(l = l_ 1 + \cdots + l_ r\). Let \({\mathbf x}_ 1\), \({\mathbf x}_ 2, \dots, {\mathbf x}_ r\) be \(r\) groups of variables, the \(k\)-th consisting of \(l_ k + 1\) variables. In the polynomial ring \(S : = \mathbb{C}[{\mathbf x}_ 1\), \({\mathbf x}_ 2, \dots, {\mathbf x}_ r]\) of \(l+r\) variables we consider the subspace \(S(d_ 1, \dots, d_ r)\) of polynomials, homogeneous of degree \(d_ k\) in \({\mathbf x}_ k\) for \(k = 1, \dots, r\). Suppose we are given \(l+1\) generic polynomials \(f_ 0\), \(f_ 1, \dots, f_ l \in S(d_ 1, d_ 2, \dots, d_ r)\). By the multigraded resultant of type \((l_ 1, \dots, l_ r;\;d_ 1, \dots, d_ r)\), we understand the unique irreducible polynomial \({\mathcal R} (f_ 0, \dots, f_ l)\) in \(\mathbb{Z}[S(d_ 1, d_ 2, \dots, d_ r)^{l+1}]\) which vanishes under specialization if and only if the equations \(f_ 0 = f_ 1 = \cdots = f_ l = 0\) have a solution in the product \(P^{l_ 1}\times\cdots\times P^{l_ r}\) of complex projective spaces. The existence of \({\mathcal R} (\dots)\) was established by \textit{M. M. Kapranov} and the authors in a paper on Chow polytopes [Duke Math. J. 67, No. 1, 189-218 (1992; Zbl 0780.14027)]. Let \(m_ 1, \dots, m_ r\) be nonnegative integers and consider the linear map \(\Phi : S(m_ 1, \dots, m_ r)^{l + r} \to S(d_ 1 + m_ 1, \dots, d_ r + m_ r)\), given by \((g_ 0, \dots, g_ l) \mapsto f_ 0 g_ 0 + \cdots + f_ l g_ l\). If the two spaces \(S(\dots)\) herein have the same dimension, and there holds a Sylvester type formula \({\mathcal R} (f_ 0, \dots, f_ l) = \text{det} (\Phi)\), then the authors say that the multi-index \((m_ 1, \dots, m_ r)\) has the Sylvester property with respect to \((l_ 1, \dots, l_ r; d_ 1, \dots, d_ r)\). In case that for each \(k\) either \(l_ k = 1\) or \(d_ k = 1\), they show the existence of at least \(r!\) different multi-indices \((m_ 1, \dots, m_ r)\) having this property with respect to \((l_ 1, \dots, l_ r; d_ 1, \dots, d_ r)\). The proofs use cohomological methods.