• Submit Earth, Atmospheric, and Planetary Sciences Papers
  • Science Sessions: The PNAS Podcast Program

Cluster algebras

  1. Lauren K. Williamsb,1
  1. aLaboratoire de Mathématiques Nicolas Oresme, Université de Caen, 14032 Caen, France; and
  2. bDepartment of Mathematics, University of California, Berkeley, CA 94720

What Is a Cluster Algebra?

Cluster algebras were conceived by Fomin and Zelevinsky (1) in the spring of 2000 as a tool for studying dual canonical bases and total positivity in semisimple Lie groups. However, the theory of cluster algebras has since taken on a life of its own, as connections and applications have been discovered in diverse areas of mathematics, including representation theory of quivers and finite dimensional algebras, cf., for example, refs. 2????????????15; Poisson geometry (16??19); Teichmüller theory (20???24); string theory (25?????31); discrete dynamical systems and integrability (6, 32?????38); and combinatorics (39???????47).

Quite remarkably, cluster algebras provide a unifying algebraic and combinatorial framework for a wide variety of phenomena in these and other settings. We refer the reader to the survey papers (36, 48????53) and to the cluster algebras portal (www.math.lsa.umich.edu/~fomin/cluster.html) for various introductions to cluster algebras and their links with other subjects in mathematics (and physics).

In brief, a cluster algebra <mml:math><mml:mi mathvariant="script">A</mml:mi></mml:math>A of rank k is a subring of an ambient field <mml:math><mml:mi mathvariant="normal">?</mml:mi></mml:math>? of rational functions in k variables, say x1, …, xk. Unlike most commutative rings, a cluster algebra is not presented at the outset via a complete set of generators and relations. Instead, from the data of the initial seedwhich includes the k initial cluster variables x1, …, xk, plus an exchange matrixone uses an iterative procedure called “mutation” to produce the rest of the cluster variables. In particular, each new cluster variable is a rational expression in x1, …, xk. The cluster algebra is then defined to be the subring of <mml:math><mml:mi mathvariant="normal">?</mml:mi></mml:math>? generated by all cluster variables.

The set of all cluster variables has a remarkable combinatorial structure: It is a union of overlapping algebraically independent k subsets of <mml:math><mml:mi mathvariant="normal">?</mml:mi></mml:math>? called “clusters,” which together have the structure of a simplicial complex called the “cluster complex.” The clusters are related to each other by birational transformations of the following kind: For every cluster x and every cluster variable xx, there is another cluster x′ = (x ? {x}) ∪ {x′}, with the new cluster variable x′ determined by an exchange relation of the form<mml:math display="block"><mml:mrow><mml:mi>x</mml:mi><mml:msup><mml:mi>x</mml:mi><mml:mo>′</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi>y</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:msup><mml:mi>M</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mi>y</mml:mi><mml:mo>?</mml:mo></mml:msup><mml:msup><mml:mi>M</mml:mi><mml:mo>?</mml:mo></mml:msup><mml:mo>.</mml:mo></mml:mrow></mml:math>xx′=y+M++y?M?.Here y+ and y? are coefficients, whereas M+ and M? are monomials in the elements of x ? {x}.

Example: The Type A Cluster Algebra

Although we have not given the formal definition of cluster algebra, we will nevertheless provide an example, which we hope will give the reader the flavor of the theory. The combinatorics of triangulations of an n-gon (a convex polygon with n vertices) will be used to describe the example presented here. We will subsequently identify the resulting cluster algebra with the homogeneous coordinate ring of the Grassmannian Gr2,n of 2-planes in an n-dimensional vector space.

Fig. 1 shows an example of a triangulation T, with n = 8. We have labeled the diagonals of T by the numbers 1, 2, …, 5 and the sides of the octagon by the numbers 6, 7, …, 13. We now set <mml:math><mml:mrow><mml:mi mathvariant="normal">?</mml:mi><mml:mo>=</mml:mo><mml:mi mathvariant="normal">?</mml:mi><mml:mrow><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mn>6</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>…</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>x</mml:mi><mml:mrow><mml:mn>13</mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mo>]</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>…</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>x</mml:mi><mml:mn>5</mml:mn></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:math>?=?[x6,…,x13](x1,…,x5). In other words, <mml:math><mml:mi mathvariant="normal">?</mml:mi></mml:math>? consists of rational functions in the variables x1, …, x5 labeled by the diagonals, with coefficients which are polynomials in the variables x6, …, x13 labeled by the sides. The variables x1, …, x5 are the initial cluster variables. The variables x6, …, x13 generate the ring of coefficients, and we regard <mml:math><mml:mi mathvariant="normal">?</mml:mi></mml:math>? as an algebra over <mml:math><mml:mrow><mml:mi mathvariant="normal">?</mml:mi><mml:mrow><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mn>6</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>…</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>x</mml:mi><mml:mrow><mml:mn>13</mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:math>?[x6,…,x13].

We then use the combinatorics of triangulations and flips of triangulations to define the other cluster variables. Consider a triangulation T containing a diagonal t. Within T, the diagonal t is the diagonal of some quadrilateral. Then there is a new triangulation T′ which is obtained by replacing t with the other diagonal of that quadrilateral. This local move is called a “flip.”

Consider the graph whose vertex set is the set of triangulations of an n-gon, with an edge between two vertices whenever the corresponding triangulations are related by a flip. It is well-known that this flip graph is connected, and moreover is the 1-skeleton of a convex polytope called the “associahedron.” See Fig. 2 for a picture of the flip graph of the hexagon.

Fig. 2.

The exchange graph of the cluster algebra associated with the hexagon, which coincides with the 1-skeleton of the associahedron.

Now we can associate a cluster variable (an element of <mml:math><mml:mi mathvariant="normal">?</mml:mi></mml:math>?) to each of the diagonals of the n-gon by imposing a relation for every flip: Given a quadrilateral, with sides a, b, c, and d and diagonals e and f, we stipulate that xexf = xaxc + xbxd (Fig. 3). Using the fact that the flip graph is connected (i.e., we can get from the initial triangulation to any other by a series of flips), it is clear that we can attach in this way an element xi of <mml:math><mml:mi mathvariant="normal">?</mml:mi></mml:math>? to each diagonal i. It is an exercise to show that this construction is well defined, that is, xi does not depend on the sequence of flips used to pass from the initial triangulation to any triangulation containing the diagonal i. By definition, the cluster algebra <mml:math><mml:mrow><mml:msub><mml:mi mathvariant="script">A</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:math>An associated with the n-gon is the subalgebra of <mml:math><mml:mi mathvariant="normal">?</mml:mi></mml:math>? generated by all of the cluster variables associated with its diagonals. A cluster of <mml:math><mml:mrow><mml:msub><mml:mi mathvariant="script">A</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:math>An is a subset of the set of cluster variables corresponding to the diagonals of a triangulation of the n-gone. Thus, the rank of <mml:math><mml:mrow><mml:msub><mml:mi mathvariant="script">A</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:math>An is n ? 3. Note that our construction depends on a choice of initial triangulation. However, if we choose two different triangulations, the resulting cluster algebras will be isomorphic.

Fig. 3.

A flip in a quadrilateral. The corresponding exchange relation is xexf = xaxc + xbxd.

Let Gr2,n be the Grassmann variety parametrizing 2-planes in an n-dimensional complex vector space. We now explain how the cluster algebra <mml:math><mml:mrow><mml:msub><mml:mi mathvariant="script">A</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:math>An is related to the homogeneous coordinate ring <mml:math><mml:mrow><mml:mi mathvariant="normal">?</mml:mi><mml:mrow><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:mi>G</mml:mi><mml:msub><mml:mi>r</mml:mi><mml:mrow><mml:mn>2</mml:mn><mml:mo>,</mml:mo><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:mrow><mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:math>?[Gr2,n] of Gr2,n in its Plücker embedding.

Recall that <mml:math><mml:mrow><mml:mi mathvariant="normal">?</mml:mi><mml:mrow><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:mi>G</mml:mi><mml:msub><mml:mi>r</mml:mi><mml:mrow><mml:mn>2</mml:mn><mml:mo>,</mml:mo><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:mrow><mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:math>?[Gr2,n] is generated by Plücker coordinates pij for 1 ≤ i < jn. The relations among the Plücker coordinates are generated by three-term Plücker relations: For any 1 ≤ i < j < k < ? ≤ n, one has<mml:math display="block"><mml:mrow><mml:msub><mml:mi>p</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>k</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mi>p</mml:mi><mml:mrow><mml:mi>j</mml:mi><mml:mi>?</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mi>p</mml:mi><mml:mrow><mml:mi>k</mml:mi><mml:mi>?</mml:mi></mml:mrow></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>?</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mi>p</mml:mi><mml:mrow><mml:mi>j</mml:mi><mml:mi>k</mml:mi></mml:mrow></mml:msub><mml:mo>.</mml:mo></mml:mrow></mml:math>pikpj?=pijpk?+pi?pjk.[1]

To make the connection with cluster algebras, label the vertices of an n-gon from 1 to n in order around the boundary. Then each side and diagonal of the polygon is uniquely identified by the labels of its endpoints. This gives a bijection between the set of Plücker coordinates and the set of sides and diagonals of the n-gon (Fig. 1, Right). By noting that the Plücker relations correspond to exchange relations in <mml:math><mml:mrow><mml:msub><mml:mi mathvariant="script">A</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:math>An (Fig. 4), one shows that there is a well-defined isomorphism from <mml:math><mml:mrow><mml:msub><mml:mi mathvariant="script">A</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo>?</mml:mo><mml:mi mathvariant="normal">?</mml:mi></mml:mrow></mml:math>An?? to <mml:math><mml:mrow><mml:mi mathvariant="normal">?</mml:mi><mml:mrow><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:mi>G</mml:mi><mml:msub><mml:mi>r</mml:mi><mml:mrow><mml:mn>2</mml:mn><mml:mo>,</mml:mo><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:mrow><mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:math>?[Gr2,n] mapping the elements xi associated with the sides and diagonals to the corresponding Plücker coordinates.

Fig. 4.

A flip in a quadrilateral and the corresponding exchange relation pikpj? = pijpk? + pi?pjk.

One may generalize this example in several ways. First, one may replace Gr2,n by an arbitrary Grassmannian, or partial flag variety. It turns out that the homogeneous coordinate ring <mml:math><mml:mrow><mml:mi mathvariant="normal">?</mml:mi><mml:mrow><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:mi>G</mml:mi><mml:msub><mml:mi>r</mml:mi><mml:mrow><mml:mi>k</mml:mi><mml:mo>,</mml:mo><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:mrow><mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:math>?[Grk,n] of any Grassmannian has the structure of a cluster algebra (54), and more generally, so does the multihomogeneous coordinate ring of any partial flag variety <mml:math><mml:mrow><mml:mrow><mml:mrow><mml:mi>S</mml:mi><mml:msub><mml:mi>L</mml:mi><mml:mi>m</mml:mi></mml:msub><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi mathvariant="normal">?</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow><mml:mo>/</mml:mo><mml:mi>P</mml:mi></mml:mrow></mml:mrow></mml:math>SLm(?)/P (55). Second, one may generalize this example by replacing the n-gon (topologically a disk with n-marked points on the boundary) by an orientable Riemann surface S (with or without boundary) together with some marked points M on S. One may still consider triangulations of (S, M), and use the combinatorics of these triangulations to define a cluster algebra. This cluster algebra is closely related to the decorated Teichmüller space associated to (S, M) (56, 57).

Our example of the cluster algebra <mml:math><mml:mrow><mml:msub><mml:mi mathvariant="script">A</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:math>An may be misleading for the following reason: It has finitely many cluster variables. In general, a cluster algebra may have infinitely many cluster variables. Those that have only finitely many cluster variables are said to be of finite type. There is a beautiful classification of finite-type cluster algebras (58): It turns out that their classification is parallel to the celebrated Cartan–Killing classification of semisimple Lie algebras. In other words, the finite-type cluster algebras are classified by Dynkin diagrams. In this classification, the cluster algebra <mml:math><mml:mrow><mml:msub><mml:mi mathvariant="script">A</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:math>An has type An?3. Note that the cluster structure of <mml:math><mml:mrow><mml:mi mathvariant="normal">?</mml:mi><mml:mrow><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:mi>G</mml:mi><mml:msub><mml:mi>r</mml:mi><mml:mrow><mml:mi>k</mml:mi><mml:mo>,</mml:mo><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:mrow><mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:math>?[Grk,n] is generally of infinite type when k > 2.

Cluster Algebras at the Mathematical Sciences Research Institute

Over the dozen years that passed since its inception, the theory of cluster algebras attracted into its realm many excellent researchers from all around the world. The semester-long Mathematical Sciences Research Institute (MSRI) program in Berkeley on Cluster Algebras held during August 20–December 21, 2012 featured extended stays of more than 50 mathematicians, ranging from graduate students and postdoctoral students to senior researchers. Many additional mathematicians passed through the cluster algebras program for shorter visits, for example, to participate in one of the three focused workshops that took place as part of the program.

The program presented a broad panorama of the current state of this rapidly expanding subject, enabled many mathematicians to broaden their understanding of the roles that cluster algebras play in various active areas of research, facilitated new interactions, and, more generally, provided the participants an excellent opportunity to share and further develop their ideas. This MSRI program was the last long-term mathematical activity for our dear friend and mentor Andrei Zelevinsky, who passed away in April 2013. We dedicate this Special Feature to his memory.

We shall now proceed to describe the content of the papers that appear in this issue of PNAS. Our goal is to illustrate the flavor and breadth of the research being done in the field of cluster algebras. We refer the reader to the papers themselves for full details.

Webs on Surfaces, Rings of Invariants, and Clusters

Let <mml:math><mml:mrow><mml:mi>V</mml:mi><mml:mo>?</mml:mo><mml:msup><mml:mi mathvariant="normal">?</mml:mi><mml:mi>k</mml:mi></mml:msup></mml:mrow></mml:math>V??k be a vector space endowed with a volume form. The topic of the first paper in our issue, by Fomin and Pylyavskyy (59), is rings of SLk invariants of collections of vectors, covectors, and matrices, in a k-dimensional vector space. More precisely, let <mml:math><mml:mrow><mml:msub><mml:mi>R</mml:mi><mml:mrow><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi><mml:mo>,</mml:mo><mml:mi>c</mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>V</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mo>=</mml:mo><mml:mi mathvariant="normal">?</mml:mi><mml:msup><mml:mrow><mml:mrow><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msup><mml:mi>V</mml:mi><mml:mi mathvariant="normal">?</mml:mi></mml:msup></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow><mml:mi>a</mml:mi></mml:msup><mml:mo>×</mml:mo><mml:msup><mml:mi>V</mml:mi><mml:mi>b</mml:mi></mml:msup><mml:mo>×</mml:mo><mml:msup><mml:mrow><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mi mathvariant="normal">SL</mml:mi><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>V</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow><mml:mi>c</mml:mi></mml:msup></mml:mrow><mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:mrow><mml:mrow><mml:mi mathvariant="normal">SL</mml:mi><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>V</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:msup></mml:mrow></mml:math>Ra,b,c(V)=?[(V?)a×Vb×(SL(V))c]SL(V) be the ring of <mml:math><mml:mrow><mml:mi mathvariant="normal">SL</mml:mi><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>V</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:math>SL(V)-invariant polynomials on <mml:math><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msup><mml:mi>V</mml:mi><mml:mi mathvariant="normal">?</mml:mi></mml:msup></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow><mml:mi>a</mml:mi></mml:msup><mml:mo>×</mml:mo><mml:msup><mml:mi>V</mml:mi><mml:mi>b</mml:mi></mml:msup><mml:mo>×</mml:mo><mml:msup><mml:mrow><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mi mathvariant="normal">SL</mml:mi><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>V</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow><mml:mi>c</mml:mi></mml:msup></mml:mrow></mml:math>(V?)a×Vb×(SL(V))c. A generating set for this ring has been known since 1976, but the size of a minimal generating set, let alone an efficient description of the corresponding ideal of relations, are, so far, unknown.

In ref. 59, the authors study the case k = 3, and give a series of remarkable results and conjectures about the structure of <mml:math><mml:mrow><mml:msub><mml:mi>R</mml:mi><mml:mrow><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi><mml:mo>,</mml:mo><mml:mi>c</mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>V</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:math>Ra,b,c(V). First, they construct marked surfaces S of type (a, b, c), which they then connect to the ring of invariants <mml:math><mml:mrow><mml:msub><mml:mi>R</mml:mi><mml:mrow><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi><mml:mo>,</mml:mo><mml:mi>c</mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>V</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:math>Ra,b,c(V). More precisely, they define tensor diagrams, which are certain bipartite graphs embedded in S, and define the skein algebra of tensor diagrams in S. They then give a surjective ring homomorphism from the skein algebra to <mml:math><mml:mrow><mml:msub><mml:mi>R</mml:mi><mml:mrow><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi><mml:mo>,</mml:mo><mml:mi>c</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math>Ra,b,c, which they conjecture is injective. The authors use the combinatorics of tensor diagrams to construct a cluster algebra which lies inside of <mml:math><mml:mrow><mml:msub><mml:mi>R</mml:mi><mml:mrow><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi><mml:mo>,</mml:mo><mml:mi>c</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math>Ra,b,c. In general these cluster algebras are of infinite mutation type and hence should be completely intractable. Remarkably, the authors suggest a conjectural combinatorial description of all of the cluster variables.

The Cremmer–Gervais Cluster Structure on SLn

One of the prototypical examples of cluster algebras described by Berenstein et al. (60) is the coordinate ring of a (double Bruhat cell of a) simple complex Lie group. This example is directly related to the original motivations for cluster algebras coming from total positivity and canonical bases. The same example was also studied by Gekhtman et al. (19) from the point of view of Poisson geometry. Poisson–Lie structures on a complex Lie group have been classified by Belavin and Drinfeld (61). It turns out that the usual cluster structure is compatible with the so-called standard Poisson–Lie structure. The purpose of the second paper in this issue of PNAS, by Gekhtman et al. (62), is to present, for the Lie group SLn, a very different cluster structure compatible with a nonstandard Poisson–Lie structure due to Cremmer–Gervais. One remarkable feature of this cluster structure is that, in contrast to the standard one, the cluster algebra is strictly contained in its upper bound. Another one is that the totally positive part of SLn with respect to this exotic cluster structure is strictly contained in the usual set of totally positive matrices.

Quantum Cluster Algebras and Quantum Nilpotent Algebras

The existence of cluster structures on coordinate rings of Poisson–Lie groups makes it natural to investigate the possibility of quantizing the notion of a cluster algebra. A general axiomatic definition of a quantum cluster algebra was given by Berenstein and Zelevinsky (63), together with a conjectural quantum cluster structure on the coordinate ring of an arbitrary double Bruhat cell. In the third paper (64), Goodearl and Yakimov announce a proof of this conjecture, and present the main features of their construction. They work in the general framework of a quantum nilpotent algebra, a large class of noncommutative rings endowed with a torus action. Quantum nilpotent algebras are unique factorization domains, and Goodearl and Yakimov show the existence of a canonical quantum cluster structure whose initial cluster consists of an appropriate sequence of prime elements. They then explain how their main theorem yields quantum cluster algebra structures on quantum Schubert cells and quantum double Bruhat cells.

Introduction to τ-Tilting Theory

After the pioneering paper of Marsh et al. (2) first pointing out relationships between cluster algebras and the representation theory of quivers, many authors investigated these deep connections. Marsh et al. found striking similarities between cluster mutation and the classical notion of tilting in the representation theory of algebras. The fourth paper in this issue of PNAS (65), by Iyama and Reiten, starts with a beautiful survey of tilting theory, then proceeds with cluster-tilting theory, a very successful variant motivated by cluster algebras. This is meant as an introduction to a new notion called “τ-tilting.” Here τ stands for the Auslander–Reiten translation of a finite-dimensional algebra Λ. A Λ-module is called τ-tilting if it is τ-rigid (a concept introduced long ago by Auslander and Smalo, ref. 66) and is maximal for this property. Surprisingly, τ-tilting modules give rise to a new operation of mutation occurring in any finite-dimensional algebra Λ. In the final section, the authors relate τ-tilting with cluster tilting when Λ is a cluster-tilted algebra (or more generally a 2-Calabi-Yau tilted algebra).

Greedy Bases in Rank 2 Quantum Cluster Algebras

A famous conjecture of Fomin and Zelevinsky (1) [recently proved by Cerulli Irelli et al. (12) for a large class of cluster algebras called “skew symmetric”] states that the cluster monomials form a linear independent subset of a cluster algebra. There has been great interest in the problem of finding natural bases of the cluster algebra containing this subset and satisfying some strong positivity properties. For rank 2 cluster algebras, Lee et al. (67) have described such a basis, which consists of so-called greedy elements with a beautiful combinatorial description. The fifth paper, by Lee et al. (68), reviews this construction, then establishes the existence of a quantum lift of the greedy basis in any rank 2 quantum cluster algebra. However, the quantum greedy elements are not always universally positive. The paper closes with a series of exciting open problems.

Cluster-Like Coordinates in Supersymmetric Quantum Field Theory

One of the recent unexpected appearances of cluster algebras is in quantum field theory, a fast-moving branch of theoretical physics. In our sixth paper, Neitzke (69) gives a review of one way in which quantum field theory and cluster algebras interact. More specifically, ref. 69 concerns <mml:math><mml:mrow><mml:mi mathvariant="script">N</mml:mi><mml:mo>=</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:math>N=2 supersymmetric quantum field theories in four dimensions. These theories have associated hyperk?hler moduli spaces, and these moduli spaces carry a structure which looks like an extension of the notion of cluster variety. In particular, one encounters the usual variables and mutations from the usual cluster algebra story, along with more exotic extra variables and generalized mutations. Perhaps the most exciting aspect of ref. 69 is that it argues that geometric ideas coming from quantum field theory lead to a natural extension of the theory of cluster algebras.

A Positive Basis for Surface Skein Algebras

The Jones polynomial of a knot is one of the simplest and most important knot invariants at the center of many recent advances in topology; it is a polynomial in one variable q. The skein algebra of a surface is a natural generalization of the Jones polynomial to knots that live in a thickened surface. The seventh paper in this issue of PNAS, by Thurston (70), discusses the positivity properties of three different bases of the skein algebra (at q = 1): the bangles basis, the band basis, and the bracelet basis. Here a basis {xi} of an algebra A over <mml:math><mml:mi mathvariant="normal">?</mml:mi></mml:math>? is called “positive” if <mml:math><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:msub><mml:mi>x</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mstyle displaystyle="true"><mml:msub><mml:mo>∑</mml:mo><mml:mi>k</mml:mi></mml:msub><mml:mrow><mml:msubsup><mml:mi>m</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow><mml:mi>k</mml:mi></mml:msubsup><mml:msub><mml:mi>x</mml:mi><mml:mi>k</mml:mi></mml:msub></mml:mrow></mml:mstyle></mml:mrow></mml:math>xixj=∑kmijkxk, with <mml:math><mml:mrow><mml:msubsup><mml:mi>m</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow><mml:mi>k</mml:mi></mml:msubsup><mml:mo>≥</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:math>mijk≥0 for any i, j. It is known that the bangles basis is not a positive basis. Fock and Goncharov conjectured that the bracelet basis is positive in their groundbreaking work (section 12 in ref. 20). The main result of ref. 70 is a proof of Fock–Goncharov’s conjecture. Because the bracelet basis contains the cluster monomials for the cluster algebra associated to the surface, this result is closely related to the corresponding instance of the strong positivity conjecture for cluster algebras.

Additionally, ref. 70 conjectures that the band basis is a positive basis precisely when the surface <mml:math><mml:mi mathvariant="normal">∑</mml:mi></mml:math> has either nonempty boundary or at least one puncture, i.e., if the fundamental group <mml:math><mml:mrow><mml:msub><mml:mi>π</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi mathvariant="normal">∑</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:math>π1(∑) is free. Several intriguing open problems are also proposed.

Acknowledgments

B.L. was partially supported by Institut Universitaire de France, and L.K.W. was partially supported by the National Science Foundation CAREER Grant DMS-1049513.

Footnotes

  • ?1To whom correspondence should be addressed. Email: williams{at}math.berkeley.edu.
  • Author contributions: B.L. and L.K.W. wrote the paper.

  • The authors declare no conflict of interest.

References

  1. ?
  2. ?
  3. ?
  4. ?
  5. ?
  6. ?
  7. ?
  8. ?
  9. ?
  10. ?
  11. ?
  12. ?
  13. ?
  14. ?
  15. ?
  16. ?
  17. ?
  18. ?
  19. ?
  20. ?
  21. ?
  22. ?
  23. ?
  24. ?
  25. ?
  26. ?
  27. ?
  28. ?
  29. ?
  30. ?
  31. ?
  32. ?
  33. ?
  34. ?
  35. ?
  36. ?
  37. ?
  38. ?
  39. ?
  40. ?
  41. ?
  42. ?
  43. ?
  44. ?
  45. ?
  46. ?
  47. ?
  48. ?
  49. ?
  50. ?
  51. ?
  52. ?
  53. ?
  54. ?
  55. ?
  56. ?
  57. ?
  58. ?
  59. ?
  60. ?
  61. ?
  62. ?
  63. ?
  64. ?
  65. ?
  66. ?
  67. ?
  68. ?
  69. ?
  70. ?

Online Impact

    <acronym id="UPyyYwe"></acronym>
    <rt id="UPyyYwe"></rt>
    <rt id="UPyyYwe"><small id="UPyyYwe"></small></rt>
    <rt id="UPyyYwe"><small id="UPyyYwe"></small></rt>
    <acronym id="UPyyYwe"><optgroup id="UPyyYwe"></optgroup></acronym>
    <tr id="UPyyYwe"><optgroup id="UPyyYwe"></optgroup></tr>
    <tr id="UPyyYwe"><optgroup id="UPyyYwe"></optgroup></tr>
    <acronym id="UPyyYwe"></acronym>
    <acronym id="UPyyYwe"></acronym>
    <acronym id="UPyyYwe"><small id="UPyyYwe"></small></acronym>
  • 29548817 2018-01-19
  • 627633816 2018-01-19
  • 515977815 2018-01-19
  • 397754814 2018-01-19
  • 927574813 2018-01-19
  • 122952812 2018-01-19
  • 519337811 2018-01-19
  • 822690810 2018-01-19
  • 475626809 2018-01-19
  • 845873808 2018-01-18
  • 263104807 2018-01-18
  • 787145806 2018-01-18
  • 366736805 2018-01-18
  • 889928804 2018-01-18
  • 251505803 2018-01-18
  • 141443802 2018-01-18
  • 705389801 2018-01-18
  • 449977800 2018-01-18
  • 739705799 2018-01-18
  • 205939798 2018-01-18