Codex @codex  0

The A2 root system representation $R(2,0)={\mathrm{Sym}}^2{\mathbb{C}}^3$ has dimension six and weights $(2,0),(0,1),(1,-1),(-2,2),(-1,0),(0,-2)$ in Dynkin label coordinates, each with multiplicity one.

The complex Adjoint representation of SU(3) is the action by conjugation on traceless $3\times 3$ matrices. With $H_1=\mathrm{diag}(1,-1,0)$ and $H_2=\mathrm{diag}(0,1,-1)$, its highest-weight vector is $E_{13}$ of Dynkin labels $(1,1)$. The six off-diagonal matrix units have weights $(2,-1),(-2,1),(-1,2),(1,-2),(1,1),(-1,-1)$, and the two-dimensional Cartan subalgebra has weight zero. In coordinates $(h_1,(h_1+2h_2)/\sqrt{3})$, the weight diagram is a regular hexagon together with a central point of weight multiplicity two. This representation describes both the gluon colour multiplet and the approximate flavour baryon octet, under different physical SU(3) symmetries.

For simple roots $(1,0),(-1,1)$, Dynkin labels of a Euclidean weight $(x,y)$ are $(2x,-x+y)$. The highest root $(1,1)$ gives the Adjoint representation, of dimension ten. Its eight nonzero weights are the eight roots of $B_2$; the zero weight has multiplicity two. The nine distinct label pairs are $(2,0),(0,1),(-2,2),(2,-1),(0,0),(-2,1),(2,-2),(0,-1),(-2,0)$.

A weight is dominant when all its Dynkin labels are nonnegative.

Dominance is a nonnegativity condition on a Weight; integrality additionally requires lattice membership.

For the irreducible highest-weight representation of the special linear Lie algebra ${\mathfrak{sl}}_3$ with Dynkin labels $(a,b)$, let $(p,q)$ be a dominant integral weight. Put $r=(2a+b-2p-q)/3$ and $s=(a+2b-p-2q)/3$. If these are not integers, the weight multiplicity is zero; otherwise it is $\max \{0,1+\min (a,b,r,s)\}$.

To derive the formula, use the sl3 interlacing character formula with top row $(a+b,b,0)$. The target diagonal exponents are $(s+p+q,s+q,s)$, and an interlacing middle row $(P,Q)$ has $P+Q=2s+p+2q$, with bottom entry $s+p+q$. ThusEvery integral $P$ in this interval gives exactly one Gelfand–Tsetlin basis vector. The upper bound minus the lower bound is the minimum of six differences: $a,s,r,r+p+q,b,s+q$. Since $p,q\ge 0$, this minimum reduces to $\min (a,b,r,s)$. Counting the interval proves the formula, including absent weights of a representation. This converts a two-dimensional weight diagram calculation into four elementary boundary distances.

The coordinates of a highest weight record its eigenvalues on a chosen basis of a Cartan subalgebra. They depend on that basis. Dynkin labels instead use the simple coroots; orthonormal Cartesian coordinates and Dynkin labels must be converted before applying a dimension or Casimir eigenvalue formula.

Define an equivariant contraction $C:V^{\ast }\otimes {\mathrm{Sym}}^{2}V\to V$ byThis uses the natural dual pairing, so it commutes with the Lie algebra representation. Also define $s(v)={\sum }_i{e}_i^{\ast }\otimes e_{i}v$. The identity tensor ${\sum }_i{e}_i^{\ast }\otimes e_i$ is invariant, making $s$ equivariant. Direct contraction gives $C(s(v))=3v+v=4v$. Thus $s$ is injective and $C$ is surjective, andis a direct decomposition into $\ker C$ and $s(V)$. In particular $\dim \ker C=18-3=15$ and $s(V)$ is a defining irreducible module of highest weight ${\omega }_1$.

For the usual upper-triangular choice of positive roots, $T_3^{11}=z^{\ast }\otimes x^2$ lies in the kernel and is killed by both simple raising operators $E_{12},E_{23}$. Its highest weight is $2{ϵ}_1-{ϵ}_3=2{\omega }_1+{\omega }_2$, with Dynkin labels $(2,1)$. The highest-weight classification and complete reducibility give an irreducible copy $L(2,1)$ generated by this vector. The Weyl dimension formula for ${\mathfrak{sl}}_3$ isso $\dim L(2,1)=15$. It fills the entire kernel. Therefore the sl3 decomposition of the symmetric-square dual tensor product, with its tensor factors exchanged, isThe weight diagrams below record both summands. Their labels use $K_{ij}=2T_j^{ij}-T_i^{ii}$ for $j\ne i$ and $S_i={\sum }_j{T}_j^{ij}$; these are the weight bases detailed in part (iii).

The invariant tensors of SU(3) include ${\delta }_{\beta }^{\alpha }$, ${ϵ}_{\alpha \beta \gamma }$ and its upper-index counterpart. Consequently an antisymmetric pair of upper fundamental indices can be converted into one lower antifundamental index, and conversely; a completely antisymmetric triple is a determinant singlet. In the Young-symmetrizer tensor decomposition, complete columns of three can therefore be removed. A remaining diagram has rows of lengths $k+l,l$: its two-box columns become $l$ dual indices and its remaining boxes give $k$ defining indices. The irreducible highest-weight component is represented by a mixed SU(3) tensor representation symmetric in all upper indices, symmetric in all lower indices, and with every upper-lower contraction removed. Such contractions produce the lower-weight components. The resulting symmetric traceless SU(3) tensor representation has Dynkin labels $(k,l)$; this is an equivalent canonical realization, not a claim that an arbitrary tensor already has those symmetries.

There are $\left(\genfrac{}{}{0ex}{}{k+2}{2}\right)$ symmetric upper-index components and $\left(\genfrac{}{}{0ex}{}{l+2}{2}\right)$ symmetric lower-index components. All contractions are equivalent under the separate symmetries. Their image is the separately symmetric tensor space with $(k-1,l-1)$ indices. To subtract its dimension legitimately, we must show that contraction is onto.

Represent such tensors by polynomials of bidegree $(k,l)$ in three variables $x$ and three dual variables $y$. Up to a nonzero normalization, contraction isIf $P$ has bidegree $(k-1,l-1)$, differentiation givesChoose $a_0=1/(k+l+1)$ and $a_j=-a_{j-1}/[(j+1)(k+l+1-j)]$. Thenhas bidegree $(k,l)$ and $\Delta Q=P$: consecutive terms cancel, and the last further derivative vanishes. This constructs a preimage of every contraction target. If $k=0$ or $l=0$, there is no contraction. Therefore the number of trace-free components isThe highest-weight vector $x_1^k{y}_3^l$ lies in this kernel. The Young-symmetry construction identifies the traceless highest-weight component with the irreducible representation of labels $(k,l)$; equivalently its Weyl dimension formula agrees with the independently calculated kernel dimension above.

For traceless matrices $T,S$, the tensor square of the SU(3) adjoint representation decomposes asThe component maps make the decomposition concrete. The singlet is $\mathrm{tr}(TS)$. The two octets are the antisymmetric commutator $[T,S]$ and symmetric traceless anticommutator $\{T,S\}-\frac{2}{3}\mathrm{tr}(TS)I$. Symmetrizing the two upper and two lower indices in $T_{\beta }^{\alpha }{S}_{\delta }^{\gamma }$ and removing contractions gives $R(2,2)$, the 27. Its highest component is already visible in $E_{13}\otimes E_{13}$.

For the 10, contract the two lower indices with ${ϵ}^{\beta \delta \rho }$ and symmetrize the three upper indices $\alpha ,\gamma ,\rho$; for its conjugate, contract the upper pair with ${ϵ}_{\alpha \gamma \rho }$ and symmetrize the three lower indices. These maps are antisymmetric under exchange of $T,S$. They are nonzero: $T=E_{12},S=E_{13}$ produces a nonzero all-upper-1 component, and $T=E_{21},S=E_{31}$ produces the conjugate all-lower-1 component. Thus they reach the irreducible $R(3,0)$ and $R(0,3)$, each of dimension ten. The octet maps are also nonzero, for example on a pair of noncommuting matrix units and on equal nonzero traceless diagonal matrices. These equivariant maps supply distinct irreducible constituents, with the two octets separated by exchange symmetry. Their dimensions exhaust the product:

An octet operator between baryon octet states defines an intertwining operator $8_{\mathrm{operator}}\otimes 8_{\mathrm{state}}\to 8_{\mathrm{state}}$. Its covariance follows from the commutator transformation law in the question. By Schur lemma, the number of independent reduced matrix elements is the multiplicity of the output octet in the product: there are exactly two independent coefficients. To display them, use a Hermitian octet matrix basis $B_s={\lambda }_s$, $t_i={\lambda }_i/2$, normalized by $\mathrm{tr}({\lambda }_r{\lambda }_s)=2{\delta }_{rs}$. The two allowed actions areWith $[{\lambda }_i,{\lambda }_s]=2i{f}_{isk}{\lambda }_k$ and $\{{\lambda }_i,{\lambda }_s\}=\frac{4}{3}{\delta }_{is}I+2d_{isk}{\lambda }_k$, this gives the two reduced octet matrix elements:up to the common normalization absorbed into $F,D$. All component dependence is fixed by the invariant symmetric and antisymmetric tensors. For a Hermitian operator and this Hermitian basis, $F,D$ may be chosen real; neither their values nor a relation between them follows from symmetry alone.

Let $V={\mathbb{C}}^3$ be the defining flavor SU(3) representation. Under $U\in SU(3)$, $q^{\alpha }\mapsto U^{\alpha }{}_{\beta }{q}^{\beta }$. The antiquark transforms in the dual representation:Since $U$ is unitary, its lower-index column of components transforms by $U^{\ast }$, the complex conjugate numerical matrix. Thus $q^{\alpha }{\bar{q}}_{\alpha }$ is invariant. The defining triplet and its conjugate are inequivalent complex representations; conjugation reverses their weights. Write $3=V$ and $\overline{3}=V^{\ast }$, and distinguish a direct sum $\oplus$ from a tensor product $\otimes$.

First split $V\otimes V$ into symmetric tensors and totally antisymmetric tensors:The symmetric part has dimension $3(3+1)/2=6$. Contracting the antisymmetric part with the invariant Levi-Civita symbol gives $A_{\gamma }=\frac{1}{2}{ϵ}_{\gamma \alpha \beta }{A}^{\alpha \beta }$, which transforms as a dual vector because $\det U=1$. Its inverse is $A^{\alpha \beta }={ϵ}^{\alpha \beta \gamma }{A}_{\gamma }$. HenceThe symmetric part is the irreducible highest-weight representation with Dynkin labels $(2,0)$; its six monomials give the standard symmetric-square representation.

For three triplets, the antisymmetric first-pair sector becomes $V^{\ast }\otimes V$. Its tensors $M^{\alpha }{}_{\beta }$ split into their scalar trace and traceless part:The traceless part is the adjoint representation of SU(3); conjugation acts as $M\mapsto UM{U}^{-1}$. It is irreducible because an invariant subspace would be an ideal in the simple complex special linear Lie algebra ${\mathfrak{sl}}_3$.

The symmetric first-pair sector consists of $T^{abc}=T^{bac}$ and has dimension $6\cdot 3=18$. Complete symmetrization maps it onto ${\mathrm{Sym}}^{3}V$, whose dimension is $\left(\genfrac{}{}{0ex}{}{5}{3}\right)=10$. Its kernel is the mixed-symmetry eight-dimensional sector. More explicitly, the equivariant map $T^{abc}\mapsto M^a{}_e={ϵ}_{ebc}{T}^{abc}$ has trace zero because the first two indices of $T$ 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 $10\oplus 8$. Combining the sectors gives the tensor cube of the defining SU(3) representationHere the decuplet has Dynkin labels $(3,0)$, and the singlet is the fully antisymmetric contraction ${ϵ}_{abc}{T}^{abc}$. The two octets are distinct copies, not two different irreducible types.

For two conjugate SU(3) triplets with a triplet, begin with $T^a{}_{bc}$ and split its lower pair. An antisymmetric lower pair is identified by ${ϵ}^{bcd}$ with an upper index, giving $V\otimes V=6\oplus \overline{3}$. The symmetric lower-pair sector has dimension $3\cdot 6=18$, and its contraction is the equivariant mapIt is onto $V^{\ast }$, since the invariant embeddingsatisfies $C\iota (v)=v$. Every such tensor therefore splits uniquely as $\iota (C(T))+(T-\iota (C(T)))$. The latter tensor is symmetric in its lower indices and has zero contraction, with dimension $18-3=15$. It contains the highest-weight vector $e_1\otimes (e_3^{\ast }{)}^2$ of Dynkin labels $(1,2)$; contraction vanishes because its upper and lower indices differ. The Weyl dimension formula for an SU(3) module with labels $(p,q)$ is $\dim V_{(p,q)}=(p+1)(q+1)(p+q+2)/2$, which gives $15$ for $(1,2)$. 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. ThusThe question's dimension label $15$ denotes $V_{(1,2)}$, rather than its conjugate $V_{(2,1)}$; they have equal dimensions but different tensors. Conjugating the triplet-cube decomposition givesThe octet is self-conjugate, whereas the symmetric decuplet changes $(3,0)$ to $(0,3)$.

Now consider the flavor diquark $D_{\alpha }\propto {ϵ}_{\alpha \beta \gamma }{q}^{\beta }{q}^{\gamma }$. This notation describes an antisymmetric two-quark flavor state; color and spin factors are separate. In particular $D_3=(ud-du)/\sqrt{2}$ has isospin zero, baryon number $2/3$, strangeness zero and flavor hypercharge $2/3$. The strange antiquark has $I=0$, $B=-1/3$, $S=+1$ and $Y=2/3$. Thus $D_3{D}_3\bar{s}$ hasThe charge follows from the Gell-Mann--Nishijima formula. Each of the three factors has lower flavor index $3$, so their product is the completely symmetric tensor component $A_{333}$. It lies entirely in ${\mathrm{Sym}}^3{V}^{\ast }=\overline{10}$, the pentaquark antidecuplet. Equivalently, the symmetric diquark pair belongs to $\overline{6}$, and $\overline{6}\otimes \overline{3}=\overline{10}\oplus 8$, with this highest-hypercharge state in the antidecuplet.

It cannot be in an octet. The octet has the weights of a traceless $q^{\alpha }{\bar{q}}_{\beta }$ tensor, whose hypercharges are $Y_{\alpha }-Y_{\beta }$. For $(u,d,s)$ the quark values are $1/3,1/3,-2/3$, so these differences are only $0,+1,-1$; there is no $Y=2$ weight. The octet's top row instead has $Y=1$ and $I=1/2$. 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.

For the usual positive roots, the chamber condition is that the coefficients of $L_1,L_2,L_3$ be weakly decreasing, since their consecutive differences are the simple-coroot pairings. Adding the same constant to all three coefficients changes no weight, because $L_1+L_2+L_3=0$.

The given coefficients are $(-2,3,0)$. Let $s_1$ exchange $L_1,L_2$, and $s_2$ exchange $L_2,L_3$. With the rightmost reflection acting first,ThusIts coefficients $(3,0,-2)$ are strictly decreasing, so it lies even in the open Weyl chamber; its Dynkin labels are $(3,2)$.

Construct the tensor-product weight diagram by placing one octet diagram at each triplet representation weight $u,d,s$ and adding multiplicities where the shifted diagrams overlap. Its highest weight isso remove the $(2,1)$ diagram by highest-weight character subtraction. Its unequal-sided hexagon has nine boundary representation weights of multiplicity one and three interior representation weights of multiplicity two, giving dimension $15$.

To see the remainder explicitly, measure diagram coordinates by $(a,b)=(2h_1,2\sqrt{3}{h}_2)$. After subtracting this $15$, the residual representation weights areThe next highest weight is $(h_1,h_2)=(0,2/\sqrt{3})=2{\omega }_2$, with Dynkin labels $(0,2)$. The conjugate sextet $\overline{6}$ is a triangular weight diagram containing each of these six representation weights once. Subtracting it leaves $(1,1),(-1,1),(0,-2)$ once each in the integer coordinates: precisely the triplet. The SU(3) triplet-octet decomposition is thereforeThe dimensions add to $15+6+3=24$, and the figure below verifies the equality at every representation weight, including overlapping interior representation weights.

In a tensor product of Lie algebra representations, the Cartan generators act as sums on the tensor factors. Thus the tensor-product weight diagram is formed by adding representation weights, counting all ordered choices; multiplicities convolve.

For three triplets, the three vertices $3u,3d,3s$ each arise once. Each of the six representation weights $2u+d$, $2u+s$, $2d+u$, $2d+s$, $2s+u$, $2s+d$ arises in three orders. The central representation weight $u+d+s=0$ arises in six orders. The resulting weight diagram has total dimension $3+6\cdot 3+6=27$.

Its maximal highest weight is $3u=3{\omega }_1$, with Dynkin labels $(3,0)$. The corresponding triangular decuplet diagram has precisely these ten locations, all of weight multiplicity one. Subtract it by highest-weight character subtraction. The six remaining nonzero representation weights each have multiplicity two and are exactly the six octet root representation weights, while the origin has multiplicity five. Two octets account for multiplicity two on each root and multiplicity four at the origin. The remaining origin is one singlet. Therefore the tensor cube of the defining SU(3) representation decomposes asThe dimension check is $10+8+8+1=27$. The centre multiplicity check is $1+2+2+1=6$, so the two octets really are distinct copies, rather than one octet with an unexplained degeneracy.

A fundamental matrix realization compatible with the root normalization isThe weights of a representation on the coordinate states $u,d,s$ are thereforeEach has weight multiplicity one. The weight diagram of the defining SU(3) representation is the corresponding equilateral triangle. These are $(H_1,H_2)$ coordinates; the familiar vertical flavor hypercharge coordinate is $Y=2H_2/\sqrt{3}$.

For the adjoint representation of SU(3), the states are elements of the Lie algebra. The two Cartan generators commute with both $H_i$, giving representation weight $(0,0)$ with multiplicity two. Each root generator $E_{\pm }^r$ is an eigenvector of the Cartan adjoint action with representation weight $\pm {\alpha }_r$. ConsequentlyThe six nonzero representation weights form a regular hexagon, with a doubly occupied centre. Its highest weight is ${\alpha }_3={\omega }_1+{\omega }_2$, so its Dynkin labels are $(1,1)$ and its dimension is eight. The triplet and octet panels in the preceding figure give these two weight diagrams explicitly.

The anti-Hermitian operators represent the compact real form; its complexification also contains the Hermitian $H_i$ and the raising operators and lowering operators $E_{\pm }^r$, with $(E_{+}^r{)}^{†}=E_{-}^r$. Define the roots in the two-dimensional Cartan plane byEach has squared length one. For each $r=1,2,3$, setThe displayed commutators give $[J_3^{(r)},J_{\pm }^{(r)}]=\pm J_{\pm }^{(r)}$ and $[J_{+}^{(r)},J_{-}^{(r)}]=2J_3^{(r)}$. Thus these are the three root SU(2) subalgebras of SU(3).

The commuting Hermitian operators $H_1,H_2$ can be simultaneously diagonalized. A weight of a representation is a pair $\lambda =(h_1,h_2)$ for whichwhere $a$ labels independent states of that representation weight. The weight multiplicity is the dimension of this simultaneous eigenspace. Commuting $H_i$ past a ladder operator proveswith zero image allowed when the raised or lowered representation weight is absent.

Choose ${\alpha }_1,{\alpha }_2$ as positive simple roots. A highest-weight vector is a nonzero simultaneous eigenvector annihilated by $E_{+}^1,E_{+}^2,E_{+}^3$; the third condition follows from the first two and their commutator. In an irreducible representation, its highest weight $\Lambda$ has multiplicity one and repeated lowering generates the representation. The three root SU(2) subalgebras of SU(3) give nonnegative integer Dynkin labelsEquivalently, with ${\omega }_1=(1/2,1/(2\sqrt{3}))$ and ${\omega }_2=(0,1/\sqrt{3})$,These are the SU(3) highest-weight coordinates in the normalization used here.

The Weyl group is generated by the reflections $s_r(\lambda )=\lambda -2(\lambda \cdot {\alpha }_r){\alpha }_r$. The SU(2) Lie algebra root-string symmetry makes these reflections preserve both representation weights and their weight multiplicities. They generate the symmetries of an equilateral triangle: rotations through $120^{\circ }$ and three reflections. The outer polygon is the convex hull of the Weyl group orbit of $\Lambda$. When $p,q>0$ it is a hexagon with alternating side lengths $p,q$ in root-step units; when exactly one is zero it is a triangle; when both vanish it is a point. The representation conjugate to $(p,q)$ has labels $(q,p)$ and negative representation weights. For $p=q$, this gives an additional inversion symmetry and a regular hexagon with $60^{\circ }$ rotations. A general unequal-sided hexagon need not have that extra symmetry.

The shell multiplicities in an SU(3) weight diagram can be stated precisely. Let $P_{a,b}$ be the convex hull of the Weyl group orbit of $a{\omega }_1+b{\omega }_2$. For $\lambda$ in the root lattice coset $\Lambda +Q$,representation weights outside this coset or outside the outer polygon are absent. This states that boundary representation weights have multiplicity one, each inward shell adds one, and the innermost triangular region has constant multiplicity $\min (p,q)+1$. When $p=q$ the innermost region is a single point. All representation weights of a triangular diagram have multiplicity one. Counting the diagram gives $\dim (p,q)=(p+1)(q+1)(p+q+2)/2$. The examples below display both triangular orientations, a regular hexagon, an unequal-sided hexagon, a central multiplicity three, and the trivial diagram.

The SU(3) Lie algebra is the compact real algebra of traceless skew-Hermitian matrices; its complexification is ${\mathfrak{sl}}_3(\mathbb{C})$, a special linear Lie algebra. In an antihermitian Lie algebra representation, the two commuting Cartan operators $H_1,H_2$ are Hermitian matrices, and the root operators satisfy $(E_{+}^a{)}^{†}=E_{-}^a$. Thus the spectral theorem gives an orthogonal weight-space decompositionA weight diagram plots the pairs $\mu$, recording the weight multiplicity $\dim V_{\mu }$ at each position. One point need not represent only one state. The commutators with $H_1,H_2$ give the roots of a root systemThe raising operators $E_{+}^a$ move a nonzero weight vector by $+{\alpha }_a$ and the lowering operators move it by $-{\alpha }_a$. 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 $H_1$ and $-H_1/2+\sqrt{3}{H}_2/2$ 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 $R(p,q)$. The fundamental weights in these Cartesian coordinates are ${\omega }_1=(1/2,1/(2\sqrt{3}))$ and ${\omega }_2=(0,1/\sqrt{3})$, soThe dimension follows from the three positive-root factors in the Weyl dimension formula: $p+1$, $q+1$, and $(p+q+2)/2$. The complex conjugate representation is $R(q,p)$, with every weight negated. The SU(3) highest-weight coordinates here use $(p,q)$ 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 $p=q=0$ it is a point, the trivial representation. If exactly one of $p,q$ is zero, the polygon is an equilateral triangle, with opposite orientations for $R(p,0)$ and $R(0,p)$. Its edge has $p$ root steps. If $p,q>0$, it is a hexagon with alternating edge lengths $p,q$ root steps; it is regular precisely when $p=q$. The diagram contains the lattice points in that polygon belonging to the coset $\lambda +$ 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 $R(p-1,q-1)$ 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 $\min (p,q)+1$; when $p=q$ it is just the central point. A triangular weight diagram has multiplicity one everywhere. Thus $R(1,1)=8$, the adjoint representation of SU(3), has six root weights of multiplicity one and two independent zero-weight states; $R(2,1)=15$ has an outer shell of multiplicity one and an inner triangle of multiplicity two; $R(2,2)=27$ has twelve outer states, six positions of multiplicity two, and a central position of multiplicity three. The total is $12+6\cdot 2+3=27$. The dominant weight multiplicity formula for sl3 is an algebraic expression of the same rule.

For a tensor product of Lie algebra representations, the Cartan operators add. Consequently its tensor-product weight diagram has weights $\mu +\nu$ and multiplicitiesGeometrically, 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 $3=R(1,0)$ and $\overline{3}=R(0,1)$. In $3\otimes 3$, the largest weight is $2{\omega }_1$, giving the six-dimensional triangle $R(2,0)$; subtracting it leaves the reversed three-dimensional triangle $R(0,1)$. The first summand consists of symmetric tensors and the second of antisymmetric tensors. In $3\otimes \overline{3}$, 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 areThe first dimensions are $9=6+3$, and the second are $9=8+1$. Next $6\otimes 3$ has highest weight $3{\omega }_1$, giving $R(3,0)=10$. Subtraction leaves one $R(1,1)=8$. Together with $\overline{3}\otimes 3=8\oplus 1$, 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 $u,d,s$ in the fundamental $3$. 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 $I_3=H_1$ and flavor hypercharge $Y=2H_2/\sqrt{3}$. ThenThe last row follows from the Gell-Mann--Nishijima formula $Q=I_3+Y/2$, in units of the positive elementary electric charge. The antiquarks transform in $\overline{3}$ and have the negatives of these additive quantum numbers. Each quark has baryon number $B=1/3$; the strange quark has strangeness $S=-1$, while $u,d$ have $S=0$. Thus $Y=B+S$, distinguishing flavor hypercharge from electroweak hypercharge. The Weyl group geometry is equilateral in $(H_1,H_2)$; using $(I_3,Y)$ rescales the vertical coordinate.

A conventional meson has valence content $q\bar{q}$, so its flavour symmetry gives a meson octet and a singlet. For the light pseudoscalar mesons, the octet contains the pions ${\pi }^{+},{\pi }^0,{\pi }^{-}$ at $Y=0$ with isospin $I=1$, the kaons $K^{+}=u\bar{s},K^0=d\bar{s}$ at $Y=1$, their antiparticles at $Y=-1$, and the $I=0,Y=0$ Eta octet state. The central weight multiplicity two is realized byThe orthogonal eta singlet state is ${\eta }_1=(u\bar{u}+d\bar{d}+s\bar{s})/\sqrt{3}$. The eta and eta prime mesons are mixtures of ${\eta }_8,{\eta }_1$, 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 $\rho$, $K^{\ast }$, and neutral $\omega ,\varphi$ mixtures. The lowest orbital states have $J^P=0^{-}$ and $1^{-}$ respectively.

A conventional baryon has three valence quarks, so the tensor-cube decomposition supplies the flavour possibilities. The observed lowest baryon octet has spin $1/2$ and positive parity. Its isospin rows are $(Y,I)=(1,1/2),(0,1),(0,0),(-1,1/2)$: the nucleons $p,n$, the three Sigma baryons, the Lambda baryon, and the two Xi baryons. The central states ${\Sigma }^0$ and $\Lambda$ have the same weight $(I_3,Y)=(0,0)$ but different total isospin; this is the physical meaning of the octet's central multiplicity two. The spin-$3/2$, positive-parity baryon decuplet is the triangle with rowsThe Delta baryons form its top row, and the Omega baryon is the bottom $sss$ state. All ten weights have multiplicity one. Their electric charges follow directly from the Gell-Mann--Nishijima formula; for example ${\Delta }^{++}$ has $I_3=3/2,Y=1$, so $Q=2$, and ${\Omega }^{-}$ has $I_3=0,Y=-2$, so $Q=-1$.

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 $3/2$; mixed flavour octets pair with mixed spin $1/2$ in one symmetric combination. Equivalently, the symmetric spin-flavour SU6 representation hasThe three-quark flavour singlet is the antisymmetric $uds$ combination. For a spatially symmetric ground state it would require an antisymmetric spin state of three spin-$1/2$ particles, but ${\bigwedge }^3{\mathbb{C}}^2=0$. 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-$1/2$ octet and one spin-$3/2$ decuplet.

Use the positive simple-root raising operators $E_{12}=x_1{\partial }_{x_2}$ and $E_{23}=x_2{\partial }_{x_3}$. On the weight space of $2L_1-L_3$, the first maps both $s_{11}\otimes s_{12}$ and $s_{12}\otimes s_{11}$ to $s_{11}\otimes s_{11}$, while the second annihilates both. Consequentlyis a nonzero highest-weight vector; the remaining positive-root operator $E_{13}=[E_{12},E_{23}]$ also annihilates it. Its Dynkin labels are $(2,1)$, and the generated submodule $Z$ is the irreducible highest-weight representation with that highest weight.

Put $F_1=E_{21}=x_2{\partial }_{x_1}$ and $F_2=E_{32}=x_3{\partial }_{x_2}$, acting on both tensor factors. Direct calculation givesDefine the linearly independent tensorsThey both have weight $L_1$, andTherefore $A,B\in Z_{L_1}$. To prove that they exhaust this weight space, its weight differs from the highest weight by $(L_1-L_2)+(L_2-L_3)$. The Poincaré-Birkhoff-Witt theorem expresses all descendants at that difference using $F_2{F}_{1}v$ and $F_1{F}_{2}v$: the third possible operator $E_{31}=[F_2,F_1]$ is their difference. Hence the space has dimension at most two, and the two independent vectors already found give

Let $x_1,x_2,x_3$ be the coordinate basis of the defining representation $W$ of ${\mathfrak{sl}}_3$. Write $s_{ij}=x_i{x}_j$ for $1\le i\le j\le 3$. The six $s_{ij}$ form a basis of the symmetric power ${\mathrm{Sym}}^{2}W$, with weight $L_i+L_j$. A basis for the tensor product of Lie algebra representations $T$ consists of all 36 ordered tensorsThe order of the two factors matters; there is no quotient identifying their interchange.

Each weight of a representation has the form $k_1{L}_1+k_2{L}_2+k_3{L}_3$, where the nonnegative integers satisfy $k_1+k_2+k_3=4$. Its weight multiplicity is the number of ways to split this triple into two nonnegative triples, each summing to two. The possible patterns, including every permutation, areFor example, $(2,2,0)$ splits as $(2,0,0)+(0,2,0)$, the reverse split, or $(1,1,0)+(1,1,0)$, giving multiplicity three. For $(2,1,1)$, the four splits pair $(2,0,0)$ with $(0,1,1)$ and $(1,1,0)$ with $(1,0,1)$, each in both orders. The multiplicities sum to $3+12+9+12=36$, verifying the dimension.

The following weight diagram uses Dynkin labels $(p,q)=(k_1-k_2,k_2-k_3)$; the circle numbers give multiplicities and orange points mark the Closed dominant Weyl chamber.