No label defined (Q4400720)

This paper investigates the rational homotopy of the homotopy orbit space \(ES^1\times _{S^1}X^{S^1}\) of the natural circle action on the free loop space \(X^{S^1}\) of a simply connected CW complex \(X\). Its rational cohomology is known to coincide with the cyclic cohomology of \(X\) [\textit{T. G. Goodwillie}, Topology 24, 187-215 (1985; Zbl 0569.16021); \textit{D. Burghelea} and \textit{Z. Fiedorowicz}, ibid. 25, 303-317 (1986; Zbl 0639.55003)]. By a result of \textit{M. Vigué-Poirrier} [Ill. J. Math. 32, 40-52 (1988; Zbl 0618.55006)] it is of the form \(HC^*(X;\mathbb{Q})\cong \mathbb{Q}[\alpha ]\oplus T^*\) with an element \(\alpha \) of degree 2 and a \(\mathbb{Q}[\alpha ]\)-module \(T^*\) given in terms of the minimal model of \(X^{S^1}\). The author shows that \(ES^1\times _{S^1}X^{S^1}\) is formal in the sense of rational homotopy theory if and only if \(X\) has the rational homotopy of an odd-dimensional sphere. Moreover, he classifies those spaces for which the module \(T^*\) above is concentrated in either even or odd degrees. For the entire collection see [Zbl 0890.00047].