English

Categories of quiver representations and relative cotorsion pairs

Representation Theory 2023-11-22 v1 Category Theory

Abstract

We study the category Rep(Q,C)\operatorname{Rep}(Q,\mathcal{C}) of representations of a quiver QQ with values in an abelian category C\mathcal{C}. For this purpose we introduce the mesh and the cone-shape cardinal numbers associated to the quiver QQ and we use them to impose conditions on C\mathcal{C} that allow us to prove interesting homological properties of Rep(Q,C)\operatorname{Rep} (Q,\mathcal{C}) that can be constructed from C.\mathcal{C}. For example, we compute the global dimension of Rep(Q,C)\operatorname{Rep} (Q,\mathcal{C}) in terms of the global one of C.\mathcal{C}. We also review a result of H. Holm and P. J{\o}rgensen which states that (under certain conditions on C\mathcal{C}) every hereditary complete cotorsion pair (A,B)(\mathcal{A},\mathcal{B}) in C\mathcal{C} induces the hereditary complete cotorsion pairs (Rep(Q,A),Rep(Q,A)1)(\operatorname{Rep}(Q,\mathcal{A}),\operatorname{Rep}(Q,\mathcal{A})^{\bot_{1}}) and (1Ψ(B),Ψ(B))(^{\bot_{1}}\Psi(\mathcal{B}),\Psi(\mathcal{B})) in Rep(Q,C)\operatorname{Rep}(Q,\mathcal{C}), and then we obtain a strengthened version of this and others related results. Finally, we will apply the above developed theory to study the following full abelian subcategories of Rep(Q,C),\operatorname{Rep}(Q,\mathcal{C}), finite-support, finite-bottom-support and finite-top-support representations. We show that the above mentioned cotorsion pairs in Rep(Q,C)\operatorname{Rep}(Q,\mathcal{C}) can be restricted nicely on the aforementioned subcategories and under mild conditions we also get hereditary complete cotorsion pairs.

Keywords

Cite

@article{arxiv.2311.12774,
  title  = {Categories of quiver representations and relative cotorsion pairs},
  author = {Alejandro Argudín Monroy and Octavio Mendoza},
  journal= {arXiv preprint arXiv:2311.12774},
  year   = {2023}
}