Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-3/19f/c/solution

The dual representation on is . The bilinear form on is nondegenerate and invariant under SU(2), because every group matrix has determinant one. Thus it gives an equivariant isomorphism . Taking the th symmetric power gives an equivariant isomorphism between its th symmetric power and its dual. Since homogeneous polynomials realize , this proves

New to topics? Read the docs here!