Fusion systems with J-components over \(F_{2^e}\) with \(e>1\) (Q2687983)

Let \(p\) be a prime and \(S\) a finite \(p\)-group. A fusion system on \(S\) is a category \(\mathcal{F}\) whose objects are the subgroups of \(S\), and for subgroups \(P, Q\) of \(S\), the set \(\mathrm{hom}_{\mathcal{F}}(P, Q)\) of morphisms from \(P\) to \(Q\) is a set of injective group homomorphisms from \(P\) to \(Q\), and that set satisfies two weak axioms. The standard example is the fusion system \(\mathcal{F}_{S}(G)\) for \(G\) a finite group and \(S \in \mathrm{Syl}_{p}(G)\), whose morphisms are those induced via conjugation in \(G\). A fusion system is saturated if it satisfies two more axioms easily seen to hold in the standard example using Sylow's Theorem. The results in this paper are part of a program to classify a large subclass of the class of simple 2-fusion systems of component type, and to use the theorem on fusion systems to simplify the classification of finite simple groups (such a program is illustrated by the author in [On fusion systems of component type. Providence, RI: American Mathematical Society (AMS) (2019; Zbl 1481.20001)]). The content of this article is very technical. Let \(K\) be a finite simple group of Lie type over a field of even order \(q > 2\) and \(K \not = \, ^{2}F_{4}(q)\). The main theorem is dedicated to determining the fusion systems \(\mathcal{F}\) of \(\mathrm{J}\)-component type with a fully centralized involution \(j\) such that \(C_{\mathcal{F}}(j)\) has a component realized by \(K\). (The author announces that case \(K = \, ^{2}F_{4}(q)\) will be treated in a subsequent paper.)