Rational homotopy of the (homotopy) fixed point sets of circle actions (Q2389240)

Let \(M\) be a nilpotent, finite type CW complex endowed with an action of \(G = S^1.\) The authors study the homotopy fixed point set \(M^{hG} = \mathrm{map}_G(EG, M)\) in rational homotopy theory. Their approach is based on an alternate description of \(M^{hG}\) as the space \(\Gamma(\xi)\) of sections of the Borel fibration \(\xi : M \to EG \times_G M \to BG.\) By previous work of the authors [Trans. Am. Math. Soc. 361, No.~10, 5601--5614 (2009; Zbl 1180.55008)], the rational homotopy Lie algebra \(\pi_*(\Omega\Gamma(\xi)) \otimes \mathbb{Q}\) corresponds to a graded Lie algebra constructed directly from the Koszul-Sullivan model of the fibration \(\xi\). The authors obtain several attractive results on \(M^{hG}.\) Let \(M^G\) be the ordinary fixed point set. When \(M\) is simply connected, they prove the image of map induced on rational homotopy groups by the evaluation map \(M^{hG} \to M\) is contained in \(\pi_*(M^G) \otimes \mathbb{Q}\) and that the radius of convergence of the Hilbert series of \(\pi_*(M_\mathbb{Q}^{hG})\) is equal to that of \(\pi_*(M) \otimes \mathbb{Q}.\) When \(M\) and \(M^G\) are both simply connected, they prove the inclusion \(M^G \to M^{hG}\) induces an injection on rational homotopy groups. They also show \(M_\mathbb{Q}^{hG}\) is of infinite L.S. category when \(M\) is a simply connected hyperbolic finite complex. The results of this paper should be compared and contrasted with those of \textit{J. Goyo} [The Sullivan model of the homotopy-fixed-point set, thesis, University of Toronoto (1989)] who considered the case when \(G\) is a finite group.