FROM TRIANGULATED CATEGORIES TO CLUSTER ALGEBRAS 1. Introduction Cluster algebras
Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA ›...
Transcript of Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA ›...
![Page 1: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/1.jpg)
Cluster algebras andquantum loop algebras
Bernard LeclercUniversite de Caen
XXI Coloquio Latinoamericano de AlgebraBuenos Aires, 28/07/2016
![Page 2: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/2.jpg)
Problems of representation theory
• Given a group or an algebra, describe
irreducible characters,
natural bases in irreducible representations,
tensor product multiplicities.
Example:
Finite-dimensional representations of sln(C):
Schur polynomials,
Young tableaux,
Littlewood-Richardson rule.
![Page 3: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/3.jpg)
Problems of representation theory
• Given a group or an algebra, describe
irreducible characters,
natural bases in irreducible representations,
tensor product multiplicities.
Example:
Finite-dimensional representations of sln(C):
Schur polynomials,
Young tableaux,
Littlewood-Richardson rule.
![Page 4: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/4.jpg)
Problems of representation theory
• Given a group or an algebra, describe
irreducible characters,
natural bases in irreducible representations,
tensor product multiplicities.
Example:
Finite-dimensional representations of sln(C):
Schur polynomials,
Young tableaux,
Littlewood-Richardson rule.
![Page 5: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/5.jpg)
Problems of representation theory
• Given a group or an algebra, describe
irreducible characters,
natural bases in irreducible representations,
tensor product multiplicities.
Example:
Finite-dimensional representations of sln(C):
Schur polynomials,
Young tableaux,
Littlewood-Richardson rule.
![Page 6: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/6.jpg)
Problems of representation theory
• Given a group or an algebra, describe
irreducible characters,
natural bases in irreducible representations,
tensor product multiplicities.
Example:
Finite-dimensional representations of sln(C):
Schur polynomials,
Young tableaux,
Littlewood-Richardson rule.
![Page 7: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/7.jpg)
Problems of representation theory
• Given a group or an algebra, describe
irreducible characters,
natural bases in irreducible representations,
tensor product multiplicities.
Example:
Finite-dimensional representations of sln(C):
Schur polynomials,
Young tableaux,
Littlewood-Richardson rule.
![Page 8: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/8.jpg)
Problems of representation theory
• Given a group or an algebra, describe
irreducible characters,
natural bases in irreducible representations,
tensor product multiplicities.
Example:
Finite-dimensional representations of sln(C):Schur polynomials,
Young tableaux,
Littlewood-Richardson rule.
![Page 9: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/9.jpg)
Problems of representation theory
• Given a group or an algebra, describe
irreducible characters,
natural bases in irreducible representations,
tensor product multiplicities.
Example:
Finite-dimensional representations of sln(C):Schur polynomials,
Young tableaux,
Littlewood-Richardson rule.
![Page 10: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/10.jpg)
Problems of representation theory
• Given a group or an algebra, describe
irreducible characters,
natural bases in irreducible representations,
tensor product multiplicities.
Example:
Finite-dimensional representations of sln(C):Schur polynomials,
Young tableaux,
Littlewood-Richardson rule.
![Page 11: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/11.jpg)
Classical Lie theory
• g semisimple complex Lie algebra.
• Rep(g) tensor category of finite-dimensional representations.
•Weyl’s character formula. Steinberg’s tensor product formula.
• Canonical bases and crystal bases (Lusztig, Kashiwara).
• Generalizations of Littlewood-Richardson rule (Kashiwara,Littelmann, Berenstein-Zelevinsky, . . .)
combinatorial understanding of the tensor structure of Rep(g).
![Page 12: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/12.jpg)
Classical Lie theory
• g semisimple complex Lie algebra.
• Rep(g) tensor category of finite-dimensional representations.
•Weyl’s character formula. Steinberg’s tensor product formula.
• Canonical bases and crystal bases (Lusztig, Kashiwara).
• Generalizations of Littlewood-Richardson rule (Kashiwara,Littelmann, Berenstein-Zelevinsky, . . .)
combinatorial understanding of the tensor structure of Rep(g).
![Page 13: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/13.jpg)
Classical Lie theory
• g semisimple complex Lie algebra.
• Rep(g) tensor category of finite-dimensional representations.
•Weyl’s character formula. Steinberg’s tensor product formula.
• Canonical bases and crystal bases (Lusztig, Kashiwara).
• Generalizations of Littlewood-Richardson rule (Kashiwara,Littelmann, Berenstein-Zelevinsky, . . .)
combinatorial understanding of the tensor structure of Rep(g).
![Page 14: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/14.jpg)
Classical Lie theory
• g semisimple complex Lie algebra.
• Rep(g) tensor category of finite-dimensional representations.
•Weyl’s character formula. Steinberg’s tensor product formula.
• Canonical bases and crystal bases (Lusztig, Kashiwara).
• Generalizations of Littlewood-Richardson rule (Kashiwara,Littelmann, Berenstein-Zelevinsky, . . .)
combinatorial understanding of the tensor structure of Rep(g).
![Page 15: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/15.jpg)
Classical Lie theory
• g semisimple complex Lie algebra.
• Rep(g) tensor category of finite-dimensional representations.
•Weyl’s character formula. Steinberg’s tensor product formula.
• Canonical bases and crystal bases (Lusztig, Kashiwara).
• Generalizations of Littlewood-Richardson rule (Kashiwara,Littelmann, Berenstein-Zelevinsky, . . .)
combinatorial understanding of the tensor structure of Rep(g).
![Page 16: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/16.jpg)
Classical Lie theory
• g semisimple complex Lie algebra.
• Rep(g) tensor category of finite-dimensional representations.
•Weyl’s character formula. Steinberg’s tensor product formula.
• Canonical bases and crystal bases (Lusztig, Kashiwara).
• Generalizations of Littlewood-Richardson rule (Kashiwara,Littelmann, Berenstein-Zelevinsky, . . .)
combinatorial understanding of the tensor structure of Rep(g).
![Page 17: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/17.jpg)
Classical Lie theory
• g semisimple complex Lie algebra.
• Rep(g) tensor category of finite-dimensional representations.
•Weyl’s character formula. Steinberg’s tensor product formula.
• Canonical bases and crystal bases (Lusztig, Kashiwara).
• Generalizations of Littlewood-Richardson rule (Kashiwara,Littelmann, Berenstein-Zelevinsky, . . .)
combinatorial understanding of the tensor structure of Rep(g).
![Page 18: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/18.jpg)
Quantum groups
Uq(g)
&&U(g)
%%
99
Uq(Lg)
U(Lg)
88
• Uq(g) quantum enveloping algebra (q ∈ C∗, not a root of 1).
• Lg := g⊗C[t , t−1] loop algebra.
• Uq(Lg) quantum loop algebra.
Aim: study the tensor category of finite-dimensional representationsof Uq(Lg).
Motivation: mathematical physics,
trigonometric solutions ofYang-Baxter equation.
![Page 19: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/19.jpg)
Quantum groups
Uq(g)
&&U(g)
%%
99
Uq(Lg)
U(Lg)
88
• Uq(g) quantum enveloping algebra (q ∈ C∗, not a root of 1).
• Lg := g⊗C[t , t−1] loop algebra.
• Uq(Lg) quantum loop algebra.
Aim: study the tensor category of finite-dimensional representationsof Uq(Lg).
Motivation: mathematical physics,
trigonometric solutions ofYang-Baxter equation.
![Page 20: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/20.jpg)
Quantum groups
Uq(g)&&
U(g)%%
99
Uq(Lg)
U(Lg)
88
• Uq(g) quantum enveloping algebra (q ∈ C∗, not a root of 1).
• Lg := g⊗C[t , t−1] loop algebra.
• Uq(Lg) quantum loop algebra.
Aim: study the tensor category of finite-dimensional representationsof Uq(Lg).
Motivation: mathematical physics,
trigonometric solutions ofYang-Baxter equation.
![Page 21: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/21.jpg)
Quantum groups
Uq(g)&&
U(g)%%
99
Uq(Lg)
U(Lg)
88
• Uq(g) quantum enveloping algebra (q ∈ C∗, not a root of 1).
• Lg := g⊗C[t , t−1] loop algebra.
• Uq(Lg) quantum loop algebra.
Aim: study the tensor category of finite-dimensional representationsof Uq(Lg).
Motivation: mathematical physics,
trigonometric solutions ofYang-Baxter equation.
![Page 22: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/22.jpg)
Quantum groups
Uq(g)&&
U(g)%%
99
Uq(Lg)
U(Lg)
88
• Uq(g) quantum enveloping algebra (q ∈ C∗, not a root of 1).
• Lg := g⊗C[t , t−1] loop algebra.
• Uq(Lg) quantum loop algebra.
Aim: study the tensor category of finite-dimensional representationsof Uq(Lg).
Motivation: mathematical physics,
trigonometric solutions ofYang-Baxter equation.
![Page 23: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/23.jpg)
Quantum groups
Uq(g)&&
U(g)%%
99
Uq(Lg)
U(Lg)
88
• Uq(g) quantum enveloping algebra (q ∈ C∗, not a root of 1).
• Lg := g⊗C[t , t−1] loop algebra.
• Uq(Lg) quantum loop algebra.
Aim: study the tensor category of finite-dimensional representationsof Uq(Lg).
Motivation: mathematical physics,
trigonometric solutions ofYang-Baxter equation.
![Page 24: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/24.jpg)
Quantum groups
Uq(g)&&
U(g)%%
99
Uq(Lg)
U(Lg)
88
• Uq(g) quantum enveloping algebra (q ∈ C∗, not a root of 1).
• Lg := g⊗C[t , t−1] loop algebra.
• Uq(Lg) quantum loop algebra.
Aim: study the tensor category of finite-dimensional representationsof Uq(Lg).
Motivation: mathematical physics,
trigonometric solutions ofYang-Baxter equation.
![Page 25: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/25.jpg)
Quantum groups
Uq(g)&&
U(g)%%
99
Uq(Lg)
U(Lg)
88
• Uq(g) quantum enveloping algebra (q ∈ C∗, not a root of 1).
• Lg := g⊗C[t , t−1] loop algebra.
• Uq(Lg) quantum loop algebra.
Aim: study the tensor category of finite-dimensional representationsof Uq(Lg).
Motivation: mathematical physics, trigonometric solutions ofYang-Baxter equation.
![Page 26: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/26.jpg)
What is known ?
• Classification of irreducibles by highest `-weight (Chari-Pressley):
L(λ ), λ ∈ P+ :=⊕z∈C∗
⊕i∈I
N(ϖi ,z).
• Kirillov-Reshetikhin modules:
W (i)k ,z := L
((ϖi ,z)+(ϖi ,zq2)+ · · ·+(ϖi ,zq2k−2)
).
• q-character (Frenkel-Reshetikhin; Frenkel-Mukhin).
• Geometric q-character formulas for simply laced g(Ginzburg-Vasserot; Nakajima).
• T-system (Kuniba-Nakanishi-Suzuki; Nakajima; Hernandez):[W (i)
k ,z
][W (i)
k ,zq2
]=[W (i)
k+1,z
][W (i)
k−1,zq2
]+∏
j
[W (j)
k ,zq
]
![Page 27: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/27.jpg)
What is known ?
• Classification of irreducibles by highest `-weight (Chari-Pressley):
L(λ ), λ ∈ P+ :=⊕z∈C∗
⊕i∈I
N(ϖi ,z).
• Kirillov-Reshetikhin modules:
W (i)k ,z := L
((ϖi ,z)+(ϖi ,zq2)+ · · ·+(ϖi ,zq2k−2)
).
• q-character (Frenkel-Reshetikhin; Frenkel-Mukhin).
• Geometric q-character formulas for simply laced g(Ginzburg-Vasserot; Nakajima).
• T-system (Kuniba-Nakanishi-Suzuki; Nakajima; Hernandez):[W (i)
k ,z
][W (i)
k ,zq2
]=[W (i)
k+1,z
][W (i)
k−1,zq2
]+∏
j
[W (j)
k ,zq
]
![Page 28: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/28.jpg)
What is known ?
• Classification of irreducibles by highest `-weight (Chari-Pressley):
L(λ ), λ ∈ P+ :=⊕z∈C∗
⊕i∈I
N(ϖi ,z).
• Kirillov-Reshetikhin modules:
W (i)k ,z := L
((ϖi ,z)+(ϖi ,zq2)+ · · ·+(ϖi ,zq2k−2)
).
• q-character (Frenkel-Reshetikhin; Frenkel-Mukhin).
• Geometric q-character formulas for simply laced g(Ginzburg-Vasserot; Nakajima).
• T-system (Kuniba-Nakanishi-Suzuki; Nakajima; Hernandez):[W (i)
k ,z
][W (i)
k ,zq2
]=[W (i)
k+1,z
][W (i)
k−1,zq2
]+∏
j
[W (j)
k ,zq
]
![Page 29: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/29.jpg)
What is known ?
• Classification of irreducibles by highest `-weight (Chari-Pressley):
L(λ ), λ ∈ P+ :=⊕z∈C∗
⊕i∈I
N(ϖi ,z).
• Kirillov-Reshetikhin modules:
W (i)k ,z := L
((ϖi ,z)+(ϖi ,zq2)+ · · ·+(ϖi ,zq2k−2)
).
• q-character (Frenkel-Reshetikhin; Frenkel-Mukhin).
• Geometric q-character formulas for simply laced g(Ginzburg-Vasserot; Nakajima).
• T-system (Kuniba-Nakanishi-Suzuki; Nakajima; Hernandez):[W (i)
k ,z
][W (i)
k ,zq2
]=[W (i)
k+1,z
][W (i)
k−1,zq2
]+∏
j
[W (j)
k ,zq
]
![Page 30: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/30.jpg)
What is known ?
• Classification of irreducibles by highest `-weight (Chari-Pressley):
L(λ ), λ ∈ P+ :=⊕z∈C∗
⊕i∈I
N(ϖi ,z).
• Kirillov-Reshetikhin modules:
W (i)k ,z := L
((ϖi ,z)+(ϖi ,zq2)+ · · ·+(ϖi ,zq2k−2)
).
• q-character (Frenkel-Reshetikhin; Frenkel-Mukhin).
• Geometric q-character formulas for simply laced g(Ginzburg-Vasserot; Nakajima).
• T-system (Kuniba-Nakanishi-Suzuki; Nakajima; Hernandez):[W (i)
k ,z
][W (i)
k ,zq2
]=[W (i)
k+1,z
][W (i)
k−1,zq2
]+∏
j
[W (j)
k ,zq
]
![Page 31: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/31.jpg)
What is known ?
• Classification of irreducibles by highest `-weight (Chari-Pressley):
L(λ ), λ ∈ P+ :=⊕z∈C∗
⊕i∈I
N(ϖi ,z).
• Kirillov-Reshetikhin modules:
W (i)k ,z := L
((ϖi ,z)+(ϖi ,zq2)+ · · ·+(ϖi ,zq2k−2)
).
• q-character (Frenkel-Reshetikhin; Frenkel-Mukhin).
• Geometric q-character formulas for simply laced g(Ginzburg-Vasserot; Nakajima).
• T-system (Kuniba-Nakanishi-Suzuki; Nakajima; Hernandez):[W (i)
k ,z
][W (i)
k ,zq2
]=[W (i)
k+1,z
][W (i)
k−1,zq2
]+∏
j
[W (j)
k ,zq
]
![Page 32: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/32.jpg)
Tensor structure
• For λ = (ϖi1 ,z1)+ · · ·+(ϖik ,zk ) ∈ P+ and u ∈ C∗, set
λ [u] := (ϖi1 ,z1u)+ · · ·+(ϖik ,zku).
Fact: For any λ , µ ∈ P+ the tensor product L(λ [u])⊗L(µ) is simpleexcept for a finite number of u ∈ C∗.
“Many” simples are tensor products of smaller simples.
ProblemWhat are the prime simples ?
What is the prime factorization of an arbitrary simple ?
Which products of primes are simple ?
• Chari-Pressley (1991) full answer for Uq(Lsl2).
• Hernandez-L (2010, 2016); Nakajima (2011); Qin (2015): partial answers and conjectures for Uq(Lg).
![Page 33: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/33.jpg)
Tensor structure
• For λ = (ϖi1 ,z1)+ · · ·+(ϖik ,zk ) ∈ P+ and u ∈ C∗, set
λ [u] := (ϖi1 ,z1u)+ · · ·+(ϖik ,zku).
Fact: For any λ , µ ∈ P+ the tensor product L(λ [u])⊗L(µ) is simpleexcept for a finite number of u ∈ C∗.
“Many” simples are tensor products of smaller simples.
ProblemWhat are the prime simples ?
What is the prime factorization of an arbitrary simple ?
Which products of primes are simple ?
• Chari-Pressley (1991) full answer for Uq(Lsl2).
• Hernandez-L (2010, 2016); Nakajima (2011); Qin (2015): partial answers and conjectures for Uq(Lg).
![Page 34: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/34.jpg)
Tensor structure
• For λ = (ϖi1 ,z1)+ · · ·+(ϖik ,zk ) ∈ P+ and u ∈ C∗, set
λ [u] := (ϖi1 ,z1u)+ · · ·+(ϖik ,zku).
Fact: For any λ , µ ∈ P+ the tensor product L(λ [u])⊗L(µ) is simpleexcept for a finite number of u ∈ C∗.
“Many” simples are tensor products of smaller simples.
ProblemWhat are the prime simples ?
What is the prime factorization of an arbitrary simple ?
Which products of primes are simple ?
• Chari-Pressley (1991) full answer for Uq(Lsl2).
• Hernandez-L (2010, 2016); Nakajima (2011); Qin (2015): partial answers and conjectures for Uq(Lg).
![Page 35: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/35.jpg)
Tensor structure
• For λ = (ϖi1 ,z1)+ · · ·+(ϖik ,zk ) ∈ P+ and u ∈ C∗, set
λ [u] := (ϖi1 ,z1u)+ · · ·+(ϖik ,zku).
Fact: For any λ , µ ∈ P+ the tensor product L(λ [u])⊗L(µ) is simpleexcept for a finite number of u ∈ C∗. “Many” simples are tensor products of smaller simples.
ProblemWhat are the prime simples ?
What is the prime factorization of an arbitrary simple ?
Which products of primes are simple ?
• Chari-Pressley (1991) full answer for Uq(Lsl2).
• Hernandez-L (2010, 2016); Nakajima (2011); Qin (2015): partial answers and conjectures for Uq(Lg).
![Page 36: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/36.jpg)
Tensor structure
• For λ = (ϖi1 ,z1)+ · · ·+(ϖik ,zk ) ∈ P+ and u ∈ C∗, set
λ [u] := (ϖi1 ,z1u)+ · · ·+(ϖik ,zku).
Fact: For any λ , µ ∈ P+ the tensor product L(λ [u])⊗L(µ) is simpleexcept for a finite number of u ∈ C∗. “Many” simples are tensor products of smaller simples.
ProblemWhat are the prime simples ?
What is the prime factorization of an arbitrary simple ?
Which products of primes are simple ?
• Chari-Pressley (1991) full answer for Uq(Lsl2).
• Hernandez-L (2010, 2016); Nakajima (2011); Qin (2015): partial answers and conjectures for Uq(Lg).
![Page 37: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/37.jpg)
Tensor structure
• For λ = (ϖi1 ,z1)+ · · ·+(ϖik ,zk ) ∈ P+ and u ∈ C∗, set
λ [u] := (ϖi1 ,z1u)+ · · ·+(ϖik ,zku).
Fact: For any λ , µ ∈ P+ the tensor product L(λ [u])⊗L(µ) is simpleexcept for a finite number of u ∈ C∗. “Many” simples are tensor products of smaller simples.
ProblemWhat are the prime simples ?
What is the prime factorization of an arbitrary simple ?
Which products of primes are simple ?
• Chari-Pressley (1991) full answer for Uq(Lsl2).
• Hernandez-L (2010, 2016); Nakajima (2011); Qin (2015): partial answers and conjectures for Uq(Lg).
![Page 38: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/38.jpg)
Tensor structure
• For λ = (ϖi1 ,z1)+ · · ·+(ϖik ,zk ) ∈ P+ and u ∈ C∗, set
λ [u] := (ϖi1 ,z1u)+ · · ·+(ϖik ,zku).
Fact: For any λ , µ ∈ P+ the tensor product L(λ [u])⊗L(µ) is simpleexcept for a finite number of u ∈ C∗. “Many” simples are tensor products of smaller simples.
ProblemWhat are the prime simples ?
What is the prime factorization of an arbitrary simple ?
Which products of primes are simple ?
• Chari-Pressley (1991) full answer for Uq(Lsl2).
• Hernandez-L (2010, 2016); Nakajima (2011); Qin (2015): partial answers and conjectures for Uq(Lg).
![Page 39: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/39.jpg)
Tensor structure
• For λ = (ϖi1 ,z1)+ · · ·+(ϖik ,zk ) ∈ P+ and u ∈ C∗, set
λ [u] := (ϖi1 ,z1u)+ · · ·+(ϖik ,zku).
Fact: For any λ , µ ∈ P+ the tensor product L(λ [u])⊗L(µ) is simpleexcept for a finite number of u ∈ C∗. “Many” simples are tensor products of smaller simples.
ProblemWhat are the prime simples ?
What is the prime factorization of an arbitrary simple ?
Which products of primes are simple ?
• Chari-Pressley (1991) full answer for Uq(Lsl2).
• Hernandez-L (2010, 2016); Nakajima (2011); Qin (2015): partial answers and conjectures for Uq(Lg).
![Page 40: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/40.jpg)
Tensor structure
• For λ = (ϖi1 ,z1)+ · · ·+(ϖik ,zk ) ∈ P+ and u ∈ C∗, set
λ [u] := (ϖi1 ,z1u)+ · · ·+(ϖik ,zku).
Fact: For any λ , µ ∈ P+ the tensor product L(λ [u])⊗L(µ) is simpleexcept for a finite number of u ∈ C∗. “Many” simples are tensor products of smaller simples.
ProblemWhat are the prime simples ?
What is the prime factorization of an arbitrary simple ?
Which products of primes are simple ?
• Chari-Pressley (1991) full answer for Uq(Lsl2).• Hernandez-L (2010, 2016); Nakajima (2011); Qin (2015): partial answers and conjectures for Uq(Lg).
![Page 41: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/41.jpg)
Tensor structure
Main message
g Littlewood-Richardson ring
Uq(Lg) Fomin-Zelevinsky cluster algebra
![Page 42: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/42.jpg)
Tensor structure
Main message
g Littlewood-Richardson ring
Uq(Lg) Fomin-Zelevinsky cluster algebra
![Page 43: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/43.jpg)
Tensor structure
Main message
g Littlewood-Richardson ring
Uq(Lg) Fomin-Zelevinsky cluster algebra
![Page 44: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/44.jpg)
Cluster algebra
F =Q(x1, . . . ,xn) : ambient field.
Definition (Seed)
((y1,y2, . . . ,yn),Q), where
the yi (“variables”) are a free generating set of F ;
Q is an oriented graph (“quiver”) with n vertices, without loopnor 2-cycle.
y1
��
// y2
����y4
;;
y3
cc
oo
![Page 45: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/45.jpg)
Cluster algebra
F =Q(x1, . . . ,xn) : ambient field.
Definition (Seed)
((y1,y2, . . . ,yn),Q), where
the yi (“variables”) are a free generating set of F ;
Q is an oriented graph (“quiver”) with n vertices, without loopnor 2-cycle.
y1
��
// y2
����y4
;;
y3
cc
oo
![Page 46: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/46.jpg)
Cluster algebra
F =Q(x1, . . . ,xn) : ambient field.
Definition (Seed)
((y1,y2, . . . ,yn),Q), where
the yi (“variables”) are a free generating set of F ;
Q is an oriented graph (“quiver”) with n vertices, without loopnor 2-cycle.
y1
��
// y2
����y4
;;
y3
cc
oo
![Page 47: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/47.jpg)
Cluster algebra
F =Q(x1, . . . ,xn) : ambient field.
Definition (Seed)
((y1,y2, . . . ,yn),Q), where
the yi (“variables”) are a free generating set of F ;
Q is an oriented graph (“quiver”) with n vertices, without loopnor 2-cycle.
y1
��
// y2
����y4
;;
y3
cc
oo
![Page 48: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/48.jpg)
Cluster algebra
F =Q(x1, . . . ,xn) : ambient field.
Definition (Seed)
((y1,y2, . . . ,yn),Q), where
the yi (“variables”) are a free generating set of F ;
Q is an oriented graph (“quiver”) with n vertices, without loopnor 2-cycle.
y1
��
// y2
����y4
;;
y3
cc
oo
![Page 49: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/49.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of variables)
µk (yj) = yj if j 6= k ;
µk (yk ) =
∏i→k
yi + ∏k→j
yj
yk.
y1
��
// y2
����y4
>>
y3
``
oo
µ1(y1) =y3 +y2y4
y1
µ3(y3) =y2
2 +y1y4
y3
![Page 50: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/50.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of variables)
µk (yj) = yj if j 6= k ;
µk (yk ) =
∏i→k
yi + ∏k→j
yj
yk.
y1
��
// y2
����y4
>>
y3
``
oo
µ1(y1) =y3 +y2y4
y1
µ3(y3) =y2
2 +y1y4
y3
![Page 51: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/51.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of variables)
µk (yj) = yj if j 6= k ;
µk (yk ) =
∏i→k
yi + ∏k→j
yj
yk.
y1
��
// y2
����y4
>>
y3
``
oo
µ1(y1) =y3 +y2y4
y1
µ3(y3) =y2
2 +y1y4
y3
![Page 52: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/52.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of variables)
µk (yj) = yj if j 6= k ;
µk (yk ) =
∏i→k
yi + ∏k→j
yj
yk.
y1
��
// y2
����y4
>>
y3
``
oo
µ1(y1) =y3 +y2y4
y1
µ3(y3) =y2
2 +y1y4
y3
![Page 53: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/53.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of variables)
µk (yj) = yj if j 6= k ;
µk (yk ) =
∏i→k
yi + ∏k→j
yj
yk.
y1
��
// y2
����y4
>>
y3
``
oo
µ1(y1) =y3 +y2y4
y1
µ3(y3) =y2
2 +y1y4
y3
![Page 54: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/54.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of variables)
µk (yj) = yj if j 6= k ;
µk (yk ) =
∏i→k
yi + ∏k→j
yj
yk.
y1
��
// y2
����y4
>>
y3
``
oo
µ1(y1) =y3 +y2y4
y1
µ3(y3) =y2
2 +y1y4
y3
![Page 55: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/55.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of variables)
µk (yj) = yj if j 6= k ;
µk (yk ) =
∏i→k
yi + ∏k→j
yj
yk.
y1
��
// y2
����y4
>>
y3
``
oo
µ1(y1) =y3 +y2y4
y1
µ3(y3) =y2
2 +y1y4
y3
![Page 56: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/56.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of quiver)
(a) For every configuration i → k → j add an arrow i → j
(b) Erase the 2-cycles possibly created by (a)
(c) Change orientation of each arrow incident to k
1
��
// 2
����4
@@
3
^^
oo
µ1 1
��
2
��
oo
4
OO @@
3oooo
![Page 57: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/57.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of quiver)(a) For every configuration i → k → j add an arrow i → j
(b) Erase the 2-cycles possibly created by (a)
(c) Change orientation of each arrow incident to k
1
��
// 2
����4
@@
3
^^
oo
µ1 1
��
2
��
oo
4
OO @@
3oooo
![Page 58: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/58.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of quiver)(a) For every configuration i → k → j add an arrow i → j(b) Erase the 2-cycles possibly created by (a)
(c) Change orientation of each arrow incident to k
1
��
// 2
����4
@@
3
^^
oo
µ1 1
��
2
��
oo
4
OO @@
3oooo
![Page 59: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/59.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of quiver)(a) For every configuration i → k → j add an arrow i → j(b) Erase the 2-cycles possibly created by (a)(c) Change orientation of each arrow incident to k
1
��
// 2
����4
@@
3
^^
oo
µ1 1
��
2
��
oo
4
OO @@
3oooo
![Page 60: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/60.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of quiver)(a) For every configuration i → k → j add an arrow i → j(b) Erase the 2-cycles possibly created by (a)(c) Change orientation of each arrow incident to k
1
��
// 2
����4
@@
3
^^
oo
µ1 1
��
2
��
oo
4
OO @@
3oooo
![Page 61: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/61.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of seed)
µk ((y1, . . . ,yn),Q) = ((µk (y1), . . . ,µk (yn)),µk (Q))
y1
��
// y2
����y4
>>
y3
``
oo
µ1 y3+y2y4y1
""
y2
��
oo
y4
OO <<
y3oooo
The result is again a seed. Mutation µk is involutive.
![Page 62: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/62.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of seed)
µk ((y1, . . . ,yn),Q) = ((µk (y1), . . . ,µk (yn)),µk (Q))
y1
��
// y2
����y4
>>
y3
``
oo
µ1 y3+y2y4y1
""
y2
��
oo
y4
OO <<
y3oooo
The result is again a seed. Mutation µk is involutive.
![Page 63: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/63.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of seed)
µk ((y1, . . . ,yn),Q) = ((µk (y1), . . . ,µk (yn)),µk (Q))
y1
��
// y2
����y4
>>
y3
``
oo
µ1 y3+y2y4y1
""
y2
��
oo
y4
OO <<
y3oo oo
The result is again a seed. Mutation µk is involutive.
![Page 64: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/64.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of seed)
µk ((y1, . . . ,yn),Q) = ((µk (y1), . . . ,µk (yn)),µk (Q))
y1
��
// y2
����y4
>>
y3
``
oo
µ1 y3+y2y4y1
""
y2
��
oo
y4
OO <<
y3oo oo
The result is again a seed.
Mutation µk is involutive.
![Page 65: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/65.jpg)
Mutations µk (1≤ k ≤ n)
Definition (mutation of seed)
µk ((y1, . . . ,yn),Q) = ((µk (y1), . . . ,µk (yn)),µk (Q))
y1
��
// y2
����y4
>>
y3
``
oo
µ1 y3+y2y4y1
""
y2
��
oo
y4
OO <<
y3oo oo
The result is again a seed. Mutation µk is involutive.
![Page 66: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/66.jpg)
Cluster algebra : definition
Initial seed: ((x1, . . . ,xn),Q)
Definitioncluster: n-tuple (y1, . . . ,yn) of a seed obtained from the initialseed via a sequence of mutations
cluster variable: element of a cluster
cluster monomial: product of cluster variables belonging to thesame cluster
cluster algebra AQ: subring of F generated by the clustervariables
Theorem (Fomin-Zelevinsky, “Laurent phenomenon”)
AQ ⊂ Z[x±11 , . . . ,x±1
n ]
![Page 67: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/67.jpg)
Cluster algebra : definition
Initial seed: ((x1, . . . ,xn),Q)
Definitioncluster: n-tuple (y1, . . . ,yn) of a seed obtained from the initialseed via a sequence of mutations
cluster variable: element of a cluster
cluster monomial: product of cluster variables belonging to thesame cluster
cluster algebra AQ: subring of F generated by the clustervariables
Theorem (Fomin-Zelevinsky, “Laurent phenomenon”)
AQ ⊂ Z[x±11 , . . . ,x±1
n ]
![Page 68: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/68.jpg)
Cluster algebra : definition
Initial seed: ((x1, . . . ,xn),Q)
Definitioncluster: n-tuple (y1, . . . ,yn) of a seed obtained from the initialseed via a sequence of mutations
cluster variable: element of a cluster
cluster monomial: product of cluster variables belonging to thesame cluster
cluster algebra AQ: subring of F generated by the clustervariables
Theorem (Fomin-Zelevinsky, “Laurent phenomenon”)
AQ ⊂ Z[x±11 , . . . ,x±1
n ]
![Page 69: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/69.jpg)
Cluster algebra : definition
Initial seed: ((x1, . . . ,xn),Q)
Definitioncluster: n-tuple (y1, . . . ,yn) of a seed obtained from the initialseed via a sequence of mutations
cluster variable: element of a cluster
cluster monomial: product of cluster variables belonging to thesame cluster
cluster algebra AQ: subring of F generated by the clustervariables
Theorem (Fomin-Zelevinsky, “Laurent phenomenon”)
AQ ⊂ Z[x±11 , . . . ,x±1
n ]
![Page 70: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/70.jpg)
Cluster algebra : definition
Initial seed: ((x1, . . . ,xn),Q)
Definitioncluster: n-tuple (y1, . . . ,yn) of a seed obtained from the initialseed via a sequence of mutations
cluster variable: element of a cluster
cluster monomial: product of cluster variables belonging to thesame cluster
cluster algebra AQ: subring of F generated by the clustervariables
Theorem (Fomin-Zelevinsky, “Laurent phenomenon”)
AQ ⊂ Z[x±11 , . . . ,x±1
n ]
![Page 71: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/71.jpg)
Cluster algebra : definition
Initial seed: ((x1, . . . ,xn),Q)
Definitioncluster: n-tuple (y1, . . . ,yn) of a seed obtained from the initialseed via a sequence of mutations
cluster variable: element of a cluster
cluster monomial: product of cluster variables belonging to thesame cluster
cluster algebra AQ: subring of F generated by the clustervariables
Theorem (Fomin-Zelevinsky, “Laurent phenomenon”)
AQ ⊂ Z[x±11 , . . . ,x±1
n ]
![Page 72: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/72.jpg)
Cluster algebra : definition
Initial seed: ((x1, . . . ,xn),Q)
Definitioncluster: n-tuple (y1, . . . ,yn) of a seed obtained from the initialseed via a sequence of mutations
cluster variable: element of a cluster
cluster monomial: product of cluster variables belonging to thesame cluster
cluster algebra AQ: subring of F generated by the clustervariables
Theorem (Fomin-Zelevinsky, “Laurent phenomenon”)
AQ ⊂ Z[x±11 , . . . ,x±1
n ]
![Page 73: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/73.jpg)
A cluster algebra for Uq(Lg)
C = (cij | i , j ∈ I), Cartan matrix of g
D = diag(di), di ∈ Z>0, min(di) = 1, such that DC is symmetric
Q, quiver with vertex set V := I×Z, and arrows:
(i , r)→ (j ,s) ⇐⇒ cij 6= 0 and s = r +dicij
z := (zi ,r | (i , r) ∈ V ), indeterminates
DefinitionAQ , cluster algebra with initial seed (z,Q)
![Page 74: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/74.jpg)
A cluster algebra for Uq(Lg)
C = (cij | i , j ∈ I), Cartan matrix of g
D = diag(di), di ∈ Z>0, min(di) = 1, such that DC is symmetric
Q, quiver with vertex set V := I×Z, and arrows:
(i , r)→ (j ,s) ⇐⇒ cij 6= 0 and s = r +dicij
z := (zi ,r | (i , r) ∈ V ), indeterminates
DefinitionAQ , cluster algebra with initial seed (z,Q)
![Page 75: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/75.jpg)
A cluster algebra for Uq(Lg)
C = (cij | i , j ∈ I), Cartan matrix of g
D = diag(di), di ∈ Z>0, min(di) = 1, such that DC is symmetric
Q, quiver with vertex set V := I×Z, and arrows:
(i , r)→ (j ,s) ⇐⇒ cij 6= 0 and s = r +dicij
z := (zi ,r | (i , r) ∈ V ), indeterminates
DefinitionAQ , cluster algebra with initial seed (z,Q)
![Page 76: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/76.jpg)
A cluster algebra for Uq(Lg)
C = (cij | i , j ∈ I), Cartan matrix of g
D = diag(di), di ∈ Z>0, min(di) = 1, such that DC is symmetric
Q, quiver with vertex set V := I×Z, and arrows:
(i , r)→ (j ,s) ⇐⇒ cij 6= 0 and s = r +dicij
z := (zi ,r | (i , r) ∈ V ), indeterminates
DefinitionAQ , cluster algebra with initial seed (z,Q)
![Page 77: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/77.jpg)
A cluster algebra for Uq(Lg)
C = (cij | i , j ∈ I), Cartan matrix of g
D = diag(di), di ∈ Z>0, min(di) = 1, such that DC is symmetric
Q, quiver with vertex set V := I×Z, and arrows:
(i , r)→ (j ,s) ⇐⇒ cij 6= 0 and s = r +dicij
z := (zi ,r | (i , r) ∈ V ), indeterminates
DefinitionAQ , cluster algebra with initial seed (z,Q)
![Page 78: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/78.jpg)
A cluster algebra for Uq(Lg)
C = (cij | i , j ∈ I), Cartan matrix of g
D = diag(di), di ∈ Z>0, min(di) = 1, such that DC is symmetric
Q, quiver with vertex set V := I×Z, and arrows:
(i , r)→ (j ,s) ⇐⇒ cij 6= 0 and s = r +dicij
z := (zi ,r | (i , r) ∈ V ), indeterminates
DefinitionAQ , cluster algebra with initial seed (z,Q)
![Page 79: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/79.jpg)
Type A2
C =
(2 −1−1 2
) ... (2,3)
yy(1,2)
%%(2,1)
yy
OO
(1,0)
%%
OO
(2,−1)
OO
yy(1,−2)
OO
%%(2,−3)
yy
OO
(1,−4)
OO
...
![Page 80: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/80.jpg)
Type A2
C =
(2 −1−1 2
)
... (2,3)
yy(1,2)
%%(2,1)
yy
OO
(1,0)
%%
OO
(2,−1)
OO
yy(1,−2)
OO
%%(2,−3)
yy
OO
(1,−4)
OO
...
![Page 81: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/81.jpg)
Type A2
C =
(2 −1−1 2
) ... (2,3)
yy(1,2)
%%(2,1)
yy
OO
(1,0)
%%
OO
(2,−1)
OO
yy(1,−2)
OO
%%(2,−3)
yy
OO
(1,−4)
OO
...
![Page 82: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/82.jpg)
Type B2
C =
(2 −1−2 2
)... (2,4)
%%
...
(2,2)
yy
OO
(1,2)
yy(1,0)
%%
(2,0)
OO
%%(2,−2)
OO
yy
(1,−2)
yy
OO
(1,−4)
OO
%%
(2,−4)
OO
%%(2,−6)
OO
yy
(1,−6)
OO
(1,−8)
OO
......
![Page 83: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/83.jpg)
Type B2
C =
(2 −1−2 2
)
... (2,4)
%%
...
(2,2)
yy
OO
(1,2)
yy(1,0)
%%
(2,0)
OO
%%(2,−2)
OO
yy
(1,−2)
yy
OO
(1,−4)
OO
%%
(2,−4)
OO
%%(2,−6)
OO
yy
(1,−6)
OO
(1,−8)
OO
......
![Page 84: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/84.jpg)
Type B2
C =
(2 −1−2 2
)... (2,4)
%%
...
(2,2)
yy
OO
(1,2)
yy(1,0)
%%
(2,0)
OO
%%(2,−2)
OO
yy
(1,−2)
yy
OO
(1,−4)
OO
%%
(2,−4)
OO
%%(2,−6)
OO
yy
(1,−6)
OO
(1,−8)
OO
......
![Page 85: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/85.jpg)
Connection between Uq(Lg) and AQ
finite-dimensional Uq(Lg)-module M q-character χq(M) :a Laurent polynomial in some variables Yi ,a (i ∈ I, a ∈ C∗)cluster monomial x ∈AQ : a Laurent polynomial in the zi ,r
Main observationUnder the change of variables
Yi ,qs =zi ,s−di
zi ,s+di
the q-characters of many simple finite-dimensional Uq(Lg)-modulesbecome equal to certain cluster monomials of AQ .
![Page 86: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/86.jpg)
Connection between Uq(Lg) and AQ
finite-dimensional Uq(Lg)-module M q-character χq(M)
:a Laurent polynomial in some variables Yi ,a (i ∈ I, a ∈ C∗)cluster monomial x ∈AQ : a Laurent polynomial in the zi ,r
Main observationUnder the change of variables
Yi ,qs =zi ,s−di
zi ,s+di
the q-characters of many simple finite-dimensional Uq(Lg)-modulesbecome equal to certain cluster monomials of AQ .
![Page 87: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/87.jpg)
Connection between Uq(Lg) and AQ
finite-dimensional Uq(Lg)-module M q-character χq(M) :a Laurent polynomial in some variables Yi ,a (i ∈ I, a ∈ C∗)
cluster monomial x ∈AQ : a Laurent polynomial in the zi ,r
Main observationUnder the change of variables
Yi ,qs =zi ,s−di
zi ,s+di
the q-characters of many simple finite-dimensional Uq(Lg)-modulesbecome equal to certain cluster monomials of AQ .
![Page 88: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/88.jpg)
Connection between Uq(Lg) and AQ
finite-dimensional Uq(Lg)-module M q-character χq(M) :a Laurent polynomial in some variables Yi ,a (i ∈ I, a ∈ C∗)cluster monomial x ∈AQ
: a Laurent polynomial in the zi ,r
Main observationUnder the change of variables
Yi ,qs =zi ,s−di
zi ,s+di
the q-characters of many simple finite-dimensional Uq(Lg)-modulesbecome equal to certain cluster monomials of AQ .
![Page 89: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/89.jpg)
Connection between Uq(Lg) and AQ
finite-dimensional Uq(Lg)-module M q-character χq(M) :a Laurent polynomial in some variables Yi ,a (i ∈ I, a ∈ C∗)cluster monomial x ∈AQ : a Laurent polynomial in the zi ,r
Main observationUnder the change of variables
Yi ,qs =zi ,s−di
zi ,s+di
the q-characters of many simple finite-dimensional Uq(Lg)-modulesbecome equal to certain cluster monomials of AQ .
![Page 90: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/90.jpg)
Connection between Uq(Lg) and AQ
finite-dimensional Uq(Lg)-module M q-character χq(M) :a Laurent polynomial in some variables Yi ,a (i ∈ I, a ∈ C∗)cluster monomial x ∈AQ : a Laurent polynomial in the zi ,r
Main observationUnder the change of variables
Yi ,qs =zi ,s−di
zi ,s+di
the q-characters of many simple finite-dimensional Uq(Lg)-modulesbecome equal to certain cluster monomials of AQ .
![Page 91: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/91.jpg)
Example in type A2 (g= sl3)
Fundamental module L(ϖ1,q):
χq (L(ϖ1,q)) = Y1,q +Y−11,q3Y2,q2 +Y−1
2,q4
Cluster variable obtained by mutation at (1,2) followed bymutation at (2,3):
(µ(2,3) ◦µ(1,2))(z2,3) =z1,0
z1,2+
z1,4z2,1
z1,2z2,3+
z2,5
z2,3
![Page 92: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/92.jpg)
Example in type A2 (g= sl3)
Fundamental module L(ϖ1,q):
χq (L(ϖ1,q)) = Y1,q +Y−11,q3Y2,q2 +Y−1
2,q4
Cluster variable obtained by mutation at (1,2) followed bymutation at (2,3):
(µ(2,3) ◦µ(1,2))(z2,3) =z1,0
z1,2+
z1,4z2,1
z1,2z2,3+
z2,5
z2,3
![Page 93: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/93.jpg)
Example in type A2 (g= sl3)
Fundamental module L(ϖ1,q):
χq (L(ϖ1,q)) = Y1,q +Y−11,q3Y2,q2 +Y−1
2,q4
Cluster variable obtained by mutation at (1,2) followed bymutation at (2,3):
(µ(2,3) ◦µ(1,2))(z2,3) =z1,0
z1,2+
z1,4z2,1
z1,2z2,3+
z2,5
z2,3
![Page 94: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/94.jpg)
Theorem (Hernandez-L 2016)The “main observation” holds for all Kirillov-Reshetikhin modules.Their q-characters are cluster variables.
Geometric q-character formulas for standard modules when g isnot simply laced
A simple Uq(Lg)-module S is called real if S⊗S is simple.
Conjecture
The q-characters of all real simple Uq(Lg)-modules are equal tocertain cluster monomials of AQ (under the above change ofvariables).
Factorization of real simple modules into primes corresponds tofactorization of cluster monomials into cluster variables.
![Page 95: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/95.jpg)
Theorem (Hernandez-L 2016)The “main observation” holds for all Kirillov-Reshetikhin modules.Their q-characters are cluster variables.
Geometric q-character formulas for standard modules when g isnot simply laced
A simple Uq(Lg)-module S is called real if S⊗S is simple.
Conjecture
The q-characters of all real simple Uq(Lg)-modules are equal tocertain cluster monomials of AQ (under the above change ofvariables).
Factorization of real simple modules into primes corresponds tofactorization of cluster monomials into cluster variables.
![Page 96: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/96.jpg)
Theorem (Hernandez-L 2016)The “main observation” holds for all Kirillov-Reshetikhin modules.Their q-characters are cluster variables.
Geometric q-character formulas for standard modules when g isnot simply laced
A simple Uq(Lg)-module S is called real if S⊗S is simple.
Conjecture
The q-characters of all real simple Uq(Lg)-modules are equal tocertain cluster monomials of AQ (under the above change ofvariables).
Factorization of real simple modules into primes corresponds tofactorization of cluster monomials into cluster variables.
![Page 97: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/97.jpg)
Theorem (Hernandez-L 2016)The “main observation” holds for all Kirillov-Reshetikhin modules.Their q-characters are cluster variables.
Geometric q-character formulas for standard modules when g isnot simply laced
A simple Uq(Lg)-module S is called real if S⊗S is simple.
Conjecture
The q-characters of all real simple Uq(Lg)-modules are equal tocertain cluster monomials of AQ (under the above change ofvariables).
Factorization of real simple modules into primes corresponds tofactorization of cluster monomials into cluster variables.
![Page 98: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/98.jpg)
Theorem (Hernandez-L 2016)The “main observation” holds for all Kirillov-Reshetikhin modules.Their q-characters are cluster variables.
Geometric q-character formulas for standard modules when g isnot simply laced
A simple Uq(Lg)-module S is called real if S⊗S is simple.
Conjecture
The q-characters of all real simple Uq(Lg)-modules are equal tocertain cluster monomials of AQ (under the above change ofvariables).
Factorization of real simple modules into primes corresponds tofactorization of cluster monomials into cluster variables.
![Page 99: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/99.jpg)
Note: Some cluster monomials of AQ do not correspond tofinite-dimensional simple Uq(Lg)-modules.
(e.g. initial clustervariables, one-step mutations, ...).
What is their meaning in terms of Uq(Lg) ? Maybe one shouldconsider a bigger category than the finite-dimensional modules ?
Such a category has been introduced by Hernandez and Jimbo (2012),and further studied by Frenkel and Hernandez (2015, 2016).
Conjecture (Hernandez-L 2016)All cluster monomials of AQ correspond to real simple modules inthe category of Hernandez and Jimbo.
The conjecture is true in type A1. The conjecture is true for one-stepmutations.
Theorem (Hernandez-Frenkel 2016)The relations given by one-step mutations yield the proof of the BetheAnsatz equations for integrable models associated with Uq(Lg).
![Page 100: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/100.jpg)
Note: Some cluster monomials of AQ do not correspond tofinite-dimensional simple Uq(Lg)-modules. (e.g. initial clustervariables, one-step mutations, ...).
What is their meaning in terms of Uq(Lg) ? Maybe one shouldconsider a bigger category than the finite-dimensional modules ?
Such a category has been introduced by Hernandez and Jimbo (2012),and further studied by Frenkel and Hernandez (2015, 2016).
Conjecture (Hernandez-L 2016)All cluster monomials of AQ correspond to real simple modules inthe category of Hernandez and Jimbo.
The conjecture is true in type A1. The conjecture is true for one-stepmutations.
Theorem (Hernandez-Frenkel 2016)The relations given by one-step mutations yield the proof of the BetheAnsatz equations for integrable models associated with Uq(Lg).
![Page 101: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/101.jpg)
Note: Some cluster monomials of AQ do not correspond tofinite-dimensional simple Uq(Lg)-modules. (e.g. initial clustervariables, one-step mutations, ...).
What is their meaning in terms of Uq(Lg) ?
Maybe one shouldconsider a bigger category than the finite-dimensional modules ?
Such a category has been introduced by Hernandez and Jimbo (2012),and further studied by Frenkel and Hernandez (2015, 2016).
Conjecture (Hernandez-L 2016)All cluster monomials of AQ correspond to real simple modules inthe category of Hernandez and Jimbo.
The conjecture is true in type A1. The conjecture is true for one-stepmutations.
Theorem (Hernandez-Frenkel 2016)The relations given by one-step mutations yield the proof of the BetheAnsatz equations for integrable models associated with Uq(Lg).
![Page 102: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/102.jpg)
Note: Some cluster monomials of AQ do not correspond tofinite-dimensional simple Uq(Lg)-modules. (e.g. initial clustervariables, one-step mutations, ...).
What is their meaning in terms of Uq(Lg) ? Maybe one shouldconsider a bigger category than the finite-dimensional modules ?
Such a category has been introduced by Hernandez and Jimbo (2012),and further studied by Frenkel and Hernandez (2015, 2016).
Conjecture (Hernandez-L 2016)All cluster monomials of AQ correspond to real simple modules inthe category of Hernandez and Jimbo.
The conjecture is true in type A1. The conjecture is true for one-stepmutations.
Theorem (Hernandez-Frenkel 2016)The relations given by one-step mutations yield the proof of the BetheAnsatz equations for integrable models associated with Uq(Lg).
![Page 103: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/103.jpg)
Note: Some cluster monomials of AQ do not correspond tofinite-dimensional simple Uq(Lg)-modules. (e.g. initial clustervariables, one-step mutations, ...).
What is their meaning in terms of Uq(Lg) ? Maybe one shouldconsider a bigger category than the finite-dimensional modules ?
Such a category has been introduced by Hernandez and Jimbo (2012),and further studied by Frenkel and Hernandez (2015, 2016).
Conjecture (Hernandez-L 2016)All cluster monomials of AQ correspond to real simple modules inthe category of Hernandez and Jimbo.
The conjecture is true in type A1. The conjecture is true for one-stepmutations.
Theorem (Hernandez-Frenkel 2016)The relations given by one-step mutations yield the proof of the BetheAnsatz equations for integrable models associated with Uq(Lg).
![Page 104: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/104.jpg)
Note: Some cluster monomials of AQ do not correspond tofinite-dimensional simple Uq(Lg)-modules. (e.g. initial clustervariables, one-step mutations, ...).
What is their meaning in terms of Uq(Lg) ? Maybe one shouldconsider a bigger category than the finite-dimensional modules ?
Such a category has been introduced by Hernandez and Jimbo (2012),and further studied by Frenkel and Hernandez (2015, 2016).
Conjecture (Hernandez-L 2016)All cluster monomials of AQ correspond to real simple modules inthe category of Hernandez and Jimbo.
The conjecture is true in type A1. The conjecture is true for one-stepmutations.
Theorem (Hernandez-Frenkel 2016)The relations given by one-step mutations yield the proof of the BetheAnsatz equations for integrable models associated with Uq(Lg).
![Page 105: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/105.jpg)
Note: Some cluster monomials of AQ do not correspond tofinite-dimensional simple Uq(Lg)-modules. (e.g. initial clustervariables, one-step mutations, ...).
What is their meaning in terms of Uq(Lg) ? Maybe one shouldconsider a bigger category than the finite-dimensional modules ?
Such a category has been introduced by Hernandez and Jimbo (2012),and further studied by Frenkel and Hernandez (2015, 2016).
Conjecture (Hernandez-L 2016)All cluster monomials of AQ correspond to real simple modules inthe category of Hernandez and Jimbo.
The conjecture is true in type A1.
The conjecture is true for one-stepmutations.
Theorem (Hernandez-Frenkel 2016)The relations given by one-step mutations yield the proof of the BetheAnsatz equations for integrable models associated with Uq(Lg).
![Page 106: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/106.jpg)
Note: Some cluster monomials of AQ do not correspond tofinite-dimensional simple Uq(Lg)-modules. (e.g. initial clustervariables, one-step mutations, ...).
What is their meaning in terms of Uq(Lg) ? Maybe one shouldconsider a bigger category than the finite-dimensional modules ?
Such a category has been introduced by Hernandez and Jimbo (2012),and further studied by Frenkel and Hernandez (2015, 2016).
Conjecture (Hernandez-L 2016)All cluster monomials of AQ correspond to real simple modules inthe category of Hernandez and Jimbo.
The conjecture is true in type A1. The conjecture is true for one-stepmutations.
Theorem (Hernandez-Frenkel 2016)The relations given by one-step mutations yield the proof of the BetheAnsatz equations for integrable models associated with Uq(Lg).
![Page 107: Cluster algebras and quantum loop algebrascms.dm.uba.ar › actividades › congresos › XXICLA › SlidesLeclerc.pdf · Cluster algebras and quantum loop algebras ... Finite-dimensional](https://reader035.fdocuments.us/reader035/viewer/2022081612/5f1063e97e708231d448dff0/html5/thumbnails/107.jpg)
Note: Some cluster monomials of AQ do not correspond tofinite-dimensional simple Uq(Lg)-modules. (e.g. initial clustervariables, one-step mutations, ...).
What is their meaning in terms of Uq(Lg) ? Maybe one shouldconsider a bigger category than the finite-dimensional modules ?
Such a category has been introduced by Hernandez and Jimbo (2012),and further studied by Frenkel and Hernandez (2015, 2016).
Conjecture (Hernandez-L 2016)All cluster monomials of AQ correspond to real simple modules inthe category of Hernandez and Jimbo.
The conjecture is true in type A1. The conjecture is true for one-stepmutations.
Theorem (Hernandez-Frenkel 2016)The relations given by one-step mutations yield the proof of the BetheAnsatz equations for integrable models associated with Uq(Lg).