Mutating seeds: types \(\mathbb{A}\) and \(\tilde{\mathbb{A}}\) (Q443793)

Given a quiver \(Q_{0}\) with a set of vertices \(\{1, \dots, n\}\), one can associate with each vertex \(i\) a variable \(x_{i}\). The data pair \(S_{0}=(Q_{0},\{x_{1}, \dots, x_{n}\})\) is called an initial seed. A pair \(S=(Q, \{y_{1}, \dots, y_{n}\})\) where \(Q\) is a quiver with the set of vertices \(\{1, \dots, n\}\) and the variables \(y_{1}, \dots, y_{n}\) generate the field \(\mathbb{Q}(x_{1}, \dots, x_{n})\) is called a seed if it is obtained from the initial seed via a sequence of mutations. For each vertex \(i\), one can define a mutation on a seed by replacing the quiver by a new quiver with the same set of vertices and the cluster variable \(y_{i}\) by a new variable \(y_{i}^{\prime}\) and fixing the other cluster variables \(y_{j}\) \((i\neq j)\). In the paper under review, the authors describe the seeds obtained from an original seed via sequences of mutations in the cases of \(\mathbb{A}\) and \(\tilde{\mathbb{A}}\). Since the mutations of the quiver \(Q\) are known, the authors provide an explicit computation of the cluster variable associated to each vertex of the mutated quivers. Moreover, they explore the connection between the mutated seeds of type \(\tilde{\mathbb{A}}\) and the representative functions. Let \(\mathcal{M}\) be the mutation group generated by mutations \(\{\mu_{1}, \dots, \mu_{n}\}\) subject to the relations that they are involutive. Suppose that \(Q\) is of type \(\tilde{\mathbb{A}}_{n-1}\) with an acyclic orientation. For any fixed \(i\), they show that the function from \(\mathcal{M}\) into \(\mathbb Q(x_{1}, \dots, x_{n})\) which sends \(m\in \mathcal{M}\) to the \(i\)-th cluster variable of \(S_{0}^{m}\) is a representative function of the mutation group \(\mathcal{M}\). Furthermore, if \(y\) is a fixed nontransjective cluster variable, then the set of \(m\in \mathcal{M}\) such that \(y_{1}(S^{m}_{0})=y\) is a finite union of cosets of a normal subgroup of finite index of the mutation group. Using the concept of continuant trees, they also give description of the mutated seeds in type \(\mathbb{A}\).