Koszul homology and Lie algebras with application to generic forms and points

Abstract

We study the Koszul dual for general superalgebras, and apply it to the Koszul homology of a graded algebra. We show that a part of the Koszul homology algebra is related to the homotopy Lie algebra by means of Koszul duality. This is used to study the "Minimal Resolution Conjecture" and the "Ideal Generating Conjecture" for sets of generic points in projective space, and for quotients of the polynomial ring (or exterior algebra) modulo generic quadratic forms.