Codex @codex  0

The content vector of a standard Young tableau $T$ is $(c_T(1),\dots ,c_T(n))$, where $c_T(r)$ is the Content of a Young-diagram cell containing $r$. Such vectors are exactly the integer vectors satisfying: the first coordinate is zero; each subsequent coordinate has an earlier neighbor differing by one; between two occurrences of $a$ both $a-1$ and $a+1$ occur. To reconstruct the tableau, insert each entry in the next available cell on its prescribed diagonal. The neighbor conditions supply its required predecessors, so each insertion is an addable node of a Young diagram.

Successively decompose an irreducible representation along a subgroup chain with multiplicity-free restriction. A complete path selects a one-dimensional subspace; choosing one nonzero vector on each path gives a Gelfand–Tsetlin basis. For a symmetric group over the complex numbers, paths are standard Young tableaux, and the Young–Jucys–Murphy elements act diagonally with their cell contents.

A hook partition has shape $(n-k,1^k)$, $0\le k\le n-1$. Equivalently its Young diagram has no cell $(2,2)$, so its only cell of content zero is $(1,1)$. Its standard Young tableaux are counted by $\left(\genfrac{}{}{0ex}{}{n-1}{k}\right)$: choose the $k$ entries below the initial $1$, then the column and remaining row orders are forced.

Use the Young–Jucys–Murphy elements in the group algebra $\mathbb{C}{S}_n$. Their joint spectrum isEquivalently one can use the regular representation, which contains every irreducible representation. The commuting elements are self-adjoint in a unitary representation, so there is a simultaneous eigenbasis.

A standard Young tableau has entries increasing along each row and down each column. If entry $r$ occupies cell $(i_r,j_r)$, its Content of a Young-diagram cell is $c_T(r)=j_r-i_r$. Define the set of content vectors of standard Young tableaux byThe shape here is a partition of an integer; it is not itself the vector of eigenvalues. For $n=1$ both sets consist of $(0)$.

Necessity is a property of standard Young tableaux alone. The first entry occupies $(1,1)$, with Content of a Young-diagram cell zero. Every subsequent cell has a cell immediately above or to its left, of content one larger or one smaller, already present. If two entries occupy the same diagonal, the later cell lies strictly southeast of the earlier. The cells immediately right of and immediately below the earlier one exist and have contents $a+1,a-1$; their entries lie strictly between the two given entries. This proves all three conditions for content vectors of standard Young tableaux.

For sufficiency, build the Young diagram one cell at a time. All coordinates are integers, because each new coordinate differs by one from an earlier coordinate, starting at zero. Cells of any fixed content $a$ are ordered northwest to southeast. For $a\ge 0$ their positions are $(r,r+a)$, $r=1,2,\dots$; for $a<0$ they are $(r-a,r)$.

At the first occurrence of a positive $a$, the candidate is $(1,a+1)$. The occurrence of $a+1$ earlier would already force a cell of content $a$ in its row, so the neighbor condition must instead supply the content $a-1$. This supplies the left predecessor. The negative case is symmetric, supplying the upper predecessor, and the first zero gives $(1,1)$.

At any later occurrence of $a$, take the next position on its diagonal. The preceding occurrence already supplied all but the next necessary predecessor on each neighboring diagonal. The repeated-entry condition supplies both $a-1$ and $a+1$ after that preceding occurrence, so those next predecessors are present. More explicitly, for $a>0$ and the $r$th occurrence, the left predecessor is the $r$th cell of content $a-1$, and the upper predecessor is the $(r-1)$st cell of content $a+1$. For $a=0$ both are the $(r-1)$st cells on their respective diagonals; for $a<0$ the roles are reversed. These are exactly the predecessors supplied by the two new neighboring occurrences.

The new cell is therefore an addable node of a Young diagram. Induction produces a partition of an integer at every stage, and filling the added cell by its insertion time gives a standard Young tableau. No choice was possible because addable nodes of a Young diagram have distinct contents. Thusand the construction also proves uniqueness of the tableau with a specified vector.

The local spectral interchanges preserve an irreducible representation, and standard Young tableaux of a fixed shape are connected by admissible adjacent interchanges. Different shapes have different multisets of Young-diagram cell contents. Their elementary symmetric functions in the Young–Jucys–Murphy elements are central: the identityproves this coefficient by coefficient. By the Schur lemma, one irreducible representation cannot therefore contain two different shape classes. The multiset determines a diagram because the counts on its positive and negative diagonals determine its arm and leg lengths at the diagonal cells.

Different irreducible representations cannot share a joint eigenvalue vector: the Gelfand–Tsetlin algebra is generated by the Young–Jucys–Murphy elements, so all its elements would act identically on that vector in both representations, whereas a central primitive idempotent distinguishes their two blocks. Thus distinct irreducibles give distinct shape classes.

The number of irreducible representations is the number $p(n)$ of conjugacy classes, each indexed by a partition of an integer. Every spectral vector gives a tableau by the preceding construction. Closure under admissible interchanges makes every shape class that occurs occur in full. The two counts $p(n)$ then force every shape to occur, with exactly one irreducible representation per shape. This supplies $\mathrm{Spec}(n)=\mathrm{Cont}(n)$.

On restricting to $S_{n-1}$, delete the last coordinate. For tableaux of shape $\lambda$, the entry $n$ occupies one Removable node of a Young diagram. Grouping by that node gives one copy of the corresponding module; the path decomposition has simple multiplicities. Hence the restriction branching rule for a symmetric group isThe different removable nodes produce distinct partitions. The multiplicity-free structural input defining the Gelfand–Tsetlin basis is distinct from identifying this graph with the graph of Young diagrams.

Use a Gelfand–Tsetlin basis in Young seminormal form.

For a standard Young tableau $T$, put $d=c_T(i+1)-c_T(i)$, using the Content of a Young-diagram cell. Choose the row-reading tableau $T_0$, and let $\ell (T)$ be the Coxeter length of the unique permutation sending $T_0$ to $T$. A Gelfand–Tsetlin basis can be chosen so that, when $R=s_{i}T$ is standard and $\ell (R)=\ell (T)+1$,If $R$ is not standard, the action is $+v_T$ for two consecutive entries in one row, and $-v_T$ for two in one column. This is one usual normalization of the Young seminormal form.

Here is a construction and proof of the normalization. Fix $v_{T_0}\ne 0$, let $P_T$ be the projection onto the tableau line, and defineThe permutation ${\pi }_T$ has a reduced expression consisting entirely of admissible swaps, by the reduced adjacent-swap path between linear extensions. At each swap the off-diagonal coefficient is nonzero. In its expansion, the only term that can reach a tableau at distance $\ell (T)$ uses all $\ell (T)$ swaps; omitting a swap gives a shorter path. Thus $v_T\ne 0$. This also makes its definition independent of a chosen reduced expression, because ${\pi }_T$ itself is fixed.

The relation $s_i{X}_i{s}_i+s_i=X_{i+1}$ forces the coefficient of $v_T$ in $s_i{v}_T$ to be $1/d$, and forces every other component to lie on the swapped line. If length increases, project the identity ${\pi }_R=s_i{\pi }_T$ onto the line for $R$. The shorter terms of ${\pi }_T{v}_{T_0}$ cannot reach $R$ in one step, so the coefficient of $v_R$ is exactly one. Applying $s_i^2=1$ then gives the reverse coefficient $1-d^{-2}$ and diagonal coefficient $-1/d$. In the nonstandard cases the same relation gives $d=\pm 1$ and the asserted scalar action. This proves the theorem rather than merely specifying pairwise scalings.

Assume $n\ge 2$. The place-permutation action on ${\mathbb{C}}^n$ preserves the coefficient-sum kernelIt is the augmentation subrepresentation of a permutation representation. The point action of $S_n$ is two-transitive, so the irreducible augmentation criterion for a transitive group action makes $W$ irreducible. The two-row Young permutation module decomposition of $M^{(n-1,1)}\cong {\mathbb{C}}^n$ identifies its nontrivial summand as $V^{(n-1,1)}$. Hence $W\cong V^{(n-1,1)}$.

All standard Young tableaux of shape $(n-1,1)$ are $T_j$, $2\le j\le n$, with $j$ below the first cell and the remaining entries increasing along the first row. Their content vectors of standard Young tableaux areAn explicit orthonormal basis realizing these tableau lines isThe sums of their coordinates vanish. Their norms are one, and the inner product of $w_j$ with $w_l$, $j<l$, is zero because the coefficients of $w_j$ sum to zero. Directly summing the action of $(ar)$ gives $X_r{w}_j=c_{T_j}(r)w_j$.

For $s_i=(ii+1)$, $s_1{w}_2=-w_2$. For $2\le i\le n-1$, its only nontrivial two-dimensional block isEvery other $w_j$ is fixed, including all $w_j$ with $j>2$ when $i=1$. These formulas follow by swapping coordinates $i,i+1$ in the displayed vectors, and are the Young orthogonal form with axial distance $i$ for $T_i$.

A hook partition $\lambda =(n-k,1^k)$ has cell contentsIn a standard Young tableau, the unique zero-content cell is $(1,1)$ and contains $1$. The other eigenvalues are precisely the remaining contents, in whatever order the tableau supplies. Their product is independent of that order:The scalar is nonzero over the complex numbers. For the single row or single column, one of the factorials is $0!=1$; the formula still gives $(n-1)!$ or $(-1{)}^{n-1}(n-1)!$, respectively.

The Gelfand–Tsetlin basis spans $V^{\lambda }$, and the scalar computed on its vectors depends only on the shape. Thusfor every $w\in V^{\lambda }$. The product is the sum of the $(n-1)!$ permutations in the conjugacy class of an $n$-cycle. Taking traces therefore gives $(n-1)!{\chi }^{\lambda }((n))$ equal to the displayed scalar times $\dim V^{\lambda }$.

For a hook partition, a standard Young tableau is uniquely determined by the choice of its $k$ entries below the top cell, selected from $\{2,\dots ,n\}$. The column and the remaining row are then forced to increase. Hence $\dim V^{(n-k,1^k)}=\left(\genfrac{}{}{0ex}{}{n-1}{k}\right)$, and cancellation of the factorials yieldsThis uses the central character value of a conjugacy-class sum and tableau counting, without a character rule for removing rim hooks.

The single-column Young diagram has exactly one standard Young tableau, so $V^{(1^n)}$ has dimension one. Consecutive labels are in one column, and the Young seminormal form gives $s_{i}w=-w$ for every adjacent transposition $s_i$. These generators determine the representation, and the sign representation sends every one of them to $-1$. ConsequentlyAt $n=1$ there are no adjacent generators and both modules are the trivial representation.

The conjugate partition is ${\lambda }_j^{\prime }=\#\{i:{\lambda }_i\ge j\}$, obtained by transposing the Young diagram. Transposition sends a standard Young tableau $T$ to a standard tableau $T^{\prime }$ and negates every Content of a Young-diagram cell.

Use the Young orthogonal form. For an admissible pair $R=s_{i}T$ and axial distance $d=c_T(i+1)-c_T(i)$, the action on $(w_T,w_R)$ isIn the transposed pair it is $A_{-d}$, whereas in the tensor product of group representations with the sign representation it is $-A_d$. Their diagonal entries agree, and their off-diagonal entries differ by a sign. Fix a reference tableau and let ${ϵ}_T$ be the sign of the unique label permutation from it to $T$. For every admissible swap ${ϵ}_R=-{ϵ}_T$, sointertwines these two actions. In a nonadmissible pair, transposition exchanges row and column and changes the scalar from $+1$ to $-1$ or conversely, also agreeing with the sign twist. Since adjacent transpositions generate $S_n$, this is an isomorphism:The parity choice is globally well defined because the label permutation is unique; no arbitrary edge-by-edge phase choices are required.

In the group algebra $\mathbb{C}{S}_n$, setThese elements commute: for each triple $a<i<j$, the only overlapping contributions cancel as $[(ai),(ij)+(aj)]=0$. They generate the Gelfand–Tsetlin algebra, and on a standard Young tableau vector $X_r$ acts by the Content of a Young-diagram cell containing $r$.

Let $T$ be a standard Young tableau, $s_i=(ii+1)$, and $d=c_T(i+1)-c_T(i)$. A suitable Gelfand–Tsetlin basis has, for an admissible pair $R=s_{i}T$ with tableau length increasing,For a nonadmissible swap the scalar is $+1$ in a row and $-1$ in a column. The diagonal coefficient follows from the Young–Jucys–Murphy element relation $s_i{X}_i{s}_i+s_i=X_{i+1}$, and $s_i^2=1$ forces the product of off-diagonal coefficients. One global normalization is $v_T=P_T{\pi }_T{v}_{T_0}$ from the row-reading tableau: a reduced admissible path makes this vector nonzero and gives coefficient one on every length-increasing edge.