Quiver representations in abelian categories (Q2330305)

In the paper under review, the author introduces categories of (twisted) quiver representations in abelian categories and develop some basic homological algebra of these categories. Let \(Q=(Q_0, Q_1, s, t)\) be a quiver, \(\mathcal{P}=\mathcal{P}(Q)\) the category of paths in \(Q\) with the set of objects \(Q_0\) and the set of morphisms \(\mathrm{Hom}_{\mathcal{P}}(i, j)\) consisting of all directed paths from \(i\in Q_0\) to \(j\in Q_0\) and Cat be the category of small categories. The author defines a \(Q^{\mathrm{op}}\)-diagram \(\Phi\) and a category \(\mathrm{Rep}(\Phi)\) of (twisted) \(Q\)-representations. A \(Q^{\mathrm{op}}\)-diagram \(\Phi\) is a functor \(\Phi:\mathcal{P}^{\mathrm{op}}\rightarrow\mathrm{Cat}\). For each vertex \(i\in Q_0\), \(\Phi(i)\) is a small category \(\Phi_i\) and for each arrow \(\alpha:i\rightarrow j\in Q_1\), \(\Phi(\alpha)\) is a functor \(\Phi_\alpha:\Phi_j\rightarrow \Phi_i\). The category \(\mathrm{Rep}(\Phi)\) of (twisted) \(Q\)-representations have objects \(X\) consisting of \(X_i\in Ob(\Phi_i)\) for all \(i\in Q_0\) and \(X_\alpha:X_i\rightarrow \Phi_\alpha(X_j)\) for all arrows \(\alpha:i\rightarrow j\in Q_1\). The category \(\mathrm{Rep}(\Phi)\) is equivalent to the category of sections \(\mathbf{\Gamma}(\mathcal{F}/\mathcal{P})\) corresponding to a fibered category \(\mathcal{F}\rightarrow \mathcal{P}\) induced by \(\Phi\). The author shows that, when \(\Phi_i\) is an abelian category for each \(i\in Q_0\) and \(\Phi\) is a left exact diagram (i.e., the functors \(\Phi_\alpha\) are left exact for each \(\alpha\in Q_1\)) \(\mathrm{Rep}(\Phi)\) is an abelian category. Similar to the standard resolutions and coresolutions for the usual quiver representations, the author constructs standard resolutions and coresolutions in \(\mathrm{Rep}(\Phi)\). When \(\Phi\) is a Grothendieck category for each \(i\in Q_0\), \(\Phi\) is a left exact diagram and \(\Phi_\alpha\) preserve products for each \(\alpha\in Q_1\), the author proves that \(\mathrm{Rep}(\Phi)\) has enough injective objects. Also, under some assumptions, he obtains two long exact sequences for quiver representations in this case. In the last section of the paper he provides several applications of these results, in particular, in the case of parabolic vector bundles and framed coherent sheaves.