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.
Articles by others on the same topic
There are currently no matching articles.