A=U for Locally Acyclic Cluster Algebras

This note presents a self-contained proof that acyclic and locally acyclic cluster algebras coincide with their upper cluster algebras.

Gespeichert in:
Bibliographische Detailangaben
Datum:2014
1. Verfasser: Muller, G.
Format: Artikel
Sprache:English
Veröffentlicht: Інститут математики НАН України 2014
Schriftenreihe:Symmetry, Integrability and Geometry: Methods and Applications
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/146600
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:A=U for Locally Acyclic Cluster Algebras / G. Muller // Symmetry, Integrability and Geometry: Methods and Applications. — 2014. — Т. 10. — Бібліогр.: 12 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-146600
record_format dspace
spelling nasplib_isofts_kiev_ua-123456789-1466002025-02-09T14:47:47Z A=U for Locally Acyclic Cluster Algebras Muller, G. This note presents a self-contained proof that acyclic and locally acyclic cluster algebras coincide with their upper cluster algebras. This paper is a contribution to the Special Issue on New Directions in Lie Theory. The full collection is available at http://www.emis.de/journals/SIGMA/LieTheory2014.html. The author gratefully acknowledges the referees for suggestions incorporated into the final version of this note. 2014 Article A=U for Locally Acyclic Cluster Algebras / G. Muller // Symmetry, Integrability and Geometry: Methods and Applications. — 2014. — Т. 10. — Бібліогр.: 12 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 13F60; 13B30 DOI:10.3842/SIGMA.2014.094 https://nasplib.isofts.kiev.ua/handle/123456789/146600 en Symmetry, Integrability and Geometry: Methods and Applications application/pdf Інститут математики НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language English
description This note presents a self-contained proof that acyclic and locally acyclic cluster algebras coincide with their upper cluster algebras.
format Article
author Muller, G.
spellingShingle Muller, G.
A=U for Locally Acyclic Cluster Algebras
Symmetry, Integrability and Geometry: Methods and Applications
author_facet Muller, G.
author_sort Muller, G.
title A=U for Locally Acyclic Cluster Algebras
title_short A=U for Locally Acyclic Cluster Algebras
title_full A=U for Locally Acyclic Cluster Algebras
title_fullStr A=U for Locally Acyclic Cluster Algebras
title_full_unstemmed A=U for Locally Acyclic Cluster Algebras
title_sort a=u for locally acyclic cluster algebras
publisher Інститут математики НАН України
publishDate 2014
url https://nasplib.isofts.kiev.ua/handle/123456789/146600
citation_txt A=U for Locally Acyclic Cluster Algebras / G. Muller // Symmetry, Integrability and Geometry: Methods and Applications. — 2014. — Т. 10. — Бібліогр.: 12 назв. — англ.
series Symmetry, Integrability and Geometry: Methods and Applications
work_keys_str_mv AT mullerg auforlocallyacyclicclusteralgebras
first_indexed 2025-11-27T00:43:10Z
last_indexed 2025-11-27T00:43:10Z
_version_ 1849902178459713536
fulltext Symmetry, Integrability and Geometry: Methods and Applications SIGMA 10 (2014), 094, 8 pages A = U for Locally Acyclic Cluster Algebras? Greg MULLER Department of Mathematics, Louisiana State University, USA E-mail: morilac@umich.edu URL: http://www-personal.umich.edu/~morilac/ Received May 16, 2014, in final form August 25, 2014; Published online September 03, 2014 http://dx.doi.org/10.3842/SIGMA.2014.094 Abstract. This note presents a self-contained proof that acyclic and locally acyclic cluster algebras coincide with their upper cluster algebras. Key words: cluster algebras; upper cluster algebras; acyclic cluster algebras 2010 Mathematics Subject Classification: 13F60; 13B30 1 Introduction Cluster algebras are commutative domains with distinguished generators (cluster variables) and certain combinatorial identities between them (mutation relations). They were introduced in [4] to study dual canonical bases for Lie groups, and have since been discovered in a remarkable range of applications (see [5, 8, 9] for surveys). 1.1 Upper cluster algebras Each cluster algebra A also determines an upper cluster algebra U , with A ⊆ U . Defined as an intersection of Laurent rings, the upper cluster algebra is more natural than the cluster algebra from a geometric perspective. Upper cluster algebras were introduced in the seminal paper [1], where the authors sought to show that certain rings are cluster algebras1. They instead proved that these rings are upper cluster algebras. Naturally, they also asked when A ⊆ U is equality. To this end, they introduced acyclic cluster algebras: a class of elementary cluster algebras which have since proven to be particularly easy to work with. They also defined a totally coprime condition; a more technical condition that can depend on the coefficients of the cluster algebra. Using both properties, they were able to trap A and U between two simpler algebras (the lower bound and the upper bound) and ‘close the gap’ between the bounds to show that A = U . Theorem 1 ([1]). If A is a totally coprime, acyclic cluster algebra, then A = U . 1.2 Locally acyclic cluster algebras The current paper’s author became interested in studying when A = U for cluster algebras coming from marked surfaces2. Fortuitously, the geometric techniques developed for that prob- lem (cluster localization and covers) generalized beyond marked surfaces. In [12], locally acyclic cluster algebras were defined to capture those cluster algebras for which these techniques could show A = U . ?This paper is a contribution to the Special Issue on New Directions in Lie Theory. The full collection is available at http://www.emis.de/journals/SIGMA/LieTheory2014.html 1Specifically, coordinate rings of double Bruhat cells. 2A = U for marked surfaces was needed to prove that skein algebras are cluster algebras (see [11]). mailto:morilac@umich.edu http://www-personal.umich.edu/~morilac/ http://dx.doi.org/10.3842/SIGMA.2014.094 http://www.emis.de/journals/SIGMA/LieTheory2014.html 2 G. Muller Unfortunately, the proof that A = U for locally acyclic cluster algebras which appears in [12, Theorem 4.1] depends an incorrectly stated version of Theorem 1; specifically, the totally coprime hypothesis was omitted. This has led to some confusion about whether A = U for locally acyclic cluster algebras3. Thankfully, the techniques of [12] can be used to show that A = U for locally acyclic cluster algebras without assuming totally coprime or using Theorem 14; this was alluded to in [12, Remark 6.7] but not shown. Since acyclic cluster algebras are locally acyclic, this shows that the totally coprime assumption may be removed from Theorem 1. Theorem 2. If A is an acyclic or locally acyclic cluster algebra, then A = U . The purpose of this note is to present an elementary proof of this fact, which assumes nothing except the Laurent phenomenon. This not only resolves the dependency error in [12], but serves as a short and self-contained introduction to the techniques and effectiveness of cluster localization and locally acyclic cluster algebras. The reader might find this a more straight- forward and accessible motivation for the study of locally acyclic cluster algebras than [12], which relies heavily on geometric intuition and techniques. We also work in the setting of cluster algebras with normalized coefficients, which are a bit more general than the cluster algebras with geometric coefficients studied in [12]. 2 Cluster algebra recollections We recall the definition of cluster algebras with normalized coefficients. This generalizes cluster algebras with geometric coefficients; see [6] for the appropriate correspondence. 2.1 Seeds and mutation Let P be a semifield : a torsion-free abelian group (written multiplicatively) equipped with an auxiliary addition ⊕ which is commutative, associative and distributive over multiplication. Its integral group ring ZP will be the coefficient ring of the cluster algebra. Let F be a field which contains ZP. A seed of rank n in F is a triple (x,y,B) consisting of three parts: • the cluster : x = {x1, x2, . . . , xn} is an n-tuple in F which freely generates F as a field over the fraction field of ZP, • the coefficients: y = {y1, y2, . . . , yn} is an n-tuple in P, and • the exchange matrix : B is an integral, skew-symmetrizable5 n× n matrix. A seed (x,y,B) may be mutated at an index 1 ≤ k ≤ n, to produce a new seed (µk(x), µk(y), µk(B)) defined as follows: • µk(x) := {x1, x2, . . . , xk−1, x′k, xk+1, . . . , xn}, where x′k := yk ∏ x [Bjk]+ j + ∏ x [−Bjk]+ j (yk ⊕ 1)xk (here, [Bjk]+ denotes max(Bjk, 0)), 3The author apologizes for any confusion this may have caused. 4Though, some lemmas here are influenced by lemmas in [1]; cf. Proposition 3. 5Skew-symmtrizable means there is a diagonal matrix D such that DB is skew-symmetric. A = U for Locally Acyclic Cluster Algebras 3 • µk(y) := {y′1, y′2, . . . , y′n}, where y′j := { y−1j if k = j, yjy [Bkj ]+ k (yk ⊕ 1)−Bkj if k 6= j, • µk(B) is defined entry-wise by µk(B)ij = { −Bij if k = i or k = j, Bij + 1 2(|Bik|Bkj + Bik|Bkj |) otherwise, Mutating at the same index twice in a row returns to the original seed. Permuting the indices {1, 2, . . . , n} induces a new seed in the obvious way. Two seeds are mutation-equivalent if they are related by a sequence of mutations and permutations. 2.2 Cluster algebras Given a seed (x,y,B), the union of all the clusters which appear in mutation-equivalent seeds defines a set of cluster variables in the embedding field F . The cluster algebra A(x,y,B) determined by (x,y,B) is the unital subring of F generated by ZP and the cluster variables. The cluster algebra only depends on the mutation-equivalence class of the initial seed, and so the initial seed (x,y,B) will often be omitted from the notation. We say x = {x1, x2, . . . , xn} is a cluster in A if x is in some seed (x,y,B) of A. A fundamental property of cluster algebras is the Laurent phenonemon, which states that the localization of A at a cluster x is the ring of Laurent polynomials in x over ZP A ↪→ A [ x−11 , x−12 , . . . , x−1n ] = ZP [ x±11 , x±12 , . . . , x±1n ] . Every cluster in A defines such an inclusion. Define the upper cluster algebra U of A to be the intersection of each of these Laurent rings, taken inside the common fraction field F U := ⋂ clusters x⊂A ZP [ x±11 , x±12 , . . . , x±1n ] ⊂ F . By the Laurent phenomenon, there is an embedding A ⊆ U . This inclusion is not always equality (see [1, Proposition 1.26]), but it is an equality in many examples of cluster algebras, and it is hoped to be an equality in many more important examples. Remark 1. An explanation of the geometric significance of the upper cluster algebra can be found in [10, Section 3.2]. 3 Cluster localization and covers This section reviews the techniques of cluster localization and covers, defined in [12]. 3.1 Freezing ‘Freezing’ a cluster variable in a seed promotes one or more cluster variables to the coefficient ring. The name is motivated by the case of geometric seeds, in which the generators of P are regarded as ‘frozen’ cluster variables. Let (x,y,B) be a seed of rank n over a coefficient ring ZP. Define the freezing of (x,y,B) at xn to be the seed (x†,y†,B†) of rank n− 1 defined as follows. 4 G. Muller • P† := P× Z, the direct product of P with a free abelian group Z, whose generator will be denoted xn. The auxilliary addition is defined by( p1x a n ) ⊕ ( p2x b n ) := (p1 ⊕ p2)xmin(a,b) n . It follows that ZP† ' ZP[x±1n ] as rings. • There is an obvious isomorphism from the field F ' Q(P, x1, x2, . . . , xn) to the field F† ' Q(P†, x1, x2, . . . , xn−1). Identify xi with its image under this isomorphism, and let x† := {x1, x2, . . . , xn−1}. • y†i := yix Bni n and y† := { y†1, y † 2, . . . , y † n−1 } . • Let B† be the submatrix of B obtained by deleting the nth row and column. Freezing an arbitrary variable xi ⊂ x is defined by conjugating the above construction by any permutation that sends xi to xn. The following proposition is straightforward. Proposition 1. Let (µ(x), µ(y), µ(B)) be the mutation of (x,y,B) at the variable xi, and let (x†,y†,B†) be the freezing of (x,y,B) at xj 6= xi. Then the freezing of (µ(x), µ(y), µ(B)) at xj is the mutation at xi of (x†,y†,B′). It follow that the exchange graph6 of (x†,y†,B†) is the subgraph of the exchange graph of (x,y,B) which contains the initial seed and avoids mutating at xi. Given a subset S ⊂ x, the freezing of (x,y,B) at S is the iterated freezing of each variable in S in any order. As above, freezing multiple variables S commutes with mutation away from S. 3.2 Cluster localization The effect of freezing a seed on the corresponding cluster algebras and upper cluster algebras is given by the following sequence of containments. Lemma 1. Let {xi1 , xi2 , . . . , xik} ⊂ x be a set of variables in a seed (x,y,B), with freezing (x†,y†,B†). Let A and U be the cluster algebra and upper cluster algebra of (x,y,B) and let A† and U† be the cluster algebra and upper cluster algebra of (x†,y†,B†). Then there are inclusions in F A† ⊆ A [ (xi1xi2 . . . xik) −1] ⊆ U[(xi1xi2 . . . xik)−1] ⊆ U†. Proof. The coefficient ring ZP† = ZP [ x±1i1 , . . . , x ±1 ik ] , so ZP† ⊂ A [ (xi1xi2 . . . xik) −1]. Since the cluster variables of A contain the cluster variables of A†, this implies the first inclusion. Since the clusters ofA contain the clusters ofA†, there is a containment U ⊂ U†. Furthermore, (xi1xi2 . . . xik) −1 ∈ P† ⊂ U†, which implies the last inclusion. The middle inclusion follows from the Laurent phenomenon. � Each of these inclusions is fairly interesting; but for the purposes at hand, we are most interested in when the first inclusion is equality. Definition 1. If (x†,y†,B†) is a freezing of (x,y,B) at {xi1 , xi2 , . . . , xik} such that A(x†,y†,B†) = A(x,y,B) [ (xi1xi2 . . . xik) −1], we say A(x†,y†,B†) is a cluster localization of A(x,y,B). 6The exchange graph of A is the possibly infinite graph with a vertex for each seed (up to permutation) and an edge for each mutation between seeds. A = U for Locally Acyclic Cluster Algebras 5 This is the most natural way a cluster structure can descend to a cluster structure on a lo- calization; hence the name. Whenever A(x†,y†,B†) = U(x†,y†,B†), each inclusion in Lemma 1 is an equality, and so A(x†,y†,B†) is a cluster localization of A(x,y,B). Cluster localizations are transitive; if A† is a cluster localization of A, and A‡ is a cluster localization of A†, then A‡ is a cluster localization of A. Example 1. The extreme case S = x amounts to freezing every variable in a seed. The freezing (x†,y†,B†) = (∅,∅,∅) is rank zero and so A ( x†,y†,B† ) = ZP† ' ZP [ x±11 , x±12 , . . . , x±1n ] = U ( x†,y†,B† ) . This is the inclusion coming from the Laurent phenomenon. 3.3 Covers For a cluster algebra A, a set {Ai}i∈I of cluster localizations of A (not necessarily localizations from the same seed) is called a cover if, for every prime ideal P in A, there is some Ai such that AiP ( Ai. Covers are transitive; that is, if {Ai}i∈I is a cover of A, and {Aij}j∈Ji is a cover of Ai, then⋃ i∈I{Aij}j∈Ji is a cover of A. However, because there is no ‘geometric intersection’ for cluster localizations, there is no notion of a common refinement of two covers. The following is a useful property of covers. Proposition 2. If {Ai}i∈I is a cover of A, then A = ⋂ i∈I Ai. Proof. Let a ∈ ⋂ i∈I Ai. Write each Ai as A[d−1i ] for some di ∈ A, so that a ∈ ⋂ i∈I A[d −1 i ]. For each i, there is some ni such that dni i a ∈ A. Define the A-ideal J := {b ∈ A | ba ∈ A}. It follows that dni i ∈ J and AiJ = Ai, for all i. If M is a prime A-ideal which contains J , then AiM = Ai for all i. Hence, no prime A-ideals contain J , and so J = A. In particular, 1 ∈ J , and so a ∈ A. � The equality A = U may be checked locally in a cover. Lemma 2. Let {Ai}i∈I be a cover of A. If Ai = Ui for each i ∈ I, then A = U . Proof. Lemma 1 implies that U ⊂ Ui for all i, and so U ⊆ ⋂ i∈I Ui. Then U ⊆ ⋂ i∈I Ui = ⋂ i∈I Ai = A ⊆ U and so A = U . � Example 2. Consider the example with initial seed and cluster algebra( {x1, x2},∅, [ 0 −1 1 0 ]) , A = Z [ x1, x2, x2 + 1 x1 , x1 + x2 + 1 x1x2 , x1 + 1 x2 ] . The two freezings of the initial seed both define cluster localizations A [ x−11 ] = Z[x±11 ] [ x2, x1 + 1 x2 ] , A [ x−12 ] = Z[x±12 ] [ x1, x2 + 1 x1 ] , which collectively define a cover of A, because no prime ideal in A can contain both x1 and x2. Proposition 2 implies that Z [ x±11 ] [ x2, x1 + 1 x2 ] ∩ Z [ x±12 ] [ x1, x2 + 1 x1 ] = Z [ x1, x2, x2 + 1 x1 , x1 + x2 + 1 x1x2 , x1 + 1 x2 ] . Since Ui = Ai for both cluster localizations, Lemma 2 implies that U = A. 6 G. Muller 4 Acyclic and locally acyclic cluster algebras This section shows that acyclic cluster algebras admit covers by isolated cluster algebras. 4.1 Isolated cluster algebras A cluster algebra is isolated if the exchange matrix of any seed (equivalently, every seed) is the zero matrix7. Proposition 3. Let A be an isolated cluster algebra. Then A = U .8 Proof. Let (x,y,B) be a seed for A. Let x = {x1, x2, . . . , xn} and let x′i := Pix −1 i denote the mutation of xi in the initial seed. Since B = 0, each of the Pi ∈ ZP, and mutation does not change y or B. Hence, mutating at distinct indices is order-independent. It follows that {x1, x2, . . . , xn, x′1, x′2, . . . , x′n} is the complete set of cluster variables in A, and the clusters are of the form {xi|i 6∈ I} ⋃ {x′i | i ∈ I} for any subset I ⊂ {1, 2, . . . , n}. Choose some a ∈ U . Since a ∈ ZP [ x±11 , x±12 , . . . , x±1n ] , it can be written as a = ∑ α∈Zn λαx α1 1 xα2 2 · · ·x αn n , λα ∈ ZP. For any I ⊂ {1, 2, . . . , n}, the element a can be written as a = ∑ α∈Zn γα,I (∏ i 6∈I xαi i )(∏ i∈I x′−αi i ) = ∑ α∈Zn γα,I (∏ i∈I P−αi i ) xα1 1 xα2 2 · · ·x αn n . Since the monomials in x1, x2, . . . , xn are a basis for ZP [ x±11 , x±12 , . . . , x±1n ] , it follows that λα = γα,I ( ∏ i∈I P−αi i ) for all α. Hence, a can be written as a = ∑ α∈Z γα ( ∏ i |αi≥0 xαi i )( ∏ i |αi<0 x′−αi i ) , where γα is γα,I for I the subset where αi < 0. This expression for a is clearly in A. � Corollary 1. If A admits a cover by isolated cluster algebras, then A = U . Proof. This is an immediate corollary of Proposition 3 and Lemma 2. � 4.2 Acyclic cluster algebras Isolated cluster algebras are too simple to be interesting by themselves, but the key idea of [12] is that many interesting cluster algebras can be covered by isolated cluster algebras. A cluster algebra is acyclic if it has an acyclic seed : a seed with an exchange matrix B, such that there is no sequence of indices i1, i2, . . . , i` ∈ {1, 2, . . . , n} with Bij+1ij > 0 for all j and i` = i1. 9 Acyclic cluster algebras form a class of well-behaved cluster algebras which contain many notable examples, including all finite-type cluster algebras. 7For a seed of geometric type defined by a quiver, being isolated is equivalent to having no arrows between mutable vertices; this is the origin of the term ‘isolated’. 8This is a straightforward generalization of the statement and proof of [1, Lemma 6.2]. 9For a seed of geometric type defined by a quiver, being acyclic is equivalent to having no directed cycles; this is the origin of the term ‘acyclic’. Not every seed of an acyclic cluster algebra is an acyclic seed. A = U for Locally Acyclic Cluster Algebras 7 Proposition 4. If A is acyclic, then it admits a cover by isolated cluster algebras. Proof. The proof will be by induction on the rank n of A. If acyclic A has rank n ≤ 1, then A is isolated, and trivially has a cover by isolated cluster algebras. Assume that every acyclic cluster algebra of rank < n admits a cover by isolated cluster algebras. Let A be an acyclic cluster algebra of rank n, and let (x,y,B) be an acyclic seed. There must be some index i ∈ {1, 2, . . . , n} which is a sink ; that is, Bji ≤ 0 for all j. Otherwise, it would be possible to create arbitrarily long sequences of indices i1, i2, . . . , i` with Bij+1ij > 0; by finiteness, at least one such sequence will have i` = i1. If A is isolated, then it trivially has a cover by isolated cluster algebras. If A is not isolated, then there must be indices i and j such that i is a sink and Bji < 0. The mutation relation at i is then xix ′ i = yi yi ⊕ 1 + 1 yi ⊕ 1 ∏ k |Bki<0 x−Bki k . Since yi yi⊕1 is invertible in ZP, this can be rewritten as 1 = yi ⊕ 1 yi x′ixi − y−1i ∏ k |Bki<0 x−Bki k . Since xj appears in the right-hand product, xi and xj generate the trivial A-ideal. Let Ai and Aj denote the freezings of A at the indices i and j, respectively. The freezing of an acyclic seed is an acyclic seed, and so Ai and Aj are acyclic cluster algebras of rank n − 1. By the inductive hypothesis, they admit covers by isolated cluster algebras, and by Corollary 1, Ai = Ui and Aj = Uj . By Lemma 1, these are cluster localizations with Ai = A [ x−1i ] and Aj = Aj [ x−1j ] . Let P be a prime A-ideal. Since xi and xj generate the trivial A-ideal, P cannot contain both elements. If xi 6∈ P , then AiP ( Ai. If xj 6∈ P , then AjP ( Aj . Hence, Ai and Aj cover A. The union of the covers of Ai and Aj by isolated cluster algebras defines a cover A by isolated cluster algebras. � Corollary 2. If A is acyclic, then A = U . 4.3 Locally acyclic cluster algebras Many non-acyclic cluster algebras also admit covers by isolated cluster algebras. As an example, every triangulable marked surface determines a cluster algebra (see [2, 3, 7]), and these cluster algebras are locally acyclic as long as there are at least two marked points on the boundary [12, Theorem 10.6]. Since this class is interesting in its own right, we give it a name. Definition 2 ([12]). A cluster algebra is locally acyclic if it admits a cover by isolated cluster algebras. Since isolated cluster algebras are acyclic, and every acyclic cluster algebra admits a cover by isolated cluster algebras, this condition is equivalent to admitting a cover by acyclic cluster algebras; hence the name. By Corollary 1, every locally acyclic cluster algebra has A = U . More generally, locally acyclic cluster algebras possess any property of isolated cluster algebras which is ‘geometrically local’. For example, they are integrally closed, finitely generated and locally a complete intersection; see [12] for details. 8 G. Muller Acknowledgements The author gratefully acknowledges the referees for suggestions incorporated into the final ver- sion of this note. References [1] Berenstein A., Fomin S., Zelevinsky A., Cluster algebras. III. Upper bounds and double Bruhat cells, Duke Math. J. 126 (2005), 1–52, math.RT/0305434. [2] Fock V., Goncharov A., Moduli spaces of local systems and higher Teichmüller theory, Publ. Math. Inst. Hautes Études Sci. (2006), 1–211, math.AG/0311149. [3] Fomin S., Shapiro M., Thurston D., Cluster algebras and triangulated surfaces. I. Cluster complexes, Acta Math. 201 (2008), 83–146, math.RA/0608367. [4] Fomin S., Zelevinsky A., Cluster algebras. I. Foundations, J. Amer. Math. Soc. 15 (2002), 497–529, math.RT/0104151. [5] Fomin S., Zelevinsky A., Cluster algebras: notes for the CDM-03 conference, in Current Developments in Mathematics, Int. Press, Somerville, MA, 2003, 1–34, math.RT/0311493. [6] Fomin S., Zelevinsky A., Cluster algebras. IV. Coefficients, Compos. Math. 143 (2007), 112–164, math.RA/0602259. [7] Gekhtman M., Shapiro M., Vainshtein A., Cluster algebras and Weil–Petersson forms, Duke Math. J. 127 (2005), 291–311, math.QA/0309138. [8] Gekhtman M., Shapiro M., Vainshtein A., Cluster algebras and Poisson geometry, Mathematical Surveys and Monographs, Vol. 167, Amer. Math. Soc., Providence, RI, 2010. [9] Keller B., Cluster algebras and cluster categories, Bull. Iranian Math. Soc. 37 (2011), 187–234. [10] Matherne J., Muller G., Computing upper cluster algebras, Int. Math. Res. Not., to appear, arXiv:1307.0579. [11] Muller G., Skein algebras and cluster algebras of marked surfaces, arXiv:1204.0020. [12] Muller G., Locally acyclic cluster algebras, Adv. Math. 233 (2013), 207–247, arXiv:1111.4468. http://dx.doi.org/10.1215/S0012-7094-04-12611-9 http://dx.doi.org/10.1215/S0012-7094-04-12611-9 http://arxiv.org/abs/math.RT/0305434 http://dx.doi.org/10.1007/s10240-006-0039-4 http://dx.doi.org/10.1007/s10240-006-0039-4 http://arxiv.org/abs/math.AG/0311149 http://dx.doi.org/10.1007/s11511-008-0030-7 http://dx.doi.org/10.1007/s11511-008-0030-7 http://arxiv.org/abs/math.RA/0608367 http://dx.doi.org/10.1090/S0894-0347-01-00385-X http://arxiv.org/abs/math.RT/0104151 http://arxiv.org/abs/math.RT/0311493 http://dx.doi.org/10.1112/S0010437X06002521 http://arxiv.org/abs/math.RA/0602259 http://dx.doi.org/10.1215/S0012-7094-04-12723-X http://arxiv.org/abs/math.QA/0309138 http://dx.doi.org/10.1090/surv/167 http://dx.doi.org/10.1090/surv/167 http://dx.doi.org/10.1093/imrn/rnu027 http://arxiv.org/abs/1307.0579 http://arxiv.org/abs/1204.0020 http://dx.doi.org/10.1016/j.aim.2012.10.002 http://arxiv.org/abs/1111.4468 1 Introduction 1.1 Upper cluster algebras 1.2 Locally acyclic cluster algebras 2 Cluster algebra recollections 2.1 Seeds and mutation 2.2 Cluster algebras 3 Cluster localization and covers 3.1 Freezing 3.2 Cluster localization 3.3 Covers 4 Acyclic and locally acyclic cluster algebras 4.1 Isolated cluster algebras 4.2 Acyclic cluster algebras 4.3 Locally acyclic cluster algebras References