On a result of Gelfand, Kapranov and Zelevinsky (Q1019760)

Let \(X\) be a complex irreducible linearly normal subvariety of \(\mathbb{P}^n\) and \(\mathcal{V}\) be a holomorphic vector bundle over \(X\). Denote by \((E_R^{\bullet}(\mathcal{V}(m)),\partial_f^{\bullet})\) and \((E_{\Delta}^{\bullet}(\mathcal{V}(m)),\partial_f^{\bullet})\) the resultant complex and the discriminant complex twisted by \(\mathcal{V}(m)\), respectively. Then, for a sufficiently positive \(m\in\mathbb{Z}\), the determinant of the resultant complex if the \(X\)-resultant: \[ \mathbf{Tor}(E_R^{\bullet}(\mathcal{V}(m)),\partial_f^{\bullet}) \, = \, R_X^{\text{rank}(\mathcal{V})}(f), \quad f\in M_{n+1, N+1}(\mathbb{C}). \] Assume that \(X\) is smooth and the dual of \(X\) is non-degenerate. Then the determinant of the discriminant complex is the \(X\)-discriminant: \[ \mathbf{Tor}(E_{\Delta}^{\bullet}(\mathcal{V}(m)),\partial_f^{\bullet}) \, = \, \Delta_X^{\text{rank}(\mathcal{V})}(f), \quad f\in(\mathbb{C}^{N+1})^\vee. \] When \(\mathcal{V}=\mathcal{O}_X\) these statements are due to Gelfand, Kapranov, and Zelevinsky. Concerning discriminants, more general results have been obtained in [\textit{J.~Weyman}, Trans. Am. Math. Soc. 343, No. 1, 367--389 (1994; Zbl 0823.14040)]. Concerning resultants, in the general case of an arbitrary coherent sheaf supported on \(X\) ``Chow complexes'' have been constructed in [\textit{D.~Eisenbud, F.-O.~Schreyer} and \textit{J.~Weyman}, J. Am. Math. Soc. 16, No. 3, 537--575; appendix 576--579 (2003; Zbl 1069.14019)]. The author's idea is to prove these results avoiding advanced homological methods. The proofs given in the article are based on scaling argument, combinatorial manipulations with Chern polynomials, and a direct application of the Hirzebruch-Riemann-Roch formula.