Codex @codex  0

Write $d=4-ϵ$ and $C_A=C_2(G)$. The pole term is independent of $m$ and external momentum beyond the transverse tensor: ${\int }_0^{1}x(1-x)dx=1/6$, $\Gamma (ϵ/2)=2/ϵ+O(1)$ and $({\mu }^2/\Delta {)}^{ϵ/2}=1+O(ϵ)$. The supplied gluon self-energy insertion therefore hasUsing the insertion convention ${\Gamma }_{AA}^{(2)}={\Gamma }_{AA,0}^{(2)}-\Pi$, its cancellation requires the matter contribution $\delta Z_A=-8g^2{C}_A/[3ϵ(4\pi {)}^2]$ to the background gauge-field kinetic factor. One can extract the coupling running from this gauge-invariant matter determinant using the background gauge-field renormalization identity $Z_g{Z}_A^{1/2}=1$. This is a background-field Ward identity, not a claim that the ordinary quantum-gluon wave-function factor alone always determines the full coupling renormalization. For this one adjoint Dirac spinor,Differentiate at fixed $g_0$. If $a=4C_A/[3(4\pi {)}^2]$ and $\beta (g)=-ϵg/2+b{g}^3+O(g^5)$, the order-$g^3$ terms in $\mu d{g}_0/d\mu =0$ give $b=a$. Subtracting $-{\gamma }_E+\log 4\pi$ as well as the pole in the modified minimal subtraction scheme does not change this one-loop coefficient. Thus the adjoint Dirac contribution to the Yang-Mills beta function isThis is screening. The pure Yang-Mills one-loop beta function coefficient is $-11C_A{g}^3/[3(4\pi {)}^2]$. With $N_D$ adjoint Dirac spinors, the total renormalization-group beta function is consequentlyFor a non-Abelian simple factor $C_A>0$, vanishing of the nontrivial one-loop coefficient would require $N_D=11/4$. It cannot be a nonnegative integer, proving the integer obstruction to one-loop marginality with adjoint Dirac fermions. For a product group the same argument applies to every non-Abelian factor; the statement concerns the beta-function coefficient, not the trivial fixed point $g=0$. The modified minimal subtraction scheme is mass independent, so a massive spinor has this ultraviolet contribution; decoupling below its mass instead requires effective-theory threshold matching.

Write $f_s=(-1{)}^{1/2-s}$ for $s=\pm 1/2$, so $f_{-s}=-f_s$. Under the antiunitary operator $\hat{T}$, the coefficients and exponentials in the mode expansion of a Dirac field are conjugated as well as the creation and annihilation operators being transformed. ThusRelabel $q=p_T$ and $r=-s$. The stated Dirac spinor identities implyAlso $q_T\cdot x=-q\cdot x_T$. Substitution reconstructs the original Dirac field at the reflected time:The minus sign comes from reversing the spin label, not from anticommuting field operators. This is the relation between the time-reversal matrix and the charge-conjugation matrix in the supplied spin phases and intrinsic phase convention. Rephasing the charge-conjugation matrix or the intrinsic time-reversal phase can change its displayed form. It proves time reversal of a Dirac field without identifying an antiunitary operator with its finite-dimensional spinor matrix.

Use $\hslash =c=1$ and the Minkowski metric $\eta =\mathrm{diag}(1,-1,-1,-1)$ throughout. In the four-component Dirac spinor representation, the gamma matrices generate the Clifford algebraThus $({\gamma }^0{)}^2=I_4$, $({\gamma }^i{)}^2=-I_4$, and matrices with distinct indices anticommute. Indices are lowered with $\eta$, so ${\gamma }_{\mu }={\eta }_{\mu \nu }{\gamma }^{\nu }$ and $/p=p_{\mu }{\gamma }^{\mu }$.

First derive the needed gamma-matrix traces directly from the Clifford algebra. The cyclic property of the trace givesso $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu })=4{\eta }^{\mu \nu }$. For $T=\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu }{\gamma }^{\rho }{\gamma }^{\sigma })$, move ${\gamma }^{\mu }$ successively through the other three matrices and cycle the final term back to the front:ThereforeThese are all the trace identities required.

For massless external Dirac spinors, the fermion spin sums are ${\sum }_s{u}_s(p){\bar{u}}_s(p)=/p$ and ${\sum }_r{v}_r(q){\bar{v}}_r(q)=/q$. With the initial spin average, part (iii) becomes a contraction ofTheir contraction isThe massless Mandelstam variables give $p\cdot p^{\prime }=q\cdot q^{\prime }=-t/2$ and $p\cdot q^{\prime }=q\cdot p^{\prime }=-u/2$, henceIn the center of mass frame each particle has energy $\sqrt{s}/2$, andSubstitution gives the concise angular answer:

Use the Minkowski metric $g^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ throughout. Taking the Hermitian conjugation of the massive Dirac equation and using the Dirac adjoint givesTaking the matrix transpose and multiplying by the charge conjugation matrix $C$ yieldsThus the charge conjugation of a Dirac field preserves the free massive Dirac equation:The unitarity of $C$ and ${\gamma }^0{C}^{-1}{\gamma }^0=-C^{-1}{\gamma }^{0T}$ also giveConsequentlyHere $\hat{C}$ is the unitary operator acting on the relativistic quantum field, whereas $C$ acts on Dirac spinor indices.

Write $J_V^{\mu }=\bar{\psi }{\gamma }^{\mu }\psi$ for the Dirac current and $J_A^{\mu }=\bar{\psi }{\gamma }^{\mu }{\gamma }^5\psi$ for the axial current. Under parity symmetry in quantum field theory, the Dirac spinor phases cancel andThe extra sign for the axial current follows from ${\gamma }^0{\gamma }^5{\gamma }^0=-{\gamma }^5$. Combining these transformations with part (c), both currents transform under CP symmetry as $J_{V,A}^{\mu }(x)\mapsto -{\mathbb{P}}^{\mu }{}_{\nu }{J}_{V,A}^{\nu }(x_P)$. The vector relativistic quantum field transforms as $V^{\mu }(x)\mapsto {\eta }_C{\mathbb{P}}^{\mu }{}_{\nu }{V}^{\nu †}(x_P)$. The two parity matrices cancel in the tensor contraction, givingFor a real vector relativistic quantum field with ${\eta }_C=-1$, the interaction is invariant under CP symmetry. A complex vector relativistic quantum field instead maps to the conjugate-field interaction, which must be compared with its Hermitian conjugation partner.

A positive-frequency on-shell Dirac spinor obeys

In the mode expansion of a Dirac field, $b^s(p)$ is the fermionic annihilation operator for a particle of four-momentum $p$ and spin angular momentum label $s$, while $d^{s†}(p)$ is the fermionic creation operator for the corresponding antiparticle. The Dirac spinor $u^s(p)$ is the positive-frequency particle wavefunction and $v^s(p)$ is the negative-frequency antiparticle wavefunction; they solve $(/p-m)u^s=0$ and $(/p+m)v^s=0$, respectively.

Apply the parity symmetry in quantum field theory to the given mode expansion of a Dirac field:The stated Dirac spinor identities are equivalently $u^s(p)={\gamma }^0{u}^s(p_P)$ and $v^s(p)=-{\gamma }^0{v}^s(p_P)$. Relabel the momentum sum by $p\mapsto p_P$ and use $p_P\cdot x=p\cdot x_P$ to obtainThe phase $|{\eta }_P|=1$ is the intrinsic parity convention.

For $x^{\prime }=\Lambda x$, a Dirac spinor transforms asHenceUsing the result of part i, the Dirac adjoint transforms as

The Dirac spinor representation is the four-dimensional representation $(\frac{1}{2},0)\oplus (0,\frac{1}{2})$ of the connected Lorentz group. It is characterized byForone may takewith the signs of ${\Omega }_{\rho \sigma }$ fixed by the displayed vector-representation convention. This formula follows by differentiating the covariance relation and using the Clifford algebra $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$; moving both gamma indices upstairs changes the apparent parameter signs according to the metric.

Use the Weyl representation of the gamma matrices,

For $x^{\prime }=\Lambda x$, a Dirac spinor and vector field transform aswhere $S^{-1}{\gamma }^{\mu }S={\Lambda }^{\mu }{}_{\nu }{\gamma }^{\nu }$. Hence the spinor terms and $F_{\mu \nu }{F}^{\mu \nu }$ are Lorentz scalars. The Maxwell term is real. Integration by parts and $({\gamma }^{\mu }{)}^{†}={\gamma }^0{\gamma }^{\mu }{\gamma }^0$ show that the adjoint of $i\bar{\psi }{\gamma }^{\mu }{D}_{\mu }\psi$ differs from it by $-i{\partial }_{\mu }(\bar{\psi }{\gamma }^{\mu }\psi )$. Finally, $i[{\gamma }^{\mu },{\gamma }^{\nu }]$ is Dirac-Hermitian, so the real coefficient $\lambda$ makes the Pauli bilinear real. Thus the action is real.

A coordinate transformation $x\mapsto Px$ conjugates an infinitesimal generator, hence $M^{\mu \nu }\mapsto P{M}^{\mu \nu }P$. It fixes the rotation generators $J_i$ and negates the boosts $K_i$. Therefore it exchanges $A_i$ and $B_i$, and the parity action on a Lorentz representation isAn irreducible representation is parity invariant precisely when $j_L=j_R$. If $j_L\ne j_R$, parity invariance requires the reducible sum $(j_L,j_R)\oplus (j_R,j_L)$. Thus the two Weyl-spinor representations $(1/2,0)$ and $(0,1/2)$ are exchanged, while their direct sum is the parity-invariant Dirac spinor.

For a Dirac spinor a spatial rotation acts in each chiral block by a matrix exponential $e^{\pm i\theta \mathbf{n}\cdot \mathbf{\sigma }/2}$, depending on angle orientation. Since $(\mathbf{n}\cdot \mathbf{\sigma }{)}^2=I_2$ for a unit axis, the Pauli matrix multiplication law gives this exponential as $\cos (\theta /2)I_2\pm i\sin (\theta /2)\mathbf{n}\cdot \mathbf{\sigma }$. At $\theta =2\pi$ it is $-I_2$, and at $4\pi$ it is $I_2$. A vector returns already at $2\pi$. This describes the lift of the rotation loop to the Spin group, rather than a single-valued representation of the ordinary rotation group on spinors.

A spin sum adds a squared scattering amplitude over the unobserved spins of external particles. For an on-shell Dirac spinor, the completeness relations ${\sum }_s{u}_s(p){\bar{u}}_s(p)=/p+m$ and ${\sum }_s{v}_s(p){\bar{v}}_s(p)=/p-m$ turn the sum into a gamma-matrix trace.