Alperin weight conjecture
Modular representation theory of finite groups is the study of representations of groups over fields of finite characteristic (cf. also Finite group, representation of a; Finite group; Field). This theory was first developed by R. Brauer, who was motivated largely by a wish to obtain information about complex characters of finite groups (cf. Character of a group). One of the central themes of Brauer's work was that many representation-theoretic invariants of finite groups should be "locally" determined. When is a prime number, a -local subgroup of a finite group is the normalizer (cf. also Normalizer of a subset) of a non-trivial -subgroup of that group. An important feature of Alperin's weight conjecture is that it makes a precise prediction as to how a fundamental representation-theoretic invariant should be -locally controlled.
Let be an algebraically closed field of prime characteristic , and let be a finite group. Then the group algebra has a unique decomposition in the form , where the 's are mutually annihilating indecomposable two-sided ideals (cf. Ideal). The 's are known as blocks of (cf. also Block). Let denote the number of isomorphism types of simple -modules, and . It is sometimes the case that is isomorphic to a full matrix algebra over . In that case, is a block of defect zero of . Such blocks have special significance; they are in bijection with the isomorphism types of projective simple -modules. Blocks other than blocks of defect zero are said to have positive defect.
A weight of is a pair , where is a (possibly trivial) -subgroup (cf. also -group) of and is a projective simple -module. Weights and are deemed to be equivalent if for some one has and as -modules. The "non-blockwise" version of Alperin's weight conjecture simply asserts that the number of isomorphism types of simple -modules should equal the number of equivalence classes of weights of . The number of equivalence classes of weights of the form is just the number of isomorphism types of projective simple -modules, and the number of equivalence classes of weights of the form with is determined within -local subgroups.
To describe the "blockwise" version of the conjecture one has to assign weights to blocks. This is achieved by means of the Brauer homomorphism. When is a -subgroup of , the projection with kernel restricts to an algebra homomorphism from the fixed-point subalgebra (under conjugation by ) onto . Given a weight, one may view as an -module. One assigns the weight to the block if and only if does not annihilate . The "blockwise" version of Alperin's weight conjecture predicts that for each block of , should equal the number of equivalence classes of weights assigned to . If is of defect , this is evidently true. If is of positive defect, then the conjecture makes a prediction that is -locally determined in a precise manner, since no weights of the form are then assigned to .
Another interpretation of Alperin's weight conjecture has been given by R. Knörr and G.R. Robinson. Given a block , Brauer showed how to assign complex irreducible characters to , and the number of such characters assigned to is , denoted .
Given a chain of strictly increasing -subgroups of , say , one sets , and . Then one sets , which is a sum of certain blocks of the group algebra . Then the blockwise version of Alperin's weight conjecture is equivalent to the assertion that whenever is a block of positive defect of for some finite group , then
where denotes the collection of all such chains of -subgroups of (including the empty chain). Thus, (the contribution to the alternating sum from the empty chain) is predicted to be -locally controlled in a precise fashion.
J. Thévenaz has given a reformulation of Alperin's conjecture which is expressed in terms of equivariant -theory. E.C. Dade has continued the pattern of predictions of precise -local control of representation-theoretic invariants by making a series of conjectures expressing the number of irreducible characters of defect assigned to a block of as an alternating sum somewhat similar to that above. An irreducible character is said to have defect for the prime number if . Dade's conjectures may be viewed as unifying and extending Alperin's weight conjecture and the Alperin–McKay conjecture. Furthermore, they are compatible with techniques of Clifford theory and offer the prospect of reducing these questions to questions about finite simple groups (cf. Simple finite group).
|[a1]||J.L. Alperin, "Weights for finite groups" , Proc. Symp. Pure Math. , 47 , Amer. Math. Soc. (1987) pp. 369–379 MR0933373 Zbl 0657.20013|
|[a2]||E.C. Dade, "Counting characters in blocks I" Invent. Math. , 109 (1992) pp. 187–210 MR1168370 Zbl 0738.20011|
|[a3]||E.C. Dade, "Counting characters in blocks II" J. Reine Angew. Math. , 448 (1994) pp. 97–190 MR1266748 Zbl 0790.20020|
|[a4]||R. Knörr, G.R. Robinson, "Some remarks on a conjecture of Alperin" J. London Math. Soc. (2) , 39 (1989) pp. 48–60 MR0989918 Zbl 0672.20005|
|[a5]||J. Thévenaz, "Equivariant -theory and Alperin's conjecture" J. Pure Appl. Algebra , 85 (1993) pp. 185–202 MR1207508|
Alperin conjecture. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Alperin_conjecture&oldid=24037