Models for classifying spaces and derived deformation theory (Q2874663)

The homotopy type of the Dold-Lashof classifying space \(BAut(X)\) of the monoid \(Aut(X)\) of self-homotopy equivalences of a space \(X\) depends on the homotopy type of \(X\) only.NEWLINENEWLINEUsing the theory of extensions of \(L_{\infty}\) algebras, A. Lazarev constructs rational homotopy models for \(BAut(X)\), giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison cohomology. In particular, for the Lie-Quillen model \(L(X)\) of a rational nilpotent CW complex \(X\) having rationally finite type, the Chevalley-Eilenberg complex \(C_{\mathrm {CE}}(L(X),L(X))\) has two graded Lie algebra structures; the odd Lie algebra corresponds to a Lie-Quillen model for \(BAut(X)\) and the even one, to a Lie-Quillen model for \(Aut(X)\). Similarly the Harrison complex \(C_{\mathrm {Harr}}(A(X),A(X))\) is given for the Sullivan model \(A(X)\).NEWLINENEWLINEHe also investigates the algebraic structure of the Chevalley-Eilenberg complexes of \(L_{\infty}\) algebras and shows that they possess, along with the Gerstenhaber bracket, an \(L_{\infty}\) structure that is homotopy abelian. It is related to the Deligne conjecture for \(L_{\infty}\) algebras.NEWLINENEWLINEThis paper pictures a meaningful approach for future works of the study of rational homotopy of \(BAut(X)\) and deformation theory.