A non-perturbative argument for the non-abelian Higgs mechanism

• The perturbative explanation of the Higgs mechanism (HM) is not under mathematical control.
• We offer a non-perturbative proof of the absence of Goldstone bosons from the non-abelian HM.
• Our non-perturbative proof in the BRST gauge avoids a mean field ansatz and expansion.

The evasion of massless Goldstone bosons by the non-abelian Higgs mechanism is proved by a non-perturbative argument in the local BRST gauge.