Normed motivic spectra and power operations

Tom Bachmann, Elden Elmanto, Jeremiah Heller

We use motivic colimits to construct power operations on the homotopy groups of normed motivic spectra admitting a (normed) map from HF_2. We establish enough of their standard pro…