This post continues my series on representation theory in complex rank, begun here with a discussion of Deligne’s interpolation of the representation categories of the symmetric group, introduced in his 2004 paper.

Semisimplicity is the basic structure theorem for Deligne’s categories, and I would be extremely remiss in my discussion of representation theory in complex rank if I did not say something about it.

So, let’s review. In the first post, I explained and motivated the definition of Deligne’s categories . Incidentally, Deligne did the same for the other classical groups, i.e. , but I shall not discuss them. The categories , are defined as the pseudo-abelian envelope of the -linear category generated by objects , where the hom-spaces are free on the equivalence relations on , and composition is given by a combinatorial expression which is polynomial in the rank (hence interpolable).

Now, we just have an abstract category with formal objects and morphisms corresponding in no obvious way to anything concrete. To prove it is semisimple, we cannot use therefore techniques such as those in the proof of Maschke’s theorem of Weyl’s complete reducibility theorem.

But we can do it by appealing to what I discussed in the second post of this series: by proving that the endomorphism rings are semisimple and the category is nonnilpotent. In fact, since direct products and factor rings of semisimple rings are semisimple, we only need to prove that the algebras are semisimple (in addition to nonnilpotence). This endomorphism ring (depending on the size and the rank ) is an important object, called the partition algebra, and you can look it up e.g. here. But I don’t know how to prove directly that the partition algebra is semisimple. So I will follow Deligne (and Knop) in the (inductive) proof (which will also imply semisimplicity of the partition algebra).

I will do this in two steps. First, I will use a little bit of combinatorics to show that when , the category is nonnilpotent. Next, I will use this to prove semisimplicity.