For , split its first pair into symmetric and antisymmetric parts. The fully symmetric part is a symmetric cubic representation of SU(3). Write and . Then is traceless and . The antisymmetric part is , with . Splitting into its traceless part and trace gives the second adjoint representation of SU(3) and the singlet. These maps use invariant tensors, so they commute with the group action and explicitly realize the four irreducible summands.
The Kronecker delta is the identity map on the defining representation. Its transformation is . For the alternating Levi-Civita symbol, the determinant identity gives
The lower-index alternating tensor transforms with three inverse matrices and acquires instead. Thus , and are invariant tensors of SU(3). These identities use unimodularity; unitarity identifies the dual representation with the complex-conjugate defining representation.
For a mixed SU(3) tensor representation , the matrix trace is invariant. Hence
gives
The trace is the singlet. The traceless matrix transforms by conjugation, so it is the adjoint representation of SU(3). It is irreducible: an invariant complex subspace is invariant under commutators with the complexified algebra , and would be an ideal in that simple Lie algebra. Only the zero and full traceless-matrix spaces are possible.
For the cubic tensor, define its symmetric and antisymmetric first-pair parts by
and let be its completely symmetric part. This has independent components and transforms as the symmetric cubic representation of SU(3). Its irreducibility can be seen in the homogeneous cubic-polynomial realization: the simultaneous highest-weight conditions and leave only . A finite-dimensional unitary representation is completely reducible, and each irreducible summand has a highest-weight vector, so this single highest-weight line implies a single irreducible summand. Lowering generates all ten monomials.
Remove this fully symmetric part from , putting . Define
Its trace vanishes because is symmetric in its first two indices. Invariance of makes transform as one upper and one lower index. The inverse map is
Indeed contraction with gives . The inverse has the required first-pair symmetry and zero completely symmetric part. Thus this eight-dimensional remainder is another adjoint representation of SU(3).
For the antisymmetric part, define
Now decompose , with traceless. The first term supplies a second independent octet; the trace supplies a singlet proportional to . With , the explicit cubic SU3 tensor projections reconstruct the entire tensor:
All projections commute with the SU(3) action because they use permutations and invariant tensors. Their inverse maps and the dimension count establish
The two octets are equivalent as group representations but distinct subspaces in this decomposition; one comes from the first-pair symmetric sector and the other from the first-pair antisymmetric sector. General permutations can mix these equivalent copies.
In the quark model, the up quark, down quark and strange quark form the defining triplet of approximate flavor symmetry. Three-quark baryons therefore have precisely these possible flavor representations. The fully symmetric decuplet corresponds to the observed spin- baryon decuplet: the four Delta baryons, three states, two states and the Omega baryon. Their strangeness rows have flavor hypercharge and isospin ; and occupy the extreme and weights.
The observed spin- baryon octet contains the nucleons, three Sigma baryons, the Lambda baryon and two Xi baryons. In its row, and share the same third-component/hypercharge weight but have different total isospin. Approximate flavor symmetry explains multiplet organization, not exact equality of all their masses: the strange-quark mass and electromagnetic interactions break it.
The two octet copies in the flavor tensor do not require two identical ground-state octets. A three-quark colour singlet is antisymmetric in color; for a symmetric ground-state orbital wavefunction, the Pauli exclusion principle requires a symmetric combined spin-flavor state. The mixed flavor octet tensors combine with the mixed spin- tensors to supply that symmetry. The symmetric flavor decuplet combines with symmetric spin . Together they form the symmetric spin-flavour SU6 representation, with spin-flavor states. A completely antisymmetric flavor singlet cannot appear in this spatial ground state because three spin- indices have no fully antisymmetric spin state: . Three-quark flavour singlet configurations instead require a suitable excited spatial/spin symmetry. Flavor SU(3) here is distinct from the exact color gauge symmetry; treating them as the same group action would misidentify the physical multiplets.
Let be the defining flavor SU(3) representation. Under , . The antiquark transforms in the dual representation:
Since is unitary, its lower-index column of components transforms by , the complex conjugate numerical matrix. Thus is invariant. The defining triplet and its conjugate are inequivalent complex representations; conjugation reverses their weights. Write and , and distinguish a direct sum from a tensor product .
First split into symmetric tensors and totally antisymmetric tensors:
The symmetric part has dimension . Contracting the antisymmetric part with the invariant Levi-Civita symbol gives , which transforms as a dual vector because . Its inverse is . Hence
The symmetric part is the irreducible highest-weight representation with Dynkin labels ; its six monomials give the standard symmetric-square representation.
For three triplets, the antisymmetric first-pair sector becomes . Its tensors split into their scalar trace and traceless part:
The traceless part is the adjoint representation of SU(3); conjugation acts as . It is irreducible because an invariant subspace would be an ideal in the simple complex special linear Lie algebra .
The symmetric first-pair sector consists of and has dimension . Complete symmetrization maps it onto , whose dimension is . Its kernel is the mixed-symmetry eight-dimensional sector. More explicitly, the equivariant map has trace zero because the first two indices of are symmetric; it annihilates the completely symmetric part and is not identically zero. Since the target adjoint module is irreducible, the map is onto its eight-dimensional space. Its kernel is consequently exactly the ten-dimensional completely symmetric part. Complete symmetrization supplies an invariant splitting, so this sector is . Combining the sectors gives the tensor cube of the defining SU(3) representation
Here the decuplet has Dynkin labels , and the singlet is the fully antisymmetric contraction . The two octets are distinct copies, not two different irreducible types.
For two conjugate SU(3) triplets with a triplet, begin with and split its lower pair. An antisymmetric lower pair is identified by with an upper index, giving . The symmetric lower-pair sector has dimension , and its contraction is the equivariant map
It is onto , since the invariant embedding
satisfies . Every such tensor therefore splits uniquely as . The latter tensor is symmetric in its lower indices and has zero contraction, with dimension . It contains the highest-weight vector of Dynkin labels ; contraction vanishes because its upper and lower indices differ. The Weyl dimension formula for an SU(3) module with labels is , which gives for . These tensor representations are unitary, so invariant subspaces have invariant orthogonal complements; the irreducible highest-weight summand containing this vector exhausts the fifteen-dimensional kernel. Thus
The question's dimension label denotes , rather than its conjugate ; they have equal dimensions but different tensors. Conjugating the triplet-cube decomposition gives
The octet is self-conjugate, whereas the symmetric decuplet changes to .
Now consider the flavor diquark . This notation describes an antisymmetric two-quark flavor state; color and spin factors are separate. In particular has isospin zero, baryon number , strangeness zero and flavor hypercharge . The strange antiquark has , , and . Thus has
The charge follows from the Gell-Mann--Nishijima formula. Each of the three factors has lower flavor index , so their product is the completely symmetric tensor component . It lies entirely in , the pentaquark antidecuplet. Equivalently, the symmetric diquark pair belongs to , and , with this highest-hypercharge state in the antidecuplet.
It cannot be in an octet. The octet has the weights of a traceless tensor, whose hypercharges are . For the quark values are , so these differences are only ; there is no weight. The octet's top row instead has and . This is a flavor-representation assignment for a possible pentaquark, not a proof that the configuration binds or that its full color-spin-orbital wavefunction satisfies all Fermi statistics constraints.
The local matrix is a gauge transformation in the representation acting on the matter field. With Hermitian Lie algebra generators it can be written locally in spacetime, and pointwise for , as
The real functions can instead include a factor of by redefining the transformation parameters. The gauge covariant derivative convention in this paper is . Inserting the stated transformed shows explicitly that the term cancels, giving .
In QCD, each quark field is in the colour fundamental representation , with . Thus its colour generators are eight matrices, conventionally for the Gell-Mann matrices; their number is not their matrix dimension. The eight gluons themselves transform in the adjoint representation of SU(3).
With , the pure Yang-Mills theory has Lagrangian . Put and . Since ,
The cross term has two derivative contributions. Interchange and then in the second; antisymmetry of makes it equal to the first. The cubic and quartic Yang-Mills self-interactions are therefore
The positive cubic sign follows from the negative term in the given Yang-Mills field strength; changing the covariant-derivative convention consistently changes intermediate signs.
For the left-handed quark doublet , the hypercharge is and the weak generators are . Its electroweak term is
The Pauli matrices give diagonal entries and off-diagonal entries . Expanding the term gives
In particular the off-diagonal weak charged current coupling is .
Write , . Invert the neutral-field rotation: , . The original PDF gives , so
The photon coefficients inside the derivative are for , and for . Multiplication by the in the kinetic Lagrangian gives the requested electromagnetic coupling of a weak multiplet:
Equivalently it is , making the electric charges explicit. The remaining neutral terms are . The TeX's missing prime in the mixing-angle ratio and truncated first Pauli matrix are conversion errors, not physical assumptions.
A fundamental matrix realization compatible with the root normalization is
The weights of a representation on the coordinate states are therefore
Each has weight multiplicity one. The weight diagram of the defining SU(3) representation is the corresponding equilateral triangle. These are coordinates; the familiar vertical flavor hypercharge coordinate is .
For the adjoint representation of SU(3), the states are elements of the Lie algebra. The two Cartan generators commute with both , giving representation weight with multiplicity two. Each root generator is an eigenvector of the Cartan adjoint action with representation weight . Consequently
The six nonzero representation weights form a regular hexagon, with a doubly occupied centre. Its highest weight is , so its Dynkin labels are and its dimension is eight. The triplet and octet panels in the preceding figure give these two weight diagrams explicitly.
The SU(3) Lie algebra is the compact real algebra of traceless skew-Hermitian matrices; its complexification is , a special linear Lie algebra. In an antihermitian Lie algebra representation, the two commuting Cartan operators are Hermitian matrices, and the root operators satisfy . Thus the spectral theorem gives an orthogonal weight-space decomposition
A weight diagram plots the pairs , recording the weight multiplicity at each position. One point need not represent only one state. The commutators with give the roots of a root system
The raising operators move a nonzero weight vector by and the lowering operators move it by . These six root directions form the A2 root system. Each root and its negative generate an SU(2) representation ladder; in particular the pairs with Cartan operators and constrain the two simple-root strings.
Choose a linear functional positive on the three positive roots. A maximal weight for this ordering is killed by every raising operator. In an Irreducible Lie algebra representation it generates the entire representation by lowering, and its weight space has dimension one. The two SU(2) representation strings show that its Dynkin labels are nonnegative integers:
Conversely, each such pair specifies exactly one finite-dimensional irreducible highest-weight representation. Write it as . The fundamental weights in these Cartesian coordinates are and , so
The dimension follows from the three positive-root factors in the Weyl dimension formula: , , and . The complex conjugate representation is , with every weight negated. The SU(3) highest-weight coordinates here use as Dynkin labels, not as the plotted Cartesian coordinates.
The weight diagram is invariant under the Weyl group, generated by reflections perpendicular to the two simple roots; its convex hull is the orbit polygon of the highest weight. For it is a point, the trivial representation. If exactly one of is zero, the polygon is an equilateral triangle, with opposite orientations for and . Its edge has root steps. If , it is a hexagon with alternating edge lengths root steps; it is regular precisely when . The diagram contains the lattice points in that polygon belonging to the coset root lattice. A point in a different weight lattice coset is not a weight merely because it lies inside the polygon.
The shell multiplicities in an SU(3) weight diagram can be stated geometrically. The outer boundary has weight multiplicity one. Removing it leaves the orbit polygon for on the same lattice coset, with every surviving multiplicity reduced by one. Repeating increases the actual weight multiplicity by one at each inward layer until the smaller label reaches zero. The remaining triangular region then has constant multiplicity ; when it is just the central point. A triangular weight diagram has multiplicity one everywhere. Thus , the adjoint representation of SU(3), has six root weights of multiplicity one and two independent zero-weight states; has an outer shell of multiplicity one and an inner triangle of multiplicity two; has twelve outer states, six positions of multiplicity two, and a central position of multiplicity three. The total is . The dominant weight multiplicity formula for sl3 is an algebraic expression of the same rule.
Figure 1.
Triangular and hexagonal SU(3) weight diagrams, with each weight-space dimension shown at its point
. Details.
For a tensor product of Lie algebra representations, the Cartan operators add. Consequently its tensor-product weight diagram has weights and multiplicities
Geometrically, place a copy of the second weight diagram at every weight of the first, multiplying and adding coincident multiplicities. Because the representation is antihermitian, invariant subspaces have invariant orthogonal complements. To decompose the product, select a maximal remaining dominant weight, identify its irreducible highest-weight representation, subtract that representation's whole diagram with its weight multiplicities, and repeat. This highest-weight character subtraction must exhaust every weight, not merely the corners. Unlike the Clebsch-Gordan decomposition for SU2, an SU(3) product may contain repeated copies of an irreducible representation.
The two three-dimensional Fundamental representations of sl3 are and . In , the largest weight is , giving the six-dimensional triangle ; subtracting it leaves the reversed three-dimensional triangle . The first summand consists of symmetric tensors and the second of antisymmetric tensors. In , the weight sums give the six roots once and weight zero three times. Subtracting the octet, whose zero weight has multiplicity two, leaves a singlet. Hence the octet and singlet in a fundamental SU3 tensor product and the two-quark product are
The first dimensions are , and the second are . Next has highest weight , giving . Subtraction leaves one . Together with , this proves the tensor cube of the defining SU(3) representation:
The decuplet is fully symmetric in the three factors, the singlet fully antisymmetric, and the two octets have mixed permutation symmetry.
For the quark model, the relevant approximate flavour symmetry rotates the three light quarks in the fundamental . The up quark, down quark, and strange quark basis states have the weight diagram of the defining SU(3) representation. In physical coordinates define isospin and flavor hypercharge . Then
The last row follows from the Gell-Mann--Nishijima formula , in units of the positive elementary electric charge. The antiquarks transform in and have the negatives of these additive quantum numbers. Each quark has baryon number ; the strange quark has strangeness , while have . Thus , distinguishing flavor hypercharge from electroweak hypercharge. The Weyl group geometry is equilateral in ; using rescales the vertical coordinate.
A conventional meson has valence content , so its flavour symmetry gives a meson octet and a singlet. For the light pseudoscalar mesons, the octet contains the pions at with isospin , the kaons at , their antiparticles at , and the Eta octet state. The central weight multiplicity two is realized by
The orthogonal eta singlet state is . The eta and eta prime mesons are mixtures of , rather than exact octet and singlet mass eigenstates; this gives the pseudoscalar meson nonet. A different spin coupling of the same flavour product gives the vector mesons, again an octet and singlet, including the , , and neutral mixtures. The lowest orbital states have and respectively.
A conventional baryon has three valence quarks, so the tensor-cube decomposition supplies the flavour possibilities. The observed lowest baryon octet has spin and positive parity. Its isospin rows are : the nucleons , the three Sigma baryons, the Lambda baryon, and the two Xi baryons. The central states and have the same weight but different total isospin; this is the physical meaning of the octet's central multiplicity two. The spin-, positive-parity baryon decuplet is the triangle with rows
The Delta baryons form its top row, and the Omega baryon is the bottom state. All ten weights have multiplicity one. Their electric charges follow directly from the Gell-Mann--Nishijima formula; for example has , so , and has , so .
The two algebraic octets do not mean that two independent ground-state octets must occur. A three-quark colour singlet has a completely antisymmetric colour wavefunction. For a symmetric spatial ground state, the Pauli exclusion principle therefore requires a symmetric combined spin-flavour wavefunction. The symmetric flavour decuplet pairs with symmetric spin ; mixed flavour octets pair with mixed spin in one symmetric combination. Equivalently, the symmetric spin-flavour SU6 representation has
The three-quark flavour singlet is the antisymmetric combination. For a spatially symmetric ground state it would require an antisymmetric spin state of three spin- particles, but . The Pauli constraint on three-quark flavour multiplets thus excludes it from this ground-state sector; orbital excitation permits other multiplets.
Finally, this flavour symmetry is approximate: the unequal light-quark masses, especially the larger strange-quark mass, and electromagnetic interactions split masses within the multiplets and permit octet-singlet mixing. The weight diagrams classify flavour states, rather than asserting exact equality of their masses. Colour SU(3) is a separate gauge action on each flavour and supplies the colour-singlet constraint; it is not the approximate flavour action used in the eightfold way. The light conventional mesons organize into flavour octets and singlets, while the spatial ground-state three-quark baryons form one spin- octet and one spin- decuplet.
Start with a nonzero highest-weight vector and set . The sl2 highest-weight lowering formula follows inductively from the commutator relations:
Indeed gives the weight formula, and turns the coefficient at step into at step . The nonzero have distinct eigenvalues, so are linearly independent. Finite dimensionality therefore forces a last nonzero vector . Applying to gives , hence . This also proves that no earlier vector can vanish. Thus the cyclic highest-weight representation generated by is
It is irreducible: spectral projections in select a weight vector from any nonzero invariant subspace, and its nonzero raising and lowering coefficients then generate the whole string. This gives the classification of finite-dimensional sl2 representations used for each root direction below.
For the SU(3) Lie algebra, the repeated-index relation is the trace constraint . The displayed generators are a basis of its complexification, not nine independent generators or three individually vanishing diagonal elements. Realize them by matrix units as ; the compact real algebra is obtained from anti-Hermitian combinations. Then
and , , , . Substituting into the given commutators gives
Thus both root pairs obey the required sl2 Lie algebra relations. More generally, their Cartan matrix is
A weight vector with eigenvalues moves by under and by under . The third negative-root operator is and moves it by . In the required weight diagram coordinates
these moves are , and respectively. Successive lowerings from a highest-weight vector, with linear dependencies removed, construct the following bases.
For Dynkin labels , use the defining action of SU(3) on . Its highest vector is ; lowering gives and . There are no further independent vectors. The weight diagram of the defining SU(3) representation, in the present rescaled coordinates, is
and . Any invariant weight subspace raises to and lowers to all three vectors, proving irreducibility.
For , use the adjoint representation of SU(3) on traceless matrices, with acting by . The highest vector is : both and vanish, while . Lowering gives and . Further lowering produces and , then and , and finally . Consequently the basis is the six off-diagonal matrix units together with :
The six nonzero weights have weight multiplicity one, and zero has multiplicity two. Thus . Its irreducibility follows also because an adjoint-invariant subspace is an ideal and is a simple Lie algebra.
For , take the symmetric cubic representation of SU(3), , realized by homogeneous degree-three polynomials. Here
so is a highest-weight vector with eigenvalues . For ,
which is nonzero and constructs every monomial. These monomials form a basis and have distinct weights . If an invariant subspace is nonzero, joint spectral projections in select one monomial; repeated transfers its powers to , and repeated transfers all its powers to , reaching . Lowering then generates the whole basis, proving irreducibility without merely assuming the dimension formula. The plotted weights are
with multiplicity one at every point. Hence .
Figure 1.
SU(3) weights in the three requested representations, with the two independent zero-weight octet states marked
. Details.
For approximate flavor symmetry, identify with the up quark, down quark and strange quark. The defining representation is their flavour triplet. The baryon octet realizes and contains the spin- nucleons and the multiplets; its central double weight distinguishes and . The baryon decuplet realizes the symmetric flavour representation , containing the spin- multiplets. In standard isospin and flavor hypercharge normalization, and , so these plots use and . Three-quark spin and flavour combine subject to the Pauli constraint on three-quark flavour multiplets and the antisymmetric three-quark colour singlet. The adjoint flavour representation also describes a meson octet. A distinct, exact colour SU(3) gauge symmetry places quarks in its defining representation and gluons in its adjoint octet; colour and flavour here are different physical group actions.