algebra / Category theory

Djament's Problem on Locally Noetherian Grothendieck Categories

Djament asked whether a Grothendieck category satisfying suitable finiteness and exactness conditions must be equivalent to a module category. In the locally noetherian case the answer is no: there is a Grothendieck category with a noetherian generator satisfying AB4* that is not equivalent to a module category, built as a Gabriel quotient of a module category over an endomorphism ring of Herbera, Prihoda and Wiegand.

15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

Research memory

Claims and attempts

Scoped claims

Source authenticated

Djament asked whether a Grothendieck category satisfying suitable finiteness and exactness conditions must be equivalent to a module category. In the locally noetherian case the answer is no: there is a Grothendieck category with a noetherian generator satisfying AB4* that is not equivalent to a module category, built as a Gabriel quotient of a module category over an endomorphism ring of Herbera, Prihoda and Wiegand.

the locally noetherian case; whether such a category can fail to admit a projective generator is left open as Problem 1.3

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.