Some research projects give you more than others in terms of reward and enjoyment. I’ve been very lucky to have been part of an enthusiastic team in Stephen Glasby, Luke Morgan, and Alice Niemeyer on a problem concerning automorphisms of p-groups; but more of that in a later post. In our investigations, we needed to know some basic data on polynomial representations of the general linear group . Consider the natural action of on the tensor power where is the vector space . It is a well-known result of Schur (and I won’t elaborate on it here) that if , then we can parameterise the irreducible -modules by the partitions of . (Well actually, the characteristic 0 analogue is due to Schur, but it was folklore for a long time until a paper of Benson and Doty). For example, let us take the tensor square (). If is odd, then it is a classical fact that breaks up into two smaller -modules, namely
where is the symmetric square of and is the alternating square of . The partitions here are the trivial partitions of the number 2. The partition corresponds to and the partition corresponds to .
We are interested in something slightly more difficult. We actually want to know the irreducible constituents of the free Lie algebra generated by . The connection between the two settings is cute. Define a bracket operation on the tensor algebra by . Then we obtain a graded Lie algebra where each is just . Each then breaks up into irreducibles indexed by partitions of , except we don’t know the multiplicities of each submodule. Write for the -module corresponding to a partition of . Note that the multiplicities here could be 0, that is, the may not even appear. So think of the partitions now as being a superset of parameterising objects. For , it is well known that , that is, the symmetric square vanishes (just think of what the Lie bracket does here!).
Well I came across a beautiful result of Kraśkiewicz and Weyman that yields the answer. Consider standard tableaux of type . As an example, consider the partition of the number 6. Then there are 9 possible standard tableaux:
A descent is an entry of a standard tableaux such that appears in a row lower than it. So for example, 2, 4, and 5 are descents of the first tableau above. The major index of a standard tableaux is the sum of its descents. So for our nine tableaux we have major indices 11, 10, 9, 13, 9, 8, 12, 7, 11 accordingly. Then the magic number for the multiplicity of a is the number of standard tableaux of type that have major index congruent to 1 modulo . In our example, there are two such young tableaux, the 4th and 8th one. So has multiplicity 2.