Notes on spinor helicity formalism
\(\newcommand{\phat}{\hat{p}} \newcommand{\qhat}{\hat{q}} \newcommand{\khat}{\hat{k}} \newcommand{\dota}{\dot{a}} \newcommand{\dotb}{\dot{b}} \newcommand{\dotc}{\dot{c}} \newcommand{\epsilonb}{\bar{\epsilon}} \newcommand{\sigmab}{\bar{\sigma}} \newcommand{\epsilonhat}{\hat{\epsilon}} \newcommand{\signature}{\operatorname{\color{red}\mathsf{s}}}\)
We set up the conventions of spinor helicity formalism in a signature-independent way.
It is noteworthy that while the choice of convention for physical observables is purely a "gauge", it propagates along computations. From the perspective of programming, this is actually a nonlocal effect that should be encapsulated within different modules. Therefore, we align our spinor conventions to the particle physics literature, ensuring they remain independent of the metric signature here. 1
The signature is denoted as
and when changing signature, we only need to flip the signs of \(g_{\mu\nu},\, g^{\mu\nu}\) and the derived objects, e.g. momentum \(P_{\mu}\), (covariant) derivative \(\pp^{\mu},\, D^{\mu}\), Pauli matrix \(\sigma_{\mu},\, \sigmab_{\mu}\).
Here and in the following, we denote a generic momentum as \(P\), massive as \(p\) and massless as \(q\).
Helicity spinors
Helicity spinors are essentially bosonic Weyl spinors that satisfy the massless Weyl equation.
Square spinors
The square ket \(\sket{q}_{a}\), as a left-handed (bosonic) Weyl spinor associated to the complex massless momentum \(q\in\CC^{4}\), lies in the fundamental representation \((\half,0)\) of \(\slgroup(2,\CC)\), and the square bra \(\sbra{q}^{a}\) lies in its dual \((\half,0)^{\dual}\):
then the square braket is the natural pairing 2
Due to the intertwiner and its inverse
the two representations are isomorphic by
Equivalently, \(\epsilon\) is an invariant bilinear form on \((\half,0)\) or on its dual, and then \(\braketS{q_{1}q_{2}}\) is antisymmetric.
Angle spinors
Repeating the previous discussion onto the complex conjugate representation \((0,\half)\) and its dual \((0,\half)^{\dual}\), the angle bra, ket and braket satisfy
The normalization of the intertwiner is chosen to commute with complex conjugation:
then the indices are lowered/raised as
Momentum bispinor
The Pauli matrices \(\vec\sigma\) intertwine the action of \(\sugroup(2)\) on \(1\in \half\ox\half\) and the action of \(\sogroup(3,\RR)\) on the vector representation through the group morphism \(\sugroup(2)\to \sogroup(3,\RR)\), given by
Similarly, the four-component Pauli matrices \(\sigma\) intertwine the action of \(\slgroup(2,\CC)\) on \((\half,\half)\) and the action of \(\sogroup(3,1,\RR)\) on the complex vector representation \(V\simeq \CC^{4}\) through the group morphism, given by
Then the metric \(g_{\mu\nu}\), i.e. the invariant bilinear form on \(V\) is intertwined by \(\sigma\) to the one \(\epsilon_{ab}\epsilon_{\dota\dotb}\) on \((\half,\half)\), given by
With this isomorphism, a generic momentum \(P^{\mu}\) can be rewritten into bispinors
and \(\det P = - \signature P^{2}\).
Particularly, when the momentum is massless \(q^{2}=0\), the bispinors factorize into two helicity spinors
and then the square and angle spinors satisfy the massless Weyl equations
Real momentum
Let's count the degrees of freedom. For a complex massless momentum \(q\), the square and angle spinors associated to \(q\) are independent. The left side of \eqref{eq: helicity spinor} is of \(\dim_{\CC}=3\), while the right side is of \(\dim_{\CC}=4\). The reason for this discrepancy is that this factorization is only determined up to a rescaling
which turns out to be exactly the action of the complexified little group.
While for real momentum, the square and angle spinors are related by complex conjugate. Then the left side of \eqref{eq: helicity spinor} is of \(\dim_{\RR}=3\), the right side is of \(\dim_{\RR}=4\), and the little group scaling is a phase factor in \(\sogroup(2,\RR)\). We also need to distinguish incoming \((-)\) for \(E<0\) and outgoing \((+)\) for \(E>0\). Introducing the sign notation
we adopt the following conventions:
and
\eqref{eq: conjugate}, \eqref{eq: incoming}
Since the intertwiner \(\epsilon\) commutes with complex conjugate, we only need to consider \(\sket{q}\) and \(\abra{q}\),
and from \eqref{eq: helicity spinor} we have
Continuing \(q\) to \(-q\), there is only one minus sign in \eqref{eq: helicity spinor}, so we need to absorb it either in both of \(\sket{q}\) and \(\abra{q}\) or in one of them. Starting from the ansatz
and then by the compatibility of complex conjugate, we have
which implies
Furthermore, to make the square/angle brakets balanced
a natural choice of \(\alpha(q)\) would be
Then for \(\abs{\beta(q)}=1\) we choose
This is the convention in 7. While 6 chooses \(\beta(q)=i\), then one should be careful that \(\sket{-(-q)}=-\sket{q}\), i.e., \(\sket{q}\) is double-valued in the complex plane of \(E\).
Useful identities
For massless momenta, \(q\) will be omitted, e.g. \(\braketS{12}\eqq \braketS{q_{1}q_{2}}\).
Parametrization
The massless momentum can be parametrized by the energy \(E\) and angular coordinates \((\theta,\phi)\) as
In the celestial CFT literature, we also use the following parametrization:
The two are related by the stereographic projection
with the north pole mapped to the origin.
The helicity spinors can be parametrized as
Polarization vectors
% % % % % % % % % % % % % % % %
-
We mainly follow 3, where the authors provide both signature versions and a detailed discussion on convention changing.
In 45 the signature is \((+,-,-,-)\) with the spinor conventions accordingly aligned.
In 67 the signature is \((-,+,+,+)\), propagates into momentum bispinors \eqref{eq: momentum bispinor} and stops at the relation between momentum bispinors and helicity spinors \eqref{eq: helicity spinor}.
In 8 the signature is \((-,+,+,+)\) and propagates into helicity spinors \eqref{eq: helicity spinor}. ↩
-
The convention to sum undotted indices is from northwest to southeast, and for dotted indices it's from southwest to northeast. ↩
-
Herbi K. Dreiner, Howard E. Haber, and Stephen P. Martin. Two-component spinor techniques and Feynman rules for quantum field theory and supersymmetry. Phys. Rept., 494:1–196, 2010. arXiv:0812.1594, doi:10.1016/j.physrep.2010.05.002. ↩
-
Tomasz R. Taylor. A Course in Amplitudes. Phys. Rept., 691:1–37, 2017. arXiv:1703.05670, doi:10.1016/j.physrep.2017.05.002. ↩
-
Clifford Cheung. TASI lectures on scattering amplitudes. pages 571–623, 2018. arXiv:1708.03872, doi:10.1142/9789813233348_0008. ↩
-
Mark Srednicki. Quantum Field Theory. Cambridge University Press, 2007. ISBN 9781139462761. URL: https://books.google.com/books?id=5OepxIG42B4C. ↩↩
-
Henriette Elvang and Yu-ting Huang. Scattering Amplitudes. 8 2013. arXiv:1308.1697. ↩↩
-
Sabrina Pasterski, Shu-Heng Shao, and Andrew Strominger. Gluon Amplitudes as 2d Conformal Correlators. Phys. Rev. D, 96(8):085006, 2017. arXiv:1706.03917, doi:10.1103/PhysRevD.96.085006. ↩