Mackey functors and sharpness for fusion systems (Q2354974)

Let \(p\) be a prime number and \(S\) a finite \(p\)-group. A \textit{Mackey functor} for a fusion system \(\mathcal F\) on the finite \(p\)-group \(S\) (over a commutative ring \(k\) with identity element) is a pair \(M = (M^*, M_*) : {\mathcal O}({\mathcal F}) \rightarrow \text{Mod}_k\) of a contravariant functor \(M^*\) and a covariant functor \(M_*\) from the orbit category \({\mathcal O}({\mathcal F})\) to the category \(\text{Mod}_k\) of \(k\)-modules satisfying a certain isomorphism condition and the Mackey decomposition formula. Based on the result of \textit{S. Jackowski} and \textit{J. E. McClure} [Topology 31, No. 1, 113--132 (1992; Zbl 0754.55014)] along with the work of \textit{A. Díaz} and \textit{A. Libman} [Adv. Math. 222, No. 6, 1943--1963 (2009; Zbl 1188.19001)], the authors establish the acyclicity of the higher limits, \(\underleftarrow{\text{lim}}^i_{\mathcal O(\mathcal F^c)} M^*|_{\mathcal O(\mathcal F^c)}\) for \(i >0\) by using the fact that the proto-Mackey functors on \(\mathcal O(\mathcal F^c)\) are the same as \(\mathcal F^c\)-truncated Mackey functors for \(\mathcal F\), where \(M^*\) is the contravariant part of the \(\mathcal F^c\)-restricted Mackey functor \(M = (M^*, M_*) : {\mathcal O}({\mathcal F^c}) \rightarrow \text{Mod}_{\mathbb Z_{(p)}}\). Motivated by the work of \textit{W. G. Dwyer} [Proc. Symp. Pure Math. 63, 197--220 (1998; Zbl 0891.55021)], the authors consider the sharpness conjecture for fusion systems: Let \(\mathcal F\) be a saturated fusion system on a finite \(p\)-group and \(M = (M^*, M_*) : {\mathcal O}({\mathcal F}) \rightarrow \text{Mod}_{\mathbb F_p}\) a Mackey functor over the full orbit category of \(\mathcal F\). Then the higher limits of the contravariant part \(M^*\) over the centric orbit category vanish, i.e., \(\underleftarrow{\text{lim}}^i_{\mathcal O(\mathcal F^c)} M^*|_{\mathcal O(\mathcal F^c)} = 0\) for \(i >0\). The authors confirm the sharpness conjecture for some special cases including some exotic fusion systems such as the finite group case (Theorem B), and the fusion systems defined on a \(p\)-group having an abelian subgroup of index \(p\) (Theorem C). (Note that not all saturated fusion systems are the fusion system of a properly chosen group.) An example showing that the restriction to \(\mathcal O(\mathcal F^c)\) of a Mackey functor for the fusion system \(\mathcal F\) may not be an \(\mathcal F^c\)-restricted Mackey functor for \(\mathcal F\) is given at the end of the paper.