Palmieri's nilpotence conjecture for the power operation on Ext

About 17 years old · traced to

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

P0 ⁣:Ext⁡Ps,t(Fp,Fp)⟶Ext⁡Ps,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 P∗P_*. Palmieri's nilpotence conjecture. For fixed s>0s>0, every z∈(P0)−1Ext⁡Ps,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 z∈Ext⁡Ps,t(Fp,Fp)z\in\operatorname{Ext}_P^{s,t}(\mathbb{F}_p,\mathbb{F}_p), there exists n≥0n\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.

References

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.