Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 103 / 3 / i / Solution

The joint spectrum $\mathrm{Spec}(n)$ consists of the tuples of simultaneous eigenvalues of $X_1,\dots ,X_n$ occurring in irreducible complex $S_n$-modules. A Gelfand–Tsetlin basis is a Gelfand–Tsetlin basis: its vectors lie in the one-dimensional joint eigenspaces selected by successive restrictions. The weight of $v$ is $\alpha =(a_1,\dots ,a_n)$ when $X_{j}v=a_{j}v$ for every $j$.

Define $\mathrm{Cont}(n)$ to be the integer tuples satisfying the content vector of a standard Young tableau conditions: $a_1=0$; for $j>1$, at least one of $a_j-1,a_j+1$ occurs earlier; and between any two occurrences of the same integer $a$, both $a-1$ and $a+1$ occur. We will justify their tableau interpretation in part (iv).

Here is the local spectral rules for Young–Jucys–Murphy elements calculation used in this question. Average a positive definite Hermitian inner product over $S_n$, making the representation unitary. The $X_j$ are commuting self-adjoint operators because transpositions are self-adjoint involutions. Put $s_i=(ii+1)$ and $d=a_{i+1}-a_i$. The group-algebra relations areFor a unit weight vector $v$, the first relation gives $d⟨v,s_{i}v⟩=1$. Thus $d\ne 0$, $|d|\ge 1$, andhas the weight obtained by swapping $a_i,a_{i+1}$, with $\Vert w{\Vert }^2=1-d^{-2}$. If $d=\pm 1$, then $w=0$ and $s_{i}v=\pm v$. If $|d|>1$, then $w\ne 0$, providing an admissible spectral swap in the same irreducible module.

For the proposed three consecutive weights $(a,a+1,a)$, these rules give $s_{i}v=v$ and $s_{i+1}v=-v$. But the braid relation in a Coxeter group would implya contradiction. Hence the proposed tuple is not in $\mathrm{Spec}(n)$. The same argument, with the signs reversed, excludes $(a,a-1,a)$ as well.