Homotopy category of \(N\)-complexes of projective modules (Q908336)

\textit{W. Mayer} [Ann. Math. (2) 43, 370--380, 594--605 (1942; Zbl 0061.40313)] introduced the notion of \(N\)-complexes in the study of simplicial complexes, and then \textit{M. M. Kapranov}, [``On the q-analog of homological algebra'', \url{arXiv:a-alg/9611005}] and \textit{M. Dubois-Violette} [\(K\)-Theory 14, No. 4, 371--404 (1998; Zbl 0918.18008)] studied the homological theory of \(N\)-complexes. The homological properties of \(N\)-complexes is a main subject in many areas of mathematics including representation theory and category theory. Recently, \textit{O. Iyama, K. Kato} and \textit{K. Miyachi}, [``Derived categories of \(N\)-complexes'', \url{arXiv:1309.6039}]. studied the homotopy category of \(N\)-complexes of an additive category as well as derived category of an abelian category, and proved that a triangle equivalence between homotopy category of chain complexes and their derived category of an (\(Ab4\))-category in case of \(N\)-complexes. In the present paper, the authors show that the homotopy category \(\mathbb{K}_N(Proj-R)\) of \(N\)-complexes is embedded in the homotopy category \(\mathbb{K}(Proj-\mathbb{T}_{N-1}(R))\), and that \(\mathbb{K}_N(Proj-R)\) is equivalent to \(\mathbb{K}(Proj-\mathbb{T}_{N-1}(R))\) whenever \(R\) is a left coherent ring, where \(\mathbb{T}_{N-1}(R)\) is the ring of triangular matrices of order \(N-1\). Note that the authors use different techniques by the explicit construction. In this process, they show that the category of \(N\)-totally acyclic complexes of finitely generated projective \(R\)-modules embeds in the \(N\)-singularity category.