The Borel cohomology of the loop space of a homogeneous space (Q390394)

Let \(\Bbbk\) be a field of characteristic zero, \(G\) a Lie group, \(X\) be a path connected \(G\)-space and \(X\to X_G\to BG\) the associated Borel fibration. The equivariant cohomology of \(X\) (with coefficients in \(\Bbbk\)), usually denoted \(H^*_G(X)\), is the ordinary cohomology of \(X_G\) (with coefficients in \(\Bbbk\)). With \(X_G\) in place of \(X\) one extends the usual Sullivan theory of models of spaces to a \(G\)-Sullivan theory of models. In particular we obtain the notion of \(G\)-formality, and the complexity of the \(G\)-action which is reflected in the Borel fibration can be seen, at least its non torsion part, in the differential of the Sullivan model of \(X_G\). The main result of this paper concerns the equivariant cohomology \(H^*_G(LM)\) where \(LM\) denotes the free loop space on the 1-connected space \(M\). Here \(LM\) is a \(G\)-space for a given action of \(G\) on \(M\). The author proves that if the Serre spectral sequence of the associated Borel fibration of \(M\) collapses at the \(E_2\)-term and if \(M\) is \(G\)-formal then the graded algebra \(H^*_G(LM)\) is isomorphic to \(\text{Tor}^{H^*_G(M\times M)} (H^*_G(M), H^*_G(M))\). Here \(G\) acts diagonally of \(M\times M\). In the rest of the paper the author considers the case when \(M\) is a homogeneous space and when \(M=\mathbb{C} P^n\) is an \(S^1\)-space for a given action of \(U(1)\) on \({U(n+1)\over U(n)\times U(1)}\). It is valuable here to observe that \(\text{Tor}^{H^*_G(M\times M)} (H^*_G(M), H^*_G(M))\) is closely related to the Hochschild homology of the algebra \(H^*_G(M)\).