• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  Variation of the kinetic quark term of the QCD Lagrangian under gauge transformation

+ 5 like - 0 dislike

A simple kinetic quark term would look like $$\bar{\psi}(\gamma^{\mu}\partial_{\mu} - m){\psi}.$$ Imposing SU(3) symmetry the Dirac spinor transforms like $$\psi(x) \rightarrow \psi'(x) = e^{ig_s \alpha(x)^aT^a}\psi(x),$$ where $T^a$ are the generators of SU(3).

Looking at the infinitesimal transformations of the kinetic term due to this transformation gives:

$$\bar{\psi}(\mathbb{1} - ig_s \alpha^aT^a)(i\gamma^{\mu}\partial_{\mu} - m)(\mathbb{1} + ig_s\alpha^aT^a)\psi =\\ \bar{\psi}(i\gamma^{\mu}\partial_{\mu} - m)\psi + \bar{\psi}(i\gamma^{\mu}\partial_{\mu} - m)ig_s \alpha^a T^a \psi + \bar{\psi}(-ig_s \alpha^a T^a)(i\gamma^{\mu}\partial_{\mu} - m)\psi + \bar{\psi}(-ig_s\alpha^aT^a)(i\gamma^{\mu}\partial_{\mu} - m)(ig_s \alpha^a T^a)\psi.$$

In the texbtook I'm trying to follow they then skip the calculations and arrive at:

$$ \bar{\psi}(\gamma^{\mu}\partial_{\mu} - m)\psi=\bar{\psi}(i\gamma^{\mu}\partial_{\mu} - m)\psi - \bar{\psi}(g_s i \gamma^{\mu} \partial_{\mu} \alpha^a T^a)\psi.$$

I can't seem to reproduce this result. Why do the two terms linear in $g_s$ cancel each other? To do that we would have to know that $T$ and $\gamma$ commute with each other which isn't obvious to me. And where does the mass term of the term quadratic in $g_s$ vanish to?

This post imported from StackExchange Physics at 2015-01-18 13:49 (UTC), posted by SE-user user17574

asked Jan 16, 2015 in Theoretical Physics by user17574 (25 points) [ revision history ]
edited Jan 18, 2015 by Dilaton

1 Answer

+ 2 like - 0 dislike

The term quadratic in $g_s$ vanished because we are considering transformations infinitesimal in $\alpha$ here, and only linear terms are considered.

To see that $T^a$ and $\gamma^\mu$ commute with each other we can write the kinetic terms expliciting the indices: $$ \tag{1} \bar \psi (i \gamma^\mu \partial_\mu - m ) \psi \equiv \bar \psi_{\alpha,i} (i \gamma^\mu_{\alpha\beta} \delta_{ij} \partial_\mu - m \delta_{\alpha \beta} \delta_{ij}) \psi_{\beta,j},$$ where the $i,j$ indices are flavour indices, and come from the fact the spinor fields $\psi$ transform under some representation (in this case the fundamental) of the gauge group (in this case $SU(3)$). The $\delta_{ij}$ and $\delta_{\alpha \beta}$ terms are there as the components of the identity matrices acting respectively on the gauge group and on the spin degrees of freedom. Another way to write (1), summing over the index $i$ and using the $\delta_{ij}$ term, is: $$ \tag{1'} \bar \psi_{\alpha, j} ( i \gamma^\mu_{\alpha \beta} \partial_\mu - m \delta_{\alpha \beta}) \psi_{\beta,j} = 0. $$ The physical reason for the kinetic operator $(i \! \not\! \partial-m) $ to be diagonal on the flavour indices is that during propagation the flavour does not change (e.g. a quark down does not decide by itself to become a bottom, if not interacting with something else). Yet another way to write (1), with which you may or may not be more familiar is $$ \tag{1''} i \bar \psi_\alpha^j \gamma^\mu_{\alpha\beta} \partial_\mu \psi_\beta^j - m \bar \psi_{\alpha}^j \psi_{\alpha}^j \equiv i \bar \psi \gamma^\mu \partial_\mu \psi - m \bar \psi \psi = 0. $$

Expliciting the indices the gauge transformation has the form: $$ \tag{2} \psi_{\alpha,i}(x) \rightarrow (e^{ i g_s \alpha^a(x) T^a} )_{ij} \psi_{\alpha,j}(x),$$ which keeping only terms linear in $\alpha$ becomes: $$ \tag{3} \psi_{\alpha,i}(x) \rightarrow ( \delta_{ij} + ig_s \alpha^a(x) T^a_{ij}) \psi_{\alpha,j}(x) \equiv \psi_{\alpha,i}(x) + ig_s \alpha^a(x) T^a_{ij} \psi_{\alpha,j}(x), $$ where it is important to notice how the generators $T^a$ act on the flavour indices $i,j$, not on the spinor indices $\alpha,\beta$. Once you have made explicit all the sum involved in the indices, all the object you are left with are (eventually complex) numbers, hence they all commute (with the exception of the spinor fields of course, which are Grassman numbers.

How does this apply to your calculation?

  1. Your fourth term is neglected because of order $\mathcal{O}(\alpha^2)$.
  2. In your second term the derivative acts both on $\alpha$ and on $\psi$, giving the term (I'm no longer expliciting indices here for brevity): $$ \tag{4} \bar \psi ( i \gamma^\mu \partial_\mu - m) ig_s \alpha^a T^a \psi = -g_s (\partial_\mu \alpha^a) \bar \psi \gamma^\mu T^a \psi + i g_s \alpha^a \bar \psi ( i \gamma^\mu \partial_\mu - m ) T^a \psi $$
  3. The term involving both the $\gamma$ and the generators $T^a$ (and the derivative $\partial_\mu$ acting on $\psi$) has the form: $$ \tag{5} (i)^2g \alpha^a \bar \psi_{\alpha,i} (\gamma^\mu_{\alpha\beta} T^a_{ij} - T^a_{ij} \gamma^\mu_{\alpha\beta}) \partial_\mu \psi_{\beta,j} = 0, $$ where as I said above $\gamma^\mu_{\alpha\beta}, T^a_{ij} \in \mathbb{C}$ hence they commute.

See also the wikipedia article on the gauge covariant derivative for similar calculations.

This post imported from StackExchange Physics at 2015-01-18 13:49 (UTC), posted by SE-user glance
answered Jan 16, 2015 by glance (65 points) [ no revision ]
Couple of questions: If I simply disregard any term that is quadratic in $g_s$, then I don't get where the 2nd term in the final result comes from. When $T^a$ and $\gamma^{\mu}$ commute, then the two middle terms in the 4 term equation identically vanish, leaving with only $\bar{\psi}(i\gamma^{\mu}\partial_{\mu} - m)\psi$ when I cancel all terms that aren't linear in $g_s$. What gives? Also why does expliciting the indices give a Kronecker delta in both terms? This isn't trivial to me.

This post imported from StackExchange Physics at 2015-01-18 13:49 (UTC), posted by SE-user user17574
@user17574 see the edits. In particular, the second term in your final result comes from the second term of your second equation, where $\partial_\mu$ acts on $\alpha$. The Kronecker delta is just a way to express the fact that the operator in between $\bar \psi$ and $\psi$ does not act on flavour indices (nor on spinor indices, in the case of the mass term).

This post imported from StackExchange Physics at 2015-01-18 13:49 (UTC), posted by SE-user glance
With all these indices I simlpy forgot about the product rule :) Thanks a lot for clearing up my confusion!

This post imported from StackExchange Physics at 2015-01-18 13:49 (UTC), posted by SE-user user17574

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights