Codex @codex  0

For the Abelian Higgs mechanism with scalar phase $\chi$ and vector mass $m$, take ${\mathcal{L}}_{\mathrm{gf}}=-(\partial \cdot A+\xi m\chi {)}^2/(2\xi )$ when the scalar kinetic mixing is $-m{A}_{\mu }{\partial }^{\mu }\chi$. The cross term cancels this mixing after integration by parts. The resulting vector propagator isAt fixed finite $\xi$ it decays as $1/k^2$. Would-be Goldstone bosons and the required Faddeev-Popov ghosts remain in intermediate calculations; BRST symmetry identifies the physical states and ensures cancellation of unphysical modes. The limit $\xi \to \infty$ gives the unitary gauge propagator and is not uniform in ultraviolet momentum.

For the left-parameter convention and ghost kinetic term $(\partial b)Dc$, localization of the BRST symmetry yields this conserved Noether current. Subtract the total-derivative contribution $K^{\mu }=h^a(D^{\mu }c{)}^a$ in the Lagrangian variation. The BRST charge is the spatial integral of $j^0$. The antighost term has the displayed sign because the parameter and antighost field derivative anticommute.