arXiv++ Combinatorics

We determine the minimal polynomial of each element of the double cover $G$ of the symmetric or alternating group in every irreducible spin representation of $G$.

We determine precisely when the branching coefficients arising from the restriction of irreducible representations of the symmetric group $S_n$ to the dihedral subgroup $D_n$ are nonzero, and we establish uniform linear lower bounds outside a finite exceptional family. As a consequence, we recover and substantially generalize known positivity results for cyclic subgroups $C_n \leq S_n$. Analogous results are obtained for the alternating group $A_n$.

Let $ (ρ, V) $ be an irreducible representation of the symmetric group $ S_n$ (or the alternating group $ A_n$), and let $ g $ be a permutation on $n$ letters with each of its cycle lengths divides the length of its largest cycle. We describe completely the minimal polynomial of $ρ(g)$, showing that, in most cases, it equals $x^{o(g)} - 1 $, with a few explicit exceptions. As a by-product, we obtain a new proof (using only combinatorics and representation theory) of a theorem of Swanson that gives a necessary and sufficient condition for the existence of a standard Young tableau of a given shape and major index $r \ \text{mod} \ n$, for all $r$. Thereby, we give a new proof of a celebrated result of Klyachko on Lie elements in a tensor algebra, and of a conjecture of Sundaram on the existence of an invariant vector for $n$-cycles. We also show that for elements $g$ in $S_n$ or $A_n$ of even order, in most cases, $ρ(g)$ has eigenvalue $-1$, with a few explicit exceptions.

The covering number of a non-linear character $χ$ of a finite group $G$ is the least positive integer $k$ such that every irreducible character of $G$ occurs in $χ^k$. We determine the covering numbers of irreducible characters of the symmetric group $S_n$ indexed by certain two-row partitions (and their conjugates), namely $(n-2,2)$ and $((n+1)/2, (n-1)/2)$ when $n$ is odd. We also determine the covering numbers of irreducible characters indexed by certain hook-partitions (and their conjugates), namely $(n-2,1^2)$, the almost self-conjugate hooks $(n/2+1, 1^{n/2-1})$ when $n$ is even, and the self-conjugate hooks $((n+1)/2, 1^{(n-1)/2})$ when $n$ is odd.

The algebra of symmetric functions contains several interesting families of symmetric functions indexed by integer partitions or skew partitions. Given a sequence $\{u_n\}$ of symmetric functions taken from one of these families such that $u_n$ is homogeneous of degree $n$, we provide necessary and sufficient conditions for the sequence to form a system of algebraically independent generators for the algebra of symmetric functions.

We determine when a permutation with cycle type $μ$ admits a non-zero invariant vector in the irreducible representation $V_λ$ of the symmetric group. We find that a majority of pairs $(λ,μ)$ have this property, with only a few simple exceptions.