Proof of traceless gamma matrices

Click For Summary
SUMMARY

The discussion focuses on the proof that gamma matrices are traceless, utilizing the trace identities from Wikipedia and the Clifford algebra relation \{\gamma^\mu, \gamma^\nu\} = 2\eta^{\mu \nu}. The proof demonstrates that if \mu ≠ \nu, then the trace of the gamma matrices results in zero. Specifically, the argument hinges on the anticommutation relations of the gamma matrices and the invariance of the trace under cyclic permutations, leading to the conclusion that Tr(\gamma^\nu) = 0.

PREREQUISITES
  • Understanding of Clifford algebra and its properties
  • Familiarity with gamma matrices in quantum field theory
  • Knowledge of trace operations in linear algebra
  • Basic concepts of Lorentz invariance in physics
NEXT STEPS
  • Study the properties of gamma matrices in detail
  • Learn about Clifford algebra applications in physics
  • Explore trace identities and their implications in quantum mechanics
  • Investigate the role of Lorentz invariance in quantum field theories
USEFUL FOR

This discussion is beneficial for theoretical physicists, mathematicians specializing in algebra, and students studying quantum field theory who seek to understand the properties of gamma matrices and their applications in particle physics.

center o bass
Messages
545
Reaction score
2
Hi I'm trying to figure out the proof of why the gamma matrices are traceless. I found a proof at wikipedia under 'trace identities' here

http://en.wikipedia.org/wiki/Gamma_matrices

(it's the 0'th identity)
and from the clifford algebra relation

\{\gamma^\mu, \gamma^\nu\} = 2\eta^{\mu \nu}

one get that

\frac{\gamma^\mu \gamma^\mu}{\eta^{\mu \mu}} = I

thus

Tr(\gamma^\nu) = \frac{1}{\eta^{\mu \mu}} Tr(\gamma^\nu \gamma^\mu \gamma^\mu) = \frac{1}{\eta^{\mu \mu}} Tr(\{\gamma^\nu, \gamma^\mu\} \gamma^\mu - \gamma^\mu \gamma^\nu \gamma^\mu)

and here it seems like they set

\frac{1}{\eta^{\mu \mu}} Tr(\{\gamma^\nu, \gamma^\mu\} \gamma^\mu) = \frac{1}{\eta^{\mu \mu}} Tr(2 \eta^{\nu \mu} \gamma^\mu ) = 0.

But why is this true?
 
Last edited:
Physics news on Phys.org
Ah it seems like it was assumed that \mu \neq \nu.
 
If you assume $$\mu\neq \nu$$ then you have $$\gamma^{\nu}\gamma^{\mu}=-\gamma^{\mu}\gamma^{\nu}$$ and so you have (using the invariance of the trace under cyclic permutations of the matrices):

$$Tr(\gamma^{\nu})=\frac{1}{\eta^{\mu\mu}}Tr( \gamma^{\nu} \gamma^\mu \gamma^\mu)=\frac{1}{\eta^{\mu\mu}}Tr( \gamma^\mu \gamma^\nu \gamma^\mu)$$

You can now anticommutate and thus obtain:

$$-\frac{1}{\eta^{\mu\mu}}Tr(\gamma^\nu \gamma^\mu \gamma^\mu)=-Tr(\gamma^\nu) \Rightarrow Tr(\gamma^\nu)=-Tr(\gamma^\nu)=0$$
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K