The centralizer fusion-system conjecture for normal pairs

Let ((S,F),(T,E))((S,\mathcal{F}),(T,\mathcal{E})) be a normal pair of fusion systems realized by a normal pair (G,H)(G,H) of finite groups. Write Op(H)O_{p'}(H) for the largest normal subgroup of HH of order prime to pp. Let CS(H)C_S(H) be the centralizer of HH in SS, CG(H)C_G(H) the centralizer of HH in GG, and FCS(H)(CG(H))\mathcal{F}_{C_S(H)}(C_G(H)) the fusion system induced by CG(H)C_G(H) on CS(H)C_S(H). Centralizer fusion-system conjecture. If Op(H)=1O_{p'}(H)=1, then

CF(E)=FCS(H)(CG(H)).C_\mathcal{F}(\mathcal{E})=\mathcal{F}_{C_S(H)}(C_G(H)).

This strengthens the preceding proposed equality by identifying the entire centralizer fusion system, rather than only its underlying centralizer subgroup. The source gives no resolution evidence, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Jason Semeraro, “Centralizers of Subsystems of Fusion Systems”, arXiv:1402.4981 (2014).

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.