Jump to content

The Benson–Etingof–Ostrik conjecture for finite tensor categories

From OpenAI Aftermath

The Benson–Etingof–Ostrik conjecture predicts that every symmetric tensor category of moderate growth over an algebraically closed field of characteristic p > 0 admits a fiber functor to the tower of higher Verlinde categories Verpn, a positive-characteristic analogue of Deligne's theorem. A manuscript in OpenAI's public mathematics collection (github.com/openai/math), dated 24 September 2026 and released on 6 October 2026, claims the finite case. A paper by Coulembier and Flake with the same main theorem appeared on arXiv on 2 October 2026. This page summarizes the published claims and lists publicly available follow-up work. Statements are the respective authors' claims; the publication of a paper or code is not presented here as independent verification.

Background

  • As recounted in the introduction of the manuscript:
    • In characteristic zero, Deligne's theorem gives supervector spaces as a common target for fiber functors. In positive characteristic, Ostrik proved that symmetric fusion categories admit fiber functors to Verp, and Etingof–Ostrik and Coulembier–Etingof–Ostrik characterized the categories that fibre over Verp through the Frobenius functor.
    • Higher levels are needed because the Frobenius functor need not be exact. Benson, Etingof and Ostrik constructed the higher Verlinde tower (Coulembier constructed it independently through abelian envelopes) and stated the conjecture.
    • Coulembier and Flake developed higher Frobenius functors from representations of elementary abelian p-groups, which become symmetric monoidal once a restricted-tilting conjecture is established; their earlier work proved that conjecture for substantial classes of modules.

The original result

  • Claim. Theorem 1.1 of Fiber functors for finite symmetric tensor categories in positive characteristic states that for every prime p, every algebraically closed field k of characteristic p and every finite symmetric tensor category over k, there is a fiber functor to Verpn(k) for some n ≥ 1, including characteristic two. The manuscript states that this is the finite case of the conjecture and that it makes no assertion about nonfinite categories of moderate growth; it also derives the finite case of a conjecture of Coulembier, Etingof and Ostrik on incompressible categories.
  • Method, as described: the manuscript proves the full restricted-tilting conjecture of Coulembier and Flake, that R(Str−1) ⊗ D is the restriction of a tilting SL2-module for every finite-dimensional module D of (Z/p)r, by lifting D to the additive group, extending an equivariant vector bundle from the punctured plane across the origin, and comparing fibers after tensoring with the Steinberg module. The higher Frobenius functors then give the fiber functor.
  • Source. The manuscript Fiber functors for finite symmetric tensor categories in positive characteristic at commit 1581d4c. Its references, checked at that commit, do not include arXiv:2610.04096.
  • Formalization. The collection lists no Lean formalization for this result.

Public follow-up work

Date Work Relation Public claim Public status (checked 19 October 2026)
2026-10-02 K. Coulembier, J. Flake, The Benson–Etingof–Ostrik conjecture for finite tensor categories (arXiv:2610.04096, v1) Parallel work (same theorem, posted before the release)
  • The abstract states that every finite symmetric tensor category over an algebraically closed field of positive characteristic admits a symmetric tensor functor to a higher Verlinde category, proved through the authors' higher Frobenius functors and a proof of their conjecture on thick tensor ideals for elementary abelian p-groups, in a refined form.
  • Its statement on the use of AI says that the main ideas of the proofs in two sections were originally obtained with GPT-6 Astra, from a formula found earlier in numerical experiments with Claude, and that the paper was written by hand and checked with GPT-6 Astra. It also mentions an alternative proof of the conjecture on tensor ideals by A. Sherman, in preparation, also found with AI.
 arXiv preprint (version 1).
2026-10-07 Category Theory Zulip, "OpenAI preprint release" (public archive) Remark (discussion) Participants point out that Coulembier and Flake posted the same result days before the release and that the manuscript does not cite it. A Mastodon post quoted in the thread describes the two proofs as the same except at one substep. Public discussion archive.
2026-10-16 J. Jardine, Lattice24, referee review rank_498 in JJardine919/openai-math-audit (archived at Zenodo 10.5281/zenodo.23422995) Review (AI-assisted audit) Reports no gap, with no minor notes. The reviewer states that it read every section in full and checked the restricted-tilting argument in detail, including the extension of the equivariant bundle across the origin and the formal comparison of fibers. Part of an audit of the collection's manuscripts without Lean that the audit describes as complete. The reviews are published under CC BY 4.0.

Notes

  • The list covers follow-ups found in public sources up to the date above; it is not a priority or completeness claim.
Retrieved from "https://openai-aftermath.mathnt.net/index.php?title=The_Benson–Etingof–Ostrik_conjecture_for_finite_tensor_categories&oldid=437"