Sharpness problem for the subgroup spectral sequence of a p-local finite group

Let (S,F,L)(S, {\mathcal F}, {\mathcal L}) be a pp-local finite group. The groups E2p,qE_2^{p,q} are the higher limits of the functor assigning to each object its mod-pp cohomology:

E2p,q=limpOc(F)Hq(;Fp).E_2^{p,q}=\underset{{\mathcal O}^c({\mathcal F})}{\lim{}^p}\,H^q(-;{\mathbb F}_p).

Sharpness problem. For every p>0p>0 and q0q\geq 0,

E2p,q=limpOc(F)Hq(;Fp)=0.E_2^{p,q}=\underset{{\mathcal O}^c({\mathcal F})}{\lim{}^p}\,H^q(-;{\mathbb F}_p)=0.

This vanishing would make the associated spectral sequence sharp. For fusion systems realized by a finite group, the statement is proved by Diaz and Park; the general case for pp-local finite groups is the problem posed here.

Sources & referencesView supporting material

Primary source

Ergun Yalcin, “LHS-spectral sequences for regular extensions of categories”, arXiv:2305.02000 (2024).

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.