Least non-linear ordinary degree of a symmetric group
ID: least-non-linear-ordinary-degree-of-a-symmetric-group
For , the least ordinary irreducible dimension exceeding one is , except at , where has dimension two. The dimension- shapes are and its conjugate partition, with the additional shapes and at . For there is no non-linear irreducible. A proof uses the restriction branching rule for a symmetric group: a nonstandard shape with at least two corners has two non-linear predecessors, and a rectangular shape has one predecessor which in turn has two non-linear predecessors. This bounds its degree strictly above once ; the smaller cases follow directly from the hook-length formula.
New to topics? Read the docs here!