Power operations and coactions in highly commutative homology theories

DOI10.4171/PRIMS/154MaRDI QIDQ2350336zbMATH OpenFDO

Authors Andrew Baker

Publication date 19 June 2015

Published in Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

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

zbMATH Keywords

\(E_\infty\) ring spectra\(H_\infty\) ring spectracoactionspower operationsstructured ring spectra

Mathematics Subject Classification ID

Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43) Steenrod algebra (55S10) Dyer-Lashof operations (55S12)

Abstract: Power operations in the homology of infinite loop spaces, and $H_{i}nfty$ or $E_{i}nfty$ ring spectra have a long history in Algebraic Topology. In the case of ordinary mod p homology for a prime p, the power operations of Kudo, Araki, Dyer and Lashof interact with Steenrod operations via the Nishida relations, but for many purposes this leads to complicated calculations once iterated applications of these functions are required.On the other hand, the homology coaction turns out to provide tractable formulae better suited to exploiting multiplicative structure. We show how to derive suitable formulae for the interaction between power operations and homology coactions in a wide class of examples; our approach makes crucial use of modern frameworks for spectra with well behaved smash products. In the case of mod $p$ homology, our formulae extend those of Bisson and Joyal to odd primes. We also show how to exploit our results in sample calculations, and produce some apparently new formulae for the Dyer-Lashof action on the dual Steenrod algebra.

Review text

As the title indicates, the author studies the interaction of power operations and coactions in the homology of structured ring spectra. In various examples of interest, he provides explicit formulas relating these two types of structures. The results in this paper recover and extend work by \textit{T. Bisson} and \textit{A. Joyal} [C. R. Math. Acad. Sci., Soc. R. Can. 17, No. 4, 141--146 (1995; Zbl 0849.55007)] and \textit{R. R. Bruner} et al. [\(H_{\infty}\) ring spectra and their applications. Berlin etc.: Springer-Verlag (1986; Zbl 0585.55016)]. The paper is structured as follows. In the first part, the author carefully reviews the construction of power operations and of homology coactions. In the second part, he considers Eilenberg-Mac\ Lane spectra and studies the interplay of homology coactions of the dual Steenrod algebra with Kudo-Araki (respectively Dyer-Lashof) operations. The author also shows how the resulting coaction formulas give rise to the Nishida relations. In the last part of the paper, the results are applied to \(p\)-local commutative \(S\)-algebras \(S/\!/p\) that are obtained from a certain cell attachment in commutative \(S\)-algebras.

Recommendations

• The Dyer-Lashof algebra and the Steenrod algebra for generalized homology and cohomology
• The power operation structure on Morava \(E\)-theory of height 2 at the prime 3
• Semistable models for modular curves and power operations for Morava E-theories of height 2
• Homology operations in the topological cyclic homology of a point
• The mod 2 homology of infinite loopspaces

Cites work

• BP: close encounters of the \(E_\infty\) kind
• scientific article; zbMATH DE number 866067 (Why is no real title available?)
• scientific article; zbMATH DE number 970068 (Why is no real title available?)
• Husemoller-Witt decompositions and actions of the Steenrod algebra

Cited in

(15)

• On the cooperation algebra of the connective Adams summand
• Secondary power operations and the Brown-Peterson spectrum at the prime \(2\)
• Topological equivalences of E-infinity differential graded algebras
• Homology operations and \(v _{n}\)-Bockstein operations
• The topological Hochschild homology of algebraic \(K\)-theory of finite fields
• \(\mathcal {E}_\infty \) ring spectra and elements of Hopf invariant 1
• Characteristics for \(\mathcal{E}_\infty\) ring spectra
• E_n-spectra and Dyer-Lashof operations
• Calculating obstruction groups for 𝐸_{∞} ring spectra
• Algebraic theories of power operations
• Mod 2 power operations revisited
• Cohomology rings of extended powers and of free infinite loop spaces
• The Brown-Peterson spectrum is not \(\mathbb{E}_{2 (p^2 + 2)}\) at odd primes
• Normed motivic spectra and power operations
• Homology operations in the topological cyclic homology of a point

This page was built for publication: Power operations and coactions in highly commutative homology theories

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