Unifying Koszul dualities via point-set models

TL;DR

This paper unifies classical and higher-categorical Koszul dualities in differential graded algebra through a framework that relates different bar-cobar constructions and their $mbda$-categorical counterparts.

Contribution

It constructs a commutative square of adjunctions linking classical and higher Koszul dualities, providing a unified understanding in the dg setting.

Findings

Introduces the inclusion-restriction square of adjunctions.

Shows the square induces an $mbda$-categorical adjunction.

Connects classical chain-level and $mbda$-categorical constructions.

Abstract

The classical bar-cobar adjunction between dg algebras and dg coalgebras goes back to the origins of differential homological algebra as developed by Cartan, Eilenberg, Moore, and many others, and is part of the broader framework of Koszul duality. In recent years, several $\infty$-categorical analogues of this adjunction have been developed, notably by Lurie, Francis--Gaitsgory, and Heuts. However, there is no comparison in the literature between the classical chain-level constructions and their higher-categorical counterparts, and in fact the two constructions are not quite compatible. In this paper we provide a unified framework relating these different forms of Koszul duality in the differential graded setting. We construct a commutative square of adjunctions, called the inclusion-restriction square, intertwining the classical operadic bar-cobar adjunction with its completed variant due to Le Grignou--Lejay. We show that this square induces an $\infty$-categorical adjunction between algebras and their Koszul dual coalgebras, recovering in particular the differential graded case of Lurie's bar-cobar adjunction, and explain precisely how our constructions relate to those of Francis--Gaitsgory and Heuts.