Complete \(L_\infty \)-algebras and their homotopy theory
type: Item
instance of: scholarly article
title: Complete \(L_\infty \)-algebras and their homotopy theory
zbMATH Open document ID: 1521.18021
arXiv ID: 2008.01706
author: Christopher L. Rogers
published in: Journal of Pure and Applied Algebra
publication date: 2023-06-26T00:00:00Z
full work available at URL: https://arxiv.org/abs/2008.01706
review text: In previous joint work [J. Algebra 430, 260--302 (2015; Zbl 1327.17019)] with \textit{V. Dolgushev}, the author generalized a result of E. Getzler [Zbl 1246.17025], establishing a connection between the homotopy theory of complete \(L_{\infty}\)-algebras and Kan complexes, which is a generalization of the classical theorem of \textit{W. M. Goldman} and \textit{J. J. Millson} [Publ. Math., Inst. Hautes Étud. Sci. 67, 43--96 (1988; Zbl 0678.53059), Theorem 4.8] and which has turned out to be useful in a variety of applications beyond deformation theory, including the rational homotopy theory of mapping spaces [\textit{A. Berglund}, Homology Homotopy Appl. 17, No. 2, 343--369 (2015; Zbl 1347.55010); \textit{B. Fresse} and \textit{T. Willwacher}, ``Mapping spaces for DG Hopf cooperads and homotopy automorphisms of the rationalization of $E_n$-operads'', Preprint, \url{arXiv:2003.02939}] and operadic homotopical algebras [\textit{V. A. Dolgushev} et al., Adv. Math. 274, 562--605 (2015; Zbl 1375.18053); \textit{D. Robert-Nicoud}, Algebr. Geom. Topol. 19, No. 3, 1453--1476 (2019; Zbl 1475.17032)]. This paper further develops and strengthens the above result. The author first gives a finer-grained description of the homotopy theory within the category \(\widehat{\mathsf{Lie}}_{\infty}\), where \ is the category of complete filtered \(L_{\infty}\)-algebras and filtration-compatible weak \(L_{\infty}\)-morphisms. He then extends the aforementioned ``\(L_{\infty}\) Goldman-Millson Theorem'' by establishing the compatibility of this additional homotopical structure with the Kan-Quillen model structure for simpllcial sets. Finally, he uses this machinery to build an obstruction theory for the general problem of lifting Maurer-Cartan elements through an arbitrary \(\infty\)-morphism.
reviewed by: Hirokazu Nishimura
Mathematics Subject Classification ID: 18N40
Mathematics Subject Classification ID: 17B55
Mathematics Subject Classification ID: 14D15
zbMATH DE Number: 7701450
zbMATH Keywords: \(L\)-infinity algebra
zbMATH Keywords: deformation theory
zbMATH Keywords: homotopical algebra
MaRDI profile type: Publication
cites work: Algebraic models of local period maps and Yukawa algebras
cites work: Rational homotopy theory of mapping spaces via Lie theory for \(L_\infty\)-algebras
cites work: Abstract homotopy theory and generalized sheaf cohomology
cites work: Lie Models in Topology
cites work: Homotopy theory of diagrams
cites work: Derived moduli of complexes and derived Grassmannians
cites work: Maurer–Cartan Methods in Deformation Theory
cites work: What do homotopy algebras form?
cites work: A version of the Goldman-Millson theorem for filtered \(L_\infty\)-algebras
cites work: On an enhancement of the category of shifted \(L_\infty\)-algebras
cites work: Homotopy of Operads and Grothendieck–Teichmüller Groups
cites work: Lie theory for nilpotent \(L_{\infty}\)-algebras
cites work: Simplicial homotopy theory
cites work: The deformation theory of representations of fundamental groups of compact Kähler manifolds
cites work: DG coalgebras as formal stacks
cites work: Descent of Deligne groupoids
cites work: Q4790109
cites work: Q4220599
cites work: Maurer-Cartan moduli and models for function spaces
cites work: Q3509910
cites work: Q3166320
cites work: On the Goldman-Millson theorem for \(A_\infty\)-algebras in arbitrary characteristic
cites work: Unifying derived deformation theories
cites work: Homotopical algebra
cites work: Representing the deformation \(\infty\)-groupoid
cites work: An explicit model for the homotopy theory of finite-type Lie \(n\)-algebras
cites work: Homotopical properties of the simplicial Maurer-Cartan functor
cites work: On the homotopy theory for Lie \(\infty\)-groupoids, with an application to integrating \(L_\infty\)-algebras
cites work: Homotopy theory of homotopy algebras
cites work: Maurer-Cartan spaces of filtered \(L_{\infty}\)-algebras
DOI: 10.1016/J.JPAA.2023.107403
Recommended article: Q4316029
Recommended article: Homotopy Theory of C*-Algebras
Recommended article: Derived \(A\)-infinity algebras and their homotopies
Recommended article: Q3319420
Recommended article: L-algebras and topology
Recommended article: \(E_{\infty}\) algebras and \(p\)-adic homotopy theory
Recommended article: Cohomology C∞-algebra and rational homotopy type
Recommended article: Homotopy unital \(A_\infty\)-algebras
Recommended article: Complete Cohomologies and Some Homological Invariants
Recommended article: Rational homotopy theory of mapping spaces via Lie theory for \(L_\infty\)-algebras
description: scientific article; zbMATH DE number 7701450