Johnson-Freyd-Ostrik-Yu Question on Categorical Cocycles
Twisted Deligne products categorify the tensor product of two Grothendieck rings. Classifying them leads to categorical -cocycles, and Johnson-Freyd, Ostrik and Yu asked whether these are always pullbacks of ordinary group cocycles on the universal grading group of the underlying based ring. For -cocycles they are.
- Result
- Proved(see note)
- Status
- Partial result
- AI contribution
- AI-assisted
- Method
- Argument
- Field
- Tensor categories
- Posed by
- Theo Johnson-Freyd, Victor Ostrik, Matthew Yu
- Year posed
- —
- Years open
- —
- Solved
- 2026-07-21
- Model
- ChatGPT 5.5 Pro
- Vendor
- OpenAI
- Collaborators
- Pavel Etingof, Dmitri Nikshych, Victor Ostrik
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 10 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
answered for 3-cocycles, inside a broader partial classification of twisted Deligne products
What the AI did
The acknowledgement says only that the authors collaborated with the model in this paper, especially in the Appendix, which is where the cocycle question is answered. No step is attributed, so the lowest tier applies.
Verification
arXiv preprint; not yet peer-reviewed.
Source
arXiv:2607.19560 - Twisted Deligne products of semisimple tensor categories