D5 root system 2026-10-25
The root system consists of the forty roots , , in an orthonormal basis. One choice of simple roots is . The Dynkin diagram has a fork at node with ends and . Its Weyl group permutes coordinates and changes an even number of signs. The associated complex simple Lie algebra is . Its two half-spin representations have dimension , with highest weights .
Past exam of the groups and representations course of the University of Oxford 2023 4 b Solution 2026-10-25
For the D5 root system, take an orthonormal basis and simple roots for , together with . The Dynkin diagram has single bonds , , , , with the fork at node . Thus its Cartan matrix isThe fundamental weight has Dynkin labels . Its pairing with every positive coroot , , is zero or one. Hence its half-spin representation is a minuscule representation, so its weight system is a single Weyl group orbit with multiplicity one. The Weyl group of the D5 root system permutes coordinates and changes an even number of signs. Consequently its complete weight system isThere are such weights. Their Dynkin labels are , explicitlyHere the Lie algebra is , or its compact real form when discussing compact groups. Globally the half-spin representation is a representation of , and does not descend to ; the question only specifies the Lie algebra.
Past exam of the groups and representations course of the University of Oxford 2023 4 d Solution 2026-10-25
Choose the first as and embed in the upper-left three-by-three block of . The fundamental representations then restrict as and . Thus the representation in solution, forgetting hypercharge, restricts toThis contains every required representation, with one extra singlet.
For the hypercharge embedding, let in the fundamental representation, and in the second . These commute with . The integer normalization in the paper isExplicitly, this circle group embeds in the covering group byBoth nontrivial blocks have determinant one, and the map is injective since the first three entries of the block recover .
On , , so the branching of a representation gives . On , the U(1) charges under are on and on , while takes values . HenceCombining the two summands givesThis is the Pati-Salam charge embedding, with . In terms of the common Standard Model convention , the paper's integer hypercharge is .
The extra neutral singlet can be interpreted as the left-handed charge conjugate of a right-handed neutrino. It is a sterile neutrino under the Standard Model gauge group, and completes the sixteen Weyl fermions of one family in this half-spin representation. Its neutrality permits a Majorana mass term without violating the remaining Standard Model gauge group.