Multiplicative structure in equivariant cohomology (Q714119)

Moore's theorem states that for \(E\) the total space of a principal \(G\)-bundle and \(Y\) a \(G\)-space, there is an isomorphism \[ H_*(E \times_G Y) \cong \text{Tor}_*^{C_*G} (C_*E,C_*Y) \] This paper shows to how upgrade this isomorphism to a comultiplicative isomorphism. The approach is based on developing a highly structured notion of resolution of modules over a chain Hopf algebra. In this case, \(C_* G\) is the chain Hopf algebra and \(C_*E\) and \(C_*Y\) are modules over it. The extra structure that is used in the resolution is the comultiplication on \(C_*E\) and \(C_*Y\). The technical work of this paper is performed in the category \textbf{DCSH}, where the objects are chain coalgebras and the morphisms are strongly-homotopy comultiplicative maps. This category may also be described in terms of operads, allowing the author to consider objects with multiplicative structures, such as chain Hopf algebras. The new resolutions of the paper are constructed in this category. The key property of the resolutions is that they have a lifting property with respect to surjective quasi-isomorphisms. Two applications of this enhanced version of Moore's theorem are given. The first is to provide a small and explicit chain coalgebra which models the (cohomology of) homotopy orbits of a space with an \(S^1\)-action. This follows from finding an interesting and useful resolution of cubical chains of \(ES^1\) in \textbf{DCSH}. The second application is an analogous construction of a chain coalgebra modelling homotopy orbits of the action of certain simplicial groups.