Codex @codex  0

Use anti-Hermitian representation matrices for the unitary representation, so $R(X{)}^{†}=-R(X)$. Absorb the gauge coupling into the connection, consistently with the transformation law in the PDF. The appropriate gauge covariant derivative isThis has a plus sign because the inhomogeneous part of the connection transformation is $-ϵ{\partial }_{\mu }X$. Its variation isThus gauge covariance of a scalar covariant derivative givesThe cancellation uses that $R$ is a Lie algebra representation, including its commutator identity.

The gauge field strength isIt is the curvature appearing in $[D_{\mu },D_{\nu }]\varphi =R(F_{\mu \nu })\varphi$. The index positions in the PDF are related by the constant Minkowski metric; lowering the index in its transformation law gives the convention used here.

Take signature $(+,-,-,-)$, let $B$ be a real symmetric gauge-invariant internal form, and let $⟨\cdot ,\cdot {⟩}_V$ be the positive Hermitian form preserved by the unitary matter representation. One consistent Lorentz transformation scalar Lagrangian density isHere $g_{\mathrm{YM}}>0$, $m^2\ge 0$, and $\lambda \ge 0$ give a simple stable potential. The coupling is in the kinetic normalization because it was absorbed into $A_{\mu }$; it is not inserted again into $D_{\mu }$. Taking a zero or another gauge-invariant potential is also possible. A positive nondegenerate $B$ gives the usual physical gauge kinetic energy, as for a compact gauge algebra. More generally the invariance calculation below applies to any symmetric invariant bilinear form on a Lie algebra, including the Killing form.

Under the infinitesimal gauge-field transformation law,Invariance and symmetry of $B$ give the cancellation. For matter, both $\varphi$ and $D_{\mu }\varphi$ transform by $R(X)$, so anti-Hermiticity givesfor either pairing used in the Lagrangian. Its potential is a function of the invariant scalar norm. Therefore $\boxed{{\delta }_X\mathcal{L}=0}$, establishing gauge invariance of this Yang-Mills theory coupled to a scalar. Contraction of spacetime indices with the Minkowski metric gives Lorentz invariance.

For the Adjoint representation, define the Lie algebra structure constants byInternal superscripts here are basis labels, as in the paper; spacetime indices alone are raised with the Minkowski metric. The adjoint covariant derivative and curvature have componentsThese formulas involve no extra factor of $i$, because the generators use the Lie-algebra convention rather than Hermitian physics generators.

To make the Killing-form sign explicit, write $B=s\kappa$ and $⟨\varphi ,\psi {⟩}_V=s{\kappa }^{ab}({\varphi }^a{)}^{\ast }{\psi }^b$. The literal contraction requested in the paper corresponds to $s=1$. For a compact real form of a complex semisimple gauge algebra, its actual positive inner product has $s=-1$, since the Killing form is negative definite. With a complex adjoint scalar, the fully expanded Killing-form Lagrangian for an adjoint scalar isAll repeated internal labels are summed; $s^2=1$ explains the absence of $s$ from the quartic term. Invariance is equivalently the component identity $f^{ca}{}_d{\kappa }^{db}+f^{cb}{}_d{\kappa }^{ad}=0$. For a real adjoint scalar, omit complex conjugation and insert $1/2$ in the scalar kinetic and quadratic mass terms; the same invariance proof applies.

The PDF's identification of the Killing form with an inner product thus requires a sign convention. It also requires nondegeneracy if it is to give ordinary kinetic terms: on an Abelian gauge factor the Killing form vanishes, so an additional invariant metric is needed there. These qualifications do not alter the covariance identities or the formal gauge invariance of the displayed Killing-form contractions.