Constant spectral Mackey functors and the equivariant Steenrod algebra

Abstract

For a finite group $G$, we define a constant spectral $G$-Mackey functor as a genuine $G$-spectrum in which the restrictions between categorical fixed points are equivalences. We further identify the full subcategory of constant spectral $G$-Mackey functors with the category of modules over a certain $\mathbb{E}_1$-ring spectrum $R_G$. When $G=C_{p^n}$ is a cyclic $p$-group, we provide an explicit construction of the $\mathbb{E}_1$-ring spectrum $R_{C_{p^n}}$. The proof uses a reconstruction theorem for genuine $C_{p^n}$-spectra, which might be of independent interest. As an application, we compute the $\mathbb{Z}$-graded $C_{p^n}$-equivariant mod $p$ Steenrod algebra.