In mathematics, the Weyl character formula in representation theory describes the characters of irreducible representations of compact Lie groups in terms of their highest weights.[1] It was proved by Hermann Weyl (1925, 1926a, 1926b). There is a closely related formula for the character of an irreducible representation of a semisimple Lie algebra.[2] In Weyl's approach to the representation theory of connected compact Lie groups, 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.[3] Important consequences of the character formula are the Weyl dimension formula and the Kostant multiplicity formula.
By definition, the character of a representation of G is the trace of , as a function of a group element . The irreducible representations in this case are all finite-dimensional (this is part of the Peter–Weyl theorem); so the notion of trace is the usual one from linear algebra. Knowledge of the character of gives a lot of information about itself.
Weyl's formula is a closed formula for the character , in terms of other objects constructed from G and its Lie algebra.
^Hall 2015 Section 12.4.
^Hall 2015 Section 10.4.
^Hall 2015 Section 12.5.
and 22 Related for: Weyl character formula information
In mathematics, the Weylcharacterformula in representation theory describes the characters of irreducible representations of compact Lie groups in terms...
In mathematics, the Weyl integration formula, introduced by Hermann Weyl, is an integration formula for a compact connected Lie group G in terms of a...
resulting Weylcharacterformula was one of the influential results of twentieth century mathematics. The combination of the Peter–Weyl theorem and the Weyl character...
\Delta } . Kostant used it to rewrite the Weylcharacterformula as a formula (the Kostant multiplicity formula) for the multiplicity of a weight of an...
consequence of the Weylcharacterformula, and for the Lie algebra sl2 it is essentially the Clebsch–Gordan formula. Steinberg's formula states that the...
{\displaystyle {\mathfrak {h}}} of the) character can be computed more explicitly by the Weylcharacterformula. Irreducible representation § Applications...
subgroup Cartan subalgebra Toral Lie algebra Bruhat decomposition Weylcharacterformula Representation theory of a connected compact Lie group Hall 2015...
x_{n})}}.} This is known as the bialternant formula of Jacobi. It is a special case of the Weylcharacterformula. This is a symmetric function because the...
and character of the Schur module are given by the Weylcharacterformula (as in characteristic zero), by George Kempf. The dimensions and characters of...
polynomials, giving the so-called bialternant formula for these, which is a special case of the Weylcharacterformula, and deriving the Jacobi–Trudi identities...
Simply laced group ADE classification Maximal torus Weyl group Dynkin diagram Weylcharacterformula Representation of a Lie group Representation of a Lie...
same infinitesimal character. Harish-Chandra went on to prove an analogue for these representations of the Weylcharacterformula. In the case where G...
is the complexification of K, and the formulas are related to analytic continuations of the Weylcharacterformula on K. The abstract functional analytic...
group Weight (representation theory) Weyl's theorem on complete reducibility Root system Weylcharacterformula Representation theory of a connected compact...
weight. The character of a finite-dimensional simple module in turns is computed by the Weylcharacterformula. The theorem due to Weyl says that, over...
Weinberg and Edward Witten Weylcharacterformula See also: List of things named after Hermann Weyl Mathematics Hermann Weyl Wien's law Physics Wilhelm...
with the same character turn out to be isomorphic. Furthermore, the Weylcharacterformula gives a remarkable formula for the character of a representation...