Is This Spinor Identity Correct?

Click For Summary
SUMMARY

The discussion centers on verifying the spinor identity involving charge conjugation in quantum field theory. The spinors are defined as \(\Psi_{1}=\frac{1}{\sqrt{2}}(\psi-\psi^{c})\) and \(\Psi_{2}=\frac{1}{\sqrt{2}}(\psi+\psi^{c})\). The identity to prove is \(A_{\mu}\overline{\Psi_{1}}\gamma^{\mu}\Psi_{2} + A_{\mu}\overline{\Psi_{2}}\gamma^{\mu}\Psi_{1} = 2 A_{\mu}\overline{\psi}\gamma^{\mu}\psi\). The attempt reveals a contradiction when trying to show that \(\overline{\psi^{c}}\gamma^{\mu}\psi^{c} = -\overline{\psi}\gamma^{\mu}\psi\), leading to the conclusion that the identity cannot hold as both sides yield positive quantities.

PREREQUISITES
  • Understanding of spinors in quantum field theory
  • Familiarity with charge conjugation and its implications
  • Knowledge of Dirac matrices and their properties
  • Proficiency in manipulating complex conjugates and Hermitian adjoints
NEXT STEPS
  • Study the properties of Dirac matrices in detail
  • Learn about charge conjugation and its role in quantum field theory
  • Explore the implications of Hermitian adjoints in quantum mechanics
  • Investigate the conditions under which spinor identities hold true
USEFUL FOR

The discussion is beneficial for theoretical physicists, particularly those specializing in quantum field theory, as well as graduate students tackling advanced topics in particle physics and spinor algebra.

Geremy Holly
Messages
1
Reaction score
0

Homework Statement


Given the spinors:
\Psi_{1}=\frac{1}{\sqrt{2}}\left(\psi-\psi^{c}\right)
\Psi_{2}=\frac{1}{\sqrt{2}}\left(\psi+\psi^{c}\right)
Where c denotes charge conjugation, show that for a vector boson #A_{\mu}#;
<br /> A_{\mu}\overline{\Psi_{1}}\gamma^{\mu}\Psi_{2}<br /> +<br /> A_{\mu}\overline{\Psi_{2}}\gamma^{\mu}\Psi_{1}<br /> =<br /> 2<br /> A_{\mu}\overline{\psi}\gamma^{\mu}\psi<br />

Homework Equations


##\psi^{c}=-i\gamma^{2}\psi^{*}##
##\overline{\psi}=\psi^{\dagger}\gamma^{0}##
##\{\gamma^{\mu},\gamma^{\nu}\}=2\eta^{\mu\nu}##
##\gamma^{2}\gamma^{\mu}\gamma^{2}=(\gamma^{\mu})^{*}##

The Attempt at a Solution


Plugging in ##\Psi_{1,2}## it is easy to show that
<br /> A_{\mu}\overline{\Psi_{1}}\gamma^{\mu}\Psi_{2}<br /> +<br /> A_{\mu}\overline{\Psi_{2}}\gamma^{\mu}\Psi_{1}<br /> =<br /> A_{\mu}(\overline{\psi}\gamma^{\mu}\psi-\overline{\psi^{c}}\gamma^{\mu}\psi^{c})<br />
So for the identity I want to prove to be true I need to prove that
\overline{\psi^{c}}\gamma^{\mu}\psi^{c}=-\overline{\psi}\gamma^{\mu}\psi
Plugging in the definition of ##\psi^{c}## gives

\begin{align*}
\overline{\psi^{c}}\gamma^{\mu}\psi^{c}
&=
(-i\gamma^{2}\psi^{*})^{\dagger}\gamma^{0}\gamma^{\mu}(-i\gamma^{2}\psi^{*})\\
&=
(i\psi^{T}(\gamma^{2})^{\dagger})\gamma^{0}\gamma^{\mu}(-i\gamma^{2}\psi^{*})\\
&=
\psi^{T}\gamma^{0}\gamma^{2}\gamma^{\mu}\gamma^{2}\psi^{*}\\
&=
\psi^{T}\gamma^{0}(\gamma^{\mu})^{*}\psi^{*}\\
&=
(\psi^{\dagger}\gamma^{0}(\gamma^{\mu})\psi)^{*}\\
&=
(\overline{\psi}\gamma^{\mu}\psi)^{*}\\
\end{align*}
Which disagress with the required expression unless it is purely imaginary! I have absolutely no idea where I've gone wrong and would really appreciate some help spotting my error.
 
Physics news on Phys.org
Geremy Holly said:
So for the identity I want to prove to be true I need to prove that
\overline{\psi^{c}}\gamma^{\mu}\psi^{c}=-\overline{\psi}\gamma^{\mu}\psi

That doesn't seem like it could be true. Look at the ##\gamma^0## term. You would need:

##\overline{\psi^{c}}\gamma^0 \psi^{c}=-\overline{\psi}\gamma^0\psi##

But ##\overline{\psi} = \psi^\dagger \gamma^0##. So the left-hand side is:

##- \psi^\dagger \gamma^0 \gamma^0 \psi = - \psi^\dagger \psi## (because ##\gamma^0 \gamma^0 = 1##).

But ##\psi^\dagger \psi## is always positive. Similarly, ##(\psi^c)^\dagger (\psi^c)## is always positive. So they can't have opposite signs (unless they're both zero).

Something is screwy here.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
Replies
95
Views
8K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
5K
  • · Replies 5 ·
Replies
5
Views
3K