A New Model for Compactly Generated Derived Categories of the Second Kind and Curved Koszul Triality

For any curved differential graded algebra A, we define a new model structure on the category of curved differential graded A-modules, called the injective Guan-Lazarev model structure. We prove that the category of CDG A-modules with this model structure is Quillen equivalent to the category of curved differential graded contramodules over the extended bar-construction of A, equipped with the contraderived model structure. This result can be seen as bridging the gap between Positselski's theory of conilpotent Koszul triality and Guan-Lazarev's work on non-conilpotent Koszul duality. As an application, we use the injective Guan-Lazarev model structure to show that the tensor product is a Quillen bifunctor with respect to these model structures of the second kind.