Knowledge

Weyl character formula

Source 📝

3616: 4067: 3025: 4714:. (As usual, ρ is half the sum of the positive roots and the products run over positive roots α.) The specialization is not completely trivial, because both the numerator and denominator of the Weyl character formula vanish to high order at the identity element, so it is necessary to take a limit of the trace of an element tending to the identity, using a version of 3264: 5542: 1021: 3814: 3204: 5840: 1722:
The character is itself a large sum of exponentials. In this last expression, we then multiply the character by an alternating sum of exponentials—which seemingly will result in an even larger sum of exponentials. The surprising part of the character formula is that when we compute this product, only
5333:
In general, the division process can be accomplished by computing a formal reciprocal of the Weyl denominator and then multiplying the numerator in the Weyl character formula by this formal reciprocal. The result gives the character as a finite sum of exponentials. The coefficients of this expansion
4479: 3825: 2783: 1545: 6796: 5106:
The Weyl character formula gives the character of each representation as a quotient, where the numerator and denominator are each a finite linear combination of exponentials. While this formula in principle determines the character, it is not especially obvious how one can compute this quotient
3611:{\displaystyle \mathrm {X} \left({\begin{pmatrix}e^{i\theta }&0\\0&e^{-i\theta }\end{pmatrix}}\right)(e^{i\theta }-e^{-i\theta })=\left(e^{i(m+1)\theta }+e^{i(m-1)\theta }+\cdots +e^{-i(m-1)\theta }\right)-\left(e^{i(m-1)\theta }+\cdots +e^{-i(m-1)\theta }+e^{-i(m+1)\theta }\right).} 2669: 1717: 4660: 2678:
of the character formula in the compact group setting is completely different from the algebraic proof of the character formula in the setting of semisimple Lie algebras. In the compact group setting, it is common to use "real roots" and "real weights", which differ by a factor of
6008: 4294: 6410: 5361: 1723:
a small number of terms actually remain. Many more terms than this occur at least once in the product of the character and the Weyl denominator, but most of these terms cancel out to zero. The only terms that survive are the terms that occur only once, namely
6277: 5349:'s formula is a recursive formula for the weight multiplicities that gives the same answer as the Kostant multiplicity formula, but is sometimes easier to use for calculations as there can be far fewer terms to sum. The formula is based on use of the 825: 3627: 3039: 5616: 3030:(Both numerator and denominator in the character formula have two terms.) It is instructive to verify this formula directly in this case, so that we can observe the cancellation phenomenon implicit in the Weyl character formula. 2290: 4062:{\displaystyle \mathrm {X} \left({\begin{pmatrix}e^{i\theta }&0\\0&e^{-i\theta }\end{pmatrix}}\right)={\frac {e^{i(m+1)\theta }-e^{-i(m+1)\theta }}{e^{i\theta }-e^{-i\theta }}}={\frac {\sin((m+1)\theta )}{\sin \theta }}.} 3020:{\displaystyle \mathrm {X} \left({\begin{pmatrix}e^{i\theta }&0\\0&e^{-i\theta }\end{pmatrix}}\right)={\frac {e^{i(m+1)\theta }-e^{-i(m+1)\theta }}{e^{i\theta }-e^{-i\theta }}}={\frac {\sin((m+1)\theta )}{\sin \theta }}.} 74:, the proof of the character formula is a key step in proving that every dominant integral element actually arises as the highest weight of some irreducible representation. Important consequences of the character formula are the 5034: 4305: 6501: 6294:
Peterson gave a recursion formula for the multiplicities mult(β) of the roots β of a symmetrizable (generalized) Kac–Moody algebra, which is equivalent to the Weyl–Kac denominator formula, but easier to use for calculations:
1382: 469: 548: 2049: 681: 6631: 2504: 1557: 4533: 5264: 5855: 2412: 4129: 1267: 6094: 5334:
are the dimensions of the weight spaces, that is, the multiplicities of the weights. We thus obtain from the Weyl character formula a formula for the multiplicities of the weights, known as the
6303: 5537:{\displaystyle (\|\Lambda +\rho \|^{2}-\|\lambda +\rho \|^{2})m_{\Lambda }(\lambda )=2\sum _{\alpha \in \Delta ^{+}}\sum _{j\geq 1}(\lambda +j\alpha ,\alpha )m_{\Lambda }(\lambda +j\alpha )} 5328: 5166: 4823: 5107:
explicitly as a finite sum of exponentials. Already In the SU(2) case described above, it is not immediately obvious how to go from the Weyl character formula, which gives the character as
817: 3256: 1796: 1844: 1769: 6126: 295:
The character formula can be expressed in terms of representations of complex semisimple Lie algebras or in terms of the (essentially equivalent) representation theory of compact
1016:{\displaystyle \operatorname {ch} _{\pi }(H)={\frac {\sum _{w\in W}\varepsilon (w)e^{w(\lambda +\rho )(H)}}{\prod _{\alpha \in \Delta ^{+}}(e^{\alpha (H)/2}-e^{-\alpha (H)/2})}}} 5090: 6863: 6834: 3809:{\displaystyle \mathrm {X} \left({\begin{pmatrix}e^{i\theta }&0\\0&e^{-i\theta }\end{pmatrix}}\right)(e^{i\theta }-e^{-i\theta })=e^{i(m+1)\theta }-e^{-i(m+1)\theta }} 4109: 2456: 2338: 2185: 1312: 1210: 404: 376: 352: 6589: 4880: 6891: 4692: 2121: 1080: 6911: 6562: 4712: 1341: 1155: 755: 4762: 3199:{\displaystyle \mathrm {X} \left({\begin{pmatrix}e^{i\theta }&0\\0&e^{-i\theta }\end{pmatrix}}\right)=e^{im\theta }+e^{i(m-2)\theta }+\cdots +e^{-im\theta }.} 1107: 160: 186: 6945: 5835:{\displaystyle \prod _{m=1}^{\infty }\left(1-x^{2m}\right)\left(1-x^{2m-1}y\right)\left(1-x^{2m-1}y^{-1}\right)=\sum _{n=-\infty }^{\infty }(-1)^{n}x^{n^{2}}y^{n}.} 1129: 277: 210: 103: 6613: 6535: 2476: 2432: 2314: 1972: 1932: 775: 728: 708: 597: 424: 325: 250: 230: 123: 4742: 4520: 2755: 577: 2775: 2717: 2697: 2496: 2358: 2205: 2161: 2141: 2096: 2072: 1952: 1912: 1892: 1872: 1365: 1230: 1179: 1047: 4474:{\displaystyle \sum _{\sigma \in S_{n}}\operatorname {sgn}(\sigma )\,X_{1}^{\sigma (1)-1}\cdots X_{n}^{\sigma (n)-1}=\prod _{1\leq i<j\leq n}(X_{j}-X_{i})} 2213: 4888: 1540:{\displaystyle \operatorname {ch} _{\pi }(H)={\frac {\sum _{w\in W}\varepsilon (w)e^{w(\lambda +\rho )(H)}}{\sum _{w\in W}\varepsilon (w)e^{w(\rho )(H)}}}} 6425: 429: 4882:
of non-negative integers. In this case, there are three positive roots and it is not hard to verify that the dimension formula takes the explicit form
477: 6791:{\displaystyle \Theta _{\pi }|_{H'}={\sum _{w\in W/W_{\lambda }}a_{w}e^{w\lambda } \over e^{\rho }\prod _{\alpha \in \Delta ^{+}}(1-e^{-\alpha })}.} 7423: 1980: 605: 2664:{\displaystyle \mathrm {X} (e^{H})={\frac {\sum _{w\in W}\varepsilon (w)e^{w(\lambda +\rho )(H)}}{\sum _{w\in W}\varepsilon (w)e^{w(\rho )(H)}}}.} 1712:{\displaystyle \operatorname {ch} _{\pi }(H){\sum _{w\in W}\varepsilon (w)e^{w(\rho )(H)}}=\sum _{w\in W}\varepsilon (w)e^{w(\lambda +\rho )(H)}.} 7427: 4655:{\displaystyle \dim(V_{\lambda })={\prod _{\alpha \in \Delta ^{+}}(\lambda +\rho ,\alpha ) \over \prod _{\alpha \in \Delta ^{+}}(\rho ,\alpha )}} 70:). There is a closely related formula for the character of an irreducible representation of a semisimple Lie algebra. In Weyl's approach to the 5174: 7446: 6103:
of the imaginary simple roots which are pairwise orthogonal and orthogonal to the highest weight λ, and |I| is the cardinality of I and Σ
5593:. Similarly there is a denominator identity for Kac–Moody algebras, which in the case of the affine Lie algebras is equivalent to the 6003:{\displaystyle {\sum _{w\in W}(-1)^{\ell (w)}w(e^{\lambda +\rho }S) \over e^{\rho }\prod _{\alpha \in \Delta ^{+}}(1-e^{-\alpha })}.} 71: 4289:{\displaystyle {\sum _{w\in W}\varepsilon (w)e^{w(\rho )(H)}=\prod _{\alpha \in \Delta ^{+}}(e^{\alpha (H)/2}-e^{-\alpha (H)/2})}.} 4111:
and that preceding argument is a small variant of the standard derivation of the formula for the sum of a finite geometric series.
17: 2363: 4833: 3621:
We can now easily verify that most of the terms cancel between the two term on the right-hand side above, leaving us with only
4119:
In the special case of the trivial 1-dimensional representation the character is 1, so the Weyl character formula becomes the
7218: 1238: 6023: 6405:{\displaystyle (\beta ,\beta -2\rho )c_{\beta }=\sum _{\gamma +\delta =\beta }(\gamma ,\delta )c_{\gamma }c_{\delta }\,} 7192: 7235: 5846: 5272: 5110: 4767: 783: 7344:(1926b), "Theorie der Darstellung kontinuierlicher halb-einfacher Gruppen durch lineare Transformationen. III", 7242: 3212: 3033:
Since the representations are known very explicitly, the character of the representation can be written down as
1774: 7399: 7303:(1926a), "Theorie der Darstellung kontinuierlicher halb-einfacher Gruppen durch lineare Transformationen. II", 7176: 2728: 688: 5338:. An alternative formula, that is more computationally tractable in some cases, is given in the next section. 7262:(1925), "Theorie der Darstellung kontinuierlicher halb-einfacher Gruppen durch lineare Transformationen. I", 7252: 6272:{\displaystyle j(p)-j(q)=\left({1 \over p}-{1 \over q}\right)\prod _{n,m=1}^{\infty }(1-p^{n}q^{m})^{c_{nm}}} 5582: 1801: 1726: 2078:
asserts that the characters form an orthonormal basis for the space of square-integrable class functions on
6513:
Harish-Chandra showed that Weyl's character formula admits a generalization to representations of a real,
7247: 6980: 6970: 5101: 5042: 79: 6839: 6810: 7346: 7305: 7264: 6538: 6285: 4075: 2437: 2319: 2166: 1272: 1186: 385: 357: 333: 6567: 4715: 2699:
from the roots and weights used here. Thus, the formula in the compact group setting has factors of
6975: 6592: 4839: 6869: 4670: 2104: 6542: 4485: 1058: 5092:
is the standard representation and indeed the dimension formula gives the value 3 in this case.
1376:
Using the Weyl denominator formula (described below), the character formula may be rewritten as
2075: 1344: 328: 189: 188:. The irreducible representations in this case are all finite-dimensional (this is part of the 75: 6896: 6547: 4697: 1317: 1140: 733: 5607: 5586: 5330:
as the sum of a finite geometric series, but in general we need a more systematic procedure.
4747: 1092: 136: 39: 165: 6923: 5845:
The character formula can also be extended to integrable highest weight representations of
5595: 1114: 262: 195: 192:); so the notion of trace is the usual one from linear algebra. Knowledge of the character 88: 6598: 6520: 2461: 2417: 2299: 1957: 1917: 760: 713: 693: 582: 409: 310: 235: 215: 108: 8: 6965: 6115: 4721: 4499: 2734: 1347:, defined to be the minimal number of reflections with respect to simple roots such that 556: 1798:
and the highest weight from the Weyl denominator) and things in the Weyl-group orbit of
7417: 7371: 7330: 7289: 6947:
are still not well understood. Results on these coefficients may be found in papers of
2760: 2702: 2682: 2481: 2343: 2285:{\displaystyle \operatorname {trace} (\Pi (e^{H}))=\operatorname {trace} (e^{\pi (H)})} 2190: 2146: 2126: 2081: 2057: 1937: 1897: 1877: 1857: 1350: 1215: 1164: 1032: 7405: 7395: 7375: 7363: 7334: 7322: 7293: 7281: 7231: 7214: 7203: 7188: 7172: 7075:
Section 10.8 in the Lie algebra setting and Section 12.4 in the compact group setting
6616: 5029:{\displaystyle \dim(V_{m_{1},m_{2}})={\frac {1}{2}}(m_{1}+1)(m_{2}+1)(m_{1}+m_{2}+2)} 1233: 379: 130: 47: 6496:{\displaystyle c_{\beta }=\sum _{n\geq 1}{\operatorname {mult} (\beta /n) \over n}.} 777:. (The preceding expression is sometimes taken as the definition of the character.) 7355: 7314: 7273: 6960: 5346: 43: 464:{\displaystyle \operatorname {ch} _{\pi }:{\mathfrak {h}}\rightarrow \mathbb {C} } 7210: 6948: 6620: 6514: 5350: 5269:
In this case, it is perhaps not terribly difficult to recognize the expression
4718:. In the SU(2) case described above, for example, we can recover the dimension 2777:
to be the diagonal subgroup of SU(2), the character formula in this case reads
2458:, as described in the previous subsection. The restriction of the character of 1158: 543:{\displaystyle \operatorname {ch} _{\pi }(H)=\operatorname {tr} (e^{\pi (H)}).} 256: 51: 7440: 7367: 7326: 7285: 2044:{\displaystyle \mathrm {X} (x)=\operatorname {trace} (\Pi (x)),\quad x\in K.} 1083: 676:{\displaystyle \operatorname {ch} _{\pi }(H)=\sum _{\mu }m_{\mu }e^{\mu (H)}} 7409: 7341: 7300: 7259: 5563:(λ) is the multiplicity of the weight λ in the irreducible representation V 55: 4744:
of the representation by using L'Hôpital's rule to evaluate the limit as
7187:, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, 7185:
Lie groups, Lie algebras, and representations: An elementary introduction
1087: 284: 31: 7359: 7318: 7277: 5353:
and its derivation is independent of the character formula. It states
5259:{\displaystyle e^{im\theta }+e^{i(m-2)\theta }+\cdots +e^{-im\theta }.} 1050: 4828:
We may consider as an example the complex semisimple Lie algebra sl(3,
6017:
is a correction term given in terms of the imaginary simple roots by
296: 327:
be an irreducible, finite-dimensional representation of a complex
4299:
For special unitary groups, this is equivalent to the expression
599:. By elementary considerations, the character may be computed as 5168:
back to the formula for the character as a sum of exponentials:
4832:), or equivalently the compact group SU(3). In that case, the 2498:
is then given by the same formula as in the Lie algebra case:
2407:{\displaystyle H\mapsto \operatorname {trace} (\Pi (e^{H}))} 2123:
is a class function, it is determined by its restriction to
3258:. Multiplying the character by the Weyl denominator gives 5599:. In the simplest case of the affine Lie algebra of type 4667:
for the dimension of a finite dimensional representation
2414:
is simply the character of the associated representation
3209:
The Weyl denominator, meanwhile, is simply the function
1131:
is the half-sum of the positive roots, often called the
2054:
The character is easily seen to be a class function on
7389: 7205:
Introduction to Lie Algebras and Representation Theory
6623:
of G and H' is the set of regular elements in H, then
4072:
The character in this case is a geometric series with
3843: 3645: 3282: 3057: 2801: 1262:{\displaystyle {\mathfrak {h}}\subset {\mathfrak {g}}} 290: 6926: 6899: 6872: 6842: 6813: 6634: 6601: 6570: 6550: 6523: 6428: 6306: 6129: 6026: 5858: 5619: 5581:
The Weyl character formula also holds for integrable
5364: 5275: 5177: 5113: 5045: 4891: 4842: 4770: 4750: 4724: 4700: 4673: 4536: 4502: 4308: 4132: 4078: 3828: 3630: 3267: 3215: 3042: 2786: 2763: 2737: 2705: 2685: 2507: 2484: 2464: 2440: 2420: 2366: 2346: 2322: 2302: 2216: 2193: 2169: 2149: 2129: 2107: 2084: 2060: 1983: 1960: 1940: 1920: 1900: 1880: 1860: 1804: 1777: 1771:(which is obtained by taking the highest weight from 1729: 1560: 1385: 1353: 1320: 1275: 1241: 1218: 1189: 1167: 1143: 1117: 1095: 1061: 1035: 828: 786: 763: 736: 716: 696: 608: 585: 559: 480: 432: 412: 388: 360: 336: 313: 265: 238: 218: 198: 168: 139: 111: 91: 72:
representation theory of connected compact Lie groups
2316:
is the associated representation of the Lie algebra
6508: 6089:{\displaystyle S=\sum _{I}(-1)^{|I|}e^{\Sigma I}\,} 7240: 7202: 6951:, Adams, Schmid, and Schmid-Vilonen among others. 6939: 6905: 6885: 6857: 6828: 6790: 6607: 6583: 6556: 6529: 6495: 6404: 6271: 6088: 6002: 5834: 5536: 5322: 5258: 5160: 5084: 5028: 4874: 4817: 4756: 4736: 4706: 4686: 4654: 4514: 4473: 4288: 4103: 4061: 3808: 3610: 3250: 3198: 3019: 2769: 2749: 2711: 2691: 2663: 2490: 2470: 2450: 2426: 2406: 2352: 2332: 2308: 2284: 2199: 2179: 2155: 2135: 2115: 2090: 2066: 2043: 1966: 1946: 1926: 1906: 1886: 1866: 1838: 1790: 1763: 1711: 1539: 1359: 1335: 1306: 1261: 1224: 1204: 1173: 1149: 1123: 1101: 1074: 1041: 1015: 811: 769: 749: 722: 702: 675: 591: 571: 542: 463: 418: 398: 370: 346: 319: 302: 271: 244: 224: 204: 180: 154: 117: 97: 7394:. Harris, Joe, 1951-. New York: Springer-Verlag. 7438: 6417:where the sum is over positive roots γ, δ, and 5323:{\displaystyle \sin((m+1)\theta )/\sin \theta } 5161:{\displaystyle \sin((m+1)\theta )/\sin \theta } 5095: 4818:{\displaystyle \sin((m+1)\theta )/\sin \theta } 5576: 2727:In the case of the group SU(2), consider the 812:{\displaystyle \operatorname {ch} _{\pi }(H)} 279:, in terms of other objects constructed from 7422:: CS1 maint: multiple names: authors list ( 5406: 5393: 5381: 5368: 7392:Representation theory : a first course 6099:where the sum runs over all finite subsets 5572:The first sum is over all positive roots α. 4114: 7426:) CS1 maint: numeric names: authors list ( 6917:and the rest of the notation is as above. 3251:{\displaystyle e^{i\theta }-e^{-i\theta }} 1874:be a compact, connected Lie group and let 1791:{\displaystyle \operatorname {ch} _{\pi }} 7354:, Springer Berlin / Heidelberg: 377–395, 7313:, Springer Berlin / Heidelberg: 328–376, 7272:, Springer Berlin / Heidelberg: 271–309, 7200: 7156: 6849: 6820: 6401: 6085: 5065: 4491: 4347: 457: 7167:Fulton, William and Harris, Joe (1991). 6615:; it is given by integration against an 5341: 1367:equals the product of those reflections. 1839:{\displaystyle e^{(\lambda +\rho )(H)}} 1764:{\displaystyle e^{(\lambda +\rho )(H)}} 14: 7439: 7169:Representation theory: a first course. 7340: 7299: 4522:, Weyl's character formula gives the 1849: 67: 63: 7258: 7182: 7144: 7132: 7120: 7108: 7096: 7084: 7072: 7059: 7047: 7035: 7023: 7011: 6999: 1934:be an irreducible representation of 1212:is the determinant of the action of 59: 7447:Representation theory of Lie groups 2443: 2325: 2172: 1254: 1244: 448: 391: 363: 339: 291:Statement of Weyl character formula 162:, as a function of a group element 24: 6746: 6636: 6572: 6541:of a real, reductive group G with 6215: 6077: 5958: 5778: 5773: 5636: 5511: 5455: 5423: 5371: 4623: 4577: 4205: 3830: 3632: 3269: 3044: 2788: 2509: 2465: 2382: 2226: 2109: 2010: 1985: 1961: 1954:. Then we define the character of 1921: 1161:of the irreducible representation 1096: 1063: 933: 780:The character formula states that 687:where the sum ranges over all the 46:of irreducible representations of 25: 7458: 7228:Infinite dimensional Lie algebras 5849:, when the character is given by 5085:{\displaystyle m_{1}=1,\,m_{2}=0} 2722: 232:gives a lot of information about 6858:{\displaystyle G_{\mathbb {C} }} 6829:{\displaystyle H_{\mathbb {C} }} 6509:Harish-Chandra Character Formula 6114:The denominator formula for the 1345:length of the Weyl group element 7390:Fulton, William, 1939- (1991). 7383: 7150: 7138: 7126: 7114: 7102: 6807:W is the complex Weyl group of 4496:By evaluating the character at 4104:{\displaystyle R=e^{2i\theta }} 2451:{\displaystyle {\mathfrak {k}}} 2333:{\displaystyle {\mathfrak {k}}} 2180:{\displaystyle {\mathfrak {t}}} 2028: 1307:{\displaystyle (-1)^{\ell (w)}} 1205:{\displaystyle \varepsilon (w)} 399:{\displaystyle {\mathfrak {g}}} 371:{\displaystyle {\mathfrak {h}}} 347:{\displaystyle {\mathfrak {g}}} 303:Complex semisimple Lie algebras 7090: 7078: 7065: 7053: 7041: 7029: 7017: 7005: 6993: 6779: 6757: 6647: 6619:on the regular set. If H is a 6584:{\displaystyle \Theta _{\pi }} 6481: 6467: 6378: 6366: 6328: 6307: 6250: 6220: 6154: 6148: 6139: 6133: 6107:is the sum of the elements of 6066: 6058: 6053: 6043: 5991: 5969: 5931: 5909: 5901: 5895: 5888: 5878: 5847:generalized Kac–Moody algebras 5793: 5783: 5583:highest-weight representations 5531: 5516: 5503: 5482: 5434: 5428: 5415: 5365: 5303: 5297: 5285: 5282: 5217: 5205: 5141: 5135: 5123: 5120: 5023: 4991: 4988: 4969: 4966: 4947: 4931: 4898: 4869: 4843: 4798: 4792: 4780: 4777: 4646: 4634: 4606: 4588: 4556: 4543: 4468: 4442: 4400: 4394: 4367: 4361: 4344: 4338: 4279: 4266: 4260: 4233: 4227: 4216: 4185: 4179: 4176: 4170: 4159: 4153: 4039: 4033: 4021: 4018: 3961: 3949: 3927: 3915: 3798: 3786: 3764: 3752: 3738: 3703: 3592: 3580: 3558: 3546: 3518: 3506: 3477: 3465: 3437: 3425: 3406: 3394: 3375: 3340: 3157: 3145: 2997: 2991: 2979: 2976: 2919: 2907: 2885: 2873: 2650: 2644: 2641: 2635: 2624: 2618: 2592: 2586: 2583: 2571: 2560: 2554: 2526: 2513: 2401: 2398: 2385: 2379: 2370: 2279: 2274: 2268: 2257: 2245: 2242: 2229: 2223: 2022: 2019: 2013: 2007: 1995: 1989: 1831: 1825: 1822: 1810: 1756: 1750: 1747: 1735: 1701: 1695: 1692: 1680: 1669: 1663: 1635: 1629: 1626: 1620: 1609: 1603: 1580: 1574: 1529: 1523: 1520: 1514: 1503: 1497: 1471: 1465: 1462: 1450: 1439: 1433: 1405: 1399: 1330: 1324: 1299: 1293: 1286: 1276: 1199: 1193: 1007: 994: 988: 961: 955: 944: 914: 908: 905: 893: 882: 876: 848: 842: 806: 800: 668: 662: 628: 622: 553:The value of the character at 534: 529: 523: 512: 500: 494: 453: 149: 143: 13: 1: 6986: 4875:{\displaystyle (m_{1},m_{2})} 1371: 85:By definition, the character 7243:"Weyl–Kac character formula" 7241:Duncan J. Melville (2001) , 7201:Humphreys, James E. (1972), 6886:{\displaystyle W_{\lambda }} 5336:Kostant multiplicity formula 5096:Kostant multiplicity formula 4687:{\displaystyle V_{\lambda }} 2719:in the exponent throughout. 2116:{\displaystyle \mathrm {X} } 80:Kostant multiplicity formula 7: 7248:Encyclopedia of Mathematics 7171:New York: Springer-Verlag. 6954: 1075:{\displaystyle \Delta ^{+}} 10: 7463: 6981:Kirillov character formula 6971:Demazure character formula 5591:Weyl–Kac character formula 5589:, when it is known as the 5577:Weyl–Kac character formula 5102:Kostant partition function 5099: 2729:irreducible representation 7347:Mathematische Zeitschrift 7306:Mathematische Zeitschrift 7265:Mathematische Zeitschrift 7111:Exercise 9 in Chapter 10. 6539:admissible representation 6286:elliptic modular function 6976:Weyl integration formula 6906:{\displaystyle \lambda } 6593:Harish-Chandra character 6557:{\displaystyle \lambda } 4707:{\displaystyle \lambda } 4121:Weyl denominator formula 4115:Weyl denominator formula 1336:{\displaystyle \ell (w)} 1150:{\displaystyle \lambda } 819:may also be computed as 750:{\displaystyle m_{\mu }} 18:Weyl denominator formula 7183:Hall, Brian C. (2015), 6543:infinitesimal character 6118:is the product formula 5556:λ is some other weight, 4757:{\displaystyle \theta } 4486:Vandermonde determinant 1102:{\displaystyle \Delta } 757:is the multiplicity of 155:{\displaystyle \pi (g)} 6941: 6907: 6887: 6859: 6830: 6792: 6609: 6585: 6558: 6531: 6497: 6406: 6273: 6219: 6090: 6004: 5836: 5782: 5640: 5553:Λ is a highest weight, 5538: 5324: 5260: 5162: 5086: 5030: 4876: 4836:are labeled by a pair 4819: 4758: 4738: 4708: 4688: 4656: 4524:Weyl dimension formula 4516: 4492:Weyl dimension formula 4475: 4290: 4105: 4063: 3810: 3612: 3252: 3200: 3021: 2771: 2751: 2713: 2693: 2665: 2492: 2472: 2452: 2428: 2408: 2354: 2334: 2310: 2286: 2201: 2181: 2157: 2137: 2117: 2092: 2068: 2045: 1968: 1948: 1928: 1908: 1894:be a maximal torus in 1888: 1868: 1840: 1792: 1765: 1713: 1541: 1361: 1337: 1308: 1263: 1226: 1206: 1175: 1151: 1125: 1103: 1076: 1043: 1017: 813: 771: 751: 724: 704: 677: 593: 573: 544: 465: 420: 400: 372: 348: 329:semisimple Lie algebra 321: 273: 246: 226: 206: 182: 181:{\displaystyle g\in G} 156: 119: 99: 76:Weyl dimension formula 36:Weyl character formula 6942: 6940:{\displaystyle a_{w}} 6908: 6893:is the stabilizer of 6888: 6860: 6831: 6793: 6610: 6586: 6559: 6532: 6498: 6407: 6274: 6193: 6091: 6005: 5837: 5759: 5620: 5608:Jacobi triple product 5539: 5342:Freudenthal's formula 5325: 5261: 5163: 5087: 5031: 4877: 4820: 4759: 4739: 4709: 4689: 4657: 4517: 4476: 4291: 4106: 4064: 3811: 3613: 3253: 3201: 3022: 2772: 2752: 2714: 2694: 2666: 2493: 2473: 2453: 2429: 2409: 2360:. Thus, the function 2355: 2335: 2311: 2287: 2202: 2182: 2158: 2138: 2118: 2093: 2069: 2046: 1969: 1949: 1929: 1909: 1889: 1869: 1841: 1793: 1766: 1714: 1542: 1362: 1338: 1309: 1264: 1227: 1207: 1176: 1152: 1126: 1124:{\displaystyle \rho } 1104: 1077: 1044: 1018: 814: 772: 752: 725: 705: 678: 594: 574: 545: 466: 426:is then the function 421: 401: 373: 349: 322: 274: 272:{\displaystyle \chi } 247: 227: 207: 205:{\displaystyle \chi } 183: 157: 120: 100: 98:{\displaystyle \chi } 40:representation theory 27:Representation theory 7209:, Berlin, New York: 6924: 6897: 6870: 6840: 6811: 6632: 6608:{\displaystyle \pi } 6599: 6568: 6548: 6530:{\displaystyle \pi } 6521: 6426: 6304: 6127: 6024: 5856: 5617: 5596:Macdonald identities 5569:ρ is the Weyl vector 5362: 5273: 5175: 5111: 5043: 4889: 4840: 4768: 4748: 4722: 4698: 4694:with highest weight 4671: 4534: 4500: 4306: 4130: 4076: 3826: 3628: 3265: 3213: 3040: 2784: 2761: 2735: 2703: 2683: 2505: 2482: 2471:{\displaystyle \Pi } 2462: 2438: 2427:{\displaystyle \pi } 2418: 2364: 2344: 2320: 2309:{\displaystyle \pi } 2300: 2214: 2191: 2167: 2147: 2127: 2105: 2082: 2058: 1981: 1967:{\displaystyle \Pi } 1958: 1938: 1927:{\displaystyle \Pi } 1918: 1898: 1878: 1858: 1802: 1775: 1727: 1558: 1383: 1351: 1318: 1273: 1239: 1216: 1187: 1165: 1141: 1115: 1093: 1059: 1033: 826: 784: 770:{\displaystyle \mu } 761: 734: 723:{\displaystyle \pi } 714: 703:{\displaystyle \mu } 694: 606: 592:{\displaystyle \pi } 583: 579:is the dimension of 557: 478: 430: 419:{\displaystyle \pi } 410: 386: 358: 334: 320:{\displaystyle \pi } 311: 263: 255:Weyl's formula is a 245:{\displaystyle \pi } 236: 225:{\displaystyle \pi } 216: 196: 166: 137: 118:{\displaystyle \pi } 109: 105:of a representation 89: 54:. It was proved by 6966:Algebraic character 6537:is an irreducible, 6116:monster Lie algebra 4737:{\displaystyle m+1} 4515:{\displaystyle H=0} 4410: 4377: 2750:{\displaystyle m+1} 2163:in the Lie algebra 1974:to be the function 1269:. This is equal to 572:{\displaystyle H=0} 406:. The character of 7360:10.1007/BF01216789 7319:10.1007/BF01216788 7278:10.1007/BF01506234 6937: 6903: 6883: 6855: 6826: 6788: 6756: 6698: 6605: 6581: 6554: 6527: 6493: 6457: 6402: 6365: 6269: 6086: 6042: 6000: 5968: 5877: 5832: 5587:Kac–Moody algebras 5534: 5481: 5465: 5320: 5256: 5158: 5082: 5026: 4872: 4815: 4754: 4734: 4704: 4684: 4652: 4633: 4587: 4512: 4471: 4441: 4381: 4348: 4331: 4286: 4215: 4149: 4101: 4059: 3891: 3806: 3693: 3608: 3330: 3248: 3196: 3105: 3017: 2849: 2767: 2747: 2709: 2689: 2661: 2614: 2550: 2488: 2468: 2448: 2424: 2404: 2350: 2330: 2306: 2282: 2197: 2177: 2153: 2133: 2113: 2088: 2076:Peter–Weyl theorem 2064: 2041: 1964: 1944: 1924: 1904: 1884: 1864: 1850:Compact Lie groups 1836: 1788: 1761: 1709: 1659: 1599: 1551:or, equivalently, 1537: 1493: 1429: 1357: 1333: 1304: 1259: 1222: 1202: 1171: 1147: 1121: 1099: 1082:is the set of the 1072: 1039: 1013: 943: 872: 809: 767: 747: 720: 700: 673: 643: 589: 569: 540: 461: 416: 396: 368: 344: 317: 269: 259:for the character 242: 222: 202: 190:Peter–Weyl theorem 178: 152: 115: 95: 50:in terms of their 48:compact Lie groups 7220:978-0-387-90053-7 6920:The coefficients 6783: 6734: 6668: 6617:analytic function 6488: 6442: 6344: 6186: 6173: 6033: 5995: 5946: 5862: 5466: 5443: 4945: 4764:tends to zero of 4650: 4611: 4565: 4414: 4309: 4193: 4134: 4054: 4004: 3012: 2962: 2770:{\displaystyle T} 2712:{\displaystyle i} 2692:{\displaystyle i} 2656: 2599: 2535: 2491:{\displaystyle T} 2353:{\displaystyle K} 2200:{\displaystyle T} 2156:{\displaystyle H} 2136:{\displaystyle T} 2091:{\displaystyle K} 2067:{\displaystyle K} 1947:{\displaystyle K} 1907:{\displaystyle K} 1887:{\displaystyle T} 1867:{\displaystyle K} 1644: 1584: 1535: 1478: 1414: 1360:{\displaystyle w} 1234:Cartan subalgebra 1225:{\displaystyle w} 1174:{\displaystyle V} 1042:{\displaystyle W} 1011: 921: 857: 634: 380:Cartan subalgebra 16:(Redirected from 7454: 7432: 7431: 7421: 7413: 7387: 7378: 7337: 7296: 7255: 7223: 7208: 7197: 7179:. OCLC 22861245. 7160: 7154: 7148: 7142: 7136: 7130: 7124: 7118: 7112: 7106: 7100: 7094: 7088: 7082: 7076: 7069: 7063: 7057: 7051: 7045: 7039: 7033: 7027: 7021: 7015: 7009: 7003: 6997: 6961:Character theory 6946: 6944: 6943: 6938: 6936: 6935: 6912: 6910: 6909: 6904: 6892: 6890: 6889: 6884: 6882: 6881: 6864: 6862: 6861: 6856: 6854: 6853: 6852: 6836:with respect to 6835: 6833: 6832: 6827: 6825: 6824: 6823: 6797: 6795: 6794: 6789: 6784: 6782: 6778: 6777: 6755: 6754: 6753: 6733: 6732: 6722: 6721: 6720: 6708: 6707: 6697: 6696: 6695: 6686: 6666: 6661: 6660: 6659: 6650: 6644: 6643: 6614: 6612: 6611: 6606: 6590: 6588: 6587: 6582: 6580: 6579: 6563: 6561: 6560: 6555: 6536: 6534: 6533: 6528: 6502: 6500: 6499: 6494: 6489: 6484: 6477: 6459: 6456: 6438: 6437: 6411: 6409: 6408: 6403: 6400: 6399: 6390: 6389: 6364: 6340: 6339: 6278: 6276: 6275: 6270: 6268: 6267: 6266: 6265: 6248: 6247: 6238: 6237: 6218: 6213: 6192: 6188: 6187: 6179: 6174: 6166: 6095: 6093: 6092: 6087: 6084: 6083: 6071: 6070: 6069: 6061: 6041: 6009: 6007: 6006: 6001: 5996: 5994: 5990: 5989: 5967: 5966: 5965: 5945: 5944: 5934: 5927: 5926: 5905: 5904: 5876: 5860: 5841: 5839: 5838: 5833: 5828: 5827: 5818: 5817: 5816: 5815: 5801: 5800: 5781: 5776: 5755: 5751: 5750: 5749: 5737: 5736: 5707: 5703: 5699: 5698: 5669: 5665: 5664: 5663: 5639: 5634: 5543: 5541: 5540: 5535: 5515: 5514: 5480: 5464: 5463: 5462: 5427: 5426: 5414: 5413: 5389: 5388: 5347:Hans Freudenthal 5329: 5327: 5326: 5321: 5310: 5265: 5263: 5262: 5257: 5252: 5251: 5224: 5223: 5193: 5192: 5167: 5165: 5164: 5159: 5148: 5091: 5089: 5088: 5083: 5075: 5074: 5055: 5054: 5035: 5033: 5032: 5027: 5016: 5015: 5003: 5002: 4981: 4980: 4959: 4958: 4946: 4938: 4930: 4929: 4928: 4927: 4915: 4914: 4881: 4879: 4878: 4873: 4868: 4867: 4855: 4854: 4824: 4822: 4821: 4816: 4805: 4763: 4761: 4760: 4755: 4743: 4741: 4740: 4735: 4716:L'Hôpital's rule 4713: 4711: 4710: 4705: 4693: 4691: 4690: 4685: 4683: 4682: 4661: 4659: 4658: 4653: 4651: 4649: 4632: 4631: 4630: 4609: 4586: 4585: 4584: 4563: 4555: 4554: 4521: 4519: 4518: 4513: 4480: 4478: 4477: 4472: 4467: 4466: 4454: 4453: 4440: 4409: 4389: 4376: 4356: 4330: 4329: 4328: 4295: 4293: 4292: 4287: 4282: 4278: 4277: 4273: 4245: 4244: 4240: 4214: 4213: 4212: 4189: 4188: 4148: 4110: 4108: 4107: 4102: 4100: 4099: 4068: 4066: 4065: 4060: 4055: 4053: 4042: 4010: 4005: 4003: 4002: 4001: 3983: 3982: 3969: 3968: 3967: 3934: 3933: 3905: 3900: 3896: 3895: 3888: 3887: 3858: 3857: 3833: 3815: 3813: 3812: 3807: 3805: 3804: 3771: 3770: 3737: 3736: 3718: 3717: 3702: 3698: 3697: 3690: 3689: 3660: 3659: 3635: 3617: 3615: 3614: 3609: 3604: 3600: 3599: 3598: 3565: 3564: 3525: 3524: 3489: 3485: 3484: 3483: 3444: 3443: 3413: 3412: 3374: 3373: 3355: 3354: 3339: 3335: 3334: 3327: 3326: 3297: 3296: 3272: 3257: 3255: 3254: 3249: 3247: 3246: 3228: 3227: 3205: 3203: 3202: 3197: 3192: 3191: 3164: 3163: 3133: 3132: 3114: 3110: 3109: 3102: 3101: 3072: 3071: 3047: 3026: 3024: 3023: 3018: 3013: 3011: 3000: 2968: 2963: 2961: 2960: 2959: 2941: 2940: 2927: 2926: 2925: 2892: 2891: 2863: 2858: 2854: 2853: 2846: 2845: 2816: 2815: 2791: 2776: 2774: 2773: 2768: 2756: 2754: 2753: 2748: 2718: 2716: 2715: 2710: 2698: 2696: 2695: 2690: 2670: 2668: 2667: 2662: 2657: 2655: 2654: 2653: 2613: 2597: 2596: 2595: 2549: 2533: 2525: 2524: 2512: 2497: 2495: 2494: 2489: 2477: 2475: 2474: 2469: 2457: 2455: 2454: 2449: 2447: 2446: 2433: 2431: 2430: 2425: 2413: 2411: 2410: 2405: 2397: 2396: 2359: 2357: 2356: 2351: 2339: 2337: 2336: 2331: 2329: 2328: 2315: 2313: 2312: 2307: 2291: 2289: 2288: 2283: 2278: 2277: 2241: 2240: 2206: 2204: 2203: 2198: 2186: 2184: 2183: 2178: 2176: 2175: 2162: 2160: 2159: 2154: 2142: 2140: 2139: 2134: 2122: 2120: 2119: 2114: 2112: 2097: 2095: 2094: 2089: 2073: 2071: 2070: 2065: 2050: 2048: 2047: 2042: 1988: 1973: 1971: 1970: 1965: 1953: 1951: 1950: 1945: 1933: 1931: 1930: 1925: 1913: 1911: 1910: 1905: 1893: 1891: 1890: 1885: 1873: 1871: 1870: 1865: 1845: 1843: 1842: 1837: 1835: 1834: 1797: 1795: 1794: 1789: 1787: 1786: 1770: 1768: 1767: 1762: 1760: 1759: 1718: 1716: 1715: 1710: 1705: 1704: 1658: 1640: 1639: 1638: 1598: 1570: 1569: 1546: 1544: 1543: 1538: 1536: 1534: 1533: 1532: 1492: 1476: 1475: 1474: 1428: 1412: 1395: 1394: 1366: 1364: 1363: 1358: 1342: 1340: 1339: 1334: 1313: 1311: 1310: 1305: 1303: 1302: 1268: 1266: 1265: 1260: 1258: 1257: 1248: 1247: 1231: 1229: 1228: 1223: 1211: 1209: 1208: 1203: 1180: 1178: 1177: 1172: 1156: 1154: 1153: 1148: 1130: 1128: 1127: 1122: 1108: 1106: 1105: 1100: 1081: 1079: 1078: 1073: 1071: 1070: 1048: 1046: 1045: 1040: 1022: 1020: 1019: 1014: 1012: 1010: 1006: 1005: 1001: 973: 972: 968: 942: 941: 940: 919: 918: 917: 871: 855: 838: 837: 818: 816: 815: 810: 796: 795: 776: 774: 773: 768: 756: 754: 753: 748: 746: 745: 729: 727: 726: 721: 709: 707: 706: 701: 682: 680: 679: 674: 672: 671: 653: 652: 642: 618: 617: 598: 596: 595: 590: 578: 576: 575: 570: 549: 547: 546: 541: 533: 532: 490: 489: 470: 468: 467: 462: 460: 452: 451: 442: 441: 425: 423: 422: 417: 405: 403: 402: 397: 395: 394: 377: 375: 374: 369: 367: 366: 353: 351: 350: 345: 343: 342: 326: 324: 323: 318: 278: 276: 275: 270: 251: 249: 248: 243: 231: 229: 228: 223: 211: 209: 208: 203: 187: 185: 184: 179: 161: 159: 158: 153: 124: 122: 121: 116: 104: 102: 101: 96: 56:Hermann Weyl 21: 7462: 7461: 7457: 7456: 7455: 7453: 7452: 7451: 7437: 7436: 7435: 7415: 7414: 7402: 7388: 7384: 7221: 7211:Springer-Verlag 7195: 7164: 7163: 7155: 7151: 7143: 7139: 7131: 7127: 7119: 7115: 7107: 7103: 7095: 7091: 7083: 7079: 7070: 7066: 7058: 7054: 7046: 7042: 7034: 7030: 7022: 7018: 7010: 7006: 6998: 6994: 6989: 6957: 6931: 6927: 6925: 6922: 6921: 6898: 6895: 6894: 6877: 6873: 6871: 6868: 6867: 6848: 6847: 6843: 6841: 6838: 6837: 6819: 6818: 6814: 6812: 6809: 6808: 6770: 6766: 6749: 6745: 6738: 6728: 6724: 6723: 6713: 6709: 6703: 6699: 6691: 6687: 6682: 6672: 6667: 6665: 6652: 6651: 6646: 6645: 6639: 6635: 6633: 6630: 6629: 6621:Cartan subgroup 6600: 6597: 6596: 6575: 6571: 6569: 6566: 6565: 6549: 6546: 6545: 6522: 6519: 6518: 6515:reductive group 6511: 6473: 6460: 6458: 6446: 6433: 6429: 6427: 6424: 6423: 6395: 6391: 6385: 6381: 6348: 6335: 6331: 6305: 6302: 6301: 6258: 6254: 6253: 6249: 6243: 6239: 6233: 6229: 6214: 6197: 6178: 6165: 6164: 6160: 6128: 6125: 6124: 6076: 6072: 6065: 6057: 6056: 6052: 6037: 6025: 6022: 6021: 5982: 5978: 5961: 5957: 5950: 5940: 5936: 5935: 5916: 5912: 5891: 5887: 5866: 5861: 5859: 5857: 5854: 5853: 5823: 5819: 5811: 5807: 5806: 5802: 5796: 5792: 5777: 5763: 5742: 5738: 5723: 5719: 5712: 5708: 5685: 5681: 5674: 5670: 5656: 5652: 5645: 5641: 5635: 5624: 5618: 5615: 5614: 5605: 5579: 5566: 5562: 5510: 5506: 5470: 5458: 5454: 5447: 5422: 5418: 5409: 5405: 5384: 5380: 5363: 5360: 5359: 5351:Casimir element 5344: 5306: 5274: 5271: 5270: 5238: 5234: 5201: 5197: 5182: 5178: 5176: 5173: 5172: 5144: 5112: 5109: 5108: 5104: 5098: 5070: 5066: 5050: 5046: 5044: 5041: 5040: 5011: 5007: 4998: 4994: 4976: 4972: 4954: 4950: 4937: 4923: 4919: 4910: 4906: 4905: 4901: 4890: 4887: 4886: 4863: 4859: 4850: 4846: 4841: 4838: 4837: 4834:representations 4801: 4769: 4766: 4765: 4749: 4746: 4745: 4723: 4720: 4719: 4699: 4696: 4695: 4678: 4674: 4672: 4669: 4668: 4626: 4622: 4615: 4610: 4580: 4576: 4569: 4564: 4562: 4550: 4546: 4535: 4532: 4531: 4501: 4498: 4497: 4494: 4462: 4458: 4449: 4445: 4418: 4390: 4385: 4357: 4352: 4324: 4320: 4313: 4307: 4304: 4303: 4269: 4253: 4249: 4236: 4223: 4219: 4208: 4204: 4197: 4166: 4162: 4138: 4133: 4131: 4128: 4127: 4117: 4089: 4085: 4077: 4074: 4073: 4043: 4011: 4009: 3991: 3987: 3975: 3971: 3970: 3942: 3938: 3911: 3907: 3906: 3904: 3890: 3889: 3877: 3873: 3871: 3865: 3864: 3859: 3850: 3846: 3839: 3838: 3834: 3829: 3827: 3824: 3823: 3779: 3775: 3748: 3744: 3726: 3722: 3710: 3706: 3692: 3691: 3679: 3675: 3673: 3667: 3666: 3661: 3652: 3648: 3641: 3640: 3636: 3631: 3629: 3626: 3625: 3573: 3569: 3539: 3535: 3502: 3498: 3497: 3493: 3458: 3454: 3421: 3417: 3390: 3386: 3385: 3381: 3363: 3359: 3347: 3343: 3329: 3328: 3316: 3312: 3310: 3304: 3303: 3298: 3289: 3285: 3278: 3277: 3273: 3268: 3266: 3263: 3262: 3236: 3232: 3220: 3216: 3214: 3211: 3210: 3178: 3174: 3141: 3137: 3122: 3118: 3104: 3103: 3091: 3087: 3085: 3079: 3078: 3073: 3064: 3060: 3053: 3052: 3048: 3043: 3041: 3038: 3037: 3001: 2969: 2967: 2949: 2945: 2933: 2929: 2928: 2900: 2896: 2869: 2865: 2864: 2862: 2848: 2847: 2835: 2831: 2829: 2823: 2822: 2817: 2808: 2804: 2797: 2796: 2792: 2787: 2785: 2782: 2781: 2762: 2759: 2758: 2736: 2733: 2732: 2725: 2704: 2701: 2700: 2684: 2681: 2680: 2631: 2627: 2603: 2598: 2567: 2563: 2539: 2534: 2532: 2520: 2516: 2508: 2506: 2503: 2502: 2483: 2480: 2479: 2463: 2460: 2459: 2442: 2441: 2439: 2436: 2435: 2419: 2416: 2415: 2392: 2388: 2365: 2362: 2361: 2345: 2342: 2341: 2324: 2323: 2321: 2318: 2317: 2301: 2298: 2297: 2264: 2260: 2236: 2232: 2215: 2212: 2211: 2192: 2189: 2188: 2171: 2170: 2168: 2165: 2164: 2148: 2145: 2144: 2128: 2125: 2124: 2108: 2106: 2103: 2102: 2083: 2080: 2079: 2059: 2056: 2055: 1984: 1982: 1979: 1978: 1959: 1956: 1955: 1939: 1936: 1935: 1919: 1916: 1915: 1899: 1896: 1895: 1879: 1876: 1875: 1859: 1856: 1855: 1852: 1809: 1805: 1803: 1800: 1799: 1782: 1778: 1776: 1773: 1772: 1734: 1730: 1728: 1725: 1724: 1676: 1672: 1648: 1616: 1612: 1588: 1583: 1565: 1561: 1559: 1556: 1555: 1510: 1506: 1482: 1477: 1446: 1442: 1418: 1413: 1411: 1390: 1386: 1384: 1381: 1380: 1374: 1352: 1349: 1348: 1319: 1316: 1315: 1289: 1285: 1274: 1271: 1270: 1253: 1252: 1243: 1242: 1240: 1237: 1236: 1217: 1214: 1213: 1188: 1185: 1184: 1166: 1163: 1162: 1142: 1139: 1138: 1116: 1113: 1112: 1094: 1091: 1090: 1066: 1062: 1060: 1057: 1056: 1034: 1031: 1030: 997: 981: 977: 964: 951: 947: 936: 932: 925: 920: 889: 885: 861: 856: 854: 833: 829: 827: 824: 823: 791: 787: 785: 782: 781: 762: 759: 758: 741: 737: 735: 732: 731: 715: 712: 711: 695: 692: 691: 658: 654: 648: 644: 638: 613: 609: 607: 604: 603: 584: 581: 580: 558: 555: 554: 519: 515: 485: 481: 479: 476: 475: 456: 447: 446: 437: 433: 431: 428: 427: 411: 408: 407: 390: 389: 387: 384: 383: 362: 361: 359: 356: 355: 338: 337: 335: 332: 331: 312: 309: 308: 305: 293: 264: 261: 260: 237: 234: 233: 217: 214: 213: 197: 194: 193: 167: 164: 163: 138: 135: 134: 110: 107: 106: 90: 87: 86: 52:highest weights 28: 23: 22: 15: 12: 11: 5: 7460: 7450: 7449: 7434: 7433: 7400: 7381: 7380: 7379: 7338: 7297: 7256: 7238: 7225: 7219: 7198: 7194:978-3319134666 7193: 7180: 7162: 7161: 7157:Humphreys 1972 7149: 7137: 7125: 7113: 7101: 7089: 7077: 7064: 7052: 7040: 7028: 7016: 7004: 6991: 6990: 6988: 6985: 6984: 6983: 6978: 6973: 6968: 6963: 6956: 6953: 6934: 6930: 6915: 6914: 6902: 6880: 6876: 6865: 6851: 6846: 6822: 6817: 6801: 6800: 6799: 6798: 6787: 6781: 6776: 6773: 6769: 6765: 6762: 6759: 6752: 6748: 6744: 6741: 6737: 6731: 6727: 6719: 6716: 6712: 6706: 6702: 6694: 6690: 6685: 6681: 6678: 6675: 6671: 6664: 6658: 6655: 6649: 6642: 6638: 6604: 6578: 6574: 6553: 6526: 6510: 6507: 6506: 6505: 6504: 6503: 6492: 6487: 6483: 6480: 6476: 6472: 6469: 6466: 6463: 6455: 6452: 6449: 6445: 6441: 6436: 6432: 6415: 6414: 6413: 6412: 6398: 6394: 6388: 6384: 6380: 6377: 6374: 6371: 6368: 6363: 6360: 6357: 6354: 6351: 6347: 6343: 6338: 6334: 6330: 6327: 6324: 6321: 6318: 6315: 6312: 6309: 6282: 6281: 6280: 6279: 6264: 6261: 6257: 6252: 6246: 6242: 6236: 6232: 6228: 6225: 6222: 6217: 6212: 6209: 6206: 6203: 6200: 6196: 6191: 6185: 6182: 6177: 6172: 6169: 6163: 6159: 6156: 6153: 6150: 6147: 6144: 6141: 6138: 6135: 6132: 6097: 6096: 6082: 6079: 6075: 6068: 6064: 6060: 6055: 6051: 6048: 6045: 6040: 6036: 6032: 6029: 6011: 6010: 5999: 5993: 5988: 5985: 5981: 5977: 5974: 5971: 5964: 5960: 5956: 5953: 5949: 5943: 5939: 5933: 5930: 5925: 5922: 5919: 5915: 5911: 5908: 5903: 5900: 5897: 5894: 5890: 5886: 5883: 5880: 5875: 5872: 5869: 5865: 5843: 5842: 5831: 5826: 5822: 5814: 5810: 5805: 5799: 5795: 5791: 5788: 5785: 5780: 5775: 5772: 5769: 5766: 5762: 5758: 5754: 5748: 5745: 5741: 5735: 5732: 5729: 5726: 5722: 5718: 5715: 5711: 5706: 5702: 5697: 5694: 5691: 5688: 5684: 5680: 5677: 5673: 5668: 5662: 5659: 5655: 5651: 5648: 5644: 5638: 5633: 5630: 5627: 5623: 5603: 5578: 5575: 5574: 5573: 5570: 5567: 5564: 5560: 5557: 5554: 5547: 5546: 5545: 5544: 5533: 5530: 5527: 5524: 5521: 5518: 5513: 5509: 5505: 5502: 5499: 5496: 5493: 5490: 5487: 5484: 5479: 5476: 5473: 5469: 5461: 5457: 5453: 5450: 5446: 5442: 5439: 5436: 5433: 5430: 5425: 5421: 5417: 5412: 5408: 5404: 5401: 5398: 5395: 5392: 5387: 5383: 5379: 5376: 5373: 5370: 5367: 5343: 5340: 5319: 5316: 5313: 5309: 5305: 5302: 5299: 5296: 5293: 5290: 5287: 5284: 5281: 5278: 5267: 5266: 5255: 5250: 5247: 5244: 5241: 5237: 5233: 5230: 5227: 5222: 5219: 5216: 5213: 5210: 5207: 5204: 5200: 5196: 5191: 5188: 5185: 5181: 5157: 5154: 5151: 5147: 5143: 5140: 5137: 5134: 5131: 5128: 5125: 5122: 5119: 5116: 5100:Main article: 5097: 5094: 5081: 5078: 5073: 5069: 5064: 5061: 5058: 5053: 5049: 5037: 5036: 5025: 5022: 5019: 5014: 5010: 5006: 5001: 4997: 4993: 4990: 4987: 4984: 4979: 4975: 4971: 4968: 4965: 4962: 4957: 4953: 4949: 4944: 4941: 4936: 4933: 4926: 4922: 4918: 4913: 4909: 4904: 4900: 4897: 4894: 4871: 4866: 4862: 4858: 4853: 4849: 4845: 4814: 4811: 4808: 4804: 4800: 4797: 4794: 4791: 4788: 4785: 4782: 4779: 4776: 4773: 4753: 4733: 4730: 4727: 4703: 4681: 4677: 4665: 4664: 4663: 4662: 4648: 4645: 4642: 4639: 4636: 4629: 4625: 4621: 4618: 4614: 4608: 4605: 4602: 4599: 4596: 4593: 4590: 4583: 4579: 4575: 4572: 4568: 4561: 4558: 4553: 4549: 4545: 4542: 4539: 4511: 4508: 4505: 4493: 4490: 4482: 4481: 4470: 4465: 4461: 4457: 4452: 4448: 4444: 4439: 4436: 4433: 4430: 4427: 4424: 4421: 4417: 4413: 4408: 4405: 4402: 4399: 4396: 4393: 4388: 4384: 4380: 4375: 4372: 4369: 4366: 4363: 4360: 4355: 4351: 4346: 4343: 4340: 4337: 4334: 4327: 4323: 4319: 4316: 4312: 4297: 4296: 4285: 4281: 4276: 4272: 4268: 4265: 4262: 4259: 4256: 4252: 4248: 4243: 4239: 4235: 4232: 4229: 4226: 4222: 4218: 4211: 4207: 4203: 4200: 4196: 4192: 4187: 4184: 4181: 4178: 4175: 4172: 4169: 4165: 4161: 4158: 4155: 4152: 4147: 4144: 4141: 4137: 4116: 4113: 4098: 4095: 4092: 4088: 4084: 4081: 4070: 4069: 4058: 4052: 4049: 4046: 4041: 4038: 4035: 4032: 4029: 4026: 4023: 4020: 4017: 4014: 4008: 4000: 3997: 3994: 3990: 3986: 3981: 3978: 3974: 3966: 3963: 3960: 3957: 3954: 3951: 3948: 3945: 3941: 3937: 3932: 3929: 3926: 3923: 3920: 3917: 3914: 3910: 3903: 3899: 3894: 3886: 3883: 3880: 3876: 3872: 3870: 3867: 3866: 3863: 3860: 3856: 3853: 3849: 3845: 3844: 3842: 3837: 3832: 3817: 3816: 3803: 3800: 3797: 3794: 3791: 3788: 3785: 3782: 3778: 3774: 3769: 3766: 3763: 3760: 3757: 3754: 3751: 3747: 3743: 3740: 3735: 3732: 3729: 3725: 3721: 3716: 3713: 3709: 3705: 3701: 3696: 3688: 3685: 3682: 3678: 3674: 3672: 3669: 3668: 3665: 3662: 3658: 3655: 3651: 3647: 3646: 3644: 3639: 3634: 3619: 3618: 3607: 3603: 3597: 3594: 3591: 3588: 3585: 3582: 3579: 3576: 3572: 3568: 3563: 3560: 3557: 3554: 3551: 3548: 3545: 3542: 3538: 3534: 3531: 3528: 3523: 3520: 3517: 3514: 3511: 3508: 3505: 3501: 3496: 3492: 3488: 3482: 3479: 3476: 3473: 3470: 3467: 3464: 3461: 3457: 3453: 3450: 3447: 3442: 3439: 3436: 3433: 3430: 3427: 3424: 3420: 3416: 3411: 3408: 3405: 3402: 3399: 3396: 3393: 3389: 3384: 3380: 3377: 3372: 3369: 3366: 3362: 3358: 3353: 3350: 3346: 3342: 3338: 3333: 3325: 3322: 3319: 3315: 3311: 3309: 3306: 3305: 3302: 3299: 3295: 3292: 3288: 3284: 3283: 3281: 3276: 3271: 3245: 3242: 3239: 3235: 3231: 3226: 3223: 3219: 3207: 3206: 3195: 3190: 3187: 3184: 3181: 3177: 3173: 3170: 3167: 3162: 3159: 3156: 3153: 3150: 3147: 3144: 3140: 3136: 3131: 3128: 3125: 3121: 3117: 3113: 3108: 3100: 3097: 3094: 3090: 3086: 3084: 3081: 3080: 3077: 3074: 3070: 3067: 3063: 3059: 3058: 3056: 3051: 3046: 3028: 3027: 3016: 3010: 3007: 3004: 2999: 2996: 2993: 2990: 2987: 2984: 2981: 2978: 2975: 2972: 2966: 2958: 2955: 2952: 2948: 2944: 2939: 2936: 2932: 2924: 2921: 2918: 2915: 2912: 2909: 2906: 2903: 2899: 2895: 2890: 2887: 2884: 2881: 2878: 2875: 2872: 2868: 2861: 2857: 2852: 2844: 2841: 2838: 2834: 2830: 2828: 2825: 2824: 2821: 2818: 2814: 2811: 2807: 2803: 2802: 2800: 2795: 2790: 2766: 2746: 2743: 2740: 2724: 2723:The SU(2) case 2721: 2708: 2688: 2672: 2671: 2660: 2652: 2649: 2646: 2643: 2640: 2637: 2634: 2630: 2626: 2623: 2620: 2617: 2612: 2609: 2606: 2602: 2594: 2591: 2588: 2585: 2582: 2579: 2576: 2573: 2570: 2566: 2562: 2559: 2556: 2553: 2548: 2545: 2542: 2538: 2531: 2528: 2523: 2519: 2515: 2511: 2487: 2467: 2445: 2423: 2403: 2400: 2395: 2391: 2387: 2384: 2381: 2378: 2375: 2372: 2369: 2349: 2327: 2305: 2294: 2293: 2281: 2276: 2273: 2270: 2267: 2263: 2259: 2256: 2253: 2250: 2247: 2244: 2239: 2235: 2231: 2228: 2225: 2222: 2219: 2196: 2174: 2152: 2132: 2111: 2087: 2063: 2052: 2051: 2040: 2037: 2034: 2031: 2027: 2024: 2021: 2018: 2015: 2012: 2009: 2006: 2003: 2000: 1997: 1994: 1991: 1987: 1963: 1943: 1923: 1903: 1883: 1863: 1851: 1848: 1833: 1830: 1827: 1824: 1821: 1818: 1815: 1812: 1808: 1785: 1781: 1758: 1755: 1752: 1749: 1746: 1743: 1740: 1737: 1733: 1720: 1719: 1708: 1703: 1700: 1697: 1694: 1691: 1688: 1685: 1682: 1679: 1675: 1671: 1668: 1665: 1662: 1657: 1654: 1651: 1647: 1643: 1637: 1634: 1631: 1628: 1625: 1622: 1619: 1615: 1611: 1608: 1605: 1602: 1597: 1594: 1591: 1587: 1582: 1579: 1576: 1573: 1568: 1564: 1549: 1548: 1531: 1528: 1525: 1522: 1519: 1516: 1513: 1509: 1505: 1502: 1499: 1496: 1491: 1488: 1485: 1481: 1473: 1470: 1467: 1464: 1461: 1458: 1455: 1452: 1449: 1445: 1441: 1438: 1435: 1432: 1427: 1424: 1421: 1417: 1410: 1407: 1404: 1401: 1398: 1393: 1389: 1373: 1370: 1369: 1368: 1356: 1332: 1329: 1326: 1323: 1301: 1298: 1295: 1292: 1288: 1284: 1281: 1278: 1256: 1251: 1246: 1221: 1201: 1198: 1195: 1192: 1182: 1170: 1159:highest weight 1146: 1136: 1120: 1110: 1098: 1084:positive roots 1069: 1065: 1054: 1038: 1024: 1023: 1009: 1004: 1000: 996: 993: 990: 987: 984: 980: 976: 971: 967: 963: 960: 957: 954: 950: 946: 939: 935: 931: 928: 924: 916: 913: 910: 907: 904: 901: 898: 895: 892: 888: 884: 881: 878: 875: 870: 867: 864: 860: 853: 850: 847: 844: 841: 836: 832: 808: 805: 802: 799: 794: 790: 766: 744: 740: 719: 699: 685: 684: 670: 667: 664: 661: 657: 651: 647: 641: 637: 633: 630: 627: 624: 621: 616: 612: 588: 568: 565: 562: 551: 550: 539: 536: 531: 528: 525: 522: 518: 514: 511: 508: 505: 502: 499: 496: 493: 488: 484: 459: 455: 450: 445: 440: 436: 415: 393: 365: 341: 316: 304: 301: 292: 289: 268: 257:closed formula 241: 221: 201: 177: 174: 171: 151: 148: 145: 142: 114: 94: 42:describes the 26: 9: 6: 4: 3: 2: 7459: 7448: 7445: 7444: 7442: 7429: 7425: 7419: 7411: 7407: 7403: 7397: 7393: 7386: 7382: 7377: 7373: 7369: 7365: 7361: 7357: 7353: 7349: 7348: 7343: 7342:Weyl, Hermann 7339: 7336: 7332: 7328: 7324: 7320: 7316: 7312: 7308: 7307: 7302: 7301:Weyl, Hermann 7298: 7295: 7291: 7287: 7283: 7279: 7275: 7271: 7267: 7266: 7261: 7260:Weyl, Hermann 7257: 7254: 7250: 7249: 7244: 7239: 7237: 7236:0-521-37215-1 7233: 7230:, V. G. Kac, 7229: 7226: 7222: 7216: 7212: 7207: 7206: 7199: 7196: 7190: 7186: 7181: 7178: 7174: 7170: 7166: 7165: 7158: 7153: 7146: 7141: 7135:Example 10.23 7134: 7129: 7123:Section 10.5. 7122: 7117: 7110: 7105: 7098: 7093: 7087:Example 12.23 7086: 7081: 7074: 7068: 7061: 7056: 7050:Section 10.4. 7049: 7044: 7038:Theorem 10.14 7037: 7032: 7026:Section 12.5. 7025: 7020: 7014:Section 10.4. 7013: 7008: 7002:Section 12.4. 7001: 6996: 6992: 6982: 6979: 6977: 6974: 6972: 6969: 6967: 6964: 6962: 6959: 6958: 6952: 6950: 6932: 6928: 6918: 6900: 6878: 6874: 6866: 6844: 6815: 6806: 6805: 6804: 6785: 6774: 6771: 6767: 6763: 6760: 6750: 6742: 6739: 6735: 6729: 6725: 6717: 6714: 6710: 6704: 6700: 6692: 6688: 6683: 6679: 6676: 6673: 6669: 6662: 6656: 6653: 6640: 6628: 6627: 6626: 6625: 6624: 6622: 6618: 6602: 6594: 6576: 6551: 6544: 6540: 6524: 6516: 6490: 6485: 6478: 6474: 6470: 6464: 6461: 6453: 6450: 6447: 6443: 6439: 6434: 6430: 6422: 6421: 6420: 6419: 6418: 6396: 6392: 6386: 6382: 6375: 6372: 6369: 6361: 6358: 6355: 6352: 6349: 6345: 6341: 6336: 6332: 6325: 6322: 6319: 6316: 6313: 6310: 6300: 6299: 6298: 6297: 6296: 6292: 6290: 6287: 6262: 6259: 6255: 6244: 6240: 6234: 6230: 6226: 6223: 6210: 6207: 6204: 6201: 6198: 6194: 6189: 6183: 6180: 6175: 6170: 6167: 6161: 6157: 6151: 6145: 6142: 6136: 6130: 6123: 6122: 6121: 6120: 6119: 6117: 6112: 6110: 6106: 6102: 6080: 6073: 6062: 6049: 6046: 6038: 6034: 6030: 6027: 6020: 6019: 6018: 6016: 5997: 5986: 5983: 5979: 5975: 5972: 5962: 5954: 5951: 5947: 5941: 5937: 5928: 5923: 5920: 5917: 5913: 5906: 5898: 5892: 5884: 5881: 5873: 5870: 5867: 5863: 5852: 5851: 5850: 5848: 5829: 5824: 5820: 5812: 5808: 5803: 5797: 5789: 5786: 5770: 5767: 5764: 5760: 5756: 5752: 5746: 5743: 5739: 5733: 5730: 5727: 5724: 5720: 5716: 5713: 5709: 5704: 5700: 5695: 5692: 5689: 5686: 5682: 5678: 5675: 5671: 5666: 5660: 5657: 5653: 5649: 5646: 5642: 5631: 5628: 5625: 5621: 5613: 5612: 5611: 5609: 5602: 5598: 5597: 5592: 5588: 5584: 5571: 5568: 5558: 5555: 5552: 5551: 5550: 5528: 5525: 5522: 5519: 5507: 5500: 5497: 5494: 5491: 5488: 5485: 5477: 5474: 5471: 5467: 5459: 5451: 5448: 5444: 5440: 5437: 5431: 5419: 5410: 5402: 5399: 5396: 5390: 5385: 5377: 5374: 5358: 5357: 5356: 5355: 5354: 5352: 5348: 5339: 5337: 5331: 5317: 5314: 5311: 5307: 5300: 5294: 5291: 5288: 5279: 5276: 5253: 5248: 5245: 5242: 5239: 5235: 5231: 5228: 5225: 5220: 5214: 5211: 5208: 5202: 5198: 5194: 5189: 5186: 5183: 5179: 5171: 5170: 5169: 5155: 5152: 5149: 5145: 5138: 5132: 5129: 5126: 5117: 5114: 5103: 5093: 5079: 5076: 5071: 5067: 5062: 5059: 5056: 5051: 5047: 5020: 5017: 5012: 5008: 5004: 4999: 4995: 4985: 4982: 4977: 4973: 4963: 4960: 4955: 4951: 4942: 4939: 4934: 4924: 4920: 4916: 4911: 4907: 4902: 4895: 4892: 4885: 4884: 4883: 4864: 4860: 4856: 4851: 4847: 4835: 4831: 4826: 4812: 4809: 4806: 4802: 4795: 4789: 4786: 4783: 4774: 4771: 4751: 4731: 4728: 4725: 4717: 4701: 4679: 4675: 4643: 4640: 4637: 4627: 4619: 4616: 4612: 4603: 4600: 4597: 4594: 4591: 4581: 4573: 4570: 4566: 4559: 4551: 4547: 4540: 4537: 4530: 4529: 4528: 4527: 4526: 4525: 4509: 4506: 4503: 4489: 4487: 4463: 4459: 4455: 4450: 4446: 4437: 4434: 4431: 4428: 4425: 4422: 4419: 4415: 4411: 4406: 4403: 4397: 4391: 4386: 4382: 4378: 4373: 4370: 4364: 4358: 4353: 4349: 4341: 4335: 4332: 4325: 4321: 4317: 4314: 4310: 4302: 4301: 4300: 4283: 4274: 4270: 4263: 4257: 4254: 4250: 4246: 4241: 4237: 4230: 4224: 4220: 4209: 4201: 4198: 4194: 4190: 4182: 4173: 4167: 4163: 4156: 4150: 4145: 4142: 4139: 4135: 4126: 4125: 4124: 4122: 4112: 4096: 4093: 4090: 4086: 4082: 4079: 4056: 4050: 4047: 4044: 4036: 4030: 4027: 4024: 4015: 4012: 4006: 3998: 3995: 3992: 3988: 3984: 3979: 3976: 3972: 3964: 3958: 3955: 3952: 3946: 3943: 3939: 3935: 3930: 3924: 3921: 3918: 3912: 3908: 3901: 3897: 3892: 3884: 3881: 3878: 3874: 3868: 3861: 3854: 3851: 3847: 3840: 3835: 3822: 3821: 3820: 3801: 3795: 3792: 3789: 3783: 3780: 3776: 3772: 3767: 3761: 3758: 3755: 3749: 3745: 3741: 3733: 3730: 3727: 3723: 3719: 3714: 3711: 3707: 3699: 3694: 3686: 3683: 3680: 3676: 3670: 3663: 3656: 3653: 3649: 3642: 3637: 3624: 3623: 3622: 3605: 3601: 3595: 3589: 3586: 3583: 3577: 3574: 3570: 3566: 3561: 3555: 3552: 3549: 3543: 3540: 3536: 3532: 3529: 3526: 3521: 3515: 3512: 3509: 3503: 3499: 3494: 3490: 3486: 3480: 3474: 3471: 3468: 3462: 3459: 3455: 3451: 3448: 3445: 3440: 3434: 3431: 3428: 3422: 3418: 3414: 3409: 3403: 3400: 3397: 3391: 3387: 3382: 3378: 3370: 3367: 3364: 3360: 3356: 3351: 3348: 3344: 3336: 3331: 3323: 3320: 3317: 3313: 3307: 3300: 3293: 3290: 3286: 3279: 3274: 3261: 3260: 3259: 3243: 3240: 3237: 3233: 3229: 3224: 3221: 3217: 3193: 3188: 3185: 3182: 3179: 3175: 3171: 3168: 3165: 3160: 3154: 3151: 3148: 3142: 3138: 3134: 3129: 3126: 3123: 3119: 3115: 3111: 3106: 3098: 3095: 3092: 3088: 3082: 3075: 3068: 3065: 3061: 3054: 3049: 3036: 3035: 3034: 3031: 3014: 3008: 3005: 3002: 2994: 2988: 2985: 2982: 2973: 2970: 2964: 2956: 2953: 2950: 2946: 2942: 2937: 2934: 2930: 2922: 2916: 2913: 2910: 2904: 2901: 2897: 2893: 2888: 2882: 2879: 2876: 2870: 2866: 2859: 2855: 2850: 2842: 2839: 2836: 2832: 2826: 2819: 2812: 2809: 2805: 2798: 2793: 2780: 2779: 2778: 2764: 2757:. If we take 2744: 2741: 2738: 2731:of dimension 2730: 2720: 2706: 2686: 2677: 2658: 2647: 2638: 2632: 2628: 2621: 2615: 2610: 2607: 2604: 2600: 2589: 2580: 2577: 2574: 2568: 2564: 2557: 2551: 2546: 2543: 2540: 2536: 2529: 2521: 2517: 2501: 2500: 2499: 2485: 2421: 2393: 2389: 2376: 2373: 2367: 2347: 2303: 2271: 2265: 2261: 2254: 2251: 2248: 2237: 2233: 2220: 2217: 2210: 2209: 2208: 2194: 2150: 2130: 2099: 2085: 2077: 2061: 2038: 2035: 2032: 2029: 2025: 2016: 2004: 2001: 1998: 1992: 1977: 1976: 1975: 1941: 1901: 1881: 1861: 1847: 1828: 1819: 1816: 1813: 1806: 1783: 1779: 1753: 1744: 1741: 1738: 1731: 1706: 1698: 1689: 1686: 1683: 1677: 1673: 1666: 1660: 1655: 1652: 1649: 1645: 1641: 1632: 1623: 1617: 1613: 1606: 1600: 1595: 1592: 1589: 1585: 1577: 1571: 1566: 1562: 1554: 1553: 1552: 1526: 1517: 1511: 1507: 1500: 1494: 1489: 1486: 1483: 1479: 1468: 1459: 1456: 1453: 1447: 1443: 1436: 1430: 1425: 1422: 1419: 1415: 1408: 1402: 1396: 1391: 1387: 1379: 1378: 1377: 1354: 1346: 1327: 1321: 1296: 1290: 1282: 1279: 1249: 1235: 1219: 1196: 1190: 1183: 1168: 1160: 1144: 1137: 1134: 1118: 1111: 1089: 1085: 1067: 1055: 1052: 1036: 1029: 1028: 1027: 1002: 998: 991: 985: 982: 978: 974: 969: 965: 958: 952: 948: 937: 929: 926: 922: 911: 902: 899: 896: 890: 886: 879: 873: 868: 865: 862: 858: 851: 845: 839: 834: 830: 822: 821: 820: 803: 797: 792: 788: 778: 764: 742: 738: 717: 697: 690: 665: 659: 655: 649: 645: 639: 635: 631: 625: 619: 614: 610: 602: 601: 600: 586: 566: 563: 560: 537: 526: 520: 516: 509: 506: 503: 497: 491: 486: 482: 474: 473: 472: 443: 438: 434: 413: 381: 330: 314: 300: 298: 288: 286: 282: 266: 258: 253: 239: 219: 199: 191: 175: 172: 169: 146: 140: 132: 128: 112: 92: 83: 81: 77: 73: 69: 65: 61: 57: 53: 49: 45: 41: 37: 33: 19: 7391: 7385: 7351: 7345: 7310: 7304: 7269: 7263: 7246: 7227: 7204: 7184: 7168: 7159:Section 22.3 7152: 7147:Section 10.6 7140: 7128: 7116: 7104: 7099:Lemma 10.28. 7092: 7080: 7067: 7062:Section 12.3 7055: 7043: 7031: 7019: 7007: 6995: 6919: 6916: 6802: 6512: 6416: 6293: 6288: 6283: 6113: 6108: 6104: 6100: 6098: 6014: 6012: 5844: 5606:this is the 5600: 5594: 5590: 5580: 5548: 5345: 5335: 5332: 5268: 5105: 5038: 4829: 4827: 4666: 4523: 4495: 4483: 4298: 4120: 4118: 4071: 3818: 3620: 3208: 3032: 3029: 2726: 2675: 2673: 2295: 2100: 2053: 1853: 1721: 1550: 1375: 1132: 1025: 779: 686: 552: 306: 294: 280: 254: 126: 84: 35: 29: 2143:. Now, for 1133:Weyl vector 1088:root system 471:defined by 285:Lie algebra 32:mathematics 7401:0387974954 7177:0387974954 6987:References 6517:. Suppose 2207:, we have 1372:Discussion 1051:Weyl group 730:and where 354:. Suppose 297:Lie groups 44:characters 7418:cite book 7376:186232780 7368:0025-5874 7335:186229448 7327:0025-5874 7294:123145812 7286:0025-5874 7253:EMS Press 7145:Hall 2015 7133:Hall 2015 7121:Hall 2015 7109:Hall 2015 7097:Hall 2015 7085:Hall 2015 7073:Hall 2015 7060:Hall 2015 7048:Hall 2015 7036:Hall 2015 7024:Hall 2015 7012:Hall 2015 7000:Hall 2015 6901:λ 6879:λ 6775:α 6772:− 6764:− 6747:Δ 6743:∈ 6740:α 6736:∏ 6730:ρ 6718:λ 6693:λ 6677:∈ 6670:∑ 6641:π 6637:Θ 6603:π 6577:π 6573:Θ 6552:λ 6525:π 6471:β 6465:⁡ 6451:≥ 6444:∑ 6435:β 6397:δ 6387:γ 6376:δ 6370:γ 6362:β 6356:δ 6350:γ 6346:∑ 6337:β 6326:ρ 6320:− 6317:β 6311:β 6227:− 6216:∞ 6195:∏ 6176:− 6143:− 6078:Σ 6047:− 6035:∑ 5987:α 5984:− 5976:− 5959:Δ 5955:∈ 5952:α 5948:∏ 5942:ρ 5924:ρ 5918:λ 5893:ℓ 5882:− 5871:∈ 5864:∑ 5787:− 5779:∞ 5774:∞ 5771:− 5761:∑ 5744:− 5731:− 5717:− 5693:− 5679:− 5650:− 5637:∞ 5622:∏ 5610:identity 5529:α 5520:λ 5512:Λ 5501:α 5495:α 5486:λ 5475:≥ 5468:∑ 5456:Δ 5452:∈ 5449:α 5445:∑ 5432:λ 5424:Λ 5407:‖ 5403:ρ 5397:λ 5394:‖ 5391:− 5382:‖ 5378:ρ 5372:Λ 5369:‖ 5318:θ 5315:⁡ 5301:θ 5280:⁡ 5249:θ 5240:− 5229:⋯ 5221:θ 5212:− 5190:θ 5156:θ 5153:⁡ 5139:θ 5118:⁡ 5039:The case 4896:⁡ 4813:θ 4810:⁡ 4796:θ 4775:⁡ 4752:θ 4702:λ 4680:λ 4644:α 4638:ρ 4624:Δ 4620:∈ 4617:α 4613:∏ 4604:α 4598:ρ 4592:λ 4578:Δ 4574:∈ 4571:α 4567:∏ 4552:λ 4541:⁡ 4456:− 4435:≤ 4423:≤ 4416:∏ 4404:− 4392:σ 4379:⋯ 4371:− 4359:σ 4342:σ 4336:⁡ 4318:∈ 4315:σ 4311:∑ 4258:α 4255:− 4247:− 4225:α 4206:Δ 4202:∈ 4199:α 4195:∏ 4174:ρ 4151:ε 4143:∈ 4136:∑ 4097:θ 4051:θ 4048:⁡ 4037:θ 4016:⁡ 3999:θ 3993:− 3985:− 3980:θ 3965:θ 3944:− 3936:− 3931:θ 3885:θ 3879:− 3855:θ 3802:θ 3781:− 3773:− 3768:θ 3734:θ 3728:− 3720:− 3715:θ 3687:θ 3681:− 3657:θ 3596:θ 3575:− 3562:θ 3553:− 3541:− 3530:⋯ 3522:θ 3513:− 3491:− 3481:θ 3472:− 3460:− 3449:⋯ 3441:θ 3432:− 3410:θ 3371:θ 3365:− 3357:− 3352:θ 3324:θ 3318:− 3294:θ 3244:θ 3238:− 3230:− 3225:θ 3189:θ 3180:− 3169:⋯ 3161:θ 3152:− 3130:θ 3099:θ 3093:− 3069:θ 3009:θ 3006:⁡ 2995:θ 2974:⁡ 2957:θ 2951:− 2943:− 2938:θ 2923:θ 2902:− 2894:− 2889:θ 2843:θ 2837:− 2813:θ 2639:ρ 2616:ε 2608:∈ 2601:∑ 2581:ρ 2575:λ 2552:ε 2544:∈ 2537:∑ 2466:Π 2422:π 2383:Π 2377:⁡ 2371:↦ 2304:π 2266:π 2255:⁡ 2227:Π 2221:⁡ 2033:∈ 2011:Π 2005:⁡ 1962:Π 1922:Π 1820:ρ 1814:λ 1784:π 1745:ρ 1739:λ 1690:ρ 1684:λ 1661:ε 1653:∈ 1646:∑ 1624:ρ 1601:ε 1593:∈ 1586:∑ 1572:⁡ 1567:π 1518:ρ 1495:ε 1487:∈ 1480:∑ 1460:ρ 1454:λ 1431:ε 1423:∈ 1416:∑ 1397:⁡ 1392:π 1322:ℓ 1291:ℓ 1280:− 1250:⊂ 1191:ε 1145:λ 1119:ρ 1097:Δ 1064:Δ 986:α 983:− 975:− 953:α 934:Δ 930:∈ 927:α 923:∏ 903:ρ 897:λ 874:ε 866:∈ 859:∑ 840:⁡ 835:π 798:⁡ 793:π 765:μ 743:μ 718:π 698:μ 660:μ 650:μ 640:μ 636:∑ 620:⁡ 615:π 587:π 521:π 510:⁡ 492:⁡ 487:π 454:→ 439:π 414:π 315:π 267:χ 252:itself. 240:π 220:π 200:χ 173:∈ 141:π 113:π 93:χ 7441:Category 7410:22861245 6955:See also 6657:′ 6284:for the 4484:for the 3819:so that 2074:and the 1314:, where 283:and its 78:and the 6591:be the 2674:Weyl's 1343:is the 1232:on the 1157:is the 1086:of the 1049:is the 689:weights 129:is the 58: ( 7408:  7398:  7374:  7366:  7333:  7325:  7292:  7284:  7234:  7217:  7191:  7175:  6564:. Let 5549:where 2296:where 2101:Since 1914:. Let 1026:where 34:, the 7372:S2CID 7331:S2CID 7290:S2CID 6803:Here 6013:Here 2676:proof 2374:trace 2252:trace 2218:trace 2002:trace 378:is a 131:trace 68:1926b 64:1926a 7428:link 7424:link 7406:OCLC 7396:ISBN 7364:ISSN 7323:ISSN 7282:ISSN 7232:ISBN 7215:ISBN 7189:ISBN 7173:ISBN 7071:See 6949:Herb 6913:in W 6462:mult 4429:< 1854:Let 307:Let 60:1925 7356:doi 7315:doi 7274:doi 6595:of 5585:of 5312:sin 5277:sin 5150:sin 5115:sin 4893:dim 4807:sin 4772:sin 4538:dim 4333:sgn 4045:sin 4013:sin 3003:sin 2971:sin 2478:to 2434:of 2340:of 2187:of 710:of 382:of 287:. 212:of 133:of 125:of 82:. 38:in 30:In 7443:: 7420:}} 7416:{{ 7404:. 7370:, 7362:, 7352:24 7350:, 7329:, 7321:, 7311:24 7309:, 7288:, 7280:, 7270:23 7268:, 7251:, 7245:, 7213:, 6291:. 6111:. 4825:. 4488:. 4123:: 2098:. 1846:. 1780:ch 1563:ch 1388:ch 831:ch 789:ch 611:ch 507:tr 483:ch 435:ch 299:. 66:, 62:, 7430:) 7412:. 7358:: 7317:: 7276:: 7224:. 6933:w 6929:a 6875:W 6850:C 6845:G 6821:C 6816:H 6786:. 6780:) 6768:e 6761:1 6758:( 6751:+ 6726:e 6715:w 6711:e 6705:w 6701:a 6689:W 6684:/ 6680:W 6674:w 6663:= 6654:H 6648:| 6491:. 6486:n 6482:) 6479:n 6475:/ 6468:( 6454:1 6448:n 6440:= 6431:c 6393:c 6383:c 6379:) 6373:, 6367:( 6359:= 6353:+ 6342:= 6333:c 6329:) 6323:2 6314:, 6308:( 6289:j 6263:m 6260:n 6256:c 6251:) 6245:m 6241:q 6235:n 6231:p 6224:1 6221:( 6211:1 6208:= 6205:m 6202:, 6199:n 6190:) 6184:q 6181:1 6171:p 6168:1 6162:( 6158:= 6155:) 6152:q 6149:( 6146:j 6140:) 6137:p 6134:( 6131:j 6109:I 6105:I 6101:I 6081:I 6074:e 6067:| 6063:I 6059:| 6054:) 6050:1 6044:( 6039:I 6031:= 6028:S 6015:S 5998:. 5992:) 5980:e 5973:1 5970:( 5963:+ 5938:e 5932:) 5929:S 5921:+ 5914:e 5910:( 5907:w 5902:) 5899:w 5896:( 5889:) 5885:1 5879:( 5874:W 5868:w 5830:. 5825:n 5821:y 5813:2 5809:n 5804:x 5798:n 5794:) 5790:1 5784:( 5768:= 5765:n 5757:= 5753:) 5747:1 5740:y 5734:1 5728:m 5725:2 5721:x 5714:1 5710:( 5705:) 5701:y 5696:1 5690:m 5687:2 5683:x 5676:1 5672:( 5667:) 5661:m 5658:2 5654:x 5647:1 5643:( 5632:1 5629:= 5626:m 5604:1 5601:A 5565:Λ 5561:Λ 5559:m 5532:) 5526:j 5523:+ 5517:( 5508:m 5504:) 5498:, 5492:j 5489:+ 5483:( 5478:1 5472:j 5460:+ 5441:2 5438:= 5435:) 5429:( 5420:m 5416:) 5411:2 5400:+ 5386:2 5375:+ 5366:( 5308:/ 5304:) 5298:) 5295:1 5292:+ 5289:m 5286:( 5283:( 5254:. 5246:m 5243:i 5236:e 5232:+ 5226:+ 5218:) 5215:2 5209:m 5206:( 5203:i 5199:e 5195:+ 5187:m 5184:i 5180:e 5146:/ 5142:) 5136:) 5133:1 5130:+ 5127:m 5124:( 5121:( 5080:0 5077:= 5072:2 5068:m 5063:, 5060:1 5057:= 5052:1 5048:m 5024:) 5021:2 5018:+ 5013:2 5009:m 5005:+ 5000:1 4996:m 4992:( 4989:) 4986:1 4983:+ 4978:2 4974:m 4970:( 4967:) 4964:1 4961:+ 4956:1 4952:m 4948:( 4943:2 4940:1 4935:= 4932:) 4925:2 4921:m 4917:, 4912:1 4908:m 4903:V 4899:( 4870:) 4865:2 4861:m 4857:, 4852:1 4848:m 4844:( 4830:C 4803:/ 4799:) 4793:) 4790:1 4787:+ 4784:m 4781:( 4778:( 4732:1 4729:+ 4726:m 4676:V 4647:) 4641:, 4635:( 4628:+ 4607:) 4601:, 4595:+ 4589:( 4582:+ 4560:= 4557:) 4548:V 4544:( 4510:0 4507:= 4504:H 4469:) 4464:i 4460:X 4451:j 4447:X 4443:( 4438:n 4432:j 4426:i 4420:1 4412:= 4407:1 4401:) 4398:n 4395:( 4387:n 4383:X 4374:1 4368:) 4365:1 4362:( 4354:1 4350:X 4345:) 4339:( 4326:n 4322:S 4284:. 4280:) 4275:2 4271:/ 4267:) 4264:H 4261:( 4251:e 4242:2 4238:/ 4234:) 4231:H 4228:( 4221:e 4217:( 4210:+ 4191:= 4186:) 4183:H 4180:( 4177:) 4171:( 4168:w 4164:e 4160:) 4157:w 4154:( 4146:W 4140:w 4094:i 4091:2 4087:e 4083:= 4080:R 4057:. 4040:) 4034:) 4031:1 4028:+ 4025:m 4022:( 4019:( 4007:= 3996:i 3989:e 3977:i 3973:e 3962:) 3959:1 3956:+ 3953:m 3950:( 3947:i 3940:e 3928:) 3925:1 3922:+ 3919:m 3916:( 3913:i 3909:e 3902:= 3898:) 3893:) 3882:i 3875:e 3869:0 3862:0 3852:i 3848:e 3841:( 3836:( 3831:X 3799:) 3796:1 3793:+ 3790:m 3787:( 3784:i 3777:e 3765:) 3762:1 3759:+ 3756:m 3753:( 3750:i 3746:e 3742:= 3739:) 3731:i 3724:e 3712:i 3708:e 3704:( 3700:) 3695:) 3684:i 3677:e 3671:0 3664:0 3654:i 3650:e 3643:( 3638:( 3633:X 3606:. 3602:) 3593:) 3590:1 3587:+ 3584:m 3581:( 3578:i 3571:e 3567:+ 3559:) 3556:1 3550:m 3547:( 3544:i 3537:e 3533:+ 3527:+ 3519:) 3516:1 3510:m 3507:( 3504:i 3500:e 3495:( 3487:) 3478:) 3475:1 3469:m 3466:( 3463:i 3456:e 3452:+ 3446:+ 3438:) 3435:1 3429:m 3426:( 3423:i 3419:e 3415:+ 3407:) 3404:1 3401:+ 3398:m 3395:( 3392:i 3388:e 3383:( 3379:= 3376:) 3368:i 3361:e 3349:i 3345:e 3341:( 3337:) 3332:) 3321:i 3314:e 3308:0 3301:0 3291:i 3287:e 3280:( 3275:( 3270:X 3241:i 3234:e 3222:i 3218:e 3194:. 3186:m 3183:i 3176:e 3172:+ 3166:+ 3158:) 3155:2 3149:m 3146:( 3143:i 3139:e 3135:+ 3127:m 3124:i 3120:e 3116:= 3112:) 3107:) 3096:i 3089:e 3083:0 3076:0 3066:i 3062:e 3055:( 3050:( 3045:X 3015:. 2998:) 2992:) 2989:1 2986:+ 2983:m 2980:( 2977:( 2965:= 2954:i 2947:e 2935:i 2931:e 2920:) 2917:1 2914:+ 2911:m 2908:( 2905:i 2898:e 2886:) 2883:1 2880:+ 2877:m 2874:( 2871:i 2867:e 2860:= 2856:) 2851:) 2840:i 2833:e 2827:0 2820:0 2810:i 2806:e 2799:( 2794:( 2789:X 2765:T 2745:1 2742:+ 2739:m 2707:i 2687:i 2659:. 2651:) 2648:H 2645:( 2642:) 2636:( 2633:w 2629:e 2625:) 2622:w 2619:( 2611:W 2605:w 2593:) 2590:H 2587:( 2584:) 2578:+ 2572:( 2569:w 2565:e 2561:) 2558:w 2555:( 2547:W 2541:w 2530:= 2527:) 2522:H 2518:e 2514:( 2510:X 2486:T 2444:k 2402:) 2399:) 2394:H 2390:e 2386:( 2380:( 2368:H 2348:K 2326:k 2292:, 2280:) 2275:) 2272:H 2269:( 2262:e 2258:( 2249:= 2246:) 2243:) 2238:H 2234:e 2230:( 2224:( 2195:T 2173:t 2151:H 2131:T 2110:X 2086:K 2062:K 2039:. 2036:K 2030:x 2026:, 2023:) 2020:) 2017:x 2014:( 2008:( 1999:= 1996:) 1993:x 1990:( 1986:X 1942:K 1902:K 1882:T 1862:K 1832:) 1829:H 1826:( 1823:) 1817:+ 1811:( 1807:e 1757:) 1754:H 1751:( 1748:) 1742:+ 1736:( 1732:e 1707:. 1702:) 1699:H 1696:( 1693:) 1687:+ 1681:( 1678:w 1674:e 1670:) 1667:w 1664:( 1656:W 1650:w 1642:= 1636:) 1633:H 1630:( 1627:) 1621:( 1618:w 1614:e 1610:) 1607:w 1604:( 1596:W 1590:w 1581:) 1578:H 1575:( 1547:, 1530:) 1527:H 1524:( 1521:) 1515:( 1512:w 1508:e 1504:) 1501:w 1498:( 1490:W 1484:w 1472:) 1469:H 1466:( 1463:) 1457:+ 1451:( 1448:w 1444:e 1440:) 1437:w 1434:( 1426:W 1420:w 1409:= 1406:) 1403:H 1400:( 1355:w 1331:) 1328:w 1325:( 1300:) 1297:w 1294:( 1287:) 1283:1 1277:( 1255:g 1245:h 1220:w 1200:) 1197:w 1194:( 1181:; 1169:V 1135:; 1109:; 1068:+ 1053:; 1037:W 1008:) 1003:2 999:/ 995:) 992:H 989:( 979:e 970:2 966:/ 962:) 959:H 956:( 949:e 945:( 938:+ 915:) 912:H 909:( 906:) 900:+ 894:( 891:w 887:e 883:) 880:w 877:( 869:W 863:w 852:= 849:) 846:H 843:( 807:) 804:H 801:( 739:m 683:, 669:) 666:H 663:( 656:e 646:m 632:= 629:) 626:H 623:( 567:0 564:= 561:H 538:. 535:) 530:) 527:H 524:( 517:e 513:( 504:= 501:) 498:H 495:( 458:C 449:h 444:: 392:g 364:h 340:g 281:G 176:G 170:g 150:) 147:g 144:( 127:G 20:)

Index

Weyl denominator formula
mathematics
representation theory
characters
compact Lie groups
highest weights
Hermann Weyl
1925
1926a
1926b
representation theory of connected compact Lie groups
Weyl dimension formula
Kostant multiplicity formula
trace
Peter–Weyl theorem
closed formula
Lie algebra
Lie groups
semisimple Lie algebra
Cartan subalgebra
weights
Weyl group
positive roots
root system
highest weight
Cartan subalgebra
length of the Weyl group element
Peter–Weyl theorem
irreducible representation
Vandermonde determinant

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.