On Fusion in Unipotent Blocks

From MaRDI portal





The main result of this paper is: Theorem 7. Let \(({\mathbf G},F)\) be a connected reductive group defined over \(\mathbb{F}_q\), and let \(\ell\) be an odd prime, good for \(\mathbf G\), not dividing \(q\) and unequal to 3 if \(({\mathbf G},F)\) involves rational type \(^3{\mathbf D}_4\). Let \(e\) be the order of \(q\pmod\ell\). Let \(({\mathbf L},\lambda)\) be a unipotent \(e\)-cuspidal pair of \(\mathbf G\), thus defining an \(\ell\)-block \(b^F_{\mathbf G}({\mathbf L},\lambda)\), and let \(\mathbf T\) be a maximally split torus of \([\mathbf{L,L}]C^\circ_{\mathbf G}[\mathbf{L,L}]\). Let \(D\) be a Sylow \(\ell\)-subgroup of \(C^\circ_{\mathbf G}([\mathbf{L,L}])^F\), hence a defect group of \(b_{{\mathbf G}^F}({\mathbf L},\lambda)\). Then there exists a subgroup \(H\) of \(N_{{\mathbf G}^F}([\mathbf{L,L}],\text{Res}^{{\mathbf L}^F}_{[\mathbf{L,L}]^F}(\lambda))\) and an \(\ell'\)-subgroup \(T\) of \({\mathbf T}^F\) such that: (i) \(C^\circ_{\mathbf G}([\mathbf{L,L}])^F \leq H\cap([\mathbf{L,L}]C^\circ_{{\mathbf G}_F}([\mathbf{L,L}])) \leq TC^\circ_{\mathbf G}(\mathbf{L,L})^F\), \(H[\mathbf{L,L}]^F = N_{{\mathbf G}^F}([\mathbf{L,L}],\text{Res}^{{\mathbf L}^F}_{[\mathbf{L,L}]^F}(\lambda))\); (ii) \(D\) is a Sylow \(\ell\)-subgroup of \(H\); (iii) \(H\) is a \(b_{{\mathbf G}^F}({\mathbf L},\lambda)\)-control subgroup of \({\mathbf G}^F\). Remark 8: The above theorem implies that the ``Brauer category of \(b_{{\mathbf G}^F}({\mathbf L},\lambda)\) is very close to that of the principal block of a finite reductive group suitably extended by a group of diagram automorphisms. Certain examples suggest that the corresponding module categories of the block algebras should be in some sense equivalent.











This page was built for publication: On Fusion in Unipotent Blocks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4265912)