Jucys-Murphy elements and induction

This post concerns the representation theory of the symmetric group over the complex numbers. Recall that the irreducible representations of the symmetric group S_n are indexed by partitions of n. Let S^\lambda be the irreducible representation indexed by \lambda. I want to say some words about the theorem that the decomposition of the induced module \operatorname{Ind}_{S_{n}}^{S_{n+1}}S^\lambda is given by the decomposition into eigenspaces under the action of the Jucys-Murphy element.

First, the relevant Jucys-Murphy element is

    \[X:=(1,n+1)+(2,n+1)+\cdots+(n,n+1)\in \mathbb{C}[S_{n+1}].\]

The way it acts on \operatorname{Ind}_{S_{n}}^{S_{n+1}}S^\lambda=\mathbb{C}[S_{n+1}]\otimes_{\mathbb{C}[S_n]}S^\la is not as an element of \mathbb{C}[S_{n+1}] but by X\cdot (a\otimes v)=aX\otimes v. This is well-defined since X commutes with \mathbb{C}[S_n].

What this action defines is a natural transformation from the functor \operatorname{Ind}_{S_{n}}^{S_{n+1}} to itself. The induction functor is (bi)-adjoint to the restriction functor and this natural transformation is even simpler to construct on the adjoint side. Recall that if \mathcal{F} and \mathcal{G} are adjoint functors, then there is an isomorphism


Here \operatorname{End}\mathcal{F} refers to the natural transformations from \mathcal{F} to itself, and the map in this isomorphism is given by pre- and post-composition by the unit and counit of the adjunction.

And the way that X yields a natural transformation from \operatorname{Res}_{S_n}^{S_{n+1}} to itself is very simple, it’s just by its usual action as an element of \mathbb{C}[S_{n+1}]. If you transport this natural transformation to a natural transformation of the induction functor via the method I just mentioned, then you get the formula mentioned above.

Now given a pair of adjoint functors \mathcal{F} and \mathcal{G}, a natural transformation X from \mathcal{F} to \mathcal{F} (and hence from \mathcal{G} to \mathcal{G}) and a complex number a, we can define a functor \mathcal{F}_a by

    \[\mathcal{F}_a(V)=\{w\in \mathcal{F}(V)\mid Xw=aw\}.\]

and similarly for \mathcal{G} (this requires some linearity assumptions, but they’re satisfied here. Also you could take generalised eigenspaces if you wanted to, but in our application there is no difference).

When you do this, the functors \mathcal{F}_a and \mathcal{G}_a are adjoint:

Proof: Both \operatorname{Hom}(\mathcal{F}_aV,W) and \operatorname{Hom}(V,\mathcal{G}_aW) are the a-eigenspace of the action of X on \operatorname{Hom}(\mathcal{F}V,W)\cong\operatorname{Hom}(V,\mathcal{G}W).

Now apply this to our situation. We also use the following standard fact about the action of the Jucys-Murphy element (as developed e.g. in the Vershik-Okounkov approach):

Consider the decomposition


Then the Jucys-Murphy element X acts by the scalar c(\alpha) on S^\lambda, where c(\alpha) is the content of the box \alpha added to \lambda to get \mu.

Now translating this statement via the above yoga onto the adjoint side, we get

In the decomposition


the Jucys-Murphy element X acts by the scalar c(\alpha) on S^\mu, where c(\alpha) is the content of the box \alpha added to \lambda to get \mu.

Oaxaca Photos (December 2019)

I picked up my old phone and decided to try turning it on again. And after charging it, I was surprised, it turned on for the first time in 18 months. I guess the remedy for fixing a water damaged phone is to just wait a long long time.

This means I got access to some photos that I thought were previously lost, and I’ll present some of them here today.

Our trip begins in Oaxaca City, where I was visiting Banff in Mexico. First up, we have a visit to Monte Albán, an archaeological site on top of a hill right next to the city itself.

Next we see a scene in the city. A wedding party is marching down the street.

Now there is a picture of myself, to convince you that I actually was there.

That picture and the rest of the pictures below were all taken at Hierve El Agua.

Part 2 of Mexican photos coming soon.