arxiv: v1 [math.qa] 22 May 2015
|
|
- Hilary Knight
- 6 years ago
- Views:
Transcription
1 ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO arxiv: v1 [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 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
3 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 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 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 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
5 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) 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 = 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 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 (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 (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 (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 (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 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 k n 1 0 = T k n 1 0 m l m l S m l 0...0k n 1 0 =T m l 0...0k n 1 0 S k n 1 0 = T k n 1 0 l l S l 0...0k n 1 0 =T l 0...0k n 1 0
6 6 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO where 1 m < l n 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 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
7 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 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 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 < i n 2; +[T 0...0k i +k i+1 k i+2...k n 10 ][T k i 0k i+1 1k i+2...k ] n 10 i+1 i 1 i+1 (3.2) [T k k j 1k j+1...k n 10 ][T k k j k j+1...k n 10 ] =[T k k j 1k j+1...k n 10 ][T k k j k j+1...k ] n 10 where k 1 k j > 0 2 < j n 1; +[T 0k k 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 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 k i i k 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 k 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 k n+1 (3.5) +[ T (s+4kn) (s 4) k 1...k m ][ 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)
9 ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 9 [ T k 1...k m k n ][ T (s 4) k 1...k m k n ] =[ T (s 4) k 1...k m k n 1 ][ T k 1...k ] m k n+1 l l +[ S (s 4) k 1...k m l k n0 ] (3.7) where 1 m < l n 2 0 k 1 + +k m n l+1; [ T k 1...k m0...0k l k 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 k ] n+1 +[ S (s 4) k 1...k m0...0k l k 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 ][ ] = [ ][2 1 ]+[ ] [ ][ ] = [ ][ ]+[ ] [3 2 ][ ] = [2 1 ][ ]+[ ] [ ][ ] = [ ][ ]+[ ] [ ][3 2 ] = [1 0 ][ ]+[ ] [ ][ ] = [ ][ ]+[ ] [3 4 ][ ] = [ ][ ]+[ ] [ ][ ] = [ ][ ]+[ ]. Example 3.5. The following are some equations in the system of type C 4. [4 3 ][ ] = [1 0 ][ ]+[ ] [4 5 ][ ] = [ ][ ]+[ ] [ ][ ] = [ ][ ]+[ ] [ ][ ] = [ ][ ]+[ ]. 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 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 k n )χ( m k1...k m0...01k n ) = χ( m k1...k m0...01k n 1)χ( m k1...k m k n+1)+χ( m k1...k m )χ( 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 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 i {1...n 1} k i Z 0 } (4.1) { t ( 4kn+4) k n t ( 4kn+2) k n n is odd k n Z 1 } t 2 = { t ( 4kn+3) k n t ( 4kn+1) k n n is even k n Z 1 } (4.2) { t ( 2k i n+i+[i] mod2 +1) 0...0k i 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].
11 ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 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 (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 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 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) k i 0k i 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 < i n 1; t ( n+l [l] mod2+1) k k j 1k j+1...k n 1 0 mod2+1) = t( n+l [l] k k j 1k j+1...k n 1 0 t( n+l [l] mod2+1) k k j k j+1...k n 1 0 +t( n+l [l] mod2+1) 0k k j k j+1...k n 1 0 t( n+l [l] mod2+1) t ( n+l [l] mod2+1) k k j 1k j+1...k n k 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 k j k j+1...k n 10 t( n+l [l] mod2+1) 0...0k i k j 1k j+1...k n 10 +t( n+l [l] mod2+1) k i 0...0k j k j+1...k n 10 t( n+l [l] mod2+1) 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.
13 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 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 n 2. We define t ( 4kn 2( n 1 i=r ki) n+r+[r]mod2+1) k1...kp 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...kp q kn0 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 kn = t ( 4kn 2( n 1 i=r ki) n+r+[r]mod2+5) k1...kp0...0kq kn 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...kp kn0 t ( 2( n 2 i=r ki) n+r+[r]mod2+5) k1...kp (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 (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)
15 ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 15 where k n 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 k 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 k n+1 + t ( 2( n 2 i=r ki) n+r+[r] mod2+5) k 1...k m 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 k 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 k 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 k n = t ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +5) k 1...k m k n 1 t ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +1) k 1...k m k n+1 l t ( 4kn 2( n 1 i=r ki) n+r+[r] mod2+5) k 1...k m k n (4.10) + s ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +1) k 1...k m0...0k l k n0 t ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +5) k 1...k m0...0k l k n (4.11) + s ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +1) k 1...k m l k n0 t ( 4kn 2( n 1 i=r k i) n+r+[r] mod2 +5) k 1...k m k 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 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 k i 0k i 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 16 XIN-YANG FENG JIAN-RONG LI YAN-FENG LUO By 4.6 we have t k k j k j+1...k n 1 0 = t k k j 1k j+1...k n 1 0 = t k k j 1k j+1...k n 1 0 t k k j k j+1...k n 1 0 +t 0k k j k j+1...k n 1 0 t 0...0k j 1k j+1...k n 1 0 t k k 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 k j k j+1...k n 10 t 0...0k i k j 1k j+1...k n 10 +t k i 0...0k j k j+1...k n 10 t 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 k n t k = 1...k m0...01k n 1 t (s 4) (s+4kn) k 1...k m k n+1 + t k 1...k m t (s 4) k 1...k m0...02k n+10 t k 1...k m k 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
17 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 k n t k = 1...k m0...0k l 0...0k n 1 t (s 4) k 1...k m0...0k l k n+1 + s(s 4) k 1...k m0...0k l k n0 t k 1...k m0...0k l k 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 m l 0...0k n = t k 1...k m k n = t k 1...k m k l n 1 t (s 4) k 1...k m k n+1 + s(s 4) k 1...k m k n0 l t k 1...k m k 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 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 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 k i 0k i+1 1k i+2...k ] n 10 i 1 i+1 (5.2) [ T k k j 1k j+1...k n 10 ][ T k k j k j+1...k n 10 ] =[ T k k j 1k j+1...k n 10 ][ T k k j k j+1...k ] n 10 where 2 < j n 1; +[ T 0k k 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 k i 0...0k j k j+1...k n 10 ] =[ T 0...0k i 1 i +[ T k i i k 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 k i i k 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 k 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 k n+1 (5.5) +[T (s+4kn) (s 4) k 1...k m ][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)
19 ON THE MINIMAL AFFINIZATIONS OVER THE QUANTUM AFFINE ALGEBRAS OF TYPE C n 19 [T k 1...k m k n ][T (s 4) k 1...k m k n ] =[T (s 4) k 1...k m k n 1 ][T k 1...k ] m k n+1 l l +[S (s 4) k 1...k m l k n0 ] (5.7) where 1 m < l n 2 0 k 1 + +k m n l+1; [T k 1...k m0...0k l k 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 k ] n+1 +[S (s 4) k 1...k m0...0k l k 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 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 ]+[ ] [ ][ ] = [ ][ ]+[ ] [3 2 ][ ] = [2 1 ][ ]+[ ] [ ][ ] = [ ][ ]+[ ] [ ][3 2 ] = [1 0 ][ ]+[ ] [ ][ ] = [ ][ ]+[ ] [3 4 ][ ] = [ ][ ]+[ ] [ ][ ] = [ ][ ]+[ ] [4 3 ][ ] = [1 0 ][ ]+[ ] [4 5 ][ ] = [ ][ ]+[ ] [ ][ ] = [ ][ ]+[ ] 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 k n )χ(m k1...k m0...01k n ) = χ(m k1...k m0...01k n 1)χ(m k1...k m k n+1)+χ(m k1...k m )χ(m k1...k m0...02k n+10) 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 i = 1...n 1k 1...k n 1 Z 0 } (5.9) {t ( 4kn+4) k n t ( 4kn+2) k n n is odd k n Z 1 } t 2 = {t ( 4kn+3) k n t ( 4kn+1) k n n is even k n Z 1 } (5.10) {t ( 2k i n+i+[i] mod2 +1) 0...0k i i = 1...n 1 k 1...k n 1 Z 0 }.
21 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 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 Then g + = n 0 (n 2) 6 (n 2) 8...(n 2) 2kn 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 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
23 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.
Cluster algebras and snake modules
(Lanzhou University and University of Connecticut) joint with Jian-Rong Li & Yan-Feng Luo A conference celebrating the 60th birthday of Prof Vyjayanthi Chari The Catholic University of America, Washington,
More informationarxiv: v2 [math.qa] 8 Nov 2014
REPRESENTATIONS OF QUANTUM AFFINE ALGEBRAS OF TYPE B N MATHEUS BRITO AND EVGENY MUKHIN arxiv:1411.56v [math.qa] 8 Nov 14 Abstract. We study finite-dimensional representations of quantum affine algebras
More informationQuiver mutations. Tensor diagrams and cluster algebras
Maurice Auslander Distinguished Lectures April 20-21, 2013 Sergey Fomin (University of Michigan) Quiver mutations based on joint work with Andrei Zelevinsky Tensor diagrams and cluster algebras based on
More informationt-deformations of Grothendieck rings as quantum cluster algebras
as quantum cluster algebras Universite Paris-Diderot June 7, 2018 Motivation U q pĝq : untwisted quantum Kac-Moody affine algebra of simply laced type, where q P C is not a root of unity, C : the category
More informationR-matrices, affine quantum groups and applications
R-matrices, affine quantum groups and applications From a mini-course given by David Hernandez at Erwin Schrödinger Institute in January 2017 Abstract R-matrices are solutions of the quantum Yang-Baxter
More informationIntroduction to cluster algebras. Andrei Zelevinsky (Northeastern University) MSRI/Evans Lecture, UC Berkeley, October 1, 2012
Introduction to cluster algebras Andrei Zelevinsky (Northeastern University) MSRI/Evans Lecture, UC Berkeley, October, 202 http://www.math.neu.edu/zelevinsky/msri-evans-2.pdf Cluster algebras Discovered
More informationColoured Kac-Moody algebras, Part I
Coloured Kac-Moody algebras, Part I Alexandre Bouayad Abstract We introduce a parametrization of formal deformations of Verma modules of sl 2. A point in the moduli space is called a colouring. We prove
More informationADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS
ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationQuivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014
Quivers of Period 2 Mariya Sardarli Max Wimberley Heyi Zhu ovember 26, 2014 Abstract A quiver with vertices labeled from 1,..., n is said to have period 2 if the quiver obtained by mutating at 1 and then
More informationQ(x n+1,..., x m ) in n independent variables
Cluster algebras of geometric type (Fomin / Zelevinsky) m n positive integers ambient field F of rational functions over Q(x n+1,..., x m ) in n independent variables Definition: A seed in F is a pair
More informationQuantizations of cluster algebras
Quantizations of cluster algebras Philipp Lampe Bielefeld University International Conference Mathematics Days in Sofia July 10, 2014, Sofia, Bulgaria Ph. Lampe (Bielefeld) Quantum cluster algebras July
More informationCRYSTAL GRAPHS FOR BASIC REPRESENTATIONS OF QUANTUM AFFINE ALGEBRAS
Trends in Mathematics Information Center for Mathematical Sciences Volume 4, Number, June, Pages 8 CRYSTAL GRAPHS FOR BASIC REPRESENTATIONS OF QUANTUM AFFINE ALGEBRAS SEOK-JIN KANG Abstract. We give a
More informationCombinatorics of Theta Bases of Cluster Algebras
Combinatorics of Theta Bases of Cluster Algebras Li Li (Oakland U), joint with Kyungyong Lee (University of Nebraska Lincoln/KIAS) and Ba Nguyen (Wayne State U) Jan 22 24, 2016 What is a Cluster Algebra?
More informationThe geometry of cluster algebras
The geometry of cluster algebras Greg Muller February 17, 2013 Cluster algebras (the idea) A cluster algebra is a commutative ring generated by distinguished elements called cluster variables. The set
More informationCluster structures on open Richardson varieties and their quantizations
Cluster structures on open Richardson varieties and their quantizations Lie Theory and Its Applications in Physics XI, Varna, June 15-21, 2015 Milen Yakimov (Louisiana State Univ.) Joint work with Tom
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationarxiv: v1 [math.rt] 15 Oct 2008
CLASSIFICATION OF FINITE-GROWTH GENERAL KAC-MOODY SUPERALGEBRAS arxiv:0810.2637v1 [math.rt] 15 Oct 2008 CRYSTAL HOYT AND VERA SERGANOVA Abstract. A contragredient Lie superalgebra is a superalgebra defined
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationNote that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.
Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationA SURVEY OF CLUSTER ALGEBRAS
A SURVEY OF CLUSTER ALGEBRAS MELODY CHAN Abstract. This is a concise expository survey of cluster algebras, introduced by S. Fomin and A. Zelevinsky in their four-part series of foundational papers [1],
More informationSEEDS AND WEIGHTED QUIVERS. 1. Seeds
SEEDS AND WEIGHTED QUIVERS TSUKASA ISHIBASHI Abstract. In this note, we describe the correspondence between (skew-symmetrizable) seeds and weighted quivers. Also we review the construction of the seed
More informationSkew-symmetric cluster algebras of finite mutation type
J. Eur. Math. Soc. 14, 1135 1180 c European Mathematical Society 2012 DOI 10.4171/JEMS/329 Anna Felikson Michael Shapiro Pavel Tumarkin Skew-symmetric cluster algebras of finite mutation type Received
More informationA NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS
A NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS D. E. BAYLERAN, DARREN J. FINNIGAN, ALAA HAJ ALI, KYUNGYONG LEE, CHRIS M. LOCRICCHIO, MATTHEW R. MILLS, DANIEL PUIG-PEY
More informationMaximal non-commuting subsets of groups
Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationarxiv: v1 [math.co] 20 Dec 2016
F-POLYNOMIAL FORMULA FROM CONTINUED FRACTIONS MICHELLE RABIDEAU arxiv:1612.06845v1 [math.co] 20 Dec 2016 Abstract. For cluster algebras from surfaces, there is a known formula for cluster variables and
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationSpecialized Macdonald polynomials, quantum K-theory, and Kirillov-Reshetikhin crystals
Specialized Macdonald polynomials, quantum K-theory, and Kirillov-Reshetikhin crystals Cristian Lenart Max-Planck-Institut für Mathematik, Bonn State University of New York at Albany Geometry Seminar,
More informationCHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and
CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)
More informationRepresentations of semisimple Lie algebras
Chapter 14 Representations of semisimple Lie algebras In this chapter we study a special type of representations of semisimple Lie algberas: the so called highest weight representations. In particular
More informationSPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS
SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the
More informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationOn some conjectures on VOAs
On some conjectures on VOAs Yuji Tachikawa February 1, 2013 In [1], a lot of mathematical conjectures on VOAs were made. Here, we ll provide a more mathematical translation, along the lines of [2]. I m
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationHomework 10 M 373K by Mark Lindberg (mal4549)
Homework 10 M 373K by Mark Lindberg (mal4549) 1. Artin, Chapter 11, Exercise 1.1. Prove that 7 + 3 2 and 3 + 5 are algebraic numbers. To do this, we must provide a polynomial with integer coefficients
More informationFACTORIAL CLUSTER ALGEBRAS
FACTORIAL CLUSTER ALGEBRAS CHRISTOF GEISS, BERNARD LECLERC, AND JAN SCHRÖER Abstract. We show that cluster algebras do not contain non-trivial units and that all cluster variables are irreducible elements.
More informationNew Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2-groups and 3-groups
New Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2-groups and 3-groups John Polhill Department of Mathematics, Computer Science, and Statistics Bloomsburg University Bloomsburg,
More informationCLUSTER ALGEBRAS IN ALGEBRAIC LIE THEORY
Transformation Groups, Vol.?, No.?,??, pp.?? c Birkhäuser Boston (??) CLUSTER ALGEBRAS IN ALGEBRAIC LIE THEORY CH. GEISS Instituto de Matemáticas Universidad Nacional Autónoma de México Ciudad Universitaria,
More informationLecture 2: Cluster complexes and their parametrizations
Lecture 2: Cluster complexes and their parametrizations Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop, August 2011 Introduction The exchange
More informationENUMERATING m-clusters USING EXCEPTIONAL SEQUENCES
ENUMERATING m-clusters USING EXCEPTIONAL SEQUENCES KIYOSHI IGUSA Abstract. The number of clusters of Dynkin type has been computed case-by-case and is given by a simple product formula which has been extended
More informationOn a refinement of Wilf-equivalence for permutations
On a refinement of Wilf-equivalence for permutations Sherry H. F. Yan Department of Mathematics Zhejiang Normal University Jinhua 321004, P.R. China huifangyan@hotmail.com Yaqiu Zhang Department of Mathematics
More informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More informationMùi invariants and Milnor operations
107 140 107 arxiv version: fonts, pagination and layout may vary from GTM published version Mùi invariants and Milnor operations MASAKI KAMEKO MAMORU MIMURA We describe Mùi invariants in terms of Milnor
More informationCluster algebras and applications
Université Paris Diderot Paris 7 DMV Jahrestagung Köln, 22. September 2011 Context Lie theory canonical bases/total positivity [17] [25] Poisson geometry [13] higher Teichmüller th. [5] Cluster algebras
More informationMath 210B:Algebra, Homework 2
Math 210B:Algebra, Homework 2 Ian Coley January 21, 2014 Problem 1. Is f = 2X 5 6X + 6 irreducible in Z[X], (S 1 Z)[X], for S = {2 n, n 0}, Q[X], R[X], C[X]? To begin, note that 2 divides all coefficients
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationNORMALIZATION OF THE KRICHEVER DATA. Motohico Mulase
NORMALIZATION OF THE KRICHEVER DATA Motohico Mulase Institute of Theoretical Dynamics University of California Davis, CA 95616, U. S. A. and Max-Planck-Institut für Mathematik Gottfried-Claren-Strasse
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Update: May 16, 2017 5 Review of Root Systems In this section, let us have a brief introduction to root system and finite Lie type classification
More informationTopics in Module Theory
Chapter 7 Topics in Module Theory This chapter will be concerned with collecting a number of results and constructions concerning modules over (primarily) noncommutative rings that will be needed to study
More informationThe number of simple modules of a cellular algebra
Science in China Ser. A Mathematics 2005 Vol.?? No. X: XXX XXX 1 The number of simple modules of a cellular algebra LI Weixia ( ) & XI Changchang ( ) School of Mathematical Sciences, Beijing Normal University,
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationarxiv: v1 [math.rt] 4 Jan 2016
IRREDUCIBLE REPRESENTATIONS OF THE CHINESE MONOID LUKASZ KUBAT AND JAN OKNIŃSKI Abstract. All irreducible representations of the Chinese monoid C n, of any rank n, over a nondenumerable algebraically closed
More informationQUANTUM F -POLYNOMIALS IN THE THEORY OF CLUSTER ALGEBRAS. A dissertation presented by Thao Tran to The Department of Mathematics
QUANTUM F -POLYNOMIALS IN THE THEORY OF CLUSTER ALGEBRAS A dissertation presented by Thao Tran to The Department of Mathematics In partial fulfillment of the requirements for the degree of Doctor of Philosophy
More informationMath 210B: Algebra, Homework 4
Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor R-Mod S 1 R-Mod, M S 1 M, is exact. First,
More informationCLUSTER ALGEBRA ALFREDO NÁJERA CHÁVEZ
Séminaire Lotharingien de Combinatoire 69 (203), Article B69d ON THE c-vectors AND g-vectors OF THE MARKOV CLUSTER ALGEBRA ALFREDO NÁJERA CHÁVEZ Abstract. We describe the c-vectors and g-vectors of the
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationarxiv: v5 [math.ra] 17 Sep 2013
UNIVERSAL GEOMETRIC CLUSTER ALGEBRAS NATHAN READING arxiv:1209.3987v5 [math.ra] 17 Sep 2013 Abstract. We consider, for each exchange matrix B, a category of geometric cluster algebras over B and coefficient
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More information15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate.
15. Polynomial rings Definition-Lemma 15.1. Let R be a ring and let x be an indeterminate. The polynomial ring R[x] is defined to be the set of all formal sums a n x n + a n 1 x n +... a 1 x + a 0 = a
More informationBases for Cluster Algebras from Surfaces
Bases for Cluster Algebras from Surfaces Gregg Musiker (U. Minnesota), Ralf Schiffler (U. Conn.), and Lauren Williams (UC Berkeley) Bay Area Discrete Math Day Saint Mary s College of California November
More informationA NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9
A NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9 ERIC C. ROWELL Abstract. We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation V of the affine Kac-Moody
More informationIntroduction to Groups
Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)
More informationSPECTRAL CHARACTERS OF FINITE DIMENSIONAL REPRESENTATIONS OF AFFINE ALGEBRAS
SPECTRAL CHARACTERS OF FINITE DIMENSIONAL REPRESENTATIONS OF AFFINE ALGEBRAS VYJAYANTHI CHARI AND ADRIANO A. MOURA Introduction In this paper we study the category C of finite dimensional representations
More informationThe real root modules for some quivers.
SS 2006 Selected Topics CMR The real root modules for some quivers Claus Michael Ringel Let Q be a finite quiver with veretx set I and let Λ = kq be its path algebra The quivers we are interested in will
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationarxiv:math/ v2 [math.qa] 12 Jun 2004
arxiv:math/0401137v2 [math.qa] 12 Jun 2004 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS EVGENY MUKHIN,1 AND ALEXANDER VARCHENKO,2 Abstract. Solutions of the Bethe ansatz equations associated
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Updated: April 14, 017 Total Positivity The final and historically the original motivation is from the study of total positive matrices, which
More information10 l-adic representations
0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois
More informationSection II.2. Finitely Generated Abelian Groups
II.2. Finitely Generated Abelian Groups 1 Section II.2. Finitely Generated Abelian Groups Note. In this section we prove the Fundamental Theorem of Finitely Generated Abelian Groups. Recall that every
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More information(Affine) generalized associahedra, root systems, and cluster algebras
(Affine) generalized associahedra, root systems, and cluster algebras Salvatore Stella (joint with Nathan Reading) INdAM - Marie Curie Actions fellow Dipartimento G. Castelnuovo Università di Roma La Sapienza
More information1 Adeles over Q. 1.1 Absolute values
1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if
More informationarxiv:math/ v2 [math.qa] 22 Jun 2006
arxiv:math/0601181v [mathqa] Jun 006 FACTORIZATION OF ALTERNATING SUMS OF VIRASORO CHARACTERS E MUKHIN Abstract G Andrews proved that if n is a prime number then the coefficients a k and a k+n of the product
More informationH(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).
92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported
More informationarxiv: v2 [math.ho] 31 Mar 2014
ON THE ENUMERATION OF VUZA CANONS FRANCK JEDRZEJEWSKI arxiv:1304.6609v2 [math.ho] 31 Mar 2014 Abstract. A Vuza canon of Z N is a non periodic factorization of the cyclic group Z N in two factors. The aim
More informationTHE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I
J Korean Math Soc 46 (009), No, pp 95 311 THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I Sung Sik Woo Abstract The purpose of this paper is to identify the group of units of finite local rings of the
More informationGroup Gradings on Finite Dimensional Lie Algebras
Algebra Colloquium 20 : 4 (2013) 573 578 Algebra Colloquium c 2013 AMSS CAS & SUZHOU UNIV Group Gradings on Finite Dimensional Lie Algebras Dušan Pagon Faculty of Natural Sciences and Mathematics, University
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Update: June 12, 2017 8 Upper Bounds and Lower Bounds In this section, we study the properties of upper bound and lower bound of cluster algebra.
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationSCHUR-WEYL DUALITY FOR QUANTUM GROUPS
SCHUR-WEYL DUALITY FOR QUANTUM GROUPS YI SUN Abstract. These are notes for a talk in the MIT-Northeastern Fall 2014 Graduate seminar on Hecke algebras and affine Hecke algebras. We formulate and sketch
More informationCluster algebras of infinite rank
J. London Math. Soc. (2) 89 (2014) 337 363 C 2014 London Mathematical Society doi:10.1112/jlms/jdt064 Cluster algebras of infinite rank Jan E. Grabowski and Sira Gratz with an appendix by Michael Groechenig
More informationCHARACTERS OF FINITE GROUPS.
CHARACTERS OF FINITE GROUPS. ANDREI YAFAEV As usual we consider a finite group G and the ground field F = C. Let U be a C[G]-module and let g G. Then g is represented by a matrix [g] in a certain basis.
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationEXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS
EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.
More informationA global version of the quantum duality principle
A global version of the quantum duality principle Fabio Gavarini Università degli Studi di Roma Tor Vergata Dipartimento di Matematica Via della Ricerca Scientifica 1, I-00133 Roma ITALY Received 22 August
More informationFock space representations of U q (ŝl n)
Fock space representations of U q (ŝl n) Bernard Leclerc (Université de Caen) Ecole d été de Grenoble, juin 2008. Contents 1 Introduction 2 2 Fock space representations of ŝl n 3 2.1 The Lie algebra ŝl
More information1. Quivers and their representations: Basic definitions and examples.
1 Quivers and their representations: Basic definitions and examples 11 Quivers A quiver Q (sometimes also called a directed graph) consists of vertices and oriented edges (arrows): loops and multiple arrows
More informationSEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p
SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p JIM STANKEWICZ 1. Separable Field Extensions of degree p Exercise: Let K be a field of characteristic
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationHecke Operators, Zeta Functions and the Satake map
Hecke Operators, Zeta Functions and the Satake map Thomas R. Shemanske December 19, 2003 Abstract Taking advantage of the Satake isomorphism, we define (n + 1) families of Hecke operators t n k (pl ) for
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More informationGOLDIE S THEOREM RICHARD G. SWAN
GOLDIE S THEOREM RICHARD G. SWAN Abstract. This is an exposition of Goldie s theorem with a section on Ore localization and with an application to defining ranks for finitely generated modules over non
More informationALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS
ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
More informationSTRONGNESS OF COMPANION BASES FOR CLUSTER-TILTED ALGEBRAS OF FINITE TYPE
STRONGNESS OF COMPANION BASES FOR CLUSTER-TILTED ALGEBRAS OF FINITE TYPE KARIN BAUR AND ALIREZA NASR-ISFAHANI Abstract. For every cluster-tilted algebra of simply-laced Dynkin type we provide a companion
More informationThe Greedy Basis Equals the Theta Basis A Rank Two Haiku
The Greedy Basis Equals the Theta Basis A Rank Two Haiku Man Wai Cheung (UCSD), Mark Gross (Cambridge), Greg Muller (Michigan), Gregg Musiker (University of Minnesota) *, Dylan Rupel (Notre Dame), Salvatore
More informationQUIVERS AND LATTICES.
QUIVERS AND LATTICES. KEVIN MCGERTY We will discuss two classification results in quite different areas which turn out to have the same answer. This note is an slightly expanded version of the talk given
More information