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.

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$.

Choose $m\ge \ell (\lambda )$, pad the partition of an integer with zeros, and define its beta numbers byThey form a strictly decreasing set of nonnegative integers. Conversely, from its decreasing enumeration recover ${\lambda }_i={\beta }_i-m+i$. With $m=\ell (\lambda )$ these are exactly the first-column hook lengths, since $h_{i1}={\lambda }_i+{\lambda }_1^{\prime }-i={\lambda }_i+m-i$. Padding changes the numbers: increasing $m$ by one replaces $B$ by $\{0\}\cup (B+1)$, and leaves the represented partition of an integer unchanged.

Arrange positions $0,1,2,\dots$ on $p$ runners, putting position $r+pk$ on runner $r$ at height $k$. A bead occupies each position in the beta set. This is the abacus of a partition. The hook criterion in a beta set says that a bead $b$ and a gap $a<b$ correspond to a hook of length $b-a$; replacing $b$ by $a$ removes the corresponding rim hook. In particular removing a rim $p$-hook moves a bead from $b$ to the vacant position $b-p$ immediately above it on the same runner. Its leg length counts the beads in the intervening positions of the full linear numbering.

For an explicit example, take $\lambda =(4,2,1)$, $p=3$, and $m=3$. Its beta set is $\{6,3,1\}$. Runner zero has beads at $3,6$, runner one has a bead at $1$, and runner two is empty. Packing upwards gives $\{3,1,0\}$, which represents $(1)$; thus the three-core is $(1)$ and the weight is two.

Every bead slide reduces the sum of occupied positions, so repeated slides terminate. The number $n_r$ of beads on each runner is unchanged. At termination they must occupy exactlyon runner $r$, since any gap above a bead would allow a further slide. Hence the final beta set is uniquely determined by the initial runner counts, independently of the order of hook removals. Increasing the number of beads by $p$ replaces $B$ by $\{0,\dots ,p-1\}\cup (B+p)$, adds one bead to each runner, and gives exactly the same represented core after packing. General changes in padding follow by applying $B\mapsto \{0\}\cup (B+1)$; packing commutes with this operation up to the cyclic relabelling of runners. Therefore the result is independent of both removal order and padding:The weight of a partition is $w_p(\lambda )=(n-|C_p(\lambda )|)/p$.

A block of a group algebra is an indecomposable two-sided summand $F{S}_{n}e$, where $e$ is a primitive central idempotent. The identity decomposes into pairwise orthogonal such idempotents; a module belongs to a block when its idempotent acts as identity and the other block idempotents act as zero. For ordinary characters, use a splitting p-modular system $(K,\mathcal{O},F)$, or extend the residue field first: the block idempotents lift to $\mathcal{O}{S}_n$, and determine which ordinary irreducible $K{S}_n$-modules lie in each $p$-block. The symmetric group is split over its prime field, so extending $F$ introduces no change to the resulting partition of an integer labels.

The Nakayama block theorem, traditionally called the Nakayama Conjecture for symmetric groups, isThe simple modules in that block are exactly the $D^{\nu }$ with regular labels having that core. At fixed $n$, the common core also fixes the weight. Here is an essay proof route through central characters, specifying the main algebraic and combinatorial steps and why each is needed.

First introduce the commuting Young–Jucys–Murphy elementsTheir commutators vanish because contributions supported on each triple of letters cancel. Symmetric polynomials in the $J_i$ are central: for adjacent transpositions $s_i$, the relations $s_i{J}_i=J_{i+1}{s}_i-1$, $s_i{J}_{i+1}=J_i{s}_i+1$ show that $s_i$ commutes with symmetric expressions in $J_i,J_{i+1}$, and it commutes with the other $J_j$. Since these transpositions generate $S_n$, the symmetric expressions commute with the whole group algebra.

The substantial generation ingredient is the integral Jucys–Murphy description of the center of a symmetric-group algebra: every conjugacy-class sum is an integral symmetric polynomial in the $J_i$. Its proof expands symmetric monomials in these sums of transpositions and organizes the resulting class sums by the number of moved letters and cycle filtration; triangular elimination supplies integral spanning, rather than merely rational spanning. A useful first identity in this construction isIndeed, when adjoining the letter $n$, either choose $t$ and leave it as a singleton cycle, or choose a transposition $(jn)$ and insert it into the cycle containing $j$; this gives every permutation uniquely. The full generation step distinguishes the individual class sums which this first identity groups together. Its integrality is essential: a description only over $\mathbb{Q}$ could use denominators divisible by $p$ and would not prove generation of the modular center. Since class sums form the integral basis of the center, this integral theorem reduces to the same generation statement over $F$.

Next determine their scalar action. In the characteristic-zero tableau basis of $S^{\lambda }$, $J_i$ is diagonal with entry the Content of a Young-diagram cell occupied by $i$, namely column minus row. This follows recursively along the multiplicity-free branching chain: the commuting operators preserve each path line, and $J_{i+1}=s_i{J}_i{s}_i+s_i$ determines the successive eigenvalues. Consequently a symmetric polynomial $f(J_1,\dots ,J_n)$ acts on $S^{\lambda }$ byThis is independent of the ordering of the cells. The scalar identity holds on the integral Specht lattice, so after modular reduction it depends only on the multiset of contents modulo $p$. Every composition factor has this same central character of a block.

Two simple modules are in the same block exactly when their central characters agree. The center of a block is a commutative local finite-dimensional algebra; its semisimple quotient gives one scalar character, while the orthogonal block idempotents separate different blocks. By the generation theorem, equality on all symmetric polynomials in the $J_i$ is enough. Conversely, different residue multisets are detected by elementary symmetric polynomials: the monic polynomial ${\prod }_{(i,j)\in \lambda }(z-(j-i))$ over $F$ recovers the multiplicity of each residue by unique factorization, including multiplicities larger than $p$. Thus block equivalence is exactly equality of the integersThis gives the residue-content criterion for symmetric-group blocks without assuming that the sum of contents alone distinguishes blocks.

Finally identify residue content with the core. A removable rim $p$-hook has consecutive contents modulo $p$, hence removes one cell of each residue. Therefore shapes with the same core and the same size have the same residue counts. For the converse choose $m$ divisible by $p$ and at least $n$, and write $q_r=n_r-m/p$ for the runner charges. Starting from the empty partition of an integer gives $q_r=0$. Adding a cell of residue $r$ moves a beta-number bead from residue $r-1$ to residue $r$, increasing $q_r$ and decreasing $q_{r-1}$. The same changes occur in $c_s-c_{s+1}$ when $c_r$ increases by one. Induction on the cells therefore givesEqual residue counts give equal charges and hence equal packed runner configurations, so they give the same core. This completes both directions of the block criterion. The argument exposes the three essential bridges: integral center generation, its scalar content evaluation, and the abacus identification of residue data with a unique core.

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.

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.

For the product assertion in a non-hook shape, ${\lambda }_2\ge 2$, so cell $(2,2)$ is present. Its Content of a Young-diagram cell is zero and its label is at least four. Since $X_r{w}_T=c_T(r)w_T$, that factor in the product vanishes. Therefore

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.