Homotopy theory of complete Lie algebras and Lie models of simplicial sets

Abstract

In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential graded Lie algebras. This paper is a follow up of this work. We show that when X is a finite connected simplicial set, then the realization of the model of X is the disjoint union of the Bousfield-Kan completion of X with an external point. We also define a model category structure on the category of complete differential graded algebras making the two previous functors a Quillen pair, and we construct an explicit cylinder. In particular, these functors preserve homotopies and weak equivalences and therefore, this gives the basis for developing a Lie rational homotopy theory for all spaces.

Accepted for publication by the Journal of Topology

References in corpus (2)

• Deformation theory and rational homotopy type
• The infinity Quillen functor, Maurer-Cartan elements and DGL realizations

Cited by in corpus (7)

• The infinity Quillen functor, Maurer-Cartan elements and DGL realizations
• A model structure for the Goldman-Millson theorem
• Rational homotopy equivalences and singular chains
• Gauge equivalence for complete $L_{\infty }$-algebras
• Spatial realization of a Lie algebra and Bar construction of a group
• Local systems in diffeology
• Goodwillie calculus in the category of algebras over a chain complex operad