Gauge-fixing fermion (source code)

= Gauge-fixing fermion
{title2=$\Psi$}
{wiki}

A gauge-fixing fermion is a Grassmann-odd functional whose <BRST transformation> $s\Psi$ supplies the gauge-fixing and ghost terms. Nilpotence gives $s(s\Psi)=0$ immediately.