Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-6/5/i/solution

Use the generators of the sl2 Lie algebra with , , and . For a finite-dimensional Lie algebra representation, is diagonalizable with integral weights. Its formal character of a weight module is
Here is a formal variable; equivalently the expression is , or the formal sum with . This records every weight multiplicity, rather than only the dimension.
The classification of finite-dimensional sl2 representations says that , the irreducible of highest weight , has the weight string , each with multiplicity one. Hence
The quotient denotes the displayed Laurent polynomial and has the removable value at . Formal characters are additive on direct sums, so these formulas determine the character of every finite-dimensional module.

New to topics? Read the docs here!