Past exam of the groups and representations course of the University of Oxford / 2023 / 3 / e

Number the simple roots of the $A_4$ root system consecutively along its Dynkin diagram. For a Young diagram with row lengths $r_i$, its highest weight has Dynkin labels $a_i=r_i-r_{i+1}$. The three irreducible representations have the following Young diagrams, which can be filled increasingly down the column to give Young tableaux:Here $i=1,\dots ,5$, $v^i\mapsto U^i{}_j{v}^j$, and $T^{ij}\mapsto U^i{}_k{U}^j{}_l{T}^{kl}$. Contraction with the invariant alternating tensor identifies ${\tilde{v}}_i=(1/4!){ϵ}_{i{i}_1{i}_2{i}_3{i}_4}{w}^{i_1{i}_2{i}_3{i}_4}$, giving the dual representation of $5$. The dimensions follow from $\left(\genfrac{}{}{0ex}{}{5}{1}\right)=5$, $\left(\genfrac{}{}{0ex}{}{5}{4}\right)=5$, $\left(\genfrac{}{}{0ex}{}{5}{2}\right)=10$.

Use the centralizer and circle group normalization of solution. The first three components have U(1) charge $-2$ and the last two have U(1) charge $3$, so the branching of a representation isFor the dual representation, both U(1) charges reverse and the $SU(3)$ representation is conjugated; the $SU(2)$ doublet is equivalent to its conjugate. Taking the exterior square of the first decomposition gives three types of antisymmetric tensor components: $T^{ab}$, $T^{a\alpha }$, and $T^{\alpha \beta }$, where $a,b=1,2,3$ and $\alpha ,\beta =4,5$. Their U(1) charges add, and ${\Lambda }^{2}3=\overline{3}$, ${\Lambda }^{2}2=1$. HenceThe dimensions are $3+6+1=10$. These product labels describe genuine representations of the quotient group in solution: every element of its ${\mathbb{Z}}_6$ kernel acts trivially on each summand.