{
  "id": "stabilization-of-the-foulkes-howe-map",
  "title": "Quadratic stabilization of the Foulkes–Howe map",
  "description": "OpenAI's theorem (2026) that the canonical Hermite–Hadamard–Howe map Sym^b(Sym^a V) -> Sym^a(Sym^b V) is surjective for b >= a(a-1) and every finite-dimensional complex V. Symmetric powers and averaging, the image of the map, the diagonal criterion for surjectivity, an injectivity lemma for directional derivatives with the Fischer inner product, the induction that proves the vanishing on products, and an equivariant embedding of the kind asked for by Foulkes' conjecture.",
  "units": [
    {
      "id": "symmetric-powers-and-the-foulkes-howe-map",
      "title": "Symmetric powers and the Foulkes–Howe map",
      "reader": "symmetric-powers-and-the-foulkes-howe-map.html",
      "source": "src/symmetric-powers-and-the-foulkes-howe-map.md",
      "source_sha256": "34b8645b9f378eb37eb9fd3eb7aeb3e454351821dc4fafc87bfcae736b2ae35f",
      "status": "author_self_checked"
    },
    {
      "id": "a-differential-injectivity-lemma",
      "title": "A differential injectivity lemma",
      "reader": "a-differential-injectivity-lemma.html",
      "source": "src/a-differential-injectivity-lemma.md",
      "source_sha256": "fcf082eb57eb26ef7d2cb6824f453d353786ad9471c23b57eaa56094cc264863",
      "status": "author_self_checked"
    },
    {
      "id": "vanishing-on-products",
      "title": "Vanishing on products",
      "reader": "vanishing-on-products.html",
      "source": "src/vanishing-on-products.md",
      "source_sha256": "bab3d86ca51f7ce128a1bb220fd7a4c5b450777ce26fd0b996cc5a3e437ea7bd",
      "status": "author_self_checked"
    }
  ],
  "prerequisites": [
    "linear algebra over the complex numbers: tensor products, quotient spaces, dual spaces, Hermitian inner products and adjoints",
    "polynomials in several variables and their partial derivatives"
  ],
  "status": "author_self_checked",
  "proof_providers": "providers.json",
  "provenance": "provenance.json",
  "licence": "CC0-1.0"
}