On the Goldman-Millson theorem for \(A_\infty\)-algebras in arbitrary characteristic (Q6114010): Difference between revisions

An \(A_\infty\)-algebra is a homotopical analogue of an associative algebra in which associativity holds up to coherent homotopy. An \(L_\infty\)-algebra is an analogous concept for Lie algebras. An \(L_\infty\)-version of the Goldman-Millson Theorem was proved in [\textit{E. Getzler}, Ann. Math. (2) 170, No. 1, 271--301 (2009; Zbl 1246.17025)]: A weak equivalence between complete \(L_\infty\)-algebras induces a homotopy equivalence between corresponding simplicial Maurer-Cartan sets. The main result of this paper (Theorem 6.1) proves an \(A_\infty\)-version of this theorem: A weak equivalence between complete \(A_\infty\)-algebras over a field of arbitrary characteristic induces a homotopy equivalence between their nerves. Then the authors characterize the nerve's homotopy groups in terms of cohomology and its group of quasi-invertible elements. Finally, the authors answer a question of de Kleijn and Wierstra by proving that the nerve is homotopy equivalent to the simplicial Maurer-Cartan set of its commutator \(L_\infty\)-algebra.