On irreducible morphisms and Auslander-Reiten triangles in the stable category of modules over repetitive algebras (Q6070287)

Let \(\Lambda\) be a finite dimensional algebra over an algebraically closed field \(k\) and denote by \(\hat\Lambda\) the repetitive algebra of \(\Lambda\) (see [\textit{D. Happel}, Triangulated categories in the representation theory of finite dimensional algebras. Cambridge (UK) etc.: Cambridge University Press (1988; Zbl 0635.16017)]). Denote by \(\Lambda\)-mod (resp. \(\hat\Lambda\)-mod) the category of finitely generated left \(\Lambda\)-modules (resp. \(\hat\Lambda\)-modules), and denote by \(\Lambda\)-\underline{mod} (resp. \(\hat\Lambda\)-\underline{mod}) the corresponding quotient category modulo projectives. In the aforementioned book by Happel it is shown, in particular, that \(\hat\Lambda\)-mod has enough projective as well as injective objects, and these classes of objects coincide, and that \(\hat\Lambda\)-\underline{mod} is a triangulated category that has Auslander-Reiten triangles. The authors study irreducible morphisms in \(\hat\Lambda\)-\underline{mod}. An object \(\hat M\in\hat\Lambda\)-\underline{mod} can be visualized as a sequence \[ \dots\rightsquigarrow M_i\overset{f_i}\rightsquigarrow M_{i+1}\overset{f_{i+1}}\rightsquigarrow M_{i+2}\rightsquigarrow\dots \] where, for all \(i\), \(M_i\in \Lambda\)-mod and \(f_i:\Hom_k(\Lambda,k)\otimes_\Lambda M_i\to M_{i+1}\) is a morphism in \(\Lambda\)-mod satisfying \(f_{i+1}\circ(id\otimes f_i)=0\); here \(id\) is the identity morphism of the \(\Lambda\)-bimodule \(\Hom_k(\Lambda,k)\). A morphism \(\hat h:\hat M\to \hat N\) in \(\hat\Lambda\)-mod can be visualized as a diagram \[ \begin{matrix} \dots\rightsquigarrow &M_i \overset{f_{i}}\rightsquigarrow &M_{i+1} \overset{f_{i+1}}\rightsquigarrow &M_{i+2} \rightsquigarrow &\dots\\ &\downarrow^{h_{i}} &\downarrow^{h_{i+1}} &\downarrow^{h_{i+2}}\\ \dots\rightsquigarrow &N_{i} \overset{g_{i}}\rightsquigarrow &N_{i+1}\overset{g_{i+1}}\rightsquigarrow &N_{i+2}\rightsquigarrow &\dots \end{matrix} \tag{1} \] where, for all \(i\), \(h_i:M_i\to N_i\) is a morphism in \(\Lambda\)-mod satisfying \(h_{i+1}\circ f_i=g_i\circ(id\otimes h_i)\). The image \(\hat{\underline{h}}\) of \(\hat h\) under the full functor \(\hat\Lambda\)-mod\(\to\hat\Lambda\)-\underline{mod} is the collection of all those morphisms \(\hat{h'}:\hat M\to \hat N\) in \(\hat\Lambda\)-mod for which \(\hat h-\hat{h'}\) factors through a projective module in \(\hat\Lambda\)-mod. The following is the main result of the paper. In the setting of diagram (1), an irreducible morphism \(\hat{\underline h}:\hat M\to \hat N\) in \(\hat\Lambda\)-\underline{mod} satisfies one, and only one, of the following three conditions. \begin{itemize} \item[(i)] For all \(i\in\mathbb Z\), \(h_i\) is a split monomorphism. \item[(ii)] For all \(i\in\mathbb Z\), \(h_i\) is a split epimorphism. \item[(iii)] There exists and \(i_0\in\mathbb Z\), for which \(h_{i_0}\) is neither a split monomorphism, nor a split epimorphism. Then \(i_0\) is unique and \(h_{i_0}\) is an irreducible morphism in \(\Lambda\)-mod. \end{itemize} This extends the analogous result for \(\hat\Lambda\)-mod obtained in [\textit{H. Giraldo}, Algebr. Represent. Theory 21, No. 4, 683--702 (2018; Zbl 1394.16011)].