The singularity category of an algebra with radical square zero (Q418674)

\(R\) denotes a commutative artinian ring and all algebras, categories and functors are assumed to be \(R\)-linear. An Artin algebra \(A\) is said to be radical square zero, if \(\mathbf r^2=0\), where \(\mathbf r\) denotes the Jacobson radical of \(A\). Define \(\mathbf r^{\otimes 0}=A/\mathbf r\) and \(\mathbf r^{\otimes i+1}=A\otimes_{A/\mathbf r}(\mathbf r^{\otimes i})\), for \(i\geq 0\). The functor \(\mathbf r\otimes_{A/\mathbf r} -\) induces a direct system of algebra morphisms End\(_{A/\mathbf r}(\mathbf r^{\otimes i})\longrightarrow\) End\(_{A/\mathbf r}(\mathbf r^{\otimes i+1})\); its direct limit is denoted by \(\Gamma(A)\) and is called the associated regular algebra of \(A\). For every integer \(n\), \(K^n(A)\) denotes the direct limit of the chain of the following maps: Hom\(_{A/\mathbf r}(\mathbf r^{\otimes i}, \mathbf r^{\otimes i-n})\longrightarrow\) Hom \(_{A/\mathbf r}(\mathbf r^{\otimes i+1}, \mathbf r^{\otimes i+1-n})\); these are naturally \(\Gamma(A)-\Gamma(A)\)-bimodules, called associated bimodules of \(A\). Some of the results are as follows (it is assumed that \(A\) is an Artin algebra with radical square zero): Theorem A. The associated bimodules \(K^n(A)\) are invertible and the maps \(\phi^{n,m}:K^n(A)\otimes_{\Gamma(A)}K^m(A)\longrightarrow K^{n+m}(A)\) are bimodule isomorphisms. Theorem B. There is a triangle equivalence between the singularity category of \(A\) and the unique triangulated category (proj\,\,\(\Gamma(A), \Sigma_A\)). The latter category comes from the category proj\,\(\Gamma(A)\) of finitely generated right projective \(\Gamma(A)\)-modules that has a triangulated structure and the shift functor \(\Sigma_A=-\otimes_{\Gamma(A)}K^1(A):\text{proj}\,\Gamma(A)\longrightarrow\text{proj}\,\Gamma(A)\). Theorem C. The following statements are equivalent: (1) The singularity category is Hom-finite (all the Hom sets are finitely generated \(R\)-modules); (2) the associated regular algebra \(\Gamma(A)\) is semisimple; (3) The valued quiver Q\(_A\) is obtained from a disjoint union of oriented cycles with the trivial valuation by repeatedly adjoining sources or sinks.