On the Maurer-Cartan simplicial set of a complete curved A_-algebra
The authors functorially construct the Maurer-Cartan simplicial set \(MC_\bullet(A)\) of a complete (potentially curved) \(A_\infty\)-algebra \(A\). In particular they show that the MC simplicial set of any complete \(A_\infty\)-algebra is a Kan complex. For uncurved \(A_\infty\)-algebras in non-positive degrees strict quasi-isomorphisms induce homotopy equivalences of the MC simplicial sets. (The authors expect this to generalise.) The components of the MC simplicial set define natural equivalence classes of MC elements. The construction is motivated by analogy with the MC simplicial sets of \(L_\infty\) algebras, i.e.\ the Deligne-Getzler-Hinich \(\infty\)-groupoid. However, since the \(A_\infty\)-construction is based on normalized cochains on simplices while the \(L_\infty\)-construction uses the polynomial de Rham algebra it remains an open question if the two constructions are compatible. The main motivation for this paper is to study deformation theory in positive characteristic, which is much more complicated than the case of characteristic 0. (Note however the characterization of formal moduli problems in mixed and positive characteristic by partition Lie algebras in [\textit{L. Brantner} and \textit{A. Mathew}, ``Deformation theory and partition Lie algebras, Preprint, \url{arXiv:1904.07352}].) As a concrete application the authors investigate \(\infty_\alpha\)-morphisms between algebras over a non-symmetric operad \(\mathcal P\). Here \(\alpha: \mathcal P \to \mathcal C\) is an operadic twisting morphism, and the \(\infty_\alpha\)-morphisms between \(\mathcal P\)-algebras \(A\) and \(A'\) are exactly \(\mathcal C\)-coalgebra morphisms between the bar constructions \(B_\alpha A\) and \(B_\alpha A'\). The authors then consider the \(A_\infty\)-convolution algebra \(\operatorname{Hom}^\alpha(B_\alpha A, A'))\) as a deformation complex for \(\infty_\alpha\)-morphisms: The MC elements of this \(A_\infty\) algebra correspond to \(\infty_\alpha\)-morphisms, with gauge equivalence corresponding to homotopy equivalence. A more detailed discussion of these complexes and their relation to moduli problems would have been interesting. The paper ends with a comparison with other approaches and a brief discussion of possible applications and future work.
- Convolution algebras and the deformation theory of infinity-morphisms
- Maurer-Cartan spaces of filtered \(L_{\infty}\)-algebras
- Deformation theory with homotopy algebra structures on tensor products
- Homotopical properties of the simplicial Maurer-Cartan functor
- Complete L_ -algebras and their homotopy theory
- A version of the Goldman-Millson theorem for filtered \(L_\infty\)-algebras
- Algebraic Hopf invariants and rational models for mapping spaces
- Algebraic operads
- Axiomatic homotopy theory for operads
- Characteristic classes of A_-algebras
- Convolution algebras and the deformation theory of infinity-morphisms
- Descent of Deligne groupoids
- Differential graded Lie algebras, quasi-hopf algebras and higher homotopy algebras
- Geometric higher groupoids and categories
- Homotopy Associativity of H-Spaces. I
- Homotopy morphisms between convolution homotopy Lie algebras
- Homotopy of operads and Grothendieck-Teichmüller groups. Part 1: The algebraic theory and its topological background
- Homotopy theory of homotopy algebras
- Homotopy theory of modules over operads and non-\(\varSigma \) operads in monoidal model categories
- Introduction to \(A\)-infinity algebras and modules
- Lagrangian intersection Floer theory. Anomaly and obstruction. I
- Lie theory for nilpotent \(L_{\infty}\)-algebras
- Maurer-Cartan moduli and theorems of Riemann-Hilbert type
- Model structures for coalgebras
- Moduli problems for ring spectra
- Pre-Lie deformation theory
- Relating Berkovits and \(A_{\infty}\) superstring field theories; small Hilbert space perspective
- Simplicial homotopy theory
- Simplicial homotopy theory
- The bar derived category of a curved dg algebra
- Unifying derived deformation theories
- What do homotopy algebras form?
- Maurer-Cartan equation of \(A_\infty\)-algebras.
- Convolution algebras and the deformation theory of infinity-morphisms
- Strictly unital \(\mathrm{A}_{\infty}\)-algebras
- A version of the Goldman-Millson theorem for filtered \(L_\infty\)-algebras
- Which homotopy algebras come from transfer?
- On the Goldman-Millson theorem for \(A_\infty\)-algebras in arbitrary characteristic
This page was built for publication: On the Maurer-Cartan simplicial set of a complete curved \(A_{\infty}\)-algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2063064)
