Proving a conjecture for fusion systems on a class of groups

DOI10.1016/J.JALGEBRA.2023.09.043MaRDI QIDQ6066497zbMATH OpenOpenAlexFDO

Authors Patrick Serwene

Publication date 16 November 2023

Published in Journal of Algebra (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2302.05203

zbMATH Keywords

blocks, saturated fusion system, exotic fusion systemfusion systems

Mathematics Subject Classification ID

Modular representations and characters (20C20) Representations of finite groups of Lie type (20C33) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20)

Abstract: We prove the conjecture that exotic and block-exotic fusion systems coincide holds for all fusion systems on exceptional $p$-groups of maximal nilpotency class, where $pgeq5$. This is done by considering a family of exotic fusion systems discovered by Parker and Stroth. Together with a previous result by the author, which we also generalise in this paper, and a result by Grazian and Parker this implies the conjecture for fusion systems on such groups. Considering small primes, there are no exotic fusion systems on $2$-groups of maximal class and for $p=3$, we prove block-exoticity of two exotic fusion systems described by Diaz--Ruiz--Viruel.

Review text

Let \(p\) be a prime and \(P\) a finite \(p\)-group. A fusion system on \(P\) is a category whose objects are the subgroups of \(P\) and whose morphisms are injective group homomorphisms between the subgroups of \(P\) fulfilling certain assumptions. If these morphisms satisfy two more additional axioms, such systems are said to be saturated. In this paper, all fusion systems are saturated. A finite group \(G\) determines a fusion system \(\mathcal{F}_{P}(G)\) on a Sylow \(p\)-subgroup \(P\) of G, if the morphisms are the conjugation maps induced by a fixed element in \(G\). A fusion system that can be constructed in this way is called realisable, whereas a fusion system which is not realisable is called exotic. Let \(k\) be an algebraically closed field with \(\mathrm{char}(k)=p\) and let \(b\) be a block of \(kG\). In this setting, one can define a fusion system on a defect group \(P\) of \(b\) by again defining the morphisms to be certain conjugation maps induced by an element in \(G\). This fusion system is then denoted by \(\mathcal{F}_{(P,e_{P})} (G, b)\), where \((P, e_{P})\) is a maximal \(b\)-Brauer pair. Not every fusion system \(\mathcal{F}\) can be constructed in this way, if it can we call \(\mathcal{F}\) block-realisable, otherwise block-exotic. In the books of \textit{M. Aschbacher} et al. [Fusion systems in algebra and topology. Cambridge: Cambridge University Press (2011; Zbl 1255.20001)] and \textit{D.A. Craven} [The theory of fusion systems. An algebraic approach. Cambridge: Cambridge University Press (2011; Zbl 1278.20001)], it has been conjectured that if \(\mathcal{F}\) is an exotic fusion system, then \(\mathcal{F}\) is block-exotic. In the paper under review, the author provides a contribution to the proof of the conjecture mentioned above. In particular, he proves the following: Theorem 1.2: Let \(p\geq 5\) and \(\mathcal{F}\) be a fusion system on a \(p\)-group of maximal class that is exceptional. If \(\mathcal{F}\) is an exotic fusion system, then \(\mathcal{F}\) is block-exotic.

Recommendations

• Block-exoticity of a family of exotic fusion systems
• Exotic fusion system on a subgroup of the Monster
• A reduction theorem for fusion systems of blocks.
• Fusion systems on a Sylow \(p\)-subgroup of \(G_2(p^n)\) or \(PSU_4(p^n)\)
• On exotic saturated fusion systems.

Cites work

• 3-blocks and 3-modular characters of \(G_ 2(q)\)
• A family of fusion systems related to the groups \(\mathrm{Sp}_4(p^a)\) and \(\mathrm G_2(p^a)\).
• A reduction theorem for fusion systems of blocks.
• All 𝑝-local finite groups of rank two for odd prime 𝑝
• Block-exoticity of a family of exotic fusion systems
• Character Table and Blocks of Finite Simple Triality Groups 3 D 4 (q)
• Derived categories and Deligne-Lusztig varieties. II.
• Die unipotenten charaktere von ²F₄(q²)
• Fusion systems in algebra and topology.
• Fusion systems on a Sylow \(p\)-subgroup of \(G_2(p^n)\) or \(PSU_4(p^n)\)
• Fusion systems on maximal class 3-groups of rank two revisited
• Fusion systems over a Sylow \(p\)-subgroup of \(\mathrm{G}_2(p)\)
• scientific article; zbMATH DE number 2129102 (Why is no real title available?)
• scientific article; zbMATH DE number 3771876 (Why is no real title available?)
• Introduction to block theory.
• Quasi-isolated blocks and Brauer's height zero conjecture.
• The blocks of finite general linear and unitary groups
• The Solomon system \({\mathcal F}_{\text{Sol}}(3)\) does not occur as fusion system of a 2-block.
• The theory of fusion systems. An algebraic approach.

Cited in

(1)

• Exotic fusion system on a subgroup of the Monster

This page was built for publication: Proving a conjecture for fusion systems on a class of groups

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