The derived-discrete algebras and standard equivalences (Q1730198): Difference between revisions

Let \(k\) be a field and \(\mathcal{A}\) a \(k\)-linear addictive category. We denote by \(\mathbf{K}^b(\mathcal{A})\) the bounded homotopy category. A pseudo-identity on \(\mathbf{K}^b(\mathcal{A})\) is a \(k\)-linear triangle endofunctor \((F,\omega)\) on \(\mathbf{K}^b(\mathcal{A})\) such that it equals the identity functor on objects and on morphisms \(\Sigma^nA\to\Sigma^nB\), \(A,B\in \mathcal{A}\) (here \(\Sigma\) denotes the suspension functor). The category \(\mathcal{A}\) is \(\mathbf{K}\)-standard if every pseudo-identity functor is isomorphic to the genuine identity functor. In the main result of the paper (Theorem 3.6) it is proved that if \(k\) is algebraically closed and \(A\) is a derived-discrete \(k\)-algebra of finite global dimension then the category \(A\text{-proj}\) of all finitely generated projective \(A\)-modules is \(\mathbf{K}\)-standard. Consequently, any derived equivalence between derived-discrete algebras of finite global dimension is standard (i.e. it is induced by a tilting complex of bimodules).