Homological theory of representations having pure acyclic injective resolutions

Gang Yang,Qihui Li,Junpeng Wang
2024-07-31
Abstract:Let $Q$ be a quiver and $R$ an associative ring. A representation by $R$-modules of $Q$ is called strongly fp-injective if it admits a pure acyclic injective resolution in the category of representations. It is shown that such representations possess many nice properties. We characterize strongly fp-injective representations under some mild assumptions, which is closely related to strongly fp-injective $R$-modules. Subsequently, we use such representations to define relative Gorenstein injective representations, called Gorenstein strongly fp-injective representations, and give an explicit characterization of the Gorenstein strongly fp-injective representations of right rooted quivers. As an application, a model structure in the category of representations is given.
K-Theory and Homology
What problem does this paper attempt to address?
### What problems does this paper attempt to solve? This paper aims to explore and extend the theories of strong fp - injectivity and Gorenstein strong fp - injectivity of modules in homological algebra so that they are applicable to quiver representations. Specifically, the authors introduce the concepts of **strong fp - injective representations** and **Gorenstein strong fp - injective representations** and study the properties of these representations and their applications in quiver representations. #### Main problems: 1. **Definition and characteristics**: How to define strong fp - injective representations in the category of quiver representations and prove what good homological properties they have? 2. **Relative Gorenstein injective representations**: How to use strong fp - injective representations to define relative Gorenstein injective representations and give a specific characterization? 3. **Model structure**: How to construct a model structure based on the above representations, especially in the case of right - rooted quivers? #### Specific content: - **Strong fp - injective representations**: The authors define strong fp - injective representations by introducing pure acyclic injective resolutions. These representations still exhibit good properties without the coherence condition of loops. - **Gorenstein strong fp - injective representations**: Further, Gorenstein strong fp - injective representations are introduced and an explicit characterization on right - rooted quivers is given. - **Application of model structure**: As an application, the authors construct a model structure in the category of quiver representations, which provides new tools and methods for subsequent research. #### Key theorems: - **Theorem A**: The class of strong fp - injective representations is closed under extensions, finite direct sums, direct summands and cokernels of monomorphisms. - **Theorem B**: If a representation \(X\) is strong fp - injective, then the \(R\)-module \(X(i)\) at each vertex \(i\in Q_0\) is also strong fp - injective, and the induced homomorphism \(\psi_X^i\) is a pure epimorphism. - **Theorem C**: For a right - rooted quiver \(Q\), a representation \(X\) is Gorenstein strong fp - injective if and only if the \(R\)-module \(X(i)\) and \(\text{Ker}(\psi_X^i)\) at each vertex \(i\in Q_0\) are Gorenstein strong fp - injective, and \(\psi_X^i\) is an epimorphism. Through these studies, the authors not only expand the existing homological theories but also provide new perspectives and tools for the study of quiver representations.