The one-step nilpotence conjecture for Palmieri's power operation

Let pp be a prime and let P0\mathcal{P}^0 be the endomorphism of ExtP,(Fp,Fp)\operatorname{Ext}_P^{*,*}(\mathbb{F}_p,\mathbb{F}_p) induced by the ppth-power map on the polynomial part of the dual Steenrod algebra. One-step nilpotence conjecture. For every zExtPs,t(Fp,Fp)z\in\operatorname{Ext}_P^{s,t}(\mathbb{F}_p,\mathbb{F}_p), the element P0z\mathcal{P}^0z is nilpotent. This strengthens Palmieri's preceding conjecture by asserting that one may take n=1n=1; the source says it is suggested by hand and computer calculations when p=2p=2, and does not state a resolution.

Sources & referencesView supporting material

Primary source

Carles Broto, Nguyen H V Hung, Nicholas J Kuhn, John H Palmieri, Stewart Priddy and Nobuaki Yagita, “Algebraic Topology (Hanoi, August 2004): The problem session”, arXiv:0903.5034 (2009).

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.