Completeness of the induced cotorsion pairs in functor categories
math.RT
/ Authors
/ Abstract
This paper focuses on a question raised by Holm and Jørgensen, who asked if the induced cotorsion pairs $(Φ({\sf X}),Φ({\sf X})^{\perp})$ and $(^{\perp}Ψ({\sf Y}),Ψ({\sf Y}))$ in $\mathrm{Rep}(Q,{\sf{A}})$ -- the category of all $\sf{A}$-valued representations of a quiver $Q$ -- are complete whenever $(\sf X,\sf Y)$ is a complete cotorsion pair in an abelian category $\sf{A}$ satisfying some mild conditions. Recently, Odabaşı gave an affirmative answer if the quiver $Q$ is rooted and the cotorsion pair $(\sf X,\sf Y)$ is further hereditary. In this paper, we improve Odabaşı's work by removing the hereditary assumption on the cotorsion pair. As an application, we show under certain mild conditions that if a subcategory $\sf L$, which is not necessarily closed under direct summands, of $\sf A$ is special precovering (resp., preenveloping), then $Φ(\sf L)$ (resp., $Ψ(\sf L)$) is special precovering (resp., preenveloping) in $\mathrm{Rep}(Q,{\sf{A}})$.