Exterior square of the sl3 representation of highest weight (2,1)

ID: exterior-square-of-the-sl3-representation-of-highest-weight-2-1

The formal character identity counts unordered pairs of distinct basis vectors. Substituting and the Weyl character formula gives the displayed multiplicity-free decomposition. Its dimensions sum to . The sl3 interlacing character formula provides an exact weight-enumeration check.

New to topics? Read the docs here!