0
$\begingroup$

I'm currently following this article to cosntruct a gauge invariant energy stress tensor for pure Yang-Mills gauge:

$$ \mathcal{L} = -\frac{1}{4}F_{\mu\nu}^aF_{\mu\nu}^a, \qquad F_{\mu\nu}^a = \partial_\mu A^a_\nu - \partial_\nu A^a_\mu + g\,C^{abc}A^b_\mu A^c_\nu, $$

where $C^{abc}$ are antisymemtric structure constants. I have trouble finding the correct derivation for the result 2.18. So I'm interested in:

$$ \frac{\partial F^b_{\rho\sigma}}{\partial A_\mu^a} = \frac{\partial}{\partial A^a_\mu}\left[ \dots + g\,C^{bca}A^c_\rho A^a_\sigma \right] = -2\,C^{bca}A_\rho^c\; \delta^\sigma_\mu. $$

I can't seem to find a factor of 2 and a minus sign. I tried using some of the antisymmetric properties of $F_{\mu\nu}$ and $C^{abc}$ but without success. Any help is much appriciated!

EDIT: My best guess was to try something I used in variation of strength field tensor, namely:

$$ \begin{split} \delta F^b_{\rho\sigma} &= \dots + g\,C^{bca} \delta A_\rho^c A_\sigma^a + g\,C^{bca} A_\rho^c \delta A_\sigma^a = \dots + g\,C^{bca} \delta A_\rho^c A_\sigma^a - g\,C^{bca} A_\sigma^c \delta A_\rho^a \\ &= \dots + g\,C^{bca} \delta A_\rho^c A_\sigma^a + g\,C^{bca} A_\sigma^a \delta A_\rho^c \end{split} $$

where I get factor 2 as a result of antisymmetric properties, but I can't find the minus sign.

$\endgroup$
1
  • $\begingroup$ $F_{\mu\nu}^aF_{\mu\nu}^a$ The index placement is wrong unless the paper uses a strange convention. $\endgroup$
    – G. Smith
    Commented Nov 2, 2020 at 1:26

1 Answer 1

1
$\begingroup$

$\newcommand{\pdv}[2]{\frac{\partial #1}{\partial #2}}$There are two mistakes in your question.

You erroneously resolved one of them your edit, by introducing the variation of $F$, which is irrelevant here.

  1. The $F_{\mu\nu}^a$ is not what you claim it is in the cited paper's normalisation. In the paper the authors use $$ [T_a,T_b] = iC_{ab}^{c}\,T_c \tag{1}$$ and \begin{align} F_{\mu\nu} &= \partial_\mu A_\nu -\partial_\nu A_\mu + ig[A_\mu,A_\nu] &\implies \\[1em] F_{\mu\nu}^a T_a &= \left(\partial_\mu A^a_\nu -\partial_\nu A^a_\mu\right) T_a + ig[T_b,T_c]A_\mu^bA_\nu^c = \\ &\overset{(1)}{=}\left(\partial_\mu A^a_\nu -\partial_\nu A^a_\mu \right) T_a + ig\;iC_{bc}^a T_a\;A_\mu^bA_\nu^c &\implies \\[1em] F_{\mu\nu}^a &= \partial_\mu A^a_\nu -\partial_\nu A^a_\mu - gC_{bc}^a A_\mu^bA_\nu^c, \tag{2} \end{align} i.e. with a minus, not a plus. This is the minus you've been missing.
  2. (2.18) in the paper does not claim that $$\pdv{F^a_{\rho\sigma}}{A^b_\mu}= -2g C^a_{bc} \delta^\mu_{\sigma} A_\rho^c.$$ It claims that $$ \pdv{F^a_{\rho\sigma}}{A^b_\mu} \Sigma^{\rho\sigma}_b= -2g C^a_{bc} \delta^\mu_{\sigma} A_\rho^c \; \Sigma^{\rho\sigma}_b, \tag{$\star$} $$ where $$\Sigma^{\rho\sigma}_b = \pdv{\mathcal{L}_g}{F^b_{\rho\sigma}}.\tag{3} $$ The difference is that in the latter you are contracting the $\rho$ and $\sigma$ indices, as well as the Lie index $b$ in $\pdv{F^a_{\rho\sigma}}{A^b_\mu}$ so you are basically free to rename them and use certain (anti)symmetry properties to your advantage.

For reference, using (2), you should be able to find, $$\pdv{F^a_{\rho\sigma}}{A^b_\mu} = -g C^{a}_{ac}\;\big(\delta^\mu_{\rho} A^c_{\sigma}- \delta^\mu_{\sigma} A^c_{\rho}\big).$$ Contracting with $\Sigma^b_{\rho\sigma}$ of (3) you should be able to find ($\star$), i.e. reproduce (2.18).

$\endgroup$
5
  • $\begingroup$ Thank you so much for taking time to go over my question. The course is a bit advanced as far as my knowledge of fields and group theory goes, so I was expecting some misconceptions and mistakes on my part. Thanks again, I'm going to mark this as answered. $\endgroup$
    – mb28025
    Commented Nov 1, 2020 at 22:32
  • $\begingroup$ However, I can't seem to get opposite signs in the last equation you wrote. How come it isnt $(\delta^\mu_\rho A^c_\sigma + \delta^\mu_\sigma A^c_\rho)$?. Also, I assume it's meant $C^a_{bc}$, also in the last equation. $\endgroup$
    – mb28025
    Commented Nov 1, 2020 at 23:09
  • 2
    $\begingroup$ you can’t have something antisymmetric equal something symmetric, so i suspect the answer given above (with intermediate minus sign) is correct. $\endgroup$ Commented Nov 2, 2020 at 5:53
  • $\begingroup$ @mb28025 Notice that the structure constants $C^c_{ab}$ are antisymmetric in $a,\ b$ (since they come from a commutator). Using this and renaming the summed indices in the structure constants you can reproduce my last equation. $\endgroup$ Commented Nov 2, 2020 at 11:04
  • 1
    $\begingroup$ Also, a remark: be careful with index positioning! The authors of the paper might be careless, presumably because they use a $\delta_{ab}$ metric for the Lie algebra and they work on flat Euclidean space, but since you are still learning try to be precise with the indices $\endgroup$ Commented Nov 2, 2020 at 11:06

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.