Unifying Koszul dualities via point-set models
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908926813929472 |
|---|---|
| author | Petersen, Dan Lucio, Victor Roca i Yalin, Sinan |
| author_facet | Petersen, Dan Lucio, Victor Roca i Yalin, Sinan |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_29910 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Unifying Koszul dualities via point-set models Petersen, Dan Lucio, Victor Roca i Yalin, Sinan Algebraic Topology Category Theory Quantum Algebra Rings and Algebras 18N70, 18M60, 18N40, 18N60, 55P48, 55P65, 55U15, 55U35, 16T15 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. |
| title | Unifying Koszul dualities via point-set models |
| topic | Algebraic Topology Category Theory Quantum Algebra Rings and Algebras 18N70, 18M60, 18N40, 18N60, 55P48, 55P65, 55U15, 55U35, 16T15 |
| url | https://arxiv.org/abs/2603.29910 |