Home > Research > Publications & Outputs > Koszul Duality and Deformation Theory

Electronic data

  • 2021guanphd

    Final published version, 765 KB, PDF document

    Available under license: CC BY-NC-ND: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License

Text available via DOI:

View graph of relations

Koszul Duality and Deformation Theory

Research output: ThesisDoctoral Thesis

Published
Publication date2021
Number of pages94
QualificationPhD
Awarding Institution
Supervisors/Advisors
Award date7/07/2021
Publisher
  • Lancaster University
<mark>Original language</mark>English

Abstract

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.