Codex @codex  0

An isospin-invariant decay amplitude is an intertwining map from the initial isospin multiplet into the final tensor product. The Clebsch-Gordan decomposition for SU2 contains each allowed final isospin once. Commutation with the third generator and the quadratic Casimir operator places the image in the matching coupled state. Commutation with the ladder operators makes its scalar coefficient independent of the magnetic component. Orthogonality of the Clebsch-Gordan coefficients then gives a summed squared amplitude $|a{|}^2$. A physical decay rate additionally includes phase space and spin sums, which can be absorbed into a common reduced coefficient when exact isospin symmetry makes them identical between channels.

An isospin multiplet is an irreducible finite-dimensional SU(2) representation with labels $I,M$, where $I\ge 0$, $2I$ is an integer and $M=I,I-1,\dots ,-I$. With Hermitian generators, the lowering coefficient is $\sqrt{(I+M)(I-M+1)}$. The quadratic Casimir operator has value $I(I+1)$, fixing all ladder norms and the termination at $M=-I$.

With Hermitian angular-momentum generators $[J_a,J_b]=i{ϵ}_{abc}{J}_c$, the Killing form is $2{\delta }_{ab}$ and its inverse contraction is $C_{\kappa }=\frac{1}{2}{\sum }_a{J}_a^2$. Equivalently the anti-Hermitian basis $T_a=-i{J}_a$ has Killing form $-2{\delta }_{ab}$ and gives the same operator. In the complex highest-weight basis, $C_{\kappa }=H^2/8+(E^{+}{E}^{-}+E^{-}{E}^{+})/4$. It acts on spin $j$ by $j(j+1)/2$, so it differs in normalization from the usual angular-momentum quadratic Casimir operator.

Let ${\hat{T}}_a={\mathrm{ad}}_{T_a}$ on the Lie algebra itself. The Jacobi identity says, for every $X$,Therefore $[{\hat{T}}_a,{\hat{T}}_b]=c_{ab}^c{\hat{T}}_c$, proving that the displayed structure-constant matrices form the Adjoint representation of a Lie algebra.

The bilinear form ${\kappa }_{ab}=\mathrm{tr}({\hat{T}}_a{\hat{T}}_b)$ is the Killing form. It is symmetric by cyclicity of trace. Its invariance follows by expanding the two commutators:In components this is preciselyEquivalently, the adjoint action preserves the bilinear form, so it is an invariant tensor.

The invariant abelian subalgebra is an abelian ideal of a Lie algebra $\mathfrak{a}$. Assume it is nonzero, as required for the conclusion. For $X\in \mathfrak{a}$ and $Y\in \mathfrak{g}$, the map ${\mathrm{ad}}_X{\mathrm{ad}}_Y$ sends $\mathfrak{g}$ into $\mathfrak{a}$, because it is an ideal. It vanishes on $\mathfrak{a}$, because ${\mathrm{ad}}_Y$ preserves the ideal and ${\mathrm{ad}}_X$ kills it. Relative to $\mathfrak{a}$ and a vector-space complement, this map has zero diagonal blocks, so its trace is zero. ThusThis proves that abelian ideals lie in the radical of the Killing form. Choose a nonzero $X=x^a{T}_a$ in the ideal. Then ${\kappa }_{ba}{x}^a=0$ for every $b$, so the coordinate vector $x$ is a nonzero null eigenvector of the Killing matrix. The nonzero-ideal qualification cannot be dropped: the zero ideal is abelian even in a semisimple algebra with nondegenerate Killing form.

Now suppose $\kappa$ is invertible and let $C_{\kappa }={\kappa }^{bc}{t}_b{t}_c$ in any Lie algebra representation. In matrix notation invariance is $A_a^T\kappa +\kappa A_a=0$, where $(A_a{)}^d{}_b=c_{ab}^d$. Multiplying by the inverse form gives $A_a{\kappa }^{-1}+{\kappa }^{-1}{A}_a^T=0$. HenceNo commutativity of the representation matrices has been assumed. This proves the centrality of the quadratic Casimir operator formed with the inverse Killing form. Schur lemma makes it a scalar on every finite-dimensional complex irreducible representation.

For SU(2), make the normalization explicit. In a Hermitian angular-momentum basis with $[J_a,J_b]=i{ϵ}_{abc}{J}_c$, the structure-constant matrices obeyThus $C_{\kappa }=\frac{1}{2}{\sum }_a{J}_a^2$. In the compact anti-Hermitian basis $T_a=-i{J}_a$, the brackets have real structure constants ${ϵ}_{abc}$ and the Killing form of the SU(2) Lie algebra is instead $-2{\delta }_{ab}$; the inverse contraction gives the same $C_{\kappa }$. This sign change is a basis convention, not a different spectrum.

In the complex highest-weight basis $(H,E^{+},E^{-})$ used earlier, the same Killing form and its inverse areConsequentlyOn a highest vector of weight $m=2j$, the ladder calculation gives $E^{+}{E}^{-}v=mv$ and $E^{-}{E}^{+}v=0$. Its Casimir eigenvalue is thereforeCentrality gives the same value throughout the irreducible multiplet. This is the Killing-normalized SU(2) quadratic Casimir; the familiar angular-momentum operator ${\sum }_a{J}_a^2$ has eigenvalue $j(j+1)$ and is twice this inverse-Killing-form contraction.

For the addition of angular momentum, the uncoupled orthonormal basis is $|j_1{m}_1⟩\otimes |j_2{m}_2⟩$, whereas the coupled orthonormal basis diagonalizes ${\mathbf{J}}^2$ and $J_3$ for $\mathbf{J}={\mathbf{J}}_1+{\mathbf{J}}_2$. Define the Clebsch-Gordan coefficients byThe Clebsch-Gordan decomposition allows $|j_1-j_2|\le J\le j_1+j_2$ in unit steps, and a coefficient vanishes unless $m_1+m_2=M$. Taking the inner product of the expansion with itself provesWith the customary real phase convention the modulus signs can be omitted, giving the sum of squares used in the question. In an arbitrary phase convention the modulus-square identity is the invariant statement.

Treat the strong interaction as exactly isospin-invariant for this calculation. Its transition operator $T$ commutes with the three isospin generators and hence with their quadratic Casimir operator. Acting on the initial state $|IM⟩$, it can therefore produce only final states with the same $I$ and $M$. The tensor product representation of final multiplets $I_1,I_2$ contains one copy of each permitted total isospin, so $T|IM⟩=a_M|(I_1{I}_2)IM⟩$. Commuting $T$ with the lowering operator givesEvery connecting ladder factor is nonzero, so all $a_M$ coincide with one reduced coefficient $a$. Expanding the final coupled state now gives the isospin-invariant two-body decay amplitudeThe reduced coefficient may depend on the particle species, momenta and spin channel, but not on the three isospin projections. Summing the squared amplitude over the orthogonal charge channels givesA physical decay rate also includes phase space, angular integration and any spin sums. In the isospin-degenerate limit these factors are common to the charge channels; absorbing their square root into $a$ gives ${\Gamma }_{IM}=|a{|}^2$ for this specified two-body multiplet channel. If several distinct species or independent spin channels are included in “anything”, their reduced rates must additionally be summed. There is no extra factor $2I+1$ when the initial magnetic component is fixed.

The Delta baryon states have $I=3/2$ and projections $3/2,1/2,-1/2,-3/2$ for ${\Delta }^{++},{\Delta }^{+},{\Delta }^0,{\Delta }^{-}$. The proton and neutron form $I=1/2$, with projections $+1/2,-1/2$, and the pion triplet has $I=1$ with projections $+1,0,-1$. The highest coupled state isApply the total lowering operator $I_{-}=I_{-}^{(N)}+I_{-}^{(\pi )}$. Its coefficient on the left is $\sqrt{3}$, while on the right the nucleon and pion coefficients are $1$ and $\sqrt{2}$:The squared Clebsch-Gordan coefficients are consequently $1/3$ and $2/3$, compared with coefficient one for the ${\Delta }^{++}$ channel. Thus the Delta baryon pion branching ratios areAt the opposite end of the same isospin multiplet, $|3/2,-3/2⟩=|n{\pi }^{-}⟩$, so the strong decay is ${\Delta }^{-}\to n{\pi }^{-}$, with the same reduced rate in this symmetry limit. Physical mass splittings and electromagnetic effects perturb these idealized equal-kinematics ratios.

Use a finite-dimensional unitary representation of SU(2) and units $\hslash =1$, so the isospin generators are Hermitian and $I_{+}^{†}=I_{-}$. Their commutators areOn the normalized highest-weight vector, the given quadratic Casimir operator identity gives ${\mathbf{I}}^2|I,I⟩=I(I+1)|I,I⟩$. Since the quadratic Casimir operator commutes with every generator, this eigenvalue is unchanged down the ladder. Each application of $I_{-}$ lowers $M$ by one. For a normalized descendant,Positivity first gives $I\ge 0$. In a finite-dimensional representation the descending ladder must terminate; the norm vanishes only at $M=-I$. Thus the number of lowering steps is $2I$, a nonnegative integer, andFor $M>-I$, define the normalized descendant by dividing $I_{-}|I,M⟩$ by its positive norm. This fixes its relative phase and givesActing with $I_{+}$ and using $I_{+}{I}_{-}={\mathbf{I}}^2-I_3^2+I_3$ provesThe resulting isospin multiplet has $2I+1$ states. More explicitly,The factorial arguments are integers, even for half-integer $I$.

Put $R(\theta )=e^{-i\theta I_2}$. Differentiation and the commutators givewhile $I_2$ is unchanged. Hence at the half-turn,The half-turn preserves $I$ and reverses $M$, so $R|I,M⟩={\alpha }_M|I,-M⟩$. Since $R{I}_{+}{R}^{-1}=-I_{-}$, comparison of the two ways to rotate a raised state gives ${\alpha }_{M+1}=-{\alpha }_M$.

To fix the remaining phase, expand the supplied highest-state rotation identity as a finite sum. The $k$th term isAs $\theta \uparrow \pi$, all terms vanish except $k=2I$. The product of the lowering coefficients gives $I_{-}^{2I}|I,I⟩=(2I)!|I,-I⟩$. The surviving coefficient is therefore one, fixing ${\alpha }_I=1$. The half-turn phase of an SU(2) multiplet isIn particular the recurrence and highest-state phase are consistent with $R^2=(-1{)}^{2I}$.

Charge conjugation is a linear unitary symmetry. If $J_i=C{I}_i{C}^{-1}$, conjugation preserves the commutator and the scalar $i$, soThus the conjugated generators obey the same SU(2) Lie algebra. The charge conjugation action on $(I_1,I_2,I_3)$ is exactly the same pair of sign reversals as $R$. Their product $G=CR$ consequently satisfies $G{I}_i{G}^{-1}=I_i$ for all $i$. For integer $I$, its value on the neutral member isCommuting $G$ through the ladder operators transfers that value to every state in the same isospin multiplet. Therefore the G-parity of an isospin multiplet is

A photon has charge conjugation value minus one, so a two-photon state has value plus one. The electromagnetic two-photon decay preserves charge conjugation, giving ${\eta }_{{\pi }^0}=+1$. Since the pion has $I=1$, all three pion charge states have G parity minus one:The rho meson has $I=1$, $\eta =-1$, hence $G_{\rho }=+1$, whereas the omega meson has $I=0$, $\eta =-1$, hence $G_{\omega }=-1$. On an $n$-pion state the internal symmetry acts on each pion, giving $(-1{)}^n$ independently of orbital angular momentum. Conservation of G parity in the isospin-symmetric strong interaction therefore gives the G-parity selection rule for pion multiplicities:The allowed channels can also satisfy angular momentum and physical parity: the two pions from a rho can have relative orbital angular momentum one and total isospin one, while three pions can couple to the omega's $I=0$, $J^P=1^{-}$. The rule refers to the ideal isospin-conserving strong amplitude; small symmetry-breaking or electromagnetic contributions are not excluded.

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

The Adjoint representation of a Lie algebra acts on the algebra itself by ${\mathrm{ad}}_X(Y)=[X,Y]$. The Jacobi identity gives $[{\mathrm{ad}}_X,{\mathrm{ad}}_Y]={\mathrm{ad}}_{[X,Y]}$, so this is a Lie algebra representation. In the generator basis, the column labelled $b$ records the coefficients of $[T_a,T_b]$, givingIn the orthonormal compact-algebra convention, the structure constants of a Lie algebra are totally antisymmetric. With the row index written first this is $(t_a^{\mathrm{Ad}}{)}_{bc}=-i{f}_{abc}$.

Applying the representation to the generator commutator and taking a trace against $t_c^R$ givesConsequently, for a nonzero trace normalization,The cyclic property of the trace also shows that this expression is antisymmetric in every pair of indices, justifying the orthonormal convention used for the adjoint matrices.

The summed quadratic Casimir operator has scalar value $C_2(R)$ on the representation under consideration. Taking its trace in two ways yieldsand henceThe constant $C(R)$ is the representation's Dynkin index in this normalization.

Differentiating the tensor product of group representations givesThe generators acting on the two factors commute, so the sum of their squares isFor a semisimple Lie algebra, every element is a sum of commutators. Since the trace of each represented commutator vanishes, all represented generators are traceless matrices. The trace of the cross term is therefore zero. Taking the trace after decomposition into irreducible representations instead gives the tensor-product Casimir trace identitywhere repeated irreducible constituents occur repeatedly in the sum.

This step requires tracelessness, as holds for the special unitary groups used below. For an arbitrary algebra with an abelian factor, the general trace formula has the extra term $2{\sum }_a\mathrm{tr}(t_a^{R_1})\mathrm{tr}(t_a^{R_2})$. For example, one-dimensional representations of an abelian generator with charges one and one have individual Casimirs one, while the product generator has charge two and Casimir four. Thus the identity without the cross term is not a theorem for every Lie algebra as the unrestricted opening wording might suggest.

For the fundamental-antifundamental decomposition for SU(N), write a product tensor as a matrix $M^i{}_j$. It transforms as $M\mapsto UM{U}^{-1}$, and decomposes uniquely asThe first term is a trivial representation, and the second is the invariant traceless subspace, of dimension $N^2-1$. Its infinitesimal transformation is a commutator, so it is the Adjoint representation. This representation is irreducible for $N\ge 2$: an invariant subspace is an ideal of ${\mathfrak{sl}}_N$; commuting a nonzero ideal element with diagonal and elementary matrices produces off-diagonal elementary matrices, whose further commutators generate all off-diagonal matrices and traceless diagonal matrices. A purely diagonal nonzero element also produces an off-diagonal element unless it is scalar, and a traceless scalar in characteristic zero is zero. ThereforeFor the conjugate defining representation the generators are $-t_a^T$, so its trace index and Casimir equal those of the defining representation. With $C(\mathbf{N})=1/2$, the trace formula gives $C_2(\mathbf{N})=(N^2-1)/(2N)$. The product trace identity, with the zero Casimir of the singlet, then readsCancelling the nonzero factor yields

For generators normalized by ${\mathrm{tr}}_3(t_a{t}_b)={\delta }_{ab}/2$, the quadratic Casimir operator on the irreducible SU(3) representation of Dynkin labels $(a,b)$ has the displayed scalar value. In SU(3) highest-weight coordinates $(p,q)$ it is $p^2+q^2+p+\sqrt{3}q$.

To derive this, write the operator as $H_1^2+H_2^2+{\sum }_{i=1}^3(E_{+}^i{E}_{-}^i+E_{-}^i{E}_{+}^i)$. On a highest-weight vector, the raising operators vanish, and the three root commutators sum to $H_1+\sqrt{3}{H}_2$. Centrality and the Schur lemma extend this value to the representation. The singlet, fundamental, adjoint and decuplet values are $0,4/3,3,6$, respectively. Tensor labels and multiplet dimensions are summarized in the Particle Data Group's SU(n) multiplet guide.