Koszul duality in higher topoi

We show that there is an equivalence in any $n$-topos $\mathscr{X}$ between the pointed and $k$-connective objects of $\mathscr{X}$ and the $\mathbb{E}_k$-group objects of the $(n-k-1)$-truncation of $\mathscr{X}$. This recovers, up to equivalence of $\infty$-categories, some classical results regarding algebraic models for $k$-connective, $(n-1)$-coconnective homotopy types. Further, it extends those results to the case of sheaves of such homotopy types. We also show that for any pointed and $k$-connective object $X$ of $\mathscr{X}$ there is an equivalence between the $\infty$-category of modules in $\mathscr{X}$ over the associative algebra $\Omega^k X$, and the $\infty$-category of comodules in $\mathscr{X}$ for the cocommutative coalgebra $\Omega^{k-1} X$. All of these equivalences are given by truncations of Lurie’s $\infty$-categorical bar and cobar constructions, hence the terminology “Koszul duality.”

2010 Mathematics Subject Classification

16T15, 18D35, 55U30

Full Text (PDF format)

Received 7 February 2021

Received revised 20 December 2021

Accepted 22 December 2021

Published 1 March 2023