Homology of the Koszul complex of a system of polynomial equations
arXiv:1205.0472
Abstract
For a system of non-homogeneous polynomials it was constructed explicit complex morphism of a dual complex to the Koszul complex into the Koszul complex. If the ideal of these polynomials is 0-dimensional, then this mapping is a homotopic equivalence, thus in this case it was obtained explicit duality of the Koszul complex.
Paper translated from Russian. Summary in English