In mathematical physics, the gamma matrices,
\left\{\gamma0,\gamma1,\gamma2,\gamma3\right\} ,
Cl1,3(R)~.
In Dirac representation, the four contravariant gamma matrices are
\begin{align} \gamma0&=\begin{pmatrix}1&0&0&0\\ 0&1&0&0\ 0&0&-1&0\\ 0&0&0&-1 \end{pmatrix},& \gamma1&=\begin{pmatrix} 0&0&0&1\\ 0&0&1&0\\ 0&-1&0&0\\ -1&0&0&0 \end{pmatrix},\\ \\ \gamma2&=\begin{pmatrix} 0&0&0&-i\\ 0&0&i&0\\ 0&i&0&0\\ -i&0&0&0 \end{pmatrix},& \gamma3&=\begin{pmatrix} 0&0&1&0\\ 0&0&0&-1\\ -1&0&0&0\\ 0&1&0&0 \end{pmatrix}~. \end{align}
\gamma0
\gamma0=\sigma3 ⊗ I2 ,
\gammaj=i\sigma2 ⊗ \sigmaj ,
⊗
\sigmaj
In addition, for discussions of group theory the identity matrix is sometimes included with the four gamma matricies, and there is an auxiliary, "fifth" traceless matrix used in conjunction with the regular gamma matrices
\begin{align} I4=\begin{pmatrix} 1&0&0&0\\ 0&1&0&0\\ 0&0&1&0\\ 0&0&0&1 \end{pmatrix} , \gamma5\equivi\gamma0\gamma1\gamma2\gamma3= \begin{pmatrix} 0&0&1&0\\ 0&0&0&1\\ 1&0&0&0\\ 0&1&0&0 \end{pmatrix}~. \end{align}
\gamma5
The gamma matrices have a group structure, the gamma group, that is shared by all matrix representations of the group, in any dimension, for any signature of the metric. For example, the 2×2 Pauli matrices are a set of "gamma" matrices in three dimensional space with metric of Euclidean signature (3, 0). In five spacetime dimensions, the four gammas, above, together with the fifth gamma-matrix to be presented below generate the Clifford algebra.
The defining property for the gamma matrices to generate a Clifford algebra is the anticommutation relation
\left\{\gamma\mu,\gamma\nu\right\}=\gamma\mu\gamma\nu+\gamma\nu\gamma\mu=2η\muI4 ,
\{,\}
η\mu
I4
This defining property is more fundamental than the numerical values used in the specific representation of the gamma matrices. Covariant gamma matrices are defined by
\gamma\mu=η\mu\gamma\nu=\left\{\gamma0,-\gamma1,-\gamma2,-\gamma3\right\} ,
Note that the other sign convention for the metric, necessitates either a change in the defining equation:
\left\{\gamma\mu,\gamma\nu\right\}=-2η\muI4
i
\gamma\mu=η\mu\gamma\nu=\left\{-\gamma0,+\gamma1,+\gamma2,+\gamma3\right\}~.
The Clifford algebra
Cl1,3(R)
Cl1,3(R)C ,
Cl1,3(R)C
Cl1,3(R)C
For each linear transformation of, there is a transformation of given by for in
Cl1,3(R)C ≈ \operatorname{End}(Ux)~.
If is the bispinor representation acting on of an arbitrary Lorentz transformation in the standard (4 vector) representation acting on, then there is a corresponding operator on
\operatorname{End}\left(Ux\right)=Cl1,3\left(R\right)C
\gamma\mu \mapsto S(Λ) \gamma\mu {S(Λ)}-1={\left(Λ-1
\nu | |
\right) | |
\nu \gamma |
=
\mu \gamma | |
{Λ | |
\nu} |
\nu ,
showing that the quantity of can be viewed as a basis of a representation space of the 4 vector representation of the Lorentz group sitting inside the Clifford algebra. The last identity can be recognized as the defining relationship for matrices belonging to an indefinite orthogonal group, which is
ηΛsf{T}η=Λ-1 ,
a/\equiv
\mu | |
a | |
\mu\gamma |
should be treated as 4 vectors in manipulations. It also means that indices can be raised and lowered on the using the metric as with any 4 vector. The notation is called the Feynman slash notation. The slash operation maps the basis of, or any 4 dimensional vector space, to basis vectors . The transformation rule for slashed quantities is simply
{a/}\mu\mapsto
\mu} | |
{Λ | |
\nu |
{a/}\nu~.
One should note that this is different from the transformation rule for the, which are now treated as (fixed) basis vectors. The designation of the 4 tuple
\left(\gamma\mu
3 | |
\right) | |
\mu=0 |
=\left(\gamma0,\gamma1,\gamma2,\gamma3\right)
The elements
\sigma\mu=\gamma\mu\gamma\nu-\gamma\nu\gamma\mu
See main article: Dirac equation.
In natural units, the Dirac equation may be written as
\left(i\gamma\mu\partial\mu-m\right)\psi=0
\psi
Switching to Feynman notation, the Dirac equation is
(i{\partial/}-m)\psi=0~.
It is useful to define a product of the four gamma matrices as
\gamma5=\sigma1 ⊗ I
\gamma5\equivi\gamma0\gamma1\gamma2\gamma3= \begin{pmatrix} 0&0&1&0\\ 0&0&0&1\\ 1&0&0&0\\ 0&1&0&0 \end{pmatrix}
\gamma5
Cl1,3(R)~.
\gamma0
\gamma4
\gamma5
\gamma5=\tfrac{i}{4!}\varepsilon\mu\gamma\mu\gamma\nu\gamma\alpha\gamma\beta
\varepsilon0=1 ,
\gamma5=-\tfrac{i}{4!}\varepsilon\mu\gamma\mu\gamma\nu\gamma\alpha\gamma\beta
\varepsilon0=1~.
This can be seen by exploiting the fact that all the four gamma matrices anticommute, so
\gamma0\gamma1\gamma2\gamma3=\gamma[0\gamma1\gamma2\gamma3]=\tfrac{1}{4!}
0123 | |
\delta | |
\mu\nu\varrho\sigma |
\gamma\mu\gamma\nu\gamma\varrho\gamma\sigma ,
\alpha\beta\gamma\delta | |
\delta | |
\mu\nu\varrho\sigma |
\varepsilon\alpha
\alpha\beta\gamma\delta | |
\delta | |
\mu\nu\varrho\sigma |
=\varepsilon\alpha\beta\gamma\delta\varepsilon\mu\nu\varrho\sigma
\varepsilon0123=1 ,
\gamma5=i\gamma0\gamma1\gamma2\gamma3=
i | |
4! |
\varepsilon0123\varepsilon\mu\nu\varrho\sigma\gamma\mu\gamma\nu\gamma\varrho\gamma\sigma=\tfrac{i}{4!}\varepsilon\mu\nu\varrho\sigma\gamma\mu\gamma\nu\gamma\varrho\gamma\sigma=-\tfrac{i}{4!}\varepsilon\mu\nu\varrho\sigma\gamma\mu\gamma\nu\gamma\varrho\gamma\sigma
This matrix is useful in discussions of quantum mechanical chirality. For example, a Dirac field can be projected onto its left-handed and right-handed components by:
\psiL=
I-\gamma5 | |
2 |
\psi, \psiR=
I+\gamma5 | |
2 |
\psi~.
Some properties are:
\left(\gamma5\right)\dagger=\gamma5~.
\left(\gamma5\right)2=I4~.
\left\{\gamma5,\gamma\mu\right\}=\gamma5\gamma\mu+\gamma\mu\gamma5=0~.
In fact,
\psiL
\psiR
\gamma5
\gamma5\psiL=
\gamma5-\left(\gamma5\right)2 | |
2 |
\psi=-\psiL ,
\gamma5\psiR=
\gamma5+\left(\gamma5\right)2 | |
2 |
\psi=\psiR~.
The Clifford algebra in odd dimensions behaves like two copies of the Clifford algebra of one less dimension, a left copy and a right copy. Thus, one can employ a bit of a trick to repurpose as one of the generators of the Clifford algebra in five dimensions. In this case, the set therefore, by the last two properties (keeping in mind that) and those of the ‘old’ gammas, forms the basis of the Clifford algebra in spacetime dimensions for the metric signature . .In metric signature, the set