Mutations Revisited
Now that we have gotten some basic ideas of algebra out of the way, we can return focus to cluster algebra, in particular. As the basic idea behind cluster algebra is recursively constructing a ring from an initial set of variables (the initial seed), it would be helpful to find some way of visualizing this --- it just so happens that quiver mutations are the perfect tool to do this.
Imagine an initial seed (u, Q), consisting of an arbitrary quiver, Q, with vertices labeled by the set of variables u = {u1, u2, …, un}. If we apply a quiver mutation to Q, then a new quiver will be formed along with new vertex labels, which is the seed (u’, Q’). We already know how to draw this new graph, but what about the labeling of these new vertices? The part of a “cluster algebra” that makes it unique is how its elements are generated, which is referred to as the “exchange relation” and is precisely given by the formula below from [2]:
