A Grothendieck category with a noetherian generator and exact products that is not a module category
We construct a Grothendieck category that has a noetherian generator, satisfies AB4*, and is not equivalent to a module category. This gives a negative answer to Djament's problem. The category is obtained as a Gabriel quotient of a module category over the endomorphism ring appearing in the work of Herbera, Příhoda, and Wiegand. The proof relies on the trace criterion established by Martini, Parra, Saorín, and Virili.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.23520
curl -X POST /api/v1/records/arxiv/2607.23520/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.23520/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'