The Weyl Character Formula, the Half-Spin Representations, and Equal Rank Subgroups
Total Page:16
File Type:pdf, Size:1020Kb
Proc. Natl. Acad. Sci. USA Vol. 95, pp. 8441–8442, July 1998 Mathematics The Weyl character formula, the half-spin representations, and equal rank subgroups Benedict Gross*, Bertram Kostant†, Pierre Ramond‡, and Shlomo Sternberg* *Mathematics Department, Harvard University, Cambridge, MA 02138; †Mathematics Department, Massachussetts Institute of Technology, Cambridge, MA 02139; and ‡Physics Department, University of Florida, Gainesville, FL 32611 Contributed by Shlomo Sternberg, May 18, 1998 ABSTRACT Let B be a reductive Lie subalgebra of a restriction. For each c C, let semi-simple Lie algebra F of the same rank both over the c • λ x= cλ + ρ −ρ : complex numbers. To each finite dimensional irreducible F B representation Vl of F we assign a multiplet of irreducible Then c • λ is a dominant weight for B.WeletUc • λ denote representations of B with m elements in each multiplet, the irreducible representation of B with highest weight c • λ. where m is the index of the Weyl group of B in the Weyl Finally, let P denote the orthogonal complement of B in F group of F. We obtain a generalization of the Weyl character (under the Killing form of F) so the adjoint representation of formula; our formula gives the character of Vl as a quotient B on F gives an embedding of B into the orthogonal algebra whose numerator is an alternating sum of the characters in oP. Because P is even dimensional, oP has two half-spin 5 the multiplet associated to Vl and whose denominator is an representations. Let S denote these half-spin representations alternating sum of the characters of the multiplet associated considered as B modules. We claim that X to the trivial representation of F. + − Vλ ⊗ S − Vλ ⊗ S = sgncUc • λ [1] cC Spin(9) is the light cone little group of physical theories in 10+1 dimensions and can also be viewed as the little group of (for the appropriate choice of 5). Eq. 1 is to be regarded as massive representations in 9 + 1 dimensions. Computations in an equality in the ring of virtual representations of B. Recall that m denotes the index of W in W . The elements N = 1 supergravity in 10 + 1 dimensions led to the empirical B F c•λ as c ranges over c C are distinct and hence any λ 7 discovery of families of triples of irreducible representations F of Spin(9) with several remarkable properties: the dimension defines an m-multiplet c • λ;c C in 7B. This generalizes of one of the three is equal to the sum of the dimensions of the triplets that arise in the case where B = B4 and F = F4. the other two, and the second order Casimir together with The multiplets may be abstractly characterized as follows; by several of the higher order Casimirs take on the same value using the Harish–Chandra isomorphism, there is a natural in- in all three representations (T. Pengpan and P. Ramond, un- jective homomorphism η x ZF → ZB where ZF and ZB are, respectively, the centers of the enveloping algebras of F and published data). The purpose of this paper is to explain this F ∗ phenomenon and place it in a general setting. In so doing, we B.LetZB ZB be the image of η.Let7B be the set of all dominant weights ν 7B such that ν + ρB is a regular obtain a formula relating virtual representations of Lie groups ∗ of the same rank that reduces to the Weyl character formula integral weight for F. Define an equivalence relation in 7B when the smaller group is a maximal torus. by putting µ 7 ν if the infinitesmal characters of Uµ and Uν F So let B F be two Lie algebras over the complex numbers agree on ZB . with F semi-simple and B reductive and having the same rank. Proposition. The equivalence classes all have cardinality m Choose a common Cartan subalgebra H with the roots of B and each such class consists of the multiplets appearing on the being a subset of the roots of F. Thus the Weyl group W B right side of 1 for a suitable λ. of B is a subgroup of the Weyl group W F of F. Choose the Note that if B is simple, as in the case B = B4, then the F positive roots consistently. Then the positive Weyl chamber quadratic Casimir is in ZB and hence takes the same values for the representations whose highest weights are in a multiplet. 7F of F is contained in the positive Weyl chamber 7B of B. As far as we know, the formula 1 is not in the literature, Let C W F be those elements in W F that map 7F into although Wilfred Schmid informs us that he was aware of the 7B. So the cardinality of C is the index of W B in W F, which we denote by m and result. Eq. 1 may be rewritten as in 6 below where it takes the [ form of a branching law. The proof of 1 combines the use of the section C with Weyl’s character formula. A recent citation 7B = w7F ; wC for the idea of using a section of Weyl groups in combination with the character formula to obtain a branching law appears while in Section 8.3.4 in ref. 1. There the branching is for the pair C ;C . W F=W B·C: n n+1 Because the two representations occurring on the left hand [In the case of Spin(9), we take B = B and F = F in which side of 1 have the same dimension, we conclude that 4 4 X case C consists of three elements.] sgnc dimU =0: [2] We let ρ denote one-half the sum of the positive roots of c • λ F cC F and ρB denote one-half the sum of the positive roots of B. Let λ be a dominant weight of F.LetV be the corresponding To prove 1 we examine the Weyl character formula for F, λ which says that the character of V is given by irreducible representation of F considered as a B-module by λ F Aλ+ρ chV = F ; The publication costs of this article were defrayed in part by page charge λ AF payment. This article must therefore be hereby marked “advertisement”in ρ accordance with 18 U.S.C. §1734 solely to indicate this fact. where X F wλ+ρ © 1998 by The National Academy of Sciences 0027-8424/98/958441-2$2.00/0 A = sgnwe F λ+ρF PNAS is available online at http://www.pnas.org. wW F 8441 Downloaded by guest on October 1, 2021 8442 Mathematics: Gross et al. Proc. Natl. Acad. Sci. USA 95 (1998) and where the Weyl denominator has the two expressions If we take the subgroup B to be the maximal torus itself, X Y Eqs. 1, 4, 5,or6 are just restatements of the Weyl character F wρ φ − φ A = sgnwe F = e 2 − e 2 ; formula. If we take B = B and F = F , there are exactly ρF 4 4 wW F three terms on the right of 1, because the Weyl group of B4 has index three in the Weyl group of F4. Thus, in this case, where the product is over all positive roots of F. Eq. 2 says that the dimension of the representation occurring F We do the summation that occurs in Aλ+ρ as a double sum with a minus sign on the right of 2 is equal to the sum of the [over W F=W B·C]toget F dimensions of the other two. In the case B = D8 and F = E8, X there are 135 terms on the right of 1. F B Aλ+ρ = sgncAc • λ+ρ ; [3] F B If we take B = Dn and F = Bn, we obtain a formula for cC the character of a representation of o2n + 1 in terms of B characters of o2n; as the index of the Weyl groups is two, the where Ac • λ+ρ is the numerator of the Weyl character for- B right hand side of 4 contains two terms in the numerator and mula of B associated to Uc • λ. We may apply this to the Weyl denominator as well, taking λ = 0. This gives in the denominator. Explicitly, if we make the usual choice of Cartan subalgebra and positive roots, 5 1 < i + j < n P i j B for D and these together with ; 1 < i < n for B , the cC sgncAc • λ+ρ n i n chV = P B : [4] λ B interior of positive Weyl chamber 7F for Bn consists of all cC sgncAc • 0+ρ B x =x1;:::;xn=x11 +···+xnn with We may also rewrite the product expression for the Weyl x , x , ···, x , 0; denominator for F as follows; write the product over all posi- 1 2 n tive roots of F as the product over all positive roots of B times whereas the interior of positive Weyl chamber 7B of Dn con- the product over all positive missing roots: sists of all x satisfying AF = AB 1 ρF ρB x1 , x2 , ···, xn−1 , xn: with Thus C consists of the identity e and the reflection s, which Y ψ − ψ changes the sign of the last coordinate. Here 1 x= e 2 − e 2 ; 8+F/B 2n − 1 2n − 3 1 ρF = ; ; ···; where 8+F/B denotes the set of positive roots of F that are 2 2 2 not roots of B.