Codex @codex  0

Use a finite-dimensional complex semisimple Lie algebra, or the complexification of its compact real form, as required for the root construction. Choose a Cartan subalgebra with basis $H_1,\dots ,H_r$. Simultaneous diagonalization of its adjoint action gives the root-space decompositionThe nonzero weights are the roots of a root system; each root space is one-dimensional in this setting, and roots occur in opposite pairs. This supplies the Cartan and root-vector basis.

The Jacobi identity givesIf the bracket is nonzero and $\alpha +\beta \ne 0$, it is a nonzero vector in the root space of weight $\alpha +\beta$, so that sum is a root. The printed implication needs the opposite-root exception: for $\beta =-\alpha$, $[E_{\alpha },E_{-\alpha }]$ can be a nonzero Cartan element, while zero is not a root. The supplied simple-root commutator itself gives this counterexample. This is the root bracket and the opposite-root exception.

Choose a real linear functional nonzero on every root; positive roots are those on which it is positive, and negative roots are their negatives. The simple roots are positive roots not decomposable into two positive roots. They form a basis ${\alpha }_1,\dots ,{\alpha }_r$ of the root span, and every root is an integer combinationwith all $m_i\ge 0$ for a positive root and all $m_i\le 0$ for a negative root. Positive roots can be decomposed repeatedly until simple roots remain; the finite root set makes this procedure terminate.

For $i\ne j$, ${\alpha }_j-{\alpha }_i$ has simple-root coefficients of both signs and is not a root. It is also nonzero, so the root-space bracket rule givesThe operators $E_i^{\pm },{\hat{H}}_i$ have the SU(2) Lie algebra normalization ${\hat{H}}_i=2J_3$, $E_i^{\pm }=J_{\pm }$. In a finite-dimensional representation, a vector killed by $E_i^{-}$ is a lowest-weight vector in its SU(2) summands. If its ${\hat{H}}_i$ value is $-\lambda$, those summands have spin $\lambda /2$, soOne can also read the termination from successive raising coefficients $\sqrt{(\lambda -k)(k+1)}$ starting at the lowest weight.

Apply this result in the finite-dimensional Adjoint representation, taking the lowest-weight vector to be $E_j^{+}$. The vanishing bracket just proved is its lowering condition. If $[{\hat{H}}_i,E_j^{+}]=a_{ij}{E}_j^{+}$, the lowest-weight result forces $a_{ij}=-n_{ij}$ with $n_{ij}$ a nonnegative integer. It also yieldsThe last identity is exactly the requested nested commutator. This is the SU(2) proof of the Serre relations, and the identities are the Serre relations in these Chevalley basis conventions.

To construct a highest-weight representation, start from its highest-weight vector and apply negative-root operators. Fix an order on the negative roots. The Poincaré-Birkhoff-Witt theorem gives spanning vectorsof weight $w-{\sum }_i{k}_i{\beta }_i$. The spanning assertion follows by commuting all negative-root operators to the left, Cartan operators to the middle and positive-root operators to the right; commutators supply lower-order words, positive operators kill the highest-weight vector and Cartan operators act there by scalars. In the finite-dimensional highest-weight representation, impose the simple-root string relations $(E_i^{-}{)}^{w_i+1}|w⟩=0$ and the commutator/Serre relations. At each weight retain a linearly independent set of the resulting words, discarding zero words and dependencies. This gives a basis, with separate independent vectors retained when a weight has multiplicity greater than one. The construction is finite in the assumed finite-dimensional representation; treating all lowering words as automatically independent would overcount.

For SU(3), put $e_i=E_i^{+}$, $f_i=E_i^{-}$ and $h_i={\hat{H}}_i$. The off-diagonal Cartan entries are minus one, so the Serre relations give $(\mathrm{ad}{e}_1{)}^2{e}_2=(\mathrm{ad}{e}_2{)}^2{e}_1=0$. With $e_3=[e_1,e_2]$, these implyFor $f_3=-[f_1,f_2]$, expand the commutator using Jacobi identity and the distinct-root brackets:since $[h_1,f_2]=f_2$. Similarly,and the same calculation on $f_3$ gives $[h_1,f_3]=-f_3$. ThusThese signs also agree with the explicit model $e_1=E_{12}$, $e_2=E_{23}$, $e_3=E_{13}$, $f_1=E_{21}$, $f_2=E_{32}$, $f_3=E_{31}$.

For the SU(3) Casimir in Chevalley generators, setUsing $[h_1,e_1]=2e_1$, $[h_2,e_1]=-e_1$, and putting Cartan elements on the left, the four terms of $[P,e_1]$ areTheir sum is $3h_1{e}_1$. The remaining terms giveThe last two cancel, so $[C,e_1]=3h_1{e}_1-3h_1{e}_1=0$. Also $h_1$ commutes with every Cartan polynomial and with each $f_n{e}_n$: their raising and lowering weights cancel in the product. HenceOn $|w_1,w_2⟩$, $e_1$ and $e_2$ vanish and therefore $e_3=[e_1,e_2]$ vanishes as well. All three $f_n{e}_n$ terms consequently give zero, leavingThe paper's normalization is $C=3C_2$ relative to the conventional SU(3) quadratic Casimir eigenvalue. For example it gives $4$ in the fundamental representation, $9$ in the octet and $18$ in the decuplet.

The commuting Hermitian operators $H_1,H_2$ admit a weight-space decomposition. The six root vectors shift their simultaneous eigenvalues byor their negatives. Put $h_i=2{\alpha }_i\cdot H$, $e_i=\sqrt{2}{E}_{+}^i$ and $f_i=\sqrt{2}{E}_{-}^i$. The supplied relations giveThese are three sl2 triples, coming from the complexifications of the three SU(2) Lie algebra root-pair subalgebras. They act through homomorphisms into $\mathrm{End}(V)$. For a nontrivial representation, simplicity of the SU(3) Lie algebra makes its kernel zero, so these images are actual ${\mathfrak{sl}}_2(\mathbb{C})$ subalgebras; a trivial representation gives zero actions. The real compact generators can be taken as $i{h}_i$, $i(E_{+}^i+E_{-}^i)$ and $E_{+}^i-E_{-}^i$.

Decomposing under any one of these subalgebras gives finite weight strings in its root direction. The two simple-root highest weights must be nonnegative integers. In the SU(3) highest-weight coordinates used here, this condition isHere $(a,b)$ are the Dynkin labels; $(p,q)$ are the eigenvalues of $H_1,H_2$. An irreducible representation is determined by these labels and has dimension $(a+1)(b+1)(a+b+2)/2$. An arbitrary finite-dimensional anti-Hermitian representation is a direct sum of such representations: the orthogonal complement of an invariant subspace remains invariant.

The weight diagram has Weyl group symmetry, namely reflections and rotations by $120$ degrees. Its convex boundary is a hexagon with alternating side lengths $a,b$, degenerating to a triangle when one label vanishes. Generic representations need not have $60$-degree symmetry. Boundary weight multiplicities are one. Moving inward through hexagonal layers increases multiplicity by one, up to $\min (a,b)+1$; triangular inner layers retain that maximum. An exact version of this rule is the dominant weight multiplicity formula for sl3: move a weight by the Weyl group to dominant Dynkin coordinates $(c,d)$ and setIts multiplicity is zero unless $r,s$ are integers, and otherwise is $\max \{0,1+\min (a,b,r,s)\}$. These rules construct the diagram while counting coincident weights correctly.

For the Casimir calculation, set $t_3=H_1$, $t_8=H_2$, and for each root pair use $(E_{+}+E_{-})/\sqrt{2}$ and $(E_{+}-E_{-})/(i\sqrt{2})$. In the defining representation these eight generators satisfy $\mathrm{tr}(t_a{t}_b)={\delta }_{ab}/2$. Their summed squares are precisely the question's $X$. The invariant trace form makes their structure constants of a Lie algebra antisymmetric, sothe antisymmetric coefficient contracts a symmetric anticommutator. Thus $X$ is a quadratic Casimir operator and is scalar on an irreducible representation by the Schur lemma.

Let $v$ be a highest-weight vector, annihilated by all $E_{+}^i$. On $v$, each $E_{-}^i{E}_{+}^i$ vanishes and each $E_{+}^i{E}_{-}^i$ reduces to the root commutator. Summing those three commutators gives $H_1+\sqrt{3}{H}_2$. Henceand therefore the SU(3) quadratic Casimir eigenvalue isFor a reducible representation the same calculation applies separately to its irreducible blocks.

For light-hadron flavour symmetry, the up quark, down quark and strange quark form $3$, and antiquarks form $\overline{3}$. Conventional mesons have $3\otimes \overline{3}=1\oplus 8$. Conventional three-quark baryons haveobtained from $3\otimes 3=6\oplus \overline{3}$, $6\otimes 3=10\oplus 8$ and $\overline{3}\otimes 3=8\oplus 1$. Their Dynkin labels are $(0,0)$, $(1,1)$ and $(3,0)$, respectively. Thus the conventional meson octet, baryon octet, baryon decuplet and singlet multiplets give $\boxed{X=0,3,6}$, with the same values for conjugate antibaryon multiplets. More generally, the zero flavour triality of a light-quark hadron imposes $a+2b\equiv 0(\mathrm{mod}3)$ on multiplets constructed entirely from light quarks, antiquarks and gluons. Their Casimir values are given by the same formula for these labels. Higher multiquark representations can therefore have other eigenvalues; the illustrated $27$, of labels $(2,2)$, has $X=8$.

For $e_3=[e_1,e_2]$, $f_3=-[f_1,f_2]$, the operator $C=h_1^2+h_2^2+h_1{h}_2+3(h_1+h_2)+3{\sum }_{i=1}^3{f}_i{e}_i$ commutes with all generators. In its commutator with $e_1$, the Cartan polynomial contributes $3h_1{e}_1$, while the last sum contributes $-3h_1{e}_1$; the two mixed terms involving $f_2{e}_3$ cancel. On highest weight $(p,q)$ its eigenvalue is $p^2+q^2+pq+3p+3q$. This normalization is three times the conventional SU(3) quadratic Casimir eigenvalue.