Codex @codex  0

For linear maps $E:U\to W$ and $F:W\to U$ between finite-dimensional vector spaces, ${\mathrm{tr}}_U(FE)={\mathrm{tr}}_W(EF)$ even when their dimensions differ; expanding rectangular matrices proves it. For root vectors normalized by $[E_{\alpha },F_{\alpha }]=t_{\alpha }$, with $B(t_{\alpha },h)=\alpha (h)$, this gives $T_{\alpha }(\mu )=T_{\alpha }(\mu +\alpha )+(\mu +\alpha ,\alpha )\dim V_{\mu +\alpha }$. Iteration along a finite weight string is the trace step in Freudenthal multiplicity formula.

Order the simple roots of the G2 root system with ${\alpha }_1$ long and ${\alpha }_2$ short. This ordering is consistent with the supplied projection in solution; reversing the nodes would interchange the two fundamental Dynkin labels. Choose $({\alpha }_1,{\alpha }_1)=2$, $({\alpha }_2,{\alpha }_2)=2/3$, and $({\alpha }_1,{\alpha }_2)=-1$. With the same row convention for the Cartan matrix as in solution,The positive roots, with their Dynkin labels, areFor the highest weight $(0,1)$, a lowering chain isThe middle three terms form the length-three weight string for the short simple root. The Weyl dimension formula, with this long-first convention, isIt gives seven for $(0,1)$, so the chain exhausts the weight system, with every weight multiplicity equal to one:For $(1,0)$, observe that $2{\alpha }_1+3{\alpha }_2=(1,0)$ is the highest root. Thus this is the Adjoint representation; the twelve root spaces contribute the twelve nonzero weights once, and the rank-two Cartan subalgebra contributes two zero weights. ThereforeThe same Weyl dimension formula gives fourteen, confirming the count.

Use the corrected generating series of the Kostant partition function and the permitted Weyl character formula:For a fixed $w$, the coefficient of $e^{\mu }$ arises exactly whenThere are only finitely many Weyl-group terms, and the partition function vanishes outside the cone of nonnegative root combinations. Coefficient extraction is therefore legitimate in the formal completion used in the preceding part. Summing the signed contributions provesThis proves the Kostant multiplicity formula for every compact connected Lie group, not just the unitary groups. In the presence of a central torus, roots have zero central component, so the partition function automatically gives zero for any incompatible central weight. Also $\rho$ need not itself be an integral weight for the given global group: $w\rho -\rho$ always belongs to the root lattice, so every argument in the formula is nevertheless integral whenever $\lambda$ and $\mu$ are integral group weights.

As a normalization check, for $SU(2)$ write a highest weight as the nonnegative integer $\ell$, with positive root $2$ and $\rho =1$. The two Weyl-group terms giveSince $p(a)=1$ precisely when $a$ is even and nonnegative, this is one for $\mu =\ell ,\ell -2,\dots ,-\ell$ and zero otherwise, including the cancellation below the lowest weight. This recovers the full familiar weight string.

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$.

Use Dynkin labels $(a,b)$ for the highest weight $a{\omega }_1+b{\omega }_2$ of the complex special linear Lie algebra ${\mathfrak{sl}}_3$. The A2 root system has ${\alpha }_1=(2,-1)$ and ${\alpha }_2=(-1,2)$ in these coordinates. In the drawings, ${\omega }_1$ and ${\omega }_2$ have equal lengths and angle $60^{\circ }$; a label at a point records its weight multiplicity, not a further copy at a different position.

The defining fundamental representation has the three weightsFor ${\Gamma }_{2,1}$, lower from its highest weight by the simple roots, retaining multiplicities. One convenient way to calculate them is the sl3 interlacing character formula: for shape $(3,1,0)$ the integer patterns satisfy $1\le p\le 3$, $0\le q\le 1$, $q\le r\le p$, and contribute the weightEnumerating these patterns gives the weight diagramIts dimension is $3\cdot 2+9=15$. The diagram below draws all twelve distinct positions, with the three inner multiplicities equal to two. The extra panel gives the symmetric square used in the calculation.

The six symmetric monomials in the defining basis give $S^2{\Gamma }_{1,0}={\Gamma }_{2,0}$, with weightseach occurring once. Thus the tensor product has dimensionIn a tensor product of Lie algebra representations, weights add and their multiplicities multiply. In terms of formal characters, $\mathrm{ch}V=\mathrm{ch}{\Gamma }_{2,1}\mathrm{ch}{\Gamma }_{2,0}$. Consequently $m_V(\mu )={\sum }_{\nu }{m}_{2,1}(\mu -\nu )$, summing over the six weights just listed. To show the indicated dominant multiplicities explicitly, the contributions in that order areThe tensor-product weight diagram below includes every position, and highlights these dominant weights. It also records the zero-weight multiplicity nine; that multiplicity is not a count of trivial summands.

Apply the Weyl complete reducibility theorem and subtract irreducible formal characters in decreasing dominance order. The multiplicities at these five dominant positions in the potential summands areThese entries can be obtained by the same interlacing enumeration or by weight strings. Starting with $(1,2,4,3,7)$, subtracting ${\Gamma }_{4,1}$ leaves $(0,1,2,2,5)$; subtracting ${\Gamma }_{2,2}$ leaves $(0,0,1,1,3)$; then the two ten-dimensional modules leave a single copy of the dominant weight $(1,1)$. This is highest-weight character subtraction. ThereforeEvery summand occurs once. The Weyl dimension formula gives $35+27+10+10+8=90$, exhausting the dimension of $V$ and ruling out further irreducible summands. Computing the complete formal character also leaves no residual weight multiplicities.

Let ${\alpha }_i^{\vee }=2{\alpha }_i/({\alpha }_i,{\alpha }_i)$ be the coroots. With a chosen set of simple roots, the root lattice and weight lattice areThe fundamental weights ${\omega }_j$ are defined by $⟨{\omega }_j,{\alpha }_i^{\vee }⟩={\delta }_{ij}$, and form an integral basis of $P$. We use the Cartan matrix convention $A_{ij}=⟨{\alpha }_j,{\alpha }_i^{\vee }⟩$.

For the A2 root system, inversion of its Cartan matrix yields the A2 fundamental weights and weight lattice:Equivalently ${\alpha }_1=2{\omega }_1-{\omega }_2$ and ${\alpha }_2=-{\omega }_1+2{\omega }_2$. The root lattice has index three in the weight lattice, since the change-of-basis matrix has determinant three. For a planar realization takeThe weight lattice is triangular. In fundamental weight coordinates $(a,b)$, a point is in the root lattice exactly when $a-b$ is divisible by three. The following sketch marks both bases and the sublattice:

The integers called Dynkin indices here are the Dynkin labels of the highest weight:For finite-dimensional Irreducible Lie algebra representations, they are nonnegative integers. All weight coordinates below are these Dynkin label coordinates, not simple-root coordinates.

A weight-string enumeration algorithm gives the set of weights without their weight multiplicities. Begin with $\Lambda$ and process known weights by increasing height below $\Lambda$. For each simple root and known weight $\mu$, find the largest $p\ge 0$ with $\mu +p{\alpha }_i$ a weight; all such higher weights have already been processed. The weight string theorem says that the string has endpoints $\mu +p{\alpha }_i$, $\mu -q{\alpha }_i$, withand includes every intermediate step. Append $\mu -{\alpha }_i,\dots ,\mu -q{\alpha }_i$ and repeat until no new weights appear. This terminates in finite dimension and supplies all weights; every nonhighest weight can be reached by simple-root lowering. A string can contain contributions from several sl2 summands, so the resulting set does not by itself determine weight multiplicities.

For the explicit calculation we use the following general facts: finite-dimensional representations of a complex semisimple Lie algebra are completely reducible by the Weyl complete reducibility theorem; the symmetric powers of the defining sln representation are irreducible of highest weight $m{\omega }_1$; and weights in a tensor product of Lie algebra representations add with multiplicities multiplied. We also use the highest-weight representation classification: each finite-dimensional irreducible has a unique dominant integral highest weight, and a nonzero vector killed by all simple-root raising operators supplies an irreducible summand with that highest weight in a completely reducible module. For $A_2$, the Weyl dimension formula specializes toFor $A_2\cong {\mathfrak{sl}}_3(\mathbb{C})$, the defining fundamental representation has weights $(1,0),(-1,1),(0,-1)$. Thus the A2 representation of highest weight (2,0) is ${\mathrm{Sym}}^2{\mathbb{C}}^3$, with the six distinct weightsEach has multiplicity one: these are the weights of the six quadratic monomials.

For the tensor square of the A2 representation of highest weight (2,0), add every ordered pair of elements of $W_6$. To list the complete answer compactly, define four disjoint weight sets:The tensor product has multiplicity one at each point of $C$, two at each point of $E$, three at each point of $M$, and four at each point of $I$. These fifteen distinct weights account for $3+12+9+12=36$ states.

We next identify the irreducible summands rather than just their dimensions. Split the tensor square of the six-dimensional space into its symmetric power and exterior power, of dimensions $21$ and $15$. The square of a highest-weight vector in the symmetric part has highest weight $(4,0)$, giving $R(4,0)$ of dimension $15$.

Let $v_a,v_b$ be vectors of weights $a=(2,0)$ and $b=(0,1)=a-{\alpha }_1$. In the exterior part $v_a\wedge v_b$ has weight $(2,1)$ and is killed by both simple-root raising operators: raising $v_b$ along ${\alpha }_1$ gives a multiple of $v_a$, whose wedge with itself is zero, and the other raising actions vanish. Thus it is a highest-weight vector. The Weyl dimension formula gives $\dim R(2,1)=15$, so the entire exterior part is this irreducible summand.

The remaining symmetric part has dimension six. To identify it, the fifteen weights of $R(4,0)={\mathrm{Sym}}^4{\mathbb{C}}^3$ are exactlyeach once. Subtract them from the unordered-pair weights of ${\mathrm{Sym}}^{2}R(2,0)$. The residual weights are $M\cup I$, each once, with highest weight $(0,2)$. They are the negatives of $W_6$, so this six-dimensional summand is $R(0,2)$. ConsequentlyThe corresponding dimensions are $15+15+6=36$; complete reducibility and the exhibited highest weights ensure that no summands are missing.

The full weight multiplicities in the A2 tensor square of highest weight (2,0) are summarized below. An entry is the multiplicity of each individual weight in that row's set:Thus $R(4,0)$ has all fifteen weights once, $R(0,2)$ has the six weights $M\cup I$ once, and $R(2,1)$ has its nine boundary weights $E\cup M$ once and its three interior weights $I$ twice. Only the three interior weights of $R(2,1)$ are degenerate among the irreducible components.

An sl2 triple consists of elements of a Lie algebra satisfying the displayed brackets. It defines a homomorphism from ${\mathfrak{sl}}_2$ by sending its standard generators to $h,e,f$. A nonzero homomorphism is injective because ${\mathfrak{sl}}_2$ is a simple Lie algebra. Root vectors and their coroot give such triples in a semisimple Lie algebra, and their representations supply finite weight strings.

Start with the highest weight and process weights by increasing height below it. For each simple root, compute the upper endpoint from the already known higher weights, use the weight string endpoint relation, and append all downward steps. Repeat until the finite set stabilizes. This recovers the weights of a finite-dimensional Irreducible Lie algebra representation without determining weight multiplicities.