HHR Norms in Equivariant Stable Homotopy

• Hill–Hopkins–Ravenel norms are multiplicative induction functors in genuine equivariant stable homotopy theory that convert H-spectra to G-spectra through organized indexed smash products over finite G-sets.
• They satisfy key formal properties like transitivity, multiplicativity, and distributivity, and are systematically encoded via N∞-operads and Tambara functors to structure admissible norms.
• HHR norms play crucial roles in applications ranging from the Kervaire invariant one program and slice theory to equivariant factorization homology and topological Hochschild homology.

Hill–Hopkins–Ravenel norms are multiplicative induction functors in genuine equivariant stable homotopy theory. For subgroup inclusions $H\leq G$, they send genuine $H$-spectra to genuine $G$-spectra and realize multiplicative transfer by indexed smash products over finite $G$-sets, especially over orbits $G/H$. In the modern literature, they are the standard mechanism by which genuine equivariant commutative ring spectra acquire multiplicative structure beyond ordinary $E_\infty$-commutativity with group action; they govern admissible norms in $N_\infty$-operads, appear as the extra data remembered by Tambara functors, interact decisively with geometric fixed points and slice filtrations, and underlie constructions ranging from the Kervaire invariant one argument to equivariant factorization homology and twisted topological Hochschild homology (Bohmann, 2012, Blumberg et al., 2013, Miller, 2011).

1. Definition as indexed smash product

For a subgroup $H<G$ of finite index $n=[G:H]$, one spectrum-level model defines the norm as a multiplicative induction functor

$N_H^G:S^H\to S^G,$

where $H$0 and $H$1 denote categories of equivariant spectra. In the translation-groupoid formulation, one considers the groupoid $H$2 of the action of $H$3 on $H$4, uses an equivalence $H$5, and then applies the monoidal pushforward

$H$6

For $H$7,

$H$8

and the $H$9-action is induced by the morphisms $G$0 in the translation groupoid (Bohmann, 2012).

A complementary formulation uses an $G$1-fold smash power together with a wreath-product homomorphism. Choosing a transversal $G$2 for $G$3 in $G$4, one obtains

$G$5

where

$G$6

is determined by

$G$7

The comparison theorem states that, for compatible choices, the translation-groupoid construction and the wreath-product construction agree. Conceptually, the norm consists of two ingredients—choosing a transversal and taking an indexed smash product—and the order of these steps is inessential (Bohmann, 2012).

In the finite-group setting the norm is therefore not merely a smash power with permutation action. It is smash power organized by orbit decomposition, and that organization is precisely what makes the construction genuinely equivariant rather than naive. A closely related formulation used in later work writes the classical HHR norm as

$G$8

for $G$9 and a homomorphism $G$0 determined by ordered right $G$1-coset representatives (Wimmer, 2019).

2. Formal properties and operadic encoding

The norm functor satisfies the formal identities that make it the multiplicative analogue of induction. In the abstract symmetric monoidal setting, the standard properties are transitivity,

$G$2

multiplicativity,

$G$3

and a distributivity formula expressing the norm of a coproduct as a coproduct of induced norms. The internal norm is obtained by composing the norm with the adjunction map,

$G$4

natural in a commutative $G$5-monoid $G$6 and an $G$7-object $G$8 (Miller, 2011).

The operadic framework that classifies which norms are present is the theory of $G$9-operads. A $G/H$0-operad $G/H$1 is $G/H$2 if $G/H$3 is $G/H$4-contractible, each $G/H$5 has free $G/H$6-action, and $G/H$7 is universal for a family $G/H$8 containing all subgroups of the form $G/H$9. If $E_\infty$0 is a finite $E_\infty$1-set of cardinality $E_\infty$2, with graph subgroup $E_\infty$3, then $E_\infty$4 is admissible precisely when $E_\infty$5. The admissible sets assemble into an indexing system, and algebras over $E_\infty$6 in spectra admit exactly the HHR norms indexed by admissible sets (Blumberg et al., 2013).

This perspective makes the norm structure orbitwise. For a finite $E_\infty$7-set $E_\infty$8,

$E_\infty$9

and admissible maps $N_\infty$0 induce coherent multiplication maps $N_\infty$1 for $N_\infty$2-algebras $N_\infty$3. On $N_\infty$4, admissible orbits $N_\infty$5 produce multiplicative maps

$N_\infty$6

yielding incomplete Tambara functors when not all norms are allowed (Blumberg et al., 2013).

Recent work recasts this operadic picture in higher-categorical terms. The normed monoidal structure on connective genuine $N_\infty$7-spectra is identified with product-preserving functors on a bispan category, so that connective normed $N_\infty$8-ring spectra correspond to space-valued higher Tambara functors. The abstract normed structure on connective genuine $N_\infty$9-spectra is proved to be canonically equivalent to the normed monoidal structure given by the Hill–Hopkins–Ravenel norms (Cnossen et al., 2024).

3. Genuine equivariance, geometric fixed points, and incomplete norm systems

A fundamental distinction in the subject is between naive equivariant commutative structures and genuine equivariant commutative ring spectra. A genuine commutative $H<G$0-ring spectrum is not just an $H<G$1-algebra with $H<G$2-action: it carries HHR norm maps along subgroup inclusions, and those norms are absent in naive equivariant commutative ring spectra. This is why the symmetric monoidal structure on equivariant orthogonal spectra encodes more than the underlying $H<G$3-categorical symmetric monoidal structure (Wimmer, 2019).

Geometric fixed points retain this multiplicative data only when equipped with additional norm maps. For inclusions $H<G$4, one obtains natural transformations

$H<G$5

on geometric fixed points of a commutative $H<G$6-orthogonal ring spectrum $H<G$7. These satisfy transitivity,

$H<G$8

and compatibility with inflation along surjective homomorphisms. After inverting the orders of the relevant finite subgroups, genuine equivariant commutative ring spectra are modeled by diagrams over the full orbit category rather than its invertible subcategory, precisely because the noninvertible morphisms encode the norm maps (Wimmer, 2019).

A second structural point is that localization and splitting rarely preserve all norms. For the $H<G$9-local $n=[G:H]$0-sphere spectrum, Dress’s classification of primitive idempotents in the Burnside ring yields a splitting

$n=[G:H]$1

indexed by conjugacy classes of $n=[G:H]$2-perfect subgroups $n=[G:H]$3. The localized summand $n=[G:H]$4 carries only an incomplete norm structure. The precise survival criterion is that, for $n=[G:H]$5, the norm

$n=[G:H]$6

descends to the $n=[G:H]$7-local summand if and only if

$n=[G:H]$8

Equivalently, only the trivial idempotent factor retains all Hill–Hopkins–Ravenel norms; in general one gets a maximal incomplete $n=[G:H]$9- or Tambara structure determined by an indexing system $N_H^G:S^H\to S^G,$0 (Böhme, 2018).

These results correct a frequent oversimplification. Genuine equivariant multiplicative structure is not a binary property; it is often stratified by admissible sets, and localizations can preserve only a sparse remnant of the original norm system. The distinction between full and incomplete norm data is therefore intrinsic rather than technical (Böhme, 2018, Blumberg et al., 2013).

4. Role in slice theory, Real bordism, and chromatic constructions

The decisive application of HHR norms in the Kervaire invariant one program is the construction of highly structured cyclic-equivariant spectra from Real-oriented input. Starting from complex cobordism $N_H^G:S^H\to S^G,$1 with its $N_H^G:S^H\to S^G,$2-action by complex conjugation, one forms

$N_H^G:S^H\to S^G,$3

denoted $N_H^G:S^H\to S^G,$4 in the Hill–Hopkins–Ravenel notation. Neglecting the group action,

$N_H^G:S^H\to S^G,$5

while the homology is described by

$N_H^G:S^H\to S^G,$6

The norm is the device that promotes a $N_H^G:S^H\to S^G,$7-equivariant structure on $N_H^G:S^H\to S^G,$8 to a genuine $N_H^G:S^H\to S^G,$9-equivariant commutative ring-spectrum structure (Miller, 2011).

Within the slice-theoretic argument, norms organize the multiplicative refinement needed for purity and isotropy. The slice cells are built from inductions of representation spheres, and classes are produced by applying the internal norm to maps out of $H$00. The distributivity formula is used to show that a normed wedge of spheres becomes a wedge of regular isotropic slice cells, leading to the Slice Theorem: if $H$01 is a power of $H$02, then the $H$03-spectrum $H$04 is pure and isotropic. Norms also enter the Fixed Point Theorem through divisibility conditions stable under restriction of norms, and the Periodicity Theorem through orientation identities such as

$H$05

In this way the norm is the bridge between chromatic input from $H$06, slice-filtration control, fixed-point comparison, and periodicity in homotopy fixed points (Miller, 2011).

Later work extends this norm-based chromatic picture. The genuine $H$07-spectrum

$H$08

is proved cofree for all $H$09, meaning that

$H$10

is an equivalence, or equivalently $H$11 is an equivalence for every subgroup $H$12. The proof combines the Slice Theorem, chromatic hypercubes built from inverting normed classes such as $H$13, and formal closure properties of cofree spectra under homotopy limits (Carrick, 2021).

The localized slice spectral sequence gives another systematic interaction between norms and fixed points. For $H$14,

$H$15

and more generally

$H$16

In the $H$17 case this identifies a localized norm of $H$18 with a pullback of the $H$19-norm of $H$20, and after the $H$21-page the HHR slice differentials correspond bijectively to a family of Tate differentials for $H$22 (Meier et al., 2020).

Norms of Real bordism also serve as input to equivariant Lubin–Tate models. For $H$23, the norm

$H$24

produces equivariant generators $H$25, recursive relations among them, and normed periodicity elements $H$26. These data are then used to construct $H$27-equivariant Real oriented models of Lubin–Tate spectra at height

$H$28

with explicit formulas for the $H$29-action on coefficients (Beaudry et al., 2020).

5. Factorization homology, THH, and geometric generalizations

In genuine equivariant factorization homology, compatibility with Hill–Hopkins–Ravenel norms is taken as one of the defining indicators that the construction is the correct equivariant analogue of ordinary factorization homology. The theory assigns to a framed $H$30-manifold $H$31 and a genuine equivariant algebra $H$32 a genuine $H$33-object

$H$34

and is characterized by symmetric monoidality with respect to disjoint union, equivariant $H$35-excision, and assembly over equivariant disks. Norms appear because finite $H$36-sets index the relevant multiplicative operations: disjoint unions of $H$37-manifolds correspond to smash products, equivariant configuration spaces are organized by $H$38-orbits, and orbitwise assembly follows the same formal pattern as indexed smash products and HHR norms (Horev, 2019).

This relation becomes concrete in topological Hochschild-type theories. Real topological Hochschild homology is described as an instance of genuine equivariant factorization homology, and twisted THH of a $H$39-equivariant ring spectrum is expressed as a relative norm

$H$40

The twisted cyclic bar construction provides a point-set model, while the algebraic shadow is given by Mackey functor norms

$H$41

The resulting equivariant Bökstedt spectral sequence computes the homology of $H$42 from twisted Hochschild homology of graded Green functors, and the $H$43 calculation uses HHR-style multiplicative decompositions as input (Adamyk et al., 2020).

The identification of classical THH smash-power constructions with norms is particularly sharp in the comparison between the Bökstedt smash product and the norm. For a cofibrant orthogonal spectrum $H$44, there is an isomorphism in the homotopy category of $H$45-equivariant orthogonal spectra

$H$46

This establishes that the Bökstedt smash product is not merely analogous to the HHR norm but a model for it, with the same fixed-point behavior relevant to cyclotomic structures (Angeltveit et al., 2012).

A geometric extension beyond finite groups is proposed for compact Lie groups. For a positive-dimensional compact Lie group $H$47 and a closed subgroup $H$48, the proposed relative norm is defined by equivariant factorization homology over the $H$49-framed manifold $H$50,

$H$51

In the case $H$52, $H$53, this model agrees with the cyclic-bar norm constructed by Angeltveit, Gerhardt, Lawson, and the authors. However, several structural properties in this compact Lie setting are stated as expected or conjectural, including derived invariance under weak equivalence, full geometric fixed-point formulas, and iterated norm compatibilities (Blumberg et al., 2022).

6. Modern reformulations, computations, and open limitations

Recent work treats the HHR norms as the genuine equivariant multiplicative structure itself rather than as an auxiliary operation. In the higher-categorical recognition theorem for connective genuine $H$54-spectra, the comparison with space-valued Mackey functors becomes multiplicative only after adjoining coherent norm maps; the resulting normed $H$55-categories are equivalent to categories of higher Tambara functors built from bispans. This places the HHR norm on the same structural level as restriction and additive transfer, and identifies it as the specific ingredient that upgrades Mackey-theoretic additivity to Tambara-theoretic multiplicativity (Cnossen et al., 2024).

Explicit calculations show how large the resulting algebra can be even in low-dimensional examples. For the Klein-four group $H$56, the full norm of the constant-$H$57 Mackey functor satisfies

$H$58

while the intermediate norm from the diagonal subgroup satisfies

$H$59

The associated $H$60-graded Eilenberg–Mac Lane spectra exhibit highly nontrivial graded Tambara-functor structure, and these examples make concrete the principle that norms encode more than underlying Mackey functor data (Guillou et al., 16 Jul 2025).

Two recurrent misconceptions are therefore excluded by the literature. First, genuine equivariant commutative multiplication is not equivalent to ordinary commutativity with $H$61-action; the missing structure is precisely the collection of HHR norms (Wimmer, 2019). Second, one should not expect all reasonable equivariant multiplicative theories to carry all norms. $H$62-operads encode only admissible norms, idempotent localization of the sphere preserves at most an incomplete indexing system, and even localization at Euler classes retains only selected norms in the localized slice setting (Blumberg et al., 2013, Böhme, 2018, Meier et al., 2020).

A related structural subtlety is that equivariantly the little disks and linear isometries operads on an incomplete universe need not determine the same algebras. Their admissible sets are governed by different embedding conditions,

$H$63

so they can define genuinely different collections of norms (Blumberg et al., 2013). This suggests that HHR norms are best understood not as a single undifferentiated operation but as a family of indexed multiplicative transfers whose presence or absence reflects universe, operad, localization, and subgroup-lattice data.

In that sense, the contemporary view is precise: Hill–Hopkins–Ravenel norms are the multiplicative indexed-product operations that distinguish genuine equivariant stable homotopy theory from its naive counterpart, and their behavior is now tracked simultaneously by operads, Tambara functors, geometric fixed points, factorization homology, and explicit chromatic computations (Cnossen et al., 2024).