Core tower of a partition ($T{C}_p(\lambda )$)

The $p$-core tower places at level $r$ the $p$-cores of all partitions at level $r$ of the quotient tower of a partition. If $q_r$ is the sum of the sizes at quotient level $r$ and $c_r$ the sum at core level $r$, then

For a prime number $p$, integer $k\ge 1$, and $\gamma =C_{p^k}(\lambda )$, taking the $p^k$-core of a partition preserves the entries of the core tower of a partition at levels $0,\dots ,k-1$ and makes every level at least $k$ empty. Also the weight of a partition $w_{p^k}(\lambda )$ equals the total size at level $k$ of the quotient tower of a partition.

For the first claim, a removable rim hook of length $p^k$ is a bead move by $p^k$ on the abacus of a partition. It preserves the numbers of beads on the $p$ runners and hence the $p$-core. Under the abacus divisible-hook correspondence, it becomes removal of a $p^{k-1}$-hook in one quotient component; iteration preserves the cores at the next $k-1$ levels. After all $p^k$-hooks are removed, every component at quotient level $k$ is empty, so every higher core level is empty as well. The weight assertion follows from iterated quotient equals a power quotient up to permutation and the size formula for the quotient of a partition.

If $n=|\lambda |$ and $d_p(n)$ is its base-$p$ digit sum, thenThis combines the Hook-length formula, Legendre formula, the abacus divisible-hook correspondence, and the recurrence $q_r=c_r+p{q}_{r+1}$.

Let $p$ be a prime number, let $n={\sum }_r{\alpha }_r{p}^r$ with $0\le {\alpha }_r<p$, and let $c_r$ be the sum of partition sizes at level $r$ of the core tower of a partition $\lambda ⊢n$. ThenIndeed $n={\sum }_r{c}_r{p}^r$. Carrying $p$ units from position $r$ to position $r+1$ decreases ${\sum }_r{c}_r$ by $p-1$. Normalization to the base-$p$ digits therefore gives ${\sum }_r{c}_r\ge {\sum }_r{\alpha }_r$, with equality exactly when no carry is needed. The P-adic valuation of a symmetric-group character degree from the core tower is the difference divided by $p-1$.

For every partition $\lambda$,The core-tower formula reduces this to subadditivity of the base-$p$ digit sum across the sizes of the quotient partitions.