• Corpus ID: 131763341

Mod 2 power operations revisited

  title={Mod 2 power operations revisited},
  author={Dylan Wilson},
  journal={arXiv: Algebraic Topology},
  • D. Wilson
  • Published 30 April 2019
  • Mathematics
  • arXiv: Algebraic Topology
In this mostly expository note we take advantage of homotopical and algebraic advances to give a modern account of power operations on the mod 2 homology of $\mathbb{E}_{\infty}$-ring spectra. The main advance is a quick proof of the Adem relations utilizing the Tate-valued Frobenius as a homotopical incarnation of the total power operation. We also give a streamlined derivation of the action of power operations on the dual Steenrod algebra. 

Integral models for spaces via the higher Frobenius

We give a fully faithful integral model for spaces in terms of $\mathbb{E}_{\infty}$-ring spectra and the Nikolaus-Scholze Frobenius. The key technical input is the development of a homotopy coherent



Homology operations and power series

  • R. Steiner
  • Mathematics
    Glasgow Mathematical Journal
  • 1983
Bullett and Macdonald [1] have used power series to simplify the statement and proof of the Adem relations for Steenrod cohomology operations. In this paper I give a similar treatment of May's

Power operations and coactions in highly commutative homology theories

Power operations in the homology of infinite loop spaces, and $H_\infty$ or $E_\infty$ ring spectra have a long history in Algebraic Topology. In the case of ordinary mod p homology for a prime p,

Reduced Powers of Cohomology Classes

We shall present a set of new operations which interrelate the elements of the various dimensional cohomology groups of a space. They are topologically invariant, and provide sharper methods for

Representing Tate cohomology of G-spaces

  • J. Greenlees
  • Mathematics
    Proceedings of the Edinburgh Mathematical Society
  • 1987
Tate cohomology of finite groups [5] is very good at emphasising periodic cohomological behaviour and hence at the study of free actions on spheres [8]. Tate cohomology of spaces was introduced by

Q-rings and the homology of the symmetric groups

ly this defines a symmetric tensor product on the category of left Kmodules. It follows that K is a cocommutative bialgebra. More precisely, the comultiplication δ : K → K ⊗K can be defined as the

Stable power operations

For any $E_\infty$ ring spectrum $E$, we show that there is an algebra $\mathrm{Pow}(E)$ of stable power operations that acts naturally on the underlying spectrum of any $E$-algebra. Further, we show

Rational and p-adic homotopy theory

These are notes for a course taught at the Max-Planck Institute for Mathematics in Bonn in Summer 2016. They are in extremely preliminary form. Comments, corrections and remarks are welcome.

Topological cyclic homology

Topological cyclic homology is a refinement of Connes--Tsygan's cyclic homology which was introduced by Bokstedt--Hsiang--Madsen in 1993 as an approximation to algebraic $K$-theory. There is a trace

Stable $\infty$-Operads and the multiplicative Yoneda lemma

We construct for every $\infty$-operad $\mathcal{O}^\otimes$ with certain finite limits new $\infty$-operads of spectrum objects and of commutative group objects in $\mathcal{O}$. We show that these