arxiv: v1 [math.rt] 19 Jul 2008

Transcription

1 arxv: v1 [math.rt] 19 Jul 008 Broué s Abelan Defect Group Conjecture for the Tts Group Danel Robbns Abstract In ths paper we prove that Broué s abelan defect group conjecture holds for the Tts group F (). Also we prove that under certan condtons we are able to lft derved equvalences and use ths to prove Broué s conjecture for the group F (). 1 Introducton Much of modern representaton theory s concerned wth the relatonshp between representatons of a group and those of ts subgroups. Broué s abelan defect group conjecture attempts to understand ths relatonshp usng derved equvalences and can be stated as follows: Conjecture 1.1 (Broué s Abelan Defect Group Conjecture). Let k be an algebracally closed feld of prme characterstc p and G be a fnte group. If A s a block, of the group algebra kg, wth an abelan defect group D, and B s the Brauer correspondent of A, a block of the group algebra kn G (D), then D b (mod-a) and D b (mod-b) are equvalent as trangulated categores. Ths conjecture s already known n many cases, for example when the defect group s cyclc, see [10], or A s a prncpal block wth defect group C C, see [7]. In many cases, where Broué s conjecture s stll unknown, there s known to be a stable equvalence of Morta type between A and B, whch can be seen as a consequence of the derved equvalence as the stable module category s a canoncal quotent of the derved category, see []. Ths and an dea of Okuyama s [] led Rckard to prove the followng n hs paper [6]: Theorem 1. (Rckard s theorem). Let A and B be fnte-dmensonal symmetrc algebras, F : mod-a mod-b The abelan condton s not well understood but t s essental as the prncpal block of ksz(8) n characterstc has a non-abelan defect group and s not derved equvalent to t s Brauer correspondent. However, there are stll some nterestng cases where Broué s Conjecture holds and the defect group s not abelan. 1

2 be an exact functor nducng a stable equvalence of Morta type and let S 1,...,S n be a set of representatves for the somorphsm classes of smple A-modules. If there are objects X 1,...,X n of D b (mod-b) such that X s stably somorphc to F(S ), for each 1 n, and such that the followng are satsfed: (a) Hom Db (B)(X,X j [m]) = 0 for m < 0 { 0 f j (b) Hom D b (B)((X,X j ) = k f = j (c) X 1,...,X n generate D b (mod-b) as a trangulated category then D(Mod-A) and D(Mod-B) are equvalent as trangulated categores. In we use ths theorem to prove that Broué s conjecture holds for the Tts group. Followng Al-Nofayee [1] we make the followng defnton concernng the objects n Rckard s theorem: Defnton1.. Gven an algebra A, we say the objects X 1,...,X n of D b (mod-a) are a cohomologcally schuran set of generators f they satsfy the followng condtons: (a) Hom D (A)(X b,x j [m]) = 0 for m < 0 { 0 f j (b) Hom D (A)(X b,x j ) = k f = j (c) X 1,...,X n generate D b (mod-a) as a trangulated category If we take k to be a group of characterstc p, G to be a group wth a normal subgroup G, Ñ to be a group wth a normal subgroup N, H = G/G = Ñ/N, A to be a blockofkgand B to be ablock ofkn both stableunder the actonofh, setã = A eg and B = B en, notethatãand B areblocksofk GandkÑ respectvely,andlstthesmplea-modulesass 1,...,s m,s,...,s 1k1,s 1,...,s k,...,s r1,,...,s rkr such that H fxes s 1,...,s m and for each 1 r permutes s 1,...,s k, then n we prove that: Theorem 1.. Let F : mod à mod B and F : mod A mod B are stable equvalences of Morta type such that F( ) e N = F( e G ), (1) and X 1,...,X m,x,...,x 1k1,...,X r1,...,x rkr D b (mod B) s a cohomologcally schuran set of generators such that H permutes X 1,...,X k for 1 r and fxes X 1,...,X m, X j = F(sj ) for 1 r and 1 j k r, and X = F(s ) for 1 m. Then à and B are derved equvalent. Fnally, n 5, we combne the results of and to prove that Broué s conjecture holds for the group F () and n the appendx we gve the Loewy layers of the modules requred n and 5. When we refer to programmes we are referng to the computer package MAGMA [8].

3 Notaton Throughout ths paper we use the followng notaton. Let A be a rng, we denote by 1 A, Z(A) and A the unt element, the centre and the set of unts of A respectvely. The category of left A-modules s denoted by mod-a and the category of rght modules s denoted A-mod, unless otherwse stated all A-modules are assumed to be left A-modules. Also, we denote the category of projectve A-modules by Proj-A and the category of fntely-generated projectve A-modules by P A. We always take G to be a group, p to be a prme number and (O,K,k) to be a p-modular splttng system for all subgroups of G, that s, O s a complete dscrete valuaton rng of rank one wth quotent feld K of characterstc 0 and resdue feld k = O/rad(O) of characterstc p such that K and k are splttng felds for all subgroups of G. When we talk of an OG-module we mean a fntely generated rght OG-module whch s free as an O-module. Gven an OG-module M we have a kg-module M/[M.rad(O)], we often abuse notaton and also denote ths by M. Our complexes wll be cochan complexes, so the dfferentals wll have degree 1 and f X = X 1 d 1 X d X +1 s a cochan complex, then X[m] denotes X shfted m places to the left, that s X[m] = X +m and d [m] = ( 1) m d +m. If A s an addtve category then K(A) wll be the chan homotopy category of cochan complexes over A, K (A) wll be the full subcategory consstng of complexes X that are bounded above,.e. X = 0 for 0, and K b (A) wll be the full subcategory of bounded complexes,.e. complexes X wth X = 0 for all but fntely many. If A s an abelan categorythen D(A) wll be the derved category of cochan complexes over A, and D (A) and D b (A) wll be the full subcategores of complexes that are bounded above and bounded respectvely. For a natural number n, C n denotes the cyclc group of order n and for a subgroup E of Aut(G), G E denotes the sem-drect product. Broué s Conjecture for the Tts Group In ths secton we take G to be the smple group F (), whch s the derved subgroup of F () and s often referred to as the Tts group, ts order s = 5. We also take k to be an algebracally closed feld of characterstc p. We prove that Broué s conjecture holds for G. Theorem.1. It s enough to prove the conjecture for the prncpal block n characterstc p = 5. Proof. Usng GAP[] we see that non-prncpal blocks have trval defect groups, so we only have to consder prncpal blocks. Sylow -subgroups and Sylow - subgroups are not abelan so there s nothng to prove. A Sylow -subgroup s

4 cyclc and Broué s conjecture has been proven for cyclc defect groups n [10]. The only remanng case to check s characterstc5 where we do havean abelan Sylow 5-subgroup C 5 C 5. We now take k to be an algebracally closed feld of characterstc 5. The prncpal block, A = ekg, of kg has elementary abelan defect group P of order 5, we set N = N G (P), B = fkg to be the prncpal block of kn and we prove that Broué s conjecture holds for A. Note that we are takng e and f to be the block dempotents of A and B respectvely. There are smple kg-modules n A whch we shall denote by S 1,...,S. To prove our result we shall fnd complexes X 1,...,X whch satsfy the condtons of Rckard s theorem 1.. Frst we have to fnd a stable equvalence, n ths case the equvalence s smply restrcton snce C G (Q) = C N (Q) for every non-trval subgroup Q P. Therefore, f we take C to be ekgf consdered as a complex concentrated n degree zero, then C nduces a stable equvalence between A and B. Moreover f we take RG to be the Green correspondant of S then: S C : 0 RG (projs) where the non-zero term s n degree zero. We now want to construct complexes X 1,...,X such that X s stably somorphc to S A C and whch satsfy the condtons (a)-(c) of Rckard s theorem. To defne the X s we shall descrbe the complex P n K b (P B ) such that we have a trangle P S A C X P[1] Frst we found an sotypy between A and B and hence found that from ths sotypy we have the perfect sometry: χ 1 φ 1a χ 6a φ 1c χ 6b φ 1e χ 7a φ f χ 7b φ e χ 78 φ a χ 51a φ b χ 51b χ 51c φ 1b φ a χ 6a φ 1d χ 6b φ 1f χ 70a φ a χ 70b φ d χ 178 φ b χ 08a φ b χ 08b φ c where the subscrpts denote the degree of the characters. Ths perfect sometry s suspected to be the map nduced by the character χ of a complex K O X,

5 where X s a tltng complex of eog-fon-bmodules. We also found the character χ C of the complex C. Usng decomposton matrces we can calculate the map on Grothendeck groups K 0 (mod-a) K 0 (mod-b) nduced by the character χ of k O X. Assumng the tltng complex X lfts our complex C we have a trangle Q C k O X Q[1] where Q s a bounded complex of projectve ekg-kn-bmodules. We then have a map K 0 (mod-a) K 0 (P B ) nduced by χ χ C and the mage of the smple A-module S wll then be the mage n K 0 (P B ) of the complex P requred to defne X and hence ths can act as a gude n choosng the terms of P. We used the method outlned above to fnd the followng complexes: X 1 : RG 1 X : RG X : RG X : P P RG X 5 : P 7 P P P 7 P 7 P 1 P 10 P 10 P 1 P P P RG 5 X 6 : P P P P P 7 RG 6 X 7 : P 7 P 1 P 10 P 7 P RG 7 X 8 : P 7 P 10 P 1 P 7 P 5 RG 8 X 9 : P P P P 7 P 9 P 8 P 7 RG 9 X 10 : P 7 P 7 P 5 P P P 5 P P P P P 1 P 10 RG 10 X : P P 7 P 5 P 10 P 10 P 1 P P P 5 P P P 10 RG X 1 : P P 7 P P 1 P 10 P 1 P P P P P P 1 RG 1 X : P 7 P 10 P 1 P 7 P 9 P 5 P RG X : P 7 P 1 P 10 P 7 P 8 P P RG where n each case RG s n degree zero. Note that enough nformaton s gven n the appendx to determne these complexes unquely up to somorphsm. Fnally, we want to prove that these X s satsfy the condtons of Rckard s theorem and hence t wll follow that Broué s conjecture holds for A. Frst we know that the X s are stably somorphc to S A C by constructon and then we prove that condtons (a) and (b) hold usng the program contaned n [9]. All that s left to prove s that the X s generate D b (B) as a trangulated category. Note, whle readng the followng proof one should refer to the appendx where I have gven the Loewy structure of the homology of the complexes X. 5

6 Lemma.. Let T be the trangulated category generated by the X s, then T = D b (B). Proof. The proof of ths theorem conssts of takng each complex X and usng the short exact sequences gven n appendx B to prove that every composton factor of ther homology, except one, s n T. It then follows that every composton factor s n T and we eventually conclude that T contans every smple B-module. The detals are as follows. Frst, as X 1, X and X have homologes concentrated n degree zero, we have H 0 (X 1 ) = 1 T, H 0 (X ) = T and H 0 (X ) = 6 T. H 1 (X ) = 1 T so H (X ) T and t follows from short exact sequence (B.1), n appendx B, that T. H (X 9 ) = 1 T and H (X 9 ) = H (X ) T so H (X 9 ) T and T by short exact sequence (B.). H (X 6 ) = H (X 9 ) T so H (X 6 ) T and T by short exact sequence (B.). H 1 (X ) = T,H (X ) = H (X ) T andh 5 (X ) = H (X 9 ) T, so H 6 (X ) T. H (X 8 ) = H (X ), H (X 8 ) = H (X 6 ) and H 5 (X 8 ) = H 6 (X ), therefore, H (X 8 ) T and thus by short exact sequence (B.5) we have 9 T. H 1 (X ) = 6 T,H (X ) = H (X ) T andh 5 (X ) = H (X 9 ) T, so H 6 (X ) T. H (X 7 ) = H (X ), H (X 7 ) = H (X 6 ) and H 5 (X 7 ) = H 6 (X ), therefore, H (X 9 ) T and thus by short exact sequence (B.) we have 8 T. All the composton factors of H (X 5 ), H (X 5 ) and H 5 (X 5 ) have been shown to be n T and so we must have H 6 (X 5 ) T, hence by short exact sequence (B.6), 7 T. The composton factors of H (X 1 ) and H 5 (X 1 ) have been shown to be n T and so H 6 (X 1 ) T, t now follows from short exact sequences (B.7)- (B.9) that N T, occurs once as a composton factor of N and the other composton factor 9 s n T, hence T. Smlarly, the composton factors of H (X ) and H 5 (X ) have been shown to be n T and so H 6 (X ) T, t now follows from short exact sequences (B.10)-(B.1) that N 6 T, 5 occurs once as a composton factor of N 6 and the other composton factor 8 s n T, hence 5 T. The composton factors of H 1 (X 10 ), H (X 10 ), H (X 10 ) and H (X 10 ) havebeen shown to be n T and so H 5 (X 10 ). The short exact sequences (B.) and (B.) now mply that N 8 T and the only composton factor of N 8 not already shown to be n T s 1 whch occurs just once, therefore 1 T. H 5 (X 8 ) T has as a composton factor wth multplcty 1 and all other composton factors are n T, so T. Fnally, 10 s a composton factor of H 5 (X 7 ) wth multplcty one and s the only smple not already shown to be n T, hence we must have 10 T. As we have shown all smple B-modules are contaned n T t follows that T = D b (B). Theorem.. Broué s conjecture holds for A. 6

7 Proof. We have shown above that the X s satsfy the condtons of Rckard s theorem and hence the result follows from Rckard s theorem tself. There s actually a refnement of Broué s conjecture, due to Rckard. I refer the reader to Rckard s paper [5] for the defnton of a splendd equvalence and state the refnement as: Conjecture. (Broué/Rckard Conjecture). If G s a fnte group and A s a block of kg wth an abelan defect group D and Brauer correspondent B, then there s a splendd equvalence between A and B. In [9] Holloway proves a varant of Rckard s theorem: Theorem.5. Suppose C s a complex of A-B-bmodules that nduces a splendd stable equvalence between A and B and let {S 1,...,S n } be a set of representatves for the somorphsm classes of smple A-modules. If there are objects X 1,...,X n of D b (B) such that, for each 1 n, X s stably somorphc to S A C, and such that: (a) Hom D (B)((X b,x j [m]) = 0 for m < 0 { 0 f j (b) Hom Db (B)((X,X j ) = k f = j (c) X 1,...,X n generate D b (mod-b) as a trangulated category then there s a splendd tltng complex X that lfts C and nduces a splendd equvalence between A and B such that, for each 0 r, X = S A X n D b (B). Snce restrcton s a splendd stable equvalence t follows that our complexes satsfy the condtons of.5 and so we have: Corollary.6. The Broué/Rckard conjecture holds for A. For completeness we now prove that gven the nformaton n the appendces, that s the complexes X and ther homology, then the complexes X are ndependent, up to somorphsm n K b (B), of the choce of dfferentals. Suppose we have constructed two trmmed resolutons of S A C, both consstent wth the nformaton n the appendces, up to degree n+1. Moreover, suppose these two complexes are somorphc and for smplcty we take ths somorphsm to be dentfcaton. In constructng the degree n dfferental suppose we make two choces φ,φ Hom B (P n,k n+1 ), where K n+1 =ker(d n+1 ), and hence two choces for the n dfferental. We ll show that for our X s we can fnd an somorphsm between these two new complexes. 7

8 To do ths consder the dagram P n φ j K n+1 P n+1 P n+ P n φ K n+1 j P n+1 P n+ where j : K n+1 P n+1 s the natural ncluson. If Hom B (P n,h n+1 (X )) = 0, then m(φ) s the largest submodule of K n+1 for whch there are no maps from P n to the quotent. Therefore m(φ) = m(φ ) and we must have an somorphsm ψ such that P n d n =jφ P n+1 P n+ ψ P n d n =jφ P n+1 P n+ s a cochan map somorphsm. It s clear from the appendces that the only complex for whch the above does not hold s X 6 (n = ). Now,fxamapφ Hom B (P n,k n+1 ),wthq : K n+1 K n+1 /m(φ) = H n+1 (X ) the natural quotent. Suppose there s a map η : P n K n+1 such that qη 0 and take φ = λφ+η. If the map η factors as η = γd n = γjφ, where γ : P n+1 K n+1, then we can adjust our degree n+1 dentfcaton to an somorphsm, λ+jγ, and so extend the cochan somorphsm to P n d n =jφ P n+1 P n+ P n d n =jφ λ+jγ P n+1 P n+ Ths s the stuaton that the complexx 6 (n = ) s n and soths showsthat as clamed our complexes, X, are ndependent, up to somorphsm n K b (B), of the choce of dfferentals. We note here that we can actually explctly fnd the summands of a tltng complex for B gvng the derved equvalence above, moreover, we can use ths to fnd the loewy structures of the projectve A-modules. We refer the reader to [] for further detals and other examples. 8

9 Lftng Derved Equvalences In ths secton we gve a proof of 1.. We begn wth a defnton. Defnton.1. Let G be a group wth a normal subgroup G and let à be a summand of k G and A be a block of G. We say à and A are lnked f every smple Ã-module s a summand of a smple A-module nduced up to G and every smple A-module nduced up to G s a semsmple Ã-module. We now show that under certan assumptons a block of kg s always lnked to a summand of k G. We begn by provng a lemma whch we shall need n the proof of proposton.. Lemma.. Let G be a group wth a normal subgroup G, k be an algebracally closed feld of characterstc p, H = G/G be a p -group and M, N and S be k G-modules, then the short exact sequence 0 M α S β N 0 s splt f and only f the short exact sequence 0 M G α G S G β G N G 0 s splt, where α G and β G are the retrctons of α and β to kg-module homomorphsms. Proof. The result follows from the fact that snce the ndex of G n G s prme to p, the restrcton map: s njectve. Ext 1 k e G (N,M) Ext1 kg (N G,M G ) Proposton.. Let G be a group wth a normal subgroup G, k be an algebracally closed feld of characterstc p and H = G/G be a p -group, then every smple kg-module nduced up to G s semsmple. Proof. Let S be a smple kg-module, then by Mackeys decomposton formula S eg G s semsmple. Suppose S eg s not semsmple, then there s a non-splt short exact sequence 0 M S eg N 0, but snce S eg G s semsmple ths short exact sequence becomes splt when you apply the restrcton functor and ths contradcts lemma.. Proposton.. Let G be a group wth a normal subgroup G, k be an algebracally closed feld of characterstc p, H = G/G be a p -group and A be a block of kg whch s stable under the acton of H. Then there s a summand à of k G whch s lnked to A. 9

10 Proof. Let à = A eg, then as A s stable under the acton of H t follows that à s a summand of k G as a (k G,k G)-bmodule. By. we know that every smple A-module nduced up to G s a semsmple Ã-module and clearly, every smple Ã-module s a summand of a smple A-module nduced up to G. Therefore à and A are lnked. For the rest of ths secton we take k to be an algebracally closed feld of characterstc p, G to be a group wth a normal subgroup G, Ñ to be a group wth a normal subgroup N and we assume H = G/G = Ñ/N s a p -group. We also take A to a block of kg stable under the acton of H, B to be a block of kn also stable under the acton of H and set à = A eg and B = B en. By. we know that à and A are lnked and B and B are lnked. Moreover, we lst the smple A-modules as s 1,...,s m,s,...,s 1k1,s 1,...,s k,...,s r1,...,s rkr such that H fxes s 1,...,s m and for each 1 r permutes s 1,...,s k, and we denote the smple Ã-modules as S,...,S 1k1,...,S m1,...,s mkm, S,..., S 1l1,..., S r1,..., S rlr, such that the S j s are summands of s eg and the S j s are summands of s 1 eg. We should note here that s j e G = s1 eg for 1 r and 1 j k. Lemma.5. If X 1,...,X n D b (mod-b) generate D b (mod-b), then X 1 en,...,x n en D b (mod- B) generate D b (mod- B) as a thck subcategory. Proof. Inducton s an exact functor and so t sends trangles to trangles, therefore, snce X 1,...,X n generate D b (mod-b) t follows that s en s n the trangulated category generated by X 1 en,...,x n en, where s s a smple B-module. As B and B are lnked we know that each smple B-module s a summand of a module n the trangulated category generated by X 1 en,...,x n en and so X 1 en,...,x n en generate D b (mod- B) as a thck subcategory. Lemma.6. Let X 1,...,X n D b (mod-b) be a cohomologcally schuran set of generators, stable under the acton of H such that and f j then Hom Db (B)/K b (P B)(X,X ) = k Hom D b (B)/K b (P B)(X,X j ) = 0. Then, for each 1,j n, the natural map Hom D b ( e B) (X en,x j en ) Hom D b ( e B)/K b (P e B )(X en,x j en ) s an somorphsm of rngs. Proof. Clearly the natural map Hom D b (B)(X,X ) Hom D b (B)/K b (P B)(X,X ) 10

11 s non-zero, snce the dentty map s mapped to the dentty map, and so ths map must be an somorphsm of rngs snce Hom Db (B)(X,X ) = k and Hom Db (B)/K b (P B)(X,X ) = k. Also, f j then Hom D b (B)(X,X j ) Hom D b (B)/K b (P B)(X,X j ) s trvally an somorphsm of rngs snce both sdes are zero. Snce nducton and restrcton are adjonts we know that the natural map Hom Db ( e B) (X en,x j en ) Hom Db ( e B)/K b (P e B )(X en,x j en ) s an somorphsm of rngs f and only f the natural map Hom D b (B)(X,X j en N ) Hom D b (B)/K b (P B)(X,X j en N ) s an somorphsm of rngs. By Mackey s theorem ths s true f and only f the natural map Hom Db (B)(X,X h1 j X h H j ) Hom Db (B)/K b (P B)(X,X h1 j X h H j ) s an somorphsm of rngs, where H = {h 1,...,h H } and we are denotng the mage of X under the acton of h by X h, whch s true f and only f the natural map H H Hom Db (B)(X,X h k j ) Hom Db (B)/K b (P B)(X,X h k j ) k=1 k=1 s an somorphsm of rngs. Ths s clearly true snce above we ve shown t to be true for each summand. We can now prove our result 1. whch we state agan for the reader s convenence. Theorem.7. Let F : mod à mod B and F : mod A mod B be stable equvalences of Morta type such that F( ) e N = F( e G ) () Suppose X 1,...,X m,x,...,x 1k1,...,X r1,...,x rkr D b (mod B) s a cohomologcally schuran set of generators such that H permutes X 1,...,X k for 1 r and fxes X 1,...,X m, X j = F(sj ) for 1 r and 1 j k r, and X = F(s ) for 1 m. Then à and B are derved equvalent. Proof. Let,j {1,...,m,,1,...,r1}, then by Mackey s theorem we know that Hom D b ( e B) (X en,x j en [t]) = Hom Db (B)(X en N,X j [t]) = Hom D b (B)(X h1 X h H,X j [t])

12 where H = {h 1,...,h H }, hence Hom D b ( e B) (X en,x j en [t]) = 0 f t < 0 or j. Let t {1,...,m,,1,...,r1}, then by (),.6 and the fact that à and A are lnked we know that End D b ( e B) (X t en ) = End D b ( e B)/K b (P e B )(X t en ) = End D b ( e A)/K b (P e A )( F 1 (X t en )) Hence n D b ( B) we have such that = End D b ( e A)/K b (P e A )(s t eg ) = M n1 (k) M nqt (k). X t N e = Y t 1 Y1 t Y t }{{} Yt Yq t }{{} t Yq t }{{} t n 1-terms n -terms n qt -terms { Hom Db ( B) e t1 k f = j, (Y,Y t j [w]) = t1 = t and w = 0 0 otherwse. Moreover, snce X j N e = X1 en for 1 r and 1 j k t follows from.5 that the set Y1 1,...,Y q 1 1,...,Y1 r1 r1,...,yq r1 generates D b (mod- B) as a thck subcategory and so ths set s a cohomologcally schuran set of generators. In the stable module category we have the followng somorphsms for t {1,...,m,,1,...,r1}: Y t 1 Yt 1 Yt q t Y t q t = F(st ) e N = F(st eg ) whch s somorphc to: { F(St1 ) F(S t1 ) F(S tkt ) F(S tkt ) f t {1,..,m} F( S t1 ) F( S t1 ) F( S tlt ) F( S tlt ) f t {,..,r1} therefore, wthout loss of generalty, we can assume that n the stable module category we have = F(S t ) f t {1,..,m} Y t Y t = F( S t ) f t {,..,r1}. We have now shown that the set Y1 1,...,Y q 1 1,...,Y1 r1 r1,...,yq r1 D b (mod- B) satsfes the condtons of 1. and so à and B are derved equvalent. We note here we could have done all of the above n the context of stable equvalences of splendd type and obtaned the followng. 1

13 Corollary.8. Let F : mod à mod B and F : mod A mod B be stable equvalences of splendd type such that F( ) e N = F( e G ) () Suppose X 1,...,X m,x,...,x 1k1,...,X r1,...,x rkr D b (mod B) s a cohomologcally schuran set of generators such that H permutes X 1,...,X k for 1 r and fxes X 1,...,X m, X j = F(sj ) for 1 r and 1 j k r, and X = F(s ) for 1 m. Then there s a splendd derved equvalence between à and B. Proof. The proof s exactly the same as that for.7, except we fnd that the the set Y1 1,...,Y q 1 1,...,Y1 r1 r1,...,yq r1 D b (mod- B) satsfes the condtons of.5 nstead of 1.. To fnsh ths secton we show that the condtons () and (5) n the above theorems are not vacuous. Lemma.9. Suppose restrcton s a stable equvalence between à and B and A and B, then n the stable module category G N e N N = e GG e G en Proof. In the stable module category the nverse functor of restrcton s nducton and so G N G N = d G ( ) and Therefore we have as requred. e G en e G en = d en ( ) G N e N N = G N e N N e G en e G en = G N e G N e G en = G N G N e G G e G en = e GG e G en 5 Broué s Conjecture for the Group F () In ths secton we combne the results of and to prove that Broué s conjecture holds for the group F (). We have an acton of C on F () whch permutes the smple modules and n fact we have F () C = F (). If we use the notaton of then the prncpal block of F () s lnked to A, restrcton s a stable equvalence between t and ts Brauer correspondent and S NF () (P) N F () (P) = S F () NF () (P) by.9, moreover, C permutes the complexes X. It s now clear that the condtons of.7 are satsfed and so Broué s conjecture holds for the prncpal block of F ().

14 In fact we can explctly obtan the complexes satsfyng the condtons of 1. snce X 1 N F () (P) = X 1 X X N F () (P) = X N F () (P) = X X N F () (P) = X X 5 X 5 N F () (P) = X 6 X 7 X 6 N F () (P) = X 8 X 9 X 7 N F () (P) = X 8 N F () (P) = X 10 X 9 N F () (P) = X X 1 X 10 N F () (P) = X X X N F () (P) = X 1 N F () (P) = X X N F () (P) = X N F () (P) = X 16 and explctly the X s are the complexes: X 1 : RG 1 X : RG X : RG X : P 10 P RG X 5 : P 5 P RG 5 X 6 : P 9 P 1 P 1 P 8 P 8 P 16 P 16 P P P RG 6 X 7 : P 8 P P P 9 P 9 P 16 P 16 P P P RG 7 X 8 : P P P P 10 P 9 RG 8 X 9 : P P P P 5 P 8 RG 9 X 10 : P 9 P 8 P 16 P 16 P 9 P 8 P 7 RG 10 X : P P P P 8 P 8 P RG X 1 : P P P P 9 P 9 P RG 1 X : P 8 P 7 P 8 P 7 P P P 1 P 1 P 16 RG X : P 9 P 9 P 7 P 7 P 1 P 1 P P P 16 RG X : P 1 P P 7 P 8 P 9 P 16 P 16 P 16 P 1 P P P P 7 P P P 10 P 16 P 5 RG X 16 : P 9 P 8 P 16 P 16 P 9 P 8 P P 7 P 1 P RG 16 Usng the Loewy layers of the homology of these complexes, contaned n appendx B,andusngHolloway sprogram[9]t seasytoseethatthese complexes do ndeed satsfy the condtons of Rckard s theorem. Theorem 5.1. Broué s conjecture holds for F ().

15 Proof. The order of F () s 5900 = 1 5, and so we only have to consder k F () for a feld k of characterstc,,5 or. It turns out, and ths can easly be checked usng GAP [], that the only block of k F () n any characterstc wth a non-cyclc abelan defect group s the prncpal block of k F () n characterstc 5, hence ths s the only case we have to prove and ths s exactly what we have done above. A Green Correspondents Here we denote the Green correspondent of S by RG and the projectve cover of S by P. F () The summands of S N, for the smple F () -modules are lsted below, from ths the reader could recreate the orderng of the smple N-modules used n ths paper. S 1 N = RG 1 S N = RG P 6 S N = RG P S N = RG S 5 N = RG 5 S 6 N = RG 6 P P 5 S 7 N = RG 7 P P 1 S 8 N = RG 8 P P 1 S 9 N = RG 9 P P 7 P 10 P P 1 S 10 N = RG 10 P P 8 P 7 P 9 P S N = RG P P P P 9 P 1 P P P 6 S 1 N = RG 1 P P P P 8 P 10 P P P 6 S N = RG P P P P 7 P 8 P 9 P 10 P P 1 P P 5 S N = RG P P P P 7 P 8 P 9 P 10 P P 1 P P 5 The Loewy structures of the Green correspondents RG are shown below. RG 1 = 1, RG =, RG = 6, RG = 8 7 9

16 F () 7 RG 5 = RG 6 = RG 9 = RG = RG = RG 7 = RG 8 = RG 10 = RG 1 = RG = 1 1 The summands of S N, for the smple F ()-modules are lsted below, from ths the reader could recreate the orderng of the smple N-modules used n ths paper. S 1 N = RG 1 S N = RG S N = RG P 6 S N = RG S 5 N = RG 5 S 6 N = RG 6 S 7 N = RG 7 S 8 N = RG 8 P 7 S 9 N = RG 9 P 7 S 10 N = RG 10 P P 1 P P 1 16

17 S N = RG P 16 P P 10 P 9 S 1 N = RG 1 P 16 P P 8 P 5 S N = RG P P P 10 P 9 S N = RG P P P 8 P 5 S N = RG P 16 P P.P P 1.P.P 6 P P S 16 N = RG 16.P 16.P.P P.P 1 P P 10 P 9 P 8.P 7 P 5 The Loewy structures of the Green correspondents RG are shown below. RG 1 = 1 RG = RG = RG 6 = RG 10 = RG 7 = RG = RG = RG = RG 8 = RG 5 = RG 9 = RG 1 = RG =

18 RG RG B Cohomology Groups of the X s F () Here we dsplay the Loewy structures of the homology of X for 1. The reader should refer to ths when readng lemma.. Also, f one wanted to recreate the complexes X then ths nformaton would be suffcent to produce the maps I have used. H 0 (X 1 ) = 1, H 0 (X ) =, H 0 (X ) = 6, H 6 (X 5 ) = 7, H 5 (X 5 ) = 1, H 5 (X 7 ) = 10, H 5 (X 8 ) = 1, 7 H (X 9 ) =, 1 H (X ) =, H 1 (X ) = 1, H (X 6 ) =, H (X 7 ) =, H (X 8 ) =, H (X 5 ) =, H (X 6 ) =, 1 H (X 7 ) =, 1 H (X 8 ) =, 1 H (X 9 ) =, H (X 9 ) = 1, H (X 5 ) =, 6 H (X 7 ) = 8, H (X 8 ) = 9, 18

19 6 9 8 H 5 (X 10 ) =, H (X 10 ) =, H (X 10 ) =, H (X 10 ) = 6, H 1 (X 10 ) = 6, 1 9 H 6 (X ) =, H 6 (X 1 ) =, H 5 (X ) =, H 5 (X 1 ) =, 8 H (X ) =, 9 H (X 1 ) =, H 6 (X ) = 1, 7 H 5 (X ) =, 1 H (X ) =, H 1 (X ) =, H 6 (X ) = 10, 7 H 5 (X ) =, 1 H (X ) =, H 1 (X ) = 6 We also have the followng short exact sequences, the reader should also refer to ths when readng lemma.: 0 H (X ) H 0 (X 1 ) 0 (B.1) 0 H (X 9 ) 0 (B.) 0 H (X 9 ) H (X 6 ) 0 (B.) 0 8 H (X 7 ) 6 0 (B.) 0 9 H (X 8 ) 0 (B.5) 19

20 0 7 H 6 (X 5 ) 0 (B.6) 0 H 6 (X 5 ) H 5 (X 7 ) N 1 0 (B.7) 0 N H 6 (X 1 ) 1 0 (B.8) 0 N N 1 N 0 (B.9) 0 H 6 (X 5 ) H 5 (X 8 ) N 0 (B.10) 0 N 5 H 6 (X ) 1 0 (B.) 0 N 5 N N 6 0 (B.1) 0 N 7 H 5 (X 7 ) N 0 (B.) 0 N 7 H 5 (X 10 ) N 8 0 (B.) where the loewy structures of the N s are: N 1 =, N =, 10 N = 9, N =, 1 9 N 5 =, 1 N 6 = 8, N 7 =, 10 7 N 8 = 9, 1 F () Here we dsplay the Loewy structures of the homology of X for The reader should refer to ths when readng 5. Also, f one wanted to recreate the complexes X then ths nformaton would be suffcent to produce the maps I have used. H 0 (X 1 ) = 1 H 0 (X ) = H 0 (X ) = 6 H (X ) = 1 10 H 6 (X 6 ) = 9 H 1 (X ) = 1 H (X 5 ) = 5 H 5 (X 6 ) = 6 H (X 6 ) = 10 H 1 (X 5 ) = 6 H (X 6 ) = 10 0

21 H 6 (X 7 ) = 8 H (X 8 ) = 10 H 5 (X 7 ) = 1 H (X 8 ) = H (X 7 ) = 5 H (X 9 ) = H 5 (X 10 ) = H (X 7 ) = 5 H (X 9 ) = 5 H (X 10 ) = 5 10 H (X 10 ) = H (X 10 ) = 6 H (X ) = 5 H (X 1 ) = 10 H (X ) = 5 H (X 1 ) = H 5 (X ) = H (X ) = H (X 1 ) = 1 H (X ) = 10 H (X ) = 10 H (X ) = 6 H 1 (X ) = 6 6 H 5 (X ) =

22 H (X ) = 5 H (X ) = 5 H (X ) = 6 H 1 (X ) = H 6 (X ) = H 6 (X 16 ) = H 5 (X ) = 10 5 H 5 (X 16 ) = 5 10 H (X ) = 10 5 H (X 16 ) = H 1 (X 16 ) = 6 References [1] Al-Nofayee. Derved equvalences for self-njectve algebras and t- structures. Brstol PhD thess. [] D.Robbns. Some results concernng broué s abelan defect group conjecture. PhD Thess, 008. [] The GAP group. Gap - groups, algorthms and programmng, verson.. ( [] J.Rckard. Derved categores and stable equvalence. Journal of Pure and Appled Algebra 61 (0-17), [5] J.Rckard. Splendd equvalences : Derved categores and permutaton modules. Proc. London Math. Soc.() 7 (1-58), [6] J.Rckard. Equvalences of derved categores for symmetrc algebras. Journal of Algebra 57 (60-81), 00. [7] S.KoshtanÑ.Kunug K.Wak Broué s conjecture holds for prncpal - blocks wth elementary abelan defect group of order 9. J. Algebra 8 (575-60), 00. [8] MAGMA. [9] M.Holloway. Derved equvalences for group algebras. Brstol PhD thess, 001.

23 [10] R.Rouquer. The derved category of blocks wth cyclc defect groups. n Derved equvalences for group rngs, Sprnger lecture notes n mathematcs 1685 (199-0), [] T.Okuyama. Some examples of derved equvalent blocks of fnte groups. preprnt, 1997.