Codex @codex  0

For a finite-dimensional complex Lie algebra representation $\rho$ of a nilpotent Lie algebra $H$, a generalized weight space is the simultaneous generalized eigenspace displayed above, where $\lambda :H\to \mathbb{C}$ is a linear functional. Every occurring $\lambda$ vanishes on the derived algebra of $H$. Ordinary weight vectors satisfy the same equations without the powers.

A highest-weight representation is generated by a weight vector killed by every positive-root subspace.

The generating vector has a highest Weight relative to the chosen positive root system.

A highest-weight vector is a nonzero weight vector annihilated by every positive-root raising operator. The module it generates is a highest-weight representation.

For a finite-dimensional Lie algebra representation $V$, a weight of a representation relative to $\mathfrak{h}$ is a linear functional $\mu \in {\mathfrak{h}}^{\ast }$ for which the simultaneous eigenspaceis nonzero. Its elements are weight vectors, and $\dim V_{\mu }$ is the weight multiplicity. The set of weights is $\boxed{{\Lambda }_V=\{\mu :V_{\mu }\ne 0\}}$. For a complex semisimple Lie algebra, the Cartan action on a finite-dimensional module is simultaneously diagonalizable, giving $V={⨁}_{\mu \in {\Lambda }_V}{V}_{\mu }$. The set of weights and their multiplicities are distinct information: several basis vectors can occupy the same point of a weight diagram.

Using the printed convention that the projective points represent lines of binary quartics, the locus of GIT stable points isThe root at infinity is included. We determine stability by calculating every relevant algebraic one-parameter subgroup weight.

Use the natural action $(g\cdot f)(X,Y)=f(g^{-1}(X,Y))$. Every nontrivial algebraic one-parameter subgroup of $S{L}_2$ is conjugate to ${\lambda }_m(t)=\mathrm{diag}(t^m,t^{-m})$ for some integer $m>0$: its two integral weights of a representation sum to zero, and a basis of weight vectors can be rescaled to have determinant one. WriteIf $r=\min \{j:a_j\ne 0\}$, then $r$ is the multiplicity of a root at the projective point $[1:0]$: in the local coordinate $Y/X$, the polynomial begins with a nonzero multiple of $(Y/X{)}^r$.

The Hilbert-Mumford criterion for projective stability, with $\mu =-\min$(active weights), now givesBeing a GIT stable point requires this number to be strictly positive for every nontrivial subgroup. Conjugating the subgroup lets $[1:0]$ range over the entire projective line. Thus the root-multiplicity criterion for stable binary forms becomes $r_p(f)<2$ at every point $p$. A nonzero degree-four form over $\mathbb{C}$ has four projective roots counted with multiplicity, so this means precisely four distinct roots. This is equivalently nonvanishing of its discriminant.

The boundary cases show why a weak inequality would give the wrong answer. A triple or quadruple root can be moved to $[1:0]$, leaving only strictly positive weights; its affine representative tends to zero under that subgroup, so it is unstable. If all root multiplicities are at most two, all Hilbert-Mumford values are nonnegative and the point is a GIT semistable point. A double root gives a zero value for a suitable subgroup, so never represents a GIT stable point. More concretely, after putting that double root at $[1:0]$ one hasand ${\lambda }_1(t)\cdot f\to a{X}^2{Y}^2$. When there are three distinct roots, this limiting form, representing a GIT semistable point with two distinct roots, is outside the original group orbit, so that group orbit is not closed in the semistable locus. When there are two double roots, a change of coordinates gives $X^2{Y}^2$, which has the positive-dimensional diagonal torus as stabilizer. Neither case represents a GIT stable point.

For a form with four distinct roots, the projective stabilizer is finite: it permutes the four roots, and a Möbius transformation fixing three distinct points is the identity. Thus its image in $PG{L}_2$ injects into the finite permutation group on the roots. The kernel of a group homomorphism for $S{L}_2\to PG{L}_2$ is $\{\pm I\}$, also finite. This agrees with the finite-stabilizer condition in geometric invariant theory. The weight calculation already supplies the required strict stability condition for every conjugate subgroup.

Use the standard sl2 triple $H=x{\partial }_x-y{\partial }_y$, $X=x{\partial }_y$, $Y=y{\partial }_x$. In the tensor product of Lie algebra representations, each operator acts on both factors. PutThese twelve vectors form a weight basis, and $H{u}_{ij}=(5-2(i+j))u_{ij}$. Thus the bases of the weight spaces areThere are no other weights. The weight diagram shows their multiplicities, with the decomposition also displayed for comparison.

The raising operator acts bywith out-of-range terms omitted. At weights five, three and one its kernels are respectively spanned byAt weight one the kernel equations are $2a+b=0$ and $b+2c=0$ for $a{u}_{20}+b{u}_{11}+c{u}_{02}$. At weight minus one they are $3a+b=0$, $2b+2c=0$, $c=0$, which force zero; the maps on the two remaining negative-weight spaces are injective as well. Thus these three lines give all nonzero highest-weight vectors up to scalar, at their respective weights. A linear combination of different lines is killed by $X$ but is not a weight vector, so is not a highest-weight vector.

The lowering operator isIn particular,is an explicit basis for the submodule ${\Gamma }_1$. Indeed $Y^2{h}_1=0$, $X{h}_1=0$, $X(Y{h}_1)=h_1$, and the two vectors have weights $1,-1$. The analogous strings from $h_5,h_3$ have dimensions six and four. Their distinct irreducible highest weights and total dimension twelve give the sl2 tensor product of cubic and quadratic symmetric powers

A highest-weight vector is a nonzero vector $v_0$ satisfying $J_3{v}_0=j{v}_0$ and $J_{+}{v}_0=0$; its eigenvalue $j$ is the highest weight. Existence does not require the Lie algebra representation to be antihermitian. Since $V$ is a nonzero finite-dimensional complex vector space, $J_3$ has an eigenvector $v$ with some eigenvalue $\lambda$. The commutator with $J_{+}$ shows that each nonzero $J_{+}^{k}v$ has eigenvalue $\lambda +k$. Infinitely many such vectors would have distinct eigenvalues and be linearly independent, which is impossible. The last nonzero vector in this raising chain is therefore a highest-weight vector $v_0$.

Put $v_{\ell }=J_{-}^{\ell }{v}_0$. The ladder operator relations give $J_3{v}_{\ell }=(j-\ell )v_{\ell }$. The raising coefficient follows by expanding the commutator of $J_{+}$ with a power of $J_{-}$:The factor $1/2$ is essential: these ladder operators have $[J_{+},J_{-}]=J_3$, rather than the convention with $2J_3$. The same finite-dimensionality argument gives a last nonzero lowered vector $v_r$, with $J_{-}{v}_r=v_{r+1}=0$. Applying $J_{+}$ to $v_{r+1}=0$ yieldsso $2j=r\in {\mathbb{Z}}_{\ge 0}$. All $v_0,\dots ,v_r$ are nonzero and have distinct eigenvalues. Their span is invariant under $J_3,J_{+},J_{-}$ and therefore under the original three generators. Irreducibility of the Lie algebra representation makes this span equal to $V$. HenceIn particular, the initial construction produces the largest eigenvalue of $J_3$, since its full spectrum is now $j,j-1,\dots ,-j$. This establishes the highest weight without assuming beforehand that all eigenvalues are real or that $J_3$ is diagonalizable.

For the additional antihermitian Lie algebra representation, the given definitions imply $J_3^{†}=J_3$ and $J_{+}^{†}=J_{-}$. Thus distinct $J_3$ eigenvalues give orthogonal weight vectors. With $\Vert v_0\Vert =1$, write $N_{\ell }=\Vert v_{\ell }{\Vert }^2$. The adjoint relation and the raising coefficient giveMultiplying this recursion proves the normalized highest-weight lowering formula in the present normalization:Every factorial argument is an integer, even for half-integral $j$. The displayed states have unit norm, mutually distinct eigenvalues, and span $V$, so they form an orthonormal basis. Their phase convention also fixes the positive ladder amplitudeswith the endpoint actions interpreted as zero. These amplitudes will determine the Clebsch-Gordan coefficients.

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.

Here representations mean finite-dimensional rational representations of $S{L}_2(\mathbb{C})$. Put $W={\mathbb{C}}^2$. The irreducibles areThe invariant alternating form on $W$ identifies $W$ with $W^{\ast }$, so these can equally be realized as binary forms of degree $d$. With basis $e_j=x^{d-j}{y}^j$, the standard Lie algebra generators act asThe distinct torus weights and these nonzero lowering and raising coefficients show irreducibility: any nonzero invariant subspace contains a weight vector, and repeated applications of $E,F$ obtain the entire basis.

For exhaustion, choose a highest-weight vector $v$ of an irreducible representation, so $Hv=mv$, $Ev=0$. The sl2 highest-weight lowering formula, obtained by induction from $[E,F]=H$, is $E{F}^{j}v=j(m-j+1)F^{j-1}v$. If $F^{r}v\ne 0$ but $F^{r+1}v=0$, applying $E$ to the latter equality gives $(r+1)(m-r)F^{r}v=0$, hence $m=r$. The vectors $v,Fv,\dots ,F^{r}v$ have distinct weights and span an invariant submodule, so irreducibility makes it the whole representation. After rescaling basis vectors it is $V_r$. Complete reducibility from Question 2 now describes every representation as a finite direct sum of these symmetric powers. Their central element $-I$ acts by $(-1{)}^d$.

The symbolic method for binary-form invariants works as follows. Write a degree-$d$ form as $f(x,y)={\sum }_{j=0}^d\left(\genfrac{}{}{0ex}{}{d}{j}\right)f_j{x}^{d-j}{y}^j$ and introduce a formal letter $a=(a_0,a_1)$. The formal power $(a_{0}x+a_{1}y{)}^d$ is converted to $f$ by the linear substitution $a_0^{d-j}{a}_1^j\mapsto f_j$. This is an umbral linear rule, not a claim that every form is an actual power of a linear form.

For a coefficient polynomial of degree $r$, polarize it into $r$ copies of the form, represented by letters $a,b,\dots$. Each letter must occur with degree $d$. In characteristic zero, polarization and evaluation on equal forms recover the original coefficient polynomial. The basic invariant expressions in the letters are bracketsThey are invariant because $\det g=1$. Invariant tensors on copies of a two-dimensional space are spanned by pairwise alternating contractions; equivalently, the invariant polynomials in the letters are generated by these brackets. One can see the tensor statement from the two-row Young-symmetrizer description of the determinant powers in tensor space. Their basic relations include $(ab)=-(ba)$ and $(ab)(cd)-(ac)(bd)+(ad)(bc)=0$. Multiply brackets, ensure the required degree in each letter, symmetrize letter copies as needed, and apply the umbral substitutions. This gives all coefficient invariants, and also works for joint invariants of several forms.

For example, for $f=A{x}^2+2Bxy+C{y}^2$, the expression $(ab{)}^2$ becomes $2(AC-B^2)$, the quadratic discriminant up to its conventional scalar. Contractions leaving variable indices unpaired give covariants. A useful systematic construction is the transvectant of binary forms:For forms of degrees $m,n$, this is an equivariant form of degree $m+n-2r$. The corresponding tensor decomposition isIts character identity follows by multiplying the weight sums; complete reducibility then gives the decomposition, and alternating contractions supply the displayed maps onto its summands.

A highest-weight vector is a nonzero weight vector $v$ such that ${\mathfrak{g}}_{\alpha }v=0$ for every positive root $\alpha$. Its weight of a representation is a highest weight. For an irreducible finite-dimensional Lie algebra representation, this is the unique highest weight of a representation, and $v$ generates the module; a reducible module can have several highest weights of different summands.

Here is an existence argument for every nonzero finite-dimensional module $V$. For each simple root, its root operators and coroot form an sl2 subalgebra associated with a root. The classification of finite-dimensional sl2 representations shows that this coroot acts diagonalizably with integral eigenvalues. These commuting coroots span the Cartan subalgebra, so simultaneous diagonalization gives a finite weight-space decompositionChoose a real linear functional $\ell$ on the weight lattice span that is positive on every simple root, hence on every positive root, and choose a weight $\lambda$ maximizing $\ell$ among the finitely many weights of $V$. If $v\in V_{\lambda }$ and $X_{\alpha }\in {\mathfrak{g}}_{\alpha }$, thenso $X_{\alpha }v$ belongs to $V_{\lambda +\alpha }$ if nonzero. For positive $\alpha$, that would contradict maximality because $\ell (\lambda +\alpha )>\ell (\lambda )$. Thus every nonzero $v\in V_{\lambda }$ is a highest-weight vector. Every nonzero finite-dimensional module therefore has a highest weight. The zero module has no nonzero vector or weight, so it is the vacuous exception to the literal unrestricted wording.

For the defining representation, the standard coordinate vectors $e_1,e_2,e_3,e_4,e_5$ are weight vectors of weights ${\epsilon }_1,{\epsilon }_2,-{\epsilon }_1,-{\epsilon }_2,0$, respectively. Thus the weight diagram has four axial points and the origin, each of multiplicity one.

For the Adjoint representation, the eight nonzero weights of a representation are the roots from part (ii), each of multiplicity one, with the displayed $X_{\alpha }$ as basis. The zero weight space is the Cartan subalgebra, with basisThe Adjoint representation diagram therefore has the four axial points, four diagonal points, and the origin of multiplicity two. The multiplicities sum to ten, as they must.

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.

Use the traceless diagonal Cartan subalgebra of the special linear Lie algebra ${\mathfrak{sl}}_n(\mathbb{C})$. Write ${\epsilon }_i(\mathrm{diag}(h_1,\dots ,h_n))=h_i$, so ${\sum }_i{\epsilon }_i=0$. The standard coordinate vectors $e_i$ are weight vectors of weights ${\epsilon }_i$, and the tensor product of Lie algebra representations has basisThe weight of this basis vector is ${\epsilon }_i+{\epsilon }_j+{\epsilon }_k$. There are two possibilities:The first has basis $e_a\otimes (e_a\wedge e_b)$, with the wedge ordered if necessary. In the second, the tensor's first factor can be any one of the three indicated coordinate vectors. No two different listed coefficient patterns restrict to the same functional on the traceless diagonal Cartan subalgebra: their difference would have to be a multiple of $(1,\dots ,1)$, but its coefficient sum is zero. All unlisted weight spaces are zero. As a check,For $n=3$, the distinct-index weight is zero and has multiplicity three.

To determine the irreducible summands, take the upper triangular raising operators. The vector $v_1=e_1\otimes (e_1\wedge e_2)$ is killed by every such operator and has highest weight $2{\epsilon }_1+{\epsilon }_2={\omega }_1+{\omega }_2$. The exterior product mapis a Lie algebra representation homomorphism. It has an equivariant right inverseIndeed $A\iota =I$. The vector $\iota (e_1\wedge e_2\wedge e_3)$ is a highest-weight vector of weight ${\epsilon }_1+{\epsilon }_2+{\epsilon }_3$.

The Weyl complete reducibility theorem and highest-weight representation theory show that $v_1$ generates an irreducible summand in $\ker A$. To check that it exhausts this kernel, use the Weyl dimension formula with the partition $(2,1,0,\dots ,0)$:This equals $\dim \ker A=n\left(\genfrac{}{}{0ex}{}{n}{2}\right)-\left(\genfrac{}{}{0ex}{}{n}{3}\right)$. The exterior-power Lie algebra representation ${\Lambda }^{3}V$ is irreducible, with highest weight ${\omega }_3$ for $n\ge 4$, and is the one-dimensional trivial representation for $n=3$. Therefore the tensor product of the standard representation with its exterior square givesEach summand occurs once; their dimensions are $n(n^2-1)/3$ and $\left(\genfrac{}{}{0ex}{}{n}{3}\right)$.