Foulkes' Conjecture in Representation Theory

• Foulkes’ conjecture is a plethystic comparison in representation theory predicting that Sym^m(Sym^n V) embeds into Sym^n(Sym^m V) when m ≤ n.
• It connects symmetric functions, GL(V) representations, and permutation modules via Schur positivity and inductions from wreath products.
• Recent advances include combinatorial models, q-analogues, and sl2-generalizations that clarify its structure and impact on algebraic combinatorics.

Foulkes’ conjecture is a plethystic comparison principle in the representation theory of $\mathrm{GL}(V)$, symmetric functions, and symmetric groups. In its classical form, it predicts that whenever $m\le n$, the plethysm $\Sym^m(\Sym^n V)$ embeds into $\Sym^n(\Sym^m V)$; equivalently, the symmetric-function difference $s_m[s_n]-s_n[s_m]$ is Schur-positive, or, in permutation-module language, each irreducible constituent of the Foulkes module for $S_m\wr S_n$ occurs with multiplicity at most that of the transposed wreath-product construction (Lim, 27 Mar 2025). The conjecture has generated a large body of work on plethysm coefficients, permutation modules, propagation phenomena, stable ranges, combinatorial models, and $q$- and $\mathfrak{sl}_2(\mathbb C)$-generalizations (Ikenmeyer, 2015, Hegedüs et al., 2021, Gutiérrez et al., 8 Jul 2025).

1. Classical statement and equivalent formulations

Let $\Lambda$ be the ring of symmetric functions, and for partitions $\lambda\vdash n$, $m\le n$0, write

$m\le n$1

where the integers $m\le n$2 are the plethysm coefficients (Lim, 27 Mar 2025). In the rectangular case $m\le n$3, $m\le n$4, Foulkes’ conjecture asserts that if $m\le n$5, then

$m\le n$6

is Schur-positive; equivalently, for every partition $m\le n$7,

$m\le n$8

(Lim, 27 Mar 2025).

In $m\le n$9-language, the same assertion is the existence of an injective equivariant map

$\Sym^m(\Sym^n V)$0

whenever $\Sym^m(\Sym^n V)$1 (Evseev et al., 2012). A standard equivalent formulation uses permutation characters of the symmetric group. If $\Sym^m(\Sym^n V)$2, then the conjecture becomes

$\Sym^m(\Sym^n V)$3

for every partition $\Sym^m(\Sym^n V)$4 (Evseev et al., 2012). In the notation of generalized Foulkes modules, the same statement is expressed as an $\Sym^m(\Sym^n V)$5-equivariant embedding $\Sym^m(\Sym^n V)$6 for $\Sym^m(\Sym^n V)$7 (Hegedüs et al., 2021).

These formulations emphasize different aspects of the problem. The symmetric-function form isolates Schur positivity, the $\Sym^m(\Sym^n V)$8-form emphasizes functorial plethysm, and the symmetric-group form connects the conjecture to induction from wreath products and Specht-module multiplicities.

2. Foulkes modules and structural representation theory

A central object is the Foulkes module. In one convention, $\Sym^m(\Sym^n V)$9 is the permutation module for $\Sym^n(\Sym^m V)$0 on the set of set-partitions of $\Sym^n(\Sym^m V)$1 into $\Sym^n(\Sym^m V)$2 blocks each of size $\Sym^n(\Sym^m V)$3, equivalently

$\Sym^n(\Sym^m V)$4

(Paget et al., 2010). In another convention, $\Sym^n(\Sym^m V)$5 denotes the permutation module on ordered set-partitions of type $\Sym^n(\Sym^m V)$6, again realized as an induced module from the wreath product (Hegedüs et al., 2021). These are the symmetric-group incarnations of the plethysms appearing in Foulkes’ conjecture.

Structural analysis of these modules has produced several refined results. Wildon constructs homomorphisms from Specht modules $\Sym^n(\Sym^m V)$7 into Foulkes modules using closed set-families, and gives a combinatorial description of the minimal partitions, in dominance order, that label irreducible constituents of Foulkes modules (Paget et al., 2010). For odd $\Sym^n(\Sym^m V)$8, a partition $\Sym^n(\Sym^m V)$9 is a minimal constituent of $s_m[s_n]-s_n[s_m]$0 precisely when there exists a minimal set-family of shape $s_m[s_n]-s_n[s_m]$1 and type $s_m[s_n]-s_n[s_m]$2; for even $s_m[s_n]-s_n[s_m]$3, the only minimal constituent is $s_m[s_n]-s_n[s_m]$4, with multiplicity one (Paget et al., 2010). This isolates the “bottom layer” of the character and shows that any counterexample would have to occur at or above that level.

Hegedüs and Madireddi extend the framework to generalized Foulkes modules

$s_m[s_n]-s_n[s_m]$5

where $s_m[s_n]-s_n[s_m]$6 (Hegedüs et al., 2021). Restricting $s_m[s_n]-s_n[s_m]$7 to the maximal Young subgroup $s_m[s_n]-s_n[s_m]$8, they identify a distinguished component $s_m[s_n]-s_n[s_m]$9, and prove that

$S_m\wr S_n$0

where $S_m\wr S_n$1 are Kronecker coefficients (Hegedüs et al., 2021). This “peels off” one plethystic layer and links generalized Foulkes modules to Kronecker-theoretic data.

3. Verified cases, propagation, and stable behavior

The conjecture remains open in general, but several finite families are known. Hegedüs–Madireddi record that it is known for $S_m\wr S_n$2 by work of Dent, McKay, Müller–Neunhöffer, and others (Hegedüs et al., 2021). The case $S_m\wr S_n$3 was established by Cheung, Ikenmeyer, and Mkrtchyan through a computer-assisted combinatorial computation proving that

$S_m\wr S_n$4

is injective; McKay’s propagation theorem then yields the conjecture for all $S_m\wr S_n$5 (Cheung et al., 2015).

McKay’s propagation theorem is a major reduction principle. It states that if $S_m\wr S_n$6 is injective, then $S_m\wr S_n$7 is injective for every $S_m\wr S_n$8 (Ikenmeyer, 2015). Since $S_m\wr S_n$9 is trivially an isomorphism, proving the conjecture for fixed $q$0 reduces to checking $q$1 (Cheung et al., 2015). Ikenmeyer recasts McKay’s argument in terms of weight spaces of tensor powers and commuting raising operators $q$2, yielding a short proof of the propagation phenomenon (Ikenmeyer, 2015).

A different simplification occurs in the stable range. Bowman and Paget use the partition algebra and Schur–Weyl duality to prove that if $q$3 has size $q$4 and $q$5, then for all $q$6,

$q$7

where $q$8 denotes the relevant plethysm coefficient (Bowman et al., 2018). In particular, for $q$9, the coefficient depends only on the product $\mathfrak{sl}_2(\mathbb C)$0, not on the ordered pair $\mathfrak{sl}_2(\mathbb C)$1. In that stable range, the original and strengthened Foulkes inequalities become equalities (Bowman et al., 2018).

4. Combinatorial and computational approaches

Several lines of work replace direct plethysm computation by more tractable combinatorial or recursive models. Evseev, Paget, and Wildon introduce a deflation map from characters of $\mathfrak{sl}_2(\mathbb C)$2 to characters of $\mathfrak{sl}_2(\mathbb C)$3, obtained by restricting to $\mathfrak{sl}_2(\mathbb C)$4 and projecting onto constituents on which the base group acts trivially (Evseev et al., 2012). Their combinatorial deflation formula generalizes the Murnaghan–Nakayama rule and produces a recursion for the multiplicities $\mathfrak{sl}_2(\mathbb C)$5. Implemented computationally, this verified Foulkes’ conjecture for all $\mathfrak{sl}_2(\mathbb C)$6 with $\mathfrak{sl}_2(\mathbb C)$7 (Evseev et al., 2012).

Cheung–Ikenmeyer–Mkrtchyan attack the $\mathfrak{sl}_2(\mathbb C)$8 case through highest-weight vectors and symmetrized tableaux. They reduce injectivity of $\mathfrak{sl}_2(\mathbb C)$9 to the kernels of maps on highest-weight spaces, construct bases by $\Lambda$0-symmetrized tableaux, and evaluate these vectors at generic points in $\Lambda$1 using determinant precomputation and several search-tree speed-ups (Cheung et al., 2015). This approach is explicitly representation-theoretic but also heavily combinatorial.

Lim studies a coarser statistic: the total number of irreducible constituents, counted with multiplicity, in $\Lambda$2. For fixed $\Lambda$3, he defines a character $\Lambda$4 of $\Lambda$5 by counting matrices in

$\Lambda$6

satisfying $\Lambda$7, and proves

$\Lambda$8

(Lim, 27 Mar 2025). Each value $\Lambda$9 is an Ehrhart–quasipolynomial counting lattice points in a rational polytope $\lambda\vdash n$0 (Lim, 27 Mar 2025). In the single-row case $\lambda\vdash n$1, the resulting total multiplicity becomes the cardinality of a matrix quotient set $\lambda\vdash n$2, leading to a weaker “cardinality-only” form of Foulkes’ conjecture (Lim, 27 Mar 2025).

5. Generalizations, $\lambda\vdash n$3-analogues, and variants

One major generalization is Bergeron’s $\lambda\vdash n$4-analogue. Replacing complete homogeneous symmetric functions $\lambda\vdash n$5 by Hall–Littlewood polynomials $\lambda\vdash n$6, Bergeron defines

$\lambda\vdash n$7

and conjectures that its Schur expansion has coefficients in $\lambda\vdash n$8 (Bergeron, 2016). At $\lambda\vdash n$9, this recovers the classical Foulkes difference; at $m\le n$00, the conjecture is proved, and the specialization lies in $m\le n$01 (Bergeron, 2016). The conjecture was verified computationally for all $m\le n$02 with $m\le n$03 (Bergeron, 2016).

A more representation-theoretic $m\le n$04-analogue arises for $m\le n$05. If $m\le n$06 and $m\le n$07, the generalized Foulkes conjecture predicts an $m\le n$08-equivariant injection

$m\le n$09

(Gutiérrez et al., 8 Jul 2025). On torus characters, this becomes a coefficientwise nonnegativity statement for Gaussian coefficients,

$m\le n$10

with

$m\le n$11

(Gutiérrez et al., 8 Jul 2025).

Further variants include the loop-augmented forest analogue of Can and Remmel. Replacing $m\le n$12 by $m\le n$13, they conjecture that for $m\le n$14 and every partition $m\le n$15 with more than two parts,

$m\le n$16

and they prove the case $m\le n$17, with an exceptional behavior at the two-row shape $m\le n$18 (Can et al., 2017).

6. Infinite families, consequences, and boundaries of the conjecture

A recent advance is due to Gutiérrez and Szwej, who prove the $m\le n$19-version, and hence the Gaussian-coefficient $m\le n$20-Foulkes statement, whenever $m\le n$21 or equivalently $m\le n$22 (Gutiérrez et al., 8 Jul 2025). Their main theorem states that if

$m\le n$23

and $m\le n$24, then there is an $m\le n$25-equivariant injection

$m\le n$26

(Gutiérrez et al., 8 Jul 2025). This is the first proof in this family valid for infinitely many values of $m\le n$27; previously only the cases $m\le n$28 and $m\le n$29 were known, so every prime $m\le n$30 is now covered (Gutiérrez et al., 8 Jul 2025).

Their proof uses a polynomial-ring model

$m\le n$31

where the $m\le n$32 raising operator becomes the total derivative $m\le n$33 (Gutiérrez et al., 8 Jul 2025). If $m\le n$34, they define a block-repetition algebra map

$m\le n$35

by repeating each $m\le n$36 exactly $m\le n$37 times in the substitution; $m\le n$38 is injective, sends $m\le n$39 into $m\le n$40, and commutes with $m\le n$41, hence with the full $m\le n$42-action (Gutiérrez et al., 8 Jul 2025). Hermite reciprocity then converts the resulting injection into the desired plethystic inclusion. By taking torus characters, the proof yields

$m\le n$43

and semisimplicity arguments further imply symmetric and unimodal complementary weight multiplicities, settling Zanello’s unimodality conjecture in these infinitely many cases (Gutiérrez et al., 8 Jul 2025).

At the same time, the scope of the conjecture has clear limits. Gill proves that a naïve modular analogue is false: if $m\le n$44 has odd prime characteristic $m\le n$45 and $m\le n$46, then the permutation module $m\le n$47 does not, in general, admit $m\le n$48 as a direct summand (Giannelli, 2014). This shows that the classical embedding phenomenon is specific to characteristic $m\le n$49 and cannot be transferred unchanged to modular representation theory.

Taken together, these developments portray Foulkes’ conjecture as a family of comparison problems rather than a single isolated statement: plethystic in $m\le n$50, induced and Specht-theoretic in $m\le n$51, stable in partition-algebra regimes, computationally recursive through deflation, and extensible to Hall–Littlewood, Gaussian-coefficient, and $m\le n$52-settings. The general conjecture remains open, but the combination of propagation theorems, stable equalities, combinatorial models, and infinite new $m\le n$53-families has substantially clarified both its structure and its frontier.