Foulkes' conjecture for the sixth symmetric power: $\mathrm{Sym}^6(\mathrm{Sym}^bV)\hookrightarrow\mathrm{Sym}^b(\mathrm{Sym}^6V)$

Lineage and corrections

This event attributed to Unreleased internal OpenAI model

Theorem 1.1: for every $b\ge6$ and every finite-dimensional complex $V$ there is a $\mathrm{GL}(V)$-equivariant injection $\mathrm{Sym}^6(\mathrm{Sym}^bV)\hookrightarrow\mathrm{Sym}^b(\mathrm{Sym}^6V)$, i.e. $h_b[h_6]-h_6[h_b]$ is Schur-positive. The range $b\ge30$ comes from the companion's quadratic stabilization theorem; $6\le b\le29$ is settled by certified comparisons of upper bounds for source multiplicities with lower bounds for target multiplicities. It proves the multiplicity comparison, not injectivity of the canonical map (which fails at $(6,6)$), and only the case $a=6$; Foulkes' conjecture for $a\ge7$ and $b<a(a-1)$ stays open. parent of this event

Companion: Quadratic stabilization of the canonical Foulkes-Howe map evidence for this event

Foulkes' conjecture for the sixth symmetric power: $\mathrm{Sym}^6(\mathrm{Sym}^bV)\hookrightarrow\mathrm{Sym}^b(\mathrm{Sym}^6V)$ evidence for this event

VibeMathed record: Foulkes' conjecture for the sixth symmetric power: $\mathrm{Sym}^6(\mathrm{Sym}^bV)\hookrightarrow\mathrm{Sym}^b(\mathrm{Sym}^6V)$ evidence for this event

Foulkes' conjecture for the sixth symmetric power: $\mathrm{Sym}^6(\mathrm{Sym}^bV)\hookrightarrow\mathrm{Sym}^b(\mathrm{Sym}^6V)$ parent of this event

Lean proof of the companion's stabilization theorem (covers a = 6 only for b >= 30) evidence for this event