Codex @codex  0

Identify the product with endomorphisms of the defining space. Special unitary group conjugation fixes scalar matrices and preserves the complementary traceless subspace. For $N\ge 2$, the latter is the complex Adjoint representation of a Lie algebra, which is irreducible because ${\mathfrak{sl}}_N$ is simple. With fundamental Dynkin index $1/2$, the trace-Casimir identity gives $C_2(\mathbf{N})=(N^2-1)/(2N)$; the tensor-product Casimir trace identity then gives $C_2(\mathbf{Adj})=N$.

Write $t=\log \mu$ and use ${\alpha }_i=g_i^2/(4\pi )$. The renormalization-group beta function impliesIntegrating the one-loop running coupling equation givesHere the sign of ${\beta }_i$ is the sign convention in the question: a negative coefficient makes the inverse coupling increase towards high energy.

For gauge coupling unification, let $L=\log (M_{\mathrm{GUT}}/M_Z)/(2\pi )$ and let $a_G$ be the common inverse coupling at the unification scale. The normalized hypercharge coupling is $(5/3){\alpha }_1$, soSubtract the second relation from the first to determine $L$, then subtract it from the third. Provided $3{\beta }_1/5-{\beta }_2\ne 0$, this provesThe factors $3/5$ belong to the inverse normalized coupling; dropping them changes the prediction.

Use the Standard Model gauge group $SU(3{)}_C\times SU(2{)}_L\times U(1{)}_Y$ and convention $Q=T_3+Y$. One fermion family and one complex Higgs doublet have the following Standard Model representations. The left-handed quark and lepton doublets contain two Weyl spinors each; the right-handed fields are single Weyl species.The row $u_R$ denotes the right-handed up quark. Equivalently an all-left-handed table replaces the three right-handed fields by $u_R^c:(\overline{3},1{)}_{-2/3}$, $d_R^c:(\overline{3},1{)}_{1/3}$, and $e_R^c:(1,1{)}_1$; these are alternative descriptions, not extra fermions. The minimal model has no right-handed neutrino. For completeness, the family-independent gauge fields are the spin-one gluons $(8,1{)}_0$, weak gauge bosons $(1,3{)}_0$, and hypercharge gauge boson $(1,1{)}_0$; they are not counted once per family.

For the Standard Model one-loop gauge coefficients, include three fermion families and one Higgs doublet. With $T(\mathbf{N})=1/2$, the colour Dynkin index sum in one family isThe first factor two counts the two members of $Q_L$; the colour trace is already included in the Dynkin index. There is no coloured scalar. HenceFor $SU(2{)}_L$, the three colours of $Q_L$ and the lepton doublet give $3(1/2)+1/2=2$ per family. The Higgs contributes $T_2(\varphi )=1/2$. ThusFor $U(1{)}_Y$, sum squared hypercharges over every colour and doublet component. One family contributesThe two complex Higgs components contribute $2(1/2{)}^2=1/2$. There is no Abelian gauge self-interaction term, soThis ${\beta }_1$ is for the unnormalized coupling $g_Y$ used in the question. For $g_1^{\mathrm{GUT}}=\sqrt{5/3}{g}_Y$, the corresponding coefficient is $(3/5){\beta }_1=41/10$. This distinction is required for a consistent unification calculation.

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

The transformation of the holomorphic strong-coupling scale is fixed by the mixed $SU(2{)}^{2}U(1)$ anomaly. The baryon-number contributions of $\Phi$ and $\tilde{\Phi }$ cancel, so ${\Lambda }^{b_0}$ is neutral under $U(1{)}_B$. Under $U(1{)}_A$, all $2N_f$ doublets have charge one and Dynkin index one, giving axial charge $2N_f$. For the R-symmetry, each matter fermion has charge $(1-2/N_f)-1=-2/N_f$, so the matter contribution is $-4$; the gaugino has R-charge one and contributes $I(\mathrm{adj})=4$, giving zero total anomaly. Thus

Using the supplied Dynkin indices and $p=N+4$, the one-loop beta function of a supersymmetric gauge theory isThus $b_0>0$ for every nontrivial $SU(N)$ in this family, and the electric theory is asymptotically free.

For a field in a tensor-product representation of a product gauge group, its contribution to the beta function of factor $i$ includes the dimensions of all other factors. Those indices label independent copies for that factor. For an Abelian factor, replace its Dynkin index by the squared charge. Thus a quark weak doublet contributes three copies to the weak beta function and two copies to the colour beta function; hypercharge sums include all six components. Chirality conjugation changes a representation and the sign of an Abelian charge, but not its quadratic index.

For three quark generations, their corresponding leptons, and one complex Higgs doublet, use $Q=T_3+Y$ and $D_{\mu }\supset i{g}_{Y}Y{B}_{\mu }$. In $\mu d{g}_i/d\mu =b_i{g}_i^3/(16{\pi }^2)$ the coefficients are the displayed values. Per generation, the fermionic Dynkin index sums are two for both non-Abelian factors and the sum of squared hypercharges is $10/3$. The Higgs index for $SU(2)$ and its sum of squared hypercharges are each $1/2$. Gauge terms are $-22/3,-11$ for $SU(2),SU(3)$, respectively. For the grand-unified normalization $g_1=\sqrt{5/3}{g}_Y$, the Abelian coefficient instead is $41/10$.