edbaf470e735d294.tex
1: \begin{abstract}
2: The Benson-Solomon systems comprise a one-parameter family of simple exotic
3: fusion systems at the prime $2$.  The results we prove give significant
4: additional evidence that these are the only simple exotic $2$-fusion systems,
5: as conjectured by Solomon.  We consider a saturated fusion system $\F$ having
6: an involution centralizer with a component $\C$ isomorphic to a Benson-Solomon
7: fusion system, and we show under rather general hypotheses that $\F$ cannot be
8: simple. Furthermore, we prove that if $\F$ is almost simple with these
9: properties, then $\F$ is isomorphic to the next larger Benson-Solomon system
10: extended by a group of field automorphisms. Our results are situated within
11: Aschbacher's program to provide a new proof of a major part of the
12: classification of finite simple groups via fusion systems.  One of the most
13: important steps in this program is a proof of Walter's Theorem for fusion
14: systems, and our first result is specifically tailored for use in the proof of
15: that step. We then apply Walter's Theorem to treat the general Benson-Solomon
16: component problem under the assumption that each component of an involution
17: centralizer in $\F$ is on the list of currently known quasisimple $2$-fusion
18: systems.
19: \end{abstract}
20: