Cluster equivalence and graded derived equivalence. (Q2339188)

In [Ann. Inst. Fourier 59, No. 6, 2525-2590 (2009; Zbl 1239.16011)], \textit{C. Amiot} introduced the generalized cluster category associated to a \(\tau_2\)-finite algebra, that is a finite-dimensional algebra over an algebraically closed field of global dimension at most \(2\) satisfying certain finiteness conditions. Given two cluster equivalent algebras (i.e. whose generalized cluster categories are equivalent as triangulated categories), the authors of the article under review investigate how the representation theory of these algebras are related. More concretely, they compare the associated bounded derived categories and obtain various satisfactory results in this direction. Their starting point is a recognition theorem for derived categories. They give sufficient conditions on an algebraic triangulated category to ensure that it is triangle equivalent to the bounded derived category of a \(\tau_2\)-finite algebra. Let \(\widetilde\Lambda\) be the image of \(\Lambda\) in the generalized cluster category. The algebra \(\widetilde\Lambda\) is naturally \(\mathbb Z\)-graded. This fact plays a prominent role in the whole paper. One of the main theorems is that two cluster equivalent algebras \(\Lambda_1\) and \(\Lambda_2\) are derived equivalent if and only if the graded \(\mathbb Z\)-algebras \(\widetilde\Lambda_1\) and \(\widetilde\Lambda_2\) are graded equivalent. Moreover, if these equivalent conditions are not satisfied there is still chance to get a triangle equivalence between derived categories: provided the algebras \(\widetilde\Lambda_1\) and \(\widetilde\Lambda_2\) are isomorphic as algebras and such that this induces a \(\mathbb Z_2\)-grading in \(\widetilde\Lambda_1\), there is a triangle equivalence \(\mathcal D^b(\text{gr\,}\Lambda_1)\simeq\mathcal D^b(\text{gr\,}\Lambda_2)\), where \(\text{gr\,}\Lambda_i\) denotes the category of graded \(\Lambda_i\)-modules. Inspired by these results and the mutation of quivers with potential introduced by \textit{H. Derksen, J. Weyman} and \textit{A. Zelevinsky} [Sel. Math., New Ser. 14, No. 1, 59-119 (2008; Zbl 1204.16008)] the authors of this article introduce the concept of left (and right) graded mutation of graded quivers with potential and provide a combinatorial way to prove that two \(\tau_2\)-algebras are derived equivalent.