Separated Lie models and the homotopy Lie algebra (Q2457285): Difference between revisions

A simply connected topological space \(X\) has homotopy Lie algebra \(\pi_*(\Omega X)\otimes\mathbb Q\). Following Quillen there is a differential graded free Lie algebra (dgl) called a Lie model for \(X\), which determines the rational homotopy type of \(X\). The author shows that this model can be replaced with one that has the special property to be separated. More precisely, Let \((\mathbb L (V),d)\) be a dgl where \(V\) is equipped with a (second) lower gradation satisfying \(d(V_{i,*})\subset \mathbb L (\oplus_{j=1}^{i-1} V_{j,*})\). We consider the composition \(\widetilde{d_i}\) of \(d : V_{i,*} \to Z(\mathbb L (V_{<i}),d) \) with the projection \(Z(\mathbb L (V_{<i}),d) \to H(\mathbb L(V_{<i}),d)\,.\) Denote \(HL_i = H(\mathbb L(V_{\leq i}), d)\), \(HL_i^-\) is the image of \(HL_{i-1}\) into \(HL_i\) and \(HL_i^+\) is the ideal generated by the image of \(\widetilde{d_{i+1}}\) in \(HL_i\). The dgl is then called separated if \(HL_i^+ \cap HL_i^- = 0\) for all \(i\). As a first result of the paper, the author proves that each dgl is quasi-isomorphic to a separated dgl. For each \(i\) we can filter \( \mathbb L(V_{\leq i}),d)\) by putting \(V_{<i}\) in gradation zero and \(V_{i,*}\) in gradation one. This induces a convergent spectral sequence. Theorem : If the dgl is separated then the spectral sequence collapses at the \(E^1\)-term. Moreover there is a gradation on \(HL_i\) such that gr\((HL_i) \) is the semi-product of \(E_{0,*}^1\) with \(\mathbb L(E_{1,*}^1)\). The author deduces a global formula for the homology of a separated dgl and uses it as a powerful tool for the computation of the rational homotopy Lie algebra of some spaces.