On the Maurer-Cartan simplicial set of a complete curved A_∞ -algebra

Abstract

In this paper, we develop the A_∞-analog of the Maurer-Cartan simplicial set associated to an L_∞-algebra and show how we can use this to study the deformation theory of ∞-morphisms of algebras over non-symmetric operads. More precisely, we first recall and prove some of the main properties of A_∞-algebras like the Maurer-Cartan equation and twist. One of our main innovations here is the emphasis on the importance of the shuffle product. Then, we define a functor from the category of complete (curved) A_∞-algebras to simplicial sets, which sends a complete curved A_∞-algebra to the associated simplicial set of Maurer-Cartan elements. This functor has the property that it gives a Kan complex. In all of this, we do not require any assumptions on the field we are working over. We also show that this functor can be used to study deformation problems over a field of characteristic greater than or equal to 0. As a specific example of such a deformation problem, we study the deformation theory of ∞-morphisms of algebras over non-symmetric operads.