arxiv: v1 [math.qa] 22 May 2015

ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO arxiv:1505.05928v1 [math.qa] 22 May 2015 Abstract. In this paper we study the minimal affinizations over the quantum affine algebras of type C n by using the theory of cluster algebras. We show that the q-characters of a large family of minimal affinizations of type C n satisfy some systems of equations. These equations correspond to mutation equations of some cluster algebras. Furthermore we show that the minimal affinizations in these equations correspond to cluster variables in these cluster algebras. Key words: quantum affine algebras of type C n; cluster algebras; minimal affinizations; q- characters; Frenkel-Mukhin algorithm 2010 Mathematics Subject Classification: 17B37; 13F60 1. Introduction Quantum groups are introduced independently by Jimbo [Jim85] and Drinfeld [Dri87]. Quantumaffinealgebras U q ĝformafamily of infinite-dimensional quantumgroups. Although therepresentation theory of quantum affine algebras are studied intensively over the past few decades thestructureofthecategory Rep(U q ĝ) offinitedimensionalu q ĝ-modulesisfarfrombeingunderstood. For example general decomposition formulas for tensor products of simple U q ĝ-modules have not been found. The Weyl character formula for general U q ĝ-modules has not been found. Fomin and Zelevinsky in [FZ02] introduced the theory of cluster algebras. It has many applications including quiver representations Teichmüller theory tropical geometry integrable systems and Poisson geometry. The aim of this paper is to apply the theory of cluster algebras to study the minimal affinizations over the quantum affine algebras of type C n. Let g be a simple Lie algebra and U q ĝ the corresponding quantum affine algebra. Hernandez and Leclerc found a remarkable connection between cluster algebras and finite dimensional representations of U q ĝ in [HL10]. They show that the Grothendieck ring of some subcategories of the category of all finite dimensional representations of U q ĝ have cluster algebra structures. In the paper [HL13] they apply the theory of cluster algebras to study the q-characters a family of U q ĝ-modules called Kirillov-Reshetkhin modules. The family of minimal affinizations over U q ĝ is an important family of simple U q ĝ-modules which was introduced in [C95]. The family of minimal affinizations contains the Kirillov- Reshetikhin modules. Minimal affinizations are studied intensively in recent years see for examples [CG11] [CMY13] [Her07] [Li15] [LM13] [M10] [MP07] [MP11] [MY12a] [MY12b] [MY14] [Nao13] [Nao14] [QL14] [SS14] [ZDLL15]. Corresponding author. 1

2 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO M-systems and dual M-systems of types A n B n G 2 are introduced in [ZDLL15] [QL14] to study the minimal affinizations of types A n B n G 2. Recently two closed systems which contain a large family of minimal affinizations of type F 4 are studied in [DLL15]. The equations in these systems are satisfied by the q-characters of minimal affinizations of types A n B n G 2 and F 4. The minimal affinizations of type C n are much more complicated than the minimal affinizations of types A n B n G 2. In types A n B n G 2 all minimal affinizations are special or anti-special [Her07] [LM13]. But in type C n there are minimal affinizations which are neither special nor anti-special [Her07]. Here a U q ĝ-module V is called special (resp. anti-special) if there is only one dominant (resp. anti-dominant) monomial in the q-character of V. In this paper we find two closed systems which contain a large family of minimal affinizations of type C n Theorem 3.3 Theorem 5.4. The equations in these closed systems are of the form [T 1 ][T 2 ] = [T 3 ][T 4 ]+[S] where T i i {1234} are minimal affinizations of type C n and S is some simple module. We show these equations are satisfied by the q-characters of the modules in the systems. We prove that the modules in the system in Theorem 3.3 are special (Theorem 3.2) and the modules in the system in Theorem 5.4 are anti-special (Theorem 5.2). Moreover we show that every equation in Theorem 3.3 (resp. Theorem 5.4) corresponds to a mutation equation in some cluster algebra A (resp. A). Furthermore every minimal affinization in Theorem 3.3 (resp. Theorem 5.4) corresponds to a cluster variable in the cluster algebra A (resp. A) Theorem 4.1 (resp. Theorem 5.6). Therefore we have verified that the Hernandez-Leclerc conjecture (Conjecture 13.2 in [HL10] and Conjecture 9.1 in [Le10]) is true for the minimal affinizations in Theorem 3.3 and Theorem 5.4. The equations in Theorem 3.3 and Theorem 5.4 can be used to compute the q-characters of the modules in Theorem 3.3 and Theorem 5.4. By using these equations we can also obtain the ordinary characters of the modules in Theorem 3.3 and Theorem 5.4. A U q ĝ-module is also a U q g-module since U q g is isomorphic to a subalgebra of U q ĝ. Usually a simple U q ĝ-module V is not simple when V is considered as a U q g-module. Let V be a minimal affinization in Theorem 3.3 and Theorem 5.4. The equations in Theorem 3.3 and Theorem 5.4 can be used to compute the decomposition formula of V when we decompose V into simple U q g-modules. In [Li15] the minimal affinizations over U q ĝ of type C 3 is studied by using the method of extended T-systems. The extended T-system of type C 3 is much more complicated than the systems in Theorem 3.3 and Theorem 5.4. The extended T-system of type C 3 contains not only minimal affinizations but also some other kinds of modules. Let us describe the organization of the present paper. In Section 2 we give some background information about cluster algebras and representation theory of quantum affine algebras. In Section 3 we write a system of equations satisfied by a large family of minimal affinizations of type C n explicitly Theorem 3.3. In Section 4 we study the relationship between the system in Theorem 3.3 and cluster algebras. In Section 5 we study the dual system of the system in Theorem 3.3. In Section 6 Section 7 and Section 8 we prove Theorem 3.2 Theorem 3.3 and Theorem 3.6 given in Section 3 respectively. 2. Background 2.1. Cluster algebras. Fomin and Zelevinsky in [FZ02] introduced the theory of cluster algebras. Let Q be the field of rational numbers and F = Q(x 1 x 2 x n ) the field of rational

ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 3 functions. A seed in F is a pair Σ = (yq) where y = (y 1 y 2 y n ) is a free generating set of F and Q is a quiver with vertices labeled by {12 n}. Assume that Q has neither loops nor 2-cycles. For k = 12 n one defines a mutation µ k by µ k (yq) = (y Q ). Here y = (y 1...y n) y i = y i for i k and y k = i k y i + k j y j (2.1) y k where the first (resp. second) product in the right hand side is over all arrows of Q with target (resp. source) k and Q is obtained from Q by (i) adding a new arrow i j for every existing pair of arrow i k and k j; (ii) reversing the orientation of every arrow with target or source equal to k; (iii) erasing every pair of opposite arrows possible created by (i). The mutation class C(Σ) is the set of all seeds obtained from Σ by a finite sequence of mutation µ k. If Σ = ((y 1 y 2 y n )Q ) is a seed in C(Σ) then the subset {y 1 y 2 y n } is called a cluster and its elements are called cluster variables. The cluster algebra A Σ as the subring of F generated by all cluster variables. Cluster monomials are monomials in the cluster variables supported on a single cluster. In this paper the initial seed in the cluster algebra we use is of the form Σ = (yq) where y is an infinite set and Q is an infinite quiver. Definition 2.1 (Definition 3.1 [GG14]). Let Q be a quiver without loops or 2-cycles and with a countably infinite number of vertices labelled by all integers i Z. Furthermore for each vertex i of Q let the number of arrows incident with i be finite. Let y = {y i i Z}. An infinite initial seed is the pair (yq). By finite sequences of mutation at vertices of Q and simultaneous mutation of the set y using the exchange relation (2.1) one obtains a family of infinite seeds. The sets of variables in these seeds are called the infinite clusters and their elements are called the cluster variables. The cluster algebra of infinite rank of type Q is the subalgebra of Q(y) generated by the cluster variables. 2.2. Quantum affine algebras of type C n. Let g be a simple Lie algebra of type C n and I = {1...n} the indices of the Dynkin diagram of g (we use the same labeling of the vertices of the Dynkin diagram of g as the one used in [Car05]). Let C = (C ij ) ij I be the Cartan matrix of g where C ij = 2(α iα j ) (α i α i ). The quantum affine algebra U q ĝ in Drinfeld s new realization see [Dri88] is generated by x ± in (i In Z) k i ±1 (i I) h in (i In Z\{0}) and central elements c ±1/2 subject to certain relations. 2.3. Finite-dimensional U q ĝ-modules and their q-characters. In this section we recall the standard facts about finite-dimensional U q ĝ-modules and their q-characters see [CP94] [CP95a] [FR98] [MY12a]. Let P be the free abelian multiplicative group of monomials in infinitely many formal variables (Y ia ) i Ia C and let ZP = Z[Y ±1 ia ] i Ia C be the group ring of P. For each j I a monomial m = i Ia C Y u ia ia P where u ia are some integers is said to be j-dominant (resp. j-anti-dominant) if and only if u ja 0 (resp. u ja 0) for all a C. A monomial is called dominant (resp. anti-dominant) if and only if it is j-dominant (resp. j-anti-dominant) for all j I. Let P + P denote the set of all dominant monomials.

4 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO A finite-dimensional U q ĝ-module is parameterized by a dominant monomial in ZP. Given a dominant monomial m there is a unique finite-dimensional U q ĝ-module L(m) [CP94] [CP95a]. The theory of q-characters is introduced in [FR98]. The q-character of a U q ĝ-module V is given by χ q (V) = m Pdim(V m )m ZP where V m is the l-weight space with l-weight m see [FR98]. We use M(V) to denote the set of all monomials in χ q (V) for a finite-dimensional U q ĝ-module V. For m + P + we use χ q (m + ) to denote χ q (L(m + )). We also write m χ q (m + ) if m M(χ q (m + )). The following lemma is well-known. Lemma 2.2. Let m 1 m 2 be two monomials. Then L(m 1 m 2 ) is a sub-quotient of L(m 1 ) L(m 2 ). In particular M(L(m 1 m 2 )) M(L(m 1 ))M(L(m 2 )). A finite-dimensional U q ĝ-module V is said to be special if and only if M(V) contains exactly one dominant monomial. It is called anti-special if and only if M(V) contains exactly one antidominant monomial. It is said to be prime if and only if it is not isomorphic to a tensor product of two non-trivial U q ĝ-modules see [CP97]. Clearly if a module is special or anti-special then it is simple. The elements A ia Pi Ia C are defined by A ia = Y iaqi Y iaq 1 i C ji = 1 Y 1 ja C ji = 2 Y 1 jaq Y 1 jaq 1 C ji = 3 Y 1 jaq 2 Y 1 ja Y 1 jaq 2 see Section 2.3 in [FM01]. Let Q be the subgroup of P generated by A ia i Ia C. Let Q ± be the monoids generated by A ±1 ia i Ia C. There is a partial order on P defined as follows: m m if and only if m m 1 Q +. (2.2) For all m + P + M(L(m + )) m + Q see [FM01]. We will need the concept of right negative which is introduced in Section 6 of [FM01]. Definition 2.3. A monomial m is called right negative if for all a C for L = max{l Z u iaq l(m) 0 for some i I} we have u jaq L(m) 0 for j I. For i Ia C A 1 ia is right-negative. A product of right-negative monomials is rightnegative. If m is right-negative and m m then m is right-negative see [FM01] [Her06]. As A 1 ia are algebraically independent for M a product of A 1 ia one can define v ia(m) 0 by M = i Ia C A v ia(m) ia. Let v i (M) = a C v ia(m) and v(m) = i I v i(m) [Her08]. For J I we denote by U q ĝ J U q ĝ the subalgebra generated by the x ± im h imk i ± for i J. For i I we denote U q ĝ i = U q ĝ {i} U qi ŝl 2. The following theorem is useful to show that some monomial is not in the q-character of a U q ĝ-module. Theorem 2.4 (Theorem 5.1 [Her08]). Let V = L(m) be a simple U q ĝ-module. Suppose that m < m and i I satisfy the following conditions: (i) there is a unique i-dominant M (M(V) m Z[A ia ] a C ) {m } and its coefficient is 1

ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 5 (ii) r Z x+ ir (V M) = {0} (iii) m is not a monomial of L i (M) (iv) if m M(U q ĝ i V M ) is i-dominant then v(m m 1 ) v(m m 1 ) (v) for all j i {m M(V) v(m m 1 ) < v(m m 1 )} m Z[A ±1 ja ] a C =. Then m / M(V). 2.4. Minimal affinizations of type C n. Fromnowon wefixana C anddenotei s = Y iaq s i I s Z. Without loss of generality we may assume that a simple U q ĝ-module L(m + ) of type C n is a minimal affinization of V(λ) if and only if m + is one of the following monomials T k 1 k 2...k n = T k 1 k 2...k n = ( kn 1 i n=0 ( kn 1 i n=0 ) n 1 n s+4in j=1 ) n 1 n s 4in j=1 k n j 1 i n j =0 k n j 1 i n j =0 (n j) s+4kn+2 j 1 (n j) s 4kn 2 j 1 p=1 k n p+2i n j +j p=1 k n p 2i n j j where k 1...k n Z 0 see [CP96a]. We write T 00...0 = 1 for any s Z. We denote A 1 iaqs by A 1 is. For a dominant monomial T we use T to denote L(T) the simple U q ĝ-module with heighest l-weight T. For example T k 1 k 2...k n = L(T k 1 k 2...k n ) where k 1...k n Z 0. 2.5. The modules S k 1...k n 2 k n 1 0 with the follow- k n 1 Z 1 we will need the modules ing heighest l-weights and S S k 1...k n 2 k n 1 0 k 1...k n 2 k n 1 0. For s Z k 1...k n 2 Z 0 and S k 1...k n 2 k n 1 0 S k 1...k n 2 k n 1 0 = T k 1...k n 2 k n 1 0 T (s+2k n 1+4) k 1...k n 2 200 (k n 2 2) S k 1...k n 2 k n 1 0 = T k 1...k n 2 k n 1 0 T(s+2k n 1+4) k 1...k n 2 200 (k n 2 2) S k 1...k n 2 k n 1 0 = T k 1...k n 2 k n 1 0 T (s+2k n 1+4) k 1...k n 3 1000 (k n 2 = 1) S k 1...k n 2 k n 1 0 = T k 1...k n 2 k n 1 0 T(s+2k n 1+4) k 1...k n 3 1000 (k n 2 = 1) respectively. We use T k 1...k i i...k n 1 k n to indicate that k i is in the i-th position. For example the 1 in T 0...01 i 0...0k n 1 0 is in the i-th position. Remark 2.5. For k 1...k n 2 Z 0 k n 1 Z 1 s Z we have S 0...010...010...0k n 1 0 = T 0...010...010...0k n 1 0 m l m l S 0...01 m 0...01 l 0...0k n 1 0 =T 0...01 m 0...01 l 0...0k n 1 0 S 0...010...0k n 1 0 = T 0...010...0k n 1 0 l l S 0...01 l 0...0k n 1 0 =T 0...01 l 0...0k n 1 0

6 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO where 1 m < l n 2. 2.6. q-characters of U q ŝl 2 -modules and the Frenkel-Mukhin algorithm. We recall the results of the q-characters of U q ŝl 2 -modules which are well-understood see [CP91] [FR98]. Let W (a) k be the irreducible representation U q ŝl 2 with highest weight monomial X (a) k 1 k = where Y a = Y 1a. Then the q-character of W (a) k i=0 χ q (W (a) k ) = X(a) k Y aq k 2i 1 is given by k i 1 i=0 j=0 A 1 aq k 2j where A a = Y aq 1Y aq. For a C k Z 1 the set Σ (a) k = {aq k 2i 1 } i=0...k 1 is called a string. Two strings Σ (a) k and Σ (a ) k or Σ (a ) k are said to be in general position if the union Σ (a) k Σ(a ) k Σ (a) k. is not a string or Σ (a) k Σ (a ) k Denote by χ q (m + ) the simple U q ŝl 2 -module with highest weight monomial m +. Let m + 1 and Z[Y a ] a C be a dominant monomial. Then m + can be uniquely (up to permutation) written in the form m + = s i=1 Y b b Σ (a i ) k i where s is an integer Σ (a i) k i i = 1...s are strings which are pairwise in general position and s s L(m + ) = W (a i) k i χ q (L(m + )) = χ q (W (a i) k i ). For j I let i=1 i=1 β j : Z[Y ia ±1 ] ±1 i I;a C Z[Y a ] a C be the ring homomorphism such that β j (Y ka ) = 1 for k j and β j (Y ja ) = Y a for all a C. Let V be a U q ĝ-module. Then β i (χ q (V)) i = 12 is the q-character of V considered as a U qisl2 ˆ -module. The Frenkel-Mukhin algorithm introduced in [FM01] is very useful to compute q-characters of simple U q ĝ-modules. It is shown in [FM01] that the Frenkel-Mukhin algorithm works for simple U q ĝ-modules which are special. 2.7. Truncated q-characters. In this paper we need to use the concept truncated q-characters see [HL10] and [MY12a]. Given a set of monomials R P let ZR ZP denote the Z-module of formal linear combinations of elements of R with integer coefficients. Define { m if m R trunc R : P R; m 0 if m / R

ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 7 and extend trunc R as a Z-module map ZP ZR. Given a subset U I C let Q U be the subgroups of Q generated by A ia with (ia) U. Let Q ± U be the monoid generated by A±1 ia with (ia) U. The polynomial trunc m + Q Uχ q (m + ) is called the q-character of L(m + ) truncated to U. The following theorem can be used to compute some truncated q-characters. Theorem 2.6 (Theorem 2.1 [MY12a]). Let U I C and m + P +. Suppose that M P is a finite set of distinct monomials such that (i) M m + Q U (ii) P + M = {m + } (iii) for all m M and all (ia) U if ma 1 ia / M then ma 1 ia A jb / M unless (jb) = (ia) (iv) for all m M and all i I there exists a unique i-dominant monomial M M such that trunc βi (MQ )χ q(β i (M)) = β i (m ). U m mq {i} C M Then trunc m+ Q χ q (m + ) = m. U m M Here χ q (β i (M)) is the q-character of the simple U qi ŝg 2 -module with highest weight monomial β i (M) and trunc βi (MQ U ) is the polynomial obtained from χ q(β i (M)) by keeping only the monomials of χ q (β i (M)) in the set β i (MQ U ). 3. A closed system which contains a large family of minimal affinizations of type C n Inthis section weintroduceaclosed system of typec n that contains alarge family of minimal affinizations. 3.1. Special modules. Theorem 3.1 (Theorem 3.9 [Her07]). For s Zk 1...k n 1 Z 0 the module T k 1 k 2...k n 1 0 is special. Theorem 3.2. For k 1...k n 1 Z 0 k n Z 1 and s Z the modules T 0...0k n i 0...0k n (1 i n 1) T 0...0k n j 0...0k n i 0...0k n (1 i < j n 1 0 k n j i+1) T k 1...k m0...0k l 0...0k n (1 m < l n 1 0 k 1 + +k m n l+1) S k 1...k m0...0k l 0...0k n 1 0 (1 m < l n 2 0 k 1 + +k m n l+1) are special. In particularwe can use the Frenkel-Mukhin algorithm to compute these modules. We will prove Theorem 3.2 in Section 6.

8 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO 3.2. A closed system of type C n. Theorem 3.3. For s Z k 1...k n Z 0 we have the following system of equations: [T k 1 k 2 1k 3...k n 1 0][T k 1 k 2 k 3...k n 1 0] =[T k 1 1k 2 k 3...k n 1 0][T k 1 +1k 2 1k 3...k n 1 0 ] (3.1) +[T 0k 2 1k 3...k n 1 0][T 0k 1 +k 2 k 3...k n 1 0 ] where k 1 k 2 1; [T 0...0k i k i+1 1k i+2...k n 10 ][T 0...0k i k i+1 k i+2...k n 10 ] =[T 0...0k i +1k i+1 1k i+2...k n 10 ][T 0...0k i 1k i+1 k i+2...k ] n 10 where k i k i+1 1 1 < i n 2; +[T 0...0k i +k i+1 k i+2...k n 10 ][T 0...0 k i 0k i+1 1k i+2...k ] n 10 i+1 i 1 i+1 (3.2) [T k 10...0k j 1k j+1...k n 10 ][T k 10...0k j k j+1...k n 10 ] =[T k 1+10...0k j 1k j+1...k n 10 ][T k 1 10...0k j k j+1...k ] n 10 where k 1 k j > 0 2 < j n 1; +[T 0k 10...0k j k j+1...k n 10 ][T 0...0k j 1k j+1...k ] n 10 (3.3) [T 0...0k i 0...0k j 1k j+1...k n 10 ][T 0...0k i 0...0k j where k i k j > 0 2 < i+1 < j n 1. k j+1...k n 10 ] =[T 0...0k i 1 i 0...0k j j +[T 0...0 k i 0...0k j i+1 j In the following let k 1...k n 1 Z 0 k n Z >0 and s Z. k j+1...k n 10 ][T 0...0k i+1 i k j+1...k n 10 ][T 0...0 k i i 1 0...0k j 1k ] j+1...k n 10 j 0...0k j 1k ] j+1...k n 10 j (3.4) [ T k 1...k m 10...0k n ][ T (s 4) k 1...k m0...01k n ] =[ T (s 4) k 1...k m0...01k n 1 ][ T k 1...k ] m 10...0k n+1 (3.5) +[ T (s+4kn) (s 4) k 1...k m 10...00 ][ T k 1...k ] m0...02k n+10 where 1 m n 2 and 0 k 1 + +k m 2; [ T k 1...k m0...0k n 1 2k n ][ T (s 4) k 1...k m0...0k n 1 k n ] =[ T (s 4) k 1...k m0...0k n 1 k n 1 ][ T k 1...k m0...0k n 1 2k ] n+1 where 1 m n 2 k n 1 2 and 0 k 1 + +k m 2; +[ T (s+4kn) (s 4) k 1...k m0...0k n 1 20 ][ T k 1...k m0...02k n+k n 1 0 ] (3.6)

ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 9 [ T k 1...k m 10...0...0k n ][ T (s 4) k 1...k m0...010...0k n ] =[ T (s 4) k 1...k m0...010...0k n 1 ][ T k 1...k ] m 10...0...0k n+1 l l +[ S (s 4) k 1...k m0...01 l 0...02k n0 ] (3.7) where 1 m < l n 2 0 k 1 + +k m n l+1; [ T k 1...k m0...0k l 20...0k n ][ T (s 4) k 1...k m0...0k l 0...0k n ] =[ T (s 4) k 1...k m0...0k l 0...0k n 1 ][ T k 1...k m0...0k l 20...0k ] n+1 +[ S (s 4) k 1...k m0...0k l 0...02k n0 ] (3.8) where 1 m < l n 2 k l 2 and 0 k 1 + +k m n l+1. Theorem 3.3 will be proved in Section 7. Example 3.4. The following are some equations in the system of type C 3. [1 2 ][1 4 2 1 ] = [1 4 1 2 ][2 1 ]+[2 3 2 1 ] [1 4 1 2 ][1 6 1 4 2 1 ] = [1 4 2 1 ][1 6 1 4 1 2 ]+[2 5 2 3 2 1 ] [3 2 ][3 6 2 1 ] = [2 1 ][3 6 3 2 ]+[2 5 2 3 2 1 ] [3 6 3 2 ][3 10 3 6 2 1 ] = [3 6 2 1 ][3 10 3 6 3 2 ]+[2 9 2 7 2 5 2 3 2 1 ] [3 6 1 0 ][3 2 ] = [1 0 ][3 6 3 2 ]+[2 5 2 3 1 0 ] [3 6 3 2 ][3 10 3 6 1 0 ] = [3 6 1 0 ][3 10 3 6 3 2 ]+[2 3 2 9 2 7 2 5 1 0 ] [3 4 ][3 8 2 3 1 0 ] = [2 3 1 0 ][3 8 3 4 ]+[2 7 2 5 2 3 1 0 ] [3 8 3 4 ][3 12 3 8 2 3 1 0 ] = [3 8 2 3 1 0 ][3 12 3 8 3 4 ]+[2 11 2 9 2 7 2 5 2 3 1 0 ]. Example 3.5. The following are some equations in the system of type C 4. [4 3 ][4 7 1 0 ] = [1 0 ][4 7 4 3 ]+[3 6 3 4 1 0 ] [4 5 ][4 9 2 3 1 0 ] = [2 3 1 0 ][4 9 4 5 ]+[3 8 3 6 2 3 1 0 ] [4 7 1 0 ][4 11 2 5 1 2 1 0 ] = [2 5 1 2 1 0 ][4 11 4 7 1 0 ]+[3 10 3 8 2 5 1 2 1 2 0 ] [4 9 1 2 1 0 ][4 13 2 7 1 4 1 2 1 0 ] = [2 7 1 4 1 2 1 0 ][4 13 4 9 1 2 1 0 ]+[3 12 3 10 2 7 1 4 1 2 2 12 0 ]. Furthermore we have the following theorem. Theorem 3.6. For each equation in Theorem 3.3 all summands on the right hand side are simple. Theorem 3.6 will be proved in Section 8.

10 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO 3.3. A system corresponding to the system in Theorem 3.3. For k 1...k n Z 0 s Z let m k1...k n = Res(T k 1...k n ) (resp. m k1...k n = Res( T k 1...k n )) betherestrictionoft k 1...k n (resp. T k 1...k n )tou q g. ItisclearthatRes(T k 1...k n )andres( T k 1...k n ) do not depend on s. Let χ(m) (resp. χ( M)) be the character of a U q g-module M (resp. M). By replacing each [T k 1...k n ] (resp. [ T k 1...k n ]) in the system in Theorem 3.3 with χ(m k1...k n ) (resp. χ( m k1...k n )) we obtain a system of equations consisting of the characters of U q g-modules. The following are two equations in the system. χ(m k1k 2 1k 3...k n 10)χ(m k1k 2k 3...k n 10) = χ(m k1 1k 2k 3...k n 10)χ(m k1+1k 2 1k 3...k n 10)+χ(m 0k2 1k 3...k n 10)χ(m 0k1+k 2k 3...k n 10) χ( m k1...k m 10...0k n )χ( m k1...k m0...01k n ) = χ( m k1...k m0...01k n 1)χ( m k1...k m 10...0k n+1)+χ( m k1...k m 10...00)χ( m k1...k m0...02k n+10). 4. Relation between the system in Theorem 3.3 and cluster algebras In this section we will show that the equations in the system in Theorem 3.3 correspond to mutations in some cluster algebra A. Moreover every minimal affinization in the system in Theorem 3.3 corresponds to a cluster variable in the cluster algebra A. 4.1. Definition of cluster algebras A. Let I 1 = {12...n 1} and Let S 1 = { 2i 1 i Z 0 } S 2 = { 2i i Z 0 } S 3 = {2i+1 i Z 0 } S 4 = {2i i Z 0 } S 5 = { 4i 1 i Z 0 } S 6 = { 4i 3 i Z 0 } S 7 = { 4i i Z 0 } S 8 = { 4i 2 i Z 0 }. V = ((S 3 I 1 ) S 2 ) ((S 4 I 1 ) S 1 ) (({n} S 3 ) S 7 ) (({n} S 3 ) S 8 ) (({n} S 4 ) S 5 ) (({n} S 4 ) S 6 ). A quiver Q for U q ĝ of type C n with vertex set V will be defined as follows. The arrows of Q are given by the following rule: there is an arrow from the vertex (ir) to the vertex (js) if and only if b ij 0 and s = r+b ij d i +d j. The quiver Q of type C n is the same as the quiver G of type C n in [HL13]. Let t = t 1 t 2 where t 1 = {t ( n+i [i] mod2+1) 0...0k i 0...0 i {1...n 1} k i Z 0 } (4.1) { t ( 4kn+4) 0...0...0k n t ( 4kn+2) 0...0...0k n n is odd k n Z 1 } t 2 = { t ( 4kn+3) 0...0...0k n t ( 4kn+1) 0...0...0k n n is even k n Z 1 } (4.2) { t ( 2k i n+i+[i] mod2 +1) 0...0k i 0...0 i {1...n 1} k i Z 0 }. Let A be the cluster algebra defined by the initial seed (tq). The cluster algebra A of type C n is the same as the cluster algebra for U q ĝ of type C n introduced in [HL13].

ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 11 4.2. Mutation sequences. For the quiver of type C n. We use C 2i 1 to denote the column of vertices (2i 10) (2i 1 2) (2i 1 4)... in Q where i Z 1. We use C 2i to denote the column of vertices (2i 1) (2i 3) (2i 5)... in Q where i Z 1. If n is even we use C n to denote the column of vertices (n 1) (n 5)...(n 4i 1)... in Q where i Z 0 and C n+1 denote the column of vertices (n 3) (n 7)...(n 4i 3)... in Q where i Z 0. If n is odd we use C n to denote the column of vertices (n0) (n 4)...(n 4i)... in Q where i Z 0 and C n+1 denote the column of vertices (n 2) (n 6)...(n 4i 2)... in Q where i Z 0. Let C 1...C n C n+1 be the columns of the quiver. By saying that we mutate the column C i i {1...n+1} we mean that we mutate the vertices of C i as follows. First we mutate at the first vertex of C i then the second vertex of C i an so on until the vertex at infinity. By saying that the mutate (C i1 C i2...c im ) where i 1...i m {12...n+1} we mean that we first mutate the column C i1 then the column C i2 an so on up to the column C im. Case 1. Let k 1 k 2...k n Z 0 and let k l be the first non-zero integer in k 1 k 2...k n 1 from the right. We define some variables t k 1 k 2...k n 1 0 where s = n+l [l] mod2 +1 recursively as follows. The variables t 0...0k i 0...0 (k i Z 0 ) in 4.1 are already defined. They are cluster variables in the initial seed of A define in Section 4.1. We use to denote the empty mutation sequence and use to denote the mutation sequence n 1 2 (C 2k 1 C 2k 2 C 2k 3...C 1 ) k=1 (C 1 ;C 3 C 2 C 1 ;...;C n 4 C n 5...C 1 ;C n 2 C n 3...C 1 ). Let l = 1 2 M (1) l = l 1 2 k=1 (C 2k 1C 2k 2 C 2k 3...C 1 ) l 1 (mod 2) 1 < l n 1 l 2 k=1 (C 2k 1 C 2k 2 C 2k 3...C 1 ) l 0 (mod 2) 2 < l n 1. Letk 1 k 2...k n 1 Z 0 andk l bethefirstnon-zerointegerink 1 k 2...k n 1 fromtheright. Let Seq be the mutation sequence: first we mutate M (1) l starting from the initial quiver Q then we mutate (C l 1 C l 2...C 1 ) k l times and then we mutate (C l 2 C l 3...C 1 ) k l 1 times; continue this procedure we mutate (C t 1 C t 2...C 1 ) k t times t = l 2l 3...2. If k t = 0 then we mutate (C t 1 C t 2...C 1 ) k t times means we do not mutate (C t 1 C t 2...C 1 ). We define t ( n+l [l] mod2+1) 0...0k p0...0k qk q+1...k n 1 0 = t( n+l [l] mod2+1) 0...0k p0...k q 1k q+1...k n 1 0 (1 p < q n 1) (4.3)

12 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO where t ( n+l [l] mod2+1) k 1 k 2 1k 3...k n 1 0 = t( n+l [l] mod2+1) k 1 1k 2 k 3...k n 1 0 t( n+l [l] mod2+1) k 1 +1k 2 1k 3...k n 1 0 +t( n+l [l] mod2+1) 0k 1 +k 2 k 3...k n 1 0 t( n+l [l] mod2+1) 0k 2 1k 3...k n 1 0 t ( n+l [l] mod2+1) k 1 k 2 1k 3...k n 1 0 (4.4) where k 1 k 2 1; t ( n+l [l] mod2+1) 0...0k i k i+1 1k i+2...k n 10 = t ( n+l [l] mod2+1) 0...0k i 1k i+1 k i+2...k n 10 t( n+l [l] mod2+1) 0...0k i +1k i+1 1k i+2...k n 10 +t( n+l [l] mod2+1) 0...0k i +k i+1 k i+2...k n 10 t( n+l [l] mod2+1) 0...0 k i 0k i+1 1...k n 10 i+1 i 1 i+1 t ( n+l [l] mod2+1) 0...0k i k i+1 1k i+2...k n 10 (4.5) where k i k i+1 1 1 < i n 1; t ( n+l [l] mod2+1) k 1 0...0k j 1k j+1...k n 1 0 mod2+1) = t( n+l [l] k 1 +10...0k j 1k j+1...k n 1 0 t( n+l [l] mod2+1) k 1 10...0k j k j+1...k n 1 0 +t( n+l [l] mod2+1) 0k 1 0...0k j k j+1...k n 1 0 t( n+l [l] mod2+1) t ( n+l [l] mod2+1) k 1 0...0k j 1k j+1...k n 1 0 0...0k j 1k j+1...k n 1 0 (4.6) where k 1 k j > 0 2 < j n 1; t ( n+l [l] mod2+1) 0...0k i 0...0k j 1k j+1...k n 10 = t ( n+l [l] mod2+1) 0...0k i 10...0k j k j+1...k n 10 t( n+l [l] mod2+1) 0...0k i+10...0k j 1k j+1...k n 10 +t( n+l [l] mod2+1) 0...0 k i 0...0k j k j+1...k n 10 t( n+l [l] mod2+1) 0...0 k i 0...0k j 1...k n 10 i+1 j i 1 j t ( n+l [l] mod2+1) 0...0k i 0...0k j 1k j+1...k n 10 (4.7) where k i k j > 0 2 < i +1 < j n 1; are mutation equations which occur when we mutate Seq. The variables (4.3) are defined in the order according to the mutation sequence Seq. In this order every variable in (4.3) is defined by an equation of (4.4) (4.7) using variables in t and those variables in (4.3) which are already defined. Case 2. For k 1 k 2...k n Z 0 let k r be the first non-zero integer in k n 1 k n 2...k 1 from the right.

ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 13 Let r = n C n n 1 (mod 2) r = n 1 N (1) nr = n r 2 k=1 (C n 2k+2C n 2k+3...C n 1 C n [k]mod2 +1) n 1 (mod 2) r 1 (mod 2) r n 2 n r+1 2 k=1 (C n 2k+2 C n 2k+3...C n 1 C n [k]mod2 +1) n 1 (mod 2) r 0 (mod 2) r < n 2 n r 1 2 k=1 (C n 2k+1 C n 2k+2...C n 1 C n [k]mod2 +1) n 0 (mod 2) r 1 (mod 2) r < n 2 n r 2 k=1 (C n 2k+1C n 2k+2...C n 1 C n [k]mod2 +1) n 0 (mod 2) r 0 (mod 2) r n 2. Let S S be two mutation sequences. We use } SS SS {{ S} to denote the mutation sequence 2k+1 SS SS S wherethenumber of S is k+1and usess } SS {{} to denote the mutation sequence SS SS where the number of S is k. Let k 1...k n 1 Z 0 k n Z 1 and let k r be the first non-zero integer in k n 1...k 1 from the right. For n is even and r = n 1 0 let Seq be the mutation sequence: we mutate (C n C n+1...c n C n+1 C n ) if k r 1 (mod 2) k r (C n C n+1...c n C n+1 ) if k r 0 (mod 2) k r starting from the initial quiver Q. For n is odd and r = n 1 0 let Seq be the mutation sequence: first we mutate N nr (1) starting from the initial quiver Q then we mutate (C n+1 C n...c n+1 C n C n+1 ) if k r 1 (mod 2) k r (C n+1 C n...c n+1 C n ) if k r 0 (mod 2). k r For 1 r n 2 let Seq be the mutation sequence: first we mutate N (1) nr starting from the initial quiver Q then we mutate 2k

14 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO n is odd r is odd S rs r S rs r S r k r n is odd r is even n is even r is even S r S r S r S rs r k r n is even r is odd n r n r n r+1 n r+1 2 is odd 2 is even 2 is odd 2 is even k r is odd k r is even k r is odd k r is even k r is odd k r is even k r is odd k r is even SrS r S rs r S r Sr S r S rs r S r Sr S r S r k r k r k r Sr S r S r S r k r S r S r S rs r S r k r S r S r S rs r k r S r S r S r S rs r k r S r S r S r S rs r k r Sr S r S r S r k r S r Sr S r S r k r S r S r S rs r S r k r SrS r S rs r S r k r S r S r S rs r k r SrS r S rs r k r where S r = (C r+1 C r+2...c n 1 C n ) S r = (C r+1c r+2...c n 1 C n+1 ). Then we mutate ( n r 2 +k r ) is odd ( n r 2 +k r ) is even ( n r+1 2 +k r ) is odd ( n r+1 2 +k r ) is even k r+1 is odd k r+1 is even k r+1 is odd k r+1 is even k r+1 is odd k r+1 is even k r+1 is odd k r+1 is even n is odd r is odd S r+1s r+1 S r+1s r+1 S r+1 S r+1s r+1 S r+1s r+1 S r+1 S r+1 S r+1 S r+1s r+1 S r+1 S r+1 S r+1 S r+1 kr+1 kr+1 n is odd r is even S r+1 S r+1 S r+1 S r+1s r+1 n is even r is even S r+1s r+1 S r+1s r+1 S r+1 kr+1 S r+1s r+1 S r+1s r+1 kr+1 kr+1 S r+1 S r+1 S r+1 S r+1s r+1 kr+1 kr+1 S r+1 S r+1 S r+1 S r+1 n is even r is odd S r+1 S r+1 S r+1s r+1 S r+1 kr+1 kr+1 kr+1 S r+1 S r+1 S r+1 S r+1 kr+1 S r+1 S r+1 S r+1s r+1 kr+1 S r+1 S r+1 S r+1s r+1 S r+1 kr+1 S r+1 S r+1 S r+1 S r+1s r+1 kr+1 S r+1 S r+1 S r+1s r+1 kr+1 S r+1 S r+1 S r+1 S r+1 kr+1 where S r+1 = (C r+2 C r+3...c n 1 C n ) S r+1 = (C r+2c r+3...c n 1 C n+1 ). Continue this procedure we mutate ( n r n is odd r is odd S t S t S t S ts t k t n is odd r is even n is even r is even S ts t S ts t S t k t n is even r is odd 2 +k r + +k t 1 ) is odd ( n r 2 +k r + +k t 1 ) is even ( n r+1 2 +k r + +k t 1 ) is odd ( n r+1 2 +k r + +k t 1 ) is even k t is odd k t is even k t is odd k t is even k t is odd k t is even k t is odd k t is even St S t S t S t S t S t S ts t S t S t S t S ts t k t k t k t StS t S ts t k t S t St S t S ts t k t S t St S t S t k t S t S t S t S ts t k t S t S t S t S ts t k t St S t S t S t k t S t St S t S t k t S t S t S ts t S t k t StS t S ts t S t k t S t S t S ts t k t StS t S ts t k t where S t = (C t+1 C t+2...c n 1 C n ) S t = (C t+1c t+2...c n 1 C n+1 ) and t = r +2r + 3...n 2. We define t ( 4kn 2( n 1 i=r ki) n+r+[r]mod2+1) k1...kp0...01 q 0...0kn t ( 4kn 2( n 1 i=r ki) n+r+[r]mod2+1) k1...kp0...0kq0...0kn s ( 4kn 2( n 1 i=r ki) n+r+[r]mod2+1) k1...kp0...01 q 0...02kn0 s ( 4kn 2( n 1 i=r ki) n+r+[r]mod2+1) k1...kp0...0kq0...02kn0 where t ( 4kn 2( n 1 i=r ki) n+r+[r] mod2+5) k 1...k m0...0k n 1 2k n = = t ( 4kn 2( n 1 i=r ki) n+r+[r]mod2+5) k1...kp 10...0...0kn = t ( 4kn 2( n 1 i=r ki) n+r+[r]mod2+5) k1...kp0...0kq 20...0kn n 1 (1 p < q n 1 0 k 1 + +k p n q +1) (1 p < q n 1 k q 2 0 k 1 + +k p n q +1) = t ( 4kn 2( i=r ki) n+r+[r]mod2+1) k1...kp0...010...02kn0 t ( 2( n 2 i=r ki) n+r+[r]mod2+5) k1...kp 10...0...00 (1 p < q n 2 0 k 1 + +k p n q +1) q = t ( 4kn 2( n 1 i=r ki) n+r+[r]mod2+1) k1...kp0...0kq0...02kn0 t ( 2( n 2 i=r ki) n+r+[r]mod2+5) k1...kp0...0kq 20...00 (1 p < q n 2 k q 2 0 k 1 + +k p n q +1) t ( 4kn 2( n 1 i=r ki) n+r+[r] mod2+5) k 1...k m0...0k n 1k n 1 t ( 4kn 2( n 1 i=r ki) n+r+[r] mod2+1) k 1...k m0...0k n 1 2k n+1 + t ( 4kn 2( n 1 i=r ki) n+r+[r] mod2+1) k 1...k m0...02k n+k n 10 t ( 2( n 2 i=r ki) n+r+[r] mod2+5) k 1...k m0...0k n 1 20 (4.8) t ( 4kn 2( n 1 i=r ki) n+r+[r] mod2+5) k 1...k m0...0k n 1 2k n (4.9)

ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 15 where k n 1 2 1 m n 2 and 0 k 1 + +k m 2; t ( 4kn 2( n 1 i=r ki) n+r+[r] mod2+5) k 1...k m 10...0k n t ( 4kn 2( n 1 i=r ki) n+r+[r] mod2+5) k 1...k m0...01k n 1 t ( 4kn 2( n 1 i=r ki) n+r+[r] mod2+1) k 1...k m 10...0k n+1 + t ( 2( n 2 i=r ki) n+r+[r] mod2+5) k 1...k m 10...00 t ( 4kn 2( n 1 i=r ki) n+r+[r] mod2+1) k 1...k m0...02k n+10 = where 1 m n 2 0 k 1 + +k m 2; t ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +5) k 1...k m0...0k l 20...0k n = t ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +5) k 1...k m0...0k l 0...0k n 1 t ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +1) k 1...k m0...0k l 20...0k n+1 where 1 m < l n 2 k l 2 0 k 1 + +k m n l+1; t ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +5) k 1...k m 10...0...0k n = t ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +5) k 1...k m0...010...0k n 1 t ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +1) k 1...k m 10...0...0k n+1 l t ( 4kn 2( n 1 i=r ki) n+r+[r] mod2+5) k 1...k m 10...0k n (4.10) + s ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +1) k 1...k m0...0k l 0...02k n0 t ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +5) k 1...k m0...0k l 20...0k n (4.11) + s ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +1) k 1...k m0...01 l 0...02k n0 t ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +5) k 1...k m 10...0...0k n (4.12) where 1 m < l n 2 0 k 1 + +k m n l+1; are mutation equations which occur when we mutate Seq. The variables (4.8) are defined in the order according to the mutation sequence Seq. In this order every variable in (4.8) is defined by an equation of (4.9) (4.12) using variables in t and those variables in (4.8) which are already defined. 4.3. The equations in the system in Theorem 3.3 correspond to mutations in the cluster algebra A. By (4.4) we have t k 1 k 2 k 3...k n 1 0 = t k 1 k 2 1k 3...k n 1 0 = t k 1 1k 2 k 3...k n 1 0 t k 1 +1k 2 1k 3...k n 1 0 +t 0k 1 +k 2 k 3...k n 1 0 t 0k 2 1k 3...k n 1 0 t k 1 k 2 1k 3...k n 1 0 (4.13) where s = n+l [l] mod2 +1. Equations (4.13) correspond to Equations (3.1) in the system in Theorem 3.3. By (4.5) we have t 0...0k i k i+1 k i+2...k n 10 = t 0...0k i k i+1 1k i+2...k n 10 = t 0...0k i 1k i+1 k i+2...k n 10 t 0...0k i +1k i+1 1k i+2...k n 10 +t 0...0k i +k i+1 k i+2...k n 10 t 0...0 k i 0k i+1 1...k n 10 i+1 i 1 i+1 t 0...0k i k i+1 1k i+2...k n 10 (4.14) where s = n+l [l] mod2 +1. Equations (4.14) correspond to Equations (3.2) in the system in Theorem 3.3.

16 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO By 4.6 we have t k 1 0...0k j k j+1...k n 1 0 = t k 1 0...0k j 1k j+1...k n 1 0 = t k 1 +10...0k j 1k j+1...k n 1 0 t k 1 10...0k j k j+1...k n 1 0 +t 0k 1 0...0k j k j+1...k n 1 0 t 0...0k j 1k j+1...k n 1 0 t k 1 0...0k j 1k j+1...k n 1 0 (4.15) where s = n+l [l] mod2 +1. Equations (4.15) correspond to Equations (3.3) in the system in Theorem 3.3. By (4.7) we have t 0...0k i = 0...0k j k j+1...k n 10 = t 0...0k i 0...0k j 1k j+1...k n 10 t 0...0k i 10...0k j k j+1...k n 10 t 0...0k i+10...0k j 1k j+1...k n 10 +t 0...0 k i 0...0k j k j+1...k n 10 t 0...0 k i 0...0k j 1...k n 10 i+1 j i 1 j t 0...0k i 0...0k j 1k j+1...k n 10 (4.16) where s = n+l [l] mod2 +1. Equations (4.16) correspond to Equations (3.4) in the system in Theorem 3.3. By (4.9) we have t (s 4) k 1...k m0...0k n 1 k n = t k 1...k m0...0k n 1 2k n = t k 1...k m0...0k n 1 k n 1 t (s 4) (s 4) k 1...k m0...0k n 1 2k n+1 + t k 1...k m0...02k n+k n 1 0 t (s+4kn) k 1...k m0...0k n 1 20 t k 1...k m0...0k n 1 2k n (4.17) where s = 4k n 2( n 1 i=r k i) n+r+[r] mod2 +5. Equations (4.17) correspond to Equations (3.6) in the system in Theorem 3.3. By (4.10) we have t (s 4) k 1...k m0...01k n = t k 1...k m 10...0k n t k = 1...k m0...01k n 1 t (s 4) (s+4kn) k 1...k m 10...0k n+1 + t k 1...k m 10...00 t (s 4) k 1...k m0...02k n+10 t k 1...k m 10...0k n (4.18) where s = 4k n 2( n 1 i=r k i) n+r+[r] mod2 +5. Equations (4.20) correspond to Equations (3.5) in the system in Theorem 3.3. By (4.11) we have

ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 17 t (s 4) k 1...k m0...0k l 0...0k n = t k 1...k m0...0k l 20...0k n t k = 1...k m0...0k l 0...0k n 1 t (s 4) k 1...k m0...0k l 20...0k n+1 + s(s 4) k 1...k m0...0k l 0...02k n0 t k 1...k m0...0k l 20...0k n (4.19) where s = 4k n 2( n 1 i=r k i) n+r+[r] mod2 +5. Equations (4.19) correspond to Equations (3.8) in the system in Theorem 3.3. By (4.12) we have t (s 4) k 1...k m0...01 l 0...0k n = t k 1...k m 10...0...0k n = t k 1...k m0...010...0k l n 1 t (s 4) k 1...k m 10...0...0k n+1 + s(s 4) k 1...k m0...010...02k n0 l t k 1...k m 10...0...0k n (4.20) where s = 4k n 2( n 1 i=r k i) n+r+[r] mod2 +5. Equations (4.20) correspond to Equations (3.7) in the system in Theorem 3.3. Therefore we have the following theorem. Theorem 4.1. Every equation in the system in Theorem 3.3 corresponds to a mutation equation of the cluster algebra A. Each minimal affinization in Theorem 3.3 corresponds to a cluster variable in A defined in Section 4.1. Therefore the Hernandez-Leclerc conjecture (Conjecture 13.2 in [HL10] and Conjecture 9.1 in [Le10]) is true for the minimal affinizations in Theorem 3.3. 5. The dual system of Theorem 3.3 In what follows we study the dual system of the system in Theorem 3.3. Theorem 5.1 (Theorem 3.9 [Her07]). For s Zk 1...k n 1 Z 0 the module is anti-special. Theorem 5.2. For k 1...k n 1 Z 0 k n Z 1 and s Z the modules T 0...0k n i 0...0k n (1 i n 1) T 0...0k n j 0...0k n i 0...0k n (1 i < j n 1 0 k n j i+1) T k 1...k m0...0k l 0...0k n (1 m < l n 1 0 k 1 + +k m n l+1) S k 1...k m0...0k l 0...0k n 1 0 (1 m < l n 2 0 k 1 + +k m n l+1) are anti-special. T k 1 k 2...k n 1 0 Proof. The proof of the theorem follows from dual arguments in the proof of Theorem 3.2. Lemma 5.3. Let ι : ZP ZP be a homomorphism of rings such that Y 1aq s Y 1 1aq 2n s+2 Y 2aq s Y 1...Y 2aq 2n s+2 naq s Y 1 for all a C s Z. Then naq 2n s+2 χ q ( T k 1 k 2...k n ) = ι(χ q (T k 1 k 2...k n )) χ q (T k 1 k 2...k n ) = ι(χ q ( T k 1 k 2...k n )).

18 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO Proof. The proof is similar to the proof of Lemma 7.3 in [LM13]. Theorem 5.4. Let s Z k 1 k 2...k n Z 0. We have [ T k 1 k 2 1k 3...k n 1 0][ T k 1 k 2 k 3...k n 1 0] =[ T k 1 1k 2 k 3...k n 1 0][ T k 1 +1k 2 1k 3...k n 1 0 ] (5.1) +[ T 0k 2 1k 3...k n 1 0][ T 0k 1 +k 2 k 3...k n 1 0 ] where k 1 k 2 > 0; [ T 0...0k i k i+1 1k i+2...k n 10 ][ T 0...0k i k i+1 k i+2...k n 10 ] =[ T 0...0k i +1k i+1 1k i+2...k n 10 ][ T 0...0k i 1k i+1 k i+2...k ] n 10 where k i k i+1 > 0 1 < i n 2; +[ T 0...0k i +k i+1 i+1 k i+2...k n 10 ][ T 0...0 k i 0k i+1 1k i+2...k ] n 10 i 1 i+1 (5.2) [ T k 10...0k j 1k j+1...k n 10 ][ T k 10...0k j k j+1...k n 10 ] =[ T k 1+10...0k j 1k j+1...k n 10 ][ T k 1 10...0k j k j+1...k ] n 10 where 2 < j n 1; +[ T 0k 10...0k j k j+1...k n 10 ][ T 0...0k j 1k j+1...k ] n 10 (5.3) [ T 0...0k i 0...0k j 1k j+1...k n 10 ][ T where 2 < i+1 < j n 1. 0...0k i 0...0k j k j+1...k n 10 ] =[ T 0...0k i 1 i +[ T 0...0 k i i+1 0...0k j j 0...0k j j In the following let k 1...k n 1 Z 0 k n Z >0 and s Z. k j+1...k n 10 ][ T 0...0k i+1 i k j+1...k n 10 ][ T 0...0 k i i 1 0...0k j 1k ] j+1...k n 10 j 0...0k j 1k ] j+1...k n 10 j (5.4) [T k 1...k m 10...0k n ][T (s 4) k 1...k m0...01k n ] =[T (s 4) k 1...k m0...01k n 1 ][T k 1...k ] m 10...0k n+1 (5.5) +[T (s+4kn) (s 4) k 1...k m 10...00 ][T k 1...k ] m0...02k n+10 where 1 m n 2 and 0 k 1 + +k m 2; [T k 1...k m0...0k n 1 2k n ][T (s 4) k 1...k m0...0k n 1 k n ] =[T (s 4) k 1...k m0...0k n 1 k n 1 ][T k 1...k m0...0k n 1 2k ] n+1 where 1 m n 2 k n 1 2 and 0 k 1 + +k m 2; +[T (s+4kn) (s 4) k 1...k m0...0k n 1 20 ][T k 1...k m0...02k n+k n 1 0 ] (5.6)

ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 19 [T k 1...k m 10...0...0k n ][T (s 4) k 1...k m0...010...0k n ] =[T (s 4) k 1...k m0...010...0k n 1 ][T k 1...k ] m 10...0...0k n+1 l l +[S (s 4) k 1...k m0...01 l 0...02k n0 ] (5.7) where 1 m < l n 2 0 k 1 + +k m n l+1; [T k 1...k m0...0k l 20...0k n ][T (s 4) k 1...k m0...0k l 0...0k n ] =[T (s 4) k 1...k m0...0k l 0...0k n 1 ][T k 1...k m0...0k l 20...0k ] n+1 +[S (s 4) k 1...k m0...0k l 0...02k n0 ] (5.8) where 1 m < l n 2 k l 2 and 0 k 1 + +k m n l+1. Proof. Thelowest weight monomial of χ q ( T k 1...k n ) isobtained fromthehighestweight monomial of χ q ( T k 1...k n ) by the substitutions: 1 s 1 1 2n+s+2 2 s 2 1 2n+s+2...n s n 1 2n+s+2. After we apply ι to χ q ( T k 1...k n ) the lowest weight monomial of χ q ( T k 1...k n ) becomes the highest weight monomial of ι(χ q ( T k 1...k n ). Therefore by Lemma 5.3 the highest weight monomial of ι(χ q ( T k 1...k n ) is obtained from the lowest weight monomial of χ q ( T k 1...k n ) by the substitutions: 1 s 1 1 2n s+2 2 s 2 1 2n s+2... n s n 1 2n s+2. It follows that the highest weight monomial of ι(χ q ( T k 1...k n ) is obtained from the highest weight monomial of χ q ( T k 1...k n ) by the substitutions: 1 s 1 s 2 s 2 s... n s n s. Therefore the dual system of type C n is obtained applying ι to both sides of every equation of the system in Theorem 3.3. The simplify of every module in the summands on the right hand side of every equation in the dual system follows from Theorem 3.6 and Lemma 5.3.

20 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO Example 5.5. The following are some equations in the system in Theorem 5.4. [1 2 ][2 1 1 4 ] = [1 2 1 4 ][2 1 ]+[2 1 2 3 ] [1 2 1 4 ][2 1 1 4 1 6 ] = [2 1 1 4 ][1 2 1 4 1 6 ]+[2 1 2 3 2 5 ] [3 2 ][2 1 3 6 ] = [2 1 ][3 2 3 6 ]+[2 1 2 3 2 5 ] [3 2 3 6 ][2 1 3 6 3 10 ] = [2 1 3 6 ][3 2 3 6 3 10 ]+[2 1 2 3 2 5 2 7 2 9 ] [1 0 3 6 ][3 2 ] = [1 0 ][3 2 3 6 ]+[1 0 2 3 2 5 ] [3 2 3 6 ][1 0 3 6 3 10 ] = [1 0 3 6 ][3 2 3 6 3 10 ]+[1 0 2 3 2 5 2 7 2 9 ] [3 4 ][1 0 2 3 3 8 ] = [1 0 2 3 ][3 4 3 8 ]+[1 0 2 3 2 5 2 7 ] [3 4 3 8 ][1 0 2 3 3 8 3 12 ] = [1 0 2 3 3 8 ][3 4 3 8 3 12 ]+[1 0 2 3 2 5 2 7 2 9 2 11 ] [4 3 ][1 0 4 7 ] = [1 0 ][4 3 4 7 ]+[1 0 3 4 3 6 ] [4 5 ][1 0 2 3 4 9 ] = [1 0 2 3 ][4 5 4 9 ]+[1 0 2 3 3 6 3 8 ] [1 0 4 7 ][1 0 1 2 2 5 4 11 ] = [1 0 1 2 2 5 ][1 0 4 7 4 11 ]+[1 2 0 1 22 5 3 8 3 10 ]. 5.1. A system corresponding to the system in Theorem 5.4. By replacing each [ T k 1...k n ] (resp. [T k 1...k n ]) in the system of Theorem 5.4 with χ( m k1...k n ) (resp. χ(m k1...k n )) we obtain a system of equations consisting of thecharacters of U q g-modules. Thefollowing are two equations in the system. χ( m k1k 2 1k 3...k n 10)χ( m k1k 2k 3...k n 10) = χ( m k1 1k 2k 3...k n 10)χ( m k1+1k 2 1k 3...k n 10)+χ( m 0k2 1k 3...k n 10)χ( m 0k1+k 2k 3...k n 10) χ(m k1...k m 10...0k n )χ(m k1...k m0...01k n ) = χ(m k1...k m0...01k n 1)χ(m k1...k m 10...0k n+1)+χ(m k1...k m 10...00)χ(m k1...k m0...02k n+10). 5.2. Relation between the systems in Theorem 5.4 and cluster algebras. Let I 1 = {12...n 1} and Let S 1 = {2i+1 i Z 0 } S 2 = {2i i Z 0 } S 3 = {4i+1 i Z 0 } S 4 = {4i+3 i Z 0 } S 5 = {4i i Z 0 } S 6 = {4i+2 i Z 0 }. V = ((S 1 I 1 ) S 2 ) ((S 2 I 1 ) S 1 ) (({n} S 2 ) S 3 ) (({n} S 2 ) S 4 ) (({n} S 1 ) S 5 ) (({n} S 1 ) S 6 ). We define Q with vertex set V as follows. The arrows of Q from the vertex (ir) to the vertex (js) if and only if b ij 0 and s = r b ij +d i d j. Let t = t 1 t 2 where t 1 = { t ( n+i [i] mod2+1) 0...0k i 0...0 i = 1...n 1k 1...k n 1 Z 0 } (5.9) {t ( 4kn+4) 0...0...0k n t ( 4kn+2) 0...0...0k n n is odd k n Z 1 } t 2 = {t ( 4kn+3) 0...0...0k n t ( 4kn+1) 0...0...0k n n is even k n Z 1 } (5.10) {t ( 2k i n+i+[i] mod2 +1) 0...0k i 0...0 i = 1...n 1 k 1...k n 1 Z 0 }.

ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 21 Let à be the cluster algebra defined by the initial seed ( t Q). By similar arguments in Section 4.1 we have the following theorem. Theorem 5.6. Every equation in the system in Theorem 5.4 corresponds to a mutation equation of the cluster algebra A. Every minimal affinization in the system in Theorem 5.4 corresponds to a cluster variable of the cluster algebra A. Therefore the Hernandez-Leclerc conjecture (Conjecture 13.2 in [HL10] and Conjecture 9.1 in [Le10]) is true for the minimal affinizations Theorem 5.4. 6. Proof of theorem 3.2 In this section we prove Theorem 3.2. Without loss of generality we suppose that s = 0 in T where T is a module in Theorem 3.2. T 6.1. The cases of 0...0k n i 0...0k n (1 i n 1). Case 1. i = 1. Let m + = T 0...0k n 1 k n. Then Let m + = n 0 n 4...n 4kn 4(n 1) 4kn+1(n 1) 4kn+3...(n 1) 4kn+2k n 1 1. U = I {aq s : s Zs 4k n +2k n 1 1}. Since all monomials in M(χ q (m + ) trunc m+ Q Uχ q (m + )) are right-negative it is sufficient to show that trunc m+ Q Uχ q (m + ) is special. Let s 1 M = {m + A 1 n4k : 0 s k n 4j 2 n 1}. j=0 It is easy to see that M satisfies the conditions in Theorem 2.6. Therefore trunc m+ Q Uχ q (m + ) = m M m and hence trunc m+ Q Uχ q (m + ) is special. Case 2. i = 2. Let m + = T 0...0k n 2 0k n. Then m + = n 0 n 4...n 4kn 4(n 2) 4kn+2(n 2) 4kn+4...(n 2) 4kn+2k n 2. Case 2.1. k n = 1. Let g + = T 0...0k n 2 01. Then g + = n 0 (n 2) 6 (n 2) 8...(n 2) 2kn 2 +4. Let U = I {aq s : s Zs 2m+4}. The monomials in M(χ q (g + )) are g 0 = g + g 1 = g 0 A 1 n2 g 2 = g 1 A 1 n 14 g 3 = g 2 A 1 n 12 g 4 = g 3 A 1 n4. Therefore the only dominant monomial in χ q (g + ) is g +. Case 2.2. k n > 1. We write m + into two different monomials products that is m + = m 1 m 2 = m 1 m 2 for some monomials m 1 m 2 m 1 m 2. Since each monomial in the product is special we can use the Frenkel-Mukhin algorithm to compute the q-characters of the monomial.

22 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO By Lemma 2.2 we have M(χ q (m + )) M(χ q (m 1 )χ q(m 2 )) M(χ q(m 1 )χ q(m 2 )) and we will show that the only dominant monomial in χ q (m + ) is m +. Hence χ q (m + ) is special. Let m + = m 1 m 2 where m 1 = n 0n 4...n 4kn 8 m 2 = n 4kn 4(n 2) 4kn+2(n 2) 4kn+4...(n 2) 4kn+2k n 2. In case 2.1 we have shown that m 2 is special. Therefore the Frenkel-Mukhin algorithm works for m 2. We will use the Frenkel-Mukhin algorithm to compute χ q(m 1 )χ q(m 2 ). Let m = m 1m 2 be a dominant monomial where m i M(χ q (m i ))i = 12. Suppose that m 2 m 2. If m 2 is right-negative then m is a right-negative monomial and therefore m is not dominant. This is a contradiction. Hence m 2 is not right-negative. By Case 2.1 m 2 is one of the following monomials m 1 = m 2 A 1 n4k n 2 = n 1 4k n (n 1) 4kn 3(n 1) 4kn 1(n 2) 4kn+2(n 2) 4kn+4...(n 2) 4kn+2k n 2 m 2 = m 1 A 1 n 14k n = (n 1) 4kn 3(n 1) 1 4k n+1 (n 2) 4k n (n 2) 4kn+2(n 2) 4kn+4...(n 2) 4kn+2k n 2 m 3 = m 2 A 1 n 14k n 2 = (n 1) 1 4k n 1 (n 1) 1 4k n+1 n 4k n 2(n 2) 4kn 2(n 2) 4kn (n 2) 4kn+2(n 2) 4kn+4...(n 2) 4kn+2k n 2 m 4 = m 3 A 1 n4k n = n 1 4k n+2 (n 2) 4k n 2(n 2) 4kn (n 2) 4kn+2(n 2) 4kn+4...(n 2) 4kn+2k n 2. Wecanseethatn 1 4k n cannotbecanceledbyanymonomialinχ q (m 1 ). Thereforem = m 1m 2 (m 1 χ q (m 1 )) is not dominant. This is a contradiction. Hence m 2 m 1. Similarly m 2 cannot be m i i = 234. This is a contradiction. Therefore m 2 = m 2. If m 1 m 1 then m 1 is right-negative. Sincemis dominant each factor with a negative power in m 1 needs to be canceled by a factor in m 2. The only factor in m 2 which can be canceled is n 4kn 4. We have M(χ q (m 1 )) M(χ q(n 0 n 4...n 4kn 12))χ q (n 4kn 8). Only monomials in χ q (n 4kn 8) can cancel n 4kn 4. The only monomial in χ q (n 4kn 8) which can cancel n 4kn 4 is n 1 4k (n 1) n 4 4k n 7(n 1) 4kn 5. Therefore m 1 is in the set M(χ q (n 0 n 4...n 4kn 12))n 1 4k n 4 (n 1) 4k n 7(n 1) 4kn 5. If m 1 = (n 0 n 4...n 4kn 12)n 1 4k n 4 (n 1) 4k n 7(n 1) 4kn 5 then is dominant. Suppose that m = m 1 m 2 =n 0 n 4...n 4kn 12(n 1) 4kn 7(n 1) 4kn 5 (n 2) 4kn+2(n 2) 4kn+4...(n 2) 4kn+2k n 2 (6.1) m 1 (n 0 n 4...n 4kn 12)n 1 4k n 4 (n 1) 4k n 7(n 1) 4kn 5. Then m 1 = g 1 n 1 4k (n 1) n 4 4k n 7(n 1) 4kn 5 where g 1 is a nonhighest monomial in χ q (n 0 n 4... n 4kn 12). Since g 1 is right-negative (n 1) 4kn 7 or (n 1) 4kn 5 should cancel a factor of g 1 with a negative power. It is easy to see that there exists either a factor (n 1) 2 4k or n 9 (n 1) 2 4k in a monomial in χ n 7 q(n 0 n 4...n 4kn 12)n 1 4k (n 1) n 4 4k n 7(n 1) 4kn 5 by using the Frenkel-Mukhin algorithm. Thereforeweneed afactor (n 1) 4kn 9 or(n 1) 4kn 7 inamonomial

ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 23 in χ q (n 0 n 4...n 4kn 12). We have χ q (n 0 n 4...n 4kn 12)n 1 4k n 4 (n 1) 4k n 7(n 1) 4kn 5 χ q (n 0 n 4...n 4kn 16)χ q (n 4kn 12)n 1 4k n 4 (n 1) 4k n 7(n 1) 4kn 5. The factors (n 1) 4kn 9 and (n 1) 4kn 7 can only come from the monomials in χ q (n 4kn 12). But notice that any monomial in χ q (n 4kn 12) dose not have a factor (n 1) 4kn 9. The only monomial in χ q (n 4kn 12) which contains a factor (n 1) 4kn 7 is Therefore m 1 is in the set (n 3) 4kn 7(n 2) 4kn 10(n 2) 1 4k n 6 (n 1) 4k n 7n 1 4k n 6. M(χ q (n 0 n 4...n 4kn 16))(n 3) 4kn 7(n 2) 4kn 10(n 2) 1 4k (n 1) n 6 4k n 7n 1 4k n 6 n 1 4k (n 1) n 4 4k n 7(n 1) 4kn 5 =(χ q (n 0 n 4...n 4kn 16))(n 3) 4kn 7(n 2) 4kn 10(n 2) 1 4k n 6 n 1 4k n 6 n 1 4k n 4 (n 1)2 4k (n 1) n 7 4k n 5. Since m = m 1 m 2 is dominant (n 2) 1 4k n 6 n 1 4k n 6 χ q (n 0 n 4...n 4kn 16). But notice that (n 2) 1 in χ q (n 0 n 4...n 4kn 16). This is a contradiction. 4k n 6 n 1 4k n 6 should be canceled by some monomial in cannot be canceled by any monomial Therefore the only dominant monomials in χ q (m 1 )χ q(m 2 ) are m + and 6.1. On the other hand let m + = m 1 m 2 where The monomial 6.1 is m 1 = n 0n 4...n 4kn 4 m 2 = (n 2) 4kn+2(n 2) 4kn+4...(n 2) 4kn+2k n 2. g = m + A 1 n4k n 6. (6.2) Since A ia i Ia C are algebraically independent the expression 6.2 of g of the form m + i Ia C A v ia ia where v ia are some integers is unique. Suppose that the monomial g is in χ q (m 1 )χ q(m 2 ). Then g = g 1g 2 where g i M(χ q (m ))i = 12. By the expression 6.2 we have g 2 = m 2 and g 1 = m 1 A 1 n4k n 6 is not in M(χ q (m χ q (m 1 )χ q(m 2 ). Case 3. i 3. Let m + = i. By the Frenkel-Mukhin algorithm the monomial m 1 A 1 n4k n 6 )). Therefore g is not in 1 )). This contradicts the fact that g 1 M(χ q (m 1 T 0...0k n i 0...0k n. Then m + = n 0 n 4...n 4kn 4(n i) 4kn+i(n i) 4kn+i+2...(n i) 4kn+2k n i +i 2. Case 3.1. k n = 1. Let g + = n 0 (n i) i+4 (n i) i+6 (n i) 2kn i +i+2. Since M(χ q (n 0 (n i) i+4 )) M(χ q (n 0 )χ q ((n i) i+4 )) by using the Frenkel-Mukhin algorithm we show that the only possible dominant monomials in χ q (n 0 )χ q ((n i) i+4 ) are n 0 (n i) i+4 and (n 1) 1 (n i 1) i+3.