Title: Quillen-Barr-Beck cohomology of divided power algebras over an operad
Abstract: Quillen-Barr-Beck (co)homology is a theory which studies the objects of a category where we can make sense of such notions as “modules” and “derivations”. More precisely, in his thesis, Beck defined a general notion of modules and derivations in a sufficiently nice category. These notions where popularised by Quillen, who introduced a cohomology theory for commutative rings, known as the André-Quillen cohomology, by studying something called the cotangent complex for these rings.
An operad is a device which encodes types of algebras. We can also use operads to define categories of divided power algebras, which have additional monomial operations. These divided power structures appear notably in the simplicial setting.
The aim of this talk is to show how André-Quillen cohomology generalises to several categories of algebras using the notion of operad. We will introduce modules and derivations, but also a representing object for modules – known as the universal envelopping algebra – and for derivations – known as the module of Kähler differentials – which will allow us to build an analogue of the cotangent complex. We will see how these notions allow us to recover known cohomology theories on many categories of algebras, while they provide somewhat exotic new notions when applied to divided power algebras.
