The Milnor-Moore theorem for \(L_\infty\) algebras in rational homotopy theory (Q2114135)

The classical Milnor-Moore Theorem implies the Hurewicz map for a simply connected space $X$ extends to an isomorphism of Hopf algebras $U(\pi_*(\Omega X)) \otimes \mathbb{Q}) \cong H_*(\Omega X; \mathbb{Q})$ where $U(\pi_*(\Omega X)\otimes \mathbb{Q})$ is the universal enveloping algebra of the homotopy Lie algebra of $X$. The author gives a new construction of a universal $A_\infty$-algebra $U_t(L)$ for a given $L_\infty$-algebra $L$ and obtains an extension of the Milnor-Moore Theorem wherein $\pi_*(\Omega X) \otimes \mathbb{Q}$ is endowed with the $L_\infty$-structure determined by the rational type of $X$ and the isomorphism is now one of $A_\infty$-algebras. The construction $U_t(L)$ recovers the Quillen and Sullivan functors for rational homotopy type and leads to a connection between higher order Whitehead and Pontryagin-Massey products. The results complement previous constructions in [\textit{T. Lada} and \textit{M. Markl}, Commun. Algebra 23, No. 6, 2147--2161 (1995; Zbl 0999.17019)] and [\textit{V. Baranovsky}, Math. Res. Lett. 15, No. 5--6, 1073--1089 (2008; Zbl 1170.16018)] and provide a natural dual to the Kadeishvili's $C_\infty$-model [\textit{T. Kadeishvili}, Banach Cent. Publ. 85, 225--240 (2009; Zbl 1181.55012)].