arxiv: v3 [math.qa] 16 Feb 2016

Transcription

1 TRIANGULAR BASES IN QUANTUM CLUSTER ALGEBRAS AND MONOIDAL CATEGORIFICATION CONJECTURES FAN QIN arxiv: v3 [math.qa] 16 Feb 2016 To the memory of Professor Andrei Zelevinsky Abstract. We consider the quantum cluster algebras which are injective-reachable and introduce a triangular basis in every seed. We prove that, given some initial conditions, there exists a unique common triangular basis for all seeds. This basis is parametrized by tropical points as expected in the Fock-Goncharov conjecture. As an application, we prove the existence of the common triangular bases for the quantum cluster algebras arising from representations of quantum affine algebras and partially for those arising from quantum unipotent subgroups. This result implies monoidal categorification conjectures of Hernandez-Leclerc or Fomin-Zelevinsky in the corresponding cases. Contents 1. Introduction 1 Acknowledgements 6 2. Preliminaries on additive categorifications 7 3. Dominance order and pointed sets Correction technique Injective pointed sets Triangular bases Graded quiver varieties and minuscule modules Facts and conjectures about monoidal categorifications Monoidal categorification conjectures 74 References Introduction 1.1. Background. Cluster algebras were invented by Sergey Fomin and Andrei Zelevinsky around the year 2000 in their seminal work [FZ02]. These are commutative algebras with generators defined recursively called cluster variables. The quantum cluster algebras were later introduced in [BZ05]. Fomin and Zelevinsky aimed to develop a combinatorial approach to the canonical bases in quantum groups(discovered 1

2 2 FAN QIN by Lusztig[Lus90] and Kashiwara[Kas90] independently) and theory of total positivity in algebraic groups (by Lusztig [Lus93][Lus94]). They conjectured that the cluster structure should serve as an algebra framework for the study of the dual canonical bases in various coordinate rings and their q-deformations. In particular, they proposed the following conjecture. Conjecture. All monomials in the variables of any given cluster (the cluster monomials) belong to the dual canonical basis. This claim would imply the positivity conjecture of the Laurent phenomenon of skew-symmetric cluster algebras, which was recently proved by Lee and Schiffler [LS13] by elementary algebraic computation. It soon turns out that (quantum) cluster algebras are related to many other areas. For example, by using cluster algebras, Bernhard Keller has proved the periodicity conjecture of Y-systems in physics, cf. [Kel13]. We refer the reader to B. Keller s introductory survey [Kel12] for a review of applications of cluster algebras. However, despite the success in other areas, the original motivation to study cluster algebras remains largely open. In previous literature, the following bases have been constructed and shown to contain the (quantum) cluster monomials. (i) By using preprojective algebras, cf. [GLS11], Geiss, Leclerc, and Schröer have shown that, if G is a semi-simple complex algebraic group and N G a maximal nilpotent subgroup, then the coordinate algebra C[N] admits a canonical cluster algebra structure. They further established the generic basis of this algebra, which contains the cluster monomials. As an important consequence, they identified the generic basis with Lusztig s dual semicanonical basis, which is a variant of the dual canonical basis, cf. [Lus00]. By [Pla13], this basis is parametrized by tropical points as expected by the Fock-Goncharov conjecture [FG06]. (ii) For commutative cluster algebras arising from triangulated surfaces, Musiker, Schiffler and Williams constructed various bases, cf. [MSW13]. Their positivity were discussed in [Thu13]. Fock and Goncharov also constructed canonical bases in [FG06]. (iii) For (quantum) cluster algebras of rank 2, Kyungyong Lee, Li Li, Dylan Rupel, A. Zelevinsky introduced (quantum) greedy bases, cf. [LLZ14] [LLRZ14b][LLRZ14a]. As a new approach to cluster algebras, David Hernandez and Bernard Leclerc found a cluster algebra structure on the Grothendieck ring of finite dimensional representations of quantum affine algebras in[hl10]. They proposed the following monoidal categorification conjecture. Conjecture. All cluster monomials belong to the basis of the simple modules.

3 Remark If we consider Cartan type ADE, then the Fomin and Zelevinsky s original conjecture about dual canonical basis can be deduced as a consequence of the above Hernandez-Leclerc conjecture, because one can view dual canonibal basis elements as simple modules, cf. [HL11]. Also, Hernandez and Leclerc in fact proposed a stronger conjecture in [HL10]: there exists a bijection between the cluster monomials and the real simple objects (a simple object S is called real if S S remains simple). Its analogue in cluster categories would be that all rigid objects correspond to cluster monomials. Partial results in type A and D were due to [HL10] [HL13b]. Inspired by the work of Hernandez and Leclerc, Hiraku Nakajima used graded quiver varieties to study cluster algebras [Nak11] and verified the monoidal categorification conjecture for cluster algebras arising from bipartite quivers. His work was later generalized to all acyclic quivers by Yoshiyuki Kimura and the author [KQ14] (cf. [Lee13] for a different and quick proof). By the work of Khovanov, Lauda [KL09], and Rouquier [Rou08], a quantum group U q (n) admits a categorification by the modules of quiver Hecke algebras, in which the dual canonical basis vectors correspond to the finite dimensional simple modules. Therefore, Fomin and Zelevinsky s conjecture can also be viewed as a monoidal categorification conjecture of the corresponding (quantum) cluster algebras Construction, results and comments. We shall consider quantum cluster algebras A that are injective-reachable (Assumption 2), namely, for any seed t, we have the similar new seed t[1] formed by the injectives of t, cf. Section 5.1 for details. Notice that this assumption is satisfied by the cluster algebras appearing in Fomin-Zelevinsky s conjecture and Hernandez-Leclerc s conjecture. Starting from t[1], we again have the similar new seed t[2]. Repeating this process, we obtain the chain of seeds {t[d]} d Z. For any given seed t, we define the pointed set I t consisting of normalized products of quantum cluster variables in t and t[1] (Section 5.3). Inspired by Kazhdan-Lusztig theory [KL79], the triangular basis L t fortheseedt, ifitexists, isdefinedtobetheuniquebar-invariantbasissuchthatevery element ofi t hasa( t,m)-unitriangulardecompositionintol t,where t iscertainorder(section3.1)andm = q 1 2Z[q 1 2], cf. Section 6.1. Our existence theorem states that if there exists a common triangular basis in the seeds {t[d]}, d Z, such that it has positive structure constants, satisfies certain local conditions, and its parametrization by the tropical points on these seeds are compatible with the tropical transformations, then this basis lifts to the unique common triangular basis L with the same properties for all seeds. 3

4 4 FAN QIN By construction, the common triangular basis L contains all the quantum cluster monomials. Therefore, if we can show that the basis consisting of the simple modules (or the dual canonical basis) produces the common triangular basis, the monoidal categorification conjecture is verified. Notice that the seeds t[d] for all d have isomorphic principal quivers. Consequently, we have the reduced existence theorem as one possible reduction of the existence theorem 6.5.1, whose crucial part is the finite criterion that the cluster variables along the mutation sequence from t to t[1] and t[ 1] are contained in the triangular basis L t of t. As applications, we prove the existence of the common triangular basis in the following cases, cf. Theorem Main result: (I) Assume that A arises from the quantum unipotent subgroup A q (n(w)) associated with a reduced word w (called type (i)). If the Cartan matrix is of Dynkin type ADE, or if the word w is inferior to an adaptable word under the left or right weak order, then the dual canonical basis gives the common triangular basis after normalization and localization at the frozen variables. (II) Assume that A arises from representations of quantum affine algebras (called type (ii)). Then, after localization at the frozen variables, the basis of the simple modules gives the common triangular basis. We also find an easy proof of Conjecture about cluster structures on all integral quantum unipotent subgroups, cf. Theorem Remark (Key points in the proofs). The existence theorem is established by elementary algebraic computation and the combinatorics of cluster algebras. We control the triangular bases by the positivity of their structure constants as well as their expected compatibility with the tropical transformations. On the one hand, the expected compatibility implies that the new quantum cluster variables obtained from one-step mutations are contained in the triangular basis of the original seed, cf. Example Proposition On the other hand, if these new quantum cluster variables are contained in the original triangular basis, we construct the triangular bases in the new seeds which are compatible with the original one, cf. Proposition When we consider applications to a quantum cluster algebra A of type (i) or (ii), most initial conditions are obtained by induction based on the properties of the standard basis (or dual PBW basis) and the T-systems. By the reduced existence theorem 6.5.7, it remains to verify that finite many quantum cluster variables are contained in the initial triangular basis L t 0. Some of them are known to be Kirillov-Reshetikhin modules, cf. [Nak03][GLS13][HL13b]. We compare the rest with the characters of some variants of Kirillov-Reshetikhin modules in the language of graded

5 quiver varieties, cf. Section 7.4. We simplify our treatment by freely changing coefficient pattern with the help of the correction technique introduced in [Qin14], cf. Section 4. Remark The idea of constructing the common triangular basis of a quantum cluster algebra first appeared in the work of Berenstein and Zelevinsky [BZ12], whose construction was over acyclic quivers. For general acyclic quivers, it is not clear if their construction agrees with the triangular basis in this paper or not. Remark The existence theorem is stated for quantum cluster algebras associated with skew-symmetrizable matrix under several assumptions, which essentially demand good properties of the combinatorics of cluster algebras, cf. Assumption Such properties are well known for the quiver case(the skew-symmetric case) thanks to the categorification by cluster categories. The recent paper [GHKK14] found lots of results about combinatorics of the skewsymmetrizable case, which might be useful in considering the corresponding triangular bases. The recent paper by Gross, Hacking, Keel and Kontsevich [GHKK14] provided another positive basis of commutative cluster algebras parametrized by tropical points and a more precise form of the Fock-Goncharov dual basis conjecture was verified. Their work also implied the positivity of the Laurent phenomenon of commutative cluster algebras. When the author was preparing the present article, Seok-Jin Kang, Masaki Kashiwara, Myungho Kim and Se-Jin Oh established an approach to cluster algebras on quantum unipotent subgroups by studying simple modules of quiver Hecke algebras, which reduced the verification of the corresponding monoidal categorification conjecture to one-step mutations in one seed [KKKO14]. This result allows them to verify the conjecture for quantum cluster algebras arising from quantum unipotent subgroups in a forthcoming paper, namely, all type (i) quantum cluster algebras. The approaches in their paper and the present paper are very different and the results are different too: they verify all type (i) cluster algebras, while the present paper verify some type (i) and all type (ii). Also, we will see that our triangular basis is generated by the basis of simples and, consequently, their result implies our Conjecture for all type (i) Contents. In the first part of Section 2, we recall basic definitions and properties of quantum cluster algebras A and its categorifications (including the Calabi-Yau reduction). This part serves as a background for the construction of the common triangular basis. In Section 3, we consider the lattice D(t) of leading degrees for every seed t of a cluster algebra together with its dominance order t. We then define and study pointed elements in the quantum torus T (t), 5

6 6 FAN QIN whose name is borrowed from [LLZ14]. We recall the tropical transformation expected by [FG09]. We end the section by a natural discussion of dominant degrees. In Section 4, we recall and reformulate the correction technique introduced in [Qin14], which is easy but useful to keep track of equations involving pointed elements when the coefficients and quantization change. In Section 5, we construct and study the injective pointed set I t consisting of normalized products of the cluster variables and the injectives in any given seed t. In section 6, we introduce the triangular bases L t of a quantum cluster algebra such that they are unitriangular to the injective pointed sets I t respectively. We present local conditions on t, such as positivity and unitriangularity of the basis L t (Section 6.2). As a crucial step, we study one step mutations (Section 6.3). Then we discuss when the triangular basis in one seed becomes the triangular basis in a new seed (Section 6.4). We conclude the section by proving the existence theorem for the common triangular basis. We devote the rest of the paper to the existence and applications of the common triangular bases. In Section 7, we review the theory of graded quiver varieties for acyclic quivers and the associated Kirillov-Reshetikhin modules. As the main result, we compute q,t-characters of a special class of simple modules. These slightly generalize Nakajima s notations and results [Nak04][Nak03]. A reader unfamiliar with this topic might skip this section and refer to Nakajima s works. In Section 8, we review the notion of monoidal categorifications, the quantum cluster algebras A(i) associated with a word i, and the monoidal categorification conjecture in type (i). We then introduce the quantum cluster structure A(i) on a subring R(i,a) of the graded Grothendieck ring over graded quiver varieties, where the word i and grading a are adaptable. We present the corresponding monoidal categorification conjecture. In section 9, we show that the basis of the simple modules produces the initial triangular bases of the corresponding quantum cluster algebra A(i) after localization. We verify local conditions in the initial seed. In order to show that it lifts to the common triangular basis, it remains to check that certain cluster variables are contained in this basis. We mainly work in the case when i is the power c N+1 of an acyclic Coxeter word c. Consequences are summarized in the end. Acknowledgements Special thanks are due to Bernhard Keller and Christof Geiss for their encouragements. The author is grateful to Hiraku Nakajima and Yoshiyuki Kimura for important discussion and comments. He thanks

7 David Hernandez, Pierre-Guy Plamondon, and Pavel Tumarkin for interesting discussion on quantum affine algebras, cluster algebras and Coxeter groups. He also thanks Andrei Zelevinsky and Dylan Rupel for suggesting the name pointed element. He thanks Yoshiyuki Kimura, David Hernandez and Bernhard Keller for remarks on a previous version of this paper. The author thanks the Mathematical Sciences Research Institute at Berkeley for the financial support, where part of this work was done during his stay in Preliminaries on additive categorifications 2.1. Quantum cluster algebras. We review the definition of quantum cluster algebras introduced by [BZ05]. Our notations will be similar to those in [Qin12][KQ14]. Let m n be two non-negative integers. Let B be an m n integer matrix. Its entry in position (i,j) is denoted by b ij. We define the principal part andthecoefficientpattern ofthematrix B tobeitsupper n n submatrix B and lower (m n) n submatrix respectively. We shall always assume the matrix B to be of full rank n and its principal part matrix skew-symmetrizable, namely, there exists a diagonal matrix D whose diagonal entries are strictly positive integers, such that BD is skew-symmetric. A quantization matrix Λ is an m m skew-symmetric integer matrix. Definition (Compatible pair). The pair (Λ, B) is called compatible, if their product satisfies ( ) D (1) Λ ( B) = 0 for some n n diagonal matrix D = Diag(d 1,d 2,...,d n ) whose diagonal entries are strictly positive integers. By [BZ05], the product DB is skew symmetric. The quantization matrix Λ gives the bilinear form Λ(, ) on the lattice Z m such that Λ(g,h) = g T Λh for g,h Z m. Here we use ( ) T to denote the matrix transposition. Let q be an indeterminate. Define q 1 2 to be its square root such that (q 1 2) 2 = q. The quantization matrix Λ makes the usual Laurent polynomial ring into a quantum torus. Definition The quantum torus T is the Laurent polynomial ring Z[q ±1 2][X 1 ±,...,X± m ] endowed with the twisted product such that 7 for any g,h Z m. X g X h = q 1 2 Λ(g,h) X g+h,

8 8 FAN QIN We denote the usual product of T by. The notation X g denotes the monomial 1 i m Xg i i of the X-variables X i with respect to the usual product. Recall that the Y-variables Y k, 1 k n, are defined as X Be k, whereek isthek-thunitvector inthelatticez m. Themonomials Y v, v N n, are similarly defined as k Y v k k. By [BZ05], the quantum torus T is contained in its skew-field of fractions F. The bar involution ( ) on T is the anti-automorphism of T sending q 1 2 to q 1 2 and X g to X g. A sign ǫ is an element in { 1,+1}. For any 1 k n and sign ǫ, we associate to B the m m matrix E ǫ whose entry at position (i,j) is 1 if i = j = k e ij = max(0, ǫb ik ) if i k,j = k, δ ij if j k and the n n matrix F ǫ whose entry at position (i,j) is 1 if i = j = k f ij = max(0,ǫb kj ) if i = k,j k. δ ij if i k We only consider triples (Λ, B,X) such that (Λ, B) is a compatible pair and X = {X 1,...,X m } the X-variables in the corresponding quantum torus T. Let [ ] + denote the function max{,0}. Definition (Mutation [FZ02] [BZ05]). Fix a sign ǫ and an integer 1 k n. The mutation µ k on a triple (Λ, B,X) is the operation that generates the new triple (Λ, B,X ): B =E ǫ BFǫ, Λ =E T ǫ ΛE ǫ, X i =X i, 1 i m,i k, X k =X 1 k ( X [b ik] + i + 1 i m 1 j m X [b kj] + j ). The last equation above is called the exchange relation at the vertex k. By this definition, the quantum torus T and the new quantum torus T associated with the new tripleshare thesame skew-field of fractions. Let (Λ, B,X) be a given triple. Let T n denote an n-regular tree with roott 0 whoseedgeswillbelabeledby{1,...,n},. Thereexists aunique way of associating a triple (Λ(t), B(t),X(t)) with each vertex t of T n such that (i) (Λ(t 0 ), B(t 0 ),X(t 0 )) = (Λ, B,X).

9 (ii) If two vertices t and t are related by an edge labeled k, then the triple (Λ(t ), B(t ),X(t ) is obtained from (Λ(t), B(t),X(t)) via the mutation µ k. Wecallthetriples(Λ(t), B(t),X(t))thequantum seeds. TheX-variables X i (t), 1 i m, are called quantum cluster variables. The quantum cluster monomials are the monomials of quantum cluster variables from the same seed. Notice that, when j > n, the cluster variables X j (t) remain the same for all seeds t. Consequently, we call them the frozen variables or coefficients and simply denote them by X j. The vertices 1,2,...,naresaidtobeexchangeable andformtheset ex. LetZ[q 1 2 ± ]P denote the coefficient ring Z[q ±1 2][X ± j ] n<j m. The frozen variables commute with any quantum cluster variable up to a power of q 1 2, which situation is called q-commute or quasi-commute. Given any quantum seed parametrized by a vertex t, we call it the seed t for simplicity. We also use B t and Λ t to denote B(t) and Λ(t) respectively. Definition The quantum cluster algebraais the Z[q ±1 2]-subalgebra of F generated by the quantum cluster variables and the inverses of the frozen variables, where we use the twisted product. The specialization A q gives us the commutative cluster algebra, which is denoted by A Z. We also define the quantum cluster algebra A as the subalgebra of A generated by the quantum cluster variables X i (t), 1 i m. Foranygivenseedt, wedefinethecorrespondingquantumtorust (t) using the data provided by t and Definition Then the quantum cluster algebra is contained in the quantum torus T(t), cf. the quantum Laurent phenomenon [FZ02][BZ05] Specialize q 1 2 to 1 and fix the initial seed t 0. For any given cluster variable X i (t), 1 i m, by [Tra11] [FZ07], we define its extended g-vector g i (t) in Z m such that the commutative cluster variable takes the following form: X i (t) q = X g i(t) F(Y 1,...,Y n ), where F(Y 1,...,Y n ) is the F-polynomial in [FZ07]. The restriction of g i (t) to the first n components is called the corresponding g-vector, which is the grading of the cluster variable X i (t) when the B-matrix is of principal coefficients type, namely, when ( ) B(t 0 ) = B pr B(t0 ) (t 0 ) =. 1 n We refer the reader to the survey [Kel12] for more details on the combinatorics of cluster algebras. 9

10 10 FAN QIN 2.2. Quivers and cluster categories. We review the necessary notions on the additive categorification of a cluster algebra by cluster categories, more details could be found in [Kel08] [Pla11b]. Let B be the m n matrix introduced before. Assume that its principal part B is skew-symmetric. Then we can construct the quiver Q = Q( B). This is an oriented graph with the vertices 1,2,...,m and [b ij ] + arrows from i to j, where 1 i,j m. We call Q an ice quiver, its vertices 1,...,n the exchangeable vertices, and its vertices n + 1,...,m the frozen vertices. Its principal part is defined to be the full subquiver Q = Q(B) on the vertices 1,2,...,n. Noticethatwecandeducethematrix B fromitsicequiver Q. Therefore, we say that the corresponding cluster algebra is of quiver type. For any given arrow h in a quiver, we let s(h) and t(h) to denote its start and terminal respectively. The quiver Q is called acyclic if it contains no oriented cycles, and bipartite if any of its vertices is either a source point or a sink point. Example Figure 1 provides an example of an ice quiver, where we use the diamond nodes to denote the frozen vertices Figure 1. The ice quiver associated the adaptable word ( ) and Cartan type A 3 We fix the base field to be the complex field C. Following [DWZ08], choose a generic potential W for the ice quiver Q, namely, a generic linear combination of oriented cycles of Q which is not included in some hypersurfaces ([DWZ08, Corollary 7.4]). Associate the Ginzburg algebra Γ( Q, W) to the quiver with potential ( Q, W). The restriction of ( Q, W) to the vertices [1,n] is called the principal part and denoted by (Q,W). Claire Amiot introduced the generalized cluster category C in[ami09] as the quotient category C = perγ/d fd Γ, where perγ is the perfect derived category of dg-modules Γ and D fd Γ its full subcategory whose objects have finite dimensional homology.

11 The natural functor π : perγ C gives us T i =π(e i Γ), 1 i m, T = T i. By Pierre-Guy Plamondon s work [Pla11b], the presentable cluster category D is defined as the full subcategory of C which consists of objects M such that there exist triangles M 1 M 0 M SM 1, M 0 M 1 S 1 M SM 0, with M 1,M 0,M 0,M 1 in addt, and S is the shift functor in C. Following [Pal08], we define the index and coindex of M as the following elements in K 0 (addt): Ind T M = [M 0 ] [M 1 ], Coind T M = [M 0 ] [M 1 ]. ItisnaturaltoidentifyK 0 (addt)withz m byusingtheindecomposable summands T i, 1 i m, of T as the natural basis elements. Then we have (2) Ind T M = [M 0 : T] [M 1 : T], Coind T M = [M 0 : T] [M 1 : T], where [ : T] denote the multiplicities of the indecomposable summands of T appearing in an element of K 0 (addt). Notice that Coind T M = Ind T S 1 M. Let F denote 1 the functor Ext 1 C (T, ) from D to the category of right modules of End C T. Then, similar to [Pal08, Lemma ], [Pla11b, Lemma 3.6, Notation 3.7], we have (3) Ind S 1T S 1 M +Ind T S 1 M = B dimext 1 C( 1 i n T i,s 1 M). Notice that themodule F(S 1 M) isalways supported on n-vertices the principalquiverend C ( 1 k n T k )whosedimensionisgivenbyext 1 C ( 1 i nt i,s 1 M). An object M in C is said to be coefficient-free if (i) it contains no direct summand T j for j > n, and (ii) the module FM is supported at the principal quiver Q. By[DWZ10] [Pla11b], we define the cluster characters for coefficientfree objects M in D as x M = x IndTM ( e N n χ(gr e FM)Y e ), where Gr e FM denotes the variety of the e-dimensional submodules of F M and χ the Euler-Poincaré characteristic. 1 Our functor F is the composition of S with the functor F in [Pla11b]. 11

12 12 FAN QIN By[Pla11b], thereexistsauniquewayofassociatinganobjectt(t) = 1 i m T i (t) in D with each seed t such that (1) T(t 0 ) = T, (2) if two vertices t and t are related by an edge labeled k, then the object T(t ) is obtained from T(t) by replacing one summand in a unique way. Theorem ([DWZ10][Pla11b][Nag13]). For any seed t and vertex 1 i m, the commutative cluster variable X i (t) q equals the cluster character x Ti (t) of the object T i (t) Calabi-Yau reduction. In this subsection, we assume that the Jacobian algebra of the quiver with potential ( Q, W) is finite dimensional. Consider the full subcategory of U consisting of the coefficientfree objects. Take the ideal (Γ F ) consisting of the morphisms factoring through some T j, j > n. Then, by [IY08][Pla13], U = U/(Γ F ) is equivalent to the generalized cluster category of (Q,W). For any coefficient-free object X, denote its image in U by X. Let Σ denote the shift functor in U/(T F ). Any given Σ d T k, 1 k n, d Z, has the lift Σ d T k by [IY08]. Define Σ d T = ( n k=1 Σd T k ) ( n<j m T j ). For any given 1 k n, by taking S 1 M = Σ 1 T k in (3), we get Ind S 1T Σ 1 T k +Ind T (Σ 1 T k ) = B(T) dimext 1 C ( 1 i nt i,σ 1 T k ). Lemma We have Ind S 1T Σ 1 T k = Ind Σ 1T T k. Proof. T k fits into a triangle of the following type ([Pla13, Lemma 3.15]): Σ 1 T k T F T k SΣ 1 T k, where T F is some direct sum of T j, j > n. Rewrite it as the triangle S 1 T F S 1 T k Σ 1 T k T F. Recall by (2) that Ind S 1T Σ 1 T k (resp.ind Σ 1T T k ) is defined as the multiplicities of the summands of S 1 T (resp. Σ 1 T) appearing in the isoclass of Σ 1 T k in K 0 (adds 1 T) (resp. K 0 (Σ 1 T)). Also, we have We deduce that S 1 T =( 1 i n S 1 T i ) ( n<j m S 1 T j ) Σ 1 T =( 1 i n Σ 1 T i ) ( n<j m T j ) Ind S 1T Σ 1 T k = [S 1 T k : S 1 T] [S 1 T F : S 1 T] = [Σ 1 T k : Σ 1 T] [T F : Σ 1 T] = Ind Σ 1T T k.

13 (4) The following equality follows as a consequence Ind T (Σ 1 T k )+ B(T) dimext 1 C( 1 i n T i,σ 1 T k ) = Ind Σ 1T T k. Notice that Ext 1 C (T,Σ 1 T k ) is the k-th projective right-module of the Jacobian algebra principal of(q, W). We will later discuss this equality in Example with more details. 3. Dominance order and pointed sets 3.1. Constructions. Let t be any vertex of the n-regular tree T n. Define the degree lattice D(t) to be Z m. Definition (Dominance order). For any given g, g D(t), we say g t g (or g dominates g ) if we have g = g + B(t)v for some 0 v N n. We denote g t g if g t g or g = g. Lemma For any g 1 t g 0, there exists finitely many g 2 such that g 1 t g 2 t g 0. Proof. Notice that B(t) is of full rank. The claim follows from definition. Recall that the quantum torus T (t) is the Laurent polynomial ring generated by X i (t),1 i m. Definition (Leading term). For any Laurent polynomial Z T (t), the leading terms are those Laurent monomials of Z such that, among all the Laurent monomials of Z with non-zero coefficients, they have maximal multidegrees with respect to the order t. Definition (Pointed element). If a Laurent polynomial Z T (t) has a unique leading term whose degree is η, we say its leading (or maximal) degree is deg t Z = η. If its leading degree has coefficient q α for some α 1 Z, we define the normalization of Z in the quantum 2 torus T (t) to be [Z] t = q α Z. We say Z is pointed at η (or η-pointed) if Z has a unique leading term, and this term has degree η with coefficient 1. For simplicity, we often denote deg t Z and [Z] t by degz and [Z] respectively when the context is clear. Definition (Pointed set). Let W be a subset of D(t). A subset L of T (t) is said to be pointed at W (or W-pointed) if it consists of pointed elements, and, if the map sending Z L to deg t Z D(t) is a bijection from L to W. We also use L t to denote the D(t)-pointed set L. For the element of L with leading degree g W, denote it by L( g;t), L t ( g), or simply L( g). It immediately follows from the definition that any pointed set is Z[q 1 2]-linearly independent. 13

14 14 FAN QIN Example By [Pla13], for any commutative cluster algebra studied in [GLS11], the dual semicanonical basis, after localization at the frozen variables, is a D(t)-pointed set for any seed t. Assume that we are given a collection of elements Z i in the quantum torus T (t) such that, at any Laurent monomial m, there are finitely many Z i with non-zero coefficient z i,m. Then we let the sum i Z i denote the element m ( i z i,m)m in the completion of the quantum torus T(t). Definition (Unitriangularity). Let L be a given W-pointed set, W D(t). Any pointedelementz T (t) is said to be t -unitriangular to L, if it has the following (possibly infinite) expansion into L: Z = L(degZ;t)+ (5) b g L( g ;t),b g Z[q ±1 2 ]. g tdegz If the coefficients b g are contained in m = q 1 2Z[q 1 2], we say Z is ( t,m)-unitriangular to L. A pointed subset of T (t) is said to be t -unitriangular (resp. ( t, m)-unitriangular) to L if all its elements have this property. We might write the notation t as or simply omit it, when this order is clear from the context. Remark It follows from Lemma that the coefficients b g in (5) are uniquely determined by Z. In fact, denote the coefficient of the Laurent expansion of Z at any given degree g t deg t Z by z g and that of L( g ) by a g, g. We must have the following equation: z g = 1 a deg t Z, g + g t g tdeg t Z b g a g, g +b g 1. It follows that the coefficient b g is determined by those b g appearing. By Lemma 3.1.2, this is a finite algorithm for any given g. In general, there could exist many infinite expansion of Z into L if we don t require them to take the unitriangular form (5). Lemma (Expansion properties). Let L be any D(t)-pointed subset of T(t). Let Z be any pointed element in T (t). Then the following statements are true. (i) Z is t -unitriangular to L. (ii) If Z and L are bar-invariant and Z is ( t,m)-unitriangular to L, then Z equals L(degZ;t). (iii) If Z a Z[q ±1 2]-linear combination of finitely many elements of L, then such a combination is unique and takes the unitriangular form (5). Proof. (i)(ii) The statements are obvious. (iii) Suppose that some L t (η), η D(t), appears in the expansion of Z into L with non-zero coefficient b(η), such that η t deg t Z. Because

15 the expansion is finite, we can always find a degree η such that it is maximal among those having this property. Then the coefficient of X(t) η of Z equals b(η) 0. But the coefficient of this Laurent monomial in the pointed element Z must vanish. This contradiction shows that such η cannot exist. Lemma (Inverse transition). Let M, L be any two D(t)-pointed subsets of T (t). If M is ( t,m)-unitriangular to L, then L is ( t,m)- unitriangular to M as well. Proof. For any g D(t), let us denote M( g;t) = L( g;t)+ c g, g 1L( g 1 ;t), c g, g 1 m, g 1 t g L( g;t) = M( g;t)+ g 1 t g b g, g 1M( g 1 ;t). Expand RHS of the second equation by using the first equation. Then the coefficient of any factor L( g 2 ;t), g 2 t g, appearing in RHS is the following three terms sum c g, g 2 +b g, g 2 + g 2 t g 1 t g b g, g 1c g 1, g 2, which must vanish. We verify the claim by induction on the order of the degrees g 2 such that g 2 t g. If g 2 is maximal among such degrees, the last term vanishes and we have b g, g 2 m. Assume b g,( g 2 ) m for any ( g 2 ) such that g 2 t ( g 2 ). Then the first and last term belong to m. Consequently, b g, g 2 m belong to m as well Tropical transformation. Definition (Tropical transformation, [FG09][FZ07, (7.18)]). For any 1 k n, we consider the piecewise linear map φ µk t,t : D(t) D(µ k t), such that any given degree g = ( g j ) 1 j m D(t) has the image g = ( g j ) 1 j m = φ µk t,t( g) with the following components 15 (6) g k = g k, g i = g i +b ik (t)[ g k ] +, if 1 i m, i k, b ik 0, g j = g j b kj (t)[ g k ] +, if 1 j m, j k, b kj 0. Remark The piecewise linear map (6) is the tropicalization of the rule [FG09, (13)]. It describes the mutation of the tropical Z- points X(Z m ) = D(t) of the X-variety (the variety of the tropical Y-variables for the cluster algebra defined via B(t) T ). Fock and Goncharov conjectured that these tropical points parametrize a canonical basis, [FG06][FG09, Section 5].

16 16 FAN QIN On the cluster algebra side, Fomin and Zelevinsky wrote this transformation in [FZ07, (7.18)] and conjectured that it describes the transformation of the g-vectors of cluster variables. When the cluster algebra admits a categorification by a cluster category, this formula (6) can be interpreted as the transformation rule of the indices of object in the cluster category, cf. [DK07][KY11][Pla13]. We refer the reader to [FZ07, Remark 7.15] [Pla13, Section 3.5] [FG09]for more details. The following observation is obvious. Lemma (Sign coherent transformation). Assume that two vectors η 1, η 2 in D(t) are sign coherent at the k-th component, namely, we have simultaneously ηk 1,η2 k 0 or η1 k,η2 k 0. the tropical transformation (6) is additive on them: φ µk t,tη 1 +φ µk t,tη 2 = φ µk t,t(η 1 +η 2 ). We shall keep the following assumption throughout this paper, which is known to be true for cluster algebras arising from quivers, including type (i)(ii) in the introduction, cf. Remark Assumption 1 (Categorification). The combinatorics of the quantum cluster algebra A can be categorified. More precisely, there is a category C satisfying the following properties. (i) The cluster variables X i (t), 1 i m, t T n, correspond to objects M i (t) in C. (ii) Given any two seeds t 1,t 2 and any mutation sequence from t 1 to t 2, we define φ t 2,t1 to be the composition of the transformations (6) along this sequence. Then φ t 2,t1 is independent of the choice of the sequence. Moreover, there exists an index map Ind t from M i (t) to Z m for every seed t, such that the indices of the objects M i (t), t T n, are related by the map φ t 2,t 1: (7) Ind t2 (M i (t)) = φ t 2,t 1Indt1 (M i (t)). (iii) In any quantum torus T (t 0 ), the cluster variables X i (t) has the following Laurent expansion X i (t) = X(t 0 ) Indt 0M i (t) (1+ 2 )Y(t0 ) v ), 0 v N n c v (q 1 where the coefficients c v (q 1 2) Z[q ±1 2]. In particular, Ind t 0 M i (t) equals deg t 0 X i (t). (iv) The quantization matrices satisfy, for any t,t 0 T n, Λ t ij = Λt 0 (ind t 0 M i (t),ind t 0 M j (t)). Remark When the cluster algebra arises from a quiver (equivalently, B(t) is skew-symmetric), Assumption 1 is known to hold where the categorification is provided by the (generalized) cluster category in

17 Section 2.2. In this situation, Condition (i) is verified by [KY11, Theorem 3.2][Pla11a], Condition (iii) by [Pla11b, Theorem 3.12], Condition (ii) by [Pla13, Theorem 1.1, 1.3]. By translating (6) into multiplication by E ǫ in Definition 2.1.3, we see that the last condition can be deduced from the sign coherence of g-vectors. This condition implies that the quantization matrices Λ(t) lift to a bilinear form λ on categories, cf. [Qin12, Proposition 2.4.3(bilinear form)]. Letpr n : Z m Z n denotetheprojectionontothefirstn-components. For any g in D(t), we denote the projection pr n g by g. Define pr f : Z m Z m to be the projection onto the last m n components. As the coefficient-free version of the piecewise linear map φ t,t, we have the following restriction map. Lemma The restriction pr n φ t,t Z n : Z n Z n is a bijection of sets. Proof. It suffices to verify the statement for the case t = µ k t, where we have (pr n φ t,t)(pr n φ t,t ) = 1. We are interested in the pointed sets whose leading degree parametrization is compatible with the tropical transformation rules. Definition (Compatible pointed sets). Let t 1,t 2 be two seeds. Let L t1 be a D(t 1 )-pointed set and L t2 a D(t 2 )-pointed set. We say L t1 is compatible with L t2 if, for any η D(t 1 ), we have L(φ t 2,t 1η;t2 ) = L(η;t 1 ). By Assumption 1(ii), this compatibility relation is reflexive and transitive Dominant degrees. We introduce the following cone. Definition (Dominant degree cone). For any given seed t, define the dominant degree cone D (t) D(t) to be the cone generated by the leading degrees of all cluster variables deg t (X i (t )), for any 1 i m and t T n. Its elements are called the dominant degrees of the lattice D(t). By (7) in Assumption 1, we have D (t) = φ t,t0 D (t 0 ), t,t 0 T n. The following observation is obvious. Lemma Let Z be any element in A. Then, for any seed t, the t -maximal degrees of the Laurent expansionof Z in T (t) are contained in D (t). 17

18 18 FAN QIN Definition (Bounded from below). We say that ( t,d (t)) is bounded from below if for any g D (t), there exists finitely many g D (t) such that g t g. Remark When A is of type (i) or (ii) in the sense of Section 8, take the canonical initial seed t 0. In Section 9.1, we shall see that ( t0,d (t 0 )) is bounded from below. The following question arises naturally. While a positive answer would be a strong and useful property, the author has no idea how to solve this problem. Question If ( t0,d (t 0 )) is bounded from below, is it true that ( t,d (t)) is bounded from below for all t T n? 4. Correction technique In [Qin14, Section 9], the author introduced the correction technique which tells us how to modify bases data by adding correction terms when the quantization and the coefficient pattern of a quantum cluster algebra change. In this section, we recall and reformulate this correction technique. It will help us simplify many arguments by coefficient changes Similarity and variation. Let var be any isomorphism of finite n-elements sets var : ex (2) ex (1). We associate to it an isomorphism var of the lattices var : Z ex(1) Z ex(2) such that we have (varv) k = v var (k), v = (v k ) Z ex(1). Let B (i) = (b (i) jk ) be an I(i) ex (i) matrix, i = 1,2, where I (i) has m (i) elements and ex (i) I (i) has n elements. The matrices B (1) (2) and B are called similar, if there exists an isomorphism var : ex (2) ex (1) such that the matrix entries satisfy b (2) jk = b(1) var (j)var (k), j,k ex(2). In this case, we denote the principal part B (2) as varb (1). Example Take I (i) = ex (i) = {1,2,3}, where ( i = 1,2. ) Define the map var : ex (2) ex (1) as the permutation. Define the matrices B (1) = and B (2) = Then we have B (2) = varb (1). We denote by pr ex (i) : Z I(i) Z ex(i) the natural projection onto the coordinates at ex (i). For any given full rank matrices B (i), i = 1,2, consider the Laurent polynomial rings T (i) = Z[X ± j ] j I (i). For any k ex(i), define the k-th Y-variable Y (i) k = j I (i) (X j ) b(i) jk.

19 Consider the pointed elements M (i) = X η(i) ( v Nex(i) c(i) v (Y (i) ) v ), i = 1,2, η (i) Z m(i), c (i) 0 = 1, c (i) v Z. M (1) and M (2) are called similar, if we have pr ex (2) η (2) = var(pr ex (1) η (1) ), c (2) v = c (1) var 1 v, v Nex(2). Assume that there is an embedding from I (1) to I (2) such that its restriction induces an isomorphism var : ex (2) ex (1). Then we can naturally embed Z I(1) into Z I(2) by adding 0 on the extra coordinate. Denote this embedding by var. By abuse of notation, define the variation map var to be the map from the set of pointed elements in T (1) to that of T (2) such that, for any pointed element M (1), itsimage isthe unique pointed element M (2) which is similar to M (1) and satisfies varη (1) = η (2). Now, let us take into account of quantization. Definition (Similarcompatiblepair). For i = 1,2, let ( B (i),λ (i) ) be compatible pairs such that ( B (i) ) T Λ (i) = D (i) 0, where D (i) is a diagonal matrix Diag(d (i) k ) k ex with diagonal entries in Z >0. We say (i) these two compatible pairs are similar, if there exists an isomorphism var : ex (2) ex (1), such that the principal B-matrices B (2) = varb (1), and, in addition, there exists a positive integer δ such that D (2) = δvard (1). For i = 1,2, consider the quantum torus T (i) = Z[q ±1 2][X ± j ] j I (i) associated with similar compatible pairs ( B (i),λ (i) ). Definition (Similar pointed elements). We say the pointed elements M (i) = X η(i) ( v Nex(i) c(i) v (q 1 2)(Y (i) ) v ), c 0 = 1, c (i) v (q 1 2) Z[q 2], 1 in T (i) are similar if pr ex (2) η (2) = var(pr ex (1) η (1) ), c (2) v (q 1 2 ) = c (1) var 1 v (q 1 2 δ ), v N ex(2). Definition (variation map). Let the embedding I (1) I (2) be given as before. The variation map var is the injective application from the set of the pointed elements of T (1) to that of T (2) sending any pointed element M (1) to the unique similar pointed element M (2) subject to var(η (1) ) = η (2). 19

20 20 FAN QIN Example Let us take two quantum seeds t (1) 0, t(2) 0 with the following two compatible pairs respectively (B (1),Λ (1) ) = ( (B (2),Λ (2) ) = ( ,, ) ) These compatible pairs are similar via the identification of vertices var (i) = (i), i = 1,2. The following quantum cluster variables obtained by the same mutation sequence are similar: X 2 (µ 2 µ 1 t (1) 0 ) = X e 2 (1+Y 2 +(q 1 2 +q 1 2 )Y1 Y 2 +Y 2 1Y 2 ) T (t (1) ) X 2 (µ 2 µ 1 t (2) 0 ) = X e 2+e 4 (1+Y 2 +(q 1 2 +q 1 2 )Y1 Y 2 +Y 2 1 Y 2 ) T (t (2) ) The variation map var would send X 2 (µ 2 µ 1 t (1) 0 ) to the similar element X e 2 (1+Y 2 +(q 1 2 +q 1 2)Y 1 Y 2 +Y1 2 Y 2 ) T (t (2) ) Correction. We consider algebraic equations involving the pointed elements. Fix two compatible pairs ( B (i),λ (i) ), i = 1,2. As in the previous discussion, assume that there is an embedding from I (1) to I (2) whose restriction induces an isomorphism var : ex (2) ex (1), such that B (2) = varb (1) and D (2) = δvard (1). Let [ ] (i) denote the normalization in the quantum torus T (i) and deg (i) ( ) denote the leading degree of a pointed element in T (i). Then [Qin14, Thm 9.2] can be reformulated as follows. Theorem ([Qin14]). Fix an integer s 1. Assume that we have equations (8) P =[M 1 M 2 M s ] (1), Q = j 0 c j (q 1 2 )Nj. for pointed elements P, Q, M i and (possibly infinitely many) N j in the quantum torus T (1), such that c 0 = 1, c j (q 1 2) Z[q ±1 2], and deg (1) N j = deg (1) Q+ B (1) u j, where u j N ex(1),u 0 = 0.

21 Then, for any P (2),Q (2),M (2) i,n (2) j in T (2) similar to P,Q,M i,n j, we have the following equations in T (2) : (9) P (2) =f M [M (2) 1 M (2) 2 M (2) s ] (2) Q (2) = j 0 c j (q 1 2 δ )f j N (2) j where f M, f j are the Laurent monomials in the frozen variables X i, n < i m (2), given by s f M = deg (2) P (2) deg (2) M (2) i i=1 f j = X deg(2) Q (2) + B (2) var(u j ) deg (2) N (2) j. In particular, if P (2),Q (2),M (2) i,n (2) j are given by image of the variation map in Definition 4.1.4, we have f M = 1, f j = X B (2) var(u j ) var( B (1) u j ). Proof. We consider Laurent expansions of (8) (9) and compare their coefficients term by term. Details are given in [Qin14, Theorem 9.2]. The following observations are immediate consequences of the correction technique and the existence of (quantum) F-polynomials [Tra11, Theorem 5.3] [FZ07, Corollary 6.3]. Lemma Let t,t be two given seeds (probably associated with different quantum cluster algebras). Assume that ( B(t),Λ(t)) is similar to ( B(t ),λ(t )) via the variation map var. Let µ = µ var (i r) µ var (i 1 ), r N, be any given sequence of mutations on ex (1) and var µ = µ ir µ i1 the corresponding sequence on ex (2). Then we have the following results. (i) ( B( µt),λ( µt)) is similar to ( B((var µ)t ),λ((var µ)t )) via var. (ii) Assume that B(t) is skew-symmetric. Let var denote the new variation maps from T ( µt) to T(var µt ). Then the quantum cluster variable var X var i r ( µt) and X ir ((var µ)t ) are similar when they are viewed as Laurent polynomials in T(t) and T (t ) respectively. (iii) Assume that B(t) is skew-symmetric. Let Z be any given pointed element in the quantum torus T (t). Assume that it has a (possibly infinite) unitriangular expansion Z = j 0 c j N j, where N j are normalized twisted products of quantum cluster variables of A(t), c 0 = 1, deg t N 0 = det t Z, and c j m, deg t N j t deg t N 0 if 21

22 22 FAN QIN j > 0. Then, for any element Z T (t ) similar to Z, we have Z = j 0 c j f j N j, where N j are normalized products of the quantum cluster variables of A(t ) associated with the same mutation sequences, the coefficients f j are given by Theorem Injective pointed sets 5.1. Injective-reachable. A seed t of a given cluster algebra (t is the abbreviation of the seed ( B(t),Λ(t),X(t)), cf. Section 2.1) is said to be injective-reachable via (Σ, σ), for some sequence of mutations Σ and a permutation σ of {1,...,n}, if we have the following equalities pr n deg t (X σ(i) (Σt)) = e i, 1 i n, b σ(i)σ(j) (Σt) = b ij (t), 1 i,j n. Let us denote X σ(i) (Σt) by I i (t) and call it an injective quantum cluster variable for t (or simply an injective for t). The meaning of injective will be explained in Remark We trivially extend the action of σ to a permutation of {1,...,m}. Let σ act naturally on Z m by pull back such that σe i = e σ 1 i. Recall that we always read mutation sequences µ is µ i2 µ i1 from right to left in this paper, which we also denote by (i s,...,i 2,i 1 ) for simplicity. We make the following assumptions for the rest of this paper. Assumption 2. The cluster algebra contains an injective-reachable seed. Assumption 2 does not hold for all cluster algebras, but it holds for many interesting cluster algebras including the type (i)(ii) introduced in Section 1.2. Assumption 3. If t is injective-reachable via (Σ,σ), then for any 1 k n, the vertex t = µ k t is injective-reachable via (µ σ(k) Σµ k,σ). It is well known that Assumption 3 holds for any cluster algebra arising from a quiver, thanks to the cluster categories provided in [Pla11b]. By the mutation of scattering diagrams in the recent work [GHKK14], we now know that Assumption 3 holds for all cluster algebras. Lemma If t is injective-reachable via (Σ,σ), then for any sequence of mutations µ k = µ ks...µ k2 µ k1, 1 k 1,...,k s n, the vertex t = µ k t is injective-reachable via (µ σ(k) Σµ 1 k,σ), where µ σ(k) is defined to be µ σ(ks)...µ σ(k2 )µ σ(k1 ). Definition (Injective-reachable cluster algebra). A cluster algebra is called injective-reachable if all its seeds are injective-reachable.

23 Proposition Assumption 3 is equivalent to the claim that, for any 1 k n, we have (10) deg t I k (t ) = deg t I k (t)+ [b ik (t)] + deg t I i (t)+ 1 i n 0<j m n 23 [b n+j,σk (Σt)] + e n+j Proof. First assume that (10) holds. Omitting the symbol (t), we can write pr n deg t I k (t ) = e k + ( b ik )e i. 1 i n:b ik 0 And Assumption 3 follows from the following straightforward calculation: pr n deg µ kt I k (t ) =pr n φ µk t,tdeg t I k (t ) =pr n φ µk t,tpr n deg t I k (t ) =pr n (φ µk t,te k +φ µk t,t =pr n ( e k + = e k. 1 i m:b ik 0 1 i n:b ik 0 b ik e i + ( b ik )e i ) 1 i n:b ik 0 ( b ik )e i ) Conversely, assume that Assumption 3 is true. Because the map pr n φ t,t is invertible on Z n, the above calculation implies we must have (11) pr n deg t I k (t ) = pr n ( deg t I k (t)+ [b ik ] + deg t I i (t)). 1 i n On the other hand, consider the exchange rule in the seed Σt: 1 i m X σk (µ σk Σt) = X i(σt) [b i,σk(σt)] j m X j(σt) [b σk,j(σt)] +. X σk (Σt) View this equation in T (t), by which we mean consider the Laurent expansions of all terms of the equation in the quantum torus T (t). Because X σk (µ σk Σt) is a pointed element whose unique leading term has coefficient 1, its leading degree must be chosen from either deg t ( X i (Σt) [b i,σk(σt)] + ) deg t X σk (Σt) or 1 i m deg t ( 1 j m X j (Σt) [b σk,j(σt)] + ) deg t X σk (Σt). Their images in Z n under the projection pr n are different except the trivial case when σk is an isolated point in Q(Σt). (11) implies that we should choose the former one. This choice gives us (10).

24 24 FAN QIN Remark Notice that the definition of injective-reachable is not affected by quantization or frozen variables. Assumption 3 holds true, if the cluster algebra defined on the principal part B(t) admits an appropriate categorification. When B(t) is skew-symmetric, such a categorification has been established by (generalized) cluster categories [Ami09][Pla11b], cf. Section 2.2. For cluster algebras of type (i), a different categorification via Frobenius category is available, and a verification of Assumption 3 is written in [GLS11, Proposition 13.4]. Let us impose the principal coefficients on t, namely ( ) B(t) B(t) = Id n cf. [FZ07]. We can calculate the leading degrees of the cluster variables appearing in the assumption, following the mutation rule of (extended) g-vectors [FZ07, (6.12)][Tra11, (3.32)]. As a consequence, Assumption 3 is equivalent to the claim that the matrix B(Σt) satisfies b n+σ(i),σ(j) (Σt) = δ ij, 1 i,j n. We denote X i (t) by P σi (Σt) and call it a projective quantum cluster variable for Σt (or simply a projective for Σt). We make the following assumption on the Laurent expansions of I i (t) and P σi (Σt) for the rest of this paper. Its meaning will be clear in Remark Recall that σ 1 e i = e σi, 1 i m. The following assumption holds for all cluster algebras arising from quivers, cf. Remark We refer the reader to Example for an explicit example. Assumption 4 (Cluster expansions). Take any seed t and vertex 1 i n. When q 1 2 specializes to 1, the Laurent expansion of I i (t) q in T (t) takes the following form: (12) I i (t) q = X σi (Σt) q = X(t) degt I i (t) (1+Y(t) e i + d N n :d>e i α d Y(t) d ), and the Laurent expansion of P i (t) q in T(t) takes the following form: (13) P i (Σt) 1 q 2 1 =X σ 1 i(t) 1 q 2 1 =X(Σt) degσt P i (Σt) Y(Σt) p(i,σt) ( β d Y(Σt) d +Y(Σt) e i +1), d N n :e i <d p(i,σt) for some dimension vector p(i,σt) N n, coefficients α d,β d Z.