A model of the Borel construction on the free loopspace (Q294154)

For a connected CW complex \(X\), let \(\Sigma X\) denote the reduced suspension of \(X\), let \(J(X)\) be the reduced product of \(X\) introduced by I. M. James, and we denote by \(L(\Sigma X)\) the space of free loops on \(\Sigma X\). For a topological monoid \(G\), we set \(\Gamma_n(G)=G^{n+1}\) for \(n\geq 0\) and let \(\Gamma_*(G)=\{\Gamma_n(G)\}_{n\geq 0}\) denote the cyclic bar construction introduced by \textit{F. Waldhausen} [Lect. Notes Math. 763, 356--394 (1979; Zbl 0431.57004)] whose cyclic space structure is given by the usual relations. Let \(| Z|\) denote the geometric realization of the underlying simplicial space of a cyclic space \(Z\). In this paper, the author considers the case \(G=L(\Sigma X)\) and he investigates the homotopy type of the Borel construction \(ES^1\times_{S^1}L(\Sigma X)\). For this purpose, he first observes that there is a canonical homotopy equivalence \(\phi :| \Gamma_{.}J(X)| \mathop{\rightarrow}\limits^{\simeq}L(\Sigma X)\) which is \(S^1\)-equivariant. Then he introduces the filtration of \(\Gamma_*J(X)\) by using the word length of \(J(X)\), and he proves that this Borel construction is homotopy equivalent to the wedge of \(BS^1\) and the homotopy colimit of a diagram consisting of products of a number of copies of \(X\) and the standard topological \(n\)-simplex. The proof is based on the natural homotopy equivalence concerning cyclic spaces obtained by \textit{Z. Fiedorowicz} and \textit{J.-L. Loday} [Trans. Am. Math. Soc. 326, No. 1, 57--87 (1991; Zbl 0755.18005)] and the commutativity of homotopy colimits.