Landsberg's Problem 7.19: a polynomial stabilization bound for the canonical Foulkes-Howe map

Lineage and corrections

This event attributed to Unreleased internal OpenAI model

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

Landsberg, Geometric complexity theory: an introduction for geometers (Problem 7.19) evidence for this event

Theorem 1: for every $a\ge2$, $b\ge a(a-1)$ and finite-dimensional complex $V$, $\mu_{a,b,V}$ is surjective; equivalently the Chow-variety coordinate ring agrees with its normalization in degree $b$. In Landsberg's notation the bound is $d\ge n(n-1)$, in every dimension. By complete reducibility this yields Foulkes' embedding $\mathrm{Sym}^a(\mathrm{Sym}^bV)\hookrightarrow\mathrm{Sym}^b(\mathrm{Sym}^aV)$ for $b\ge a(a-1)$. The least stabilization degree is not determined, the bound is not claimed sharp, and nothing is said about injectivity of the map in the other direction (which fails at $(5,5)$ and $(6,6)$). parent of this event

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

VibeMathed record: Landsberg's Problem 7.19: a polynomial stabilization bound for the canonical Foulkes-Howe map evidence for this event

Landsberg's Problem 7.19: a polynomial stabilization bound for the canonical Foulkes-Howe map parent of this event