0
$\begingroup$

In the context of general relativity (GR) it is necessary to introduce the notion of covariant derivatives. From the point of view of a basic introduction, we always start to deal with GR in a highly chart-dependent exposition.

Now, in order to derive the covariant derivative we can simply ask ourselves what is the derivative of a vector field $V$. In other words, we derive the covariant derivative as:

$$\frac{\partial V}{\partial x^{\mu}} = \frac{\partial }{\partial x^{\mu}}\Big(V^{\nu}\frac{\partial }{\partial x^{\nu}}\Big) = \frac{\partial V^{\nu} }{\partial x^{\mu}}\frac{\partial }{\partial x^{\nu}}+ V^{\nu}\frac{\partial }{\partial x^{\mu}}\Big(\frac{\partial }{\partial x^{\nu}}\Big) \implies $$

$$\frac{\partial V}{\partial x^{\mu}} = \Bigg(\frac{\partial V^{\nu} }{\partial x^{\mu}}+ \Gamma^{\nu}\hspace{0.1mm}_{\mu\alpha} V^{\alpha}\Bigg)\frac{\partial }{\partial x^{\nu}} := \nabla_{\mu}V^{\nu}\frac{\partial }{\partial x^{\nu}} \tag{1}$$ Therefore we have derived the covariant derivative:

$$\nabla_{\mu}V^{\nu} = \frac{\partial V^{\nu} }{\partial x^{\mu}}+ \Gamma^{\nu}\hspace{0.1mm}_{\mu\alpha} V^{\alpha} \tag{2}$$

I would like to know: how can I derive the (gauge) covariant derivative given by $(3)$ using more mathematical arguments than physical ones? :

$$D_{\mu} = \partial_{\mu} - iqA_{\mu} \tag{3}$$

$\endgroup$
9
  • $\begingroup$ Perhaps add the gauge group definition as well? I think the gauge derivative depends on which gauge group you are interested in. $\endgroup$
    – Emil
    Commented Feb 7, 2021 at 8:54
  • 2
    $\begingroup$ @Emil The general form (up to conventions) does not depend on the specific group. $\endgroup$
    – NDewolf
    Commented Feb 7, 2021 at 9:06
  • $\begingroup$ You might want to have a look at the following Wikipedia page $\endgroup$ Commented Feb 7, 2021 at 10:25
  • $\begingroup$ @NDewolf: in wikipedia the standard model had three terms instead of one with different charges not just q. So I don't believe what is written here is the general form you speak of in that case. $\endgroup$
    – Emil
    Commented Feb 8, 2021 at 7:14
  • 1
    $\begingroup$ @Emil That is simply because the Standard Model has the gauge group $U(1)\times SU(2)\times SU(3)$ (up to minor group theoretic issues) and as such the connection can be decomposed in three terms. Nothing keeps you from writing it as one big connection term (which is the general case). $\endgroup$
    – NDewolf
    Commented Feb 8, 2021 at 8:55

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.