Model categories of quiver representations (Q2335482)

This paper is a contribution to the general problem of lifting cotorsion pairs from an abelian category \(\mathcal{M}\) to a functor category \((\mathcal{C},\mathcal{M})\), where \(\mathcal{C}\) is a suitable small preadditive category (for example the linearization of a quiver with relations). Since from work of \textit{M. Hovey} [Math. Z. 241, No. 3, 553--592 (2002; Zbl 1016.55010)] complete cotorsion pairs correspond to certain model category structures, this paper also deals with induced model structures on \((\mathcal{C},\mathcal{M})\). The authors restrict to the case where \(\mathcal{C}\) is a self-injective quiver with relations, which means by defintion that \(\mathcal{C}\) is the \(k\)--linearization of a quiver with relations \(Q\) (where \(k\) is a field) and satisfies the following conditions: (Fin) Each Hom-space of \(\mathcal{C}\) is finite dimensional over \(k\). (Rad) For all \(q\) in \(\mathcal{C}\), \(\mathcal{C}(q,q)\) is a local \(k\)-algebra. (Self-Inj) \(\mathcal{C}\) has a Serre functor, that is, a \(k\)-linear autoequivalence \(W:\mathcal{C}\rightarrow \mathcal{C}\) such that there are natural isomorphisms \(\mathcal{C}(p,q)\cong D\mathcal{C}(q,Wp)\) where \(D(-):=\mathrm{Hom}_{k}(-,k)\). Examples of self-injective quivers with relations include the (linearization of) the quiver \(\cdots\rightarrow 2 \rightarrow 1\rightarrow 0\rightarrow -1\rightarrow -2\rightarrow \cdots\) where two consecutive arrows compose to zero, and also other quivers with relations, like the quiver with relations of any finite-dimensional self-injective \(k\)-algebra and quivers with relations of repetitive algebras. The authors in their main result prove that, if \((\mathcal{A},\mathcal{B})\) is a given hereditary cotorsion pair in the abelian category \(\mathcal{M}\), then there exist cotorsion pairs \((\Phi(\mathcal{A}),\Phi(\mathcal{A})^{\bot})\) and \((^{\bot}\Psi(\mathcal{B}),\Psi(\mathcal{B}))\) in the category \( (\mathcal{C},\mathcal{M})\), which are hereditary and compatible (the compatibility condition is important from the point of view of model structures). The defintion of the classes \(\Phi(\mathcal{A})\) and \(\Psi(\mathcal{B})\) is based on the functors \(S_q:\mathcal{M}\rightarrow (\mathcal{C},\mathcal{M})\); \(S_q:=S(q)\otimes_{k}-\), \(C_q:(\mathcal{C},\mathcal{M})\rightarrow\mathcal{M}; DS(q)\otimes_{\mathcal{C}}-\), \(K_q:(\mathcal{C},\mathcal{M})\rightarrow\mathcal{M};\mathrm{Hom}_{\mathcal{C}}(S(q),-)\), where \(S(q)\) denotes the simple functor supported at \(q\), and the fact that there exists an adjoint triple \(C_q\dashv S_q\dashv K_q\). In more detail, the authors define: \begin{align*}\Phi(\mathcal{A}):=\{X\in(\mathcal{C},\mathcal{M})\,|\, \forall q\in\mathcal{C}, C_q(X)\in\mathcal{A}\,\, \mbox{and}\,\, L_1C_q(X)=0\},\\ \Psi(\mathcal{B}):=\{X\in(\mathcal{C},\mathcal{M})\,|\, \forall q\in\mathcal{C}, K_q(X)\in\mathcal{B}\,\, \mbox{and}\,\, R^1K_q(X)=0\}.\end{align*} The result recovers a Theorem of \textit{J. Gillespie} [Trans. Am. Math. Soc. 356, No. 8, 3369--3390 (2004; Zbl 1056.55011)] who treated the case of chain complexes.