Multiplicative structure in equivariant cohomology

DOI10.1016/J.JPAA.2011.12.012MaRDI QIDQ714119zbMATH OpenOpenAlexFDO

Authors Kathryn Hess

Publication date 19 October 2012

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1011.6092

zbMATH Keywords

coalgebrascochainsequivariant cohomologyhomotopy orbitsMoore's theoremoperadsorbit spaceresolutions

Mathematics Subject Classification ID

Chain complexes (category-theoretic aspects), dg categories (18G35) Loop spaces (55P35) Suspensions (55P40) Spectral sequences and homology of fiber spaces in algebraic topology (55R20) Abstract complexes in algebraic topology (55U05) Simplicial sets and complexes in algebraic topology (55U10) Hopf algebras (aspects of homology and homotopy of topological groups) (57T05)

Abstract: We introduce the notion of a strongly homotopy-comultiplicative resolution of a module coalgebra over a chain Hopf algebra, which we apply to proving a comultiplicative enrichment of a well-known theorem of Moore concerning the homology of quotient spaces of group actions. The importance of our enriched version of Moore's theorem lies in its application to the construction of useful cochain algebra models for computing multiplicative structure in equivariant cohomology. In the special cases of homotopy orbits of circle actions on spaces and of group actions on simplicial sets, we obtain small, explicit cochain algebra models that we describe in detail.

Review text

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.

Recommendations

• Multiplicative Aspects of the Halperin-Carlsson Conjecture
• Co-H-structures on equivariant Moore spaces
• A model category structure for equivariant algebraic models
• Koszul duality and equivariant cohomology
• The equivariant cohomology ring of a cohomogeneity-one action

Cites work

• A canonical enriched Adams-Hilton model for simplicial sets
• Algebraic methods in unstable homotopy theory
• An algebraic model for the loop space homology of a homotopy fiber
• Batalin-Vilkovisky algebras and two-dimensional topological field theories
• CoHochschild homology of chain coalgebras.
• Hopf Algebras up to Homotopy
• scientific article; zbMATH DE number 3690275 (Why is no real title available?)
• scientific article; zbMATH DE number 937411 (Why is no real title available?)
• scientific article; zbMATH DE number 3187379 (Why is no real title available?)
• Iterated loop spaces
• On the extended functoriality of Tor and Cotor
• Operads and motives in deformation quantization
• String topology and cyclic homology
• The Homology of Twisted Cartesian Products

Cited in

(11)

• CoHochschild homology of chain coalgebras.
• Symplectic homology and the Eilenberg-Steenrod axioms
• Multiplicity results for two kinds of equivariant systems
• scientific article; zbMATH DE number 4129627 (Why is no real title available?)
• Multicurves and equivariant cohomology
• Multiplicative Aspects of the Halperin-Carlsson Conjecture
• Equivariant Multiplicative Closure
• The coalgebra structure of the cohomology of multiplicative fibrations
• scientific article; zbMATH DE number 3235827 (Why is no real title available?)
• On a multiplicative structure of BP-cohomology operation algebra
• The Hochschild complex of a twisting cochain

This page was built for publication: Multiplicative structure in equivariant cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714119)