Trace Theorems and Dirac Matrices

dm4b
Messages
363
Reaction score
4
I think I'm missing something real simple on trace theorems and Dirac matrices, but am just not seeing it.

In the Peskin and Schroeder QFT text on page 135 we have:

gamma^(mu)*gamma^(nu)*gamma_(mu) = -2*gamma^(nu)

But, why can't we anti-commute and obtain the following:

gamma^(mu)*gamma^(nu)*gamma_(mu)
= -gamma^(nu)*gamma^(mu)*gamma_(mu)
= -4*gamma^(nu)

which contradicts the equation above?

Any help would be much appreciated. Thanks!

P.S. ^=superscript, and _=subscript (LATEX wasn't working for me)
 
Last edited:
Physics news on Phys.org
dm4b said:
But, why can't we anti-commute and obtain the following:

gamma^(mu)*gamma^(nu)*gamma_(mu)
= -gamma^(nu)*gamma^(mu)*gamma_(mu)
= -4*gamma^(nu)

You missed part of the anticommutation relation:

\gamma^\mu \gamma^\nu \gamma_\mu = \left( -\gamma^\nu \gamma^\mu + 2\eta^{\mu\nu} \right) \gamma_\mu.
 
doh! thanks ... maybe I better take a break from doing physics now ;-)
 
Last edited:
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. Towards the end of the first lecture for the Qiskit Global Summer School 2025, Foundations of Quantum Mechanics, Olivia Lanes (Global Lead, Content and Education IBM) stated... Source: https://www.physicsforums.com/insights/quantum-entanglement-is-a-kinematic-fact-not-a-dynamical-effect/ by @RUTA
I am reading WHAT IS A QUANTUM FIELD THEORY?" A First Introduction for Mathematicians. The author states (2.4 Finite versus Continuous Models) that the use of continuity causes the infinities in QFT: 'Mathematicians are trained to think of physical space as R3. But our continuous model of physical space as R3 is of course an idealization, both at the scale of the very large and at the scale of the very small. This idealization has proved to be very powerful, but in the case of Quantum...
Thread 'Lesser Green's function'
The lesser Green's function is defined as: $$G^{<}(t,t')=i\langle C_{\nu}^{\dagger}(t')C_{\nu}(t)\rangle=i\bra{n}C_{\nu}^{\dagger}(t')C_{\nu}(t)\ket{n}$$ where ##\ket{n}## is the many particle ground state. $$G^{<}(t,t')=i\bra{n}e^{iHt'}C_{\nu}^{\dagger}(0)e^{-iHt'}e^{iHt}C_{\nu}(0)e^{-iHt}\ket{n}$$ First consider the case t <t' Define, $$\ket{\alpha}=e^{-iH(t'-t)}C_{\nu}(0)e^{-iHt}\ket{n}$$ $$\ket{\beta}=C_{\nu}(0)e^{-iHt'}\ket{n}$$ $$G^{<}(t,t')=i\bra{\beta}\ket{\alpha}$$ ##\ket{\alpha}##...

Similar threads

Replies
6
Views
1K
Replies
10
Views
2K
Replies
3
Views
2K
Replies
3
Views
3K
Replies
14
Views
3K
Replies
7
Views
3K
Back
Top