EMOIRS M of the American Mathematical Society
Number 986
The Generalized Fitting Subsystem of a Fusion System Michael Aschbacher
January 2011 • Volume 209 • Number 986 (end of volume) • ISSN 0065-9266
American Mathematical Society
Number 986
The Generalized Fitting Subsystem of a Fusion System
Michael Aschbacher
January 2011 • Volume 209 • Number 986 (end of volume) • ISSN 0065-9266
Library of Congress Cataloging-in-Publication Data Aschbacher, Michael, 1944- The generalized fitting subsystem of a fusion system / Michael Aschbacher. p. cm. — (Memoirs of the American Mathematical Society, ISSN 0065-9266 ; no. 986) “January 2011, Volume 209, number 986 (end of volume).” Includes bibliographical references. ISBN 978-0-8218-5303-0 (alk. paper) 1. Sylow subgroups. 2. Algebraic topology. I. Title. QA174.2.A83 2011 512.2—dc22 2010038097
Memoirs of the American Mathematical Society This journal is devoted entirely to research in pure and applied mathematics. Publisher Item Identifier. The Publisher Item Identifier (PII) appears as a footnote on the Abstract page of each article. This alphanumeric string of characters uniquely identifies each article and can be used for future cataloguing, searching, and electronic retrieval. Subscription information. Beginning with the January 2010 issue, Memoirs is accessi- ble from www.ams.org/journals. The 2011 subscription begins with volume 209 and consists of six mailings, each containing one or more numbers. Subscription prices are as follows: for pa- per delivery, US$741 list, US$592.80 institutional member; for electronic delivery, US$667 list, US$533.60 institutional member. Upon request, subscribers to paper delivery of this journal are also entitled to receive electronic delivery. If ordering the paper version, subscribers outside the United States and India must pay a postage surcharge of US$69; subscribers in India must pay a postage surcharge of US$95. Expedited delivery to destinations in North America US$58; else- where US$167. Subscription renewals are subject to late fees. See www.ams.org/help-faq for more journal subscription information. Each number may be ordered separately; please specify number when ordering an individual number. Back number information. For back issues see www.ams.org/bookstore. Subscriptions and orders should be addressed to the American Mathematical Society, P. O. Box 845904, Boston, MA 02284-5904 USA. All orders must be accompanied by payment. Other correspondence should be addressed to 201 Charles Street, Providence, RI 02904-2294 USA. Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294 USA. Requests can also be made by e-mail to [email protected].
Memoirs of the American Mathematical Society (ISSN 0065-9266) is published bimonthly (each volume consisting usually of more than one number) by the American Mathematical Society at 201 Charles Street, Providence, RI 02904-2294 USA. Periodicals postage paid at Providence, RI. Postmaster: Send address changes to Memoirs, American Mathematical Society, 201 Charles Street, Providence, RI 02904-2294 USA. c 2010 by the American Mathematical Society. All rights reserved. This publication is indexed in Science Citation IndexR , SciSearchR , Research AlertR , CompuMath Citation IndexR , Current ContentsR /Physical, Chemical & Earth Sciences. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10987654321 151413121110
Contents
Introduction 1 Chapter 1. Background 7 Chapter 2. Direct products 11
Chapter 3. E1 ∧E2 17 Chapter 4. The product of strongly closed subgroups 23 Chapter 5. Pairs of commuting strongly closed subgroups 25 Chapter 6. Centralizers 33 Chapter 7. Characteristic and subnormal subsystems 39
Chapter 8. T F0 49 Chapter 9. Components 61
Chapter 10. Balance 67 Chapter 11. The fundamental group of F c 71 Chapter 12. Factorizing morphisms 77 Chapter 13. Composition series 83 Chapter 14. Constrained systems 87 Chapter 15. Solvable fusion systems 91 Chapter 16. Fusion systems in simple groups 95 Chapter 17. An example 105 Bibliography 109
iii
Abstract
The notion of a fusion system was first defined and explored by Puig, in the context of modular representation theory. Later, Broto, Levi, and Oliver extended the theory and used it as a tool in homotopy theory. We seek to build a local theory of fusion systems, analogous to the local theory of finite groups, involving normal subsystems and factor systems. Among other results, we define the notion of a simple system, the generalized Fitting subsystem of a fusion system, and prove the L-balance theorem of Gorenstein and Walter for fusion systems. We define a notion of composition series and composition factors, and prove a Jordon-H¨older theorem for fusion systems.
Received by the editor December 19, 2007. Article electronically published on July 21, 2010; S 0065-9266(2010)00621-5. 2010 Mathematics Subject Classification. Primary 20D20, 55R35. This work was partially supported by NSF-0504852.
c 2010 American Mathematical Society
v
Introduction
Fusion systems were defined and first studied by L. Puig, although Puig calls these objects Frobenius categories rather than saturated fusion systems; see in par- ticular [P1]and[P2]. Our introduction to the subject was from [BLO], and we adopt the notation and terminology found there. Puig developed his theory of Frobenius categories primarily as a tool in the modular representation theory of finite groups. The work of Broto, Levi, and Oliver in [BLO], and later work by these authors and other homotopy theorists, was motivated by the study of the p-local homotopy theory of classifying spaces of finite groups and compact Lie groups. In particular, Broto, Levi, and Oliver define new objects called p-local finite groups, consisting of a saturated fusion system, together with an associated linking system, which possesses a p-completed classifying space. Our motivation is a bit different. We seek to translate results from the local theory of finite groups into the setting of saturated fusion systems, and use those results to prove theorems about fusion systems. Then we seek to use such theorems to in turn prove theorems about finite groups. We believe some theorems about finite groups have easier proofs in the category of fusion systems. In particular we hope to simplify portions of the proof of the classification of the finite simple groups using this approach. Thus this memoir continues our program (begun in [A1]) to translate results from the local theory of finite groups into the setting of saturated fusion systems. The reader is directed to [BLO] for basic notation and terminology involving fu- sion systems, and to [FGT] for notation and terminology involving finite groups. However in section 1 we review some basic material on fusion systems. The definition of a fusion system appears in Definition 1.1 in [BLO], and the definition of a saturated fusion system appears in Definition 1.2 in [BLO]. Both definitions can also be found in section 1 of this memoir. Let p be a prime and S a finite p-subgroup. Roughly speaking, a fusion system on S is a category F whose objects are the subgroups of S, and such that the set homF (P, Q) of morphisms from a subgroup P to a subgroup Q of S is a set of injective group homomorphisms from P into Q satisfying some weak axioms. If G is a finite group and S ∈ Sylp(G), F then S(G) is the fusion system on S such that homFS (G)(P, Q) consists of the g conjugation maps cg : P → Q for g ∈ G with P ≤ Q. Again, roughly speaking, F is saturated if it satisfies some axioms which are easily verified for FS (G)using Sylow’s Theorem. Let F be a saturated fusion system on S.In[A1] we defined the notion of a normal subsystem of F. The definition is repeated in section 1 of this memoir. Puig in [P1] and Linckelmann in [L], also define their own notions of “normal subsystem”. In each case, their normal subsystems are the same as our F-invariant subsystems, so their notions of normality are weaker than ours. However there is a
1
2 MICHAEL ASCHBACHER subtlety here: To Linckelmann, the term “subsystem” means saturated subsystem, so his notion is closer to ours than that of Puig, differing only in the condition (N1). (cf. section 1) Our definition is chosen to insure that the following property ∗ is satisfied: If G is a finite group with F (G)=Op(G), and F = FS (G), then the map H →FS∩H (H) is a bijection between the normal subgroups of G and the normal subsystems of F. In [A1] we also defined the factor system F/T for each subgroup T of S strongly closed in S with respect to F. The definition is the same as that of Puig in [P1]. In this memoir we begin to establish properties of normal subsystems and factor systems of saturated fusion systems. Here are some of our main results. Let p be a prime and F a saturated fusion system on a finite p-group S.In Example 6.4 of [A1], we saw that the intersection E1 ∩E2 of normal subsystems Ei of F need not be normal in F. However this is not a serious problem, since it develops that E1 ∩E2 is not quite the right object to consider. Rather in section 3 we prove:
Theorem 1. Let Ei be a normal subsystem of F on a subgroup Ti of S,for i =1, 2. Then there exists a normal subsystem E1 ∧E2 of F on T1 ∩ T2 contained in E1 ∩E2. Moreover, E1 ∧E2 is the largest normal subsystem of F normal in E1 and E2. The next result probably already appears somewhere in the literature in the special case where F = FS(G) is the system of a finite group G on a Sylow p- subgroup S of G. I have not been able to find a reference to such a theorem, but then I haven’t looked seriously. It would be a bit surprising if the result were not known for finite groups.
Theorem 2. Assume Ti, i =1, 2, are strongly closed in S with respect to F. Then T1T2 is strongly closed in S with respect to F.
If H1 and H2 are normal subgroups of a group G,thenH1H2 G.The analogue of this result may hold for saturated fusion systems. Here we content ourselves with a proof only in a very special case; this case suffices for our most immediate applications.
Theorem 3. Assume Ei F on Ti for i =1, 2, and that [T1,T2]=1.Then there exists a normal subsystem E1E2 of F on T1T2.FurtherifT1 ∩ T2 ≤ Z(Ei) for i =1, 2,thenE1E2 is a central product of E1 and E2.
In section 2 we discuss the direct product F1 ×F2 of fusion systems F1 and F2. Some of the results in this section appear already in section 1 of [BLO]; see in particular 1.5 in [BLO]. A central product F1 ×Z F2 is a factor system (F1 ×F1)/Z, for some Z ≤ Z(F1 ×F2) such that Z ∩Fi =1fori =1, 2. Theorem 3 bears some resemblance to earlier theorems about finite groups due to Gorenstein-Harris in [GH], and Goldschmidt in [Go2]. Namely in each of these papers, the authors prove the existence of certain normal subgroups of a group G under the hypothesis that for S ∈ Syl2(G), there are subgroups Ti of S for i =1, 2, such that [T1,T2]=1andTi is strongly closed in S with respect to G. Let E F be a system on T . In 6.7 we show the set of subgroups Y of CS(T ) such that E≤CF (Y ) has a largest member CS(E), and CS(E) is strongly closed in S with respect to F. Then in section 6 we define the centralizer in F of E to be a certain fusion system CF (E)onCS(E), and we prove:
INTRODUCTION 3
Theorem 4. E F E F ∈ E fc If then CF ( ) ,andforX CF ( ) , AutCF (E)(X) p = O (AutCF (T )(X))AutCS (E)(X). In section 7 we find that there is a characteristic subsystem Op(F)ofF on the subgroup [S, Op(F)] defined by p p fc [S, O (F)] = [U, O (AutF (U))] : U ∈F . The group [S, Op(F)] is the F-hyperfocal subgroup of S defined in Chapter 13 of [F]; this subgroup also appears in [BCGLO2]. Moreover in Theorem 13.6 of [P2], Puig shows that there exists a saturated F-invariant subsystem on the hyperfocal subgroup (which Puig calls the hyperfocal subcategory). Similarly in section 4 of [BCGLO2], it is shown that there exists a unique saturated subsystem of “p-power index” on the hyperfocal subgroup. In section 8 we show: Theorem 5. Let E F on T ,andT ≤ R ≤ S. Then there exists a unique saturated fusion subsystem RE of F on R such that Op(RE)=Op(E).Inparticular F = SOp(F). Part of the proof of this result was suggested by the proof of Theorem 4.6 in [BCGLO2]. p If F = FS (G) for some finite group G with S ∈ Sylp(G), then by 7.7, O (F)= p FS∩Op(G)(O (G)). Define F to be simple if F has no proper nontrivial normal subsystems. Define F to be quasisimple if F = Op(F)andF/Z(F) is simple. Define the components of F to be the subnormal quasisimple subsystems of F. Recall Op(F) is the largest subgroup of S normal in F. Define E(F) to be the normal subsystem of F generated by the set Comp(F) ∗ of components of F (which exists by Theorem 1), and set F (F)=E(F)Op(F). We call F ∗(F)thegeneralized Fitting subsystem of F. Of course all of these notions are similar to the analogous notions for groups. In section 9 we prove: Theorem 6. (1) E(F) is a characteristic subsystem of F. (2) E(F) is the central product of the components of F. (3) Op(F) centralizes E(F). ∗ ∗ (4) CF (F (F)) = Z(F (F)). In section 10 we prove a version of the Gorenstein-Walter theorem on so called L-balance [GW]:
Theorem 7. For each fully normalized subgroup X of S, E(NF (X)) ≤ E(F). It is worth noting that the proof of L-balance for a group G requires that the components of G/Op (G) satisfy the Schreier conjecture, or when p =2,aweak version of the Schreier conjecture due to Glauberman. Our proof of Theorem 7 requires no deep results. The theorem does not quite imply L-balance for groups, since there is not a nice one to one correspondence between quasisimple groups and quasisimple fusion systems. The proof can be translated into the language of groups, but even there at some point one seems to need some result like Theorem A of Goldschmidt in [Go2], which is only proved for p = 2 without the classification. Still, something is going on here, which suggests that in studying fusion systems, one may be lead to new theorems or better proofs of old theorems about finite
4 MICHAEL ASCHBACHER groups. Indeed examples show that some steps in the Classification of the finite simple groups have easier proofs in the category of saturated 2-fusion systems, and that often it is possible to translate such results back to the category of finite groups, to obtain simplifications of the corresponding parts of the proof of the Classification. In section 5 of [BCGLO2], the authors of that paper study what they call “subsystems of F of index prime to p”. In particular [BCGLO2] parameter- izes such subsystems via the subgroups of a certain group Γp (F), and prove ∼ c p c c Γp (F) = π1(F )/O (π1(F )), where π1(F ) is the fundamental group of the cen- tric subcategory F c of F. In our next theorem, we show the normal subsystems of F on S are the subsys- c ∼ tems corresponding to the normal subgroups of Γp (F), and that π1(F ) = Γp (F). More generally, in section 11 we state and give alternate proofs for some of the results from section 5 of [BCGLO2] in the language of normal subsystems, using our theory of such subsystems. To begin, we need to recall some definitions. From 3.11, there exists a smallest p p normal subsystem O (F)ofF on S.ForP ≤ S, define B(P )=O (AutF (P )). By parts (1) and (3) of 5.2 in [A1], B is a constricted F-invariant map on S.Set B = E(B). By 5.5 in [A1], B is an F-invariant subsystem of F. In Definition 3.3 p of [BCGLO2], the subsystem B is denoted by O∗ (F). In Definition 3.1 of [BCGLO2], the authors define a subsystem of F prime to p to be a saturated subsystem E on S containing B. Then on page 44 of [BCGLO2], they (essentially) define 0 c AutF (S)=α ∈ AutF (S):α|P ∈ homB(P, S)forsomeP ∈F . 0 As B is F-invariant, AutF (S) AutF (S), so we can define 0 Γp (F)=AutF (S)/AutF (S).
The fundamental group π1(C) of a small category C is a standard notion from the theory of symplicial sets; see section 11 for the definition in the special case of the small category F c. We can at last state our next theorem:
c ∼ Theorem 8. (1) π1(F ) = Γp (F). 0 (2) The map E → AutE (S)/AutF (S) is a bijection between the set of normal subsystems of F on S and the set of normal subgroups of Γp (F). p 0 c (3) F = O (F) iff AutF (S)=AutF (S) iff π1(F )=1. (4) F is simple iff the following hold: (a) For each normal subsystem D of F on a subgroup D of S, we have D = S. 0 (b) AutF (S)=AutF (S). Theorem 8 is proved in section 11. A homomorphic image of F is a fusion system which is the image of F under a surjective morphism of fusion systems. Recall that a subgroup T of S is strongly closed in S with respect to F if for each P ≤ T and φ ∈ homF (P, S), Pφ ≤ T . Given a strongly closed subgroup T of S, in section 8 of [A1] we defined a factor system F/T of F on S/T ,andshowed that F/T is a saturated fusion system. In Definition 12.13 we define a functor Θ=ΘF,T from F to F/T and prove:
INTRODUCTION 5
Theorem 9. (1) For each subgroup T of S strongly closed in S with respect to F, ΘF,T : F→F/T is a surjective morphism of fusion systems. (2) The map T →F/T is a bijection between the set of strongly closed subgroups of S and the set of isomorphism classes of homomorphic images of F.
In [P1], Puig defines the same factor system and proves the map ΘF,T is a surjective morphism of fusion systems, although using a different approach. Given our notions of normal subsystem and factor system, it becomes possible in Definitions 13.1 and 13.3 to define the notion of a composition series λ for F and its family F (λ) of factors. From 13.5, all factors of λ aresimplesystems.Thenin section 13 we prove: Theorem 10 (Jordon-H¨older Theorem for fusion systems). If λ and μ are composition series for F then λ and μ have the same length and F (λ)=F (μ). Given Theorem 10, we can define the composition factors of F to be the family F (λ) of factors for any composition series λ of F. A saturated fusion system is said to be exotic if it is not the fusion system FS(G) of any finite group G with Sylow group S. Exotic fusion systems are known to exist; indeed we describe one in section 17. In the remainder of the paper we study solvable fusion systems and the com- position factors of fusion systems of groups. We find that some of those factors are exotic, so already even in the study of the fusion systems of finite groups, it is necessary to pass to more general systems. The fusion system of order p is the system FG(G), where G is the group of order p. Define F to be solvable if all composition factors of F are of order p. Fusion systems of p-solvable groups are solvable, but by Theorem 11 below, while each solvable system is the fusion system of a finite group, there are many non-p- solvable groups with solvable fusion systems. There is an alternate definition of solvability for fusion systems due to Puig in section 19 of [P2]. There Puig defines F to be solvable if a certain series of invariant subsystems descends to the identity. Puig’s series is analogous to the derived series in a group, so his definition of solvability is as natural as the one given above. However it turns out that F is solvable in Puig’s sense iff F = FS(G) for some p-solvable group with S ∈ Sylp(G), so the two notions of solvability of fusion systems define different classes of fusion systems. The fusion system F is constrained if F has a normal centric subgroup. A ∗ model for F is a finite group G such that S ∈ Sylp(G), F (G)=Op(G), and F = FS (G). Write G(F) for the set of models of F.IfG(F) = ∅ then F is constrained. Conversely by the fundamental result Proposition C in [BCGLO1], if F is constrained then G(F) = ∅ and all models for F are isomorphic. Section 15 contains various conditions on a saturated fusion system F which are equivalent to the solvability of F. Most of these equivalences are easy to prove. However in section 15 we also prove the following result, whose proof seems to require the classification of the finite simple groups: Theorem 11. The saturated fusion system F is solvable iff F is constrained, and for G ∈G(F), all composition factors of G of order divisible by p are of order p or p-Goldschmidt.
AgroupG with Sylow p-subgroup S is p-Goldschmidt if FS (G)=FS(NG(S)). Using the classification of finite simple groups and a result of Flores and Foote and
6 MICHAEL ASCHBACHER
Foote in [FF]and[F], one can enumerate the simple p-Goldschmidt groups; the list appears in Theorem 15.6. By Theorem 10, if E is a composition factor of the system of some finite group, then E is a composition factor of FS (G) for some finite simple group G and 1 = S ∈ Sylp(G). If FS (G) is simple, then E = FS (G), but (as Theorem 11 shows) even though G is simple, FS (G) need not be simple. Suppose F = FS(G) for some nonabelian finite simple group G and S ∈ Sylp(G), but F is not simple. Then there is a proper nontrivial normal subsys- tem E of F on some subgroup T of S. One possibility is that T is proper in S. Thus one important problem is to determine the triples (G, S, T )with1= T