THE SHIFTED PLACTIC MONOID arxiv: v1 [math.co] 13 Nov 2008

Transcription

1 THE SHIFTED PLACTIC MONOID arxiv: v1 [math.co] 13 Nov 008 LUIS SERRANO Astrat. We introdue a shifted analog of the plati monoid of Lasoux and Shützenerger, the shifted plati monoid. It an e defined in two different ways: via the shifted Knuth relations, or using Haiman s mixed insertion. Appliations inlude: a new ominatorial derivation (and a new version of) the shifted Littlewood-Rihardson Rule; similar results for the oeffiients in the Shur expansion of a Shur P-funtion; a shifted ounterpart of the Lasoux-Shützenerger theory of nonommutative Shur funtions in plati variales; a haraterization of shifted taleau words; and more. Contents Introdution 1 1. Main results Preliminaries: shifted Young taleaux and the mixed insertion The shifted plati monoid Plati Shur P-funtions and their appliations 8. More results 1.1. Shifted taleau words 1.. Semistandard deomposition taleaux Proofs 19 Appendix A. Shifted plati lasses of 4-letter words. 4 Referenes 7 Introdution The (shifted) plati monoid. The elerated Roinson-Shensted-Knuth orrespondene [14] is a ijetion etween words in a linearly ordered alphaet X = {1 < < 3 < } and pairs of Young taleaux with entries in X. More preisely, eah word orresponds to a pair onsisting of a semistandard insertion taleau Date: January 0,

2 LUIS SERRANO and a standard reording taleau. The words produing a given insertion taleau form a plati lass. A. Lasoux and M. P. Shützenerger [11] made a ruial oservation ased on a result y D. E. Knuth [6]: the plati lasses [u] and [v] of two words u and v uniquely determine the plati lass [uv] of their onatenation. This gives the set of all plati lasses (equivalently, the set of all semistandard Young taleaux) the struture of a plati monoid P = P(X). This monoid has important appliations in representation theory and the theory of symmetri funtions; see, e.g., [10]. The main goal of this paper is to onstrut and study a proper analog of the plati monoid for (semistandard) shifted Young taleaux, with similar properties and similar appliations. The prolem of developing suh a theory was already posed more than 0 years ago y B. Sagan [1]. Shifted Young taleaux are ertain fillings of a shifted shape (a shifted Young diagram assoiated with a strit partition) with letters in an alphaet X = {1 < 1 < < < }; see, e.g., [13]. M. Haiman [4] defined the (shifted) mixed insertion orrespondene, a eautiful ijetion etween permutations and pairs of standard shifted Young taleaux; eah pair onsists of the mixed insertion taleau and the mixed reording taleau. Haiman s orrespondene is easily generalized (see Setion 1) to a ijetion etween words in the alphaet X and pairs onsisting of a semistandard shifted mixed insertion taleau and a standard shifted mixed reording taleau. (We emphasize that this ijetion deals with words in the original alphaet X rather than the extended alphaet X.) We define a shifted plati lass as the set of all words whih have a given mixed insertion taleau. Thus, shifted plati lasses are in ijetion with shifted semistandard Young taleaux. The following key property, analogous to that of Lasoux and Shützenerger s in the ordinary ase, holds (Theorem 1.4): the shifted plati lass of the onatenation of two words u and v depends only on the shifted plati lasses of u and v. Consequently, one an define the shifted plati monoid S = S(X) in whih the produt is, again, given y onatenation. In analogy with the lassial ase, we otain a presentation of S y the quarti shifted Knuth (or shifted plati) relations. So two words are shifted Knuth-equivalent if and only if they have the same mixed insertion taleau. Sagan [1] and Worley [19] have introdued the Sagan-Worley orrespondene, another analog of Roinson-Shensted-Knuth orrespondene for shifted taleaux. In the ase of permutations, Haiman [4] proved that the mixed insertion orrespondene is dual to Sagan-Worley s. In Setion.1, we use a semistandard version of this duality to desrie shifted plati equivalene in yet another way, namely: two words u and v are shifted plati equivalent if and only if the reording taleaux of their inverses (as iwords) are the same. (Shifted) Plati Shur funtions. The plati algera QP is the semigroup algera of the plati monoid. The shape of a plati lass is the shape of the orresponding taleau. A plati Shur funtion S λ QP is the sum of all plati lasses of shape λ; it an e viewed as a nonommutative version of the ordinary Shur funtion s λ. This notion was used y Shützenerger [15] to otain a proof of the Littlewood-Rihardson rule along the following lines. It an e shown that the plati Shur funtions span the ring they generate. Furthermore, this ring is

3 THE SHIFTED PLACTIC MONOID 3 anonially isomorphi to the ordinary ring of symmetri funtions: the isomorphism simply sends eah Shur funtion s λ to its plati ounterpart S λ. It follows that the Littlewood-Rihardson oeffiient λ µ,ν is equal to the oeffiient of a fixed plati lass T λ of shape λ in the produt of plati Shur funtions S µ S ν. In other words, λ µ,ν is equal to the numer of pairs (T µ, T ν ) of plati lasses of shapes µ and ν suh that T µ T ν = T λ. We develop a shifted ounterpart of this lassial theory. The shifted plati algera QS is the semigroup algera of the shifted plati monoid, and a (shifted) plati Shur P-funtion P λ QS is the sum of all shifted plati lasses of a given shifted shape. We prove that the plati Shur P-funtions span the ring they generate, and this ring is anonially isomorphi to the ring spanned/generated y the ordinary Shur P-funtions. Again, the isomorphism sends eah Shur P-funtion P λ to its plati ounterpart P λ. This leads to a proof of the shifted Littlewood-Rihardson rule (Corollary 1.16). Our version of the rule states that the oeffiient λ µ,ν of P λ in the produt P µ P ν is equal to the numer of pairs (T µ, T ν ) of shifted plati lasses of shapes µ and ν suh that T µ T ν = T λ, where T λ is a fixed shifted plati lass of shape λ. The first version of the shifted Littlewood-Rihardson rule was given y Stemridge [18]. In Lemma 1.18 we relate our rule to Stemridge s y a simple ijetion. It turns out that the shifted plati relations are a relaxation of the ordinary Knuth (= plati) relations. More preisely, the tautologial map u u that sends eah word in the alphaet X to itself desends to a monoid homomorphism S P. By extending this map linearly, we otain the following theorem (Corollary 1.1): For a shifted shape θ, the oeffiient gµ θ of s µ in the Shur expansion of P θ is equal to the numer of shifted plati lasses of shifted shape θ ontained in a fixed plati lass of shape µ. A simple ijetion (Theorem 1.3) reovers a theorem of Stemridge [18]: gµ θ is equal to the numer of standard Young taleaux of shape µ whih retify to a fixed standard shifted Young taleau of shape θ. (Shifted) Taleau words. In the lassial setting, an approah developed y Lasoux and his shool egins with the plati monoid as the original fundamental ojet, and identifies eah taleau T with a distinguished anonial representative of the orresponding plati lass, the reading word read(t). This word is otained y reading the rows of T from left to right, starting from the ottom row and moving up. A word w suh that w = read(t) for some taleau T is alled a taleau word. By onstrution, taleau words are haraterized y the following property. Eah of them is a onatenation of weakly inreasing words w = u l u l 1 u 1, suh that (A) for 1 i l 1, the longest weakly inreasing suword of u i+1 u i is u i. For a taleau word w, the lengths of the segments u i are preisely the row lengths of the Young taleau orresponding to w. We develop an analog of this approah in the shifted setting y taking the shifted plati monoid as the fundamental ojet, and onstruting a anonial representative for eah shifted plati lass. Sine shifted Young taleaux have primed entries while the words in their respetive shifted plati lasses have not, the reading of a

4 4 LUIS SERRANO shifted Young taleau annot e defined in as simple a manner as in the lassial ase. Instead, we define the mixed reading word mread(t) of a shifted taleau T as the unique word in the orresponding shifted plati lass that has a distinguished speial reording taleau. The latter notion is a shifted ounterpart of P. Edelman and C. Greene s dual reading taleau [1]. A word w suh that w = mread(t) for some shifted Young taleau T is alled a shifted taleau word. Suh words have a haraterizing property similar to (A), with weakly inreasing words replaed y hook words (a hook word onsists of a stritly dereasing segment followed y a weakly inreasing one). In Theorem.9 and Proposition.10, we prove that w is a shifted taleau word if and only if (B) for 1 i l 1, the longest hook suword of u i+1 u i is u i. For a shifted taleau word w, the lengths of the segments u i are preisely the row lengths of the shifted Young taleau orresponding to w. Semistandard deomposition taleaux. The proofs of our main results make use of the following mahinery. Building on the onept of standard deomposition taleaux introdued y W. Kraśkiewiz [7] and further developed y T. K. Lam [9], we define a (shifted) semistandard deomposition taleau (SSDT) R of shifted shape λ as a filling of λ y entries in X suh that the rows u 1, u,..., u l of R are hook words satisfying (B). We define the reading word of R y read(r) = u l u l 1 u 1, that is, y reading the rows of R from left to right, starting with the ottom row and moving up. As a semistandard analog of Kraśkiewiz s orrespondene [7], we develop the SK orrespondene (see Definition.16). This is a ijetion etween words in the alphaet X and pairs of taleaux with entries in X. Every word orresponds to a pair onsisting of an SSDT alled the SK insertion taleau and a standard shifted Young taleau alled the SK reording taleau. We prove (Theorem.1) that the mixed reording taleau and the SK reording taleau of a word w are the same. Furthemore, we onstrut (see Theorem.15) a ijetion Φ etween SSDT and shifted Young taleaux of the same shape that preserves the reading word: read(r) = mread(φ(r)). In light of the onditions (A) and (B) aove, one an see that the ounterpart of an SSDT in the ordinary ase is nothing ut a semistandard Young taleau. Outline. The paper is organized as follows. Setion 1 ontains the desriptions of the shifted plati monoid, and its main appliations. Setion gives a haraterization of shifted taleau words, and a desription of them in terms of semistandard deomposition taleaux. Setion 3 ontains the proofs of the main theorems. Aknowledgements I am grateful to Sergey Fomin for suggesting the prolem and for his omments on the earlier versions of the paper. I would also like to thank Marelo Aguiar, Curtis Greene, Alain Lasoux, Thomas Lam, Cedri Leouvey, Pavlo Pylyavskyy, Brue Sagan, John Stemridge, and Alex Yong for helpful and inspiring onversations.

5 THE SHIFTED PLACTIC MONOID 5 1. Main results 1.1. Preliminaries: shifted Young taleaux and the mixed insertion. A strit partition is a sequene λ = (λ 1, λ,..., λ l ) Z l suh that λ 1 > λ > > λ l > 0. The shifted diagram, or shifted shape of λ is an array of square ells in whih the i-th row has λ i ells, and is shifted i 1 units too the right with respet to the top row. Throughout this paper, we identify a shifted shape orresponding to a strit partition λ with λ itself. The size of λ is λ = λ 1 + λ + + λ l. We denote l(λ) = l, the numer of rows. To illustrate, the shifted shape λ = (5, 3, ), with λ = 10 and l(λ) = 3, is shown elow: A skew shifted diagram (or shape) λ/µ is otained y removing a shifted shape µ from a larger shape λ ontaining µ. A (semistandard) shifted Young taleaux T of shape λ is a filling of a shifted shape λ with letters from the alphaet X = {1 < 1 < < < } suh that: rows and olumns of T are weakly inreasing; eah k appears at most one in every olumn; eah k appears at most one in every row; there are no primed entries on the main diagonal. If T is a filling of a shape λ, we write shape(t) = λ. A skew shifted Young taleau is defined analogously. The ontent of a taleau T is the vetor (a 1, a,...), where a i is the numer of times the letters i and i appear in T. Example 1.1. The shifted Young taleau T = has shape λ = (5, 3, ) and ontent (, 1, 1,,, 1, 0, 0, 1). A taleau T lf shape λ is alled standard if it ontains eah of the entries 1,,..., λ exatly one. In partiular, standard shifted Young taleaux have no primed entries. Note that a standard shifted taleau has ontent (1, 1,..., 1). M. Haiman [4] has introdued shifted mixed insertion, a remarkale orrespondene etween permutations and pairs of shifted Young taleaux. Haiman s onstrution an e viewed as a shifted analog of the Roinson-Shensted-Knuth orrespondene. The following is a semistandard generalization of shifted mixed insertion, whih we all semistandard shifted mixed insertion. It is a orrespondene etween words in the alphaet X and pairs of shifted Young taleaux, one of them semistandard and one standard. Throughout this paper we refer to semistandard shifted mixed insertion simply as mixed insertion.

6 6 LUIS SERRANO Definition 1. (Mixed insertion). Let w = w 1...w n e a word in the alphaet X. We reursively onstrut a sequene (T 0, U 0 ),..., (T n, U n ) = (T, U) of taleaux, where T i is a shifted Young taleau, and U i is a standard shifted Young taleau, as follows. Set (T 0, U 0 ) = (, ). For i = 1,...,n, insert w i into T i 1 in the following manner: Insert w i into the first row, umping out the smallest element a that is stritly greater than w i (in the order given y the alphaet X ). (1) if a is not on the main diagonal, do as follows: (a) if a is unprimed, then insert it in the next row, using step (1); () if a is primed, insert it into the next olumn to the right, using the same proedure as in row insertion; () if a is on the main diagonal, then it must e unprimed. Prime it, and insert it into the next olumn to the right. The insertion proess terminates one a letter is plaed at the end of a row or olumn, umping no new element. The resulting taleau if T i. The shapes of T i 1 and T i differ y one ox. Add that ox to U i 1, and write i into it to otain U i. We all T the mixed insertion taleau and U the mixed reording taleau, and denote them P mix (w) and Q mix (w), respetively. Example 1.3. The word u = has the following mixed insertion and reording taleau P mix (u) = Q mix (w) = The shifted plati monoid. The following is a shifted analog of Knuth s Theorem [6]. It an e onsidered a semistandard version of a theorem y Haiman [4], or y Kraśkiewiz [7]. Theorem 1.4. Two words u and v have the same mixed insertion taleau if and only if they are equivalent modulo the following relations: (1.1) ad ad for a < d in X; (1.) ad ad for a < d in X; (1.3) da ad for a < < d in X; (1.4) ad da for a < < d in X; (1.5) da da for a < < d in X; (1.6) da da for a < < d in X; (1.7) da ad for a < d in X; (1.8) ad da for a < d in X..

7 THE SHIFTED PLACTIC MONOID 7 Definition 1.5. Two words u and v in the alphaet X are shifted plati equivalent, denoted u v, if they have the same mixed insertion taleau. By Theorem 1.4, u and v are shifted plati equivalent if they are equivalent modulo the shifted plati relations (1.1) (1.8). A shifted plati lass is an equivalene lass under. We an assoiate a shifted plati lass with its orresponding shifted Young taleau, or with any of the words in the lass, whih insert to the orresponding taleau. The shifted plati lass orresponding to the Young taleau T is denoted [T], and the shifted plati lass that ontains a word u is denoted [u]. The Appendix at the end of the paper shows all kinds of shifted plati lasses of 4-letter words. For a word w = w 1 w w n in X, let P RSK (w) e its Roinson-Shensted-Knuth insertion taleau. We all w a line word if or w 1 > w > > w n w 1 w w n. Line words are preisely those words w for whih the shape of P RSK (w) is a single row or a single olumn. Two words u and v in the alphaet X are plati equivalent if P RSK (u) = P RSK (v). Knuth [6] has proved that the latter holds if and only if u and v are equivalent modulo the plati relations (1.9) a a for a < in X, (1.10) a a for a < in X. Relations (1.9) (1.10) an e restated as follows. Remark 1.6. (See [16].) Two 3-letter words w and w in the alphaet X are plati equivalent if and only if: w and w differ y an adjaent transposition, and neither w nor w is a line word. The shifted plati relations an e desried in a similar way. Define a hook word as a word w = w 1 w l suh that for some 1 k l, we have (1.11) w 1 > w > > w k w k+1 w l. It is easy to see that w is a hook word if and only if P mix (w) onsists of a single row. Remark 1.7. Two 4-letter words w and w in the alphaet X are shifted plati equivalent if and only if: w and w are plati equivalent, and neither w nor w is a hook word. The following proposition an e verified y diret inspetion.

8 8 LUIS SERRANO Proposition 1.8. Shifted plati equivalene is a refinement of plati equivalene. That is, eah plati lass is a disjoint union of shifted plati lasses. To put it yet in another way: if two words are shifted plati equivalent, then they are plati equivalent. For 4-letter words, Proposition 1.8 is illustrated in the Appendix. Definition 1.9. The shifted plati monoid is the set of shifted plati lasses where multipliation is given y [u][v] = [uv]. Equivalently, the monoid is generated y the symols in X sujet to the relations (1.1) (1.8). An alternate point of view is to identify the shifted plati lasses with the orresponding shifted Young taleaux, thus giving a notion of a (shifted plati) produt of shifted taleaux. The shape of a shifted plati lass is defined as the shape of the orresponding shifted Young taleau. The shifted plati algera QS is the semigroup algera of the plati monoid. Example One an hek that oth words in eah of the shifted plati relations have the same mixed insertion taleau. For example, for relation (1.1), P mix (ad) = P mix (ad) = a. d Example The words u = and v = are shifted Knuth equivalent, eause P mix (u) = P mix (v). (see Example 1.3.) Furthermore, one an otain v from u y the following a sequene of shifted plati relations (where the relation to e used is stated and highlighted in old) u = (1.1) (1.3) (1.3) (1.7) = v Plati Shur P-funtions and their appliations. For a shifted Young taleau T, with ontent (a 1, a,...) define its orresponding monomial as x T = x a 1 1 x a. For eah strit partition λ, the Shur P-funtion is defined as the generating funtion for shifted Young taleaux of shape λ, namely P λ = P λ (x 1, x,...) = x T. The Shur Q-funtion is given y shape(t)=λ Q λ = Q λ (x 1, x,...) = l(λ) P λ, or equivalently, as the generating funtion for a different kind of shifted Young taleaux, namely those in whih the elements in the main diagonal are allowed to e primed.

9 THE SHIFTED PLACTIC MONOID 9 The skew Shur P- and Q-funtions P λ/µ and Q λ/µ = l(λ) l(µ) P λ/µ are defined similarly, on a skew shifted shape λ/µ. The following is an example of a Shur P-funtion in two variales: Example 1.1. For λ = (3, 1), P λ (x 1, x ) = x 3 1x + x 1x + x 1x + x 1 x The Shur P- and Q-Shur funtions form ases for an important suring Ω of the ring Λ of symmetri funtions. The shifted Littlewood-Rihardson oeffiients, λ µ,ν are of great importane in ominatoris, algerai geometry, and representation theory. They appear in the expansion of the produt of two Shur P-funtions, P µ P ν = λ λ µ,ν P λ and also in the expansion of a skew Shur Q-funtion Q λ/µ = ν λ µ,νq ν. The latter an e rewritten as P λ/µ = ν l(µ)+l(ν) l(λ) λ µ,ν P ν. Definition A shifted plati Shur P-funtion P λ QS is defined as the sum of all shifted plati lasses of shape λ. More speifially, P λ = [T]. shape(t)=λ Example We represent eah shifted plati lass as [w], for some representative w, to otain P (3,1) = [111] + [11] + [11] + [1] The reader an hek that eah word gets mixed inserted into the taleau underneath, making it a valid representative of its orresponding plati lass. One an see that the P λ are nonommutative analogs of the Shur P-funtions. In the last example, P (3,1) is the nonommutative analog of P (3,1) (x 1, x ) = x 3 1x + x 1 x + x 1x 3. Theorem The map P λ P λ extends to a anonial isomorphism etween the algera generated y the ordinary and shifted plati Shur P-funtions, respetively.

10 10 LUIS SERRANO As a result, the P λ ommute pairwise, span the ring they generate, and multiply aording to the shifted Littlewood-Rihardson rule. Namely, (1.1) P µ P ν = λ λ µ,ν P λ. Sagan [1] has extended the onept of jeu de taquin to shifted taleaux, and proved that, just as in the ordinary ase, the result of applying a sequene of (shifted) jeu de taquin moves is independent from the order in whih they are done. Throughout this paper we only apply shifted jeu de taquin to standard skew taleaux, for whih the proess is exatly as it is done in the ordinary ase. For pairs of standard skew taleaux T and U, we say that T retifies to U if U an e otained from T y a sequene of shifted jeu de taquin moves. Our first appliation of Theorem 1.15 is a new proof (and a new version of) the shifted Littlewood-Rihardson rule. Stemridge [18] proved that the shifted Littlewood-Rihardson numer λ µ,ν is equal to the numer of standard shifted Young skew taleaux of shape λ/µ whih retify to a fixed standard shifted Young taleau of shape ν. We present a different ominatorial interpretation for these numers. By taking the oeffiient of the shifted plati lass [T] orresponding to a fixed taleau T of shape λ on oth sides of (1.1), one otains the following: Corollary 1.16 (Shifted Littlewood-Rihardson rule). Fix a shifted plati lass [T] of shape λ. The shifted Littlewood-Rihardson oeffiient λ µ,ν is equal to the numer of pairs of shifted plati lasses [U] and [V ] of shapes µ and ν, respetively, suh that [U][V ] = [T]. Remark This rule an e restated in the language of words as follows. In Setion.1 we introdue a anonial representative of the shifted plati lass [T] orresponding to the taleau T. This representative is alled the mixed reading word of T, and denoted mread(t). A word w is alled a shifted taleau word if w = mread(t) for some shifted Young taleau T. The shape of a shifted taleau word is given y the shape of the orresponding taleau. Thus, the shifted Littlewood-Rihardson rule an e restated as follows: Fix a shifted taleau word w of shape λ. The shifted Littlewood-Rihardson oeffiient λ µ,ν is equal to the numer of pairs of shifted taleau words u, v of shapes µ, ν, respetively, suh that w uv. The representatives we have piked in Example 1.14 are preisely the mixed reading words of the orresponding taleaux, as one an see in Example.6. Lemma Fix a shifted taleau word w of shape λ and fix a standard shifted taleau Q of shape ν. The numer of pairs of shifted taleau words u, v of shapes µ and ν, respetively, suh that uv = w is equal to the numer of standard shifted skew taleaux of shape λ/µ whih retify to Q. As a orollary, we otain the original result of Stemridge [18].

11 THE SHIFTED PLACTIC MONOID 11 Corollary Fix a standard shifted taleau Q of shape ν. The oeffiient λ µ,ν is equal to the numer of standard shifted skew taleaux of shape λ/µ whih retify to Q. Example 1.0. We ompute 1,1 = 1. For this, we fix the shifted taleau word w = 13, assoiated to the shifted Young taleau T = 1. The only way to express w = 3 uv where u and v are reading words of shapes () and (1), respetively, is with u = 13, assoiated to the taleau U = 1 3, and v =, assoiated to the taleau V = The seond appliation is a new proof (and a new version of) the Shur expansion of a Shur P-funtion. Stemridge [18] has found a ominatorial interpretation for the oeffiient gµ θ in the sum P θ = gµ θ s µ. µ We find a different interpretation for the gµ θ in terms of shifted plati lasses. Lasoux and Shützenerger [11] have defined the plati monoid P as follows. Two words are plati equivalent if they have the same Roinson-Shensted-Knuth insertion taleau. A plati lass is an equivalene lass under plati equivalene. The plati lass of a word u in the alphaet X is denoted u. P is the set of plati lasses where multipliation is given y u v = uv. Equivalently, it is generated y the symols in X sujet to the Knuth relations (1.9) (1.10). Reall, y Proposition 1.8, any two shifted plati equivalent words are plati equivalent, or in other words, that relations (1.1) (1.8) are stronger than (1.9) (1.10). This yields the natural projetion π : S P, in whih the shifted plati lass [u] gets mapped to the plati lass u. We now onsider the image of a plati Shur P-funtion under π. Theorem 1.1. The plati Shur P-funtion P θ gets mapped under π to a sum of plati Shur funtions S µ. The oeffiients g θ µ are the same as those in π(p θ ) = µ g θ µs µ. Moreover, gµ θ is equal to the numer of shifted plati lasses [u] of shifted shape θ suh that π([u]) = v for some fixed plati lass v of shape µ. Example 1.. Let µ e the ordinary shape (3, 1), and θ e the shifted shape (3, 1). We ompute the oeffiient g θ µ = 1; this is the oeffiient of s µ in P θ. For this, we fix u = 134, namely, the plati lass orresponding to the Young taleau U = Note that the words in u are 134, 314, and 341. These get split into

12 1 LUIS SERRANO two shifted plati lasses, namely [134] orresponding to the shifted Young taleau 1 3 4, and [314] = [341] orresponding to the shifted Young taleau Sine the only one of these plati lasses has shape µ, namely 314, then g θ µ = 1. Theorem 1.3. Let θ e a shifted shape, and U θ a fixed standard shifted taleau of shape θ. Fix a plati lass T µ of shape µ. Let Gµ θ e the set of shifted plati lasses [T θ ] of shape theta for whih π([t θ ]) = T µ. Let Hµ θ e the set of standard Young taleaux of shape µ whih retify to U θ. Then the sets Gµ θ and Hθ µ are in ijetion. As a orollary, we otain the original result of Stemridge [18]. Corollary 1.4. The oeffiient g θ µ is equal to the numer of standard Young taleaux Q µ of shape µ whih retify to a fixed standard shifted Young taleau Q θ of shape θ. For ordinary Young taleau, one uses the onept of retifiation (under jeu de taquin) to otain the Littlewood-Rihardson oeffiients in the Shur expansion of a skew Shur funtion. We have een unale to find an analog of a jeu de taquin slide for semistandard shifted taleaux, ut nontheless, we an define the retifiation proess in an astrat way. In Setion.1 we define mread(t) for skew shifted Young taleau T. Thus, the retifiation of T is P mix (mread(t)). We define the plati skew Shur P-funtion of shape λ/µ as the following element of QS: P λ/ν = [P mix (mread(t))]. shape(t)=λ/µ Conjeture 1.5. P λ/µ elongs to the ring generated y the plati Shur P-funtions. Corollary 1.6. Fix a shifted Young taleau U of shape ν. The oeffiient of P ν in P λ/µ is equal to the numer of skew shifted Young taleaux T with P mix (mread(t)) = U. Remark 1.7. For the moment we an prove a slightly weaker statement than Conjeture 1.5. The projetion π(p λ/µ ) (whih lives in QP) elongs to the ring generated y the plati Shur funtions S µ. This will enale us to find a ominatorial interpretation for the oeffiients in the Shur expansion of the skew Shur P-funtions.. More results.1. Shifted taleau words. In this setion we develop the theory of the shifted plati monoid y defining a anonial representative of eah shifted plati lass and stating its haraterizing properties. Reall that the mixed insertion orrespondene assoiates eah word with its insertion and reording taleau. Assoiating eah word in a shifted plati lass [T] with its reording taleau gives a natural orrespondene etween representatives of [T] and standard taleaux of the same shape as T. Thus, y onstruting a anonial standard shifted Young taleau of eah shape, we speify a anonial representative of eah shifted plati lass.

13 THE SHIFTED PLACTIC MONOID 13 A skew shifted taleau T is a vee if its shape is a order strip (i.e., it does not ontain a square), and the entries i, i + 1,...,k appear in T in the following manner. There exists some i j k suh that: the entries i, i + 1,...,j form a vertial strip; these entries are inreasing down the vertial strip; the entries j, j + 1,...,k form a horizontal strip; these entries are inreasing from left to right; eah ox in the vertial strip is left of those oxes in the horizontal strip that are in the same row. The size of a vee is the numer k of entries. A vee is onneted if its orresponding skew shape is. Example.1. A vee of shape (5, 3, )/(3, ) and size Definition.. A standard shifted Young taleau of shape λ = (λ 1, λ,...,λ l ) is a speial reording taleau if it is standard, and for every i suh that 1 i l, the entries λ l +...+λ i+1 +1, λ l +...+λ i+1 +,..., λ l +...+λ i+1 +λ i form a onneted vee. Note that for every shape, the speial reording taleau is unique. This onept is a shifted analog of the dual reading taleau defined y P. Edelman and C. Greene [1]. Example.3. The steps for uilding a speial reording taleau of shape (5, 3, ), y adding onneted vees formed y the following sets of numers: {1, }, {3, 4, 5}, and {6, 7, 8, 9, 10}: 1, , Definition.4. The mixed reading word of a shifted Young taleau T is the word orresponding to the pair (T, U) under the mixed insertion orrespondene, where U is the shifted dual reading taleau of the same shape as T. The mixed reading word of T is denoted mread(t). Example.5. We will find mread(t), where T e the taleau in Example 1.1. Reall that the speial reording taleau of shape (5, 3, ) is U, given in Example.3. To otain the last letter of the mixed reading word, one first removes (using the mixed insertion algorithm akwards) the element in T orresponding to the largest entry in U, namely the 10. This is preisely the 4 in the top right orner from T. Thus, the last letter of mread(t) is 4. One ontinues in this fashion, to otain mread(t) =

14 14 LUIS SERRANO Example.6. The mixed reading words of all taleaux of shape λ = (3, 1) in the alphaet {1, }: Definition.7. A word w in the alphaet X is a shifted taleau word if there exists a shifted Young taleau T suh that w = mread(t). The shape of a shifted taleau word is given y the shape of the orresponding taleau. Theorem.8. Every shifted plati lass [T] ontains exatly one shifted taleau word, namely mread(t). Proof. The fat that P mix (mread(t)) = T is diret from the definition. The uniqueness follows from the fat that eah shifted plati lass orresponds to a unique shifted Young taleau. We proeed to haraterize shifted taleau words y ertain properties. Reall that a hook word is a word w = w 1 w l suh that for some 1 k l, inequalities (1.11) hold. It is formed y the dereasing part w = w 1 w k, and the inreasing part w = w k+1 w l. Note that the dereasing part of a hook word is always nonempty. Theorem.9. A word w is a shifted taleau word if and only if it is of the form w = u l u l 1 u 1, and: (1) eah u i is a hook word, () u i is a hook suword of maximum length in u l u l 1 u i, for 1 i l 1. Furthermore, for 1 i l, the shape of the taleau P mix (u l u i+1 u i ) is (λ i, λ i+1,...,λ i ), where u i = λ i. In partiular, shape(p mix (u)) = λ. Proposition.10. An equivalent definition of a shifted taleau word is otained when one replaes ondition () in Theorem.9 y the following: ( ) u i is a hook suword of maximum length in u i+1 u i, for 1 i l 1. The mixed reading word of a skew shifted Young taleau is defined as follows. Consider the alphaets X = { < 3 < < 1} and X = { < < 1 < 1 }, where y onvention, any letter of X ( X ) is smaller than any letter in X (X ). The mixed reading word of a skew shifted Young taleau T of shape λ/µ is defined as follows: Fill the shape µ with letters in X, to otain a shifted Young U with letters in X X. Let mread(t) e the restrition of mread(u) to the alphaet X. Lemma.11. Let T have shape λ/µ. mread(t) is independent of the filling of the shape µ with letters in X.

15 THE SHIFTED PLACTIC MONOID 15 Proof. Let a e a letter in X X, and U a shifted Young taleau with letters in X X. Let a = a 1, a,...,a k = the letters that are umped at every stage, until gets added to a new row or olumn. By definition, a 1 < a < < a k. Thus, when removing using the inverse proess, the letters umped are = a k > > a 1 = a. Thus, if a X, there is some 1 i k suh that a i, a i 1,...,a 1 X. This implies that one the reverse umping sequene enters X, it will stay in X. Sine we are restriting mread(u) to X, the result follows... Semistandard deomposition taleaux. The fat that the mixed reading word of T an e deomposed into hook suwords, preisely of the same lengths as the rows of T, hints that arranging these words as rows of a shifted diagram would yield an interesting ojet. Based on the notion of a standard deomposition taleau introdued y W. Kraśkiewiz [7] and further developed y T. K. Lam [9], we introdue the following. Definition.1. A semistandard deomposition taleau (SSDT) is a filling R of a shape λ = (λ 1,..., λ l ) with elements of X, suh that: (1) the word u i formed y reading the i-th row from left to right is a hook word of length λ i, and () u i is a hook suword of maximum length in u l u l 1 u i, for 1 i l 1. The reading word of R is read(r) = u l u l 1 u 1. The ontent of an SSDT is the ontent of read(r). By Proposition.10, a filling R of a shape λ is an SSDT if and only if eah of the fillings formed y two onseutive rows is an SSDT. By the definition, a filling R is a SSDT of shape λ if and only if read(r) is a shifted taleau word of shape λ. Example.13. An SSDT, with its orresponding reading word: R = The ontent of R is (, 1, 1,,, 1, 0, 0, 1). read(r) = Remark.14. One an see that an SSDT is a shifted analog of a (ordinary) Young taleau for the following reason. A word w in the alphaet X is the reading word of a Young taleau T of shape λ if and only if it is of the form u l u l 1 u 1, where: (1) eah word u i is weakly inreasing, () the length of u i is λ i, for 1 i l, and (3) u i is a weakly inreasing suword of maximal length in u l u l 1 u i, for 1 i l 1. In this ase the u i are preisely the rows of T. Shifted Young taleaux and SSDT share many properties, and many theorems aout shifted Young taleaux an e proved more easily in the language of SSDT. The first important property they share is that they are in ijetion.

16 16 LUIS SERRANO Theorem.15. Let Y(λ) e the set of shifted Young taleaux of shape λ. Let D(λ) e the set of SSDT of shape λ. The map Φ : D(λ) Y(λ) R P mix (read(r)) is a ijetion. Furthermore, read(r) = mread(φ(r)), i.e., Φ is a word preserving ijetion. For a more informal definition of Φ, see Remark. As an example, the image under Φ of the SSDT in Example.13 is the shifted Young taleau of Example 1.1. A speial ase of this ijetion is for taleaux with only one row. The image of a shifted Young taleau of one row is the SSDT formed y reading the primed entries from right to left, and then the unprimed entries from left to right. For example, Φ In order to find the inverse of Φ in general, we define a semistandard version of Kraśkiewiz insertion [7]. Definition.16 (Semistandard Kraśkiewiz (SK) insertion). Given a hook word u = y 1 y k y s, where u = y 1 y k, and u = y k+1 y s, and a letter x, the insertion of x into u is the word ux if ux is a hook word, or the word u with an element y that gets umped out, as follows: (1) let y j e the leftmost element in u whih is stritly greater than x; () replae y j y x; (3) let y i e the rightmost element in u whih is less than or equal to y j ; (4) replae y j y y i, to otain u, umping y = y j out of x. To insert a letter x into an SSDT T with rows u 1, u,...,u l, one first inserts x = x 1 into the top row u 1. If an element x gets umped, it will get inserted into the seond row u, and so on. The proess terminates when an element x i gets plaed at the end of row u i. The SK insertion taleau of the word w = w 1 w n, denoted P SK (w), is otained y starting with an empty shape and inserting the letters w 1,...,w n from left to right, forming an SSDT. The SK reording taleau of w, denoted Q SK (w), is the standard shifted Young taleau given y the order the elements have een inserted into P SK (w). Example.17. The following are the steps for inserting 3 into the taleau In every step, u a u denotes the insertion of the letter a into a row u, thus otaining a new row u, and a letter that gets umped out and inserted into the.

17 next row. The horizontal ar separates u and u. and the resulting taleau is THE SHIFTED PLACTIC MONOID , , , Example.18. The word w = has the following SK insertion and reording taleau P SK (w) = Q SK (w) = In Setion 3 we define the standardization of a word, of a shifted Young taleau, or of an SSDT, ased on tehniques introdued y Sagan [1] and Haiman [4]. Standardization enales us to translate results on permutations to results on words with repeated letters. We prove (Lemmas 3.3, 3.5 and 3.6) that standardization ommutes with shifted plati equivalene, SK insertion, and mixed insertion. Thus, the following theorems an e onsidered semistandard ounterparts of theorems y Kraśkiewiz [7], Lam [8] [9], and Sagan [1]. Speifially, Theorem.19 is the semistandard extension of [7, Theorem 5.], while Theorem.0, Proposition.1, and Theorem.4 orrespond to [9, Lemma 3.5, Corollary 3.6, Lemma 4.8], [8, Theorem 3.34], and [8, Theorem 3.5], respetively. Theorem.19. SK insertion is a ijetion etween words in the alphaet X and pairs of taleaux (P, Q), where P is an SSDT and Q is a standard shifted Young taleau of the same shape as P. Theorem.0. Two words are shifted plati equivalent if and only if they have the same SK insertion taleau. In partiular, for a word w, w read(p SK (w)) (or equivalently, P SK (read(p SK (w))) = w). Furthermore, Q SK (read(p SK (w))) is the speial reording taleau of the same shape as P SK (w). Proposition.1. The reording taleau of a word is the same under mixed insertion and SK insertion. Namely, Q mix (w) = Q SK (w) for any word w in the alphaet X. Remark.. A more informal way to view Φ is as follows. Let w e a word in the alphaet X. Then Φ sends P mix (w) to P SK (w), and Ψ does the opposite. Proof of Theorem.15. We will prove that the inverse is given y the map Ψ : Y(λ) D(λ) T P SK (mread(t)) Let R Y λ. Then y Theorem.0, Q SK (mread(r)) is the speial reording taleau of shape λ. Therefore, Ψ(T) = P SK (mread(t)) D λ. Similarily, if T D λ, then Φ(T) (Y ) λ..

18 18 LUIS SERRANO Now, note that Φ(Ψ(T)) = P mix (read(p SK (mread(t)))) = P mix (mread(t)) = T. And similarily Ψ(Φ(R)) = R. Therefore, Φ is a ijetion. Proof of Theorem.9. By Theorem.15, w is a shifted taleau word if and only if w = read(r) for some SSDT R. Therefore, (1) follows from the definition of an SSDT. () follows from the oservation that if u l,...,u 1 are rows of a SSDT, then so are u l,..., u i for all 1 i l. Sagan [1] and Worley [19] have introdued Sagan-Worley insertion, whih is a orrespondene etween words and pairs of shifted taleau. For a word w, we denote the Sagan-Worley insertion and reording taleaux y P SW (w) and Q SW (w), respetively. Mixed insertion and Sagan-Worley insertion an e generalized to iwords, namely two rowed arrays in whih the olumns are arranged lexiographially with priority on the element on the top row. In this ase, one inserts the elements in the ottom row from left to right, while reording the orresponding elements on the top row. The ordinary mixed insertion is otained where the top row has the numers 1,, 3,.... Thus, one an identify a word u with the two rowed array where u is in the ottom row, and the numers 1,, 3,... form in the top row. The inverse of u, namely u 1 is the iword otained y swihing the two rows in u, and organizing the olumns lexiographially with priority on the element on the top row. Haiman has proved that mixed insertion is dual to Sagan-Worley insertion in the following sense: P mix (u) = Q SW (u 1 ) and Q mix (u) = Q SW (u 1 ). Thus, an alternate way to define shifted plati equivalene (and thus the shifted plati monoid) is as follows: Two words u and v are shifted plati equivalent if and only if Q SW (u 1 ) = Q SW (v 1 ). In light of this, we otain the following theorem as a speial ase of [1, Theorem 10.], and also as a semistandard extension of [7, Lemma 4.8]. Theorem.3. The length of the longest hook suword of a word w is equal to the length of the top row of P mix (w) (or equivalently of P SK (w)). We denote y P RSK (w) and Q RSK (w), respetively, the insertion and reording taleau assoiated to w y the Roinson-Shensted-Knuth orrespondene [17]. Note that an ordinary shape λ = (λ 1, λ,...,λ l ) an e onsidered a skew shifted shape (λ+δ)/δ, where δ = (l, l 1,...,1). The following theorem relates the mixed (or SK) reording taleau of a word to its Roinson-Shensted-Knuth reording taleau. Theorem.4. Let w e a word in the alphaet X. Then Q mix (w) (= Q SK (w)) is otained y onsidering Q RSK (w) as a skew shifted Young taleau and applying shifted jeu de taquin slides to get a standard shifted Young taleau.

19 THE SHIFTED PLACTIC MONOID Proofs Definition 3.1. A word of length n is alled a permutation if it ontains eah of the letters 1,,..., n eah exatly one. A shifted Young taleau of ontent (1, 1,..., 1) will e alled a Haiman taleau. In other words, a Haiman taleau is a standard shifted taleau with some off-diagonal entries primed. Let w = w 1 w...w m e a word. Let (α 1,...,α m ) e the ontent of w, namely, α i letters in w are equal to i. The standardization of w, denoted stan(w) is otained y relaelling the elements laelled i y α α i 1 + 1,...,α α i, from left to right. The standardization of an SSDT R, denoted stan(r) is the filling otained y applying the same proedure used in the standardization of a word, namely, taking the order of the elements from read(r). Note that in general, any filling of a shifted shape with letters in X an e standardized, using the method for standardizing an SSDT. The standardization of a shifted Young taleau T, denoted stan(t) is the Haiman taleau of the same shape, otained as follows: Let α = (α 1,...,α m ) e the ontent of T. For every i, the entries laelled i or i are given the numers α α i 1 + 1, α α i 1 +,...,α α i 1 + α i. One assigns these values in inreasing order, starting from the oxes laelled i, from the top to the ottom, and then moving to the oxes laelled i, from the left to the right. If the old element in a ox was primed, so is the new one. This proedure has een suggested y Haiman [4]. Example 3.. Standardizations of a word w, a shifted Young taleau T, and an SSDT R: w = , stan(w) = , R = T = , stan(r) = , stan(t) = , In his study of deompositions of redued words in the hyperotahedral group B N, Kraśkiewiz [7] has introdued standard deomposition taleaux (SDT), whih are defined in the same way as an SSDT, with the extra ondition that the reading word must e a redued word in B N. He has also introdued the Kraśkiewiz orrespondene, whih assigns to every redued word in B N, a pair of taleaux onsisting of the Kraśkiewiz insertion taleau (an SDT), and the Kraśkiewiz reording taleau (a standard Young taleau). We do not use the full power of Kraśkiewiz insertion, ut we use it for permutations, sine a permutation is always a redued word in B N, for some n. We ause notation and all P SK (w) and Q SK (w) the Kraśkiewiz insertion and reording taleaux, respetively, and use the term SDT to refer to a semistandard deomposition taleau whose reading word is a permutation. We also note that for permutationss,

20 0 LUIS SERRANO the shifted plati relations are equivalent to the B-Coxeter-Knuth relations in [9], and to the dual equivalene relations given in Corollary 3. in [5]. Lemma 3.3. Two words u and v in the alphaet X are shifted plati equivalent if and only if they have the same ontent, and stan(u) stan(v). Proof. It is enough to hek this for relations (1.1) (1.8). For example, for (1.1), there are four possile type of words that will have ad as their standardization, with a < < < d, namely aaa, aa, a, ad. Similarly for ad, we have aaa, aa, aa, ad. These eight words are paired y relation (1.1) as follows: aaa aa a ad aaa; aa; a; ad. Cheking the other seven relations is routine, and left for the reader. Lemma 3.4. Standardization respets the property of eing a shifted taleau word, a SSDT, or a semistandard shifted Young taleau. More preisely: a word w is a shifted taleau word if and only if stan(w) is; a filling of a shifted shape R with letters in X is an SSDT if and only if stan(r) is an SDT; a filling of a shifted shape T with letters in X is a semistandard shifted Young taleau if and only if stan(t) is a Haiman taleau. Proof. The first two points follow from the oservation that a word w is a hook word if and only if its standardization stan(w) is a hook word. The third one is a routine hek of the properties that define a shifted Young taleau. Lemma 3.5. Let w e a word and R an SSDT. Then, P SK (stan(w)) = stan(p SK (w)); Q SK (stan(w)) = Q SK (w); read(stan(r)) = stan(read(r)). Proof. Cases (1) and () of the SK insertion algorithm treat the two following senarios in the same fashion when a letter i gets umped y a letter j > i; when a letter i gets umped y another letter i. Therefore, if two letters i are in an SSDT P, the algorithm treats them as if the rightmost one in the reading word was larger. Furthermore, the i at the right will always remain at the right of the i at the left, ie., they will always maintain their relative position with respet to eah other. The third equation is a rewording of the definition of standardization of an SSDT.

21 THE SHIFTED PLACTIC MONOID 1 Lemma 3.6. Let w e a word and T a shifted Young taleau. Then, P mix (stan(w)) = stan(p mix (w)); Q mix (stan(w)) = Q mix (w); mread(stan(t)) = stan(mread(t)). Proof. Let w = w 1 w l, and T = P mix (w). The result follows from the following laim. Say w has two letters equal to i, w a = w = i for a <. We say that a letter is primed or unprimed depending of the state of its orresponding entry in T. Letting r a and a e the row and olumn where w a gets loated in T, and r, the row and olumn where w gets loated, then either w a and w are unprimed and r a < r, w a and w are primed and a >, or w a is primed and w is unprimed. The laim is proved as follows. Assume oth w a and w are unprimed. As they oth have the lael i, then whenever w reahes the row where w a is, it must e at its right. No numer smaller than i an ump w efore umping w a. Therefore, w a always remains at the left of w. If oth w a and w are primed, namely, they have the lael i, it means they oth reahed the diagonal and later got umped out of the diagonal. An analog argument to the aove one, replaing olumns for rows, will show that w a must e in a row aove w. It remains to show that the ase where w a is unprimed and w is primed an not our. But for this to happen, w must reah the diagonal, ut w a must not, whih is impossile sine w must remain at the right of w a when they are oth unprimed. Proof of Theorem 1.4. By Lemma 3.3, two words u v if and only if the permutations stan(u) stan(v) and they have the same ontent. By Corollary 3. in [5], stan(u) stan(v) if and only if P mix (stan(u)) = P mix (stan(v)). By Lemma 3.6, P mix (stan(u)) = stan(p mix (u)) and stan(p mix (v)) = P mix (stan(v)). By the definition of standardization of shifted Young taleau, it is lear that stan(p mix (u)) = stan(p mix (v)) if and only if P mix (u) = P mix (v) and the taleaux have the same ontent. The following theorem is the semistandard extension of [9, Lemma 3.11]. Lemma 3.7. Let R e an SSDT and w = w 1 w l a word in the alphaet X. Let S e the SSDT otained y SK inserting w 1,...,w n into R. Let µ = shape(r) and λ = shape(s). Then w is a hook word if and only if the entries in λ/µ form a vee. Proof of Theorem It suffies to prove that the shifted plati Shur P-funtions satisfy the Pieri rule, namely P µ P (k) = (λ/µ) 1 P λ, λ where λ runs over all strit partitions suh that λ/µ is a order strip with (λ/µ) omponents.

22 LUIS SERRANO It is well known that a skew taleau Q is a vee if and only if it retifies to the single row with entries i, i+1,...,k using jeu de taquin, and that the numer of these skew taleaux with a fixed ontent is exatly (λ/µ) 1, where (λ/µ) is the numer of onneted omponents of Q. Let P λ e the set of SSDT of shape λ, where we denote P k = P (k). Let µ k e the set of shifted shapes λ suh that λ/µ is a order strip of size k. Let R λ/µ e the set of vees of shape λ/µ filled with the integers µ + 1, µ +,. λ. Consider the following map: Φ : P µ P k ( ) Pλ R λ/µ λ µ k We will prove that Φ is a ontent preserving ijetion (on the elements of P λ,p µ, and P k ). Given S P µ and T P k, insert the elements of read(t) into S from left to right to otain a SSDT R. Sine read(t) is a hook word, y Lemma 3.7, R has shape λ µ k, and the standard skew taleau V that reords this insertion is in R λ/µ. We define Φ(S, T) = (R, V ). Clearly, the ontent of S and T add to the ontent of R. The inverse map ( ) Ψ : Pλ R λ/µ Pµ P k λ µ k is defined in a very similar way, y removing the elements of R in the order given y the vee V, to otain S P µ and T P k. Sine this map removes the elements that were inserted in the definition of Φ, it is lear that the omposition of these two maps is the identity. The following example illustrates the ijetion: Φ , = The following definition appears in [9] and [1]., Definition 3.8. Let U e a standard shifted Young taleau. Define (U) to e the taleau otained y applying the following operations: (1) remove the entry 1 from U; () apply a jeu de taquin slide into this ox; (3) dedut 1 from the remaining oxes. The following lemma follows straight from [9, Theorem 4.14] and the standardization Lemmas 3.3 and 3.5. Lemma 3.9. Let w 1 w w l e a word. Then, Q SK (w w l ) = Q SK (w 1 w w l ). Proof of Lemma The standard skew taleau is otained as follows. First, mix insert the word u. The order of the insertion of the letters of the word v gives a skew