Locally finitely presented Grothendieck categories and the pure semisimplicity conjecture
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912852808302592 |
|---|---|
| author | Fazelpour, Ziba Nasr-Isfahani, Alireza |
| author_facet | Fazelpour, Ziba Nasr-Isfahani, Alireza |
| contents | In this paper, we investigate locally finitely presented pure semisimple (hereditary) Grothendieck categories. We show that every locally finitely presented pure semisimple (resp., hereditary) Grothendieck category A is equivalent to the category of left modules over a left pure semisimple (resp., left hereditary) ring when Mod(fp(A)) is a QF-3 category and every representable functor in Mod(fp(A)) has finitely generated essential socle. In fact, we show that there exists a bijection between Morita equivalence classes of left pure semisimple (resp., left hereditary) rings $Λ$ and equivalence classes of locally finitely presented pure semisimple (resp., hereditary) Grothendieck categories A that Mod(fp(A)) is a QF-3 category and every representable functor in Mod(fp(A)) has finitely generated essential socle. To prove this result, we study left pure semisimple rings by using Auslander's ideas. We show that there exists, up to equivalence, a bijection between the class of left pure semisimple rings and the class of rings with nice homological properties. These results extend the Auslander and Ringel-Tachikawa correspondence to the class of left pure semisimple rings. As a consequence, we give several equivalent statements to the pure semisimplicity conjecture. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_07008 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Locally finitely presented Grothendieck categories and the pure semisimplicity conjecture Fazelpour, Ziba Nasr-Isfahani, Alireza Representation Theory Category Theory 18A25, 18E10, 16D70, 16G60 In this paper, we investigate locally finitely presented pure semisimple (hereditary) Grothendieck categories. We show that every locally finitely presented pure semisimple (resp., hereditary) Grothendieck category A is equivalent to the category of left modules over a left pure semisimple (resp., left hereditary) ring when Mod(fp(A)) is a QF-3 category and every representable functor in Mod(fp(A)) has finitely generated essential socle. In fact, we show that there exists a bijection between Morita equivalence classes of left pure semisimple (resp., left hereditary) rings $Λ$ and equivalence classes of locally finitely presented pure semisimple (resp., hereditary) Grothendieck categories A that Mod(fp(A)) is a QF-3 category and every representable functor in Mod(fp(A)) has finitely generated essential socle. To prove this result, we study left pure semisimple rings by using Auslander's ideas. We show that there exists, up to equivalence, a bijection between the class of left pure semisimple rings and the class of rings with nice homological properties. These results extend the Auslander and Ringel-Tachikawa correspondence to the class of left pure semisimple rings. As a consequence, we give several equivalent statements to the pure semisimplicity conjecture. |
| title | Locally finitely presented Grothendieck categories and the pure semisimplicity conjecture |
| topic | Representation Theory Category Theory 18A25, 18E10, 16D70, 16G60 |
| url | https://arxiv.org/abs/2401.07008 |