Frank Lübeck   

Elementary Divisors of Gram Matrices for Specht Modules of Symmetric Groups and Jantzen Filtrations

Content: Intro | Notation | Extremal Cases | Dual Partitions | Methods and References | Tables

Introduction

[top]

Let Sn be the symmetric group on n letters.

The irreducible complex representations of Sn have a natural parameterization via the partitions of n. Such a partition is a decreasing sequence of positive integers (n1 >= n2 >= ... >= nk > 0 ) whose sum equals n. In our notation the partition (n) corresponds to the trivial character of Sn. (Note that some authors use the "dual" notation, i.e., the trivial character is parameterized by (1,1,...,1).)

For each partition (n1, n2, ..., nk) the corresponding representation can be realized via an explicit module for the integral group ring ZSn, which is constructed as a submodule of the permutation module for a Young subgroup described by the partition. This is called the Specht module S(n1, n2, ..., nk).

The standard scalar product with respect to the natural basis of the permutation module induces a nondegenerate bilinear form on the Specht module. In the tables below we give for many Specht modules of small dimension the list of elementary divisors of the Gram matrix of this bilinear form. This contains interesting information about the modular representations of the symmetric groups, in particular:

There is a theorem, due to Jantzen and Schaper, which gives a combinatorial formula for the determinant of the Gram matrix, i.e., the product of all elementary divisors. This formula can be evaluated for partitions of n with n a few hundreds, say. But for computing the exact distribution of the elementary divisors no method seems to be known except computing the whole Gram matrix directly. In the lists below we give the results for all Specht modules for which n < 13 or whose dimension is less than some given bound (currently this bound is about 11700).

More precisely, the Jantzen sum formula expresses for each prime p the sum of the composition factors of the modules S(i) in the Jantzen filtration of a Specht module as linear combination of Specht modules (the coefficients are integral but not necessarily positive). For many of the Specht modules in our lists the p-modular decomposition numbers are known. In such a case one can also express this linear combination as a linear combination of simple p-modular modules. In many cases this information together with the known elementary divisors of the Gram matrix determines uniquely the simple composition factors of each single module S(i) reduced modulo p. We include these data in our tables below.

Notation

[top]

We write multiple entries in partitions with an exponent, e.g., (4,23,1) instead of (4,2,2,2,1).

The elementary divisors are given in their prime factorization and their multiplicity is denoted by an exponent. Example:

[1]35 [3]8 [3*5]2  [3*5*7]19 means that the matrix is of rank 64 = 35+8+2+19 and that the elementary divisors are 35 times 1, 8 times 3, 2 times 15 = 3*5 and 19 times 105 = 3*5*7.

Recall that we denote with (n) the trivial representation and with (1,1,...,1) the sign representation of Sn.

For the tables of Jantzen filtrations we denote the simple module in characteristic p corresponding to a p-regular partition lambda by D(lambda).

We explain the notation for the Jantzen filtrations by an example, we consider S(4,4,2,1) in characteristic 3: The Jantzen filtration is:

[D(42,2,1)]0 +[D(42,3)+D(6,22,1)+2*D(6,5)]1 +[D(7,22)+D(9,2)]2 +[D(7,4)]3

This means that the composition factors of S(i) are given by the sum of those modules in square brackets [...] whose formal exponent is at least i. In particular, for i = 0, summing up all expressions in square brackets we recover the decomposition of the Specht module S(4,4,2,1) modulo 3.

Some extremal cases

[top]

For some types of partitions of n we can describe the elementary divisors in a generic way. These cases are left out in the tables below. The formulae are extrapolations from the computed cases. So, I don't claim here to have a proof for them, but only that they are checked within the range covered by the tables.

We write b(n, k) for the n,k-th binomial coefficient (i.e., n choose k).

PartitionSpecht degreeelementary divisors
(n)1[1]
(n-k, 1k), 0 < k < n b(n-1, k) [k!]b(n-2, k)  [n  k!]b(n-2, k-1)
(n-2,2), n oddn(n-3)/2 [1](n2-5n+2)/2  [n-2]n-2 [(n-1)(n-2)/2]
(n-2,2), n evenn(n-3)/2 [1](n2-5n+2)/2  [(n-2)/2]  [n-2]n-3  [(n-1)(n-2)]
(22,1n-4), n oddn(n-3)/2 [4(n-4)!]  [2(n-1)(n-4)!]n-2  [2(n-1)(n-2)(n-4)!](n2-5n+2)/2
(22,1n-4), n evenn(n-3)/2 [2(n-4)!]  [2(n-1)(n-4)!]n-3  [4(n-1)(n-4)!]  [2(n-1)(n-2)(n-4)!](n2-5n+2)/2
(1n)1[n!]

The partitions of form (n-k, 1k) for 0 <= k <= n are called hook partitions. The formula above was known and proved by G. James and A. Mathas (not published).

Comparing Cases of Dual Partitions

[top]

For a partition (n1, n2, ..., nk) the dual partition is (m1, m2, ..., ml) with mi being the number of nj which are smaller or equal to i.

The dimension d of the Specht module S = S(n1, n2, ..., nk) is equal to the dimension of S' = S(m1, m2, ..., ml). Let e1 <= ... <= ed be the elementary divisors of the Gram matrix for S and f1 <= ... <= fd those for S'.

Then the products d  ei  fd+1-i equal n! for all 1 <= i <= d.

This has been proved by M. Künzer (but it is not yet published).

Methods and References

[top]

A general reference for the symmetric group and its representations, which contains the definitions of Specht modules and their Gram matrices, is

G. James and A. Kerber, The representation theory of the symmetric group, Addison Wesley, Reading, Massachusetts (1981)

The elementary divisors for n < 13 were already printed in

A. Mathas, Iwahori-Hecke algebras and Schur algebras of the symmetric group, American Mathematical Society, University Lecture Series 15, (1999)

This book also contains a discussion of the Jantzen filtration in a more general setting (see Chapter 5).

Most known decomposition numbers for the symmetric groups can be obtained with the Specht share package for GAP 3, written by Andrew Mathas. He also provided a program which decides if it is possible to find and then computes the Jantzen filtrations from the decomposition numbers and the elementary divisors.

I have written the programs which compute the Gram matrices for Specht modules with GAP and an external program written in C. The biggest challenge is to compute the elementary divisors of matrices of rank a few thousands. This is done with functions provided by the authors GAP package EDIM. The algorithm used there uses a combined modular and p-adic approach. The elementary divisors are computed without using the actually known primes dividing the determinant of the matrices. This allowed to check the found determinant with the one computed by the Jantzen-Schaper theorem.

The tables

[top]

Tables for partitions of n = 6
Tables for partitions of n = 7
Tables for partitions of n = 8
Tables for partitions of n = 9
Tables for partitions of n = 10
Tables for partitions of n = 11
Tables for partitions of n = 12
Tables for partitions of n = 13
Tables for partitions of n = 14
Tables for partitions of n = 15
Tables for partitions of n = 16
Tables for partitions of n = 17
Tables for partitions of n = 18
Tables for partitions of n = 19
Tables for partitions of n = 20
Tables for partitions of n = 21
Tables for partitions of n = 22
Tables for partitions of n = 23
Tables for partitions of n = 24
Tables for partitions of n = 25
Tables for partitions of n = 26
Tables for partitions of n = 27
Tables for partitions of n = 28
Tables for partitions of n = 29
Tables for partitions of n = 30
Tables for partitions of n = 31
Tables for partitions of n = 32
Tables for partitions of n = 33
Tables for partitions of n = 34
Tables for partitions of n = 35
Tables for partitions of n = 36
Tables for partitions of n = 37
Tables for partitions of n = 38
Tables for partitions of n = 39
Tables for partitions of n = 40
Tables for partitions of n = 41
Tables for partitions of n = 42
Tables for partitions of n = 43

Comments and suggestions (Email) are welcome.

[top]

Last updated: Mon Jul 12 23:23:20 2004 (CET)