Defect zero blocks for finite simple groups

Authors:
Andrew Granville and Ken Ono

Journal:
Trans. Amer. Math. Soc. **348** (1996), 331-347

MSC (1991):
Primary 20C20; Secondary 11F30, 11F33, 11D09

DOI:
https://doi.org/10.1090/S0002-9947-96-01481-X

MathSciNet review:
1321575

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We classify those finite simple groups whose Brauer graph (or decomposition matrix) has a -block with defect 0, completing an investigation of many authors. The only finite simple groups whose defect zero blocks remained unclassified were the alternating groups . Here we show that these all have a -block with defect 0 for every prime . This follows from proving the same result for every symmetric group , which in turn follows as a consequence of the *-core partition conjecture*, that every non-negative integer possesses at least one -core partition, for any . For , we reduce this problem to Lagrange's Theorem that every non-negative integer can be written as the sum of four squares. The only case with , that was not covered in previous work, was the case . This we prove with a very different argument, by interpreting the generating function for -core partitions in terms of modular forms, and then controlling the size of the coefficients using Deligne's Theorem (née the *Weil Conjectures*). We also consider congruences for the number of -blocks of , proving a conjecture of Garvan, that establishes certain multiplicative congruences when . By using a result of Serre concerning the divisibility of coefficients of modular forms, we show that for any given prime and positive integer , the number of blocks with defect 0 in is a multiple of for almost all . We also establish that any given prime divides the number of modularly irreducible representations of , for almost all .

**[1]**G. Almkvist,*private communication*.**[2]**G. Andrews,*The theory of partitions, Encyclopedia of Mathematics and its Applications*, Addison-Wesley, Reading, 1976, MR**58:27738**.**[3]**R. Brauer,*Representations of finite groups*, Lect. on Modern Math.**1**(1963), 133--175, MR**31:2314**.**[4]**K. Erdmann and G. Michler,*Blocks for symmetric groups and their covering groups and quadratic forms*.**[5]**P. Fong and B. Srinivasan,*The blocks of finite classical groups*, J. reine angew. Math.**396**(1989), 121--191, MR**90f:20065**.**[6]**F. Garvan, D. Kim and D. Stanton,*Cranks and cores*, Invent. Math.**101**(1990), 1--17, MR**91h:11106**.**[7]**F. Garvan,*Some congruence properties for partitions that are cores*, Proc. London Math. Soc. (3)**66**(1993), 449--478, MR**94c:11101**.**[8]**D. Gorenstein,*Finite simple groups: An introduction to their classification*, Plenum Press, New York and London, 1982, MR**84j:20002**.**[9]**I. M. Isaacs,*Character theory of finite groups*, Academic Press, New York, 1976, MR**57:417**.**[10]**G. James and A. Kerber,*The representation theory of the symmetric group*, Addison-Wesley, Reading, 1981, MR**83k:20003**.**[11]**A. Klyachko,*Modular forms and representations of symmetric groups, integral lattices and finite linear groups*, Zap. Nauchn. Sem. Leningrad Otdel. Mat. Inst. Steklov**116**(1982), MR**85f:11034**.**[12]**B. Külshammer,*Landau's theorem for blocks of solvable groups*, J. reine angew. Math.**404**(1990), 171--188, MR**91c:20018**.**[13]**N. Koblitz,*Introduction to elliptic curves and modular forms*, Springer-Verlag, New York, 1984, MR**86c:11040**.**[14]**G. Michler,*A finite simple group of Lie type has -blocks with different defects if*, J. Algebra**104**(1986), 220--230, MR**87m:20038**.**[15]**T. Miyake,*Modular forms*, Springer-Verlag, New York, 1989, MR**90m:11062**.**[16]**J. Olsson,*On the blocks of symmetric and alternating groups and their covering groups*, J. Algebra**128**(1990), 188--213, MR**90k:20022**.**[17]**K. Ono,*On the positivity of the number of core partitions*, Acta Arithmetica**66**(1994), 221--228, MR**95a:11092**.**[18]**------,*A note on the number of core partitions*, The Rocky Mtn. J. of Math (to appear).**[19]**G. de B. Robinson,*Representation theory of the symmetric group*, Edinburgh Univ. Press, 1961, MR**23:A3182**.**[20]**G. Robinson,*The number of blocks with a given defect group*, J. Algebra**84**(1983), 493--502, MR**85c:20009**.**[21]**J.-P. Serre,*Divisibilite des coefficients des formes modulaires de poids entier*, C.R. Acad. Sci. Paris A**279**(1974), 679--682, MR**52:3060**.**[22]**J. Sturm,*On the congruence of modular forms*, Springer Lect. Notes in Math. 1240, Springer Verlag, New York, 1984, pp. (275--280), MR**88h:11031**.**[23]**W. Willems,*Blocks of defect zero in finite simple groups of Lie type*, J. Algebra**113**(1988), 511--522, MR**89c:2005**.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (1991):
20C20,
11F30,
11F33,
11D09

Retrieve articles in all journals with MSC (1991): 20C20, 11F30, 11F33, 11D09

Additional Information

**Andrew Granville**

Affiliation:
address Department of Mathematics, The University of Georgia, Athens, Georgia 30602

Email:
andrew@sophie.math.uga.edu

**Ken Ono**

Affiliation:
address Department of Mathematics, The University of Georgia, Athens, Georgia 30602

Address at time of publication:
School of Mathematics, Institute of Advanced Study, Princeton, New Jersey 08540

Email:
ono@symcom.math.uiuc.edu

DOI:
https://doi.org/10.1090/S0002-9947-96-01481-X

Received by editor(s):
October 18, 1994

Received by editor(s) in revised form:
February 27, 1995

Additional Notes:
The first author is a Presidential Faculty Fellow and an Alfred P. Sloan Research Fellow. His research is supported in part by the National Science Foundation

Article copyright:
© Copyright 1996
American Mathematical Society