Faddeev–Popov ghosts

Functional determinant det(δG/δω) exponentiated as Grassmann integral → anti-commuting scalar ghosts; cancel unphysical gauge-boson polarizations in loops.