Calabi-Yau property in derived Koszul calculus

Abstract: A Poincar\'e Van den Bergh duality theorem for strong Kc-Calabi-Yau algebras was obtained by R. Taillefer and the first author under the assumption that the derived functors of functors involved in the statement exist. We prove the existence of these derived functors by showing that the dg category defining the derived Koszul calculus is isomorphic to a dg category of dg modules over a dg algebra. Therefore we get a definition of strong Kc-Calabi-Yau algebras and a corresponding duality theorem without any existence assumption. We prove that a polynomial algebra is strong Kc-Calabi-Yau.