Physical charged-vector Lagrangian for an adjoint SU2 Higgs model (source code)

= Physical charged-vector Lagrangian for an adjoint SU2 Higgs model
{title2=$m_{W^\pm}=g_cv,\quad m_\eta^2=\lambda v^2$}

For a real triplet potential $\lambda(|\phi|^2-v^2)^2/8$ and canonical gauge coupling $g_c$, <unitary gauge> gives one neutral <Higgs mode>, two oppositely charged massive vectors and one massless Abelian vector. The scalar kinetic contribution is $\tfrac12(\partial\eta)^2+g_c^2(v+\eta)^2W^+W^-$, and its potential is $\lambda v^2\eta^2/2+\lambda v\eta^3/2+\lambda\eta^4/8$. This potential convention is distinct from using $\lambda(|\phi|^2-v^2)^2/4$.