Extensions of linking systems with \(p\)-group kernel (Q2384727)

A \(p\)-local finite group consists of a triple \((S,\mathcal{F},\mathcal{L})\) where \(S\) is a Sylow \(p\)-subgroup of a finite group, \(\mathcal{F}\) is a category defined in a suitable way which models the fusion category over \(S\) and \(\mathcal{L}\) is an extension of \(\mathcal{F}\) with the property that its \(p\)-completed nerve has similar properties as the \(p\)-completion of the classifying space of a finite \(p\)-group. An immediate example is when \(S\) is a Sylow \(p\)-subgroup of a finite group and its fusion system in \(G\). Examples that do not arise as Sylow \(p\)-subgroups of a finite group are called \textsl{exotic}. The authors study extensions of \(p\)-local finite groups with \(p\)-group kernel. That is, given a \(p\)-local finite group \((S,\mathcal{F},\mathcal{L})\) and a finite \(p\)-group \(A\), when can one find a \(p\)-local finite group \((\widetilde{S},\widetilde{\mathcal{F}},\widetilde{\mathcal{L}})\) with \(A\triangleleft \mathcal{F}\) and \((S,\mathcal{F},\mathcal{L})\cong (\widetilde{S}/A, \widetilde{\mathcal{F}}/A, \widetilde{\mathcal{L}}/A)\)? An important notion in the process of this study is that of a transporter category which is a category whose objects are subgroups of a given \(p\)-group \(S\), associated to a given fusion system and that satisfies suitable axioms. This is the right notion to study extensions of transporter systems. The main result is as follows. Consider a suitable defined extension \(1\to A\to\widetilde{\mathcal{T}}\to \mathcal{T}\to 1\) when \(\mathcal{T}\) is a full subcategory of the transporter category of a finite group \(G\). Under a suitable condition of the action of \(\pi_1(| \mathcal{T}| )\) on \(A\), one has that \(\widetilde{\mathcal{T}}\) will be a full subcategory of the transporter category of some group \(\widetilde{G}\) such that \(\widetilde{G}/A\cong A\). Then the authors give examples where the above condition does not hold showing examples where \(\widetilde{\mathcal{T}}\) is associated to exotic fusion systems \(\widetilde{\mathcal{F}}\).