# An identity for spinor helicity formalism

I have a question about the spinor helicity formalism from arXiv:1308.1697

Denote the massless spin-1/2 fermions as Eqs. (2.10)-(2.11) in that paper $$v_+(p)= \begin{pmatrix} |p]_a \\ 0 \end{pmatrix}$$ $$v_-(p)= \begin{pmatrix} 0 \\ |p \rangle^{\dot{a}} \end{pmatrix}$$ $$\bar{u}_-(p)= (0, \langle p |_{\dot{a}})$$ $$\bar{u}_+(p)= ([p |^{a},0)$$ For real momenta, there is an identity in that paper $$[k| \gamma^{\mu} |p \rangle^*= [p|\gamma^{\mu}|k \rangle \tag{2.33}$$

My question is, how to prove (2.33)? I know $$[p|^a=(|p \rangle^{\cdot{a}})^*, \langle p |_{\dot{a}} = (|p]_a)^* \tag{2.14}$$ for real momenta.

By using (2.14) I got $$[k| \gamma^{\mu} |p \rangle = ([p|)^* | \gamma^{\mu} (|k \rangle)^*$$, since $\gamma^{\mu*} \neq \gamma^{\mu}, \mu=2$, I still miss a complex conjugation...

The problem is sloppy (but convenient) notation. The objects, $$\left| k \right] ^a , \quad \left| p \right\rangle ^{ \dot{a} }$$
are two component spinors while $\gamma_\mu$ is a 4x4 matrix. So its not even clear what the brakets mean. When we write the braket, $$\left[ k | \gamma ^\mu | p \right\rangle$$ what we really mean is that we pick out the Pauli matrix in the $\gamma ^\mu$ with the correct index structure. For example, $$\left[ k \right| ^a \left( \begin{array}{cc} 0 & \sigma ^\mu _{ a \dot{a} } \\ \bar{\sigma} ^\mu _{ \dot{a} a } & 0 \end{array} \right) \left| p \right\rangle^ {\dot{a}} = \left[ k \right| ^a \sigma ^{ \mu } _{ a \dot{a} } \left| p \right\rangle ^{ \dot{a} }$$ with similar results for the other brakets.
Now getting back to your question. The $\gamma ^\mu$ matrix is not invariant under complex conjugation: $$\left( \gamma ^\mu \right) ^\dagger = \gamma _0 \gamma ^\mu \gamma _0 = \left( \begin{array}{cc} 0 & \bar{\sigma} ^\mu \\ \sigma ^\mu & 0 \end{array} \right)$$ so all complex conjugation does is switch the positions of the $\sigma ^\mu$ and $\bar{\sigma} ^\mu$ matrices. Therefore, we can just omit the complex conjugation if we remember the pick Pauli matrix with the correct index structure'' prescription.
Then we have, $$\left( \left[ k \right| ^a ( \gamma ^\mu ) _{ a \dot{a} } \left| p \right\rangle ^{ \dot{a} } \right) ^\ast = \left[ p \right| \gamma ^\mu \left| k \right\rangle$$ where it is understood that now we are picking out the $\bar{\sigma} ^\mu$ matrix instead of $\sigma ^\mu$ in $\gamma ^\mu$.