Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-103/5/iii/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 103 5 iii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Assume . The standard Young tableaux of shape are , for : the sole second-row entry is , and the first row isThis lists all of them, since must occupy the first box and the rest of the first row is forced to increase. Their contents areWrite . 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 isPermuting 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!