| (5 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
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. | 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''' = {u<sub>1</sub>, u<sub>2</sub>, …, u<sub>n</sub>}. If we apply a quiver mutation to Q, then a new quiver will be formed along with new vertex labels, which is the seed ( | + | Imagine an initial seed ('''u''', Q), consisting of an arbitrary quiver, Q, with vertices labeled by the set of variables '''u''' = {u<sub>1</sub>, u<sub>2</sub>, …, u<sub>n</sub>}. 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 '''[3]''': |
[[File:ClusterFormula.png|600px|thumbnail|Exchange Relation Formula]] | [[File:ClusterFormula.png|600px|thumbnail|Exchange Relation Formula]] | ||
| Line 11: | Line 11: | ||
| − | To help make this concept more clear, the following diagram from '''[ | + | To help make this concept more clear, the following diagram from Figure 1 of '''[2]''' outlines a possible sequence of mutations on the quiver Q<sub>1</sub> of a single directed edge. Note: the initial seed in this diagram is given by ({x<sub>1</sub>, x<sub>2</sub>}, Q<sub>1</sub>), with mutations denoted by μ<sub>n</sub>, which is a slightly different notation than above. |
| − | [[File:secondExample.png|600px|thumbnail|Example Mutations for Rank-2 Clusters from [ | + | [[File:secondExample.png|600px|thumbnail|Example Mutations for Rank-2 Clusters from '''[2]''']] |
| + | [[File:SayersExplanation.png|600px|thumbnail]] | ||
| + | |||
| + | Note: all bullet points above were written by me. | ||
[[ Walther MA271 Fall2020 topic4|Back to Walther MA271 Fall2020 topic4]] | [[ Walther MA271 Fall2020 topic4|Back to Walther MA271 Fall2020 topic4]] | ||
| + | [[Category:MA271Fall2020Walther]] | ||
Latest revision as of 21:26, 6 December 2020
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 [3]:
Essentially, if we perform a mutation on a vertex k, the new seed that we create will consist of the exact same vertex labeling, except for the replacement of uk with uk’, given by the formula above --- this particular construction of new rational expressions is the unique part of cluster algebra.
To help make this concept more clear, the following diagram from Figure 1 of [2] outlines a possible sequence of mutations on the quiver Q1 of a single directed edge. Note: the initial seed in this diagram is given by ({x1, x2}, Q1), with mutations denoted by μn, which is a slightly different notation than above.
Note: all bullet points above were written by me.
