Geometric Representation Theory (Lecture 9)
Posted by John Baez
Pick some type of structure you can put on an -element set. Then the group — the group of all permutations of this -element set — acts on the set of all structures of this type. So, we get an action of on , and thus a representation of on the vector space .
My favorite type of structure on an -element set is called a ‘-flag’. Remember this? can be any -box Young diagram — that is, any list of natural numbers that add up to . A -flag on an -element set is a way of partitioning it into subsets of sizes .
If is the set of -flags on our favorite -element set, then by what I’ve said, we get a representation of on .
So, any -box Young diagram gives a representation of . These are called flag representations. They’re typically reducible — big and fat. But, just like they say every fat person has a skinny person inside, trying to get out, each of these fat representations has an irreducible representation inside, trying to get out.
This time in the Geometric Representation Theory seminar, James Dolan shows how to get these skinny representations out. The trick is to chop away at the fat ones using Hecke operators. This amounts to a categorified version of the Gram–Schmidt process, where we keep chopping off the components of a vector that point along the previous vectors in our list, until we’re left with orthogonal vectors.
By this method, we get all the irreducible representations of — one for each -box Young diagram!
Near the end of this class, Jim starts discussing Hecke operators between flag representations in more detail. He describes them using certain matrices which will eventually become known as ‘crackpot matrices’… for reasons that will be clear someday.
-
Lecture 9 (Oct. 25) - James Dolan on Hecke operators for the groups
. Each -box Young diagram gives an action of on the set of -flags
on the -element set. These actions give permutation representations
of called ‘flag representations’. Flag representations are usually
reducible, but we can extract a complete set of irreducible representations
using Hecke operators, via a categorified
version of Gram–Schmidt orthonormalization. So, we obtain one irreducible
representation of for each -box Young diagram. The example of 4!,
continued.
Given an -box Young diagram with rows and an -box Young diagram with rows, we can use “crackpot matrices” — matrices of natural numbers with specified row and column sums — to give explicit descriptions of all the Hecke operators from one flag representation to another.
-
Streaming
video in QuickTime format; the URL is
http://mainstream.ucr.edu/baez_10_25_stream.mov - Downloadable video
- Lecture notes by Alex Hoffnung
- Lecture notes by Apoorva Khare
-
Streaming
video in QuickTime format; the URL is