Model categories of quiver representations

DOI10.1016/J.AIM.2019.106826MaRDI QIDQ2335482zbMATH OpenOpenAlexFDO

Publication date 14 November 2019

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1902.02387

\(N\)-complexes abelian model categories chain complexes cotorsion pairs Gillespie's and Hovey's theorems periodic chain complexes

Mathematics Subject Classification ID

Localization of categories, calculus of fractions (18E35) Derived categories, triangulated categories (18G80) Homotopical algebra, Quillen model categories, derivators (18N40)

Abstract: Gillespie's Theorem gives a systematic way to construct model category structures on

m a t h s c r C (m a t h s c r M)

, the category of chain complexes over an abelian category

m a t h s c r M

. We can view

m a t h s c r C (m a t h s c r M)

as the category of representations of the quiver

c d o t s i g h t a r r o w 2 i g h t a r r o w 1 i g h t a r r o w 0 i g h t a r r o w - 1 i g h t a r r o w - 2 i g h t a r r o w c d o t s

with the relations that two consecutive arrows compose to

0

. This is a self-injective quiver with relations, and we generalise Gillespie's Theorem to other such quivers with relations. There is a large family of these, and following Iyama and Minamoto, their representations can be viewed as generalised chain complexes. Our result gives a systematic way to construct model category structures on many categories. This includes the category of

N

-periodic chain complexes, the category of

N

-complexes where

p a r t i a l^{N} = 0

, and the category of representations of the repetitive quiver

m a t h b b Z A_{n}

with mesh relations.

Review text

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.

Recommendations

Cites work

Cited in

(20)

This page was built for publication: Model categories of quiver representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2335482)