Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-103/5/iii/solution

Assume . The standard Young tableaux of shape are , for : the sole second-row entry is , and the first row is
This lists all of them, since must occupy the first box and the rest of the first row is forced to increase. Their contents are
Write . The only nontrivial adjacent swaps exchange the lower entry with or . Substituting the content differences into Young orthogonal form yields all generator actions:
In the first line at , the square-root coefficient is zero and the action is , so no vector is needed. The second line is used only when , since the generator does not exist.
The corresponding Specht module is the sum-zero standard representation of the symmetric group:
A concrete orthonormal realization is
Permuting coordinates gives exactly the actions above, linking this orthogonal tableau basis with the Gelfand–Tsetlin basis found in Question 1. Here the printed are the adjacent Coxeter generators, rather than products of all generators.

New to topics? Read the docs here!