TY - BOOK

T1 - Koszul Duality and Deformation Theory

AU - Guan, Ai

PY - 2021

Y1 - 2021

N2 - This thesis answers various questions related to Koszul duality and deformation theory. We begin by giving a general treatment of deformation theory from the point of view of homotopical algebra following Hinich, Manetti and Pridham. In particular, we show that any deformation functor in characteristic zero is controlled by a certain differential graded Lie algebra defined up to homotopy, and also formulate a noncommutative analogue of this result valid in any characteristic. In the next part of this thesis, we introduce a notion of left homotopy for Maurer-Cartan elements in L∞-algebras and A∞-algebras, and show that it corresponds to gauge equivalence in the differential graded case. From this we deduce a short formula for gauge equivalence, and provide an entirely homotopical proof to Schlessinger-Stasheff’s theorem. As an application, we answer a question of T. Voronov, proving a non-abelian Poincaré lemma for differential forms taking values in an L∞-algebra. In the final part of this thesis, we generalize previous formulations of Koszul duality for associative algebras by Keller-Lefèvre and Positselski. For any dg algebra A we construct a model category structure on dg A-modules such that the corresponding homotopy category is compactly generated by dg A-modules that are finitely generated and free over A (disregarding the differential). We prove that this model category is Quillen equivalent to the category of comodules over a certain, possibly nonconilpotent differential graded coalgebra, a so-called extended bar construction of A.

AB - This thesis answers various questions related to Koszul duality and deformation theory. We begin by giving a general treatment of deformation theory from the point of view of homotopical algebra following Hinich, Manetti and Pridham. In particular, we show that any deformation functor in characteristic zero is controlled by a certain differential graded Lie algebra defined up to homotopy, and also formulate a noncommutative analogue of this result valid in any characteristic. In the next part of this thesis, we introduce a notion of left homotopy for Maurer-Cartan elements in L∞-algebras and A∞-algebras, and show that it corresponds to gauge equivalence in the differential graded case. From this we deduce a short formula for gauge equivalence, and provide an entirely homotopical proof to Schlessinger-Stasheff’s theorem. As an application, we answer a question of T. Voronov, proving a non-abelian Poincaré lemma for differential forms taking values in an L∞-algebra. In the final part of this thesis, we generalize previous formulations of Koszul duality for associative algebras by Keller-Lefèvre and Positselski. For any dg algebra A we construct a model category structure on dg A-modules such that the corresponding homotopy category is compactly generated by dg A-modules that are finitely generated and free over A (disregarding the differential). We prove that this model category is Quillen equivalent to the category of comodules over a certain, possibly nonconilpotent differential graded coalgebra, a so-called extended bar construction of A.

U2 - 10.17635/lancaster/thesis/1362

DO - 10.17635/lancaster/thesis/1362

M3 - Doctoral Thesis

PB - Lancaster University

ER -