Categorical Koszul duality

TL;DR

This paper establishes a duality between dg categories and curved coalgebras, extending known results and providing new insights into the relationships between quasicategories, simplicial categories, and dg sheaves.

Contribution

It generalizes Koszul duality to dg categories and curved coalgebras, connecting Quillen equivalences with this duality and interpreting dg nerves conceptually.

Findings

Equivalence between quasicategory representations and coderived categories of comodules.

Characterization of constructible dg sheaves as coderived categories of dg coalgebras.

Transformation of Quillen equivalence into Koszul duality via normalized chain complexes.

Abstract

In this paper we establish Koszul duality between dg categories and a class of curved coalgebras, generalizing the corresponding result for dg algebras and conilpotent curved coalgebras. We show that the normalized chain complex functor transforms the Quillen equivalence between quasicategories and simplicial categories into this Koszul duality. This allows us to give a conceptual interpretation of the dg nerve of a dg category and its adjoint. As an application, we prove that the category of representations of a quasicategory is equivalent to the coderived category of comodules over its chain coalgebra. A corollary of this is a characterization of the category of constructible dg sheaves on a stratified space as the coderived category of a certain dg coalgebra.