Categorical Koszul duality
Julian Holstein, Andrey Lazarev

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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic structures and combinatorial models · Advanced Topics in Algebra · Homotopy and Cohomology in Algebraic Topology
