Koszul calculus of preprojective algebras
We show that the Koszul calculus of a preprojective algebra, whose graph is distinct from A and A, vanishes in any (co)homological degree . Moreover, its (higher) cohomological calculus is isomorphic as a bimodule to its (higher) homological calculus, by exchanging degrees and , and we prove a generalised version of the 2-Calabi-Yau property. For the ADE Dynkin graphs, the preprojective algebras are not Koszul and they are not Calabi-Yau in the sense of Ginzburg's definition, but they satisfy our generalised Calabi-Yau property and we say that they are Koszul complex Calabi-Yau (Kc-Calabi-Yau) of dimension . For Kc-Calabi-Yau (quadratic) algebras of any dimension, defined in terms of derived categories, we prove a Poincaré Van den Bergh duality theorem. We compute explicitly the Koszul calculus of preprojective algebras for the ADE Dynkin graphs.