Stable Projective Homotopy Theory of Modules,Tails, and Koszul Duality

A contravariant functor is constructed from the stable projective homotopy theory of finitely generated graded modules over a finite-dimensional algebra to the derived category of its Yoneda algebra modulo finite complexes of modules of finite length. If the algebra is Koszul with a noetherian Yoneda algebra, then the constructed functor is a duality between triangulated categories. If the algebra is self-injective, then stable homotopy theory specializes trivially to stable module theory. In particular, for an exterior algebra the constructed duality specializes to (a contravariant analog of) the Bernstein–Gelfand–Gelfand correspondence.