Díaz–Park sharpness conjecture for fusion systems

Let SS be a finite pp-group, let F\mathcal{F} be a fusion system over SS, and let M=(M,M)M=(M_{*},M^{*}) be a Mackey functor over F\mathcal{F} on Fp\mathbb{F}_{p}. Write O(Fc)\mathcal{O}(\mathcal{F}^{c}) for the centric fusion orbit category, and let MO(Fc)O(F)M^{*}\downarrow_{\mathcal{O}(\mathcal{F}^{c})}^{\mathcal{O}(\mathcal{F})} denote the restriction of the contravariant part of MM to this subcategory. Díaz–Park's sharpness conjecture. The higher limits vanish:

limO(Fc)n(MO(Fc)O(F))=0\operatorname{lim}^{n}_{\mathcal{O}(\mathcal{F}^{c})}\left(M^{*}\downarrow_{\mathcal{O}(\mathcal{F}^{c})}^{\mathcal{O}(\mathcal{F})}\right)=0

for every n1n\geq 1. This generalizes the vanishing of higher limits of cohomology functors over centric fusion orbit categories, and would establish sharpness for the associated homology decomposition. The conjecture remains unresolved and has been the subject of recent research.

Sources & referencesView supporting material

Primary source

Marco Praderio Bova, “Higher limits over the fusion orbit category via centralizers of amalgams”, arXiv:2411.01352 (2024).

Additional references

3 papers in this index state this conjecture (2021–2024). The statement above is taken from the most recent of them; the others are arXiv:2209.07388, arXiv:2106.14094.

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.