Orbit-harmonics containment conjecture for rectangular set partitions

Let Pi(ba) Pi_{(b^a)} and Pi(ab) Pi_{(a^b)} denote the loci of unordered set partitions whose block-size types are (ba)(b^a) and (ab)(a^b), respectively, and let grI(Pi){\rm gr}{\bf I}( Pi) be the associated graded vanishing ideal in the polynomial ring on the variables indexed by ([n]2)\binom{[n]}{2}. Orbit-harmonics containment conjecture. For positive integers aba\ge b, one has

grI(Π(ba))grI(Π(ab)).{\rm gr}{\bf I}(\Pi_{(b^a)})\subseteq{\rm gr}{\bf I}(\Pi_{(a^b)}).

This is presented as a stronger conjecture related to Foulkes' conjecture, since the orbit-harmonics construction gives Frob(R(Π(ba)))=ha[hb]{\rm Frob}(R(\Pi_{(b^a)}))=h_a[h_b].

Sources & referencesView supporting material

Primary source

Hai Zhu, “Plethysm and orbit harmonics”, arXiv:2602.12623 (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.