arXiv:1702.01221v2 [math.RA] 21 Nov 2017 (1) { etr . ntecs that case the in 1.1 jecture 12]. [11, in methods the Σ ento 1.2. Definition affirma method vers an same weak gives the the using which discuss algebra 2.5 we cluster Theorem 3, sign-skew-symmetric Section totally i.e. In result, case. main skew-symmetrizable the in give we 2, Section egv naraint ojcue11bsdo h atta h p the that fact the on based of 1.1 sign-coherence Conjecture to affirmation an give we ojcue1.1. Conjecture that algebra. suiul eemndby determined uniquely is tively, hr the where insi oesne ssoni [10], in shown As sense. some in cients 1 t , 0 ojcue11i rei case in true is 1.1 Conjecture Date nti ae,bsdo oefnaetlntosadmtos w methods, and notions fundamental some on based paper, this In hsppri raie sflos nti eto,sm ai definitio basic some section, this In follows. as organized is paper This Let lse lerswt rnia offiinsaeipratresearch important are coefficients principal with algebras Cluster 2 o a at say (or , · · · G-matrices A eso fNvme 2 2017. 22, November of version : htec edΣ seed each that Abstract. h ojcuei hsgnrlcase. to general as this so in case conjecture sign-skew-symmetric the the in given is discussion n eeisyi 4 sacnetr.Orpofi ae nth on based is proof of Our sign-coherence conjecture. and a variables as [4] in Zelevinsky and t n , g 0 c OJCUEON CONJECTURE A vcosadterelated the and -vectors vcos(respectively, -vectors ease-ymtial lse ler ihpicplcecet a coefficients principal with algebra cluster skew-symmetrizable a be } sthe is t 0 ), c Let Cnetr . of 4.7 (Conjecture vcoshl for hold -vectors o kwsmerzbecutralgebra cluster skew-symmetrizable a For Σ ( facutragbawt rnia offiins n[] h authors the [4], In coefficients. principal with algebra cluster a of ) a m t ij ′ ( = A t + = of ean be n X    A C ) EGNCOMNHAGFN LI FANG HUANG MIN CAO PEIGEN t B t t a − × , 0 where , ij B t ˜ a 1. suiul eemndb its by determined uniquely is 0 n t ij + ( ) sskew-symmetrizable. is m nrdcinadpreliminaries and Introduction A g i , ease of seed a be a vcos r enda h ounvcosof vectors column the as defined are -vectors) ik t + c 0 c A vcosaeitoue odsrb lse aibe n coeffi- and variables cluster describe to introduced are -vectors [ C vcoshl for hold -vectors − [4] so nt ye[3,adi h kwsmerccs 7 using [7] case skew-symmetric the in and [13], type finite of is n t C t 0 a ) hc a culyvrfidi [5]. in verified actually was which , µ stelwrpr of part lower the is MTIE FCUTRALGEBRAS CLUSTER OF -MATRICES kj c Let ) × k vcosand -vectors ] ( + n A [ + ( = ) nee arx h uainof mutation The matrix. integer A A t a t 0 0 ik 1 a bandfrom obtained etecutragbawt rnia offiinsat coefficients principal with algebra cluster the be ] ij ′ + A ) a t satisfying , A 0 kj g hc a culyvrfidi 5.More [5]. in verified actually was which , t C-matrix vcosaecoeyrltdwt ahother, each with related closely are -vectors 0 otherwise, , ihpicplcecet at coefficients principal with banacnlso swa eso of version weak as conclusion a obtain B ˜ = t atta h oiiiyo cluster of positivity the that fact e = k Σ hc a rpsdb Fomin by proposed was which ,

or t 0 B C o fCnetr . o acyclic for 1.1 Conjecture of ion stvt fcutrvralsand variables cluster of ositivity nScin2. Section in yieae uain.Then mutations. iterated by j t t bet nteter fcluster of theory the in objects ! iea ffimto oCon- to affirmation an give e = . k ; saeitoue.In introduced. are ns int ojcue1.1 Conjecture to tion C-matrices A t t 0 t ndirection in 0 eprove we , nti paper, this In . conjectured (respec- k Σ ∈ t 2 PEIGENCAO MINHUANG FANGLI where [a]+ = max{a, 0} for any a ∈ R.

Recall that an n × n B = (bij ) is called sign-skew-symmetric if bij bji < 0 or bij = bji = 0 for any i, j =1, 2, ··· ,n. A sign-skew-symmetric B is totally sign-skew-symmetric if any matrix B′ obtained from B by a sequence of mutations is sign-skew-symmetric.

An n × n integer matrix B = (bij ) is called skew-symmetrizable if there is a positive integer S such that SB is skew-symmetric, where S is said to be the skew-symmetrizer of B. It is well-known that skew-symmetry, skew-symmetrizability are invariant under mutation, thus skew-symmetrizable integer matrices are always totally sign-skew-symmetric. For a sign-skew- B, we can encode the sign pattern of entries of B by the directed graph Γ(B) with the vertices 1, 2, ··· ,n and the directed edges (i, j) for bij > 0. A sign- skew-symmetric matrix B is called acyclic if Γ(B) has no oriented cycles. As shown in [6], an acyclic sign-skew-symmetric integer matrix B is always totally sign-skew-symmetric. Bn×n Let B˜ = = (˜bij ) be an (m + n) × n integer matrix such that B is totally sign- Cm×n! skew-symmetric. B˜ is said to be skew-symmetric, skew-symmetrizable, (totally) sign-skew- symmetric respectively if so is B.

Definition 1.3. Let F be the field of rational functions in m + n independent variables with coeffi- cients Q. A (labeled) seed Σ in F is a pair (X, B˜), where B (i) B˜ = is given as above, called an extended exchange matrix. The n × n submatrix B C! is called an exchange matrix, the m × n submatrix C is called a coefficients matrix.

(ii) X = (x1, ··· , xm+n) is a (m + n)-tuple, called an extended cluster with x1, ··· , xm+n forming a free generating set of F. x1, ··· , xn are called cluster variables and xn+1, ··· , xm+n are called frozen variables. Sometimes we also write frozen variables as y1, ··· ,ym in this paper, i.e. xn+i = yi for i =1, ··· ,m.

Definition 1.4. Let k ∈{1, 2, ··· ,n}. The mutation of the seed Σ = (X, B˜) in the direction k is the seed Σ′ = (X′, B˜′) where m+n ˜ m+n ˜ ′ ′ ′ ′ ′ [bik ]+ [−bik]+ (i) X = (x1, ··· , xm+n) with xi = xi if i 6= k and xkxk = xi + xi . i=1 i=1 ˜′ ˜′ (ii) B = (bij ) is defined by Q Q

−˜b , i = k or j = k; ˜′ ij (2) bij = ˜b + ˜b [−˜b ] + [˜b ] ˜b , otherwise.  ij ik kj + ik + kj ′ We write Σ = µk(Σ), where µk is called the mutation map in k.

It can be seen that mutation map is always an involution, i.e. µkµk(Σ) = Σ.

Definition 1.5. The cluster algebra A(Σ) is the Z[y1, ··· ,ym]-subalgebra of F generated by all cluster variables obtained from the seed Σ = (X, B˜) by iterated mutations. Σ is called an initial seed of A(Σ).

A cluster algebra is called acyclic if it admits an acyclic exchange matrix. B Denote by In an n × n . If B˜ = , then A(Σ) is called the cluster algebra with In! principal coefficients at Σ. In this case, m = n. A CONJECTURE ON C-MATRICES OF CLUSTER ALGEBRAS 3

Definition 1.6. ([8]) A cluster pattern M in F is an assignment for each seed Σt to a vertex t of k ′ the n-regular tree Tn, such that for any edge t t , Σt′ = µk(Σt). The pair of Σt are written as B ˜ ˜ t t t Σt = (Xt, Bt) with Xt = (x1;t, ··· , xm+n;t), Bt = , where Bt = (bij ), Ct = (cij ), xn+i;t = yi Ct! for i =1, 2, ··· , m.

Let At0 be the cluster algebra with principal coefficients at Σt0 (or say at t0), the authors in [4] Zn Z ±1 ±1 introduced a -grading of [x1;t0 , ··· , xn;t0 ,y1, ··· ,yn] as follows:

deg(xi;t0 )= ei, deg(yj )= −bj, where ei is the i-th column vector of In, and bj is the j-th column vector of Bt0 , i, j =1, 2, ··· ,n. n As shown in [4] every cluster variable xi;t of At0 is homogeneous with respect to this Z -grading. n The g-vector of a cluster variable xi;t is defined to be its degree with respect to the Z -grading and t t t ⊤ n we write deg(xi;t) = (g1i, g2i, ··· , gni) ∈ Z . Let Xt be a cluster of At0 . We call the matrix Gt = (deg(x1;t), ··· ,deg(xn;t)) the G-matrix of the cluster Xt. And Ct is called the C-matrix of

Σt, whose column vectors are called c-vectors (see [4]).

Proposition 1.7. Let At0 be a cluster algebra with principal coefficients at t0, Σt be a seed of At0 and Σt′ = µk(Σ), then t t′ −cij , j = k; (i) cij = ct + bt [−bt ] + [ct ] bt , otherwise.  ij ik kj + ik + kj t ′ g , j 6= k;  t ij (ii) (Proposition 6.6, [4]) gij = −gt + n gt [bt ] − n −bt0 [ct ], j = k.  ik l=1 il lk + l=1 il lk Proof. (i) It can be obtained from the equalityP (2). P 

Let At0 be the cluster algebra with principal coefficients at t0, each cluster variable xi;t can be t0 t0 expressed as a rational function Xi;t ∈ Q(x1;t0 , ··· , xn;t0 ,y1, ··· ,yn). Xi;t is called the X-function of cluster variable xi;t.

F x F t0 Xt0 Z y , ,y Definition 1.8. The -polynomial of i;t is defined by i;t = i;t|x1;t0 =···xn;t0 =1 ∈ [ 1 ··· m]. A vector c ∈ Zn is called sign-coherent ([4]) if any two nonzero entries of c have the same sign.

Proposition 1.9. ([4, 5]) Let At0 be a cluster algebra with principal coefficients at t0, xi;t be a cluster variable of At0 , then n t n t g b 0 x x ji F t0 y , , y y y x ik k , , ,n (i) i;t = j;t0 i;t|F (ˆ1;t0 ··· ˆn;t0 ), where ˆk;t0 = k i;t0 for ∈{1 2 ··· }. j=1 ! i=1 (ii) The followingQ are equivalent: Q

(a) The column vectors of Ct are sign-coherent; (b) Each F -polynomial has constant term 1; (c) Each F -polynomial has a unique monomial of maximal degree, which has coefficient 1 and is divisible by all of other occurring monomials.

2. Affirmation of Conjecture 1.1 in skew-symmetrizable case

In this section, we give an affirmation to Conjecture 1.1 (see Theorem 2.5) in the skew-symmetrizable case depending on the results in [5], that is, Theorem 2.1 and Proposition 2.2 below. 4 PEIGENCAO MINHUANG FANGLI

Theorem 2.1. (Positivity of Laurent Phenomenon, [5]) Any cluster variable xi;t can be expressed Z ±1 ±1 as a Laurent polynomial in ≥0[y1, ··· ,ym][x1;t0 , ··· , xn;t0 ] in a skew-symmetrizable cluster algebra

A(Σt0 ) with initial seed Σt0 .

Proposition 2.2. ([5]) Let At0 be a skew-symmetrizable cluster algebra with principal coefficients at t0, xi;t be a cluster variable of At0 , then the column vectors of Ct are sign-coherent.

Proposition 2.3. ([1, 10, 9]) Let At0 be a skew-symmetrizable cluster algebra with principal co- −1 ⊤ −1 efficients t0 and with skew-symmetrizer S, Σt be a seed of At0 , then GtBtS Gt = Bt0 S and −1 ⊤ SCtS Gt = In and det(Gt)= ±1. ˜ Lemma 2.4. Let At0 be a cluster algebra with principal coefficients at t0, Σt = (Xt, Bt) be a seed of At0 . If Gt = In, then Σt =Σt0 .

Proof. By Proposition 2.3 and Gt = In = Gt0 , we obtain Bt = Bt0 and Ct = In. So we can also view At0 as a cluster algebra with principal coefficients at t. Let Σt1 be a seed of At0 , the C-matrix ˜ of Σt1 is always the lower part of Bt1 , no matter which seed (Σt0 or Σt) is chosen as initial seed. By

Proposition 2.3 again, we know the G-matrices of Σt1 with respect to Σt0 and Σt are the same. By Proposition 1.9 (i), we know n n bt0 bt0 x x F t0 y x l1 , ,y x ln , (3) i;t = i;t0 i;t( 1 l;t0 ··· n l;t0 ) l l Y=1 Y=1 by viewing Σt0 as an initial seed and n n t t t bl1 bln (4) xj;t0 = xj;tFj;t0 (y1 xl;t , ··· ,yn xl;t ), l l Y=1 Y=1 by viewing Σt as an initial seed for i, j ∈{1, 2, ··· ,n}. Replacing x1;t0 , ··· , xn;t0 in (3) with the ones in (4), we obtain n n bt bt x x F t y x l1 , ,y x ln i;t = i;t i;t0 ( 1 l;t ··· n l;t ) · l=1 l=1 n n n n n n t t t0 t t t0 t0 t Q bk1 Q bkn b t bk1 bkn b F y x F y x , ,y x l1 , ,y x F y x , ,y x ln , i;t 1 ( l;t l;t0 ( 1 k;t ··· n k;t )) ··· n ( l;t l;t0 ( 1 k;t ··· n k;t ))  l=1 k=1 k=1 l=1 k=1 k=1  which impliesQ that Q Q Q Q Q n n bt bt F t y x l1 , ,y x ln 1= i;t0 ( 1 l;t ··· n l;t ) · l=1 l=1 n n n n n n t t t0 t t t0 t0 Qt bk1Q bkn b t bk1 bkn b F y x F y x , ,y x l1 , ,y x F y x , ,y x ln , i;t 1 ( l;t l;t0 ( 1 k;t ··· n k;t )) ··· n ( l;t l;t0 ( 1 k;t ··· n k;t ))  l=1 k=1 k=1 l=1 k=1 k=1  Take xQ1;t = x2;t = ···Q= xn;t = 1 in theQ above equality, thenQ we have Q Q n n t0 t0 t t0 t bl1 t bln (5) 1= Fi;t0 (y1, ··· ,yn) · Fi;t y1 (Fl;t0 (y1, ··· ,yn)) , ··· ,yn (Fl;t0 (y1, ··· ,yn) , l l ! Y=1 Y=1 t0 t Z By Theorem 2.1 and the definition of F -polynomial, we have Fj;t, Fj;t0 ∈ ≥0[y1, ··· ,yn]. Then n t0 t b hj we know each yj (F (y , ··· ,yn)) lj has the form of , where hj,gj ∈ Z≥ [y , ··· ,yn], j = j;t0 1 gj 0 1 l=1 t0 t0 1, ··· ,n. We claimQ that Fi;t(y1, ··· ,yn)=1. If Fi;t(y1, ··· ,yn) 6= 1, then by Proposition 2.2 and t0 k1i k2i kni Proposition 1.9 (ii), we can assume Fi;t = y1 y2 ··· yn +ui(y1, ··· ,yn)+1, where (k1i, ··· , kni) 6= k1i k2i kni 0, ui ∈ Z≥0[y1, ··· ,yn] and each monomial in ui is a factor of y1 y2 ··· yn . And we assume t Z Fi;t0 = wi(y1, ··· ,yn)+1, where wi ∈ ≥0[y1, ··· ,yn]. Then the equality (5) has the form of

h hn h hn 1 = (w + 1) ( 1 )k1i ··· ( )kni + u ( 1 , ··· , )+1 , i g g i g g  1 n 1 n  A CONJECTURE ON C-MATRICES OF CLUSTER ALGEBRAS 5 thus gk1i gk2i ··· gkni = (w + 1)(hk1i ··· hkni + gk1i ··· gkni u ( h1 , ··· , hn )+ gk1i ··· gkni ). 1 2 n i 1 n 1 n i g1 gn 1 n We obtain that

h hn 0 = w hk1i ··· hkni + gk1i gk2i ··· gkni u ( 1 , ··· , )+ gk1i ··· gkni + i 1 n 1 2 n i g g 1 n  1 n  h hn (6) hk1i ··· hkni + gk1i gk2i ··· gkni u ( 1 , ··· , ) . 1 n 1 2 n i g g  1 n  k1i k2i k h1 hn Note that g g ··· g ni ui( , ··· , ) ∈ Z≥ [y , ··· ,yn], since each monomial occurring in 1 2 n g1 gn 0 1 k1i k2i kni ui(y1, ··· ,yn) is a factor of y1 y2 ··· yn . Then the equality (6) is a contradiction, since each k1i kni term in the equality (6) is an element in Z≥0[y1, ··· ,yn] and h1 ··· hn 6= 0 by the fact that t0 hj 6= 0, j = 1, ··· ,n. Thus we must have Fi;t(y1, ··· ,yn) = 1, which implies xi;t = xi;t0 by the  equality (3). Then Σt =Σt0 . Now, we obtain the main result as follows.

Theorem 2.5. Let At0 be the cluster algebra with principal coefficients at t0, Σt1 and Σt2 be two seeds of At0 . If Ct1 = Ct2 , then Σt1 =Σt2 .

Proof. By Proposition 2.3 and due to Ct1 = Ct2 , we have Bt1 = Bt2 and Gt1 = Gt2 . Since Σt0 can be obtained from Σt1 by a sequence of mutations, we write Σt0 = µsk ··· µs2 µs1 (Σt1 ). Let

Σt = µsk ··· µs2 µs1 (Σt2 ). Since (Gt1 , Ct1 ,Bt1 ) = (Gt2 , Ct2 ,Bt2 ), by Proposition 1.7, we know that (Gt, Ct,Bt) = (Gt0 , Ct0 ,Bt0 ) = (In, In,Bt0 ). By Lemma 2.4, we know Σt = Σt0 and thus  µs1 µs2 ··· µsk (Σt)= µs1 µs2 ··· µsk (Σt0 ), i.e. Σt2 =Σt1 . As readers can see that the proof of this result depends mainly on the positivity of cluster variables and sign-coherence of c-vectors of a cluster algebra. Positivity and sign-coherence are two deep phe- nomena in cluster algebras. It is known in [10] that sign-coherence can relate many other properties of cluster algebras. Also, we believe that positivity can be used to explain some other properties of cluster algebras. Through the method of the proof of Theorem 2.5, we attempt to provide an evidence for the essentiality of positivity and sign-coherence.

It was proved that Σt is uniquely determined by Gt for a skew-symmetric matrix Bt0 in [2]. By

Proposition 2.3, Ct1 = Ct2 if and only if Gt1 = Gt2 . So, the result of Theorem 2.5 means that Σt is uniquely determined by Gt, which gives a generalization of the result in [2] in the skew-symmetrizable case.

3. How to determine seed in sign-skew-symmetric case

Finally, we discuss how to determine a seed using C-matrix or G-matrix in sign-skew-symmetric case. The obtained result may be thought as the weak version of Conjecture 1.1.

In this section, we always assume that At0 is an acyclic sign-skew-symmetric cluster algebra with principal coefficients at t0. Here, the “acyclic” condition is assumed since we need the following conclusion.

Proposition 3.1. (Theorem 7.11 and 7.13, [6]) Let At0 be an acyclic sign-skew-symmetric cluster algebra with principal coefficients at t0, then Z ±1 ±1 (i) Each cluster variable xi;t ∈ ≥0[y1, ··· ,ym][x1;t0 , ··· , xn;t0 ]. (ii) Each F-polynomial has constant term 1.

Lemma 3.2. Let At0 be an acyclic sign-skew-symmetric cluster algebra with principal coefficients ˜ at t0. If Σt = (Xt, Bt) is a seed of At0 satisfying (Gt, Ct,Bt) = (Gt0 , Ct0 ,Bt0 ), then Σt =Σt0 . 6 PEIGENCAO MINHUANG FANGLI

Sketch of Proof: Since Ct = Ct0 = In and Gt = Gt0 = In, At0 can be also seen as a cluster alge- bra with principal coefficients at t. Base on Proposition 3.1, we can use the same method with that ˜ ˜  of Lemma 2.4 so as to show Xt = Xt0 , which implies Σt =Σt0 since Bt = Bt0 is already known.

Note that since we have not the skew-symmetrizer S in this case, Proposition 2.3 can not be used here as like in the proof of Lemma 2.4. This is the reason we need the condition (Gt, Ct,Bt) =

(Gt0 , Ct0 ,Bt0 ). Following Lemma 3.2, using the same method with the proof of Theorem 2.5, we have:

Proposition 3.3. Let At0 be an acyclic sign-skew-symmetric cluster algebra with principal coeffi- cients at t0. If Σt1 and Σt1 are two seeds of At0 with (Gt1 , Ct1 ,Bt1 ) = (Gt2 , Ct2 ,Bt2 ), then Σt1 =Σt2 .

Remark 3.4. When Bt0 is skew-symmetrizable, by Proposition 2.3, either Gt1 = Gt2 or Ct1 = Ct2 implies (Gt1 , Ct1 ,Bt1 ) = (Gt2 , Ct2 ,Bt2 ). So, Proposition 3.3 can be thought as a weak version of Theorem 2.5 in the acyclic sign-skew-symmetric case.

Acknowledgements: This project is supported by the National Natural Science Foundation of China (No.11671350 and No.11571173).

References

[1] P.G. Cao, F. Li, Some conjectures on generalized cluster algebras via the cluster formula and D-matrix pattern, arXiv:1611.08672 [math.RA]. [2] H. Derksen, J. Weyman and A. Zelevinsky, Quivers with potentials and their representations II: Applica- tions to cluster algebras, J. Amer. Math. Soc. Volume 23, Number 3, July 2010, Pages 749C790. [3] S. Fomin, A. Zelevinsky, Cluster algebras. I. Foundations, J. Amer. Math. Soc. 15 (2002), no. 2, 497-529 (electronic). [4] S. Fomin, A. Zelevinsky. Cluster algebras. IV. Coefficients. Compos. Math. 143(2007), 112-164. [5] M. Gross, P. Hacking, S. Keel and M. Kontsevich, Canonical bases for cluster algebras, arXiv:1411.1394 [math.AG]. [6] M. Huang, F. Li, Unfolding of acyclic sign-skew-symmetric cluster algebras and applications to positivity and F-polynomials, arXiv:1609.05981v2. [7] R. Inoue, O. Iyama, B. Keller, A. Kuniba, T. Nakanishi, Periodicities of T and Y-systems, dilogarithm identities, and cluster algebras I: Type Br, Publ. RIMS. 49 (2013) 1–42. arXiv:1001.1880, 35 pages. [8] R.J. Marsh, Lecture Notes on Cluster Algebras, Europoean Math. Soc., 2013. [9] T. Nakanishi, Structure of seeds in generalized cluster algebras, Pacific Journal of Mathematics, Vol. 277 (2015), No. 1, 201-218. [10] T. Nakanishi, A. Zelevinsky, On tropical dualities in cluster algebras, in Algebraic Groups and Quantum Groups, Contemp. Math., Vol. 565, Amer. Math. Soc., Providence, RI, 2012, 217C226, [11] P.-G. Plamondon, Cluster characters for cluster categories with infinite-dimensional morphism spaces, Advances in Mathematics 227, no. 1 (2011): 1-39. [12] P.-G. Plamondon, Cluster algebras via cluster categories with infinite-dimensional morphism spaces, Com- positio Mathematica (2010): preprint arXiv:1004.0830. [13] N. Reading, D.E. Speyer, Combinatorial Frameworks for Cluster algebras, International Mathematics Re- search Notices, Vol.2016, N0.1, pp. 109-173.

Peigen Cao Department of Mathematics, Zhejiang University (Yuquan Campus), Hangzhou, Zhejiang 310027, P.R.China E-mail address: [email protected]

Min Huang Department of Mathematics, Zhejiang University (Yuquan Campus), Hangzhou, Zhejiang 310027, P.R.China E-mail address: [email protected] A CONJECTURE ON C-MATRICES OF CLUSTER ALGEBRAS 7

Fang Li Department of Mathematics, Zhejiang University (Yuquan Campus), Hangzhou, Zhejiang 310027, P.R.China E-mail address: [email protected]