Equivariant Steenrod Operations

We introduce the notion of $\mathrm{R}$-Eulerian sequences for any $\mathcal{N}_\infty$-ring spectrum $\mathrm{R}$ of finite orientation order. We prove that each $\mathrm{R}$-Eulerian sequence determines a stable $\mathrm{R}$-cohomology operation. Furthermore, we show that the collection of $\mathrm{R}$-Eulerian sequences carries a natural additive and a multiplicative structure which is linear over the coefficient ring. As an application, we specialize to equivariant ordinary cohomology with coefficients in finite fields and construct genuine equivariant Steenrod operations for all finite groups.

💡 Research Summary

The paper introduces a broad and systematic framework for constructing genuine equivariant Steenrod operations for any finite group G, based on the notion of R‑Eulerian sequences associated to an N∞‑ring spectrum R of finite orientation order. After recalling the classical role of Steenrod operations in homotopy theory, the authors explain the limitations of existing equivariant Steenrod constructions, which have been essentially confined to the group C₂.

In Section 2 the authors generalize the extended power construction to the equivariant setting. For a G‑space or G‑spectrum X, a finite Π‑set T, and a (G×Π)‑family F, they define the (F,T)‑extended power D_F T(X) = (E F)_+ ∧_Π (X ∧ T). This yields genuine G‑spectra with a naïve Π‑action and provides the basic building blocks for equivariant power operations. The interaction of these powers with restriction, fixed points, geometric fixed points, and modified geometric fixed points is carefully analyzed.

Section 3 introduces equivariant orientations of certain G‑vector bundles and defines shifted power operations using these orientations. The shift is encoded by a finite orthogonal G‑representation V containing the trivial line, and the resulting operations respect V‑suspension isomorphisms.

The central new concept appears in Section 4: an R‑Eulerian sequence. For a given representation V, a V‑stable R‑Eulerian sequence χ is a sequence of homology classes in H_G^*(B G Σ_p; 𝔽_p) satisfying compatibility conditions that mimic the behavior of classical Steenrod squares. The main structural result (Theorem 4.17, called Main Theorem 1) shows that each such χ determines a stable R‑cohomology operation S_χ of degree ‖χ‖, which commutes with the V‑suspension isomorphism σ_V. Moreover, the collection of Eulerian sequences carries natural additive and multiplicative structures; the product ⊙ of a χ₁∈E(n) and χ₂∈E(m) lies in E(nm) and satisfies S_{χ₁⊙χ₂}=S_{χ₁}∘S_{χ₂} (Theorem 6.55). This abstractly encodes composition of genuine equivariant operations.

Section 5 proves a generalized Cartan formula (Theorem 5.8) that holds even when a Künneth isomorphism is unavailable, showing that the product of operations associated to two Eulerian sequences equals the operation associated to their ⊙‑product. The authors also outline a program for deriving Adem relations purely from the combinatorics of Eulerian sequences, using the fact that the two natural embeddings Σ_n×Σ_n→Σ_n≀Σ_n are conjugate.

In Section 6 the authors develop the theory of homotopy N∞‑rings shifted by V and define the ⊙‑product on the sets E(n) of V‑stable Eulerian sequences of weight n. They verify associativity, unitality, and compatibility with the associated cohomology operations, thereby providing a categorical model for the composition law in the equivariant Steenrod algebra.

Section 7 applies the machinery to ordinary equivariant cohomology with coefficients in a finite field 𝔽_p. By constructing explicit H𝔽_p‑Eulerian sequences in the homology of B G Σ_p, the authors obtain, for every finite group G and every integer k≥0, genuine stable operations:

• for p=2: Sq_k^{ρ_G,λ} and Sq_{k+1}^{ρ_G,λ},
• for odd p: P_{2εk}^{ρ_G,λ} and P_{2ε(k+1)}^{ρ_G,λ}, where λ runs over isomorphism classes of 1‑dimensional orthogonal G‑representations (real for p=2, complex with character factoring through C_p for odd p) and ρ_G denotes the regular representation. These operations commute with restriction to subgroups and with both geometric and modified geometric fixed‑point functors (Theorems 4.28, 4.32, 4.33). When G is trivial they recover the classical Steenrod squares and reduced powers; when G=C₂ they recover the known C₂‑equivariant Steenrod algebra.

The paper also discusses limitations: the full computation of H_G^*(B G Σ_p; 𝔽_p) is known only for very small groups (e.g., C₂), and for larger groups the list of Eulerian sequences constructed is far from exhaustive. Consequently, the authors do not claim that the operations obtained generate the entire equivariant Steenrod algebra for arbitrary G. Nevertheless, they formulate Conjecture 1.5, asserting that the set of operations arising from all Eulerian sequences should generate the equivariant Steenrod algebra A_G,p for any finite G, and pose Question 1.6 about whether a bounded weight n suffices.

Finally, the authors note that the framework applies to any N∞‑ring spectrum with finite orientation order, including complex‑oriented theories (Hℤ/p, ku, Morava E‑theories), real K‑theory, TMF, Johnson–Wilson theories, and higher EO‑theories. They leave open the problem of describing Adem relations in full generality and of determining whether every stable operation for such a spectrum can be realized by an Eulerian sequence.

In summary, the paper provides a powerful abstract machinery that unifies classical Steenrod operations, their C₂‑equivariant analogues, and new genuine equivariant operations for arbitrary finite groups, by translating the problem into the combinatorial language of Eulerian sequences within the homology of classifying spaces of wreath products. This opens a promising avenue for further structural and computational investigations in equivariant stable homotopy theory.