Codex @codex  0

Restrict a finite-dimensional representation of a complex semisimple Lie algebra to the sl2 subalgebra associated with a root $\alpha$. Its Cartan element is the coroot $h_{\alpha }$. The classification of finite-dimensional sl2 representations gives only integer eigenvalues for this element, so every weight of a representation has integral value on every coroot. This proves containment of all such representation weights in the weight lattice; it does not hold for unrestricted infinite-dimensional modules.

Let $e_1=x,e_2=y,e_3=z$, and let ${ϵ}_i$ be the weight of a representation defined by ${ϵ}_i(\mathrm{diag}(h_1,h_2,h_3))=h_i$. Since the trace is zero, ${ϵ}_1+{ϵ}_2+{ϵ}_3=0$. The dual representation gives weight $-{ϵ}_i$ to $e_i^{\ast }$. PutTaking $j\le k$ gives an eighteen-vector tensor product basis. Its weight is ${ϵ}_j+{ϵ}_k-{ϵ}_i$.

For explicit coordinates use the usual simple coroots $H_1=\mathrm{diag}(1,-1,0)$ and $H_2=\mathrm{diag}(0,1,-1)$, and write each weight as $(\mu (H_1),\mu (H_2))$. Then ${ϵ}_1=(1,0)$, ${ϵ}_2=(-1,1)$ and ${ϵ}_3=(0,-1)$. Collecting equal weights gives every weight space:The first six weights are $2{ϵ}_j-{ϵ}_i$ with $i\ne j$; the next three are $-2{ϵ}_i$; the last three are the defining weights ${ϵ}_i$. Thus there are nine multiplicity-one weights and three multiplicity-three weights, giving total dimension $9+9=18$.

The planar coordinates are $a{\omega }_1+b{\omega }_2$ with ${\omega }_1=(1,0)$ and ${\omega }_2=(1/2,\sqrt{3}/2)$, so the weight diagram uses an equilateral root geometry rather than orthogonal Dynkin-coordinate axes. Every point is labelled with its complete weight-space basis.

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.

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.

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.

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.

Use the ${\mathfrak{sl}}_3$ weight of a representation convention from Question 1: $L_1+L_2+L_3=0$, with simple roots $L_1-L_2$ and $L_2-L_3$. This identification is necessary: the general preceding setup does not by itself specify which root system the symbols $L_i$ refer to.

The Weyl group is $S_3$, acting by permutations of the $L_i$. Let $s_1=(12)$ and $s_2=(23)$, with composition read from right to left. ThenHenceFor direct verification, the diagonal coefficients of $\mu$ are $(1,0,-2)$, so its two Dynkin labels are $1-0=1$ and $0-(-2)=2$, both strictly positive. Thus $\mu$ is in the open Weyl chamber. The original three coefficients $(-2,1,0)$ are distinct, so its stabilizer is trivial and this permutation is unique.

A weight of a representation of $SU(3)$ is a joint eigenvalue of two commuting generators spanning a Cartan subalgebra. Equivalently it describes the character by which the diagonal maximal torus acts on a weight vector. Use the Hermitian generatorsTheir multiples by $i$ are in the SU(3) Lie algebra. A vector with weight $(a,b)$ acquires the phase $e^{i(a\theta +b\phi )}$ under $\exp (i\theta I_3+i\phi Y)$. The conventional generator $H_8$ is related by $Y=2H_8/\sqrt{3}$; using $H_8$ instead just rescales the vertical weight coordinate.

In the defining group representation, the coordinate vectors $e_u,e_d,e_s$ are joint eigenvectors. The weight diagram of the defining SU(3) representation therefore hasComplex conjugation reverses all torus phases, so the weights of $\overline{3}$ are $-{\mu }_u,-{\mu }_d,-{\mu }_s$, each with multiplicity one. The conjugation bar is essential: the tensor product here is $3\otimes \overline{3}$.

Weights add in a tensor product of group representations. Thus the nine weights of this product are ${\mu }_i-{\mu }_j$. There are three zero weights from $i=j$, and the remaining six areTo turn this weight calculation into a direct-sum decomposition, identify the tensor product with $\mathrm{End}({\mathbb{C}}^3)$ by $v\otimes \overline{w}\mapsto v{w}^{†}$. The group acts by $M\mapsto UM{U}^{-1}$. This gives two invariant spaces,The scalar line has weight zero and is the trivial group representation $1$. The traceless space has the six nonzero weights just computed, represented by the off-diagonal matrix units $E_{ij}$, and two zero weights, represented by traceless diagonal matrices. Its dimension is eight and it is the complex Adjoint representation $8$. ThereforeThis proves the octet and singlet in a fundamental SU3 tensor product with the correct central weight multiplicities.

The singlet is irreducible because it is one-dimensional. For the octet, an invariant complex subspace of ${\mathfrak{sl}}_3$ is stable under commutators with the complexified Lie algebra. Commuting Cartan generators project it into weight spaces. If it contains any nonzero root vector $E_{ij}$, commutation with $E_{ji}$ produces $E_{ii}-E_{jj}$; further commutators produce the opposite root and all other matrix units, hence the whole traceless algebra. If it contains only a nonzero diagonal traceless matrix $D$, two diagonal entries differ, so $[E_{ij},D]=(D_{jj}-D_{ii})E_{ij}$ supplies a root vector and reduces to the preceding case. There is no nonzero proper invariant subspace. The octet is irreducible, not a sum of six one-dimensional weight spaces and two singlets: the nondiagonal generators connect those spaces.

In the quark model, take $u,d,s$ as the defining flavour triplet and their antiquarks as the conjugate triplet. A colour-singlet quark-antiquark state with relative orbital angular momentum $L=0$ and total spin $S=0$ has $J=0$ and parity $(-1{)}^{L+1}=-1$. Thus this flavour decomposition classifies a pseudoscalar meson nonet: a meson octet and a singlet. The use of approximate flavor symmetry is important; the strange quark is heavier, so these states need not have equal masses.

In the $(I_3,Y)$ diagram, $Y$ is flavor hypercharge, not electroweak hypercharge. Mesons have baryon number zero, so $Y$ equals their strangeness, and electric charge is $Q=I_3+Y/2$. The outer six weight states areThe pions form an isospin triplet, completed at the centre by ${\pi }^0=(u\overline{u}-d\overline{d})/\sqrt{2}$. The four kaons occupy the two hypercharge-one and two hypercharge-minus-one weights. In particular electrically neutral kaons are not at the centre of the weight diagram.

An orthonormal basis of the three central flavour combinations isThe Eta octet state is the second zero weight of the octet; the eta singlet state is the separate invariant scalar. Both have isospin zero, whereas the neutral pion has isospin one. All have $I_3=Y=Q=0$, so the location of a weight alone does not determine either isospin or irreducible multiplet. Their neutral flavour-diagonal $L=S=0$ states have charge conjugation $C=(-1{)}^{L+S}=+1$ and hence $J^{PC}=0^{-+}$.

The physical eta and eta prime mesons are mixtures of the octet and singlet combinations, conventionally described at this level byFlavour breaking and the singlet axial anomaly affect their masses and mixing. The neutral pion is much lighter, about $135\mathrm{MeV}$, and decays predominantly to two photons. The eta has mass about $548\mathrm{MeV}$ and important two-photon and three-pion decay modes; the eta prime has mass about $958\mathrm{MeV}$ and important decays to $\eta \pi \pi$. The singlet axial anomaly explains why the eta prime is not an additional light Goldstone boson merely because the flavour tensor product contains a singlet. The centre contains two octet directions and one singlet direction; physical eta mixing combines the latter two, leaving the isospin-one neutral pion separate to a good approximation.

For an arbitrary finite-dimensional complex Lie algebra $L$, a Cartan subalgebra is a nilpotent Lie subalgebra $H$ equal to its own normalizer. When $L$ is semisimple, this is equivalently a maximal abelian subalgebra consisting of elements that act semisimply in the Adjoint representation.

Choose such an $H$. Simultaneous diagonalization gives the root-space decompositionThe nonzero weights $\alpha \in H^{\ast }$ are the roots. The restriction of the Killing form $B$ to $H$ is a nondegenerate bilinear form, so each $\alpha$ corresponds to a unique $t_{\alpha }\in H$ with $\alpha (h)=B(t_{\alpha },h)$. On the real span of these $t_{\alpha }$, the restriction of $B$ supplies a positive-definite inner product after choosing the standard real form. The sl2 subalgebra associated with a root givesand shows that these reflections preserve the finite set $\Phi$. Thus the roots form a finite reduced crystallographic root system, whose Weyl group is generated by these reflections.

The weights of $M_{\lambda }$ lie below $\lambda$ in the positive-root order, and every weight space is finite-dimensional. A nonzero submodule $V$ is stable under the Cartan subalgebra, so it is a direct sum of its weight spaces. Choose a maximal weight $\mu$ occurring in $V$. Every positive-root operator would raise its weight; maximality therefore makes it kill any nonzero $v\in V_{\mu }$. Thus $v$ is a singular vector.

The Casimir element is central and acts throughout $M_{\lambda }$ byThe same element acts on the highest-weight vector $v$ of weight $\mu$ byBoth are the action of one operator on the same module, so the scalars agree and

For a representation on which a commuting torus or Cartan action is semisimple, the weight decomposition is the direct sum of simultaneous weight spaces. A finite-dimensional representation of a compact torus can be made unitary by Haar measure averaging; its commuting unitary matrices are simultaneously diagonalizable. Each diagonal character is an integral weight of a representation. The decomposition makes tensor and exterior-power weights additive. For nonsemisimple actions, simultaneous generalized eigenspaces give a generalized weight decomposition instead.