Hadrien Espic: Koszul duality for categories and a relative Sullivan-Wilkerson theorem
Time: Mon 2022-06-13 14.00
Location: Kräftriket, house 5, room 14
Doctoral student: Hadrien Espic
Opponent: Bjørn Dundas (Universitetet i Bergen)
Supervisor: Gregory Arone
This PhD thesis consists in a collection of three papers on Koszul duality of categories and on an analogue of the Sullivan-Wilkerson theorem for relative CW-complexes. In Paper I, we define a general notion of Koszul dual in the context of a monoidal biclosed model category. We apply it to a category of enriched graphs to define the Koszul dual of an augmented enriched category C. We mostly study the case of categories enriched over a stable model category. We establish the expected adjunctions between categories of modules over C and modules over its Koszul dual K(C), and investigate the question of when the map from C to its double dual K(K(C)) is an equivalence. We also, importantly, show that Koszul duality of operads can be understood as a special case of Koszul duality of categories. In Paper II, we investigate further this notion of Koszul duality in the case of categories enriched over a category of chain complexes. In this setting, there is a natural cocategory structure on the bar construction on a category C. We show that the dual of this bar cocategory is equivalent to our definition of the Koszul dual of C. In Paper III, coauthored with Bashar Saleh, we prove more general versions of two important consequences of the Sullivan-Wilkerson theorem. Namely, we show that the group of homotopy classes of relative homotopy automorphisms of a simply connected finite CW-complex is finitely presented, and that its associated rationalization map has finite kernel.