 Solution

Gauge invariance and power counting permit the same local operators as in the original renormalizable action. With renormalized fields, a convenient counterterm parametrization isHere $D_{\mu }={\partial }_{\mu }-i{\mu }^{ϵ/2}e{A}_{\mu }$. Expanding the first term supplies kinetic, scalar-scalar-photon, and seagull counterterms with the relative coefficients required by the Ward identity. Equivalently introduce separate vertex constants first and then impose that identity. For ${\varphi }_0=Z_{\varphi }^{1/2}\varphi$, $A_0=Z_A^{1/2}A$, and $e_0={\mu }^{ϵ/2}{Z}_{e}e$, it gives $Z_e{Z}_A^{1/2}=1$. Thus charge renormalization can be represented through the photon field factor, rather than adding an independent gauge-noninvariant interaction.

The mass coefficient defined here is $\delta M^2=Z_{\varphi }{m}_0^2-m^2$; it must be distinguished from $m_0^2-m^2$. Gauge fixing may require the corresponding gauge-parameter redefinition, and vacuum diagrams can require an additive vacuum-energy counterterm. No photon mass counterterm is allowed by the unbroken gauge symmetry. The quartic scalar counterterm remains necessary for the full theory even at a scale where the renormalized $\lambda$ is zero, because gauge interactions generate scalar four-point divergences.