arxiv: v2 [math.rt] 12 Oct 2017

Transcription

1 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS arxv:79232v2 [mathrt] 2 Oct 27 SEOK-JIN KANG Abstract We construct a Young wall model for hgher level A (2) 2 - type adjont crystals The Young walls and reduced Young walls are defned n connecton wth affne energy functon We prove that the affne crystal consstng of reduced Young walls provdes a realzaton of hghest weght crystals B(λ) and B( ) Introducton Ths paper s a twsted verson of [4], where we constructed a Young wall model for A () -type adjont crystals Let g be an affne Kac-Moody algebra contanng a canoncal fnte dmensonal smple Le algebra g The adjont crystal s a U q (g)-crystal of the form B = B() B(θ) B(lθ) (l ), where θ s the (shortest) maxmal root of g In [], Benkart et al ntroduced the noton of adjont crystals and proved that B = B() B(θ) s a perfect crystal of level for all quantum affne algebras (ncludng exceptonal types) The perfect crystals, whose theory was developed by Kang et al [9, ], provde a representaton theoretc foundaton for the theory of vertex models n mathematcal physcs In partcular, every perfect crystal yelds a path realzaton of the hghest weght crystals B(λ) and B( ) for any domnant ntegral weght λ P + Thus t s an mportant and nterestng problem to fnd an explct constructon of perfect crystals In [9,, 7], t was shown that the hgher level adjont crystals are perfect for the quantum affne algebras of type A () n, C n (), A (2) 2n, D(2) n+ wth explct descrpton of -arrows In [2, ], the adjont crystals are proven to be perfect for the affne types A (2) 2n, B() n, D n () Stll, t s an open problem to prove the same statement holds for exceptonal affne types The Young walls, ntroduced by Kang n [6], provde a combnatoral model for level hghest weght crystals over quantum affne algebras of classcal 2 Mathematcs Subject Classfcaton 7B37, 7B67, 2G42, 8R5 Key words and phrases quantum affne algebra, Young wall, perfect crystal, adjont crystal

2 2 SEOK-JIN KANG type They consst of colored blocks of varous shapes on a gven groundstate wall followng the pattern prescrbed for each affne type The actons of Kashwara operators are gven explctly by combnatorcs of Young walls and the level hghest weght crystals are characterzed as affne crystals consstng of reduced Young walls Moreover, the characters can be computed easly by countng the number of colored blocks n each reduced Young wall For hgher level hghest weght crystals, we use mult-layer level Young walls to obtan a realzaton [8] All the Young walls mentoned above arse from the perfect crystals of fundamental representatons V(ω ) In some cases, they concde wth level adjont crystals In [4], Jung et al constructed a Young wall model for hgher level A () -type adjont crystals and proved that the U q(a () )-crystal consstng of reduced Young walls provdes a realzaton of hgher level hghest weght crystal B(λ) and B( ) The key pont of ths constructon les n that all the hgher level Young walls arsng from the adjont crystals are of thckness In ths paper, we extend the results of [4] to the case of twsted quantum affne algebra U q (A (2) 2 ) We frst recall the basc propertes of U q(a (2) 2 ) and gve a detaled account of affnzaton of adjont crystals, (affne) energy functon and (affne) path realzaton of hgher level hghest weght crystals B(λ) Then we construct a Young wall model for the A (2) 2 -type adjont crystals The crucal pont s that we stack two -blocks successvely to defne the Kashwara operators f and F takng the dentfcaton (3) nto account The combnatorcs of Young walls are explaned n Secton 4, where we defne the (affne) crystal structure on the set of Young walls The reduced Young walls wll be defned n connecton wth affne energy functon Our man theorem states that the A (2) 2 -type affne crystal R(λ) consstng of reduced Young walls on λ provdes a realzaton of the hghest weght crystal B(λ) over U q (A (2) 2 ) The fnal secton s devoted to the Young wall realzaton of B( ) We hope our constructon wll lead to further developments n Young wall model theory assocated wth hgher level adjont crystals (and general perfect crystals) for all quantum affne algebras Acknowledgments The author would lke to express hs sncere grattude to In-Je Lee, SJ for hs great help n wrtng ths manuscrpt Quantum affne algebras Let I = {,,,n} be a fnte ndex set and let (A,P,Π,P,Π ) be an affne Cartan datum consstng of: () a symmetrzable Cartan matrx A = (A j ),j I of affne type, () a free abelan group P of rank n+2,

3 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 3 () a Q-lnearly ndependent set Π = {α P I}, (v) P = Hom Z (P,Z), (v) Π = {h P I} satsfyng h,α j = a j (,j I) Set h = Q Z P Take an element d P such that α (d) = δ, ( I) The fundamental weghts Λ h ( I) are defned by Λ (h j ) = δ j, Λ (d) = for,j I There s a non-degenerate symmetrc blnear form (, ) on h satsfyng h,λ = 2(α,λ) (α,α ) (See [5] for more detals) Let q be an ndetermnate and set for λ P, I q = q (α,α )/2, [n] = qn q n q q Defnton The quantum affne algebra U q (g) assocated wth (A,P,Π, P,Π ) s the Q(q)-algebra wth generated by e, f ( I), q h (h P ) subject to the defnng relatons () q =, q h q h = q h+h (h,h P ), q h e j q h = q h,α j e j, q h f j q h = q h,α j f j (h P, j I), K K e f j f j e = δ j q q a j k= a j k= ( ) k e ( a j k) e j e (k) = ( j), ( ) k f ( a j k) f j f (k) = ( j), where K = q (α,α ) h 2, e (k) = e k /[k]!, f (k) = f k/[k]! The subalgebra U q (g) generated by e,f,k ± ( I) s also called the quantum affne algebra We denote by c = c h + + c n h n the canoncal central element and δ = d α + +d n α n the null root, where the coeffcents c, d ( I) are gven n [5] Then we have P = ( ) ZΛ Z δ, d I P = I Zh Zd,

4 4 SEOK-JIN KANG Note that d = except for the affne A (2) 2n -type, n whch case d = 2 Let cl : P P/Z( d δ) be the canoncal projecton and let P cl := cl(p) = I Zcl(Λ ) Moreover, we defne P + = {λ P h,λ for all I} and set P + cl := cl(p + ) The level of λ P s defned to be c,λ Z Defnton 2 A U q (g)-crystal (resp U q (g)-crystal) s a set B together wth the maps ẽ, f : B B {}, ε, ϕ : B Z { }, wt : B P (resp wt : B P cl ) satsfyng the followng condtons: () for each I, we have ϕ (b) = ε (b) + h,wt(b) (resp ϕ (b) = ε (b)+ h,wt(b) ), () wt(ẽ b) = wt(b)+α (resp wt(ẽ b) = wt(b)+α ) f e b B, () wt( f b) = wt(b) α (resp wt( f b) = wt(b) α ) f f b B, (v) ε (ẽ b) = ε (b), ϕ (ẽ b) = ϕ (b)+ f ẽ b B, (v) ε ( f b) = ε (b)+, ϕ ( f b) = ϕ (b) f f b B, (v) f b = b f and only f b = ẽ b for all b,b B, I, (v) f ϕ (b) =, then ẽ b = f b = Let B be a U q(g)-crystal For an element b B, we defne (2) ε(b) = ε (b)cl(λ ), I ϕ(b) = ϕ (b)cl(λ ) I For smplcty, we wll often wrte Λ for cl(λ ) ( I) Also we wll wrte wt(b) for wt(b) when there s no danger of confuson Let B, B 2 be U q (g)-crystals or U q(g)-crystals The tensor product B B 2 = B B 2 s defned by (3) wt(b b 2 ) = wt(b )+wt(b 2 ), ε (b b 2 ) = max(ε (b ),ε (b 2 ) h,wt(b ) ), ϕ (b b 2 ) = max(ϕ (b 2 ),ϕ (b )+ h,wt(b 2 ) ), { ẽ b b 2 f ϕ (b ) ε (b 2 ), ẽ (b b 2 ) = b ẽ b 2 f ϕ (b ) < ε (b 2 ), { f b b 2 f ϕ (b ) > ε (b 2 ), f (b b 2 ) = b f b 2 f ϕ (b ) ε (b 2 ) Let B be a U q(g)-crystal The affnzaton of B s the U q (g)-crystal B aff := {b(m) b B, m Z},

5 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 5 where the U q (g)-crystal structure s defned by (4) wt(b(m)) = wt(b)+mδ, ẽ (b(m)) = (ẽ b)(m+), f (b(m)) = ( f b)(m ), ẽ (b(m)) = (ẽ b)(m), f (b(m)) = ( f b)(m) for, ε (b(m)) = ε (b), ϕ (b(m)) = ϕ (b) for I,m Z A classcal energy functon on B s a Z-valued functon h : B B Z satsfyng (5) h(ẽ (b b 2 )) = h(b b 2 ) f, { h(b b 2 )+ f ϕ (b ) ε (b 2 ), h(ẽ (b b 2 )) = h(b b 2 ) f ϕ (b ) < ε (b 2 ) We defne the affne energy functon H : B aff B aff Z assocated wth h : B B Z by (6) H(b (m) b 2 (n)) = m n h(b b 2 ) for b,b 2 B, m,n Z (7) Note that H(ẽ (b (m) b 2 (n))) = H( f (b (m) b 2 (n))) = H(b (m) b 2 (n)) for all I Hence H s constant on each connected component of B aff B aff Defnton 3 Let l be a postve nteger A fnte U q (g)-crystal B s called a perfect crystal of level l f B satsfes the followng condtons: () there exsts a fnte dmensonal U q (g)-module wth crystal B, () B B s connected, () there s λ P cl such that wt(b) λ Z α, #(B λ ) =, (v) for any b B, we have c,ε (b) l, (v) for each λ P + cl wth c,λ = l, there exst unquely determned elements b λ and b λ such that ε(b λ ) = ϕ(b λ ) = λ The elements b λ and b λ are called the mnmal vectors For a domnant ntegral weght λ P +, we denote by B(λ) the crsytal of V(λ), the rreducble hghest weght U q (g)-module By the defnton of perfect crystals, we obtan a U q (g)-crystal somorphsm (8) Ψ λ : B(λ) B(ε(b λ )) B u λ u ε(bλ ) b λ, where u λ denotes the hghest weght vector of B(λ) Applyng the somorphsm (8) repeatedly, we get a sequence of U q (g)-crystal somorphsms (9) B(λ) B(λ ) B B(λ 2 ) B B u λ u λ b u λ2 b b,

6 6 SEOK-JIN KANG where () λ = λ, b = b λ = b λ, λ k+ = ε(b k ), b k+ = b λk+ for k The nfnte sequence b λ = (b k ) k = b k b b B s called the ground-state path of weght λ An nfnte sequence p = (p k ) k B s called a λ-path f p k = b k for k Let P(λ) be the set of all λ-paths By the tensor product rule (3), P(λ) s gven a U q(g)-crystal structure It s proved n [9] that P(λ) provdes a realzaton of B(λ) as a U q (g)-crystal Proposton 4 [9] For each λ P +, there exsts a U q(g)-crystal somorphsm () Φ λ : B(λ) P(λ), u λ b λ Note that the U q(g)-crystal somorphsm (8) nduces a U q (g)-crystal embeddng (2) Φ aff λ : B(λ) B(ε(b λ)) B aff, u λ u ε(bλ ) b λ (m) for some m Z Snce any affne energy functon s constant on each connected component of B aff B aff, the U q (g)-crystal B(λ) s somorphc to any connected component of (B aff ) contanng an affne ground-state path of weght λ (3) b aff λ (m) = (baff λ (m k)) k = b k (m k ) b (m ) b (m ) for some sequence m = (m k ) k of ntegers such that k (4) m k = m + h(b j+ b j ), j= where b λ = (b k ) k s the ground-state path of weght λ and h : B B Z s a classcal energy functon on B Therefore, we obtan a U q (g)-crystal somorphsm (5) B(λ) P aff (λ,m), where the U q (g)-crystal P aff (λ,m) conssts of affne λ-paths satsfyng the condtons p = (p k (n k )) k (B aff ) () m = (m k ) k s a sequence of ntegers satsfyng (4), () p k (n k ) = b k (m k ) for k, () H(p k+ (n k+ ) p k (n k )) = H(b k+ (m k+ ) b k (m k )) for all k

7 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 7 2 A (2) 2 -type adjont crystals From now on, we focus on the quantum ( affne ) algebra U q (A (2) 2 ) assocated 2 4 wth the affne Cartan matrx A = In ths case, we have c = 2 h +2h, δ = 2α +α Fx a postve nteger l, and set (2) B ad = {(x,y) Z Z x+y l} Defne a U q (A(2) 2 )-crystal structure on B ad by (22) wt(x,y) = 2(y x)λ +(x y)λ, ε (x,y) = y, ϕ (x,y) = x, ε (x,y) = l 2y + x y, ϕ (x,y) = l 2x+ x y, ẽ (x,y) = (x+,y ), f (x,y) = (x,y +), { (x,y) f x > y, ẽ (x,y) = (x,y +) f x y, { (x+,y) f x y, f (x,y) = (x,y ) f x < y, whenever ẽ, f ( =,) send non-zero vectors to non-zero vectors Otherwse, we defne ẽ b = f b = for b B ad Then t was shown n [7] that B ad s a A (2) 2 -type perfect crystal of level l wth mnmal vectors (23) b λ = b λ = (a,a) for λ = (l 2a)Λ +aλ The U q(a (2) 2 )-crystal B ad s called the A (2) -type adjont crystal of level l Example 2 When l = 4, the descrpton of B ad s gven below 2 (,) (,) (,) (2,) (,) (,2) (3,) (2,) (,2) (,3) (4,) (3,) (2,2) (,3) (,4)

8 8 SEOK-JIN KANG The dotted ones are mnmal vectors: b 4Λ = b 4Λ = (,), b 2Λ +Λ = b 2Λ +Λ = (,), b 2Λ = b 2Λ = (2,2) For λ = (l 2a)Λ +aλ ( a l 2 ), by (8), we obtan a U q(a (2) 2 )- crystal somorphsm (24) Ψ λ : B(λ) u λ B(λ) B ad u λ (a,a), whch yelds a path realzaton (25) B(λ) P(λ) = { p = (x k,y k ) k B ad (x k,y k ) = (a,a) for k } (26) Defne a functon h : B ad B ad Z by h((x,y ) (x 2,y 2 )) { (x +y ) (x 2 +y 2 ), (x 2 +y 2 ) (x +y ), = max (x 2 +y 2 )+(y 3x ), (x +y )+(x 2 3y 2 ) Proposton 22 [7] The functon h : B ad B ad Z gven by (26) s a classcal energy functon on B ad In partcular, h((a,a) (a,a)) = For λ = (l 2a)Λ +aλ, let b aff λ = (b k(m k )) k = ((a,a)(m k )) k be the affne ground-state path wth m = Then, by (4), m k = for all k Hence the U q (A (2) 2 )-crystal Paff (λ) conssts of affne λ-paths p = ((x k,y k )( m k )) wth x k,y k,m k Z such that () (x k,y k )( m k ) = (a,a)() for k, () H((x k+,y k+ )( m k+ ) (x k,y k )( m k )) = for all k Note that the condton () s equvalent to (27) m k m k+ = max { (xk+ +y k+ ) (x k +y k ), (x k +y k ) (x k+ +y k+ ), (x k +y k )+(y k+ 3x k+ ), (x k+ +y k+ )+(x k 3y k ) } } 3 Young wall model for B ad In ths secton, we construct a Young wall model assocated wth B ad The colored blocks of the followng shapes wll be used for ths Young wall model

9 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 9, : unt wdth, unt heght, half-unt thckness,, : unt wdth, half-unt heght, unt thckness We wll use the followng notatons (see, for nstance, [3, 6]) * = *, * = * We now explan how to construct our Young wall model for B ad () The colored blocks should be stacked n the followng pattern l l Here l s the level of B ad (2) We dentfy the followng columns ( k l ), whch wll play a crucal role n our constructon (3) k = l k (3) No blocks of unt thckness can be stacked on top of blocks of halfunt thckness

10 SEOK-JIN KANG (4) We stack -blocks one-by-one and we stack two -blocks successvely takng the dentfcaton (3) nto account (5) Under the dentfcaton (3), we can stack the blocks of half-unt thckness n the front repeatedly, but not n the back more than once Hence a column thus obtaned has one of the followng forms (32) Let C be a column wth one of the above forms We defne f C to be the column obtaned by stackng a -block on top of C If there s no place to stack a -block, we defne f C = On the other hand, we defne ẽ C to be the column obtaned by removng a -block from the top of C If there s no -block that can be removed, we defne ẽ C = We now defne f C to be the column obtaned by stackng two -blocks successvely on top of C takng the dentfcaton (3) nto account If there s no such place, we defne f C = On the other hand, we defne ẽ C to be the column obtaned by removng two -blocks successvely from the top of C under the dentfcaton (3) If there s no such place, we defne ẽ C = Thus, wth the operators ẽ, f ( =,), we obtan a Young wall model for B ad Example 3 The followng fgure gves our Young wall model for the level 4 adjont crystal B ad

11 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS = (3)

12 2 SEOK-JIN KANG Note that we also use the dentfcaton (3) to draw the crcled -arrows The mnmal vectors are b 4Λ = b 4Λ = b 2Λ +Λ = b 2Λ +Λ = = b 2Λ = b 2Λ = For a domnant ntegral weght λ = (l 2a)Λ +aλ ( a l 2 ), the basc ground-state column of weght λ s defned as follows: () a = : l () < a < l 2 : 2a = l 2a

13 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 3 () a = l 2, l even: l The horzontal lnes n the above fgure are called the lnes of heght, where we begn to stack blocks The followng sets of blocks, consstng of two -blocks and two -blocks, are called the δ-blocks,,,,, A column of our Young wall model s called a ground-state column of weght λ f t can be obtaned from the basc ground-state column of weght λ by addng or removng some δ-blocks Whenλ = 2Λ +Λ, the basc ground-state column and other ground-state columns are gven below +δ +δ δ δ Let C be a column of our level l Young wall model for B ad and let G be the column consstng of blocks below the lne of heght Then G s a ground-state column Let Z denote the topmost basc ground-state column of weght lλ contaned n C We defne s = s(c) = the number of -blocks n C above G, t = t(c) = the number of -blocks n C above G, s = s(c) = the number of -blocks n C above Z, t = t(c) = the number of -blocks n C above Z Note that s s = t t and that t and t are even (Thus s s s also even) When s = t, we have s = t, but they may have two dfferent values under the dentfcaton (3) In ths case, we take the smaller value for s = t

14 4 SEOK-JIN KANG Example 32 Let λ = 2Λ +Λ (a) Let C = Z G Then s = 3, t = 6, s = 5, t = 8 (b) Let C = G Z Then s = 5, t = 2, s = 3, t = (c) Let C = Z G = G Z Then s = 4, t = 4 But under the dentfcaton (3), we have two possbltes: s = t = 6 or s = t = 2 In ths case, we take the smaller values s = t = 2 Let C be a column of our Young wall model for B ad Then C s unquely determned by s, t, s and t Snce s s = t t, we have only to use s, s and

15 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 5 t Hence we wll wrte C = s,t, s, t = s, s, t Let C be the set of all columns of our Young wall model for the level l adjont crystal B ad and let B aff = {(x,y)( m) x,y,m Z } Proposton 33 There s a U q (A (2) 2 )-crystal somorphsm Ψ : C B aff defned by {( s (33) Ψ( s, s, t ) = 2 t, 2 t ) ( s) f s t, ( l 2 t,l s+ 2 t ) ( s) f s < t The nverse homomorphsm s gven by (34) Φ((x,y)( m)) = { m,x+y,2y f x y, m,2l (x+y),2(l x) f x < y Proof It s easy to see that Ψ and Φ are nverses to each other Moreover, t s straghtforward to verfy that they commute wth ẽ and f ( =,) whenever all the maps nvolved send non-zero vectors to non-zero vectors For nstance, f s t, we have Ψ( f ( s, s, t )) = Ψ( s+, s+, t ) = ( s+ 2 t, 2 t ) ( s ), whereas f Ψ( s, s, t ) = f (( s 2 t, 2 t ) ) ( ( s) = s 2 t+, ) ( s ), 2 t as expected Let C = s,t, s, t and C = s,t, s, t be columns of our level l Young wall model Usng the somorphsm (33), we may rewrte the affne energy functon H on B aff as (35) H(Ψ(C) Ψ(C )) = s+s h(c,c ),

16 6 SEOK-JIN KANG where (36) ( s s, s+ s ) 2 t, max s s, s 3 s+2 t ( s+ s 2l,2l 3 s s ) +2 t, max h(c,c 2l s s, 2l + s+3 s 2 t ) = ( 2l s s, 2l s+ s ) +2 t, max 2l + s+ s,2l s+ s 2 t ( s s, s s ) +2 t, max s s, s+3 s 2 t f s t, s t, f s t, s < t, f s < t, s t, f s < t, s < t We wll often wrte H(C C ) for H(Ψ(C) ψ(c )) Defnton 34 Let Y = (Y k ) k be an nfnte sequence of columns of our Young wall model (a) The sequence G = (G k ) k consstng of the blocks below the lne of heght n Y s called the ground-state wall of Y (b) G s called the basc ground-state wall of Y f G k s the basc groundstate column for all k Defnton 35 (a) An nfnte sequence Y = (Y k ) k of columns of our Young wall model s called a Young wall on λ P + f () Y k s the basc ground-state column of weght λ for k () H(Y k+ Y k ) for all k (b) A Young wall Y = (Y k ) k s called reduced f H(Y k+ Y k ) = for all k Example 36 To determne whether an nfnte sequence of columns s a (reduced) Young wall or not, we have only to check the condtons for adjacent columns We wll gve several examples of the tensor product of two columns when λ = 2Λ + Λ The shaded part ndcates the basc ground-state column (a) Let C C = Then s =, t = 2, s = 4, t = 6 and s = 2, t = 2, s = 4, t = 4 By (35) and (36), we have H(C C ) = 2 Hence C C does not satsfy the condtons for Young walls

17 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 7 (b) Let C C = Then s =, t = 2, s = 4, t = 6 and s = 3, t = 4, s = 5, t = 6 By (35) and (36), we have H(C C ) = and hence C C satsfes the condtons for reduced Young walls (c) Let C C = Then s =, t = 2, s = 4, t = 6 and s = 4, t = 6, s = 6, t = 8 In ths case, we have H(C C ) = 2 and hence C C satsfes the condtons for (non-reduced) Young walls (d) Let C C =

18 8 SEOK-JIN KANG Then s =, t = 2, s = 4, t = 6 and s = 6, t = 4, s = 4, t = 2 In ths case, H(C C ) = 2 and hence C C satsfes the condtons for (non-reduced) Young walls 4 Crystal structure Let Y(λ) and R(λ) be the set of Young walls and reduced Young walls, respectvely In ths secton, we descrbe the combnatorcs of Young walls whch would provde crystal structures on Y(λ) and R(λ) To ths end, we frst defne the acton of Kashwara operators Ẽ, F ( =,) Defnton 4 Let Y = (Y k ) k be a Young wall (a) A -block n Y s called removable f t can be removed from Y to get a Young wall (b) A slot n Y s called -admssble f one can add a -block on Y to obtan a Young wall (c) A par of -blocks n a column of Y s called removable f these two blocks can be removed successvely from Y, under the dentfcaton (3), to obtan a Young wall (d) A par of -slots n a column of Y s called -admssble f one can add two -blocks successvely on these slots, under the dentfcaton (3), to obtan a Young wall To each column Y k of Y = (Y k ) k, we assgn a sequence of s and + s from left to rght wth as many s as the number of removable -blocks (resp removable -pars) followed by as many + s as the number of -admssble slots (resp -admssble pars) Ths sequence s called the -sgnature (resp -sgnature) of Y k Thus we get an nfnte sequence of -sgnatures ( =,) Cancel out all(+, )-pars n ths sequence Then we obtan a fnte sequence of s followed by + s, whch s called the -sgnature of Y ( =,) We defne ẼY (resp Ẽ Y ) to be the Young wall obtaned by removng a -block (resp a par of -blocks) from the column of Y that corresponds to the rghtmost n the -sgnature (resp -sgnature) of Y If there s no n the -sgnature of Y, we defne ẼY = ( =,) On the other hand, we defne F Y (resp F Y ) to be the Young wall obtaned by addng a -block (resp a par of -blocks) to the column of Y that corresponds to the leftmost + n the -sgnature (resp -sgnature) If there s no + n the -sgnature of Y, we defne F Y = ( =,) The operators Ẽ, F ( =,) are called the Kashwara operators on Young walls Example 42 Let λ = 2Λ +Λ and let

19 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 9 Y = = = G = Y 2 = Y = Y be a Young wall, where G s the basc ground-state wall of weght λ Then t s lengthy but straghtforward to calculate the sgnatures of Y 2, Y and Y : -sgnature of Y 2 = +, -sgnature of Y = ++++, -sgnature of Y = +++, -sgnature of Y 2 = +, -sgnature of Y =, -sgnature of Y = + Let us verfy some of the above calculatons We frst focus on the - sgnature of Y Remove two -blocks from Y to get

20 2 SEOK-JIN KANG Y = Then we have whch mples s 2 =, t 2 =, s 2 = 2, t 2 = 2, s =, t = 4, s = 5, t = 8, s = 7, t = 8, s = 5, t = 6, H(Y 2 Y ) =, H(Y Y ) = It follows that Y = G Y 2 Y Y s a Young wall However, f we remove three -blocks from Y, then we get Y = and Thus s 2 =, t 2 =, s 2 = 2, t 2 = 2, s =, t = 4, s = 4, t = 8, s = 7, t = 8, s = 5, t = 6 H(Y 2 Y ) = 2, whch mples Y = G Y 2 Y Y s not a Young wall Therefore, we can remove at most two -blocks from Y and there are two s n the -sgnature of Y Now we consder the -sgnature of Y Add a par of -blocks on Y successvely to obtan

21 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 2 Y = Then s = 3, t = 4, s = 7, t = 8, s = 7, t =, s = 5, t = 8, and hence H(Y Y ) = Therefore Y = G Y 2 Y Y s a Young wall However, there s no place to add more -blocks Thus we conclude there s one + n the -sgnature of Y Smlarly, one can verfy the other sgnatures Therefore, after cancelng out all (+, )-pars, we see that the -sgnature of Y s ( ) wth + n Y and the -sgnature of Y s ( +) wth n Y Hence we obtan

22 22 SEOK-JIN KANG F Y =, Ẽ Y = Note that we use the dentfcaton (3) when we compute ẼY For a Young wall Y, we defne wt(y) = λ k 2 k α, where k s the number of -blocks above the ground-state wall of Y and let ε (Y) (resp ϕ (Y)) be the number of s (resp + s) n the -sgnature of Y ( =,) Recall the somorphsm Ψ : C B aff defned n (33), whch nduces an njectve morphsm such that (4) Ψ : Y(λ) {} (B aff ) {} Y = (Y k ) k Ψ(Y k ) Ψ(Y ) Ψ(Y )

23 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 23 The followng lemma s one of key ngredents of our constructon Lemma 43 Let Y = (Y k ) k be a Young wall Then for =,, we have (a) ϕ (Y k+ ) ε (Y k ) = ϕ (Ψ(Y k+ )) ε (Ψ(Y k )) for all k, (b) Ψ(ẼY) = ẽ Ψ(Y) f ẼY, (c) Ψ( F Y) = f Ψ(Y) f F Y Proof To smplfy the notaton, we wrte u k = Ψ(Y k ) for k Recall that the morphsm Ψ : C B aff commutes wth ẽ, f ( =,) whenever all the maps nvolved send non-zero vectors to non-zero vectors Hence ϕ (Y k ) ϕ (u k ), ε (Y k ) ε (u k ) for all k Moreover, one can easly verfy that H(Y k+ f Y k ) H(Y k+ Y k ) H(ẽ Y k+ Y k ) H(Y k+ Y k ) for all k It follows that { } ϕ (Y k+ ) = max l ϕ (u k+ ) H( f l Y k+ Y k ), (42) { } ε (Y k ) = max l ε (u k ) H(Y k+ ẽ l Y k) Suppose ϕ (u k+ ) > ε (u k ) Then, for l ε (u k ), usng the tensor product rule, we have Therefore we obtan u k+ ẽ l u k f ϕ (u k+ ) ε (u k )+l u k+ ẽ l u k f ϕ (u k+ ) ε (u k )+l u k+ f ẽl l u k = f ϕ (u k+ ) ε (u k )+l u k+ u k (43) H(u k+ ẽ l u k) = H( f ϕ (u k+ ) ε (u k )+l u k+ u k ) for l ε (u k ) Set l = ε (u k ) Then (42) and (43) yeld H(Y k+ ẽ ε (Y k ) Y k ) = H( f ϕ (u k+ ) ε (u k )+ε (Y k ) Y k+ Y k ), from whch we obtan (44) ϕ (u k+ ) ε (u k )+ε (Y k ) ϕ (Y k+ ) If ε (Y k ) = ε (u k ), then (44) gves ϕ (u k+ ) ϕ (Y k+ ) Thus ϕ (Y k+ ) = ε (u k+ ) and we are done If ε (Y k ) < ε (u k ), set l = ε (Y k )+ Then by (42), we have > H(Y k+ ẽ ε (Y k )+ Y k ) = H( f ϕ (u k+ ) ε (u k )+ε (Y k )+ Y k+ Y k ) Hence we have ϕ (u k+ ) ε (u k )+ε (Y k )+ > ϕ (Y k+ ),

24 24 SEOK-JIN KANG whch mples ϕ (u k+ ) ε (u k )+ε (Y k ) ϕ (Y k+ ) Combned wth (44), we conclude ϕ (Y k+ ) ε (Y k ) = ϕ (u k+ ) ε (u k ) as desred The other cases can be checked by a smlar calculaton (b) By (a), we have F Y = Y k+ f Y k Y k Y f and only f f Ψ(Y) = Ψ(Y k+ ) f Ψ(Y k ) Ψ(Y k ) Ψ(Y ) Therefore, for =,, we have Ψ( F Y) = Ψ(Y k+ ) Ψ( f Y k ) Ψ(Y k ) Ψ(Y ) = Ψ(Y k+ ) f Ψ(Y k ) Ψ(Y k ) Ψ(Y ) = f Ψ(Y) The statement (c) s an mmedate consequence of (b) Remark The argument of our proof apples to any case as long as we have a crystal somorphsm Ψ : C B aff, where B s a perfect crystal and C s the set of all columns of a Young wall model for B Now, let λ = (l 2a)Λ + aλ be a domnant ntegral weght of level l We frst prove: Proposton 44 The set Y(λ) of Young walls on λ forms a U q (A (2) 2 )- crystal Proof Let Y = (Y k ) k = s k, s k, t k k be a Young wall We have only to check h,wt(y) = ϕ (Y) ε (Y) for =, Recall that { ( s k Ψ(Y k ) = Ψ( s k, s k, t k ) = 2 t k, 2 t k )( s k ) f s k t k, (l 2 t k,l s k + 2 t k )( s k ) f s k < t k Then wtψ(y k ) = 2( t k s k )Λ +2( s k t k )Λ s k δ = s k α 2 t kα Let N be the smallest non-negatve nteger such that Y k s the basc ground-state column for all k N Then N wtψ(y) = λ (s k α + 2 t kα ) k= = λ k α 2 k α = wt(y),

25 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 25 where k s the number of -blocks above the ground-state wall of Y Hence by Lemma 43, we have h,wt(y) = h,wtψ(y) = h, k wtψ(y k ) = k h,wtψ(y k ) = k (ϕ (Ψ(Y k )) ε (Ψ(Y k ))) = k (ϕ (Y k ) ε (Y k )) = ϕ (Y) ε (Y), whch proves our clam Next, we wll show that the set R(λ) of reduced Young walls on λ provdes a realzaton of the U q (A (2) 2 )-crystal B(λ) Theorem 45 The njectve morphsm Ψ : Y(λ) (B aff) nduces a U q (A (2) 2 )-crystal somorphsm Ψ : R(λ) P aff (λ,) sendng Y λ b aff λ, where = (,,,), Y λ s the basc ground-state wall of weght λ and b aff λ = (,(a,a)(),,(a,a)()) s the affne ground-state path of weght λ n P aff (λ,) In partcular, we have a U q (A (2) 2 )-crystal somorphsm R(λ) B(λ) sendng Y λ u λ Proof Let Y = (Y k ) k be a reduced Young wall onλ Assume that F Y and F acts on the column Y k by f ( =,) That s, ϕ (Y k+ ) ε(y k ), ϕ (Y k ) > ε(y k ) and Snce Y s reduced, we have F Y = Y k+ f Y k Y k Y H(Y k+ f Y k ) = H( f (Y k+ Y k )) = H(Y k+ Y k ) =, H( f Y k Y k ) = H( f (Y k Y k )) = H(Y k Y k ) = Hence Y and F Y belongs to the same connected component, whch mples F Y R(λ) By a smlar argument, one can show that f ẼY, then ẼY R(λ)

26 26 SEOK-JIN KANG Snce Ψ maps Y λ to b aff λ, by Lemma 43, Ψ nduces a U q(a (2) 2 )-crystal somorphsm R(λ) P aff (λ,) Example 46 Let λ = 2Λ +Λ We llustrate part of the U q (A (2) 2 )-crystal R(λ) Y λ =

27 (5) YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 27 5 Young walls for B( ) Let B = Z Z We defne a U q (A(2) 2 )-crystal structure on B by wt(x,y) = 2(y x)λ +(x y)λ, ε (x,y) = y, ϕ (x,y) = x, ε (x,y) = 2y + x y, ϕ (x,y) = 2x+ x y, ẽ (x,y) = (x+,y ), f (x,y) = (x,y +), { (x,y) f x > y, ẽ (x,y) = (x,y +) f x y, { (x+,y) f x y, f (x,y) = (x,y ) f x < y Let B l be the level l adjont crystal For λ = (l 2a)Λ +aλ ( a l 2 ), let T λ = {t λ } be the crystal wth the maps wt(t λ ) = λ, ε (t λ ) = ϕ (t λ ) =, ẽ (t λ ) = f (t λ ) = for =, As n [7], {B l l } s a coherent famly wth the lmt B, where the nductve system s gven by f l,(a,a) : T λ B l T λ B t λ (x,y) t λ (x a,y a) Thus by the same argument gven n [7], we have the path realzaton (52) B( ) P( ) as U q (A(2) 2 )-crystals, where P( ) s the set of -paths p = (x k,y k ) k such that () x k,y k Z for all k, () (x k,y k ) = (,) for k As s the case wthb ad, we defne a classcal energy functonh : B B Z by the formula (26) and let H : B aff B aff Z be the affne energy functon assocated wth h Then we have a U q (A (2) 2 )-crystal somorphsm (53) B( ) P aff ( ), where P aff ( ) s the set of all affne -paths p = ((x k,y k )( m k )) k such that () x k,y k Z, m k Z for all k, () (x k,y k )( m k ) = (,)() for k, () H((x k+,y k+ )( m k+ ) (x k,y k )( m k )) = for all k

28 28 SEOK-JIN KANG Now we construct a Young wall model for the (level ) adjont crystal B We only use the colored blocks of half-unt thckness:, The rules and patterns for the Young wall model s explaned below () The colored blocks wll be stacked n the followng way or The horzontal lnes are called the standard lnes (2) We dentfy the followng columns: (54) k = k k = k (3) We stack -blocks one-by-one and we stack two -blocks successvely takng the dentfcaton (54) nto account (4) Under the dentfcaton (54), we can stack the blocks n the front repeatedly, but not n the back unless there are blocks n the front wth the same heght

29 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 29 (5) The basc ground-state column s defned to be = A column obtaned from the basc ground-state column by addng or removng some δ-blocks s called a ground-state column Let G be a ground-state column and let C be a column obtaned by stackng fntely many blocks on G Let Z be the basc ground-state column We defne (55) s = s(c) = the number of -blocks n C above G, t = t(c) = the number of -blocks n C above G, { the number of -blocks n C above Z f C les above Z, s = s(c) = (the number of -blocks n Z above C f Z les above C), { the number of -blocks n C above Z f C les above Z, t = t(c) = (the number of -blocks n Z above C f Z les above C) Example 5 () Let C = G Z Then s = 2, t = 4, s = 4, t = 6 () Let C = Z G Then s = 7, t = 4, s = 5, t = 2

30 3 SEOK-JIN KANG Z () Let C = G Then s = 3, t = 4, s = 3, t = 2 Note that any column C of our Young wall model s unquely determned by s, s, t Let C be the set of all columns of our Young wall model and let B aff = {(x,y)( m) x,y Z, m Z } Defne a bjecton Ψ : C B aff by {( s (56) Ψ(s, s, t) = 2 t, 2 t ) ( s) f s t, ( 2 t, s+ 2 t ) ( s) f s < t Then one can easly check that Ψ commutes wth ẽ, f ( =,) whenever all the maps nvolved send non-zero vectors to non-zero vectors Let C = s,t, s, t, C = s,t, s, t C Usng the somorphsm Ψ, the affne energy functon H can be wrtten as H(Ψ(C) Ψ(C )) = s+s h(c,c ), where ( s s, s+ s ) 2 t, max s s, s 3 s+2 t ( s+ s, 3 s s ) +2 t, max (57) h(c,c s s, s+3 s 2 t ) = ( s s, s+ s ) +2 t, max s+ s, s+ s 2 t ( s s, s s ) +2 t, max s s, s+3 s 2 t f s t, s t, f s t, s < t, f s < t, s t, f s < t, s < t The noton of (basc) ground-state Young walls, Young walls, reduced Young walls, -sgnatures and Kashwara operators are defned n the same way as n Secton 4 Let Y( ) (resp R( )) denote the set of all Young walls (resp reduced Young walls) For a Young wall Y = (Y k ) k, we defne () wt(y) = k α 2 k α, where k s the number of -blocks above the ground-state wall of Y ( =, ), () ε (Y) s the number of s n the -sgnature of Y, () ϕ (Y) s the number of + s n the -sgnature of Y

31 YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS 3 Usng the same argument n Secton 4, one can prove: Theorem 52 (a) The sets Y( ) and R( ) are U q (A (2) (b) There are U q (A (2) 2 2 )-crystals )-crystal somorphsms R( ) P aff ( ) B( ) Y b aff, where Y s the basc ground-state wall, b aff s the affne ground-state path n P aff ( ) and s the hghest weght vector of B( ) Example 53 We llustrate part of the U q (A (2) 2 )-crystal R( ) Y =

32 32 SEOK-JIN KANG References [] G Benkart, I Frenkel, S-J Kang, H Lee, Level perfect crystals and path realzatons of basc representatons at q =, Int Math Res Notces 26 (26), 28 [2] G Fourer, M Okado, A Schllng, Perfectness of Krllov-Reshetkhn crystals for non-exceptonal type, Contemp Math, 56 (2), [3] J Hong, S-J Kang, Introducton to Quantum Groups and Crystal Bases, Grad Stud Math 42, Amer Math Soc, 22 [4] JH Jung, S-J Kang, M Km, S Km, J-Y Yu, Adjont crystals and Young walls for U q(ŝl2), European J Comb 3 (2), [5] VG Kac, Infnte Dmensonal Le Algebras, 3rd ed, Cambrdge Unversty Press, 99 [6] S-J Kang, Crystal bases for quantum affne algebras and combnatorcs of Young walls, Proc Lond Math Soc (3) 86 (23), [7] S-J Kang, M Kashwara, K C Msra, Crystal bases of Verma modules for quantum affne Le algebras, Compos Math 92 (994), [8] S-J Kang, H Lee, Crystal bases for quantum affne algebras and Young walls, J Algebra 322 (29), [9] S-J Kang, M Kashwara, K C Msra, T Mwa, T Nakashma, A Nakayashk, Affne crystals and vertex models, Int J Mod Phys A Suppl A (992), [], Perfect crystals of quantum affne Le algebras, Duke Math J 68 (992), [] A Schllng, P Sternberg, Fnte-dmensonal crystals B 2,s for quantum affne algebras of type D n (), J Alg Comb 23 (26), (26), Joeun Mathematcal Research Insttute, 44 Yeoksam-ro, Gangnam-gu, Seoul 696, Korea E-mal address: soccerkang@hotmalcom