Take the Minkowski metric with signature and a coupling . For a charged scalar field use the gauge covariant derivative
A scalar electrodynamics Lagrangian is
Any real potential bounded below and depending only on the modulus gives gauge invariance. Indeed,
The derivative of the phase cancels the shifted gauge field in the first identity; commuting partial derivatives proves the second. These identities verify invariance of every term, including the interaction hidden in the kinetic term.
For an unbroken example choose with and . The minimum is at zero. There is no vector mass term in the quadratic expansion and no Higgs mechanism. Pure electromagnetic theory has a neutral massless spin-one photon with two physical transverse polarizations, equivalently helicities and ; longitudinal and time-component polarizations are gauge redundancies. In the unbroken scalar theory, the same massless photon is accompanied by a spin-zero charged particle and its oppositely charged antiparticle, both of mass . A complex scalar has two real physical degrees of freedom, rather than two unrelated charged species.
For a Higgs example choose
The vacuum modulus is nonzero. Around one vacuum representative, unitary gauge removes the phase and writes . Then
Thus the quadratic spectrum is
The gauge boson is a massive spin-one particle with three polarizations, and is a neutral massive spin-zero Higgs boson. The scalar phase supplies the longitudinal vector polarization; it is not an extra physical massless Goldstone boson. The degree count is unchanged: two massless-vector polarizations plus two scalar degrees become three massive-vector polarizations plus one radial scalar degree. The underlying gauge invariance remains a redundancy of the description.
For the two-charge theory, use
and retain the same gauge transformation of . Both derivatives transform with the phase of their own field. A manifestly stable two-charge scalar gauge potential is, for positive , and a nonzero complex constant ,
Since has charge , its modulus is gauge-invariant. Expanding its square exhibits the direct coupling
In particular the charge in is , which uses the stated charge ratio. The potential is real, bounded below and has the zero-field minimum, while the kinetic terms have the standard positive signs. A complete example is therefore
There is genuine direct interaction even with because . In four spacetime dimensions has mass dimension , but the expanded potential contains only quadratic, cubic and quartic field monomials; the cubic coefficient has dimension one. Thus the example is also power-counting renormalizable.