HOWE DUALITY FOR LIE SUPERALGEBRAS arxiv:math/ v1 [math.rt] 13 Aug 2000

Transcription

1 HOWE DUALITY FOR LIE SUPERALGEBRAS arxiv:ath/ v [athrt] 3 Aug 2000 SHUN-JEN CHENG AND WEIQIANG WANG Abstract We study a dual pair of general linear Lie superalgebras in the sense of R Howe We give an explicit ultiplicity-free decoposition of a syetric and skew-syetric algebra(in the super sense) under the action of the dual pair and present explicit forulas for the highest weight vectors in each isotypic subspace of the syetric algebra We give an explicit ultiplicity-free decoposition into irreducible gl( n)-odules of the syetric and skewsyetric algebras of the syetric square of the natural representation of gl( n) In the forer case we find as well explicit forulas for the highest weight vectors Our work unifies and generalizes the classical results in syetric and skew-syetric odels and adits several applications Key words: Lie superalgebra, Howe duality, highest weight vectors Matheatics Subject Classifications (99): 7B67 Introduction Howeduality isawayofrelatingrepresentation theoryofapair ofreductive Lie groups/algebras[h, H2] It has found any applications to invariant theory, real and coplex reductive groups, p-adic groups and infinite-diensional Lie algebras etc As an exaple we consider one of the fundaental cases the (gl(), gl(n)) Howe duality The syetric algebra S(C C n ) and the skew-syetric algebra Λ(C C n ) adit rearkable ultiplicity-free decopositions under the natural actions of gl() gl(n) The highest weight vectors of gl() gl(n) inside the syetric algebra are given by products of certain deterinants (see (22)) and for a free abelian sei-group while those inside the skew-syetric algebra are given by Grassann onoials, cf [H2, KV, GW] Our present paper is devoted to the study of Howe duality for Lie superalgebras and its applications It is by now a well established fact that one should put the Grassann variables on the sae footing as Cartesian variables and hence it is natural to consider the supersyetric algebra, which is a ixed tensor of syetric and skew-syetric algebras In this paper we give a coplete partially supported by NSC-grant M of the ROC

2 2 SHUN-JEN CHENG AND WEIQIANG WANG description of the Howe duality in a syetric algebra under the action of a dual pair of general linear Lie superalgebras and find explicit forulas for the highest weight vectors inside our syetric odel A dual pair consisting of a general linear Lie superalgebra and a general linear Lie algebra was discussed in [H] We also study in detail soe other ultiplicity-free actions of the general linear Lie superalgebras as specified below Our otivation is anifold First, our work is otivated by an attept to unify the Howe duality in the syetric and skew-syetric odels [H2] which have any differences and siilarities Specialization of our results gives rise to the Howe duality for general linear Lie algebras in both syetric and skewsyetric odels Secondly, we are otivated by our study of the duality in the infinite-diensional setup (see the review [W] and references therein) and our work in progress on its generalization to the superalgebra case We realize that we have to understand the finite-diensional picture better first in order to have a ore coplete description of the infinite-diensional picture Thirdly, there exists a new type of Howe duality which is of pure superalgebra phenoenon which is treated in [CW] Let us discuss the contents of the paper The generalization of Schur duality for the superspace was given by Sergeev [Se] For lack of an analog in the super setup of the criterion of ultiplicity-free action in ters of the existence of a dense open orbit of a Borel subgroup (cf [V] and [H2]), we use Sergeev s result to derive the decoposition of the syetric algebra S(C p q C n ) with respect to the action of the su of two general linear Lie superalgebras gl(p q) gl( n) We see that a representation of gl(p q) is paired with a representation of gl( n) paraeterized by the sae Young diagra On the other hand one can show that our Howe duality for superalgebras iplies Sergeev s Schur duality as well We also obtain an explicit ultiplicity-free decoposition of a skew-syetric algebra Λ(C p q C n ) as gl(p q) gl( n)-odules In particular it follows that gl(p q) and gl( n) when acting on S(C p q C n ) and respectively on Λ(C p q C n ) are utual (super)centralizers A rearkable phenoenon is the coplete reducibility of the syetric odel under the action of the dual pair, which is quite unusual for Lie superalgebras In a purely cobinatorial way, Brini, Palareti and Teolis [BPT] were indeed the first to obtain an explicit decoposition of S(C p q C n ) under the action of gl(p q) gl( n) In addition, their cobinatorial approach exhibits explicit bases paraeterized by so-called left (or right) syetrized bitableuax between two standard Young diagras (see [BPT] for definition) However, Brini et al did not identify the highest weights for these gl(p q) gl( n)-odules inside S(C p q C n ) In this paper we will freely suppress the ter super So in case when a superspace is involved, the ters syetric, coute etc ean supersyetric, supercoute etc unless otherwise specified

3 HOWE DUALITY FOR LIE SUPERALGEBRAS 3 We also obtain an explicit decoposition into irreducible gl( n)-odules of the syetric algebra S(S 2 C n ) and respectively skew-syetric algebra Λ(S 2 C n ) of the syetric square of the natural representation of gl( n) These results unifies and generalizes several classical results and they can be proved in an analogous way as in the classical case [H2, GW] Associated to the Howe duality and the above gl( n)-odule decopositions, we obtain, by taking characters, various cobinatorial identities involving the so-called hook Schur functions Being generalization of Schur functions, these hook Schur functions have been studied in [BR] The decopositions entioned above in turn provide the representation theoretic realization of the corresponding cobinatorial identities For exaple, the (gl( n), gl(p q))-duality gives rise to a cobinatorial identity for the hook Schur functions which generalizes the Cauchy identity for Schur functions, cf [H2] Specializations and variations of these cobinatorial identities are well known and other proofs can be found in Macdonald [M] However it is a uch ore difficult proble to find explicit forulas for the highest weight vectors of gl(p q) gl( n)-odules inside the syetric algebra We first find forulas for the highest weight vectors in the case for q = 0 (and so for n = 0 by syetry) A ain ingredient in the forulas for the highest weight vectors is given by the deterinant of a atrix which involves both Cartesian variables x i j s and Grassann variables ηi s of the for: x x 2 x r x 2 x 2 2 x r 2 x x2 xr η η 2 η r η η 2 η r We reark that the rows involving Grassann variables are the sae but the deterinant is nonzero(one needs to overcoe soe psychological barriers) Note that when = r the Grassann variables disappear and the above deterinant reduces to those entioned earlier which occur in the forulas for highest weight vectors in the syetric algebra case of the classical Howe duality When = 0, the Cartesian variables disappear and the above deterinant is equal to (up to a scalar ultiple) a Grassann onoial which shows up in the forulas for highest weight vectors in the classical skew-syetric algebra case We show that the gl(p q) gl( n) highest weight vectors for an abelian seigroup in the case when p = However in contrast to the Lie algebra case this seigroupisnot freeingeneral Wefindthat thegeneratorsoftheseigroup are given by highest weight vectors associated to rectangular Young diagras of

4 4 SHUN-JEN CHENG AND WEIQIANG WANG length not exceeding + This way we are able to find explicit forulas for all highest weight vectors in the case when q = 0 (or = 0), or p = In the general case the highest weight vectors no longer for a seigroup We find a nice way to overcoe this difficulty by introducing soe extra variables which, roughly speaking, help us to reduce the general case to the case p = Then we use a siple ethod to get rid of the extra variables to obtain the genuine highest weight vectors we are looking for In contrast to the Howe duality in the Lie algebra setup, it is difficult to check directly the highest weight condition of the vectors we have obtained We use instead the ultiplicity-free decoposition of the syetric algebra to get around this difficulty As highest weight constraint we obtain interesting nontrivial polynoial identities typically involving various inors of a atrix We also find explicit forulas for the highest weight vectors appearing in the gl( n)-odule decoposition of S(S 2 C n ) These highest weight vector forulas, which constitute a ixture of deterinants and Pfaffians, have soewhat siilar features as those found in the Howe duality for the general linear Lie superalgebras A forula for highest weight vectors in the decoposition of S(C p q C n ) as gl(p q) gl( n) odules ay also be obtained in principle using the cobinatorial approach of Brini et al [BPT], and in this way the highest weights for these gl(p q) gl( n) odules can be identified However this way one can neither expect to obtain forulas as explicit as ours, nor can one see the seigroup structure of the set of the highest weight vectors which is the guiding principle for us to find these vectors It is also interesting to see whether our results concerning the decoposition of S(S 2 C n ) (and respectively Λ(S 2 C n )) and the highest weight vectors in these odels ay also be obtained with extra insights fro the cobinatorial approach in [BPT] as well The plan of the paper goes as follows In Section 2 we review the classical dual pairs of general linear Lie algebras and Schur duality In Section 3 we present various ultiplicity-free actions for Lie superalgebras and obtain the corresponding syetric function identities Section 4 is devoted to the construction of the gl(p q) gl( n) highest weight vectors inside S(C p q C n ) More precisely, in Section 4, Section 42, and Section 43, we find explicit forulas of highest weight vectorsinthecaseq = 0,p =, andthegeneralcase, respectively Finally in Section 5 we construct the gl( n) highest weight vectors inside S(S 2 C n ) Acknowledgent Our work is greatly influenced by the beautiful article [H2] of R Howe to who we are grateful The results in this paper and and its sequel [CW] are based on our two preprints under the sae title (part one and two) as the current paper After we subitted part one and finished part two, we cae across two preprints of Sergeev: An analog of the classical invariant theory for Lie superlagebras, I, II, athrt/9803 and athrt/ , which have overlaps with our work More precisely, Sergeev obtained independently the

5 HOWE DUALITY FOR LIE SUPERALGEBRAS 5 gl(p q) gl( n)-odule decoposition of the syetric algebra S(C p q C n ) (ie our Theore 32), and the gl( n)-odule decoposition of S(S 2 C n ) (ie our Theore 34) Finally we also like to thank the referee for bringing the paper [BPT], which is discussed in the introduction, to our attention Therefore we have ade corresponding changes on our preprints which result in the current version of this paper and [CW] 2 The Classical Picture In this section we will review soe classical ultiplicity-free actions of the general linear Lie algebra We begin with the classical gl() gl(n)-duality, cf Howe [H2] Let λ = (λ,λ 2,,λ l ) be a partition of the integer λ = λ ++λ l, where λ λ l > 0 The integer λ is called the size, l is called the length (denoted by l(λ)), and λ is called the width of the partition λ Let λ denote the Young diagra obtained fro λ by transposing We will often denote λ by t and write λ = (λ,λ 2,,λ t) For exaple, the Young diagra (2) r }{{} stands for the partition (5,3,2,) and its transpose is the partition (4,3,2,,) Given a partition λ = (λ,λ 2,,λ l ) satisfying l, we ay regard λ as a highest weight ofgl()byidentifying λ withthe-tuple(λ,λ 2,,λ l,0,,0) by adding l zeros to λ We denote the irreducible finite-diensional highest weight odule of gl() by V λ Consider the natural action of the coplex general linear Lie groups GL() and GL(n) on the space C C n If we identify C C n with M n, the space of all n atrices, then the actions of GL() and GL(n) are given by left and right ultiplications: (g,g 2 )(T) = (g t ) Tg 2 g GL(),g 2 GL(n),T M n The Lie algebras gl() and gl(n) act on C C n accordingly Denoting by S(C C n ) the syetric tensor algebra of C C n with an induced action of gl() gl(n), wehavethefollowingultiplicity-free decopositionofs(c C n ) as a gl() gl(n)-odule: t S(C C n ) = λ V λ V λ n,

6 6 SHUN-JEN CHENG AND WEIQIANG WANG where thesu above isover Youngdiagrasλoflengthnot exceeding in(,n) One can find an explicit forula for the gl() gl(n) highest weight vectors in this decoposition Let us denote a basis of C by x,x 2,,x and a basis of C n by x,x 2,,x n Then the vectors x j i := x i x j, for i =,, and j =,,n for a basis for C C n so that we ay identify S(C C n ) with C[x,,x n,,x,,x n ] Using this identification the standard Borel subalgebra of gl() is a su of the Cartan subalgebra generated by n x j i x j i and the nilpotent radical generated by n x j i x j i, i,, 2 i Siilarly the Borel subalgebra of gl(n) is the su of the Cartan subalgebra generated by x j i x j i= i and the nilpotent radical generated by i= x j i x j i, j n,, 2 j n Let ǫ i for i =,, (respectively ǫ j for j =,,n) be the fundaental weights corresponding to the Cartan subalgebra of gl() (respectively gl(n)) above For r in(,n) define (22) x x 2 x r x r := det 2 x 2 2 x 2 r x r x r 2 x r r It is easy to see that r is a highest weight vector for both gl() and gl(n) and its weights are respectively r i= ǫ i and r i= ǫ i This weight corresponds to the

7 HOWE DUALITY FOR LIE SUPERALGEBRAS 7 Young diagra r That is, r is the highest weight vector for Λ r (C ) Λ r (C n ) inside S(C C n ), the tensor product of the r-th fundaental representations of gl() and gl(n) Let λ be a Young diagra as in (2) with length not exceeding in(,n) The set of highest weight vectors in S(C C n ) for an abelian seigroup, and the product λ λ 2 λ t is a highest weight vector for the irreducible representation in S(C C n ) corresponding to the Young diagra λ On the other hand, the skew-syetric algebra Λ(C C n ) adits an induced gl() gl(n) action Following Howe [H2], we have the ultiplicity-free decoposition Λ(C C n ) = λ V λ V λ n, where the suation runs over Young diagras λ of length not exceeding and of width not exceeding n Denote by η j i, i, j n the standard basis for C C n in the consideration of skew-syetric algebra The highest weight vector for the gl() gl(n)-odule V λ Vn λ inside Λ(C C n ) is given by η η2 ηλ η2 η2 2 ηλ 2 2 η l η2 l ηλ l l where l is the length of λ Intiately related to the Howe duality is the Schur duality, which we review below Consider the standard representation of GL() on C It induces an action on the k-th tensor power k C Now the syetric group S k in k letters acts on k C in a natural way These two actions coute and we ay thus decopose k C into a direct su of irreducible GL() S k -odule Recalling that the irreducible representations of syetric group S k adit paraeterization by Young diagras of weight k, Schur duality states that k C = V λ Mλ k, λ where the suation is over Young diagras λ of size k and of length not exceeding Here M λ k is the irreducible representation of S k corresponding to the Young diagra λ

8 8 SHUN-JEN CHENG AND WEIQIANG WANG Further well known exaples of a ultiplicity-free action of gl() that are of interest to us are as follows: consider the action of gl() on the syetric square S 2 C and skew-syetric square Λ 2 C We have an induced action on their respective syetric algebras S(S 2 C ) and S(Λ 2 C ) Explicitly, the decoposition of these spaces as gl()-odules is as follows (cf [H2], [GW]): (23) S(S 2 C ) = V 2λ, (24) l(λ) S(Λ 2 C ) = l(λ) 2 V (2λ) Explicit forulas for the highest weight vectors in either cases are well known (cf [H2]) and are given in Reark 5 One ay also consider the decopositions of the skew-syetric algebra of S 2 C and Λ 2 C In order to describe the highest weights that appear in these decopositions we need a few terinology The Young diagra associated to the partition λ = (k+,,,,) of length k is called a (k+,k)-hook We will soeties also call this (k+,k)-hook a hook of shape (k+,k) Assuing that k > l weayforanewyoungdiagraby nesting the(l+,l)-hookinsidethe (k+,k)-hook Theresultingpartitionoflengthkis(k+,l+2,2,,2,,,), where 2 appears l ties and appears k l ties Siilarly a sequence of hooks of shapes (k +,k ),,(k s +,k s ) with k i > k i+ for i =,,s ay be nested, and the resulting partition has length k In consistency with the terinology used we call the partition (k,,,) of length k+ a hook of shape (k,k+)ora(k,k+)-hook Nestingofhooksofshapes(k,k +),,(k s,k s +) with k i > k i+ for i =,,s is done in an analogous fashion Now we can state the following ultiplicity-free decopositions of gl()- odules (cf [H2], [GW]): (25) Λ(S 2 C ) = λ V λ, (26) Λ(Λ 2 C ) = µ V µ, where λ (respectively µ) is over all partitions with l(λ) (respectively l(µ) ) such that λ (respectively µ) is obtained by nesting a sequence of (k +,k)- hooks (respectively of (k, k + )-hooks) 3 Multiplicity-free Actions of the general linear Lie superalgebra Let C n denote the superspace of superdiension n Recall that this eans that C n is a Z 2 -gradedspace, where theeven subspace has diension andthe oddsubspacehasdiensionn ThespaceoflinearapsfroC n toitselfcanbe

9 HOWE DUALITY FOR LIE SUPERALGEBRAS 9 regarded as the space of (+n) (+n) atrices with aninduced Z 2 -gradation, which gives it a natural structure as a Lie superalgebra, denoted by gl( n) We have a triangular decoposition gl( n) = gl( n) + gl( n) 0 + gl( n), where gl( n) ± denote the set of upper and lower triangular atrices and gl( n) 0 denotes the set of diagonal atrices Given an +n tuple of coplex nubers (a,,a ;b,,b n ), weassociateanirreducible gl( n)-odulev n of highest weight (a,,a ;b,,b n ) (with respect to the standard Borel subalgebra gl( n) 0 +gl( n) ) It is well known (cf eg [K]) that the odule V n is finite-diensional if and only if (a,,a ;b,,b n ) satisfies the conditions a i a i+,b j b j+ Z +, for all i =,, and j =,,n Let C p q and C n denotecoplex superspaces ofsuperdiensions p q and n, respectively We will now describe a duality between the Lie superalgebras gl(p q) and gl( n) Our starting point is Schur duality for Lie superalgebra gl( n) Schur duality for the Lie superalgebra gl( n) was studied in [Se] Below we will recall the ain result for the convenience of the reader Let C n denote the standard gl( n)-odule We ay, as in the classical case, consider the k- th tensor power k C n which adits a natural action of the Lie superalgebra gl( n) On the other hand the syetric group S k acts naturally on k C n by perutations with appropriate signs (corresponding to the perutations of odd eleents in C n ) It is easy to check that the actions of gl( n) and S k coute with each other, cf Sergeev [Se] (also see Berele-Regev [BR] for a ore detailed study) Theore 3 (Sergeev) As a gl( n) S k -odule we have k C n = V n λ Mk, λ λ where λ is sued over Young diagras of size k such that λ + n, Mk λ is the irreducible S k -odule paraeterized by λ, and V n λ denotes the irreducible gl( n)-odulewith highestweight(λ,λ 2,,λ ; λ,, λ n ), where we denote l = l for l Z + and l = 0, otherwise The syetric algebra S(C p q C n ) is by definition equal to the tensor product of the syetric algebra of the even part of C p q C n and the skewsyetric algebra of the odd part of C p q C n It adits a natural gradation S(C p q C n ) = k 0S k (C p q C n ) by letting the degree of the basis eleents of C p q C n be The natural actions of gl(p q) on C p q and gl( n) on C n induce couting actions on the k-th syetric algebra S k (C p q C n ) Indeed gl(p q) and gl( n) are utual centralizers in gl(c p q C n ) We obtain the following theore by an analogous arguent as in [H2]

10 0 SHUN-JEN CHENG AND WEIQIANG WANG Theore 32 The syetric algebra S(C p q C n ) is ultiplicity-free as a odule over gl(p q) gl( n) More explicitly, we have the following decoposition S(C p q C n ) = Vp q λ Vλ n, λ where the su is over Young diagras λ satisfying λ p+ q and λ + n Here the highest weight of the odule Vp q λ (respectively V n λ ) is given by (λ,,λ p ; λ p,, λ q p ) (resp (λ,,λ ; λ,, λ n )) Proof By the definition of the k-th supersyetric algebra we have S k (C n C p q ) = (( k C n ) ( k C p q )) k, where k is the diagonal subgroup of S k S k By Theore 3 we have therefore S(C n C p q ) = (( V n λ Mλ k ) ( k=0 = λ =k k=0 λ = µ =k = (V n λ Vλ k=0 λ =k = (V n λ Vλ λ µ =k V µ p q Mµ k )) k (V n λ Vµ p q ) (Mλ k Mµ k ) k where λ in the previous line is sued over all Young diagras satisfying the conditions λ + n and λ p+ q The second to last equality follows fro the well-known fact that Mk λ is a self-contragredient odule p q ), Reark 3 This theore(except the explicit forula for the highest weights) was first obtained in Brini et al [BPT] in a cobinatorial approach It is also obtained independently recently by Sergeev 2 When n = q = 0, we recover the (gl(p),gl())-duality in the syetric algebra case When q = = 0 we recover the (gl(p),gl(n))-duality in the skew-syetric algebra case 3 Onecaneasilyshowthatthe(gl( n),gl(k))-dualityipliesthe(gl( n),s k ) Schur duality (Theore 3), using an arguent of Howe (cf 24, [H2]) p q ) The next corollary is iediate fro Theore 32 Corollary 3 The iage of the action of the universal enveloping algebras of gl(p q) and gl( n) on S k (C p q C n ) are double coutants

11 HOWE DUALITY FOR LIE SUPERALGEBRAS Theore 33 The skew-syetric algebra Λ(C p q C n ) is ultiplicity-free as a odule over gl(p q) gl( n) More explicitly, we have the following decoposition Λ(C p q C n ) = λ V λ p q Vλ n, where the su is over Young diagras λ satisfying λ p+ q and λ + n Here the highest weight of the odule Vp q λ λ (respectively V n ) is given by (λ,,λ p ; λ p,, λ q p ) (resp (λ,,λ ; λ,, λ n )) Proof By the definition of the k-th skew-syetric algebra we have Λ k (C p q C n ) = (( k C p q ) ( k C n )) k, where k is thediagonal subgroup ofs k S k and( k C n )) k isthe subspace of ( k C n )) that transforsaccording to thesigncharacter of k By Theore 3 we have therefore Λ(C p q C n ) = ( k=0 = λ =k k=0 λ = µ =k = k=0 λ =k = λ V λ p q M λ k) ( µ =k V µ n Mµ k ) (V λ p q V µ n ) (Mλ k M µ k ) k V λ p q Vλ n V λ p q V λ n, where λ in the previous line is sued over all Young diagras satisfying the conditions λ p+ q and λ + n The second to last equality follows fro the following well known facts: Mk λ is a self-contragredient odule and tensoring the odule Mk λ with the sign character yields the odule Mλ k Reark 32 Of course it follows fro Theore 33 that the iage of the action of the universal enveloping algebras of gl(p q) and gl( n) on Λ k (C p q C n ) are also double coutants The following corollary turns out to be very useful later on in order to check that a given vector is indeed a highest weight vector inside S(C p q C n ) Corollary 32 Assue a vector v S(C p q C n ) has the weight λ with respect to gl(p q) gl( n) associated to a Young diagra λ satisfying λ p+ q and k

12 2 SHUN-JEN CHENG AND WEIQIANG WANG λ + n If v is a highest weight vector for gl(p q), then it is for gl( n) as well Proof Since v is a highest weight vector for gl(p q) with weight λ, it belongs to the subspace W of S(C p q C n ) which consists of vectors with weight λ annihilated by the standard Borel in gl(p q) By Theore 32, W is isoorphic to V n λ as a gl( n)-odule There exists a unique vector (up to scalar ultiple) in V n λ which has weight λ, which is the highest weight vector By assuption v has weight λ as a gl( n)-odule, so it is a highest weight vector for gl( n) The description of highest weight vectors of the irreducible gl(p q) gl( n)- odules in the syetric algebra turns out to be uch ore subtle than in the classical Howe duality case and we will deal with this question in Section 4 Next consider the syetric square S 2 C n of the natural representation of gl( n) The following theore can be proved by an analogous arguent as in [H2] This result was also obtained independently recently by Sergeev We oit the proof since it is in any case parallel to the proof of Theore 35 below Theore 34 The syetric algebra of the syetric square of the natural representation C n of the Lie superalgebra gl( n) is a copletely reducible ultiplicity-free gl( n)-odule More precisely we have the following decoposition S k (S 2 C n ) = V n λ, λ where the suation is over all partitions λ into even parts of size 2k and λ + n Now S 2 C n reduces to S 2 C in the case when n = 0, and to Λ 2 C n in the case when = 0, the syetric and skew-syetric square of the natural representation of gl() and gl(n), respectively Thus one obtains as a corollary the classical ultiplicity-free decopositions of their respective syetric algebras, naely (23) and (24) Again the question of obtaining explicit forulas for the highest weight vectors inside S(S 2 C n ) is substantially ore subtle than in the non-super case We will give these in Section 5 Theore 35 The skew-syetric algebra of the syetric square of the natural representation C n of the Lie superalgebra gl( n) is a copletely reducible ultiplicity-free gl( n)-odule More precisely we have the following decoposition Λ k (S 2 C n ) = V n, λ λ where the suation is over all partitions λ of size 2k, which are obtained by nesting (l +,l)-hooks with λ + n

13 HOWE DUALITY FOR LIE SUPERALGEBRAS 3 Proof OurarguentfollowscloselytheonegivenintheproofofTheore442in [H2]withTheore3replacingtheclassical Schur duality LetD k denotethethe subgroup of S 2k, which preserves the partition {{,2},{3,4},,{2k,2k}} of 2k Note that D k is isoorphic to a seidirect product of S k and (Z 2 ) k, where Z 2 acts by interchanging 2j with 2j and S k acts by peruting the pairs Let sign denote the character on D k which is trivial on (Z 2 ) k, but transfors by the sign character on S k We observe that Λ 2k (S 2 C n ) 2k = ( C n ) Dk,sign Thus using Theore 3 we obtain Λ 2k (S 2 C n ) = (V n λ Mλ 2k )D k,sign = V n λ (Mλ 2k )D k,sign λ =2k λ =2k Now by Theore A4 of [H2] the space (M λ 2k )D k,sign is non-zero if and only if λ is constructed fro nesting hooks of types (l +,l), in which case it is onediensional Siilarly we obtain as a corollary the classical ultiplicity-free decopositions (25) and (26) Reark 33 The character of V n λ is defined as the trace of the action of the diagonal atrix diag(x,,x ;y,,y n ) in gl( n) on V n λ and according to [BR] isgiven by so-called hookschur functions HS λ (x,y) (see [BR] fordefinition) Thus, coparing the characters of both sides of Theore 32 and Theore 33, respectively, with x = (x,,x p ), y = (y,,y q ), u = (u,,u ) and v = (v,,v n ) we obtain the following cobinatorial identities: HS λ (x,y)hs λ (u,v) = ( x i u k ) ( y j v l ) (+x i v l )(+y j u k ), λ i,j,k,l HS λ (x,y)hs λ (u,v) = (+x i u k )(+y j v l )( x i v l ) ( y j u k ), λ i,j,k,l where i p, j q, k and l n with suation in the first identity over λ such that λ p+ q and λ + n and in the second one over λ such that λ p+ q and λ + n Now putting y = v = 0 in the first identity we obtain the classical Cauchy identity, while putting respectively y = u = 0 the dual Cauchy identity (see eg [M]): s λ (x)s λ (y) = ( x i y j ), λ i,j s µ (x)s λ (y) = (+x i y j ) µ i,j

14 4 SHUN-JEN CHENG AND WEIQIANG WANG Reark 34 Siilarly Theore 34 and Theore 35 give rise to the following cobinatorial identities (x = (x,,x ) and y = (y,,y n )): HS λ (x,y) = ( x i x i ) ( y j y j ) (+x i y j ), λ i i,j<j i,j HS µ (x,y) = (+x i x i )(+y j y j ) ( x i y j ), µ i i,j<j i,j where inthefirst identity thesu is over all partitions λ witheven rows such that λ + n and in the second over all partitions µ that can be obtained by nesting (k +,k)-hooks such that µ + n and i,i, j,j n Putting either x = 0 or y = 0 in these two identities we obtain the following classical Schur function identities (see eg [M]), which correspond to the decopositions in (23), (24), (25) and (26), respectively: s 2λ = ( x 2 i ) ( x i x j ), l(λ) l(µ ) 2 ρ i s (2µ) = i<j s ρ = (+x 2 i ) i s π = π i<j i<j ( x i x j ), i<j (+x i x j ), (+x i x j ), where ρ (respectively π) above is sued over all nested sequences of hooks of shape (k +,k) with k (respectively of hooks of shape (k,k + ) with k ) 4 Construction of highest weight vectors in S(C p q C n ) This section is devoted to the construction of the highest weight vectors of gl(p q) gl( n) inside the syetric algebra of C p q C n We will divide this section into several cases Before we ebark on this task we will set the notation to be used throughout this section We let e,,e p ;f,,f q denote the standard hoogeneous basis for the standard gl(p q)-odule Here e i are even, while f j are odd basis eleents Siilarly we let e,,e ;f,,f n denote the standard hoogeneous basis for the standard gl( n)-odule The weights of e i,f j,e l and f k are denoted by ǫ i, δ j, ǫ l and δ k, for i p, j q, l and k n, respectively We set (4) x i l := e l e i ; ξ j l := e l f j ; η i k := f k e i ; y j k := f k f j

15 HOWE DUALITY FOR LIE SUPERALGEBRAS 5 We will denote by C[x, ξ, η, y] the polynoial superalgebra generated by (4) The couting pair of gl(p q) and gl( n) ay be realized as first order differential operators as follows ( i,i p; l,l q and s,s ; k,k n): n n (42) (43) p p x i j x i j x j s x i j ξ l j + + x j + s x j s η j k n q q η i j η i j ξ j s η i j y l j,, ξ j, s ξs j y j k, p p ξ l j ξ l j ξ l j x i j η j k η j k η j k x j s n q q y l j y l j y l j η i j,, y j k y j, k y j k ξ j s (42) spans a copy of gl(p q), while (43) spans a copy of gl( n) Our Cartan subalgebras of gl(p q) and gl( n) are spanned, respectively, by n n +, +, and x i j x i j p x j s x j s + ηj i η i j q ξs j ξ j s, ξj l ξ l j p η j k η j k + yj l y l j q y j k y j k while the nilpotent radicals are respectively generated by the siple root vectors, (44) and (45) p x i j x i j + n x p j ξ j x j s x j s p + q η i j + η i j n, η p j y j ξ j s ξ j s x j η j q, ξ l j ξ l j + n y l j y l j, < i p, < l q p η j k η j k ξ j y j + q, y j k y j k, < s, < k n,

16 6 SHUN-JEN CHENG AND WEIQIANG WANG With these conventions, we ay thus identify S(C p q C n ) with the polynoial superalgebra C[x, ξ, η, y] (as gl(p q) gl( n)-odules) 4 Highest Weight Vectors: thecase q = 0 Inthissectionwewilldescribe the highest weight vectors for gl(p) gl( n) in the syetric algebra S(C p C n ), ie q = 0 case The space S(C p C n ) is identified with C[x,η], and (44) and (45) reduce to (46) (47) xi j x i j p xj s, p x j s + n ηj k η j k ηi j ηj i,, p xj, η j respectively Now by Theore 32 a highest weight representation Vp λ Vλ n of gl(p) gl( n) appears in the decoposition of S k (C p C n ) if and only if λ is of size k and of length at ost p such that λ + n We will consider two cases separately, naely p and < p We begin with the case of p Here the condition λ + n is an epty condition So we are looking for hoogeneous polynoials of degree k in C[x, η], annihilated by all vectors of (46) and(47), and having gl(p)- and gl( n)-weight λoflengthnotexceeding p Ifλissuchaweight, thenλ i p, wherewerecall that λ = (λ,,λ t ) denotes the transpose of λ It is easy to see that the product λ λ t is annihilated by all vectors of (46) and (47), where we recall that r is defined in (22) It is straightforward to check that its weight is exactly λ Theore 4 In the case when p, all gl(p) gl( n) highest weight vectors in C[x,η] for an abelian seigroup generated by r, for r =,,p The highest weight vector associated to the weight λ is given by the product λ λ t We now consider the case p > In this case the condition λ + n is no longer an epty condition Obviously the highest weight vectors associated to Young diagras λ with λ + = 0 can be obtained just as in the previous case Now suppose λ is a diagra of length exceeding Let λ,λ 2,,λ t denote its colun lengths as usual We have p λ λ 2 λ t and λ n+ For r p, the following deterinant of an r r atrix plays a fundaental role in this paper: x x 2 x r x 2 x 2 2 x r 2 x k,r := det x 2 x r (48) ηk ηk 2 ηk r, k =,,n ηk ηk 2 ηk r ηk ηk 2 ηk r

17 HOWE DUALITY FOR LIE SUPERALGEBRAS 7 That is, the first rows are filled by the vectors (x j,,x r j), for j =,,, in increasing order and the last r rows are filled with the sae vector (ηk,,ηr k ) Since the atrix entries involve Grassann variables ηi k, we ust specify what we ean by the deterinant By the deterinant of a atrix a a 2 a r a A := 2 a 2 2 a r 2, a r a 2 p a r r whose atrix entries involve Grassann variables ηk i, we will always ean the expression σ S r ( ) p(σ) a σ() a σ(2) 2 ar σ(r), where p(σ) is the length of σ in the syetric group S r In general it is not true that deta = deta t Reark 4 The deterinant (48) is always nonzero It reduces to (22) when = r, and reduces to (up to a scalar ultiple) η k ηr k when = 0 Now let λ be a diagra of length at ost p such that λ + n It is thus of the following shape: p }{{} r } {{ } t r where r is defined by λ r > and λ r+ We can divide such a diagra into two diagras, naely (49) p }{{} r } {{ } t r Now the second diagra in (49) has length not exceeding, so its associated highest weight vector is given by the product λ r+ λ t A forula for the highest weight vector associated to the first diagra in (49) is given by

18 8 SHUN-JEN CHENG AND WEIQIANG WANG the following proposition We will denote by r k= k,λ k,λ 2,λ 2 r,λ r the (ordered) product Proposition 4 Let p λ λ 2 λ r > Then r k= k,λ k is a highest weight vector associated to the first Young diagra in (49) Proof Observe that r k= k,λ k Young diagra of (49) Clearly r k= k,λ k verify that r k= k,λ k Corollary 32 that r k= k,λ k has the sae gl(p) gl( n)-weight as the first is non-zero It is straightforward to is annihilated by the operators in (46) It follows fro is also a highest weight vector for gl( n) Our next theore follows by observing that the product of the highest weight vectors corresponding to the two Young diagras in (49) is non-zero and is a highest weight vector associated to the Young diagra λ Theore 42 Suppose that < p An irreducible highest weight odule Vp λ V n λ appearing in C[x,η] if and only if λ corresponds to a Young diagra λ of length not exceeding p and λ + n Furtherore a highest weight vector associated to such a λ is given by r t λ j, k,λ k k= j=r+ where r is defined by λ r > and λ r+ As a corollary we obtain the following useful cobinatorial identity, which will play an iportant role later on Corollary 4 Let x i l be even variables for i =,,p and l =,, with p q > Let η i and ηi 2 be odd variables for i =,,p Then x x 2 x p x 2 x 2 2 x p x x 2 x q 2 x 2 x 2 2 x q 2 x x2 xp det η η 2 η p x η η 2 η p det x 2 x q η η 2 η q = 0 η2 η2 2 η q 2 η η η 2 η p 2 η2 2 η q 2 Proof Consider,p and 2,q where p q By Theore 42 the product,p 2,q is a highest weight vector and thus is annihilated by all operators in (47) In particular applying the operator p ηj to η j,p 2,q and dividing by (q ) 2 we obtain the desired identity

19 HOWE DUALITY FOR LIE SUPERALGEBRAS 9 Reark 42 The above corollary gives rise to identities involving inors in even variables x s by looking at the coefficient of a fixed Grassann onoial involving η s We do not know of other direct proof of these identities It is well known (cf [OV]) that as a gl(p)-odule S i (C p ) Λ j (C p ), for j =,,p, decoposes into a direct su two irreducible coponents of highest weights iǫ + j k= ǫ k and iǫ + j+ k=2 ǫ k, respectively We can also get this result fro Theore 42 and in addition obtain explicit forulas of the highest weight vectors To do so consider S k (C p C ) = S k (C p p ) = i+j=k Si (C p 0 ) Λ j (C 0 p ) Now according to Theore 42 all the gl(p) gl( ) highest weight vectors inside S k (C p C ) are given by (x )i,j, where j =,,p and i + j = k These vectors are of course gl(p) highest weight vectors Now a siple calculation shows that applying the negative root vector of gl( ) to (x )i,j we obtain a non-zero ultiple of(x )i η η2 ηj, while applying the negative rootvector again gives zero Thus thevectors (x ) i,j and(x ) i ηη η 2 j exhaust allgl(p)highest weight vectors inside the space i+j=k Si (C p ) Λ j (C p ) To conclude the proofwe observe that the vectors (x )i,j+ and (x )i η η2 ηj lie in Si (C p ) Λ j (C p ), with weights iǫ + j k= ǫ k and iǫ + j+ k=2 ǫ k, respectively 42 Highest Weight Vectors: the Case p = In this section we shall find gl( q) gl( n) highest weight vectors that appear in the decoposition of C[x,ξ,η,y] By Theore 32 we need to construct a vector in C[x,ξ,η,y] annihilated by all operators in (44) and (45) of weight corresponding to the Young diagra λ (40) s }{{} r } {{ } t r where r in(q,n) (which we will always assue for this section) First we reark that if λ has length less than or equal to then it is easy to check that a forula for the corresponding highest weight vector is given by λ λ t So we ay assue that the length of λ exceeds

20 20 SHUN-JEN CHENG AND WEIQIANG WANG As before we cut up this Young diagra into two diagras, naely (4) s }{{} r } {{ } t r Denoting the second diagra by µ and v a highest weight vector associated to the first diagra, it is easy to see that the product v µ µ t r is a highest weight vector for the diagra λ Thus our task reduces to finding a highest weight vector associated to the first diagra in (4) We clai that a highest weight vector associated to the first diagra in (4) can be essentially obtained by taking a product of those associated to s diagras of rectangular shape (42) { }{{} λ +i and dividing by a suitable power of Indeed taking the product of two highest weight vectors for the Young diagra of shape (42) of widths λ +i and λ +i+ respectively produces a highest weight vector for the Young diagra { 2 }{{} λ } +i+ {{} λ +i }{{} λ +i+

21 HOWE DUALITY FOR LIE SUPERALGEBRAS 2 Once we verify that the product is non-zero, we ay divide it by ( ) λ +i+ and the resulting vector is a highest weight vector for the diagra { 2 }{{} λ } +i+ {{} λ +i Siilarly by taking a product of s such vectors associated to the s diagras of the for(42)ofwidthsλ +,,λ +s,respectively, anddividingby λ +2++λ +s we obtain a highest weight vector associated to the first diagra of (4) So our task now is to find a forula for a highest weight vector corresponding to a Young diagra of shape (42) (Fro the explicit forula it will follow iediately that a product of s vectors of such type is non-zero) Let us put r = λ +i in (42) We define the r r atrix Y and the atrix X as follows: y y 2 y r x y Y := 2 y2 2 y2 r x 2 x, X := x 2 x 2 2 x (43) 2 yr yr 2 yr r x x2 x Given ayoung diagraλofrectangular shape(see (42))consisting ofrows and r coluns, we consider arked diagras D obtained by arking the boxes in λ subject to the restriction that each colun can contain no ore than one arked box For exaple the following is a arked diagra in the case r = 6 and = 4: (44) X X To each such a arked diagra D we ay associate an r r atrix Y D obtained fro Y as follows For each arked box, say in the i-th colun and j-th row, we replace the i-th row of the atrix Y by the vector (ξ j,ξ 2 j,,ξ r j) The resulting atrix will be denoted by Y D For instance in our exaple (44) the atrix Y D X X X

22 22 SHUN-JEN CHENG AND WEIQIANG WANG is ξ ξ 2 ξ 3 ξ 4 ξ 5 ξ 6 y y 2 y 3 y 4 y 5 y 6 ξ3 Y D = ξ3 2 ξ3 3 ξ3 4 ξ3 5 ξ 6 3 ξ2 ξ2 2 ξ2 3 ξ2 4 ξ2 5 ξ2 6 ξ2 ξ2 2 ξ2 3 ξ2 4 ξ2 5 ξ2 6 ξ3 ξ3 2 ξ3 3 ξ3 4 ξ3 5 ξ3 6 To each such diagrad we ay also associate r atrices X i (i =,,r) obtained fro X as follows If the i-th colun of D is not arked, then X i = X If the i-th colun is arked at the j-th row, then X i is the atrix obtained fro X by replacing its j-th row by the vector (η i,η 2 i,,η i ) As an illustration, the diagra in our exaple (44) gives rise to the atrices η η 2 η 3 η 4 x X = x 2 x 2 2 x 3 2 x 4 x 2 x 3 x 4 2 x 3 x 2 3 x 3 3 x 4,X 2 = X,X 3 = x 2 x 2 2 x 3 2 x η x 4 x 2 4 x 3 4 x 4 3 η3 2 η3 3 η3 4 etc 4 x 4 x 2 4 x 3 4 x 4 4 Let D denote the total nuber of arked boxes in the diagra D Set D := detx D dety D, where by detx D we ean r i= detx i arranged in increasing order We can now state the following theore Theore 43 The vector D ( ) 2 D ( D ) D is a gl( q) gl( n) highest weight vector in C[x, ξ, η, y] corresponding to the rectangular Young diagra of length + and width r, where the suation over D ranges over all possible arked r diagras Proof We first show that D ( ) 2 D ( D ) D indeed has the correct weight First note that diagra (42) corresponds to the gl( q) gl( n)-weight i= rǫ i + i= r ǫ i + r δ j + r δ j Let D i, j =,,, denote the disjoint subsets of {,,r} defined by the condition that j D i if and only if D contains a arked box at its j-th colun and i-th row Put D = i= D i and D c = {,,r} D The weight of dety D is j D c δ j + i= D i ǫ i + r δ j Now detx D has weight r i= ǫ i i= D i ǫ i + j D δ j+r i= ǫ i Hence each dety D detx D has weight i= rǫ i + i= r ǫ i + r δ j + r δ j, as required

23 HOWE DUALITY FOR LIE SUPERALGEBRAS 23 Hence by Corollary 32 it is sufficient to show that (45) annihilates it, naely ( ) x j q s x j + ξ j (45) s s ξ j ( ( ) 2 D ( D ) D ) = 0, s D ( ) η j q s η j + y j (46) s s y j ( ( ) 2 D ( D ) D ) = 0, s D ( ) x j q η j ξ j (47) y j ( ( ) 2 D ( D ) D ) = 0 D We will first establish (45) Note that the siple root vector q ξj s ξ j s xj s x j s aps the vectors (x s,,x s ) to (x s,,x s ) and (ξ s,,ξq s ) to (ξs,,ξq s ) For a diagra D, let us denote by D s a diagra obtained s fro D by oving each arked box in its s-th row to the box above it in the s -st row Analogously we define D s a diagra obtained fro D by oving s each arked box in the s -st row to the box below it in the s-th row It is easy to check ( x j s x j s + q ξ j s ξ j s ) ( D ) = D s s detx D dety D s s D s s detx D s dety D s + Thus we have ( (48) x j s x j s + D =k q ξ j s ξ j s D s s ) ( D =k D ) = detx D dety D s s D s s detx D s s dety D But evidently D =k detx D s dety D = D =k detx DdetY D s s s equality (D s s thanks to the ) s = D Hence the right-hand side of (48) is zero, proving s (45) Our next step is to prove (46) In this case ηj s + q ηs j yj s aps ys j the vectors (η s,,η s ) to (η s,,η s ) and (y s,,y q s) to (y s,,y q s ) For a diagra D such that j D i and l D i we denote by D j l the diagra obtained fro D by reoving j fro D i and adding l to D i For a fixed k we

24 24 SHUN-JEN CHENG AND WEIQIANG WANG write D =k First observe that ( = η j s η j s D = D =k s,s D = 0 + D =k q (( s,s D y j s y j s η j s η j s ) + D + ( s D or s D D =k s,s D q y j s y j s ) D ) D (detx D ) This is because if s,s D i, for soe i, then the ter ( ) q + (detx D ) η j s η j s y j s y j s = detx s (i)detx s (i) = 0, ) dety D where in general X b (a) is the atrix obtained fro X by replacing the a-th row with the vector (ηb,,η b ) Now if s D i and s D l, then ( ) q + (detx D ) = detx s (l)detx s (i) η j s η j s y j s y j s Let D be the sae diagra as D, except s D l and s D i Then we have ( ) q + (detx D ) = detx s (i)detx s (l) η j s η j s y j s y j s Of course Y D = Y D and detx s (i) anticoutes with detx s (l), so ( ) q + (detx D dety D +detx D dety D ) = 0 η j s η j s y j s y j s Next we observe that if D is a diagra such that s,s D then ( ) q + (detx D dety D ) = 0, η j s η j s y j s y j s so that our task of proving (46) reduces to proving that

25 HOWE DUALITY FOR LIE SUPERALGEBRAS 25 (49) ( η j s η j s + q y j s y j s ) =0, s D s D detx D dety D + s D s D detx D dety D where the su is over all diagras D with D = k But the left-hand side of (49) is equal to detx Ds s dety D detx D dety Ds s = 0 s D,s D s D,s D To coplete theproofwe now need toverify (47) Theoddsiple rootvector xj q η j ξj has the effect of changing the vectors (η y,,η j ) to (x,,x ) and (y,,y) q to (ξ,,ξ) q If D is a diagra such that D j with j, then ( ) q D = 0 Thus ( x j η j (420) ( x j η j q ξ j y j q x j η j ξ j y j ) ) ( D ( ξ j y j ( ) 2 D ( D ) D ) = ( ) D, D 2 D ( D ) D + D, D ( ) 2 D ( D ) D ) For a diagra D with D (resp with D ) we denote by D + (resp D ) the diagra obtained fro D by adding to D (resp by reoving fro D) Then (420) becoes (42) D, D ( ) 2 D ( D ) detx D dety D D, D ( ) 2 D ( D )+ D detx D dety D + Setting D = D in the first su of (42) we ay rewrite (42) as ( ) 2 D ( D +) detx D dety D + D, D ( ) 2 D ( D )+ D detx D dety D + = 0 D, D

26 26 SHUN-JEN CHENG AND WEIQIANG WANG Wewilldenotethevector D ( ) 2 D ( D ) D byγ r Itisclearthataproduct of Γ r s (not necessary for the sae value r) reains nonzero Thus a highest weight vector for an arbitrary Young diagra of shape (40) can be constructed using such vectors, as described earlier in this section We suarize the results in this section in the following theore Theore 44 An irreducible representation V q λ V n λ of gl( q) gl( n) appears in the decoposition of C[x,ξ,η,y] if and only if λ is associated to a Young diagra with λ + in(q,n) Let t be the length of λ Then () if the length of λ does not exceed, then a highest weight vector is given by λ λ t (2) if the length of λ is +s, s, let 0 r in(q,n) be such that λ r > and λ r+, then a highest weight vector corresponding to λ is given by (422) ( ) (λ +2++λ +s ) Γ λ+ Γ λ+2 Γ λ+s λ r+ λ t We will obtain a ore explicit forula for (422) in the next section 43 Highest Weight Vectors: the General Case We consider now the general case Without loss of generality we ay assue p According to Theore 32 an irreducible gl(p q) gl( n)-odule Vp q λ Vλ n appears in the decoposition of C[x,ξ,η,y]if and only if λ + n and λ p+ q If the length of the Young diagra λ is less than or equal to, then λ λ t is the desired highest weight vector, where t is the length of λ If the length of λ exceeds, but is less than or equal to p, then we see that the vector given in Theore 42 provides a forula for the highest weight vector in this case as well Thus it reains to study the case when the length of λ exceeds p So we are to consider a Young diagra of the for: { (423) { p s }{{}}{{} r r r } {{ } t r In the case when q n, the nubers r,r satisfying the conditions 0 r q, 0 r n and r r are deterined as follows: λ r > p and λ r+ p,

27 HOWE DUALITY FOR LIE SUPERALGEBRAS 27 λ r > and λ r + In the case when q n, the nubers r,r satisfying 0 r r n are defined in exactly the sae way In either case we ay split (423) into three diagras: { { { (424) { p s }{{} r { p }{{} r r } {{ } t r We associate the vectors r+,λ r+ r,λ and r λ + r λ to the second and t third diagras in (424) respectively Below we will construct a highest weight vector for the first diagra in (424) Fro the forula it will be easy to see that the product of these three vectors is a highest weight vector for the Young diagra (423) The above discussion thus reduces our question to finding a gl(p q) gl( n)- highest weight vector corresponding to a Young diagra of type: { (425) { p s }{{} r where r in(q,n) The difficulty of finding a highest weight vector associated to such a diagra lies in the fact that the highest weight vectors in C[x,ξ,η,y] no longer for a seigroup in general We will now outline our strategy We need to find highest weight vectors in C[x, ξ, η, y], annihilated by (45) and having weight corresponding to the Young diagra in (425) Recall that x denotes the set of even variables {x i l i p, l } We introduce a new set of even variables x i l, i p, < l p, and denote by x = {x i l i,l p}, the union of our old set with this new set We shall construct certain vectors in C[x,ξ,η,y], which can been shown, using our results in the previous section, that they are annihilated by (45) A

28 28 SHUN-JEN CHENG AND WEIQIANG WANG priori these vectors lie in C[x,ξ,η,y] so that such vectors do not ake sense However, we will show that these vectors, after dividing by a suitable power of the deterinant of the p p atrix (x i l ), are in fact independent of the variables {x i l i p,+ l p}, and thus lie in C[x,ξ,η,y] Consider a arked diagra having rows and r coluns with at ost r arked boxes subject to the constraint that at ost one arked box appears on each colun To such a diagra D we have associated in the previous section a atrix Y D, which is obtained fro the r r atrix Y (see (43)) by suitably replacing its rows To each such diagra we now associate p p atrices X i, for i r, siilar to the ones in the previous section: Let X denote the p p atrix: x x 2 x p x 2 x 2 2 x p 2 X := x x 2 x p (426) x + x 2 + x p + x p x 2 x p p If the i-th colun of D is not arked, then X i = X If the i-th colun is arked at the j-th row, then X i is the atrix obtained fro X by replacing its j-th row by the vector (ηi,η2 i,,ηp i ) Note that none of its + -st to p-th rows are replaced As before we define detx D := r i= detx i (arranged in increasing order) and define Γ r = D ( ) 2 D (D ) detx D dety D The proof of Theore 43 carries over word for word to prove Proposition 42 The vector Γ r is annihilated by (45) In the case when p = a highest weight vector for the first Young diagra in (4) is obtained essentially by taking product of highest weight vectors for the Young diagra of type (42) In the case when p > one can verify that this procedure cannot be carried out, as such products are necessarily zero Hence in this case we will need to find a general forula for the Young diagra λ of shape (425) To do so we will first consider atrices that will play the sae role in the case of p as the X i s play in the case p = As we will generalize diagras to include those that allow ore than one arked box on each colun, we are led to study cobinatorial identities of deterinants of atrices obtained fro X that have ore than one row replaced by an odd vector This leads us to define the following types of deterinants Let X bethe p p atrixasin (426)andlet (ηj,,ηp j ) beanoddvector Let I be a subset of {,,p} and define X j (I) to be the atrix obtained fro X by replacing its i-th row by the vector (ηj,,η p j ), for all i I If I = {i,,i l }, we write X j (I) = X j (i,,i l ) as well