The rational homotopy Lie algebra of classifying spaces for formal two-stage spaces (Q5939912): Difference between revisions

The rational homotopy type of a space \(X\) is given by a differential graded algebra \((\Lambda(V),d)\) called the Sullivan model. Here \(\Lambda(V)\) denotes the free graded algebra on the graded vector space \(V\) and \(d\) is a degree \(+1\) differential which takes generators to polynomials with no linear parts in lower degree generators. If the cohomology of the model (which is that of \(X\)) is finite dimensional and \(V\) is finite dimensional, then \(X\) is said to be elliptic. If \(V\) has the form \(V=V_0 \oplus V_1\), with \(d(V_0)=0\), \(d(V_1)\subset \Lambda(V_0)\), \(V_0\) evenly graded and \(V_1\) oddly graded, then \(X\) is pure. If there is a DGA map \(\varphi: (\Lambda(V),d) \to H^*((\Lambda(V),d))\) inducing the identity on cohomology, then \(X\) is formal. All homogeneous spaces are elliptic and pure and a great many are formal. In this paper, Sullivan's (Lie) model for the classifying space \(Baut_1(X)\) is used to determine the center and nilpotence degree of the rational homotopy Lie algebra \(\pi_*(\Omega Baut_1(X))\otimes \mathbf Q\) for, in particular, elliptic, pure, formal spaces which satisfy a natural property called the Halperin conjecture.