Abstract:The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...) or bialgebras (associative and coassociative, Lie, Frobenius...), that is algebraic structures parametrized by props. A central aspect is that we define and study moduli spaces of deformations of algebraic structures up to quasi-isomorphisms (and not just isotopies or isomorphisms). To do so, we implement methods coming from derived algebraic geometry, by encapsulating these deformation theories as classifying (pre)stacks with good infinitesimal properties and derived formal geometry, by means of derived formal moduli problems and derived formal groups. In particular, we prove that the Lie algebra describing the deformation theory of an object in a given $\infty$-category of dg algebras can be obtained equivalently as the tangent complex of loops on a derived quotient of this moduli space by the homotopy automorphims of this object. Moreover, we provide explicit formulae for such derived deformation problems of algebraic structures up to quasi-isomorphisms and relate them in a precise way to other standard deformation problems of algebraic structures. This relation is given by a fiber sequence of the associated dg-Lie algebras of their deformation complexes. Our results provide simultaneously a vast generalization of standard deformation theory of algebraic structures which is suitable (and needed) to set up algebraic deformation theory both at the $\infty$-categorical level and at a higher level of generality than algebras over operads. In addition, we study a general criterion to compare formal moduli problems of different algebraic structures and apply our formalism to $E_n$-algebras and bialgebras.

Review of Deformation Theory I: Concrete Formulas for Deformations of Algebraic Structures

A unified approach to some rigidity and stability problems in algebra

Cohomologies and deformations of differential algebra morphisms

Deformations of associative algebras with inner products

Deformation Theory and Partition Lie Algebras

Derived deformation theory of algebraic structures

Cohomology and Deformations of Compatible Lie Triple Systems

Deformations and abelian extensions of compatible pre-Lie superalgebras

Deformations of Lie 2-Algebras

Cohomology and deformation theory of crossed homomorphisms of Leibniz algebras

Deformation maps of quasi-twilled Lie algebras

Deformation maps of Quasi-twilled associative algebras

Maurer-Cartan characterization, cohomology and deformations of equivariant Lie superalgebras

On the Deformation of Lie-Yamaguti algebras

Cohomology and deformations of compatible Leibniz algebras

Formal deformations, cohomology theory and $L_\infty[1]$-structures for differential Lie algebras of arbitrary weight

Pre-Lie algebras with divided powers and the Deligne groupoid in positive characteristic

A Review of Lie 2-algebras

Valued Deformations of Algebras

Cohomology and deformation of compatible Hom-Leibniz algebras

Cohomology theory of Rota-Baxter pre-Lie algebras of arbitrary weights