Lie models for nilpotent spaces (Q1740378)

Let $X$ be a connected and homotopy nilpotent finite complex. Neisendorfer famously extended Quillen's rational homotopy theory to give a model for the rational homotopy of $X$ in the form of a free dg Lie algebra $(\mathbb{L}(V), d)$ with $V \cong s^{-1}H_*(X; \mathbb{Q})$ [\textit{J. Neisendorfer}, Pac. J. Math. 74, 429--460 (1978; Zbl 0386.55016)]. A more recent construction was obtained in [\textit{U. Buijs}, \textit{Y. Félix}, \textit{A. Murillo} and \textit{D. Tanré}, ``Lie models of simplicial sets and representability of the Quillen functor'', \url{arXiv:1508.01442}]. \par Let $W = s^{-1}C_*(X; \mathbb{Q})$, the de-suspension of the simplicial chain complex. A differential on $\widehat{\mathbb{L}}(W)$ is induced by a homotopy transfer diagram. Here $\widehat{\mathbb{L}}(W) = \varprojlim_{n}\mathbb{L}(W)/ \mathbb{L}(W)^{ > n}$ is the completion of $\mathbb{L}(W)$. Writing $\mathcal{L}_X = (\widehat{\mathbb{L}}(W), d)$, the reduced Sullivan model for $X$ is the dg Lie algebra $\mathcal{L}_X/\mathcal{L}_*$. \par In this paper, the authors prove that the Neisendorfer and reduced Sullivan models are quasi-isomorphic. The result is a consequence of the following algebraic result: Given a free dg Lie algebra $(\mathbb{L}(V), d)$ with $V$ non-negatively graded and of finite type, the inclusion $(\mathbb{L}(V), d) \to (\widehat{L}(V), d)$ is a quasi-isomorphism if and only if $H_*(\mathbb{L}(V), d)$ is pronilpotent. A Lie algebra $L$ is pronilpotent if $L = \varprojlim_{p}L/ L^p$ where $L^p = [L, L^{p-1}]$ is the $p$th term in the lower central series for $L$.