Moduli stacks of algebraic structures and deformation theory (Q740103): Difference between revisions

The author studies the homotopy of derived mapping spaces of properads in the category of chain complexes. Briefly recall that properads are structures, more general than operads but less general than PROPs, which can be used to define categories of bialgebras. Properads where introduced by \textit{B. Vallette} in [Trans. Am. Math. Soc. 359, No. 10, 4865--4943 (2007; Zbl 1140.18006)] as a suitable generalization of the category of operads for which both a bar duality and a Koszul duality theory are available. The category of Lie bialgebras and the category of Frobenius bialgebras are examples of bialgebra categories governed by Koszul properads. The bar duality theory provides an explicit cofibrant resolution functor \(P\mapsto P_{\infty}\), expressed in terms of a properadic cobar construction \(\Omega(-)\), on the category of properads in chain complexes. The author uses this particular cofibrant resolution construction \(P_{\infty} = \Omega(C)\), where \(C\) is a coproperad (the dual structure in the categorical sense of a properad) to study the derived mapping spaces \(\mathrm{Map}^h(P,Q) = \mathrm{Map}(P_{\infty},Q)\), where \(P\) and \(Q\) are properads defined in the category of chain complexes over a ground field of characteristic zero. He proves that \(\mathrm{Map}^h(P,Q)\) can be determined as the simplicial set of Maurer-Cartan forms in a convolution Lie algebra \(\mathrm{Hom}(C,Q)\) naturally associated to \(C\) and \(Q\). He uses this result to establish that the functor on commutative differential graded commutative algebras \(\underline{\mathrm{Map}}^h(P,Q): R\mapsto\mathrm{Map}^h(P,Q\otimes R)\), where \(Q\otimes R\) is the obvious scalar extension of the properad \(Q\), forms a derived affine stack in the sense of [\textit{B. Toën} and \textit{G. Vezzosi}, Mem. Am. Math. Soc. 902, 224 p. (2008; Zbl 1145.14003)]. The author also proves that the cohomology of the tangent space of this derived affine stack \(\underline{\mathrm{Map}}^h(P,Q)\) at any point \(x_{\alpha}\in\mathrm{Map}^h(P,Q\otimes R)\) is given by the cohomology of the twisted convolution Lie algebras \(\mathrm{Hom}(C,Q\otimes R)^{\alpha}\), where \(\alpha\) is the Maurer-Cartan element corresponding to the point \(x_{\alpha}\). Let us mention that in the case of the endomorphism properad \(\mathcal{Q} = \mathrm{End}_A\) associated to a chain complex \(A\), this derived mapping space \(\mathrm{Map}^h(P,\mathrm{End}_A)\) is identified with the derived moduli space of the \(P\)-bialgebra structures on \(A\). Hence, the results obtained in the paper can also be used to define derived moduli stacks of bialgebra structures. The author outlines, among other examples of applications, the construction of a derived moduli stack of Poincaré duality structures associated to a cohomology algebra, and the construction of a derived moduli stack of quantizations associated to a Lie bialgebra.