On the homology of spaces of equivariant maps (Q6584801)

For connected spaces \(X\) and \(Y\), let \(\mbox{Map}(X,Y)\) (resp. \(\mbox{Map}^*(X,Y)\)) be the space of continuous maps (resp. based continous maps) \(f:X\to Y\) with the compact open topology. Let \(\mbox{Em}_0(S^m,S^M)\) and \(\mbox{Em}_1(S^m,S^M)\) denote the subspaces of \(\mbox{Map}(S^m,S^M)\) defined by\N\[\N\begin{cases} \mbox{Em}_0(S^m,S^M)=\{f\in\mbox{Map}(S^m,S^M):f(-x)=f(x)\mbox{ for any }x\in S^m\}, \\ \mbox{Em}_1(S^m,S^M)=\{f\in \mbox{Map}(S^m,S^M):f(-x)=-f(x)\mbox{ for any }x\in S^m\}.\end{cases}\N\]\NSimilarly, for each \(\epsilon\in\{0,1\}\), let \(\mbox{Em}_{\epsilon}^*(S^m,S^M)\subset\mbox{Em}_{\epsilon}(S^m,S^M)\) denote the subspace defined by \(\mbox{Em}_{\epsilon}^*(S^m,S^M)=\mbox{Em}^*(S^m,S^M)\cap \mbox{Map}^*(S^m,S^M).\) Note that the space \(\mbox{Em}_{0}(S^m,S^M)\) (resp. \(\mbox{Em}_{0}^*(S^m,S^M)\)) can be identified with the space \(\mbox{Map}(\mathbb{R}\mathrm{P}^m,S^M)\) (resp. \(\mbox{Map}^*(\mathbb{R}\mathrm{P}^m,S^M)\)). \N\NIn this paper, the author computes the Poincaré series of the group \(H^*(\mbox{Em}_{\epsilon}(S^m,S^M);\mathbb{Q})\) explicitly when \(m<M\) and \(\epsilon\in\{0,1\}\). He also computes the Poincaré series of the group \(H^*(\mbox{Em}_{\epsilon}^*(S^m,S^M);\mathbb{Q})\) explicitly when \(m<M\) and \(\epsilon \in \{0,1\}\). Moreover, when \(m<M\) are odd numbers and \(0<s\leq r\) with \(\epsilon\in \{0,1\}\), he also computes the Poincaré series of the rational cohomology groups of the space of continuous maps \(f:S^m\to S^M\) satisfying the condtion \(f(e^{2\pi i/r}x)=e^{2\pi is/r}f(x)\) for any \(x\in S^m\). He also computes the case of its based maps case. His computation is based on the Vassiliev spectral sequence (established by him) and an explicit computation of the twisted homology of several configuration spaces.