Generation conjecture for genuine equivariant stable cohomology operations

Let \Gmr\Gmr be a finite group and let pp be a prime. For each ii, let \Ecal\Gmr,p(pi)\Ecal^{(p^i)}_{\Gmr,p} be the collection of integral \uprho\Gmr\uprho_{\Gmr}-stable \Hmr\FFp\Hmr\underline{\FF}_p-Eulerian sequences of weight pip^i, and write

S\Gmr,p:={\Sfrak\upchi:\upchii\Ecal\Gmr,p(pi)}.{\bf S}_{\Gmr,p}:=\{\Sfrak^{\upchi}:\upchi\in\bigsqcup_i\Ecal^{(p^i)}_{\Gmr,p}\}.

Let \Acal\Gmr,p\Acal_{\Gmr,p}^{\star} denote the algebra of genuine stable \uprho\Gmr\uprho_{\Gmr}-stable cohomology operations. Generation conjecture. The collection

S\Gmr,p{\bf S}_{\Gmr,p}

generates \Acal\Gmr,p\Acal_{\Gmr,p}^{\star} for every finite group \Gmr\Gmr and every prime pp. This predicts that all genuine stable cohomology operations in the stated equivariant setting are generated by operations associated to Eulerian sequences of pp-power weights; the source gives no resolution of the conjecture.

Sources & referencesView supporting material

Primary source

Prasit Bhattacharya, Alex Waugh, Mingcong Zeng and Foling Zou, “Equivariant Steenrod Operations”, arXiv:2511.09816 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.