Operadic multiplications in equivariant spectra, norms, and transfers

TL;DR

This paper introduces N-infinity operads as a framework to understand homotopy-coherent equivariant multiplicative structures, clarifying the roles of norms and transfers in equivariant spectra and spaces.

Contribution

It defines N-infinity operads as equivariant generalizations of E-infinity operads, linking their properties to group actions and providing a conceptual understanding of equivariant infinite loop spaces.

Findings

N-infinity operads model homotopically commutative equivariant ring spectra.

They explicitly construct certain transfers in equivariant spaces.

Equivariantly, little disks and linear isometries operads may not determine the same algebras.

Abstract

We study homotopy-coherent commutative multiplicative structures on equivariant spaces and spectra. We define N-infinity operads, equivariant generalizations of E-infinity operads. Algebras in equivariant spectra over an N-infinity operad model homotopically commutative equivariant ring spectra that only admit certain collections of Hill-Hopkins-Ravenel norms, determined by the operad. Analogously, algebras in equivariant spaces over an N-infinity operad provide explicit constructions of certain transfers. This characterization yields a conceptual explanation of the structure of equivariant infinite loop spaces. To explain the relationship between norms, transfers, and N-infinity operads, we discuss the general features of these operads, linking their properties to families of finite sets with group actions and analyzing their behavior under norms and geometric fixed points. A surprising consequence of our study is that in stark contract to the classical setting, equivariantly the little disks and linear isometries operads for a general universe $U$ need not determine the same algebras. Our work is motivated by the need to provide a framework to describe the flavors of commutativity seen in recent work of the second author and Hopkins on localization of equivariant commutative ring spectra.