Palmieri's nilpotence conjecture for the power operation on Ext

Let pp be a prime, let PP_* be the polynomial part of the dual Steenrod algebra, and let PP be its dual. Consider ExtP,(Fp,Fp)\operatorname{Ext}_P^{*,*}(\mathbb{F}_p,\mathbb{F}_p) and the algebra endomorphism

P0 ⁣:ExtPs,t(Fp,Fp)ExtPs,pt(Fp,Fp)\mathcal{P}^0\colon \operatorname{Ext}_P^{s,t}(\mathbb{F}_p,\mathbb{F}_p)\longrightarrow \operatorname{Ext}_P^{s,pt}(\mathbb{F}_p,\mathbb{F}_p)

induced by the ppth-power map on PP_*. Palmieri's nilpotence conjecture. For fixed s>0s>0, every z(P0)1ExtPs,t(Fp,Fp)z\in(\mathcal{P}^0)^{-1}\operatorname{Ext}_P^{s,t}(\mathbb{F}_p,\mathbb{F}_p) is nilpotent. Equivalently, for every zExtPs,t(Fp,Fp)z\in\operatorname{Ext}_P^{s,t}(\mathbb{F}_p,\mathbb{F}_p), there exists n0n\geq0 such that (P0)nz(\mathcal{P}^0)^n z is nilpotent. The conjecture is proved when p=2p=2, while the corresponding assertion for general primes remains open in the source.

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.