Foulkes's conjecture for symmetric powers

Let NN be a positive integer, and let m,nm,n be integers with mnm\leqslant n. For representations of SLN(C)\operatorname{SL}_N(\mathbb{C}), write UVU\leqslant V when UU is isomorphic to a subrepresentation of VV. Foulkes's conjecture.

SymmSymnCNSymnSymmCN.\operatorname{Sym}^m \operatorname{Sym}^n \mathbb{C}^N\leqslant \operatorname{Sym}^n \operatorname{Sym}^m \mathbb{C}^N.

This is a central special case of the plethysm problem and is stated in the source as open. It concerns comparing the decompositions of two iterated symmetric powers as SLN(C)\operatorname{SL}_N(\mathbb{C})-representations.

Sources & referencesView supporting material

Primary source

Moritz Gangl, Álvaro Gutiérrez and Michał Szwej, “On the generalised Foulkes conjecture for SL_2(C) under divisibility conditions”, arXiv:2507.06220 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.