Alperin Weight Conjecture

OPENMajorConjectureProposed 1986 · Standard version

Canonical statement

Let GG be a finite group, pp a prime, and kk an algebraically closed field of characteristic pp. A pp-weight is a pair (Q,ϕ)(Q,\phi), where QGQ\le G is a pp-subgroup and ϕ\phi is an irreducible complex character of NG(Q)/QN_G(Q)/Q of pp-defect zero. Here defect zero means that the pp-part of ϕ(1)\phi(1) equals the pp-part of NG(Q)/Q|N_G(Q)/Q|. The number of isomorphism classes of simple kGkG-modules equals the number of GG-conjugacy classes of pp-weights.
View source LaTeX
Let \(G\) be a finite group, \(p\) a prime, and \(k\) an algebraically closed field of characteristic \(p\). A \(p\)-weight is a pair \((Q,\phi)\), where \(Q\le G\) is a \(p\)-subgroup and \(\phi\) is an irreducible complex character of \(N_G(Q)/Q\) of \(p\)-defect zero. Here defect zero means that the \(p\)-part of \(\phi(1)\) equals the \(p\)-part of \(|N_G(Q)/Q|\). The number of isomorphism classes of simple \(kG\)-modules equals the number of \(G\)-conjugacy classes of \(p\)-weights.

Alperin's weight conjecture is a counting statement in modular representation theory. For a finite group GG and a prime pp, a pp-weight is a pair (Q,ϕ)(Q,\phi) with QQ a pp-subgroup of GG and ϕ\phi an irreducible character of NG(Q)/QN_G(Q)/Q of pp-defect zero. The conjecture, put forward by Alperin in the mid-1980s, asserts that the number of simple kGkG-modules in characteristic pp equals the number of GG-conjugacy classes of weights [Alperin1987Weights]. A global invariant of the group algebra would thus be determined entirely by pp-local data.

The modern approach runs through reduction theorems: the conjecture has been reduced to inductive conditions to be verified for the finite simple groups [Navarro2018Characters], placing it in the same local–global programme as the McKay conjecture [Spath2013AWCReduction]. These conditions have been checked in many families of simple groups, and recent work refines the reduction via character triples and the Glauberman correspondence [Rossi2026AWC].

The verification across all simple groups is incomplete, and the conjecture — along with its blockwise and Galois-equivariant refinements — remains open.

The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.