Yang–Mills Color Algebra and Perturbative Vertices

Yang–Mills perturbation theory factorizes into Lorentz and color structures fixed by the curvature and the ghost determinant. Once the generator normalization, momentum flow, and Fourier sign are declared, the three-gauge, four-gauge, ghost–gauge, and matter–gauge vertices follow without independent coupling choices. Their contractions provide fast checks before any loop integration begins.

Required background. The Yang–Mills action and gauge self-interaction supplies the expanded action and coupling convention. Gauge-fixed perturbation rules, ghost diagrams, and identity checks supplies the general rule-extraction and symmetry-factor method.

Helpful background. Compact Lie groups, roots, weights, and Weyl structure supplies representation theory beyond the invariant identities used here.

Color invariants and reductions

For a representation $R$ of a compact simple factor, define

$$\operatorname{tr}_R(T_R^aT_R^b)=T(R)\delta^{ab}, \qquad T_R^aT_R^a=C_2(R)\mathbf1_R,$$

and

$$f^{acd}f^{bcd}=C_A\delta^{ab}.$$

Taking a trace of the Casimir definition gives the useful dimension identity

$$d_R C_2(R)=d_A T(R).$$

For the site-wide $SU(N)$ convention $T(F)=1/2$,

Representation data	Value
$d_F$, $d_A$	$N$, $N^2-1$
$T(F)$	$1/2$
$C_F$	$(N^2-1)/(2N)$
$C_A$	$N$

Two reductions recur in vertex and loop calculations:

$$T_R^bT_R^aT_R^b =\left(C_2(R)-\frac12C_A\right)T_R^a, \qquad f^{abe}f^{cde}+f^{bce}f^{ade}+f^{cae}f^{bde}=0.$$

The first follows by commuting the middle generator once and using the adjoint Casimir; the second is Jacobi. A color tensor attached to external legs must also obey color conservation,

$$\left(\sum_{i=1}^n \mathbf T_i^a\right)\mathcal C=0,$$

with all legs treated as incoming and an incoming antifundamental carrying $-(T^a)^T$. These identities reduce color without choosing explicit matrices.

Momentum-space vertices

Use $\widetilde f(p)=\int\mathrm d^4x\,e^{+ip\cdot x}f(x)$ and take every displayed momentum incoming. For gauge fields $A_\mu^a(p)$, $A_\nu^b(q)$, and $A_\rho^c(r)$ with $p+q+r=0$, the three-gauge vertex factor is

$$\mathcal V_{\mu\nu\rho}^{abc}(p,q,r) =g f^{abc}\left[ (q-r)_\mu\eta_{\nu\rho} +(r-p)_\nu\eta_{\rho\mu} +(p-q)_\rho\eta_{\mu\nu} \right].$$

For $A_\mu^a$, $A_\nu^b$, $A_\rho^c$, and $A_\sigma^d$, the four-gauge factor is

$$\begin{aligned} \mathcal V_{\mu\nu\rho\sigma}^{abcd} =-ig^2\big[{} &f^{abe}f^{cde} (\eta_{\mu\rho}\eta_{\nu\sigma}-\eta_{\mu\sigma}\eta_{\nu\rho})\\ &+f^{ace}f^{dbe} (\eta_{\mu\sigma}\eta_{\rho\nu}-\eta_{\mu\nu}\eta_{\rho\sigma})\\ &+f^{ade}f^{bce} (\eta_{\mu\nu}\eta_{\sigma\rho}-\eta_{\mu\rho}\eta_{\sigma\nu}) \big]. \end{aligned}$$

The three-vertex is real in this diagrammatic convention because its derivative supplies a factor of $-i$ before the usual $iS_{\rm int}$ factor; the four-vertex retains $-i$. Mixing a rule quoted with $i\mathcal V$ and one quoted with $\mathcal V$ is a common overall-phase error. These factors follow directly from the expanded action in Srednicki 2007, § 72, pp. 424–426 and Schwartz 2014, § 26.1, pp. 508–512.

For an incoming gauge boson $A_\mu^a(p)$, antighost $\bar c^b(q)$, and ghost $c^c(r)$, the derivative acts on the antighost, so

$$\mathcal V_\mu^{a\bar b c}(p,q,r) =g f^{abc}q_\mu.$$

The arrow on a ghost line records the ordered contraction $\langle c\bar c\rangle$; reversing it is not an innocuous relabeling. The determinant origin of this rule is Faddeev and Popov 1967, pp. 29–30. A Dirac field in $R$ has the gauge vertex

$$\mathcal V_\mu^a=ig\gamma_\mu T_R^a.$$

Each three-point gauge or ghost vertex has one power of momentum and one power of the dimensionless $g$; the four-gauge vertex has $g^2$ and no momentum. This dimension check catches missing derivatives in the ghost rule.

Vertex contractions and color checks

Contracting the three-gauge vertex with $p^\mu$ gives

$$p^\mu\mathcal V_{\mu\nu\rho}^{abc}(p,q,r) =g f^{abc}\left[ (r^2\eta_{\nu\rho}-r_\nu r_\rho) -(q^2\eta_{\nu\rho}-q_\nu q_\rho) \right].$$

The right-hand side is a difference of inverse transverse kinetic kernels. It vanishes after the adjacent external legs are put on shell and contracted with transverse polarizations, but it is not zero for a generic off-shell Green function. At loop level this simple Ward contraction is replaced by a Slavnov–Taylor relation containing ghost functions.

For four external adjoint legs, the exchange diagrams carry products such as $f^{a_1a_2e}f^{ea_3a_4}$. Choose all cubic-vertex orientations consistently; the three channel color factors then satisfy one Jacobi relation. The contact vertex supplies precisely the Lorentz and color terms needed for the sum of exchange and contact diagrams to pass the polarization replacement $\varepsilon_i\to p_i$. Testing only the contact diagram will fail.

A trace decomposition provides a bridge to color-ordered amplitudes. At tree level an adjoint color factor can be expanded in single traces,

$$\mathcal M_n^{\rm tree} =g^{n-2}\sum_{\sigma\in S_n/Z_n} \operatorname{tr}\!\left( T^{a_{\sigma(1)}}\cdots T^{a_{\sigma(n)}} \right)A_n(\sigma),$$

with any overall trace-normalization factor absorbed consistently into the partial amplitudes. Reconstructing the full four-point color tensor from the ordered pieces and reducing it with Jacobi is an independent check on the vertex-based calculation; the general decomposition machinery belongs to scattering theory.

A benchmark reduction

Suppose a fermion-line correction produces $T_R^bT_R^aT_R^b$. Then

$$\begin{aligned} T_R^bT_R^aT_R^b &=C_2(R)T_R^a+if^{abc}T_R^bT_R^c\\ &=\left(C_2(R)-\frac12C_A\right)T_R^a. \end{aligned}$$

For an $SU(N)$ fundamental this becomes $-T^a/(2N)$. A second common closed adjoint contraction gives $f^{acd}f^{bcd}=N\delta^{ab}$. Together these distinguish $C_F$, $C_A$, and $T(F)$: none of the three may be replaced by “the color factor” without specifying the contraction.

Independent checks and limits

1. Permutation check: exchanging any two complete labels $(a,\mu,p)$ of the three-gauge vertex leaves the bosonic vertex invariant because both $f^{abc}$ and the kinematic bracket change sign.
2. Contraction check: $p^\mu\mathcal V_{\mu\nu\rho}$ must be the difference of the $r$ and $q$ inverse transverse kernels in the order shown.
3. Casimir check: $d_R C_2(R)=d_A T(R)$ gives $N C_F=(N^2-1)/2$ for the fundamental.
4. Abelian limit: $f^{abc}\to0$ removes all pure-gauge and ghost interactions while leaving the matter–gauge vertex for an Abelian charge.

Common pitfalls

Leaving momentum flow implicit. Reversing one incoming momentum changes derivative vertices. Redraw every diagram with all momenta incoming before comparing two rule tables.

Using $C_F$, $C_A$, and $T(F)$ interchangeably. They answer different contractions. Reduce the actual index pattern before substituting $SU(N)$ values.

Demanding an off-shell Ward contraction vanish. The contraction is a difference of inverse propagators. Zero follows only after the appropriate on-shell or full Slavnov–Taylor conditions are imposed.

References

• L. D. Faddeev and V. N. Popov, “Feynman Diagrams for the Yang–Mills Field,” Physics Letters B 25 (1967), 29–30, DOI.
• Matthew D. Schwartz, Quantum Field Theory and the Standard Model, Cambridge University Press (2014), Chapters 25–26, DOI.
• Mark Srednicki, Quantum Field Theory, Cambridge University Press (2007), §§ 69 and 72, DOI.