arXiv++ Combinatorics

Let $p$ be any prime. We determine precisely those irreducible characters of symmetric groups which contain at most $p$ distinct linear constituents in their restriction to a Sylow $p$-subgroup, answering a question of Giannelli and Navarro. Moreover, we identify all of the linear constituents of such characters, and in the case $p = 2$ explicitly calculate a new class of Sylow branching coefficients for symmetric groups indexed by so-called almost hook partitions.

Let $p\ge 5$ be a prime and let $P$ be a Sylow $p$-subgroup of a finite symmetric group. To every irreducible character of $P$ we associate a collection of labelled, complete $p$-ary trees. The main results of this article describe Sylow branching coefficients for symmetric groups for all irreducible characters of $P$ in terms of some combinatorial properties of these trees, extending previous work on the linear characters of $P$.

In this note, we prove some new stability results for plethysm coefficients. As special cases, we verify a conjecture of Wildon, and show the stability of sequences recently predicted by Bessenrodt, Bowman and Paget to be weakly increasing.

In this article we investigate the positivity of Sylow branching coefficients for symmetric groups when $p = 3$. In particular, we complete the discussion begun by Giannelli and the author in arXiv:1712.02642 (J. Algebra) and developed in arXiv:1909.09446 (J. London Math. Soc.) concerning the case of odd primes.

We prove a recursive formula for plethysm coefficients of the form $a^μ_{λ,(m)}$, generalising results on plethysms due to Bruns--Conca--Varbaro and de Boeck--Paget--Wildon. From this we deduce a stability result and resolve two conjectures of de Boeck concerning plethysms, as well as obtain new results on Sylow branching coefficients for symmetric groups for the prime 2. Further, letting $P_n$ denote a Sylow 2-subgroup of $S_n$, we show that almost all Sylow branching coefficients of $S_n$ corresponding to the trivial character of $P_n$ are positive.

We prove that a finite group $G$ has a normal Sylow $p$-subgroup $P$ if, and only if, every irreducible character of $G$ appearing in the permutation character $({\bf 1}_P)^G$ with multiplicity coprime to $p$ has degree coprime to $p$. This confirms a prediction by Malle and Navarro from 2012. Our proof of the above result depends on a reduction to simple groups and ultimately on a combinatorial analysis of the properties of Sylow branching coefficients for symmetric groups.

Let $p$ be any prime. Let $P_n$ be a Sylow $p$-subgroup of the symmetric group $S_n$. Let $φ$ and $ψ$ be linear characters of $P_n$ and let $N$ be the normaliser of $P_n$ in $S_n$. In this article we show that the inductions of $φ$ and $ψ$ to $S_n$ are equal if, and only if, $φ$ and $ψ$ are $N$--conjugate. This is an analogue for symmetric groups of a result of Navarro for $p$-solvable groups.

Let $p\ge 5$ be a prime and let $n$ be a natural number. In this article we describe the irreducible constituents of the induced characters $φ\big\uparrow^{\mathfrak{S}_n}$ for arbitrary linear characters $φ$ of a Sylow $p$-subgroup of the symmetric group $\mathfrak{S}_n$, generalising earlier results of the authors. By doing so, we introduce Sylow branching coefficients for symmetric groups.

Let $p$ be an odd prime and let $n$ be a natural number. In this article we determine the irreducible constituents of the permutation module induced by the action of the symmetric group $\mathfrak{S}_n$ on the cosets of a Sylow $p$-subgroup $P_n$. As a consequence, we determine the number of irreducible representations of the corresponding Hecke algebra $\mathcal{H}(\mathfrak{S}_n, P_n, 1_{P_n})$.

Let $p$ be a prime number. In this article we study the restriction to $\mathfrak{S}_{n-1}$ of irreducible characters of degree coprime to $p$ of $\mathfrak{S}_n$. In particular, we study the combinatorial properties of the subgraph $\mathbb{Y}_{p'}$ of the Young graph $\mathbb{Y}$. This is an extension to odd primes of the work done by Ayyer, Prasad and Spallone for $p=2$.