Construction
Exterior-power representation
The representation induced on an exterior power by applying each group element, or infinitesimally by a derivation formula.
Core idea
Let be a representation of a Lie group and let . Its -th exterior-power representation is the representation on the degree- part of the exterior algebra given by
If is a Lie-algebra representation, the induced action is
Thus the Lie algebra acts as a degree-zero derivation, while a group element acts by an algebra automorphism.
Basic cases
The zeroth exterior power is the one-dimensional trivial representation, and . If has dimension , then is one-dimensional and carries the determinant character:
Exterior powers above degree vanish.
For the defining representation of , the representations , , are the fundamental representations.
Weights
Suppose has a basis of weight vectors with weights . Then a nonzero wedge
has weight . Antisymmetry forces repeated basis vectors to vanish, which is the representation-theoretic difference between exterior and tensor powers.
Group versus Lie algebra
Differentiating the group formula gives the displayed derivation formula. Conversely, an exterior power of a Lie-algebra representation integrates whenever the original representation does, but the global representation still belongs naturally to the same covering group as the original. Passing to a quotient group requires its kernel to act trivially on , which can occur even when it does not act trivially on .
References
- William Fulton and Joe Harris, Representation Theory: A First Course, Springer, 1991, §§6 and 15. Publisher record.
- Roe Goodman and Nolan R. Wallach, Symmetry, Representations, and Invariants, Springer, 2009, §3.1. Publisher record.