Universal constructions in homotopical algebra

Abstract

We apply the effective integration theory of Lie-graph algebras, developed recently by the authors, to the deformation and homotopy theories of types of bialgebras, that is structures controlled by a properad, like associative bialgebras, (involutive) Lie bialgebras, Frobenius bialgebras, double Poisson bialgebras, pre-Calabi--Yau algebras, quantum Airy structures, etc. In these cases, we provide their associated Deligne groupoid with an explicit homotopical description. We settle the Koszul hierarchy and the twisting procedure on the properadic level. We also give a conceptual construction of the homotopy transfer theorem in terms of gauge actions. This work extends the formulas for the deformation theory of operadic algebras.