Multivariate subresultants in roots (Q852659)

If \(f_1^h,\ldots,f_{n+1}^h\) is a set of generic homogeneous polynomials in \(K[x_0,\ldots,x_n]\), \(f_i=f_i^h(1,x_1,\dots,x_n)\) and \(\bar{f}_i=f_i^h(0,x_1,\dots,x_n)\), then the following Poisson product formula holds for the resultants [\textit{D. Cox, J. Little} and \textit{D. O'Shea}, Using algebraic geometry. Graduate Texts in Mathematics. 185. New York, NY: Springer (1998; Zbl 0920.13026)]: \[ \text{Res}(f_1^h,\dots,f_{n+1}^h)= \text{Res}(\bar{f}_1,\dots,\bar{f}_n)^{d_{n+1}} \prod f_{n+1}(\xi) \] where \(d_{n+1}\) is the degree of \(f_{n+1}^h\) and the product runs over all \(\xi\) which are common roots of \(f_1,\ldots,f_n\). This formula is generalized to any multivariate subresultant which is expressed as the ratio of two determinants times a function of the coefficients of \(\bar{f}_1,\dots,\bar{f}_{n}\). The numerator determinant depends on the evaluation of \(f_{n+1}\) at the common roots of \(f_1,\dots,f_n\) and the denominator determinant is a Vandermonde-type determinant depending on these common roots. The results are first resumed for the univariate case and then extended to the multivariate case.