Feynman slash notation

In the study of Dirac fields in quantum field theory, Richard Feynman invented the convenient Feynman slash notation (less commonly known as the Dirac slash notation^[1]). If A is a covariant vector (i.e., a 1-form),

{A\!\!\!/}\ {\stackrel {\mathrm {def} }{=}}\ \gamma ^{0}A_{0}+\gamma ^{1}A_{1}+\gamma ^{2}A_{2}+\gamma ^{3}A_{3}

where γ are the gamma matrices. Using the Einstein summation notation, the expression is simply

{A\!\!\!/}\ {\stackrel {\mathrm {def} }{=}}\ \gamma ^{\mu }A_{\mu }

.

Identities

Using the anticommutators of the gamma matrices, one can show that for any $a_{\mu }$ and $b_{\mu }$ ,

{\begin{aligned}{a\!\!\!/}{a\!\!\!/}=a^{\mu }a_{\mu }\cdot I_{4}=a^{2}\cdot I_{4}\\{a\!\!\!/}{b\!\!\!/}+{b\!\!\!/}{a\!\!\!/}=2a\cdot b\cdot I_{4}.\end{aligned}}

where $I_{4}$ is the identity matrix in four dimensions.

In particular,

{\partial \!\!\!/}^{2}=\partial ^{2}\cdot I_{4}.

Further identities can be read off directly from the gamma matrix identities by replacing the metric tensor with inner products. For example,

{\begin{aligned}\gamma _{\mu }{a\!\!\!/}\gamma ^{\mu }&=-2{a\!\!\!/}\\\gamma _{\mu }{a\!\!\!/}{b\!\!\!/}\gamma ^{\mu }&=4a\cdot b\cdot I_{4}\\\gamma _{\mu }{a\!\!\!/}{b\!\!\!/}{c\!\!\!/}\gamma ^{\mu }&=-2{c\!\!\!/}{b\!\!\!/}{a\!\!\!/}\\\gamma _{\mu }{a\!\!\!/}{b\!\!\!/}{c\!\!\!/}{d\!\!\!/}\gamma ^{\mu }&=2({d\!\!\!/}{a\!\!\!/}{b\!\!\!/}{c\!\!\!/}+{c\!\!\!/}{b\!\!\!/}{a\!\!\!/}{d\!\!\!/})\\\operatorname {tr} ({a\!\!\!/}{b\!\!\!/})&=4a\cdot b\\\operatorname {tr} ({a\!\!\!/}{b\!\!\!/}{c\!\!\!/}{d\!\!\!/})&=4\left[(a\cdot b)(c\cdot d)-(a\cdot c)(b\cdot d)+(a\cdot d)(b\cdot c)\right]\\\operatorname {tr} ({a\!\!\!/}{\gamma ^{\mu }}{b\!\!\!/}{\gamma ^{\nu }})&=4\left[a^{\mu }b^{\nu }+a^{\nu }b^{\mu }-\eta ^{\mu \nu }(a\cdot b)\right]\\\operatorname {tr} (\gamma _{5}{a\!\!\!/}{b\!\!\!/}{c\!\!\!/}{d\!\!\!/})&=4i\varepsilon _{\mu \nu \lambda \sigma }a^{\mu }b^{\nu }c^{\lambda }d^{\sigma }\\\operatorname {tr} ({\gamma ^{\mu }}{a\!\!\!/}{\gamma ^{\nu }})&=0\\\operatorname {tr} ({\gamma ^{5}}{a\!\!\!/}{b\!\!\!/})&=0\\\operatorname {tr} ({\gamma ^{0}}({a\!\!\!/}+m){\gamma ^{0}}({b\!\!\!/}+m))&=8a^{0}b^{0}-4(a.b)+4m^{2}\\\operatorname {tr} (({a\!\!\!/}+m){\gamma ^{\mu }}({b\!\!\!/}+m){\gamma ^{\nu }})&=4\left[a^{\mu }b^{\nu }+a^{\nu }b^{\mu }-\eta ^{\mu \nu }((a\cdot b)-m^{2})\right]\\\operatorname {tr} ({a\!\!\!/}_{1}...{a\!\!\!/}_{2n})&=\operatorname {tr} ({a\!\!\!/}_{2n}...{a\!\!\!/}_{1})\\\operatorname {tr} ({a\!\!\!/}_{1}...{a\!\!\!/}_{2n+1})&=0\end{aligned}}

where:

$\varepsilon _{\mu \nu \lambda \sigma }$ is the Levi-Civita symbol
$\eta ^{\mu \nu }$ is the Minkowski metric
$m$ is a scalar.

With four-momentum

This section uses the $(+ - - -)$ metric signature. Often, when using the Dirac equation and solving for cross sections, one finds the slash notation used on four-momentum: using the Dirac basis for the gamma matrices,