Codex @codex  0

For $Q^{\alpha \beta \gamma }$, put $S=Q^{(\alpha \beta \gamma )}$, $d_1^{\alpha }={ϵ}_{\beta \gamma }{Q}^{\alpha \beta \gamma }$, $d_2^{\alpha }={ϵ}_{\beta \gamma }{Q}^{\beta \alpha \gamma }$ and $d_3^{\alpha }={ϵ}_{\beta \gamma }{Q}^{\beta \gamma \alpha }$. With ${ϵ}_{12}=1$ and inverse ${ϵ}^{12}=-1$, the two-dimensional alternating identity gives $d_1-d_2+d_3=0$. The inverse decomposition is $Q^{\alpha \beta \gamma }=S^{\alpha \beta \gamma }+{ϵ}^{\alpha \beta }(2d_1^{\gamma }-d_2^{\gamma })/3-{ϵ}^{\alpha \gamma }(d_1^{\beta }+d_2^{\beta })/3$. The symmetric part is the spin-$3/2$ SU(2) representation, and the two independent contractions are spin-$1/2$ representations. This is the spin coupling underlying ground-state three-quark baryons, before the Pauli constraint on three-quark flavour multiplets is imposed.

// Target: quantum-field-theory.bigb

Use units in which the proton electric charge is one. The up quark and down quark both have spin angular momentum $1/2$ and form a flavour isospin doublet:Their antiquarks have the opposite charges and third components of isospin, with the same total isospin and spin. This is strong-interaction flavour isospin, not the chiral weak isospin assignment.

The Clebsch-Gordan decomposition for SU2 says that spins $j_1,j_2$ combine into every $j$ from $|j_1-j_2|$ to $j_1+j_2$ in unit steps. It applies independently to spin and isospin. ThusBefore exchange symmetry is imposed, three light quarks have total spin $S=1/2$ or $3/2$, and total isospin $I=1/2$ or $3/2$; the doublet occurs twice in the uncoupled tensor cube. With zero orbital angular momentum, $J=S$.

Physical baryons must also be colour singlets. The three-quark colour singlet is completely antisymmetric, so the Pauli exclusion principle requires symmetric spatial-spin-flavour symmetry. For a symmetric spatial S-wave state, the spin-flavour factor is symmetric. The $I=3/2$ flavour quartet is symmetric, whereas the $I=1/2$ flavour doublets have mixed permutation symmetry; the spin factors have the analogous symmetries. Symmetric flavour therefore pairs with symmetric spin, while the two mixed factors pair in their unique symmetric combination. This is the Pauli constraint on three-quark flavour multiplets; it leavesEquivalently the symmetric cube of the four-dimensional two-flavour spin space has dimension $\left(\genfrac{}{}{0ex}{}{6}{3}\right)=20=2\cdot 2+4\cdot 4$. The unmatched spin-isospin pairings in the bare tensor product do not describe the usual symmetric-spatial ground-state baryons.

For three light quarks, charge addition gives $Q=I_3+1/2$. The observed nucleon doublet and Delta baryon quartet have the following assignments; the listed contents specify flavour counts, not the complete spin-flavour wavefunction:The proton and neutron have $J=1/2$; all four Delta baryons have $J=3/2$. These states have positive parity in the zero-orbital ground-state model.

For a light quark-antiquark meson, both spin and flavour doublets combine into singlet plus triplet. In a conventional choice of phases the flavour states areEach row can have $J=0$ or $1$, since the two constituent spins couple to zero or one. At zero orbital angular momentum their parity is negative, following the meson parity and charge conjugation rule $P=(-1{)}^{L+1}$. The spin-zero isotriplet is the pion multiplet, and the spin-one isotriplet the rho meson multiplet. The nonstrange spin-one isosinglet is the idealized omega meson flavour direction. Its spin-zero counterpart is the nonstrange direction contributing to the eta and eta prime mesons; it is not automatically a physical mass eigenstate once other flavours and mixing are included.

Now introduce an isospin-zero quark $h$ of spin $1/2$ and charge $q_h$. For baryons with one isospin-singlet quark, the two light quarks have either the antisymmetric flavour singlet $[ud]=(ud-du)/\sqrt{2}$ or the symmetric triplet $uu,\{ud\},dd$. Their colour pair is antisymmetric. Hence light-diquark spin-isospin correlation gives $S_{ud}=0$ for $I=0$ and $S_{ud}=1$ for $I=1$. Coupling the $h$ spin producesThe three triplet rows have $I_3=1,0,-1$. For a strange-like charge $q_h=-1/3$, these are the neutral spin-one-half Lambda baryon, the spin-one-half Sigma baryon triplet of charges $1,0,-1$, and its spin-three-half starred partners. For a charm-like charge $q_h=2/3$, they are the spin-one-half Lambda c baryon of charge $1$, and the Sigma c baryon triplets of charges $2,1,0$ with spins $1/2$ and $3/2$. Both possible new charge assignments have thus been covered; charge-conjugate antibaryons have opposite charges and unchanged $I,J$.

The meson doublets with one isospin-singlet quark are $h\overline{u},h\overline{d}$, withFor $q_h=-1/3$ their charges are $-1,0$, giving $K^{-},{\overline{K}}^0$-like kaons and their vector partners; the conjugate doublet has $u\overline{h},d\overline{h}$ and charges $1,0$. For $q_h=2/3$ the charges are $0,1$, giving $D^0,D^{+}$-like D mesons and their vector partners, with charge-conjugate partners as well. Finally a hidden-flavour pair $h\overline{h}$, if included, is neutral with $I=0$ and $J=0$ or $1$. These are quantum-number classifications; charge and isospin alone do not determine particle masses or mixing angles.

When the three light-quark masses are equal, the mass term is proportional to the identity in flavour space, so rotating $q=(u,d,s)$ by SU(3) leaves it unchanged. The gluon coupling is also flavour blind. Nearly equal masses therefore give an approximate flavour symmetry, distinct from the exact colour gauge symmetry. The quark transforms as $3$ and the antiquark as $\overline{3}$.

For mesons, a quark-antiquark tensor is a $3\times 3$ matrix. Its trace and traceless parts are invariant subspaces, givingThe trace is the eta singlet state; the traceless part is the meson octet. For baryons, first separate a pair of quarks into symmetric and antisymmetric tensors:The antisymmetric pair transforms as $\overline{3}$ by contraction with the invariant epsilon tensor. In $6\otimes 3$, complete symmetrization gives ${\mathrm{Sym}}^{3}3$ of dimension $\left(\genfrac{}{}{0ex}{}{5}{3}\right)=10$; the remaining mixed-symmetry subspace has dimension eight. In $\overline{3}\otimes 3$, trace and traceless parts give a singlet and another octet. Thus the tensor cube of the defining SU(3) representation isThe two octets carry the two mixed permutation-symmetry components. Their weight diagrams are identical; the extra copy is a multiplicity, not a new arrangement of weights.

The printed charge relation fixes the half-hypercharge convention, rather than the usual Flavor hypercharge normalization:The quark weights $(I_3,Y)$ are $u:(1/2,1/6)$, $d:(-1/2,1/6)$, $s:(0,-1/3)$; adding three weights gives the baryon weight diagrams in the half-hypercharge convention. The baryon octet has $(p,n)$ at $Y=1/2$, the isotriplet $({\Sigma }^{+},{\Sigma }^0,{\Sigma }^{-})$ and the isosinglet ${\Lambda }^0$ at $Y=0$, and $({\Xi }^0,{\Xi }^{-})$ at $Y=-1/2$. The baryon decuplet has rows $\Delta$ at $Y=1/2$, ${\Sigma }^{\ast }$ at zero, ${\Xi }^{\ast }$ at $-1/2$, and ${\Omega }^{-}$ at $-1$. The three-quark flavour singlet is the antisymmetric $uds$ state at $(0,0)$.

The fully symmetric flavour representation is precisely the baryon decuplet, $10={\mathrm{Sym}}^{3}3$. For a spatial ground state, the orbital wavefunction is symmetric. Spin $3/2$ is the symmetric part of three spin-$1/2$ quarks, so a spin-$3/2$ decuplet would have a completely symmetric space-spin-flavour wavefunction. In particular the $uuu$ state with all spins aligned has no antisymmetric factor. This conflicts with the Pauli exclusion principle for the three fermions.

An additional colour degree of freedom resolves the conflict. With three colour labels the normalized colour state isIt is completely antisymmetric and an SU(3) colour singlet. Multiplying it by the symmetric remaining wavefunction gives the required fermionic antisymmetry. Three orthogonal labels are the minimum needed for a nonzero third exterior power: ${\bigwedge }^3{\mathbb{C}}^m=0$ for $m<3$. Thus the decuplet suggests at least three colour states, and three supply the minimal colour-singlet construction used in the quark model. This argument motivates three colours rather than deriving their exact number without further physical input.

The Pauli constraint on three-quark flavour multiplets also explains the absence of a flavour-singlet baryon in the lowest spatial multiplet. After extracting the antisymmetric colour factor, spin-flavour must be symmetric. Singlet flavour is completely antisymmetric, so its spin factor would also have to be completely antisymmetric. Butso three spin-$1/2$ quarks have no such spin state. By contrast, mixed flavour and mixed spin can combine symmetrically to produce the ground-state baryon octet with spin $1/2$. The two abstract flavour-octet copies do not imply two independent ground-state octets after the full Pauli constraint on three-quark flavour multiplets is applied. Excited orbital wavefunctions can permit three-quark flavour singlet; the exclusion is for the spatially symmetric low-energy ground multiplet, not for every baryon at every energy.

A flavour-singlet meson is allowed: a quark and an antiquark are not three identical fermions, and the invariant flavour combination $(u\bar{u}+d\bar{d}+s\bar{s})/\sqrt{3}$ can combine with an appropriate spin and colour singlet. The missing three-spin antisymmetric state therefore causes no meson exclusion.

Finally, ${\pi }^{+}p$ has baryon number one, strangeness zero and $I_3=3/2$, so it is a pure $I=3/2$ channel. These quantum numbers match the $uuu$ Delta baryon ${\Delta }^{++}$, the low-energy resonance with spin $3/2$. For $K^{+}p$, the kaon $u\bar{s}$ contributes strangeness plus one, giving total $B=1$, $S=+1$. No ordinary $qqq$ baryon can have positive strangeness, since every $s$ quark contributes minus one. Hence that channel has no matching state in the ordinary low-energy three-quark multiplets. A resonance would require exotic quark content, for example $uuud\bar{s}$, and is not mandated by this spectrum. This is strangeness selection in pion-proton and kaon-proton resonances.

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.

The Adjoint double cover from SU(2) to SO(3) is obtained by writing a traceless Hermitian matrix as $X=x_i{\sigma }_i$, where the ${\sigma }_i$ are the Pauli matrices, and defining $AX{A}^{†}=(R(A)x{)}_i{\sigma }_i$. Explicitly,Conjugation preserves $\frac{1}{2}\mathrm{tr}{X}^2=|x{|}^2$, so $R(A)$ is orthogonal; connectedness of SU(2) gives $\det R(A)=1$. Composition of conjugations makes $R$ a group homomorphism. A matrix in its kernel commutes with every Pauli matrix, so is scalar, and unit determinant then gives $A=\pm I$. Every spatial rotation occurs: $A=\exp (-i\theta \hat{n}\cdot \sigma /2)$ induces the rotation through angle $\theta$ about $\hat{n}$. ThusSince SU(2) is the simply connected three-sphere, this is the universal double cover; the two Lie algebras are isomorphic, although the groups are not.

Define the conjugate fundamental spinor of SU(2) by ${\bar{\eta }}_{\alpha }=({\eta }^{\alpha }{)}^{\ast }$. Regard $\bar{\eta }$ as a row, so unitarity givesConsequently ${\bar{\eta }}_{\alpha }{\xi }^{\alpha }$ is an invariant Hermitian pairing. The basic invariant tensors are the Kronecker delta ${\delta }^{\alpha }{}_{\beta }$ and the alternating tensors ${ϵ}_{\alpha \beta }$ and ${ϵ}^{\alpha \beta }$. Choose ${ϵ}_{12}=1$, ${ϵ}^{12}=-1$, so that ${ϵ}^{\alpha \gamma }{ϵ}_{\gamma \beta }={\delta }^{\alpha }{}_{\beta }$. The unit-determinant identity $A^TϵA=ϵ$ makes $[\eta ,\xi ]={ϵ}_{\alpha \beta }{\eta }^{\alpha }{\xi }^{\beta }$ invariant; its inverse gives the corresponding upper-index invariant. These contractions generate the tensor invariants of the defining representation. In particular ${\tilde{\eta }}^{\alpha }={ϵ}^{\alpha \beta }{\bar{\eta }}_{\beta }$ transforms by $A$, showing that the conjugate representation is equivalent to the defining one. The antilinear map $\eta \mapsto \tilde{\eta }$ squares to $-I$, so this is a pseudoreal representation, rather than a real structure.

For Representation theory of SU2, take $V_n={\mathrm{Sym}}^n{\mathbb{C}}^2$, with $A$ acting on every index of a symmetric tensor. Its independent components are determined by the number $r$ of indices equal to $2$, so there are $n+1$ of them. Equivalently, the homogeneous polynomial representation of SU2 has basis $z_1^{n-r}{z}_2^r$, $0\le r\le n$, withThe basis weights are $n,n-2,\dots ,-n$, and the raising operator and lowering operator connect consecutive basis vectors with nonzero coefficients until their endpoints. Any nonzero invariant subspace contains a weight vector, by applying polynomial spectral projections in $H$. Raising it reaches $z_1^n$, and lowering then obtains the entire basis. Thus $V_n$ is an irreducible representation, of spin $j=n/2$. The classification of finite-dimensional representations of SU2 gives every finite-dimensional complex irreducible representation in this way. The central element $-I$ acts on a rank-$n$ tensor as $(-1{)}^n$, so descent of an SU(2) representation to SO(3) gives

For the tensor contractions in the SU2 Clebsch-Gordan decomposition, contract $r$ indices of $S$ with $r$ indices of $T$ using $ϵ$, and symmetrize all the remaining free indices:Each $U_r$ is an irreducible symmetric tensor in $V_{m+n-2r}$. To prove these are precisely the constituents, use two sets of formal variables $z,w$. The highest-weight vectorsare killed by the total raising operator $z_1{\partial }_{z_2}+w_1{\partial }_{w_2}$ and have weights $m+n-2r$. The determinant factor is invariant; lowering the remaining factor gives an irreducible string of dimension $m+n-2r+1$. Distinct highest weights give inequivalent summands. The unitary representation on this tensor product makes invariant complements available, and the dimension checkexhausts the space. Hence the contractions above are its irreducible projections, up to normalization, and the Clebsch-Gordan decomposition for SU2 is

For the decomposition of three SU(2) spinors, write $Q^{\alpha \beta \gamma }={\eta }_1^{\alpha }{\eta }_2^{\beta }{\eta }_3^{\gamma }$ and $S^{\alpha \beta \gamma }=Q^{(\alpha \beta \gamma )}$. The contractionstransform as defining spinors. Alternation in three indices in dimension two vanishes, giving $d_1-d_2+d_3=0$; there are exactly two independent contractions. An explicit inverse, with the epsilon convention above, isSymmetrizing this expression gives $S$, while its first two contractions give $d_1,d_2$, which verifies the decomposition. Thus

In the quark model, three spin-$1/2$ quarks therefore have total quark spin $S=3/2$ or $S=1/2$. The two spin-$1/2$ copies correspond to coupling the first pair to spin $0$ or spin $1$ before adding the third quark. For ground-state baryons with orbital angular momentum $L=0$, total $J=S$: the nucleon has $J=1/2$ and the Delta baryon has $J=3/2$. These two coupling copies alone do not assert two unrestricted physical baryon families. The antisymmetric three-quark colour singlet, the spatial wavefunction and flavor symmetry must also satisfy the Pauli constraint on three-quark flavour multiplets; orbital excitations can give other total angular momenta.

Start with a nonzero highest-weight vector $v_0=|n⟩$ and set $v_r=E_{-}^r{v}_0$. The sl2 highest-weight lowering formula follows inductively from the commutator relations:Indeed $[H,E_{-}]=-2E_{-}$ gives the weight formula, and $E_{+}{E}_{-}=E_{-}{E}_{+}+H$ turns the coefficient $r(n-r+1)$ at step $r$ into $(r+1)(n-r)$ at step $r+1$. The nonzero $v_r$ have distinct $H$ eigenvalues, so are linearly independent. Finite dimensionality therefore forces a last nonzero vector $v_N$. Applying $E_{+}$ to $v_{N+1}=0$ gives $(N+1)(n-N)v_N=0$, hence $N=n$. This also proves that no earlier vector can vanish. Thus the cyclic highest-weight representation generated by $|n⟩$ isIt is irreducible: spectral projections in $H$ 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 ${\sum }_i{T}^i{}_i=0$. 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 $T^i{}_j=E_{ij}-{\delta }^i{}_{j}I/3$; the compact real algebra is obtained from anti-Hermitian combinations. Thenand $E_{1+}=E_{12}$, $E_{1-}=E_{21}$, $E_{2+}=E_{23}$, $E_{2-}=E_{32}$. Substituting into the given commutators givesThus both root pairs obey the required sl2 Lie algebra relations. More generally, their Cartan matrix isA weight vector with eigenvalues $(h_1,h_2)$ moves by $(-2,1)$ under $E_{1-}$ and by $(1,-2)$ under $E_{2-}$. The third negative-root operator is $[E_{2-},E_{1-}]=E_{31}$ and moves it by $(-1,-1)$. In the required weight diagram coordinatesthese moves are $(-2,0)$, $(1,-\sqrt{3})$ and $(-1,-\sqrt{3})$ respectively. Successive lowerings from a highest-weight vector, with linear dependencies removed, construct the following bases.

For Dynkin labels $(1,0)$, use the defining action of SU(3) on ${\mathbb{C}}^3$. Its highest vector is $e_1$; lowering gives $e_2=E_{21}{e}_1$ and $e_3=E_{32}{e}_2$. There are no further independent vectors. The weight diagram of the defining SU(3) representation, in the present rescaled coordinates, isand $\boxed{\dim R(1,0)=3}$. Any invariant weight subspace raises to $e_1$ and lowers to all three vectors, proving irreducibility.

For $(1,1)$, use the adjoint representation of SU(3) on traceless matrices, with $X$ acting by $Y\mapsto [X,Y]$. The highest vector is $E_{13}$: both $[E_{12},E_{13}]$ and $[E_{23},E_{13}]$ vanish, while $[H_i,E_{13}]=E_{13}$. Lowering gives $[E_{21},E_{13}]=E_{23}$ and $[E_{32},E_{13}]=-E_{12}$. Further lowering produces $[E_{32},E_{23}]=-H_2$ and $[E_{21},E_{12}]=-H_1$, then $[E_{21},H_1]=2E_{21}$ and $[E_{32},H_2]=2E_{32}$, and finally $[E_{32},E_{21}]=E_{31}$. Consequently the basis is the six off-diagonal matrix units together with $H_1,H_2$:The six nonzero weights have weight multiplicity one, and zero has multiplicity two. Thus $\boxed{\dim R(1,1)=6+2=8}$. Its irreducibility follows also because an adjoint-invariant subspace is an ideal and ${\mathfrak{sl}}_3(\mathbb{C})$ is a simple Lie algebra.

For $(3,0)$, take the symmetric cubic representation of SU(3), ${\mathrm{Sym}}^3{\mathbb{C}}^3$, realized by homogeneous degree-three polynomials. Hereso $z_1^3$ is a highest-weight vector with eigenvalues $(3,0)$. For $a+b+c=3$,which is nonzero and constructs every monomial. These monomials form a basis and have distinct weights $(a-b,b-c)$. If an invariant subspace is nonzero, joint spectral projections in $H_1,H_2$ select one monomial; repeated $E_{2+}$ transfers its $z_3$ powers to $z_2$, and repeated $E_{1+}$ transfers all its $z_2$ powers to $z_1$, reaching $z_1^3$. Lowering then generates the whole basis, proving irreducibility without merely assuming the dimension formula. The plotted weights arewith multiplicity one at every point. Hence $\boxed{\dim R(3,0)=\left(\genfrac{}{}{0ex}{}{5}{2}\right)=10}$.

For approximate flavor symmetry, identify $e_1,e_2,e_3$ with the up quark, down quark and strange quark. The defining representation is their flavour triplet. The baryon octet realizes $R(1,1)$ and contains the spin-$1/2$ nucleons and the $\Lambda ,\Sigma ,\Xi$ multiplets; its central double weight distinguishes $\Lambda$ and ${\Sigma }^0$. The baryon decuplet realizes the symmetric flavour representation $R(3,0)$, containing the spin-$3/2$ $\Delta ,{\Sigma }^{\ast },{\Xi }^{\ast },\Omega$ multiplets. In standard isospin and flavor hypercharge normalization, $I_3=h_1/2$ and $Y=(h_1+2h_2)/3$, so these plots use $x=2I_3$ and $y=\sqrt{3}Y$. 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.

Let $V={\mathbb{C}}^3$ be the defining SU(3) representation. A mixed SU(3) tensor representation belongs to $V^{\otimes k}\otimes (V^{\ast }{)}^{\otimes l}$, with transformation lawThe unrestricted tensor has dimension $3^{k+l}$. The upper and lower counts are independent; setting them equal would lose part of the printed generality.

For an irreducible tensor, impose the appropriate Young symmetrizer on each set of indices and subtract all upper-lower contractions. Antisymmetric pairs can be converted using the invariant alternating tensor, since ${\bigwedge }^{2}3\cong \overline{3}$ and ${\bigwedge }^2\overline{3}\cong 3$. A full alternating triple is a singlet because $\det U=1$. Traces use the invariant Kronecker delta and yield lower-rank tensors. Repeating these operations gives invariant irreducible subspaces, with multiplicities retained.

An explicit algorithm for the complete decomposition starts at $(p,q)=(0,0)$, tensors with $3$ exactly $k$ times, and then with $\overline{3}$ exactly $l$ times. At each step applyomitting terms with negative labels and adding multiplicities of coincident terms. The first is the sl3 highest-weight tensor rule: a Young diagram of row lengths $(p+q,q,0)$ gains a box in one of its three rows. The third-row term loses a determinant column of height three, leaving labels $(p,q-1)$. The second rule follows by conjugation, which exchanges $p$ and $q$. Thus the procedure determines all constituents of the general tensor, not just one selected symmetry type.

The separately symmetric, traceless component has labels $(k,l)$. Before imposing traces its dimension is $\left(\genfrac{}{}{0ex}{}{k+2}{2}\right)\left(\genfrac{}{}{0ex}{}{l+2}{2}\right)$. The contraction map has target the separately symmetric tensors of degrees $(k-1,l-1)$ and is onto: in polynomial coordinates it is ${\sum }_i{\partial }_{x_i}{\partial }_{y_i}$, the adjoint of multiplication by ${\sum }_i{x}_i{y}_i$ in the monomial-factorial inner product. Multiplication is injective, so the adjoint is surjective. Hence the symmetric traceless SU(3) tensor representation has dimensionFor $k=0$ or $l=0$ the subtracted term is zero. The highest tensor $e_1^{\otimes k}\otimes (e^3{)}^{\otimes l}$ is trace-free and has highest weight $k{\omega }_1+l{\omega }_2$. The three positive-root factors in the Weyl dimension formula are $k+1$, $l+1$ and $(k+l+2)/2$, giving exactly the kernel dimension above. Thus the whole symmetric traceless kernel is that irreducible constituent.

There is a genuine distinction between this highest-weight constituent and the literal largest-dimensional constituent. For example, $3^{\otimes 5}$ contains $(3,1)$, obtained by antisymmetrizing one pair, with dimension $24$, whereas the fully symmetric $(5,0)$ has dimension $21$. Thus $d(k,l)$ cannot be the answer to “largest dimension” for every unrestricted pair of counts.

The maximal dimension in mixed SU(3) tensor powers can nevertheless be determined exactly. Every constituent highest weight differs from $k{\omega }_1+l{\omega }_2$ by $a{\alpha }_1+b{\alpha }_2$ with nonnegative integers $a,b$, where ${\alpha }_1=2{\omega }_1-{\omega }_2$ and ${\alpha }_2=-{\omega }_1+2{\omega }_2$. Its labels therefore satisfyIf both $a,b$ are positive, subtracting $c=\min (a,b)$ from both increases the labels to $(p+c,q+c)$, whose dimension is strictly larger. The resulting boundary labels occur in the tensor: use $a$ disjoint antisymmetric upper pairs or $b$ disjoint antisymmetric lower pairs, and then take the separately symmetric traceless component. Consequently the exact answer is the finite formulaThis supplies a practical closed finite computation for arbitrary $k,l$. To reduce it to at most four evaluations, put $K=k+1$, $L=l+1$ and $r=1+\sqrt{3}$. The first continuous maximum is at $a_{\ast }=(K-rL)/(2+r)$, clipped to $[0,k/2]$; test its two neighbouring allowed integers. The second is similarly at $b_{\ast }=(L-rK)/(2+r)$, clipped to $[0,l/2]$. Indeed differentiating the first cubic gives a derivative with the sign of $(K-2a{)}^2-2(K-2a)(L+a)-2(L+a{)}^2$, which changes sign once at that root. For equal upper and lower counts, both maxima are at zero and the familiar result is $(k+1{)}^3$.