I’d like to start a series of posts, GLFq (general linear group over a finite field), in which I hope to explain the representation theory of (n and q will remain fixed). In this first post, I’ll explain how to write down the conjugacy classes of G. In later posts, I plan to introduce Hall–Littlewood polynomials and the characteristic map. I would like to also go into how to construct the actual representations, and discuss things related to Hall–Littlewood polynomials, like the q-Kostka polynomials and a lot of the interesting algebra/geometry behind them.
There are two pieces of data we would like to know. First, what is the size of G? Second, how do we parameterize the conjugacy classes? The first question is easy to answer since an invertible matrix is given by the data of n linearly independent vectors. The first one can be chosen to be any nonzero vector, so there are of them. In general, the ith one can be chosen to be any vector not in the span of the last i-1 (so we are just avoiding some i-1 dimensional subspace, which has elements), and hence there are choices for such a vector. All together, the number of elements of G is . We can rewrite this as to make it more analogous to the number of elements of the symmetric group.
The second question requires the rational canonical form. If we were dealing with an algebraically closed field, conjugacy classes would of course be parameterized by Jordan normal forms, so we need some kind of substitute for that. First, we need the structure theorem for finitely generated modules over a principal ideal domain R. This says that any such module is a direct sum of its torsion submodule and a free submodule. Furthermore, the torsion submodule is uniquely a direct sum of cyclic modules, which can be written in the form for some irreducible element f and some positive integer m.
Given a matrix A, we’ll apply this to the case and the module where the action of a polynomial p(t) on V is given by p(A). Irreducible elements of R are the same as irreducible polynomials, but we will never see the polynomial x show up if A is invertible, and we will only need to use the monic ones. Let be the set of all monic irreducible polynomials over which are different from the constant polynomial x. Hence, we see that the data of the decomposition is given by a partition valued function on . Explicitly, the function gives the module .
Since the dimension of is , the conjugacy classes of G are given by those partition valued functions such that .
As an aside, if we look at the conjugacy classes of all matrices instead of invertible matrices, i.e., we allow the domain of the partition valued functions above to include the polynomial x, then the number of such classes is where is the number of partitions of n into j parts. I think it’s a really nice formula (though it takes some work to show). See Chapter 1, Section 10 of the second edition of Enumerative Combinatorics I for a derivation of this formula.
Let’s look at the case of n=2. The only valid partition valued functions can only have nonempty values on polynomials of degree at most 2. There are 3 types of functions:
- There exists a single monic irreducible polynomial f of degree 1 such that and we have , so . These correspond to matrices with a single eigenvalue, the partition (2) means that it’s a diagonal matrix, and the partition (1,1) means that it is conjugate to a size 2 Jordan block.
- There exists two distinct monic irreducible polynomials f and g of degree 1 such that takes the value (1) on both and is empty on all other polynomials. These correspond to matrices with two distinct eigenvalues.
- There exists a single monic irreducible polynomial f of degree 2 such that and all other values are the empty partition. These are matrices without a Jordan normal form.
The only irreducible polynomials of degree 1 which are allowed are of the form x-a for a nonzero value of a. So there are 2(q-1) functions of the first kind and functions of the second kind. For the third kind, we have monic polynomials of degree 2 over . There are q polynomials of the form and of the form for a and b distinct, so we must have monic irreducible degree 2 polynomials over . Thus in total we have conjugacy classes.
Next time, I’ll say something about Hall–Littlewood polynomials. Click here for the next post.