arxiv: v1 [math.rt] 3 Jan 2019

Transcription

1 A plactc algebra acton on bosonc partcle confguratons: The classcal case Joanna Menel arxv: v1 [math.rt] 3 Jan 2019 Abstract We study the plactc algebra and ts acton on bosonc partcle confguratons n the classcal case. These partcle confguratons together wth the acton of the plactc generators can be dentfed wth crystals of the quantum analogue of the symmetrc tensor representatons n type A. It turns out that ths acton factors over a quotent algebra that we call partc algebra, whose nduced acton on bosonc partcle confguratons s fathful. We descrbe a bass of the partc algebra explctly n terms of a normal form for monomals, and we compute the center of the partc algebra. Introducton Let k be a feld. Fx an nteger 3. The (local plactc algebra P s the untal assocatve k-algebra generated by a 1,...,a 1 subject to the plactc relatons a a 1 a = a a a 1 for 2 1, (1 a a +1 a = a +1 a a for 1 2, (2 together wth the commutatvty relaton a a j = a j a for j > 1. (3 Our results hold over an arbtrary untary assocatve rng, f we adapt the notaton, replacng vector spaces by free modules and so on. In statements about the center we need to assume commutatvty of the ground rng. For smplcty we choose to work over a feld. The plactc relatons go back to Lascoux and Schützenberger [LS81]. They study the monod defned by the plaxc relatons (n the orgnal, plaxque or a placche (1, (2 and the nonlocal Knuth relaton, a slghtly weaker commutatvty relaton (a a j a k = (a j a a k, a k (a a j = a k (a j a for < k < j (n partcular for j > 1. Ths monod s somorphc to the monod of semstandard Young tableaux wth entres 1,..., 1 (and multplcaton defned by row bumpng by readng off the entres of a tableau from left to rght and bottom to top, see [Ful97, Secton 2.1] for the detals. The name local plactc algebraforthe algebradefned by the relatons (1, (2 and (3 goesback to [FG98] due to the addtonal local commutatvty relaton (3. Fomn and Greene develop a theory of Schur functons n noncommutatve varables that apples n partcular to the (local plactc algebra, see [FG98, Example 2.6], ncludng a generalzed Lttlewood-Rchardson rule for Schur functons defned over the plactc algebra. The plactc algebra acts on Young dagrams by Schur operators,.e. a adds a box n the th column f possble, and otherwse maps the dagram to zero [Fom95]. 1

2 The monod defned by the plactc relatons (1, (2 and (3 appears as a Hall monod or quantc monod of type A 1 n [Re01], [Re02]: Reneke defnes the structure of a monod on somorphsm classes of modules over the path algebra kq for an orented Dynkn quver Q. The product of two somorphsm classes [M] and [M ] s defned by [M M ], the somorphsm class of the generc extenson of M by M n kq mod. The generc extenson s up to somorphsm unquely determned to be the extenson wth dm(end kq (M M mnmal among all possble extensons. Equvalently, the orbt of the generc extenson s dense n the subset of extensons of [M] and [M ] nsde the representaton varety of Q. In partcular, Reneke shows that for Q = A 1 (wth orentaton gven e.g. by ( 1 for the vertces 2 1 of Q, the k-lnearsaton of the resultng monod s somorphc the plactc algebra as defned above, where the somorphsm classes of the one-dmensonal smple modules [S ] are mapped to the generators a. Ths s furthermore dentfed wth the postve half of the twsted quantum group at q = 0, whch s obtaned by twstng the multplcaton and desymmetrzng the quantum Serre relatons so that they can be rewrtten wthout appearance of q 1. In [Re02] t s proven that the twsted (postve half of the quantum group specalzed to q = 0 s somorphc to the lnearsaton of the Hall monod. The desymmetrzed Serre relatons at q = 0 are the plactc relatons. By Rngel s theorem [Rn90] we know that the postve half of the twsted quantum group s somorphc to the generc Hall algebra for any Dynkn quver Q. Hence, the specalsaton of the generc Hall algebra at q = 0 gves the Hall monod. Dfferent normal forms for monomals n the plactc algebra are gven n terms of enumeratons of the roots [Re02, Theorem 2.10]. In [KS10] the plactc algebra appears n the study of bosonc partcle confguratons. Schur functons n the generators of the affne plactc algebra are defned usng Bethe Ansatz technques to show that they are well-defned despte the noncommutatvty of the generators. Combnatorally, a bosonc partcle confguraton s gven by a tuple (k 1,...,k 1,k 0 n Z 0. One can thnk of such a tuple as a fnte number of partcles dstrbuted on a dscrete lattce of postons on a lne segment (the classcal case or along a crcle (the affne case. Here we focus on the classcal case. The generators a act on the partcle confguratons and ther k-span by lowerng k by 1 and ncreasng k +1 by 1, f possble. If not possble snce k = 0, the result s 0. In the pcture ths would correspond to propagaton of a partcle from poston to +1. One can dentfy bosonc partcle confguratons wth Young dagrams, then the operator a acts by addng a box n the ( + 1-st row of the Young dagram, f possble, and by 0 otherwse. Up to an ndex shft and swtchng rows and columns, ths s the same as the acton on Young dagrams by Schur operators from [FG98]. We wll use the dentfcaton of the k-span of bosonc partcle confguratons wth the vector space of polynomals k[x 1,...,x 1,x 0 ] so that a partcle confguraton (k 1,...,k 1,k 0 corresponds to a monomal x k1 1...xk 1 1 xk0 0. Then the generator a of the plactc algebra acts by lowerng the exponent of x by 1 and rasng the exponent of x +1 by 1. ote that ths acton s combnatoral n the sense of [FG98] Fgure 1: Example for = 8: A bosonc partcle confguraton on a lne segment gven by the tuple (4,0,0,1,0,1,2,2. 2

3 A very promnent combnatoral realzaton of the acton of the generators a of the plactc algebra on bosonc partcle confguratons wth k partcles s the acton of the Kashwara operators f on the crystal B(kω 1 of type A 1,.e. the crystal for the quantum analogue of the symmetrc representaton L(kω 1 = Sym k (C of the Le algebra sl (C (see e.g. [HK02] for detals. The Young tableaux that consttute the nodes n the crystal graph correspond to the partcle confguratons by placng a partcle at poston for each box labelled n the Young tableau. Smlarly, the crystal B(ω k for the quantum analogue of the alternatng representaton can be dentfed wth fermonc partcle confguratons together wth the acton of the generators of the plactc algebra. Ths mples that the Kashwara operators satsfy the plactc relatons on B(ω k and B(kω 1, see also [Me16, Chapter I.1]. Relatons among Kashwara operators for abstract crystals of smply laced fnte and affne type were studed by Stembrdge n [Ste03] where a lst of relatons s gven that hold f and only f the abstract crystal graph can be realzed as a crystal graph of an ntegrable hghest weght representaton. Here we study the representaton of the plactc algebra on bosonc partcle confguratons more closely. Our man goal s to dentfy the kernel of ths representaton and to descrbe the resultng algebra. For Young dagrams our results can be nterpreted as a full lst of generatng relatons among the Schur operators. For crystals they can be nterpreted as relatons satsfed by the Kashwara operators f on crystals of the form B(kω 1. Let us pont out that from [KS10, Proposton 9.1], [BFZ96, Proposton 2.4.1], [BJS93] t s known that on fermonc partcle confguratons the nltemperley-leb quotent of the plactc algebra acts fathfully. In [BM16] the case of affne fermonc partcle confguratons was studed, ncludng a descrpton of a normal form for monomals n the affne nltemperley-leb algebra and ts center. Organzaton and Results. In Secton 1 we ntroduce a quotent of the classcal plactc algebra named partc algebra, and we start by some small techncal prelmnares. In Secton 2 we construct a normal form of the monomals n the partc algebra, leadng to the Bass Theorem 2.1: Theorem. The partc algebra P part has a bass gven by monomals of the form {a d ad2 2 ak1 1 ak2 2...ak 1 1 d d 1 +k 1 for all 3 1, d 2 k 1 } where d,k Z 0 for all 1 1. In Secton 3 we dscuss the acton of the classcal plactc and the partc algebra on bosonc partcle confguratons whch we realze as an acton on the polynomal rng k[x 1,...,x 1,x 0 ], and we prove fathfulness of the acton of the partc algebra n Theorem 3.2: Theorem. The acton of the partc algebra P part on k[x 1,...,x 1,x 0 ] s fathful. In Secton 4 we descrbe the center of the partc algebra n terms of Theorem 4.1: Theorem. The center of the partc algebra P part {a r 1 ar 2...ar 2 ar 1 r 0}. s gven by the k-span of the elements In Secton 5 we gve an outlook to the much harder affne case treated n the followup work [Me]. We recall the defnton of the affne partc algebra and ts acton on affne bosonc partcle confguratons. For the descrpton of the kernel we fnd an unexpected generalzaton of the partc relaton from the classcal case. 3

4 Ths paper goes back to the author s PhD thess: Most of Sectons 1, 2, 3 and 4 can be found n [Me16, Chapter I.3], whle Secton 5 s new and replaces the outdated vew from [Me16, Chapter I.3.6]. Acknowledgements. I would lke to thank the Max Planck Insttute for Mathematcs and the Hausdorff Center for Mathematcs for excellent research condtons and fundng the project through IMPRS/BIGS. I thank Catharna Stroppel for supervsng the thess, and I am grateful to Mchael Ehrg and Danel Tubbenhauer for helpful dscussons. 1 The partc algebra We ntroduce a quotent of the classcal plactc algebra: Defnton 1.1. DefnethepartcalgebraP part tobethequotentofp bytheaddtonalrelatons a a 1 a +1 a = a +1 a a 1 a for 2 2. (4 ote that one can nterpret the plactc relatons (1, (2 as commutatvty of the product (a +1 a wth the generators a +1 and a. Relaton (4 together wth (1 mples n partcular that (a +1 a and (a a 1 commute. Remark 1.2. Ths relaton appears naturally n the study of bosonc partcle confguratons, see Secton 3. In contrast, n the Hall monod of fnte type A 1 one cannot expect [S +1 S ] and [S S 1 ] to commute. Ths s because precsely one of S +1 S S S 1, S S 1 S +1 S s a nontrval extenson of S +1 S and S S 1 (t depends on the choce of orentaton whch one s nontrval n much the same way as [S ] and [S ±1 ] do not commute. Remark 1.3. We have two gradngs on both the plactc and the partc algebra: 1. All relatons preserve the length of monomals, hence P and P part can be equpped wth a Z-gradng by the length of monomals. 2. All relatons preserve the number of dfferent generators n a monomal, hence P and P part can be equpped wth a Z 1 -gradng that assgns to the generator a the degree e, the -th standard bass vector n Z 1. Ths s a refnement of the above length gradng. Lemma 1.4. In the plactc (and hence also n the partc algebra, the followng relatons hold: For all generators a, a 1, 2 1 and all m 0, we have a m a m 1 = (a a 1 m, (5 a (a m am 1 = (am am 1 a. For all k j we have (a a 1...a j+1 a j a k = a k (a a 1...a j+1 a j. (6 Proof. 1. The second equaton of Lemma 1.4.( follows from the frst by the plactc relaton(1. By nducton, a m am 1 = a (a a 1 m 1 a 1 = (a a 1 m 1 a a 1 = (a a 1 m. 4

5 2. Ths equalty follows from the calculaton (a a 1...a j+1 a j a k (3 = a a 1...a k+1 a k a k 1 a k...a j+1 a j (1 = a a 1...a k+1 a k a k a k 1...a j+1 a j (2 = a a 1...a k a k+1 a k a k 1...a j+1 a j (3 = a k (a a 1...a j+1 a j. 2 A bass of the partc algebra In ths secton we formulate the followng man theorem: Theorem 2.1. The partc algebra P part has a bass gven by monomals of the form {a d ad2 2 ak1 1 ak2 2...ak 1 1 d d 1 +k 1 for all 3 1, d 2 k 1 } (7 where d,k Z 0 for all 1 1. Our approach s based on the observaton that t suffces to construct a normal form for monomals to obtan a k-bass for an algebra gven by generators and monomal relatons. Ths follows from [Hey98, Proposton 2] where t s proven that an algebra of the form k[x]/(m m m,m certan words n the generators n X s somorphc to the semgroup algebra k[s] for the semgroup S defned by the same set of generators X and relatons m = m for all m m that generate the deal. By defnton k[s] has a bass gven by elements n S whch can be represented by monomals n X. Remark 2.2. Ths approach can be extended to algebras of the form A = k[x]/(m,m m m,m,m certan words n the generators n X. The correspondng semgroup S s gven by generators X { }, where denotes the absorbng element, and the relatons are of the form m =, m = m where m, m m are generators of the deal. Then A = k[s]/(, and a bass of A s gven by a normal form for the elements n S \{ } (see [Me16, Remark I.2.5.1]. In ths secton we show that every monomal n the partc algebra s equvalent to a monomal of the form (7. In Secton 3 we observe that these monomals act parwse dfferently on the partcle confguraton module, and we conclude that they must have been dstnct. Proposton 2.3. Every monomal n the partc algebra P part s equvalent to a monomal of the form (7,.e. a d ad2 2 ak1 1 ak2 2...ak 1 1 wth d d 1 +k 1 for all 3 1 and d 2 k 1. Proof. The proof works by nducton on the length of monomals. If the length s equal to 1, we have a = a k for k = 1, and the condton from (7 s preserved. For the nducton step our goal s to show that a ( a d ad2 2 ak1 1 ak2 2...ak 1 1 = a d ad...a d2 2 ak1 1 ak2 2...ak...a k 1 1, (8 5

6 where d = d and k = k +1, or d = d +1 and k = k are such that the nequalty condton (7 s preserved. Snce we can commute a wth all a j as long as j ±1, we only need to consder ( a a d+1 +1 ad ad 1...ak 1 ak. In order to prove that ths can be rewrtten as n (8, we have to show that ether we can pass a through to the rght hand sde, ncreasng the exponent k by one, or we leave t at the left hand sde, ncreasng d by one. 1. Case d +1 = d = d 1 = k 1 = 0: Set k = k + 1. The nequalty condton (7 s automatcally satsfed f we ncrease one of the k s, so there s nothng to check. The equalty (8 s obvous snce we only apply the commutatvty relaton (3. 2. Case d +1 = d = d 1 = 0, k 1 > 0: Set d = 1. The nequalty condton (7 s preserved snce k 1 1, and agan we only apply the commutatvty relaton (3. 3. Case d +1 = d = 0, d 1 > 0, k 1 arbtrary: Set d = 1. The nequalty condton (7 s preserved snce d 1 1, and as before we only apply the commutatvty relaton (3. 4. Case d +1 = 0, d > 0, d 1 and k 1 arbtrary so that d d 1 +k 1 : d < d 1 +k 1 : Set d = d +1. d = d 1 +k 1 : We cannot ncrease d, hence we have to show that we can commute a pasta d 1 1 andak 1 toncreasek. Indeed, wecanapplyequalty (5fromLemma1.4.( to obtan a (a d ad 1...ak 1 ak = a d 1+k 1+1 a d ak 1 ak = a k 1+1 (a a 1 d 1...a k 1 1 ak = (a a 1 d 1 a k a k 1 1 ak = (a a 1 d 1...a k 1+1 a k 1 1 ak = (a a 1 d 1...a (a a 1 k 1 a k = (a a 1 d 1...(a a 1 k 1 a k+1 = (a a 1 d 1 a k 1...a k 1 1 ak+1 = a d 1+k 1 a d ak 1 ak Case d +1 > 0, d, k and d 1, k 1 arbtrary so that d +1 d +k, d d 1 +k 1 : We reduce to the prevous cases by provng ( a a d+1 +1 a d ad 1...ak 1 ak d +1 d : Here we can apply Lemma 1.4.( to obtan ( = a d+1 +1 a a d ad 1...ak 1 ak. a (a d+1 +1 ad = a (a +1 a d+1 a d d+1 = (a +1 a d+1 a d d+1 = a d+1 +1 a a d. d +1 < d : In ths case we have k d +1 d > 0. It suffces to prove that a a m +1 ad ak 1 1 am = a m +1 a a d ak 1 1 am foranym > 0. Thenthedesredstatementfollowsusngequalty(5fromLemma1.4.(: ( a a d+1 +1 ad ad 1...ak 1 ak = (a +1 a d a a d+1 d +1 a d ak 1 ad+1 d a k+d d+1 ( = (a +1 a d a d+1 d +1 a a d ak 1 ad+1 d = a d+1 +1 a a d ad 1...ak 1 ak. 6 a k+d d+1

7 ow for d 1,d 2,...,d j > 0 and d j 1 = 0 (possbly j =, or j = 1, we apply equatons (3, (4, (5 and (6 to pass the factor a (dstngushed by bold prnt through the whole expresson, thereby provng the desred equalty. a a m +1 ad 1 1 ad ad j j ad j 2 1 am (3 = a a d 1 1 ad ad j j ad j 2 1 am +1 am (5 = a a d 1 1 ad ad j j ad j 2 1 (a +1a m = (a a a 1 a d a d 2 (6 = a d a d (aa (6 = a d a d ad j j ad j 2 1 (a +1a m a a 1 a 2...a j a d j 1 j...a d j 1 j a d j 2 1 (a +1a m (a a a 1 a 2...a 1 (a +1a m (3 = a d a d a d j 1 j 2 (a a a 1 a 2...a j a k j 1 1 (a +1a m (6 = a d a d a d j 1 1 j 1 (a a a 1 a 2...a j a j 1 a k j 1 (a +1a m (6 = a d a d a d j 1 1 j 1 (3 = a d a d a d j 1 1 j 1 (4 = a d a d a d j 1 1 j 1 (5 = a d a d a d j 1 1 j 1 (3 = a m +1 ad (6 = a m +1 ad = a m +1 ad (3 = a m +1 ad (6 = a m +1 ad a d a d a d a d a d a d j 1...a d j 1...a d j 1...a d j 1 j...(aa 1 (a a a 1 a 2...a j a j 1 (a +1 a m a k j 1 (a a a 1 (a +1 a m (a 2...a j a j 1 a k j 1 (a +1a m (a a a 1 (a 2...a j a j 1 a k j 1 am +1 am (a a a 1 (a 2...a j a j 1 a k j 1 j 1 a k j 1 am (a a a 1 a 2...a j a j 1 j 2 (a a a 1 a 2...a j a j 1 a k j 1 1 j 1 a k j 1 am j 2 (a a a 1 a 2...a j a k j 1 1 am (a a a 1 a 2...a 1 am a a 1 a 2...a j a d j 1 j a d j 2 1 am (6 = a m +1 ad (a a a 1 a 2 a d a d j j ad j 2 1 am (6 = a m +1 (a a a 1 a d a d ad j j ad j 2 1 am = a m +1 a a d 1 1 ad ad j j ad j 2 1 am. Ths concludes the proof of Proposton 2.3. ote that the relaton specal for the partc algebra (4 was only used once n the proof of Proposton 2.3, namely n the long computaton at the end. All other steps have been carred out usng only the commutatvty relaton (3 and the plactc relatons (1 and (2. The followng corollary recaps what we obtaned for the multplcaton n the partc algebra: Corollary 2.4. Assume we are gven a monomal a d ad2 2 ak1 1 ak2 2...ak 1 1 of the form (7 n the partc algebra. Then left multplcaton wth a gves ( a a d ad2 2 ak1 1 ak2 2...ak 1 1 (9 a d ad...a d2 2 ak1 1 ak2 2...ak+1...a k 1 1 f d = d 1 +k 1, = a d ad+1 Rght multplcaton wth a gves ( a d ad2 2 ak1 1 ak2 2...ak 1 1 a d 1 1 =...ad ad a d2 2 ak1 1 ak2 2...ak+1 a d ad ad ad2 2 ak1 1 ak2 2...ak+1...a d2 2 ak1 1 ak2 2...ak...a k 1 1 f d < d 1 +k 1. a (10 a k a k 1 1 f k +1 1 a ak 1 1 f k +1 = 0, 7

8 wth the result wrtten agan n the normal form (7. Proof. For the left multplcaton, equaton (9 s contaned n the proof of Proposton 2.3. For the rght multplcaton, equaton (10 follows from the repeated applcaton of the rule for left multplcaton of a d ad2 2 ak1 1 ak2 2...ak 1 1 to a. Example 2.5. The partc algebra has zero dvsors, e.g. n P part 3, a 2 (a 5 3 a8 2 a8 1 a3 2 a1 3 a5 3 a7 2 a8 1 a4 2 a1 3 = a 5 3 a 8 2 a8 1 a4 2 a1 3 a5 3 a8 2 a8 1 a4 2 a1 3 = 0 (t follows from Theorem 2.1 that a 5 3 a8 2 a8 1 a3 2 a1 3 a5 3 a7 2 a8 1 a4 2 a Remark 2.6. Let us compare our normal form wth the monomal bases of the plactc algebra from [Re02]: The plactc algebra P surjects onto the partc algebra P part, mappng generators to generators and hence monomals to monomals. Gven a monomal of the normal form from Proposton 2.3, fndng the (fntely many premages of bass monomals n the plactc algebra amounts to solvng a system of lnear equatons over the nonnegatve ntegers,.e. fndng lattce ponts nsde a polyhedron. For example, consder the bass of the plactc algebra P 5 from [Re02, Theorem 2.10] gven by monomals (a 1 n1 (a 2 a 1 n21 (a 2 n2 (a 3 a 2 a 1 n321 (a 3 a 2 n32 (a 3 n3 (a 4 a 3 a 2 a 1 n4321 (a 4 a 3 a 2 n432 (a 4 a 3 n43 (a 4 n4 where all n Z 0 and compare t wth the bass of the partc algebra P part 5 from Proposton 2.3 {a d4 4 ad3 3 ad2 2 ak1 1 ak2 2 ak3 3 ak4 4 all k,d Z 0, d d 1 +k 1 }. Whle a 1 a 2 a 3 a 4 P part 5 has only one premage, namely (a 1 1 (a 2 1 (a 3 1 (a 4 1 P 5, we fnd two premages of a 4 a 3 a 2 a 1 a 2 P part 5, namely (a 2 1 (a 4 a 3 a 2 a 1 1,(a 2 a 1 1 (a 4 a 3 a 2 1 P 5. Ths corresponds to the number of possble applcatons of the addtonal partc relaton (4. 3 The acton on bosonc partcle confguratons InthssectonwedscussanactonoftheplactcalgebraP onthepolynomalrng k[x 1,...,x 1,x 0 ] n varables. It was defned n [KS10, Proposton 5.8]. We recall the defnton here: Let x k1 1...xk 1 1 xk0 0 be a monomal n k[x 1,...,x 1,x 0 ]. Set a x k1 1...xk 1 1 xk0 0 = a 1 x k1 1...xk 1 1 xk0 0 = x k1 1...xk 1 x k x k 1 1 xk0 0 f k > 0, 0 else, x k1 1...xk x k0+1 0 f k 1 > 0, 0 else. Ths defnes an acton of the plactc algebra whch factors over the partc algebra: Lemma 3.1. Equatons(11 and(12 defne an actonofthe plactc algebrap on the polynomal rng k[x 1,...,x 1,x 0 ]. Ths acton factors over an acton of the partc algebra P part. (11 (12 Proof. Ths can be verfed by drect computaton. In ths secton our goal s the proof of the followng man theorem: 8

9 on k[x 1,...,x 1,x 0 ] defned by equa- Theorem 3.2. The acton of the partc algebra P part tons (11 and (12 s fathful. Remark 3.3. In [KS10, Proposton 5.8] t s stated ncorrectly that the acton of the plactc algebra P on k[x 1,...,x 1,x 0 ] s fathful. Defnton 3.4. We ntroduce the shorthand notaton := (k 1,...,k 1,k 0 Z 0 for the monomal v( := x k1 1...xk 1 1 xk0 0. One can thnk of the monomal x k1 1...xk 1 1 xk0 0 or the tuple (k 1,...,k 1,k 0 as a confguraton of partcles on a lne wth postons, wth k partcles at the -th poston. The 0-th poston s regarded as the depost for partcles moved to the end of the lne. Then a moves a partcle from poston to poston + 1. We call k[x 1,...,x 1,x 0 ] wth the above acton the (classcal bosonc partcle confguraton module of P or P part, and we refer to the monomals nsde k[x 1,...,x 1,x 0 ] as (classcal bosonc partcle confguratons Fgure 2: Example for = 9: The partcle confguraton (3,0,0,1,0,1,2,0,1 correspondng to the monomal x 3 1x 0 2x 0 3x 1 4x 0 5x 1 6x 2 7x 0 8x 1 0, and the element a 6 a 5 a 4 actng on t. ow we nvestgate the acton of the partc algebra on the partcle confguraton module. Proposton 3.5. Fx a monomal a d ad3 3 ad2 2 ak1 1 ak2 2 ak3 3...ak 1 1 n the partc algebra satsfyng condton (7. There s a unque partcle confguraton wth the number of partcles mnmal,.e. a monomal n k[x 1,...,x 1,x 0 ] of mnmal degree, so that the monomal acts nontrvally on t. Ths mnmal partcle confguraton s gven by n = (k 1,k 2,k 3...,k 1,0. The mage of n under the acton of a d ad2 2 ak1 1 ak2 2...ak 1 1 s gven by out = (0,k 1 d 2,k 2 +d 2 d 3...,k 2 +d 2 d 1,k 1 +d 1. Proof. Frst we show that a k1 1 ak2 2 ak3 3...ak 1 1, hence ad ad3 3 ad2 2 ak1 1 ak2 2 ak3 3...ak 1 1 annhlates any partcle confguraton (r 1,r 2,r 3,...,r 1,r 0 wth r < k for some. We compute a k 1 1 ak ak j j ak j+1 j+1...ak 1 1 (xr 1 1 xr xr j j xr j+1 j+1...xr 1 1 xr 0 0 a k 1 1 = ak ak j j (xr 1 1 xr xr j j xr j+1 k j+1 j+1...x r 1 k 1 +k 2 1 x r 0+k 1 0, r k for j < 1 0 else x r 1 k 1 1 x r 2 k 2 +k x r k +k 1 x r +1 k +1 +k +1...x r 1 k 1 +k 2 1 x r 0+k 1 0, r k for all = 0 else. Together wth condton (7 t follows that the acton of a monomal of the form a d ad3 3 ad2 2 ak1 1 ak2 2 ak3 3...ak 1 1 9

10 on a partcle confguraton (r 1,r 2,r 3,...,r 1,r 0 s nontrval ff r k for all (recall that r 0 0 = k 0 s automatcally satsfed. Ths proves that n s ndeed the mnmal partcle confguraton on whch the monomal acts nontrvally. ow compute the mage of n under the acton of the monomal: Plug n r = k for all to see that a d ad3 3 ad2 2 ak1 1 ak2 2 ak3 3...ak 1 1 ( n = ad ad3 3 ad2 2 (x0 1 xk1 2...xk 2 1 xk 1 0 = out. Ths proves Proposton 3.5. Proof (of Theorem 2.1. By Proposton 2.3 any monomal n the partc algebra s equvalent to one of the form (7. We have shown n Proposton 3.5 that the acton on the partcle confguraton module dstngushes any two monomals of the form (7, hence (7 descrbes a normal form for the monomals n the partc algebra P part, hence a bass of Ppart. ow Theorem 3.2 follows as a corollary from Proposton 3.5: Proof (of Theorem 3.2. We have seen n Proposton 3.5 that the normal form monomals, hence the bass elements n P part act lnearly ndependent on the partcle confguratons. In other words, the acton of P part s fathful. Remark 3.6. The fathfulness of the acton of the algebra P part module motvates us to gve P part the name partc algebra. on the partcle confguraton By Proposton 2.3 and Proposton 3.5, we can dentfy each monomal n the partc algebra unquely by the mnmal partcleconfguratonj Z 0 on whch t acts nontrvallyand the output partcle confguraton Z 0 that one gets back from the acton of the monomal on j. Hence the followng s welldefned: Defnton 3.7. Gven a monomal n normal form wth d d 1 +k 1 for all 3 1 and d 2 k 1, see Proposton 3.5, we wrte a j = a d ad2 2 ak1 1 ak2 2...ak 1 1 forbosoncpartcleconfguratons = (0,k 1 d 2,k 2 +d 2 d 3...,k 2 +d 2 d 1,k 1 +d 1 and j = (k 1,k 2,k 3...,k 1,0. The number of partcles = j = k n and j s the same. Ths labellng s made so that a j v(j = v( n the notaton of Defnton 3.4. Defnton 3.8. For = (r 1,...,r 1,r 0 Z 0, we set {} = (r 1,...,r +1,...,r 1,r 0, \{} = (r 1,...,r 1,...,r 1,r 0, where the latter s only defned for r > 0. Wth ths notaton we can rewrte Corollary 2.4 to obtan the followng multplcaton rule. Corollary 3.9. Let a j be a monomal n normal form as n Defnton 3.7. Then left and rght multplcaton by some generator a P part are gven by a j a a j = f a j f /, a j a j a = f +1 j f +1 / j. a j 10

11 Here we denote = {+1} = (\{} {+1} = j = j {} j = j j = (j\{+1} {}. Example Let = 6, and consder the monomal a j = a 1 5 a2 2 a1 3 a2 4 wth mnmal nput confgurataon j = (0,2,1,2,0,0 and output confguraton = (0,0,2,1,1,1. ow consder the left and rght multplcaton wth a for = 3: a 3 a (0,0,2,1,1,1(0,2,1,2,0,0 = a (0,0,1,2,1,1(0,2,1,2,0,0, wth = (0,0,1,2,1,1, j = (0,2,1,2,0,0, a (0,0,2,1,1,1(0,2,1,2,0,0 a 3 = a (0,0,2,1,1,1(0,2,2,1,0,0, wth = (0,0,2,1,1,1, j = (0,2,2,1,0,0. In contrast, left and rght multplcaton wth a for = 1 gves a 1 a (0,0,2,1,1,1(0,2,1,2,0,0 = a (0,1,1,2,1,1(1,2,1,2,0,0, wth = (0,1,1,2,1,1, j = (1,2,1,2,0,0, a (0,0,2,1,1,1(0,2,1,2,0,0 a 1 = a (0,0,2,1,1,1(1,1,1,2,0,0, wth = (0,0,2,1,1,1, j = (1,1,1,2,0,0. We observe that the product a 1 a (0,0,2,1,1,1(0,2,1,2,0,0 requres an addtonal partcle at poston 1, so that the cardnalty ofthe mnmal partcle confguratonof the product a 1 a (0,0,2,1,1,1(0,2,1,2,0,0 s by one hgher than that of a (0,0,2,1,1,1(0,2,1,2,0,0. 4 The center of the partc algebra ow that we have a bass of the partc algebra wth a convenent labellng at our dsposal, the goal of ths secton s to descrbe the center of the partc algebra P part. Theorem 4.1. The center of the partc algebra P part {a r 1 ar 2...ar 2 ar 1 r 0}. s gven by the k-span of the elements The monomal a r 1 ar 2...ar 2a r 1 = (a 1 a 2...a 2 a 1 r = a (0,...,0,r(r,0,...,0 acts on the bosonc partcle confguratons by movng r partcles from the frst poston 1 to the last poston 0 f there are at least r partcles at poston 1, and t acts by zero f there are less than r partcles at poston 1. Ths acton can be vsualzed as follows: 11

12 Fgure 3: Example for = 9: The acton of the central element (a 8 a 7 a 6 a 5 a 4 a 3 a 2 a 1 5 on the partcle confguraton (5,0,0,0,0,0,0,0,0. Proof. Let z := c j a j be an element n the center, where we label the monomal a j by mnmal,j nput and output partcle confguratons as n Defnton 3.7, wth coeffcents c j k. otce that a (0,...,0,r(r,0,...,0 commutes wth all a by equaton (6 from Lemma 1.4.(. We show that c j = 0 for all j that contan some 1, and for all that contan some 0. Let 2. Frst we prove that c j = 0 for all j that contan a partcle at poston. Snce z = c j a j s central, t commutes n partcular wth a 1 a 2...a 2 a 1. Usng Corollary 3.9 we,j calculate (a 1 a 2...a 2 a 1 a j = a ( {}(j {1}, a ( {}(j {1} f / j, a j (a 1 a 2...a 2 a 1 = a ((j\{} {1} f j. Therefore (a 1 a 2...a 2 a 1 a j = a j (a 1 a 2...a 2 a 1 for / j. Ths we use to deduce that we have (a 1 a 2...a 2 a 1 z = z(a 1 a 2...a 2 a 1 f and only f (a 1 a 2...a 2 a 1 / j c j a j + j c j a j = / j c j a j + j c j a j (a 1a 2...a 2 a 1, whch holds f and only f (a 1 a 2...a 2 a 1 c j a j = j c j a j (a 1a 2...a 2 a 1. j The latter s precsely the equalty j c j a ( {}(j {1} = c j a ((j\{} {1}. (13 j Observe on the other hand that for fxed the set of monomals {a ((j\{} {1} such that j} s lnearly ndependent snce the sets ((j\{} {1} are all dstnct for dstnct j. ext, we show by nducton on the number k of partcles at poston n j that all coeffcents c j are zero for k 1: For k = 1, the set (j\{} {1} does not contan any partcle at poston any more. Hence the 12

13 monomal a ((j\{} {1} cannot appear n the left sum n equaton (13, and so ts coeffcent c j must have been zero. For the nducton step, assume that the coeffcent c j s zero for all a j wth at most k partcles at poston n the mnmal nput partcle confguraton j. Consder some a j wth k +1 partcles at poston n j. So the set (j\{} {1} contans k partcles at poston n j, and so the monomal a ((j\{} {1} cannot appear n the sum (13. Therefore we see that the coeffcent c j must have been zero. We have shown that any central element n P part s of the form z = c j a j, where the partcle confguratons j are of the form (r,0,...,0, r Z 0. We use the conventon that +1 = 0 for = 1 whch matches our defnton of the acton of the partc algebra P part on the bosonc partcle confguraton module. otce that 0 s never contaned n the mnmal nput partcle confguraton, so that for 1 1 we have that +1 / j for all c j 0. ow we use a smlar nducton argument to show that c j = 0 for all that contan a partcle at poston 0. So let 1 1. Usng Corollary 3.9 we calculate that a ( {+1}(j {} f /, a a j = a ((\{} {+1}j f, a ( {+1}(j {} f +1 / j, a j a = a ((j\{+1} {} f +1 j. Snce we have shown already that +1 / j, we know that a z = za s nothng but the equalty a +1/ j / c j a j + +1/ j c j a j = +1/ j / c j a j + +1/ j c j a j a. Ths n turn s equvalent to the equalty a c j a j = +1/ j c j a j a, +1/ j whch can be rewrtten as +1/ j c j a ((\{} {+1}j = c j a ( {+1}(j {}. (14 +1/ j Agan, we observe that the set of monomals {a ((\{} {+1}j + 1 / j, } s lnearly ndependent for fxed. By nducton on the number k of partcles at poston n we see that all coeffcents c j are zero for k 1: For k = 1, the set (\{} {+1} does not contan any partcle at poston any more. Hence the monomal a ((\{} {+1}j cannot appear n the rght sum n equaton (14, and ts coeffcent c j must have been zero. For the nducton step we assume that the coeffcents for all a j wth at 13

14 most k partcles at poston n the output partcle confguraton are zero. Consder some a j wth k +1 partcles at poston n. So the set (\{} {+1} contans k partcles at poston n j, and the monomal a ((\{} {+1}j cannot appear n the sum (13. Agan we see that ts coeffcent c j must have been zero. We have deduced now that only those monomals labelled by mnmal nput partcle confguratons j = (r,0,...,0 and output partcle confguraton = (0,...,0,s may have nonzero coeffcents. Snce the number of partcles has to be the same n and j, any central element s of the form as clamed. r Z 0 c (0,...,0,r(r,0,...,0 a (0,...,0,r(r,0,...,0 Remark 4.2. In the proof of Theorem 4.1 one has to be careful: One cannot smply compare the coeffcents n equaltes of the form a ( cj a j = ( cj a j a snce the partc algebra P part has zero dvsors, see Example 2.5. Therefore, when we consder the coeffcents c j, we frst have to determne lnearly ndependent sets of monomals, e.g. of the form {a ((\{} {+1}j +1 / j, }. Ths s n fact an applcaton of the fathfulness result from Theorem 3.2 combned wth the normal form for monomals from Theorem 2.1. Remark 4.3. The partc algebra s not fntely generated over ts center: The center s concentrated n degree Z 0 (1,...1 wth respect to the Z 1 -gradng from Remark 1.3. On the other hand one can see from the normal form n Proposton 2.3 that all Z 1 0 -graded components of the partc algebra are nontrval, hence the partc algebra cannot be fntely generated over ts degree Z 0 (1,...1 component. 5 A short comparson wth the affne case In ths secton we gve a bref outlook to the affne case that wll be treated n the followup work [Me]. We refran from gvng any detals here snce the computatons are substantally harder, and there s constant danger of mxng the two cases as the dfferences can be qute subtle. An affne verson of the plactc algebra s obtaned by a very smlar constructon, except that the ndces of the generatorsare now read modulo. The (local affne plactc algebra P s gven n [KS10, Defnton 5.4] by the untal assocatve k-algebra generated by a 0,a 1,...,a 1 subject to the affne plactc relatons a a j = a j a for j ±1 mod, a a 1 a = a a a 1 for, 1 Z/Z, a a +1 a = a +1 a a for,+1 Z/Z. 14

15 The affne plactc algebra acts on the polynomal rng k[x 1,...,x,q] n +1 varables as follows: x k1 a x k1 1...xk qt 1 =...xk 1 x k x k qt f k > 0, 0 else, x k1+1 a 0 x k1 1...xk qt 1...x k 1 q t+1 f k > 0, = 0 else. Ths representaton s called the affne bosonc partcle representaton of the affne plactc algebra P. Smlar to the bosonc partcle confguratons n the classcal case one can dentfy a monomal x k1 1...xk wth a partcle confguraton on a crcle wth postons, wth k partcles lyng at poston. The ndetermnate q protocols how often we apply a 0 to a partcle confguraton Fgure 4: Example for = 8: Applcaton of a 6 a 5 a 3 a 2 a 5 to the partcle confguraton (3,1,0,0,2,0,0,1 gves (3,0,0,1,0,1,1,1. Agan lke n the classcal case ths acton s not fathful. It factors over a quotent of P by the relatons a a 1 a +1 a = a +1 a a 1 a for Z/Z, whch s the affne verson of the defnng relaton (4 of the partc algebra n the classcal case. But t does not generate all the relatons n the affne case: In addton there are nfntely many relatons of the form a m 1 am ak+1 +1 ak ak 2 2 am 1 = am am 1 ak+1 +1 ak ak 2 2 am 1 a m a k+1 +1 ak+2...ak 2 am 1a m = a m a k+1 +1 ak+2...ak 2 am a m 1 for Z/Z for Z/Z, where m,m,k +1,k +2,...,k 2 Z 0 are nonnegatve ntegers. These relatons can be seen as the proper affne verson of the partc relatons (1, (2 and (4, snce we fnd n [Me] that they generatethe kernelofthe acton of P on the affne bosoncpartclerepresentaton k[x 1,...,x,q]. References [BFZ96] A. Berensten, S. Fomn and A. Zelevnsky, Parametrzatons of canoncal bases and totally postve matrces, Adv. Math. 122 (1996, no. 1, [BJS93] S. C. Blley, W. Jockusch and R. P. Stanley, Some combnatoral propertes of Schubert polynomals, J. Algebrac Combn. 2 (1993, no. 4, [BM16] G. Benkart and J. Menel, The center of the affne nltemperley-leb algebra, Math. Z. 284 (2016, no. 1-2, [FG98] S. Fomn and C. Greene, oncommutatve Schur functons and ther applcatons, Dscrete Math. 193 (1998, no. 1-3,

16 [Fom95] S. Fomn, Schur operators and Knuth correspondences, J. Combn. Theory Ser. A 72 (1995, no. 2, [Ful97] [Hey98] [HK02] [KS10] [LS81] [Me16] [Me] W. Fulton, Young tableaux, London Mathematcal Socety Student Texts, vol. 35, Cambrdge Unversty Press, Cambrdge, Heyworth, A., Rewrtng as a specal case of non-commutatve Gröbner bass theory, Computatonal and geometrc aspects of modern algebra (Ednburgh, 1998, London Math. Soc. Lecture ote Ser., vol. 275, Cambrdge Unv. Press, Cambrdge, 2000, pp J. Hong and S.-J. Kang, Introducton to quantum groups and crystal bases, Graduate Studes n Mathematcs, vol. 42, Amercan Mathematcal Socety, Provdence, RI, C. Korff and C. Stroppel, The ŝl(n k-wzw fuson rng: a combnatoral constructon and a realsaton as quotent of quantum cohomology, Adv. Math. 225 (2010, no. 1, A. Lascoux and M.-P. Schützenberger, Le monode plaxque, oncommutatve structures n algebra and geometrc combnatorcs (aples, 1978, Quad. Rcerca Sc., vol. 109, CR, Rome, 1981, pp J. Menel, Affne nltemperley-leb Algebras and Generalzed Weyl Algebras: Combnatorcs and Representaton Theory, Dssertaton, Unversty of Bonn, J. Menel, A plactc algebra acton on bosonc partcle confguratons: The affne case, In preparaton. [Re01] M. Reneke, Generc extensons and multplcatve bases of quantum groups at q = 0, Represent. Theory 5 (2001, (electronc. [Re02] M. Reneke, The quantc monod and degenerate quantzed envelopng algebras, arxv/math/ (2002. [Rn90] C. M. Rngel, Hall algebras and quantum groups, Invent. Math. 101 (1990, no. 3., [Ste03] J. R. Stembrdge, A local characterzaton of smply-laced crystals, Trans. Amer. Math. Soc. 355 (2003, no. 12, (electronc. 16