arxiv: v2 [math.co] 14 Aug 2018

Transcription

1 A LOCAL CHARACTERIZATION OF CRYSTALS FOR THE QUANTUM QUEER SUPERALGEBRA SAMI ASSAF AND EZGI KANTARCI OGUZ arxv:8.67v [math.co] 4 Aug 8 Abstract. We defne operators on semstandard shfted tableaux and use Stembrdge s local characterzaton for regular graphs to prove they defne a crystal structure. Ths gves a new proof that Schur P-polynomals are Schur postve. We defne queer crystal operators (also called odd Kashwara operators) to construct a connected queer crystal on semstandard shfted tableaux of a gven shape. Usng the tensor rule for queer crystals, ths provdes a new proof that products of Schur P-polynomals are Schur P-postve. Fnally, to facltate applcatons of queer crystals n the context of Schur P-postvty, we gve local axoms for queer regular graphs, generalzng Stembrdge s axoms, that partally characterze queer crystals.. Introducton Kashwara [Kas9] ntroduced crystal bases to study representatons of quantzed unversal envelopng Le algebras. Canoncal bases, developed ndependently by Lusztg [Lus9], study the same problem from a geometrc vewpont. A crystal graph s a drected, colored graph wth vertex set gven by the crystal bass and drected edges gven by deformatons of the Chevalley generators. Crystal graphs encode mportant nformaton for the correspondng representatons. For example, the character of the crystal concdes wth the character of the representaton, and branchng rules and tensor decompostons can be computed combnatorally on the crystals. The crystal bass for the general lnear group s naturally ndexed by semstandard Young tableaux, and there s an explct combnatoral constructon of the crystal graph on tableaux developed ndependently by Kashwara and Nakashma [KN94] and Lttelmann [Lt95]. Furthermore, Stembrdge [Ste] gave a local characterzaton of the crystal graph for the general lnear group (and, more generally, for any smply laced Le type) that allows one to determne whether a gven crystal arses as a crystal for a hghest weght representaton. The characters of connected hghest weght crystals for the general lnear group are gven by Schur polynomals[jac4, Sch]: the generatng polynomals for semstandard Young tableaux. Schur polynomals are ubqutous throughout mathematcs, arsng as rreducble characters for polynomal representatons of the general lnear group, Frobenus characters for rreducble representatons of the symmetrc group, and polynomal representatves for the cohomology classes of Schubert cycles n Grassmannans. Gven the representaton theoretc and geometrc context, a quntessental queston that arses s whether a gven polynomal s Schur postve, meanng that t can be realzed as a character for a representaton of the general lnear group. One approach for such problems that smultaneously sheds lght on the underlyng representaton theory s to defne a crystal structure on the objects that generate the gven polynomal, and then use Stembrdge s local characterzaton to prove Schur postvty. To llustrate ths approach and to motvate our generalzaton of ths theory, we consder Schur s P- polynomals [Sch]. Schur P-polynomals arse as characters of tensor representatons of the queer Le superalgebra [Ser84], characters of projectve representatons of the symmetrc group [Ste89], and representatves for cohomology classes dual to Schubert cycles n sotropc Grassmannans [Pra9]. They enjoy many propertes parallel to Schur polynomals. Stanley conjectured that Schur P-polynomals are Schur postve, and ths follows from Sagan s shfted nserton [Sag87] ndependently developed by Worley [Wor84]. Assaf [Ass8] gave another proof usng the machnery of dual equvalence graphs [Ass5]. In ths paper, we present a new crystal-theoretc proof of the Schur postvty of Schur P-polynomals. Mathematcs Subject Classfcaton. Prmary 5E5; Secondary 5E, G4. Key words and phrases. Schur P-polynomals, shfted tableaux, crystals, queer crystals. Work supported n part by a Smons Foundaton Collaboraton Grant for Mathematcans (Award 54477, S.A.).

2 Hawkes, Paramonov, and Schllng [HPS7] constructed a crystal on semstandard shfted tableaux, the generatng objects for Schur P-polynomals. They use Haman s mxed nserton [Ha89] to assocate to each shfted tableau a Young tableau and, usng ths correspondence, transport the usual crystal structure on Young tableaux to the shfted settng. Therefore, whle ths constructon gves a desrable crystal-theoretc nterpretaton of the Schur postvty of Schur P-polynomals, t does not gve a new proof of postvty n the sense that t reles on the postvty that follows from shfted nserton [Wor84, Sag87]. In ths work, we present a drect approach usng Stembrdge s local characterzaton that can also be seen as gvng a new, drect proof that the crystal on shfted tableaux commutes wth shfted nserton. As noted above, Schur P-polynomals arse as characters of tensor representatons of the queer Le superalgebra. Le superalgebras are algebras wth a Z/Z gradng, allowng for two famles of varables (one commutng and one not) to nteract. Orgnally arsng from mathematcal physcs n connecton wth supersymmetry, Le superalgebras were formalzed mathematcally and classfed by Kac[Kac77]. One well-studed superalgebra generalzaton of the general lnear Le algebra s the queer superalgebra. Quantzed unversal envelopng algebras were developed for the queer superalgebra by Sergeev [Ser84], wth the correspondng crystal theory developed by Grantcharov, Jung, Kang, Kashwara, and Km [GJKK, GJK + ]. Grantcharov, Jung, Kang, Kashwara, and Km [GJK + ] gave an explct constructon of the queer crystal on semstandard decomposton tableaux [Ser], an alternatve combnatoral model for Schur P- polynomals developed by Serrano. They rased the queston of whether the set of shfted semstandard Young tableaux of a fxed shape has a natural crystal structure. To answer ths n the affrmatve, we extend our crystal operators to nclude queer operators, also called odd Kashwara operators, that augment the crystal wth addtonal edges n such a way that the graph on semstandard shfted tableaux of fxed shape s connected, wth a unque hghest weght correspondng to the hghest weght tensor representaton. Many polynomals that arse n representaton theoretc or geometrc contexts can be expressed as a nonnegatve sum of Schur P-polynomals. For example, Hroshma [Hr] recently gave a queer crystal for type C Stanley symmetrc functons, a generalzaton of Stanley symmetrc functons [Sta84] ntroduced for types B and C by Blley and Haman [BH95], and Assaf and Marberg recently developed a queer crystal for nvoluton Stanley symmetrc functons ntroduced by Hamaker, Marberg, and Pawlowsk [HMP7]. In order to gve a unversal approach to provng Schur P-postvty of these and other functons, parallel to the axomatzaton of shfted dual equvalence graphs [Ass8, BHRY4], we present local axoms for queer regular graphs. We prove that our explct constructon on semstandard shfted tableaux, and hence all normal queer crystals, are queer regular, and we show that n many cases the converse holds as well. In partcular, we beleve that our axoms can be tghtened gve a local characterzaton for normal queer crystals, thus provdng a powerful new tool n symmetrc functon theory. Our paper s organzed as follows. In, we revew the crystal theory for the general lnear group from the combnatoral perspectve. We revew crystals and normal crystals that arse for hghest weght representaton, we revew the explct crystal on semstandard Young tableaux, and we present Stembrdge s local characterzaton for such crystals. In, we apply Stembrdge s axoms to prove that our explct operators on semstandard shfted tableaux defne a normal crystal. We begn by revewng the combnatorcs of shfted tableaux, then defne our operators on shfted tableaux, and prove that Stembrdge s axoms are satsfed. We also present corollares demonstratng the utlty of the resultng Schur expanson for Schur P-polynomals, ncludng a short proof that a Schur P-polynomal s a sngle Schur polynomal f and only f the ndexng shape s a starcase. In 4, we extend our constructon on shfted tableaux to the queer settng. We revew queer crystals and normal queer crystals that arse for tensor representatons of queer Le superalgebras, we defne an explct normal queer crystal on shfted tableaux, and we present our local axoms for such crystals. Our results and constructons were frst announced n [AO8], where we conjectured that our axoms were suffcent. Whle that conjecture s false, we expect that a refnement mght be true.. Crystals for the quantum general lnear Le algebra Kashwara [Kas9, Kas9] ntroduced crystal bases n hs study of the representaton theory of quantzed unversal envelopng algebra U q (g) for Le algebra g. In ths secton, we revew the theory of crystal bases and crystal graphs, focusng solely on the case of U q (gl(r)) to smplfy the exposton and keep t selfcontaned. In., we revew crystal bases n the language of root systems, restrctng to type A r+. In., we revew tableaux combnatorcs and present the explct combnatoral realzaton of crystal graphs on

3 tableaux due to Kashwara and Nakashma [KN94] and Lttelman [Lt95]. In., we revew an alternatve local axomatzaton of tableaux crystals due to Stembrdge [Ste] that wll be central to our proofs... Crystal bases and crystal graphs. We use the language of root systems to defne crystal bases of type A r+, though the exposton s self-contaned and no famlarty wth Le theory s assumed; see [BS7] for further detals. Let e,e,...,e r+ be the standard bass for V = R r+ wth the usual nner product. Consder the root system Φ = {e e j j}. We refer to the postve roots as the subset Φ + = {e e j < j}. Let α = e e + for =,...,r denote the smple roots. The weght lattce s Λ = Z r+, and the domnant weghts Λ + Λ are those λ Λ such that λ λ λ r+. Defnton.. A crystal of dmenson r + s a nonempty set B not contanng together wth crystal operators e,f : B B {} for =,,...,r and a weght map wt : B Λ satsfyng the condtons () for b,b B, e (b) = b f and only f f (b ) = b, and n ths case we have wt(b ) = wt(b)+α ; () for b B and =,...,r, we have ϕ (b) = (wt(b) wt(b) + )+ε (b), where ε,ϕ : B Z are (.) ε (b) = max{k Z e k (b) }, (.) ϕ (b) = max{k Z f k (b) }. We call ε (b),ϕ (b) the strng lengths through b, wth ε (b) the -tal and ϕ (b) the -head. Note that t s enough to defne the f s and the weght map, and, abusng notaton, we denote the crystal (B,{e,f } r,wt) smply by B. As a frst example, the standard crystal B(n), for n Z >, has bass { =,...,n }, crystal operators f j that act by ncrementng the entry f = j, and takng t to otherwse. The weght map s wt ( ) = e. Defnton.. The character of a crystal B s the polynomal (.) ch(b) = b B x wt(b) x wt(b) x wt(b)r+ r+. For example, the character of the standard crystal B(n) s ch(b(n)) = x +x + +x n. Condton () of Defnton. ensures that the characters of connected crystals are homogeneous of a gven degree. A crystal graph s a drected, colored graph wth vertex set gven by the crystal bass B and drected edges gven by the crystal operators e and f, where f b = e (b) (resp. b = f (b)), then we wrte b b (resp. b b ) and all edges to are omtted. The -strng through b s the maxmal path e ε x e x x f x f ϕ x. For example, the standard crystal graph B(n) s shown n Fgure. n n Fgure. The standard crystal B(n) for U q (gl(n)). Defnton.. Gven two crystals B and B, the tensor product B B s the set B B together wth crystal operators e,f defned on the tensor product B B by { f (b (.4) f (b b ) = ) b f ε (b ) < ϕ (b ), b f (b ) f ε (b ) ϕ (b ), and weght functon wt(b b ) = wt(b )+wt(b ), where addton s taken coordnate-wse. We use the combnatoral structure of a crystals to encode essental nformaton for studyng the correspondng representatons of the quantum group, wth the crystal operators correspondng to deformatons of the Chevalley generators. To do so, we must restrct our attenton to normal crystals. A drect defnton of normal crystals s qute nvolved, but the followng lemma gves a complete characterzaton.

4 Fgure. The tensor product of two standard crystals B() for U q (gl()). Proposton.4. Gven two normal crystals B and B, the tensor product B B s a normal crystal. Further, every connected normal crystal of dmenson r+ and degree k arses as a connected component n B(r+) k, the k-fold tensor product of the standard crystal B(r+). Connected normal crystals are n one-to-one correspondence wth domnant weghts, whch n turn ndex rreducble representatons. Gven a domnant weght λ Λ +, let B(λ) denote the connected normal crystal wth hghest weght λ. Then ch(b(λ)) s precsely the character of the rreducble representaton ndexed by λ, whch corresponds to the Schur polynomal s λ (x,...,x r+ ) defned n.. Even more compellng s the remarkable fact that the followng combnatoral procedure on crystals corresponds to the tensor product of the correspondng representatons. For example, Fgure computes that the tensor product of two copes of the standard crystal B() = B((,,)) s gven by B((,,)) and B((,,)). Defnton.5. An element b B of a crystal s a hghest weght element f e (b) = for all =,,...,r. For example, the hghest weght element of B(n) s, whch has weght e Λ +. Hghest weghts gve an effcent way to categorze normal crystals. Proposton.6. A connected, normal crystal B has a unque hghest weght b, and we call wt(b) Λ + the hghest weght of B. Moreover, two connected normal crystals are somorphc as colored drected graphs f and only f they have the same hghest weght. A consequence of ths proposton s that normal crystals are determned completely by the underlyng graph structure, and we do not need to be concerned wth the weght maps. Even so, t s not a straghtforward process to understand whch crystals are normal, but as we shall see, there s a local characterzaton of that wll prove qute useful. Before presentng ths, we gve an explct combnatoral realzaton of normal crystals usng tableaux... Crystals on Young tableaux. A partton λ s a weakly decreasng sequence of postve ntegers, λ = (λ,λ,...,λ l ), where λ λ λ l >. By extendng λ wth tralng s untl t has length r+, we may dentfy parttons wth domnant weghts Λ +. The sze of a partton s the sum of ts parts,.e. λ +λ + +λ l. We dentfy a partton λ wth ts Young dagram drawn n French (coordnate) notaton,.e. the collecton of left-justfed cells wth λ cells n row ndexed from the bottom. A semstandard Young tableau of shape λ s a fllng of the shfted Young dagram for λ wth postve ntegers such that entres weakly ncrease along rows and columns and each column has at most one entry for each. For example, see Fgure. Defnton.7. The Schur polynomal ndexed by the partton λ s gven by (.5) s λ (x,...,x n ) = x wt(t) xn wt(t)n, T SSYT n(λ) where SSYT n (λ) denotes the set of all semstandard Young tableaux of shape λ wth largest entry at most n, and wt(t) s the composton whose th part s the multplcty wth whch occurs n T. 4

5 Fgure. The semstandard Young tableaux of shape (, ) wth entres {,, }. For example, from Fgure, we compute s (,) (x,x,x ) = x x +x x +x x +x x x +x x +x x +x x x +x x x +x x +x x +x x +x x. Schur polynomals are the rreducble characters for polynomal representatons of the general lnear group. Moreover, semstandard Young tableaux naturally ndex a bass for the rreducble representatons. Therefore t s natural to seek a crystal structure wth semstandard Young tableaux as the underlyng bass. Ths was done by Kashwara and Nakashma [KN94] and Lttelman [Lt95], though our presentaton s agan smplfed to the case of the general lnear group. For a word w of length k, a postve nteger r k, and a postve nteger, defne (.6) m (w,r) = wt(w w w r ) wt(w w w r ) +, wherewt(w)stheweakcompostonwhosejthpartsthenumberofj snw. Setm (w) = max r (m (w,r),). Observe that f m (w) > and w p s the leftmost occurrence of ths maxmum, then w p =, and f q s the rghtmost occurrence of ths maxmum, then ether q = k or w q+ = +. For T a Young tableau, the row readng word of T, denoted by w(t), s the word obtaned by readng the entres of T left to rght along rows, from the top row down. Defnton.8. Gven a postve nteger, defne lowerng operators, denoted by f, on semstandard Young tableaux as follows: f m (w(t)) =, then f (T) = ; otherwse, let p be the smallest ndex such that m (w(t),p) = m (w(t)), and set f (T) to change the entry n T correspondng to w p to +. Another way to state Defnton.8 s n terms of blocked and free entres n the row readng word of T. For ths, we say that a par of letters w a,w b are -pared f w a = +, w b =, and a < b such that for any a < c < b, ether w c, + or w c s -pared wth some w d between w a and w b. The entres that are -pared are called -blocked, and any letter or + that s not -blocked s called -free. Wth ths termnology, f changes the rghtmost -free entry to become +. For example, Fgure 4 shows the lowerng operators appled to the left and mddle tableaux, where the changed cells are ndcated wth a crcle. Ths s, n fact, the complete 4-strng through these tableaux Fgure 4. A complete 4-strng on semstandard Young tableaux of shape (4,,, ), wth the row readng word ndcated below and 4-blocked pars bracketed. Defnton.9. Gven a postve nteger, defne rasng operators, denoted by e, on semstandard Young tableaux as follows: let q be the largest ndex such that m (w(t),q) = max r (m (w(t),r)). If q = k, then e (T) = ; otherwse, set e (T) to change the entry n T correspondng to w q+ to. 5

6 Note that m (T) s precsely the strng length ϕ (T), whch also concdes wth the number of -free entres equal to. The strng length ε (T) s gven by (.7) max{r wt(w r w r+ w n ) + wt(w r w r+ w n ) }, whch also concdes wth the number of -free entres equal to +. Moreover, the largest ndex to attan the maxmum n (.7), f postve, s the entry on whch e acts, whch s the leftmost -free entry +. Theorem. ([KN94, Lt95]). The rasng and lowerng operators e,f for =,...,n are well-defned maps from SSYT n (λ) to SSYT n (λ) {} that determne a normal crystal (SSYT n (λ),{e,f } <n,wt) that s somorphc to B(λ). For example, Fgure 5 depcts the crystal structures on semstandard Young tableaux of shapes (, ), (, ), and (,, ) wth entres {,, }. These crystals are somorphc to B((,, )), B((,, )), and B((,, )), respectvely. Fgure 5. The crystal structures on semstandard Young tableaux of shapes (, ), (, ), (,,) wth entres {,,}, whch are somorphc to B((,,)), B((,,)), B((,,)). In partcular, on the level of polynomals we have s λ (x,...,x n ) = ch(b(λ)). Usng crystal theory, ths means that whenever we have a normal crystal structure on a set of objects, the objects are n weght-preservng bjecton wth hghest weght crystals B(λ), therefore the generatng polynomal s Schur postve. Specfcally, we have the followng. Corollary.. For a normal crystal B, we have (.8) ch(b) = b B e (b)= 6 s wt(b).

7 In partcular, the character of B s symmetrc and Schur postve... Local characterzaton of crystals. Establshng that a gven drected graph structure on a combnatoral set s a normal crystal s dffcult. To smplfy ths greatly, Stembrdge [Ste] gave a local characterzaton of crystals that arse from representatons for smply-laced types. In order to defne Stembrdge s axoms for type A r+, we frst ntroduce notaton assocated wth a drected, colored graph. A graph of dmenson r + wll mean a drected, colored graph X wth drected edges e (x) x f (x) for =,,...,r. Extendng the strng lengths ε,ϕ to ths case, we also have the followng dfferences whenever e,f s defned at x, ε j (x) = ε j (x) ε j (e (x)), ϕ j (x) = ϕ j (e x) ϕ j (x), ε j (x) = ε j (f (x)) ε j (x), ϕ j (x) = ϕ j (x) ϕ j (f x). Defnton. ([Ste]). A drected, colored graph X s regular f the followng hold: (A) all monochromatc drected paths have fnte length; (A) for every vertex x, there s at most one edge x y and at most one edge x z; f j = (A) assumng e x s defned, ε j (x)+ ϕ j (x) = f j = ± ; f j (A4) assumng e x s defned, ε j (x), ϕ j (x) for j ; (A5) ε j (x) = e e j x = e j e x = y and j ϕ (y) = ; ϕ j (x) = f f j x = f j f x = y and j ε (y) = ; (A6) ε j (x) = j ε (x) = E Ej E x = E j E E jx = y and ϕ j (y) = j ϕ (y) = ; ϕ j (x) = j ϕ (x) = F Fj F x = F j F F jx = y and ε j (y) = j ε (y) =. Axom A ensures that the crystal operators have fnte order when appled to a gven bass element, though t does not force the graph tself to be fnte. Axom A ensures that the edges of the graph correspond to well-defned operators, whch we assume map a bass element to n the absence of an edge. Axoms A and A4 dctate how the length of a j-strng dffers between x and e x; see Fgure 6. When j, there s no change (left case), but when j = ±, the length changes by, ether by decreasng the tal when ε(x,j) = (mddle case) or by ncreasng the head when ϕ(x,j) = (rght case). j j j j j j x j x j x j j j j Fgure 6. An llustraton of axoms A and A4, where f j ւ, f ց. j j Axoms A5 and A6 gve nformaton about how edges wth dfferent labels nteract locally; see Fgure 7. When j, the condtons of A5 wll always be satsfed, though when j = ±, ether A5 or A6 could hold, the former when ε(x,j) = and the latter when ε(x,j) = j ε(x,) =. The followng theorem shows that regular graphs correspond precsely to the crystal graphs of representatons for the general lnear group. Ths result allows us to combnatoralze the problem of studyng representatons of the general lnear group by nstead studyng regular graphs of degree n. 7

8 j j j j = or x j x j x j Fgure 7. An llustraton of axoms A5 and A6, where f j ւ, f ց. Theorem. ([Ste]). Every normal crystal s a regular graph and every regular graph s a normal crystal. The theorem s proved by showng that Lttelmann s path operators [Lt94] generate regular graphs, snce the Path Model s known to generate B(λ). Ths then gves a straghtforward machnery for provng that a gven structure s a crystal graph by showng that the graph s regular.. A crystal for shfted tableaux Schur P-polynomals arse as characters of tensor representatons of the queer Le superalgebra [Ser84], characters of projectve representatons of the symmetrc group [Ste89], and representatves for cohomology classes dual to Schubert cycles n sotropc Grassmannans [Pra9]. Stanley conjectured that Schur P-polynomals are Schur postve, and ths follows from Sagan s shfted nserton [Sag87] ndependently developed by Worley [Wor84]. Assaf [Ass8] gave another proof usng the machnery of dual equvalence graphs [Ass5]. In ths secton, we present a new proof usng the machnery of crystal graphs. In., we revew the combnatoral defnton of Schur P-polynomals as the generatng polynomals for semstandard shfted tableaux. In., we defne crystal operators on semstandard shfted tableaux analogous to those for semstandard Young tableaux. In., we use Stembrdge s axoms to prove that our crystal s normal, thus gvng a new proof of the Schur postvty of Schur P-polynomals... Shfted tableaux. A partton γ s strct f γ > γ > > γ l >. We dentfy a strct partton γ wth ts shfted Young dagram, the collecton of cells wth γ cells n row shfted l(γ) cells to the left. A semstandard shfted tableau of shape γ s a fllng of the shfted Young dagram for γ wth marked or unmarked postve ntegers such that entres weakly ncrease along rows and columns accordng to the orderng < < < <, each row at has most one marked entry for each, each column has at most one unmarked entry for each, and the dagonal has no markngs. For example, see Fgure 8. Fgure 8. The semstandard shfted tableaux of shape (,) wth entres {,,,,,} and no marks on the man dagonal. Schur P-polynomals enjoy nce propertes parallel to Schur polynomals. 8

9 Defnton.. The Schur P-polynomal ndexed by the strct partton γ s gven by (.) P γ (x,...,x n ) = x wt(s) x wt(s)n n, S SSHT n(γ) where SSHT n (γ) denotes the set of all semstandard shfted tableaux of shfted shape γ wth largest entry at most n, and wt(s) s composton whose th part s the total multplcty wth whch and occur n S. For example, from Fgure 8, we compute P (,) (x,x,x ) = x x +x x +x x +4x x x +x x +x x +4x x x +4x x x +x x +x x +x x +x x. Stanley conjectured that Schur P polynomals expand postvely nto the Schur bass, and ths follows as a corollary to Sagan s shfted nserton [Sag87] ndependently developed by Worley [Wor84]. Another combnatoral proof appears n [Ass8] usng the machnery of combnatoral graphs. Theorem. ([Sag87, Wor84]). For γ a strct partton, the coeffcents g γ,λ defned by (.) P γ (x,...,x n ) = λ g γ,λ s λ (x,...,x n ) are non-negatve ntegers. That s, Schur P-polynomals are Schur postve. For example, our prevous computaton can we wrtten as P (,) (x,x,x ) = s (,) (x,x,x )+s (,) (x,x,x )+s (,,) (x,x,x ). Stembrdge [Ste89] expanded on the dea of shfted nserton n hs study of projectve representatons of the symmetrc group, and ultmately establshed that the product of Schur P-polynomals expands postvely n the Schur P bass. More recently, Cho [Cho] bult on work of Serrano [Ser] to gve another proof of postvty, and Assaf [Ass8] gave another proof usng the machnery of combnatoral graphs. Theorem. ([Ste89]). For γ,δ strct parttons, the coeffcents fγ,δ ǫ defned by (.) P γ (x,...,x n )P δ (x,...,x n ) = ǫ f ǫ γ,δ P ǫ(x,...,x n ), are non-negatve ntegers. That s, products of Schur P-polynomals are Schur P postve. In the present paper, we gve new combnatoral proofs of Theorems. and. usng crystal graphs, both of whch gve rse to new combnatoral formulas for the expansons... Crystals on shfted tableaux. We gve a new proof of the Schur postvty of Schur P-polynomals by constructng a crystal graph on semstandard shfted tableaux. We note that Hawkes, Paramonov, and Schllng [HPS7] recently constructed a crystal on semstandard shfted tableaux n the context of type B/C Stanley symmetrc functons. Ther constructon uses Haman s mxed nserton [Ha89] to assocate a reduced word for a sgned permutaton wth a par of shfted tableaux, the left semstandard and the rght standard. Usng shfted nserton developed ndependently by Worley [Wor84] and Sagan [Sag87] to assocate the left semstandard shfted tableau wth a semstandard Young tableauthey are able to put the usual crystal structure revewed n. on the semstandard Young tableaux. Therefore, whle the Hawkes- Paramonov-Schllng constructon gves a desrable crystal nterpretaton of the Schur postvty of Schur P-polynomals, t does not gve a new proof of postvty n the sense that t reles on the postvty that follows from shfted nserton [Wor84, Sag87]. We developed our crystal ndependently, unaware of [HPS7], and our presentaton below s drect and dffers from the derved descrpton n [HPS7]. However, n Proposton.9 below, we prove that the two constructons are ndeed equvalent. Nevertheless, we proceed wth our drect descrpton below and gve a drect proof, usng Stembrdge s axoms, that ths defnes a normal crystal, thus gvng a new proof of the Schur postvty of Schur P-polynomals ndependent of shfted nserton. To begn, we defne a readng word for shfted tableaux as follows. 9

10 Defnton.4. For T a shfted tableau, the hook readng word of T, denoted by w(t), s the word obtaned by readng the marked entres of T up the th column, then the unmarked entres of T along the th row, left to rght, for from max(γ,l(γ)) to. For example, the hook readng words for the three tableaux n Fgure are lsted below the tableaux. By dsregardng the marks, we can calculate m (w(t)) just as n the unshfted case. Note that our readng word s not the readng word used to defne crystal operators n [HPS7]. The row and column condtons for shfted tableaux ensure that the cells wth entres, must form a rbbon,.e. contan no block. Ths observaton helps to make the followng well-defned. Defnton.5. The shfted lowerng operators, denoted by f, act on semstandard shfted tableaux by: f (T) = f m (w(t)) ; otherwse, lettng p be the smallest ndex such that m (w(t),p) = m (w(t)), lettng x denote the entry of T correspondng to w p, and lettng y be the entry north of x and z the entry east of x, we have (L) (a) f x = and z = +, then f changes x to + and changes z to +; (b) else f x = and y does not exst or y > +, then f changes x to +; (c) else f x = and the northeastern-most cell on the (+)-rbbon contanng y has a markng, then f removes that markng and changes x to +; (d) else f x =, then f changes x to +; y L(a) y y z L(b) y z z L(c) z Fgure 9. An llustraton of the shfted lowerng operators wth x = =. (L) (a) f x = and y =, then f changes x to and changes y to +; (b) else f x = and z does not exst or z > +, then f changes x to +; (c) else f x =, then f changes x to and changes the frst entry southwest along the -rbbon contanng x that s not followed by or + to +. z L(a) z y z L(b) y z y L(c) y Fgure. An llustraton of the shfted lowerng operators wth x = =. The rules for the shfted lowerng operators are llustrated case by case n Fgures 9 and. Fgure shows the lowerng operators appled to the left and mddle tableaux, where the changed cells are ndcated wth a crcle. Ths s, n fact, the complete 4-strng through these tableaux. A complete example on SSHT ((,,)) s shown n Fgure Fgure. A complete 4-strng on semstandard shfted tableaux of shape (4,, ), wth the hook readng word ndcated below.

11 Note that the total number of marked cells stays the same except for Case ()(d), where t ncreases by one. From the defnton, t s not obvous that these operators are well-defned nor that the result s agan a semstandard shfted tableau. However, both are ndeed the case, as wll be shown n Theorem.8. Fgure. The crystal structure on semstandard shfted tableaux of shape (, ) wth entres {,,,,,} and no marks on the man dagonal. In order to analyze how the shfted crystal operators change the lengths of monochromatc paths, we ntroduce the noton of blocked entres of a semstandard shfted tableau T, determned va the hook readng word w(t). Blockng wll depend upon a parameter, for < n, and for -blockng, only entres,,+,+ wll be consdered. Defnton.6. Let be an ndex and T a semstandard shfted tableau. A par of entres y,x of T, wth y {+, + } and x {,} are -pared f y occurs before x n the hook readng word of T and every entry,,+,+ that les between them n the hook readng word s -blocked. The -pared entres become -blocked, and we contnue the operaton recursvely tll there are no more possble -pars. An entry,,+,+ of T s -free f t s not part of an -par. Fgure shows the 4-blocked entres of the hook readng word pared wth under brackets and the 4-free entres are ndcated n red. Notce that for each tableau, there are exactly two 4-free entres. We show below that the -free entres of T occur wth all entres, precedng all entres +,+ n the hook readng word w(t). Ths mples the followng alternatve characterzaton for the entry of T on whch f acts. Lemma.7. For T a semstandard shfted tableau and an ndex, m (w(t)) s number of -free entres, of T, and f m (w(t)) >, then the smallest ndex p for whch m (w(t),p) = m (w(t)) occurs at the rghtmost -free entry,.

12 f f Fgure. A 4-strng on SSHT 6 (5,4,,), wth 4-blocked entres bracketed and 4-free entres ndcated n red. Proof. We clam all -free entres, precede all -free entres +,+ n the hook readng word w(t). To see ths, note that -pared entres are nested, and no -free entry may occur between an -par. Therefore, f y,x are -free entres wth y {+,+}, x {,} and y precedng x n w(t) such that no ntermedate entres are -free, then all ntermedate entres,,+,+ are pared wth another entry between y and x, therefore y and x have the same number of entres equal to +,+ as equal to, between them n w(t), contradctng that y,x are free. Thus no -free entry +, + may precede an -free entry, n w(t), establshng the clam. Recall that m (w(t)) = max r (m (w(t),r)) s postve f and only f f (T), and n ths case the smallest ndex p for whch m (w(t),p) = m (w(t)) occurs at an entry or. By the prevous clam, f r < s are the ndces n w(t) of an -blocked par, then m (w(t),r ) = m (w(t),s). Therefore the smallest ndex p for whch m (w(t),p) = m (w(t)) must occur at the rghtmost -free entry or. Furthermore, snce w(t) p cannot le between any -blocked par, we have m (w(t),p) s the number of -free entres or weakly precedng w(t) p, whch by the prevous clam, s smply the number of -free entres or of T. Usng blocked and free entres, we now prove the shfted lowerng operators are well-defned. The proof s a case by case analyss that actng as prescrbed n Defnton.5 results n a semstandard shfted tableau. Theorem.8. For any strct partton γ, the shfted lowerng operators {f } <n are well-defned maps f : SSHT n (γ) SSHT n (γ) {}. Proof. Let T be a semstandard shfted tableaux and assume m (w(t)) > so that f acts non-trvally on T. Let x,y,z be as n Defnton.5, and let ther ndces n the hook readng word be p x,p y,p z, respectvely. By defnton, p x s the smallest number satsfyng m (w(t),p) = m (w(t)). By Lemma.7, every cell labeled + or + that precedes x n w(t) s -pared wth some cell labeled / that les between tself and x. Smlarly, every cell labeled / that follows x n w(t) s -pared wth some cell labeled +/+ that les between x and tself. In partcular, f x has label, then z cannot also have label snce t follows mmedately after x n w(t), and f x has label then y cannot have label for exactly the same reason. Case L(a): We must verfy two thngs to show that the shfted tableaux rules are not volated: x s not on a man dagonal, and the cell above z s not +/+. We frst show that x can not be on the man dagonal. As z = +, t needs to be -pared wth a cell labeled / after t and before x n the readng word, whch can only happen n the column of x (Fgure 4, left). Assume there are t cells labeled n the column of x. The cells left adjacent to those can only be labeled or + as columns and rows weakly ncrease. Furthermore, every + n the column of z needs to be pared wth a between x and tself, so at most t of these can be +, and the bottom one most must be labeled. Let us call ths cell x (Fgure 4, mddle). As x = t must be -pared wth some + between x and x n the readng word (+ never comes after ). By the tableaux rules, such a cell must be on the row above. If there are t such cells labeled, they are -pared wth t cells labeled + on the row above, whch means the leftmost (say x ) s followed by an +. To -par ths +, the cell under x must be labeled, whch takes us back to our startng pont (see Fgure 4, rght). Snce our shape fnte, ths case can not happen. The second step s to show that the cell above z can not be labeled +/+. We can elmnate the + case easly, as x s not on the man dagonal, there s a cell above x and there s no vald way to fll t (Fgure 5, left). Assume the cell above z s labeled +. As t s not on the man dagonal, any comes after t n the readng word, ts -par s an entry between x and tself, so there needs to be another cell labeled to the left of x. If s not

13 < x + > x + + x + + x + + x Fgure 4. Case L(a), showng x can not be on the man dagonal. on the man dagonal, then t has a cell above t that s labeled at least +, so the cell above x also must be +, and we need another to par t. Ths contnues tll we ht the man dagonal, and the + on the dagonal stll need an -par. As there s no more place left for an, ts -par must be an entry after t on the readng word, whch can only happen n the column to the left. Ths leads to a contradcton as there s no way to fll the cell to the rght of (see Fgure 5, rght).? + x z +? + + x z Fgure 5. Case L(a), showng the cell above z can not be + or +. Case L(b): In ths case we assume z + (snce we are not n case L(a)) and ether y does not exst or y > +, so there are no possble row or column volatons that can arse from changng x from to +. Cases L(c) and L(d): For these cases, we assume z + (snce we are not n case L(a)) and y = +/ + (snce we are not n case L(b)), therefore there are no possble row or column volatons that can arse from changng x from to +. Let u denote the entry at the head of the ( + )-rbbon contanng y. If u = + (case L(d)), then no change occurs here, and f u = + (case L(c)), then snce the (+)-rbbon termnates at u, the cell above u s larger than +, so removng the markng on u cannot create a row or column volaton ether. Case L(a): As there can be at most one on a row, changng x from to does not create a row or column volaton, therefore we only need to check that no volatons arse n changng y from to +. Note that y can not be on the man dagonal, snce otherwse x would mmedately precede y, gvng m (w(t),p y ) > m (w(t),p x ). So the only potental s when the cell rght adjacent to y s labeled +. Assume t s. Then t must be -pared wth a cell labeled that comes before x n w(t). However, ths can only happen n the column of x, so the cell below x must be. Assume there are k cells labeled below x. Then we can have at most k cells labeled + n the next column, so the bottom two s need to have s left adjacent to them, whch can not happen by our column rules (Fgure 6, left). + x x + x + +? + + Fgure 6. Case L: x = Case L(b): We must have y + (snce we are not n case L(a)) and ether z does not exst or z > +, so there are no possble row or column volatons that can arse from changng x from to +.

14 Case L(c): Snce y + (snce we are not n case L(a)) no row or column volaton can arse n changng x from to. Therefore we only need to verfy that, n the -rbbon contanng x, there s an entry that s not followed by or + as descrbed, and that turnng t nto + creates no volatons. We have two cases based on the possble values of z as or + (snce we are not n case L(b)). We frst consder the case z =. If the rghtmost n ths row s not followed by +, we are done. If t s, then t needs to be -pared wth a cell marked between x and tself n the readng word, whch can only happen n the column of the rghtmost. Assume ths column contans k cells labeled. Then there can be at most k cells labeled + n the next column, so the bottom-most one needs to be followed by an. If the rghtmost s not followed by +, we are done. If t s, we can repeat the same argument tll we fnd such an (Fgure 6, mddle). The case z = + s smlar, as z needs to be -pared wth a cell labeled that comes after x n the readng word, and that can only happen n the column of x. As above, the bottom n the column must be followed by an, and we can contnue untl we fnd an not followed by + (Fgure 6, rght). In order to prove that the shfted lowerng operators are nvertble when the mage s nonzero, we offer the followng explct rule for ther partal nverses. Defnton.9. The shfted rasng operators, denoted by e, act on semstandard shfted tableaux by: e (T) = f m (w(t),k) = m (w(t)); otherwse, lettng q be the largest ndex such that m (w(t),q) = m (w(t)), lettng x denote the entry of T correspondng to w q, and lettng y be the entry south of x and z the entry west of x, we have (R) (a) f x = + and z = +, then e changes x to + and changes z to ; (b) else f x = + and y does not exst or y <, then e changes x to (c) else f x = + then e changes x to + and changes the frst entry + southwest along the +-rbbon contanng x that s not above an or + to ; R(a) R(b) z y z z y y y R(c) z Fgure 7. An llustraton of the shfted rasng operators wth x = =. (R) (a) f x = + and y =, then e changes x to and changes y to ; (b) else f x = + and z does not exst or z <, then e changes x to ; (c) else f x = +, and the northeastern-most cell on the ()-rbbon contanng z s not on the man dagonal, then e adds a markng to that cell and changes x to ; (d) else f x = +, then e changes x to. z R(a) z z y R(b) z y y R(c) y Fgure 8. An llustraton of the shfted rasng operators wth x = =. The proof that the shfted rasng operators are well-defned s completely analogous to that for the shfted lowerng operators. Smlarly, f e (T), then the largest ndex q for whch m (w(t),q ) = m (w(t)) occurs at the leftmost -free entry + or +, parallel to Lemma.7. Detals of both proofs are omtted... Verfcaton of local axoms. To prove that our operators defne a normal crystal, we begn by showng that they satsfy the condtons requred to be a crystal. Theorem.. For any strct partton γ, the shfted rasng and lowerng operators e,f for =,,...,r together wth the usual weght map defne a crystal on SSHT r+ (γ). 4

15 Proof. From the defntons of the shfted operators, we have wt(f (T)) = wt(t) + α and wt(e (T)) = wt(t) α. Therefore there are two statements to prove based on Defnton.: that e (T) = T f and only f f (T ) = T, and that ϕ (T) ε (T) = (wt(t) wt(t) + ). Note that the second statement follows once we show ε (T) s the number of -free entres +,+ n T and ϕ (T) s the number of -free entres, of T, snce all other entres appear n pars whose weghts cancel. We prove both statements together n cases based on Defnton.5 for the shfted lowerng operators. Case L(a): We assume x = and z = + n T, therefore f (T) has x = + and z = +. For an example of ths case, see Fgure 9. In the hook readng words, the poston of x n w(t) s precsely the poston of z n w(f (T)). However, the poston of z n w(t) s weakly left of the poston of x n w(f (T)), wth the offset equal to the number of marked entres strctly above z or strctly below x n T (and n f(t)). However, snce f (T) s semstandard, there cannot be an entry + above z, so we only need to be concerned about any entres below x. Note that f u = s below x and v s the cell mmedately to ts rght, then + < v, and snce v s below z, we also have v +. Therefore v = +, therefore n ths way we par off each below x wth an + below z. In partcular, snce marked entres n the column of z are read mmedately before marked entres n the column of x, every below x s -pared wth an + weakly below z n both w(t) and n w(f (T)). Therefore the number of -blocked pars s unchanged n passng from w(t) to w(f (T)). Furthermore, the result s that the rghtmost -free entry becomes the leftmost -free entry +, landng us n case R(a) for the shfted rasng operator, whch wll precsely undo the acton. 4 f L(a) Fgure 9. Example of -blocked/free entres when f acts by case L(a). Case L(a): We assume x = and y = n T, therefore f (T) has x = and y = +. For an example of ths case, see Fgure. The poston of x = n w(t) s precsely the poston of y = + n w(f (T)). However, the poston of y = n w(t) s weakly rght of the poston of x = n w(f (T)), wth the offset equal to the total number of unmarked entres strctly rght of y or strctly left of x n T (and n f(t)). We clam every cell v wth entry + n ths range s -blocked. Indeed, n ths case v must be rght of y, therefore the cell mmedately below v, say u, must have entry < u < +. However, the entry cannot be +, snce ths forces a downward column of entres + equal n length to the downward column of entres from x, therefore x would be -blocked. Therefore u must have entry, so there are at least as many entres rght of x as entres + rght of y, provng that all of the latter are ndeed -blocked. Thus the number of -blocked pars s unchanged n passng from w(t) to w(f (T)). Furthermore, the result s that the rghtmost -free entry becomes the leftmost -free entry +, landng us n case R(a) for the shfted rasng operator, whch wll precsely undo the acton. 4 4 f L(a) Fgure. Example of -blocked/free entres when f acts by case L(a). Case L(b): We have x = n T become x = + n f (T), and by Lemma.7 ths happens at the rghtmost -free entry, so the number of -blocked pars s agan unchanged and the rghtmost -free entry 5

16 becomes the leftmost -free entry + landng n case R(b) of the shfted rasng operator, whch precsely toggles back to case L(b) under e. Case L(b): We have x = n T becomes x = + n f (T), and by Lemma.7 ths happens at the rghtmost -free entry, so the number of -blocked pars s unchanged and the rghtmost -free entry becomes the leftmost -free entry + landng n case R(b) of the shfted rasng operator, whch precsely toggles back to case L(b) under e. Case L(c): We assume x =, y = + or +, and z > + n T, and, lettng u denote the northeastern-most cell of the (+)-rbbon contanng y, u = +. Then f (T) has x = + and u = +. For an example of ths case, see Fgure. The stuaton here s smlar to case L(a), though now both x and u move when passng from w(t) to w(f (T)), so we consder each n turn. Frst, comparng the poston of x = n w(t) wth that of u = + n w(f (T)), x moves left past any unmarked entres that le n a row strctly between that of u and x. We clam that any such entres are -blocked. Snce no two entres + may occur n the same row, the number of entres + along the ( +)-rbbon s one fewer than the number of columns spanned by the rbbon (snce the northwestern-most entry s + ). Further, snce < + wth no ntermedate values, any n a row between u and x must be mmedately below the ( + )-rbbon, therefore the maxmum number of such entres s agan the number of columns spanned mnus one for the column of x. Snce the ( +)-rbbon les above the s, all of the s wll be -pared wth one of those + s, thus provng the clam. Second, comparng the poston of u = + n w(t) wth that of x = + n w(f (T)), u moves left past any marked entres that le weakly between u and x n the column readng word (bottom to top along columns, from rght to left). By the same analyss of rbbons, where now we count columns nstead of rows, any such entres are -blocked. Therefore the number of -blocked pars s once agan unchanged. Furthermore, the head of the ( + )-rbbon wll become the leftmost -free entry + and satsfy the condtons of case R(c) for the shfted rasng operators, whose acton wll precsely undo that of the shfted rasng operator for ths case f L(c) Fgure. Example of -blocked/free entres when f acts by case L(c). Case L(c): We assume x =, y >, and z = or + n T, and let u = denote the southwestern-most entry of the -rbbon contanng x not followed by or +. Then f (T) has x = and u = +. For an example of ths case, see Fgure. As wth case L(c), both x and u move when passng from w(t) to w(f (T)). Comparng the poston of x = n w(t) wth that of u = + n w(f (T)), x moves left past any marked entres that le n a column strctly between that of x and u. We clam that any such entres are already -blocked n T. Startng from x, the frst tme the rbbon descends there must be an entry + at the end of that row, else the last n that row would have been u, therefore all entres mmedately rght of the descendng porton must be + except for the rght turn of the -rbbon, whch must have an, and the argument repeats. Therefore each step down of the -rbbon has an, and n the column mmedatelyto the rght there are equally many + s offset one row hgher, so all entres are -blockedas clamed. Comparng the poston of u = n w(t) wth that of x = n w(f (T)), u moves left past any unmarked entres that le n a row between that of x and u. We clam that any such entres + are already -blocked n T and not by parng wth u. The number of s n ths range s the number of columns spanned by the -rbbon below the top row. Snce the ( + )-rbbon(s) n ths range must le mmedately on top of the -rbbon, the number of + s s bounded by the number of columns spanned by the -rbbon excludng the top row mnus one for the entry + that must end the top row, therefore there are strctly more s ncludng u. Therefore all entres + reman -blocked n f (T). Case L(d): We assume x =, y = + or +, and z > + n T, and, lettng u denote the northeastern-most cell of the (+)-rbbon contanng y. Note that u = + les on the man dagonal, snce 6

17 f L(c) Fgure. Example of -blocked/free entres when f acts by case L(c). each column between u and x contans at least one +, and as all are -pared wth entres to the left of x n the readng word, the column strctly to the left of u must contan an. Then f (T) has x = +. Snce u les on the man dagonal, t occurs n w(t) and n w(f (T)) after all marked entres,+ and before all unmarked entres,+ on the two relevant rbbons, therefore the analyss of case L(c) resolves ths case as well, wth nverse gven by case R(d). From the proof of Theorem., we have the followng characterzaton of the lengths of the heads and tals of -strngs n terms of the number of -free entres, and ths s equvalent to applyng (.7) and (.6) to the hook readng word. Corollary.. For T a semstandard shfted tableau and an ndex, ε (T) s the number of -free entres +,+ n T, and ϕ (T) s the number of -free entres, of T, and we have (.4) (.5) ε (T) = max{r wt(w r w r+ w n ) + wt(w r w r+ w n ) }, ϕ (T) = max{r wt(w w w r ) wt(w w w r ) + }. We use Stembrdge s characterzaton of regular graphs [Ste] to establsh drectly that the shfted lowerng operators determne a normal crystal on shfted tableaux. To begn wth, we show that the notaton used n Defnton. s well-defned for the graph on semstandard shfted tableaux wth edges gven by the shfted crystal operators. Lemma.. The graph on SSHT n (γ) wth edges x y whenever e (x) = y and x z whenever f (x) = z s a drected, colored graph satsfyng Stembrdge axoms A and A. Proof. For axom A, all monochromatc drected paths have fnte length snce f changes the weght of a semstandard shfted tableau by wt(f (T)) = wt(t) + α, where α s the smple root e e +, and the weght of a semstandard shfted tableau has non-negatve parts. Axom A, statng for every vertex x, there s at most one edge x y and at most one edge x z, follows from f beng well-defned, proved n Theorem.8, and from f and e beng nverses to one another, proved n Theorem.. Gven the local nature of the shfted operators, meanng that f looks only at the postons of entres,,+,+, axoms A A6 for j are easy to establsh. Corollary. helps to establsh axoms A and A4 n the case j = (and axoms A5 and A6 are vacuous n ths case). For the remanng cases, j = ±, axoms A A6 are resolved wth the help of the followng lemma. Lemma.. Let T be a semstandard shfted tableau. Then for >, f (T) ether has one more ( )-free entry, or one fewer ( )-free entry, and not both, and for, f (T) ether has one more (+)-free entry +,+ or one fewer (+)-free entry +,+ and not both. Proof. The net effect of f on the weght s to remove an entry or and create an entry + or +. If the removed entry, was -blocked, then some entry, that was -blocked becomes -free; otherwse the removed entry, was -free. Smlarly, If the created entry +, + pars wth an otherwse +-free entry +,+, then both entres become +-blocked; otherwse, the created entry +,+ s +-free. Therefore we need only show that the travelng entres n the cases of L(a),(c),(d) and L(a),(c) of Defnton.5 do not otherwse change the number of ±-free entres. Ths s a case by case analyss smlar to that n the proof of Theorem.. 7