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

Use Dynkin labels $w_i=⟨w,{\alpha }_i^{\vee }⟩$, so the rows of the Cartan matrix are the simple roots expressed in fundamental weight coordinates. For the A2 root system,Starting at the highest weight $(1,0)$ and subtracting successive allowed simple roots gives $(1,0)\to (-1,1)\to (0,-1)$. Negating these weights gives the dual representation. Hence the two fundamental weight systems areEach listed weight has weight multiplicity one. The highest weight $(1,1)={\alpha }_1+{\alpha }_2$ is the highest root, so its representation is the Adjoint representation. Its nonzero weights are the six roots, while the Cartan subalgebra supplies the zero weight twice:The superscript $[2]$ indicates weight multiplicity. This also follows from $3\otimes \overline{3}=8\oplus 1$: the nine tensor product weights comprise six differences of distinct fundamental weights and three zeros, one zero belonging to the trivial representation.

For an A2 root system weight $w=(w_1,w_2{)}^T$, the specified electric charge and flavour hypercharge are the linear functionalsApply these to the meson octet weights in solution. The results, with electric charges measured in units of the positive elementary electric charge, areThe table illustrates the meson octet of pseudoscalar mesons; the same weight calculation applies to another meson species arranged in the same representation. Here flavour hypercharge is $Y=B+S$, with $B$ the baryon number and $S$ the strangeness, rather than weak hypercharge. If the full quark model tensor product $3\otimes \overline{3}$ is retained, its additional trivial representation is a ninth meson with $(q,y)=(0,0)$. This singlet is separate from the octet and need not share its mass.

Order the simple roots of the G2 root system with ${\alpha }_1$ long and ${\alpha }_2$ short. This ordering is consistent with the supplied projection in solution; reversing the nodes would interchange the two fundamental Dynkin labels. Choose $({\alpha }_1,{\alpha }_1)=2$, $({\alpha }_2,{\alpha }_2)=2/3$, and $({\alpha }_1,{\alpha }_2)=-1$. With the same row convention for the Cartan matrix as in solution,The positive roots, with their Dynkin labels, areFor the highest weight $(0,1)$, a lowering chain isThe middle three terms form the length-three weight string for the short simple root. The Weyl dimension formula, with this long-first convention, isIt gives seven for $(0,1)$, so the chain exhausts the weight system, with every weight multiplicity equal to one:For $(1,0)$, observe that $2{\alpha }_1+3{\alpha }_2=(1,0)$ is the highest root. Thus this is the Adjoint representation; the twelve root spaces contribute the twelve nonzero weights once, and the rank-two Cartan subalgebra contributes two zero weights. ThereforeThe same Weyl dimension formula gives fourteen, confirming the count.

The highest root is $\theta =2{\alpha }_1+3{\alpha }_2$. In the Extended Dynkin diagram, the extra node $-\theta$ is long and is joined by a single bond to the long node ${\alpha }_1$; it is orthogonal to the short node ${\alpha }_2$. Deleting the short node therefore leaves the A2 root system Dynkin diagram. Equivalently, the six long roots are a closed root subsystem, so their root spaces together with the Cartan subalgebra form an A2 root system Lie subalgebra. The corresponding compact subgroup is $SU(3)\subset G_2$.

For the particular projection in the paper, choose the A2 root system simple roots as ${\beta }_1={\alpha }_1+3{\alpha }_2$ and ${\beta }_2={\alpha }_1$. Since these are long, ${\beta }_1^{\vee }={\alpha }_1^{\vee }+{\alpha }_2^{\vee }$ and ${\beta }_2^{\vee }={\alpha }_1^{\vee }$. Consequently the Dynkin labels restrict asProjecting the six short roots gives $\pm (1,0),\pm (0,1),\pm (1,-1)$. Group these into the three weights of $3$ and the three of $\overline{3}$ listed in solution. The zero weight of $7$ is left over, soThe three positive long roots project as $(2,-3)\mapsto (-1,2)$, $(-1,3)\mapsto (2,-1)$ and $(1,0)\mapsto (1,1)$. Together with their negatives and the two zero weights, these are exactly the Adjoint representation $8$. The remaining six short roots again give $3\oplus \overline{3}$. Hence the branching of a representation is

A G2 multiplet containing the known meson octet must restrict to a representation containing $8$. Among the two fundamental representations just computed, $7$ fails this test, while the Adjoint representation $14$ contains the required octet. Thus the minimal such choice isLarger representations containing an octet would be other model choices; the octet alone does not force a unique arbitrarily large representation.

A dual vector must be pulled back by $P^T$, since $q_A^{T}Pw=(P^T{q}_A{)}^{T}w$. Applying this to the electric charge and flavour hypercharge vectors givesThus a G2 root system weight $(a,b)$ has $(q,y)=(a+2b/3,a+b/3)$. This pullback ensures that every known octet meson retains its values from solution. The extra $3\oplus \overline{3}$ gives six additional mesons, one at each ofFor instance the first three come from the G2 root system weights $(0,1)$, $(1,-2)$ and $(-1,1)$; the other three come from their negatives. The weight diagram displays the preserved octet and the new states.

The fractional electric charges make these additional states qualitatively different from ordinary quark-antiquark mesons, whose electric charges are integers. This is a consequence of the proposed symmetry extension, not evidence for such particles. If “known mesons” also includes a flavour singlet from $3\otimes \overline{3}$, that singlet can be accommodated by a separate G2 trivial representation: the minimal octet-plus-singlet construction is then $14\oplus 1$, still with six new states. A demand for one irreducible G2 multiplet containing the entire nonet is a different extra assumption; $14$ alone does not contain that singlet.