Registry · Proposition IV.P93 tau-effective formalized

IV.P93 — Gluon Self-Interaction

The gluon field A^a_mu carries color charge and self-interacts: the commutator [T^a, T^b] = i f^{abc} T^c is nonzero, so the gauge potential transforms nontrivially under its own gauge group, producing cubic and quartic self-coupling terms.

Book IV Part 5 Ch. 38

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.ColorHolonomy

Symbol: Tau.BookIV.Strong.GluonSelfinteraction