From triangulated categories to cluster algebras (Q2481313): Difference between revisions

Let \(Q\) be a simply laced Dynkin quiver and let \(k\) be a field. In the paper under review the authors give a realisation of the cluster algebra as a Hall algebra coming from a triangulated category. This gives at once also a geometrical interpretation for the multiplication of two cluster variables. The underlying geometrical object is the Grassmannian of a module for a quiver algebra \(kQ\). For this purpose it is proved that there is a unique way to associate to any object of the cluster category of \(Q\) a cluster variable satisfying certain naturality properties, as described by \textit{P. Caldero} and \textit{F. Chapoton} [Comment. Math. Helv. 81, No. 3, 595--616 (2006; Zbl 1119.16013)]. The product of the cluster variables \(X_M\) and \(X_N\) of two objects \(M\) and \(N\) of the cluster category multiplied by the Euler characteristic of the projectivisation of \(\text{Ext}^1(M,N)\) equals to the sum over all objects \(Y\) of the cluster category which occur as middle term of a triangle starting at \(M\) and ending at \(N\), or vice versa, of the cluster variable corresponding to \(Y\) multiplied with the Euler characteristic of the projectivisation of the subset of the \(\text{Ext}^1(N,M)\) having \(Y\) as middle term, plus the corresponding coefficient of \(\text{Ext}^1(M,N)\). The proof of this most astonishing result is rather complicate and involved and uses a variety of methods. The statement has various corollaries. First, it realises the cluster algebra as a Hall algebra. Then, it settles the positivity conjecture. A third nice application is given in terms of degenerations of objects. The paper ends with four conjectures.