Lie models of homotopy automorphism monoids and classifying fibrations (Q2136563)

A foundational result of \textit{J. D. Stasheff} [Topology 2, 239--246 (1963; Zbl 0123.39705)] asserts that the classifying space \(B \mbox{aut}(X)\) of the topological monoid \(\mbox{aut}(X)\) of self homotopy equivalences of a given finite complex \(X\) classifies fibrations with fiber \(X\) by means of a universal fibration over \(B\mbox{aut}(X)\). Furthermore, by \textit{J. P. May} [Classifying spaces and fibrations. Providence, RI: American Mathematical Society (AMS) (1975; Zbl 0321.55033)], certain submonoids of \(\mbox{aut}(X)\) produce also classifying fibrations for distinguished families of fibrations. The universal cover of \(B \mbox{aut}(X)\) has the homotopy type of the classifying space \(B \mbox{aut}_1(X)\) of the monoid of self homotopy equivalences homotopic to the identity on \(X\). Whenever \(X\) is simply connected the rational homotopy type of \(B \mbox{aut}_1(X)\) is well understood and described in terms of classical algebraic models of \(X\). However, the homotopy type of \(B \mbox{aut}(X)\) is as unmanageable, even for \(X\) simply connected, as its fundamental group \(\mathcal{E}(X)\) of homotopy classes of self homotopy equivalences. \par Nevertheless, the authors are able to describe algebraically the rational homotopy type of the classifying space of certain non-connected distinguished submonoids of \(\mbox{aut}(X)\). Furthermore, they model the corresponding universal classifying fibrations. To do so the authors strongly rely on the homotopy theory developed in the category \textbf{cdgl} of complete differential graded Lie algebras, via the category of simplicial sets \textbf{sset}, by means of the Quillen pair of adjoint functors, (global) model \(\mathbf{sset}\stackrel{\mathfrak{L}}{\to} \mathbf{cdgl}\) and realization \(\mathbf{cdgl}\stackrel{\langle \cdot \rangle}{\to} \mathbf{sset}.\) \par More precisely, given a finite nilpotent simplicial set \(X\), consider the classifying fibrations \(X\to B \mbox{aut}^\ast_G(X) \to B \mbox{aut}_G(X)\) and \(X\to Z \to B \mbox{aut}^\ast_\pi(X),\) where \(G\) and \(\pi\) denote, respectively, subgroups of the free and pointed homotopy classes of free and pointed self homotopy equivalences of \(X\) which act nilpotently on \(H_\ast(X)\) and \(\pi_\ast(X)\). The authors give algebraic models, in terms of complete differential graded Lie algebras (\textbf{cdgl's}), of the rational homotopy type of these fibrations. Among the consequences, the authors also describe in \textbf{cdgl} terms the Malcev \(\mathbb{Q}\)-completion of \(G\) and \(\pi\) together with the rational homotopy type of the classifying spaces \(BG\) and \(B\pi\).