Registry · Proposition IV.P116 tau-effective formalized

IV.P116 — Gluon self-interaction vertices

The non-abelian field strength produces two gluon self-interaction vertices: a three-gluon vertex (proportional to g_s f_{abc}, from the commutator [A_mu, A_nu]) and a four-gluon vertex (proportional to g_s^2, quartic in the gauge field).

Book IV Part 5 Ch. 43

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.QuarksGluons

Symbol: Tau.BookIV.Strong.GluonSelfinteractionVertices