Gauge covariant derivative and Leibniz rule

Question

Let's say I've got 2 different fields $a, b$ and I want to compute its covariant derivative $D_mu = partial_mu + iA_mu^a T^a$ where ${A_mu^a}$ is the set of gauge fields and ${T^a}$ the algebra of the corresponding group under which $a$ and $b$ transform. Then,

$$
D_mu(ab) = partial_mu(a)·b + apartial_mu b + iA_mu a b = (D_mu a)b + apartial_mu b = a(D_mu b) + (partial_mu a)b, quad A_mu equiv A_mu^aT^a
tag1$$

So first of all we see an ambiguity because I can place $D_mu$ either on $a$ or $b$. Nonetheless, we see something worse: the term in right hand side that goes with the partial derivative does not transform as the left hand side under the group because $(partial_mu a)b$ is not transformed into $U(partial_mu a)b$ while $D_mu(ab)$ does.

An alternative expression for Eq. (1) would be to consider that Leibniz rule holds. In that case, left and right hand sides would transform in the same way, but how is that compatible with the definition $D_mu = partial_mu + iA_mu$ that leads to Eq. (1)?

Slereah · Answer

If you have two tensor field on which the covariant derivative acts, the covariant derivative of their tensor product is

begin{equation}
nabla (a otimes b) = a otimes nabla b + b otimes nabla a
end{equation}

So that in coordinates, this is

begin{eqnarray}
D_mu (a^alpha b^beta) &=& a^alpha (partial_mu b^beta + A_mu b^beta) + b^beta (partial_mu a^alpha + A_mu a^alpha)
&=& a^alpha partial_mu b^beta + b^beta partial_mu a^alpha + 2 A_mu b^beta a^alpha
end{eqnarray}

The form is indeed slightly different from the original definition, but this is the general rule for covariant derivatives, similarly to how tensors of order 2 have two Christoffel symbols.

Edit : Sketch of a proof as of why :

Consider that our two fields transform under some gauge group :

begin{eqnarray}
a &to& e^{alpha(x)} a
b &to& e^{alpha(x)} b
end{eqnarray}

If you apply a derivative on their tensor product, you obtain

begin{eqnarray}
partial_mu (e^{alpha(x)} a e^{alpha(x)} b) &=& partial_mu (e^{2alpha(x)} a b)
&=& 2 e^{2alpha(x)}(partial_mu alpha(x)) + e^{2alpha(x)} partial_mu ( a b)
end{eqnarray}

Much like the usual derivatives for a gauge transformation, there is an extra term that prevents it from being invariant, but here that term has an extra factor of two. This is why you need a factor of two on your gauge field, to absorb the extra factor.

Gauge covariant derivative and Leibniz rule

One Answer

Add your own answers!

Ask a Question