AI-assisted counterexample to the abelian-envelope quotient property
Flake, Gruber and Heidersdorf report that the universal rigid monoidal category on one object has an abelian envelope without the quotient property.
Original report: 2026-09-15Algebra and representation theory
Algebra studies rings, modules, and categories.
Progress records 2
Understand the topics ↓2 records · Includes focused interests · How we rate progress
OpenAI reports: Serre’s positivity conjecture
OpenAI claims strict positivity of the Tor Euler characteristic for nonzero finite modules of complementary dimension over a regular local ring, when their tensor product has finite length.
Read original source Pinned primary manuscript · family 193github.com
Original report: 2026-10-06Understanding the topics
Read the background
Algebra studies rings, modules, and categories. Record the ambient characteristic, finiteness assumptions, and the exact structural property being proved.
Specific problems in this topic
Background review: 2026-10-11. Selected sources:
Website timeline
Publication dates and editorial changes.
AI-assisted counterexample to the abelian-envelope quotient property