Abstract:In this paper we extend equivariant infinite loop space theory to take into account multiplicative norms: For every finite group $G$, we construct a multiplicative refinement of the comparison between the $\infty$-categories of connective genuine $G$-spectra and space-valued Mackey functors, first proven by Guillou-May, and use this to give a description of connective normed equivariant ring spectra as space-valued Tambara functors. In more detail, we first introduce and study a general notion of homotopy-coherent normed (semi)rings, and identify these with product-preserving functors out of a corresponding $\infty$-category of bispans. In the equivariant setting, this identifies space-valued Tambara functors with normed algebras with respect to a certain normed monoidal structure on grouplike $G$-commutative monoids in spaces. We then show that the latter is canonically equivalent to the normed monoidal structure on connective $G$-spectra given by the Hill-Hopkins-Ravenel norms. Combining our comparison with results of Elmanto-Haugseng and Barwick-Glasman-Mathew-Nikolaus, we produce normed ring structures on equivariant algebraic K-theory spectra.

Separable commutative algebras in equivariant homotopy theory

Separable commutative algebras and Galois theory in stable homotopy theories

Galois extensions of structured ring spectra

A model for genuine equivariant commutative ring spectra away from the group order

A general Greenlees-May splitting principle

Separable algebras and coflasque resolutions

An algebraic criterion for the vanishing of bounded cohomology

Separable MV-algebras and lattice-ordered groups

The Picard group in equivariant homotopy theory via stable module categories

Rigid and Separable Algebras in Fusion 2-Categories

Uniqueness of real ring spectra up to higher homotopy

Separable MV-algebras and lattice-groups

The primitive spectrum of C*-algebras of etale groupoids with abelian isotropy

The homotopy theory of cyclotomic spectra, 10 years later

Equivariant algebraic $K$-theory of symmetric monoidal Mackey functors

Normed equivariant ring spectra and higher Tambara functors

Relative cyclotomic structures and equivariant complex cobordism

On Hopf Galois Extension of Separable Algebras

On the geometric fixed points of real topological cyclic homology

Separable and Frobenius Monoidal Hom-Algebras

The algebra of secondary homotopy operations in ring spectra