Formal character of a minuscule representation
ID: formal-character-of-a-minuscule-representation
The formal character of a weight module for a minuscule representation of highest weight is . The sum is over distinct points of the Weyl group orbit, so .
New to topics? Read the docs here!