Moduli stacks of algebraic structures and deformation theory
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.
- A Koszul duality for props
- A resolution (minimal model) of the PROP for bialgebras
- Algebraic operads
- Algebraic stacks
- Algebras and Modules in Monoidal Model Categories
- André-Quillen cohomology of algebras over an operad
- Axiomatic homotopy theory for operads
- Categorical algebra
- Classifying spaces of algebras over a prop
- Deformation quantization of Poisson manifolds
- Deformation theory of representations of prop(erad)s I
- Deformation theory of representations of prop(erad)s. II
- Formality of chain operad of little discs
- Function complexes in homotopical algebra
- Functors of Artin Rings
- Generalized operads and their inner cohomomorphisms
- Graph complexes with loops and wheels
- Higher Topos Theory (AM-170)
- Homotopical algebraic geometry. I: Topos theory
- Homotopical algebraic geometry. II. Geometric stacks and applications
- Homotopy algebras are homotopy algebras
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 692330 (Why is no real title available?)
- scientific article; zbMATH DE number 2049998 (Why is no real title available?)
- scientific article; zbMATH DE number 2138794 (Why is no real title available?)
- scientific article; zbMATH DE number 2157082 (Why is no real title available?)
- scientific article; zbMATH DE number 218177 (Why is no real title available?)
- scientific article; zbMATH DE number 1860105 (Why is no real title available?)
- scientific article; zbMATH DE number 5219538 (Why is no real title available?)
- scientific article; zbMATH DE number 970691 (Why is no real title available?)
- Intrinsic brackets and the L_-deformation theory of bialgebras.
- Lectures on props, Poisson geometry and deformation quantization
- Lie theory for nilpotent \(L_{\infty}\)-algebras
- Maurer-Cartan moduli and models for function spaces
- Modular operads
- Modules over operads and functors
- Moduli spaces of algebras over nonsymmetric operads
- Notes on algebraic operads, graph complexes, and Willwacher's construction
- On the invertibility of quantization functors
- Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras
- Operads and motives in deformation quantization
- Presenting higher stacks as simplicial schemes
- PROP profile of Poisson geometry
- Props in model categories and homotopy invariance of structures
- Quantization of Lie bialgebras. I
- Rational homotopy theory of mapping spaces via Lie theory for \(L_\infty\)-algebras
- Resolution of coloured operads and rectification of homotopy algebras
- Simplicial homotopy theory
- Simplicial localisation of homotopy algebras over a prop
- The Frobenius properad is Koszul
- Wheeled PROPs, graph complexes and the master equation
This page was built for publication: Moduli stacks of algebraic structures and deformation theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q740103)
