Well, we got the idea to look for the branching rule by trying to categorify a certain combinatorial relation. So let’s take the flip side of the branching rule and decategorify it to see what it says!
Strictly speaking, decategorification means passing from a category to its set of isomorphism classes. That is, in the case of our categories of -modules we should go from the Specht module to its character . And that is an interesting question, but since the original relation turned into the dimensions of the modules in the branching rule, let’s do the same thing in reverse.
So the flip side of the branching rule tells us how a Specht module decomposes after being induced up to the next larger symmetric group. That is:
To “decategorify”, we take dimensions
As we see, the right hand side is obvious, but he left takes a little more work. We consult the definition of induction to find
Calculating its dimension is a little easier if we recall what induction looks like for matrix representations: the direct sum of a bunch of copies of , one for each element in a transversal of the subgroup. That is, there are
copies of in the induced representation. We find our new relation:
That is, the sum of the numbers of standard tableaux of all the shapes we get by adding an outer corner to is times the number of standard tableaux of shape .
This is actually a sort of surprising result, and there should be some sort of combinatorial proof of it. I’ll admit, though, that I don’t know of one offhand. If anyone can point me to a good one, I’d be glad to post it.