Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-102/5/a/ii/solution

For , the Verma module has basis
by the Poincare-Birkhoff-Witt theorem. If , then
For with , the coefficient is
for every . Thus no with is a singular vector.
Any nonzero submodule contains a weight vector because the -weights are distinct. Applying gives a nonzero multiple of , after which applying powers of generates all of . Hence
This is also the negative-highest-weight case of Reducibility of an sl2 Verma module.

New to topics? Read the docs here!