Alperin conjecture
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).
References
[a1] | J.L. Alperin, "Weights for finite groups" , Proc. Symp. Pure Math. , 47 , Amer. Math. Soc. (1987) pp. 369–379 |
[a2] | E.C. Dade, "Counting characters in blocks I" Invent. Math. , 109 (1992) pp. 187–210 |
[a3] | E.C. Dade, "Counting characters in blocks II" J. Reine Angew. Math. , 448 (1994) pp. 97–190 |
[a4] | R. Knörr, G.R. Robinson, "Some remarks on a conjecture of Alperin" J. London Math. Soc. (2) , 39 (1989) pp. 48–60 |
[a5] | J. Thévenaz, "Equivariant ![]() |
Alperin conjecture. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Alperin_conjecture&oldid=24037