For a traceless Hermitian adjoint scalar with potential , the stationary eigenvalues satisfy . The usual bound of three distinct eigenvalues requires this polynomial not to vanish identically. With , , every traceless matrix of squared norm is a global minimum, including matrices with all eigenvalues distinct. In SU(5), this permits an unbroken maximal torus , outside the generic three-block classification.
Minimal anomaly-free chiral family in SU(6) 2026-10-25
The SU(6) representations and branch under SU(5) as and . Their cubic gauge anomaly coefficients are and in fundamental normalization. Thus is anomaly-free and gives one Standard Model family , a vectorlike gauge spectrum , and two singlets. With these representations and their conjugates, precisely one net chiral family requires and , so this is the smallest such choice.
Past exam of the groups and representations course of the University of Oxford 2019 3 e Solution 2026-10-25
The first coordinate is fixed by the embedded SU(5), while the last five transform in its defining representation. Therefore , and taking the dual representation gives .
For the symmetric square, the fixed-fixed component is one trivial representation, the fixed-five mixed components give , and the symmetric five-five block is . For the exterior square, the fixed-fixed component vanishes, the mixed components give , and the antisymmetric five-five block is . Finally restrict , using .
The five SU6 tensor branchings to SU5 are thusThe symbols on the left and right refer to different groups: the left-hand one is the SU(6) exterior square, whereas the right-hand one is the SU(5) symmetric square. The dimension checks are , , and .
Explicitly, in the Adjoint representation the lower-right traceless five-by-five block gives ; the lower-left column and upper-right row give and ; and the diagonal direction gives the remaining trivial representation.
Past exam of the groups and representations course of the University of Oxford 2022 3 d Solution 2026-10-25
The complexification of a Lie algebra in the Adjoint representation of SU(5) consists of traceless endomorphisms of . Splitting an endomorphism into its four blocks gives traceless endomorphisms of and , one relative block-scalar direction, and the two off-diagonal spaces and .
The first three pieces transform as , and . The off-diagonal pieces have U(1) charges equal to output minus input charge, namely and . ThusThe dimensions are . The first three summands are precisely the gauge fields of the local gauge group . The extra gauge fields of the SU(5) gauge theory transform asHermiticity relates the two off-diagonal blocks, so these describe twelve real gauge fields, or six complex fields and their conjugates. Globally, the subgroup generated by and inside SU(5) is , since the parametrization has a six-element kernel. This finite quotient does not alter the stated branching of a representation.
Past exam of the groups and representations course of the University of Oxford 2022 4 b Solution 2026-10-25
For the special unitary group , denote a one-column Young tableau with empty boxes by . Explicitly the columns needed here areA column is the exterior power , with highest weight and dimension . Contraction with the invariant volume tensor identifies and . This gives all the requested Dynkin labels, Young tableaux, dimensions and tensors:Here and . Lower indices denote the dual representation, equivalent to the conjugate representation for these compact groups. The SU(6) in this question is an exterior square; the SU(5) in solution is a symmetric square. The ambient group is essential to distinguish them.
Past exam of the groups and representations course of the University of Oxford 2022 4 e Solution 2026-10-25
One left-handed Standard Model family requires the SU(5) representation content . No single irreducible representation in solution contains both. At the level of containing the required fields, the smallest choice isThe additional SU(5) multiplets are a and a trivial representation. Another minimal choice using only two of the listed irreducible representations isIts additional multiplets form the conjugate representation of a family. More generally, for multiplicities , branching of a representation givesThus containing a family requires and .
For a consistent chiral grand unified theory, containment alone is insufficient. Normalize the cubic gauge anomaly coefficient by . For the special unitary group , , so for SU(6) it is . To verify this directly, take a traceless diagonal generator with entries : its exterior square has entries , andThe conjugate representation reverses this cubic gauge anomaly. The combination has coefficient , so cannot alone be a quantum-consistent chiral SU(6) gauge theory. The minimal anomaly-free choice with one net chiral gauge spectrum of a family is insteadThe additional nonsinglet fields form a vectorlike gauge spectrum that can acquire an SU(5)-invariant mass, and the two gauge singlets may serve as sterile neutrinos. More generally, precisely one net chiral gauge spectrum of a family with vectorlike extra nonsinglets requires and ; these conditions also cancel the cubic SU(6) gauge anomaly. The choice above is anomaly-free but has zero net chirality.
Impose the discrete Z2 symmetry . The quadratic and quartic trace invariants are unchanged, while changes sign. Invariance therefore forbids a nonzero coefficient of that cubic operator. This is an additional symmetry of the scalar potential, not a consequence of SU(5) conjugation alone; cubic traces are permitted by the latter.
The spectral theorem for a Hermitian matrix gives a unitary diagonalizer with and real . Similarity preserves the trace, so .
To ensure that the diagonalizer belongs to SU(5) rather than only the unitary group , write and put . Its determinant is one, and the scalar phase cancels from its conjugation action. ThusThe same argument shows why no additional reality condition beyond Hermiticity is needed. Permuting the real eigenvalues merely changes their order in the diagonal form.
SU6 tensor branchings to SU5 2026-10-25
For the embedding , the defining SU(6) representation restricts to the defining SU(5) representation plus a trivial representation. Taking dual representations, symmetric squares, exterior squares and traceless endomorphisms gives , , , and . The fixed diagonal direction in the Adjoint representation is . Dimensions label representations of different groups on the two sides: the fifteen-dimensional SU(6) representation is alternating, while the fifteen-dimensional SU(5) representation is symmetric.