The hunting of the Hopf ring

DOI10.4310/HHA.2009.V11.N2.A6MaRDI QIDQ846024zbMATH OpenFDO

Authors Andrew James Stacey, Sarah Whitehouse

Publication date 29 January 2010

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0711.3722, http://intlpress.com/hha/v11/n2/a6/pdf

zbMATH Keywords

Hopf ringUnstable cohomology operations

Mathematics Subject Classification ID

Associative rings and algebras with additional structure (16W99) Generalized (extraordinary) homology and cohomology theories in algebraic topology (55N20) (K)-theory operations and generalized cohomology operations in algebraic topology (55S25)

Abstract: We provide a new algebraic description of the structure on the set of all unstable cohomology operations for a suitable generalised cohomology theory, E^*. Our description is as a graded and completed version of a Tall-Wraith monoid. The E^*-cohomology of a space X is a module for this Tall-Wraith monoid. We also show that the corresponding Hopf ring of unstable co-operations is a module for the Tall-Wraith monoid of unstable operations. Further examples are provided by considering operations from one theory to another.

Review text

The unstable cohomology operations for a generalized cohomology theory form a set with a rich algebraic structure. Previous descriptions of this structure (for suitable nice theories) have depicted it as a monad on a certain category, or as the dual of an enriched Hopf ring. The most amenable description, however, has been to depict this set as the dual of a Hopf ring, discarding its enrichment, and this is the description that has been most studied. Since it is the enrichment which captures the key operation of composition, this omission is unfortunate and the paper under review aims to rectify this, offering a new algebraic description with composition at its heart. The paper describes the set of unstable operations as forming a graded, completed Tall-Wraith monoid. \textit{D. O. Tall} and \textit{G. C. Wraith} in [Proc. Lond. Math. Soc., III. Ser. 20, 619--643 (1970; Zbl 0226.13007)] introduced these monoids to describe the algebraic structure necessary to act on a certain category; for example, a ring is a Tall-Wraith monoid for the category of abelian groups. The bulk of the paper is concerned with adapting this notion to cope with the grading (which is relatively straightforward) and the topology.

Recommendations

• scientific article; zbMATH DE number 937410
• Unstable \(K\)-cohomology algebra is a filtered \(\lambda\)-ring
• scientific article; zbMATH DE number 970065
• The plethory of operations in complex topological K-theory
• Stable and unstable operations in mod \(p\) cohomology theories
• On the categorical structure of \(H^{2}\)
• L'homologie générique est un foncteur Tor *
• On descent cohomology
• scientific article; zbMATH DE number 937409
• scientific article; zbMATH DE number 1750087

Cited in

(4)

• Hopf rings and unstable operations
• Unstable \(K\)-cohomology algebra is a filtered \(\lambda\)-ring
• The plethory of operations in complex topological K-theory
• Formal plethories

This page was built for publication: The hunting of the Hopf ring

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