Quiver varieties and cluster algebras (Q531767)

Quivers are finite directed graphs (in this paper, at various point, additional assumptions are made). The author opens the paper by telling us that a cluster algebra ``is a subalgebra of the rational function field \(\mathbb Q(x_1,\dots,x_n)\) of \(n\) indeterminates equipped with a distinguished set of variables (cluster variables) grouped into overlapping subsets (clusters) consisting of \(n\) elements, defined by a recursive procedure (mutation) on quivers.'' Also, using the data of a quiver and an associated graded vector space \(W\), the author defines a moduli space \(\mathfrak M(W)\) which he calls a \textit{graded quiver variety}, and a vector space \(\mathbf E_W\) of representations of an associated \textit{decorated quiver}. The first result of this paper states \(\mathfrak M(W)\) is equivalent to \(\mathbf E_W\). Thereafter, the author defines \(\mathbb L(W)\) and describes it as ``the sum of perverse sheaves [elsewhere denoted \(L(-)\)] whose supports are the whole \(\mathbf E_W^*\).'' Additionally, the author defines what he calls the \textit{truncated \(q\)-character} which he denotes by \(\chi_{q,t}(-)_{\leq 2}\). One of the author's stated main results is an explicit formula for \(\chi_{q,t}(\mathbb L(W))_{\leq 2}\) when \(W\) satisfies certain conditions. Using this formula, the author penultimately gives criterion for \(L(W)\) to corresponds to a cluster monomial (a monomial in the cluster variables from a single cluster). Lastly, with respect to a decomposition \(W=\bigoplus W^i\) (the author calls it the \textit{canonical decomposition}), it is shown that if \(L(W^i)\) are simple and correspond to cluster variables \(w_i\), then \(\bigotimes L(W^i)\) is simple if and only if all \(w_i\) are in a common cluster.