Monomial crystals and promotion operators
Description of the U
q( ˆ sl
4)-crystal M
2,aMathieu Mansuy
Y
2,0Y
0,2−12
Y
1,3−1Y
2,2Y
3,3−1Y
0,22
ss Y
−12,4Y
0,2Y
1,1Y
3,3−11
==
Y
1,1Y
2,2−1Y
3,1Y
0,2−11
//
3
33
Y
1,3−1Y
3,13
OO
Y
2,2Y
0,4−12
Y
1,3−1Y
2,2Y
3,3−1Y
0,22
ss
oo
0Y
2,4−1Y
0,20
}}
Y
1,3Y
3,5−1Y
1,3Y
2,4−1Y
3,3Y
0,4−13
33
Y
1,3−1Y
3,13
OO
Y
2,4Y
0,6−1oo
0Y
1,5−1Y
2,4Y
3,5−1Y
0,4Y
2,4−1Y
0,20
}}
Y
1,3Y
3,5−11
==
Y
1,3Y
2,4−1Y
3,3Y
0,4−1 333
1
// Y
1,5−1Y
3,33
OO
Y
2,4Y
0,6−12
Y
1,5−1Y
2,4Y
3,5−1Y
0,4oo
02
ss Y
−12,6Y
0,40
}}
Y
1,3Y
3,5−11
==
Y
1,5Y
2,6−1Y
3,5Y
0,6−11
// Y
1,7−1Y
3,5Y
2,4Y
0,6−12
Y
1,7−1Y
2,6Y
3,7−1Y
0,62
ss Y
−12,8Y
0,6Y
1,5Y
3,7−11
==
Y
1,5Y
2,6−1Y
3,5Y
0,6−11
//
3
33
Y
1,7−1Y
3,53
OO
We define the applications τ
2,−δ: M
2,a→ M
2,aby
τ
2,−δe
νY
Y
i,nui,n= e
ν−δY Y
i,n+2ui,n, φ : M
2,a→ M
2,aby
φ Y Y
i,nui,n= Y
Y
i+1,n+1ui,n. τ
2,−δand φ are automorphisms of the crystal M
2,a.
Remark φ acts on M
2,aas a screwing. This is the promotion
operator of the crystal M
2,a.
Associated U q v ,0 (sl 4 tor )-module
Y
2,0Y
0,2−12
Y
1,3−1Y
2,2Y
3,3−1Y
0,22
ss Y
−12,4Y
0,2Y
1,1Y
3,3−11
>>
Y
1,1Y
2,2−1Y
3,1Y
0,2−11
//
3
33
Y
1,3−1Y
3,1 3OO
0
1 2 3
χ
q(V
0(Y
2,0)) =Y
2,0+ Y
1,1Y
2,2−1Y
3,1+ Y
1,1Y
3,3−1+ Y
1,3−1Y
3,1+ Y
1,3−1Y
2,2Y
3,3−1+ Y
2,4−1Associated U q v ,1 (sl 4 tor )-module
Y
2,2Y
0,4−12
Y
1,3−1Y
2,2Y
3,3−1Y
0,22
ss
oo
0Y
2,4−1Y
0,20
~~
Y
1,3Y
3,5−1Y
1,3Y
2,4−1Y
3,3Y
0,4−13
33
Y
1,3−1Y
3,1 3OO
0
χ
q(V
1(Y
3,1)) =Y
3,1+ Y
2,2Y
3,3−1Y
0,2+ Y
2,2Y
0,4−1Associated U q v ,2 (sl 4 tor )-module
Y
2,4Y
0,6−1Y
1,5−1Y
2,4Y
3,5−1Y
0,4oo
0Y
2,4−1Y
0,20
~~
Y
1,3Y
3,5−11
>>
Y
1,3Y
2,4−1Y
3,3Y
0,4−13
33
1
// Y
1,5−1Y
3,33
OO
0
1 2 3
χ
q(V
2(Y
0,2)) =Y
0,2+ Y
1,3Y
3,3Y
0,4−1+ Y
1,5−1Y
3,3+ Y
1,3Y
3,5−1+ Y
1,5−1Y
3,5−1Y
0,4+ Y
0,6−1Associated U q v ,3 (sl 4 tor )-module
Y
2,4Y
0,6−12
Y
1,5−1Y
2,4Y
3,5−1Y
0,4oo
02
ss Y
−12,6Y
0,40
~~
Y
1,3Y
3,5−11
>>
Y
1,5Y
2,6−1Y
3,5Y
0,6−11
// Y
1,7−1Y
3,50
χ
q(V
3(Y
1,3)) =Y
1,3+ Y
1,5−1Y
2,4Y
0,4+ Y
2,6−1Y
0,4Associated U q v ,0 (sl 4 tor )-module
Y
2,4Y
0,6−12
Y
1,7−1Y
2,6Y
3,7−1Y
0,62
ss Y
−12,8Y
0,6Y
1,5Y
3,7−11
>>
Y
1,5Y
2,6−1Y
3,5Y
0,6−11
//
3