Английская Википедия:Gamma matrices

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description Шаблон:MOS In mathematical physics, the gamma matrices, <math>\ \left\{ \gamma^0, \gamma^1, \gamma^2, \gamma^3 \right\}\ ,</math> also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra <math>\ \mathrm{Cl}_{1,3}(\mathbb{R}) ~.</math> It is also possible to define higher-dimensional gamma matrices. When interpreted as the matrices of the action of a set of orthogonal basis vectors for contravariant vectors in Minkowski space, the column vectors on which the matrices act become a space of spinors, on which the Clifford algebra of spacetime acts. This in turn makes it possible to represent infinitesimal spatial rotations and Lorentz boosts. Spinors facilitate spacetime computations in general, and in particular are fundamental to the Dirac equation for relativistic spin <math>\tfrac{\ 1\ }{2}</math> particles. Gamma matrices were introduced by Paul Dirac in 1928.Шаблон:SfnШаблон:Sfn

In Dirac representation, the four contravariant gamma matrices are

<math>

\begin{align} \gamma^0 &= \begin{pmatrix} 

 1 & 0 &  0 & 0 \\
 0 & 1 &  0 & 0 \\ 
 0 & 0 &  -1 & 0 \\
 0 & 0 &  0 & -1

\end{pmatrix}, & \gamma^1 &= \begin{pmatrix} 

  0 &  0 & 0 & 1 \\
  0 &  0 & 1 & 0 \\
  0 & -1 & 0 & 0 \\
 -1 &  0 & 0 & 0

\end{pmatrix}, \\ \\ \gamma^2 &= \begin{pmatrix} 

  0 & 0 & 0 & -i \\
  0 & 0 & i &  0 \\
  0 & i & 0 &  0 \\
 -i & 0 & 0 &  0

\end{pmatrix}, & \gamma^3 &= \begin{pmatrix} 

  0 & 0 & 1 &  0 \\
  0 & 0 & 0 & -1 \\
 -1 & 0 & 0 &  0 \\
  0 & 1 & 0 &  0

\end{pmatrix} ~. \end{align} </math>

<math>\gamma^0</math> is the time-like, Hermitian matrix. The other three are space-like, anti-Hermitian matrices. More compactly, <math>\ \gamma^0 = \sigma^3 \otimes I_2\ ,</math> and <math>\ \gamma^j = i \sigma^2 \otimes \sigma^j \ ,</math> where <math>\ \otimes\ </math> denotes the Kronecker product and the <math>\ \sigma^j\ </math> (for Шаблон:Nowrap) denote the Pauli matrices.

In addition, for discussions of group theory the identity matrix (Шаблон:Mvar) is sometimes included with the four gamma matricies, and there is an auxiliary, "fifth" traceless matrix used in conjunction with the regular gamma matrices

<math>\begin{align}

\ I_4 = \begin{pmatrix} 

 1 & 0 & 0 & 0 \\
 0 & 1 & 0 & 0 \\
 0 & 0 & 1 & 0 \\
 0 & 0 & 0 & 1

\end{pmatrix} \ , \qquad \gamma^5 \equiv i\gamma^0\gamma^1\gamma^2\gamma^3 = \begin{pmatrix} 

 0 & 0 & 1 & 0 \\
 0 & 0 & 0 & 1 \\
 1 & 0 & 0 & 0 \\
 0 & 1 & 0 & 0

\end{pmatrix} ~. \end{align} </math> The "fifth matrix" <math>\ \gamma^5\ </math> is not a proper member of the main set of four; it is used for separating nominal left and right chiral representations.

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.

Mathematical structure

The defining property for the gamma matrices to generate a Clifford algebra is the anticommutation relation

<math>\left\{ \gamma^\mu, \gamma^\nu \right\} = \gamma^\mu \gamma^\nu + \gamma^\nu \gamma^\mu = 2 \eta^{\mu \nu} I_4\ ,</math>

where the curly brackets <math>\ \{ , \}\ </math> represent the anticommutator, <math>\ \eta_{\mu \nu}\ </math> is the Minkowski metric with signature Шаблон:Nowrap, and <math>I_4</math> is the Шаблон:Nowrap identity matrix.

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

<math>\ \gamma_\mu = \eta_{\mu \nu} \gamma^\nu = \left\{\gamma^0, -\gamma^1, -\gamma^2, -\gamma^3 \right\}\ ,</math>

and Einstein notation is assumed.

Note that the other sign convention for the metric, Шаблон:Nowrap necessitates either a change in the defining equation:

<math>\ \left\{ \gamma^\mu, \gamma^\nu \right\} = -2 \eta^{\mu \nu} I_4\ </math>

or a multiplication of all gamma matrices by <math>i</math>, which of course changes their hermiticity properties detailed below. Under the alternative sign convention for the metric the covariant gamma matrices are then defined by

<math>\ \gamma_\mu = \eta_{\mu \nu} \gamma^\nu = \left\{-\gamma^0, +\gamma^1, +\gamma^2, +\gamma^3 \right\} ~.</math>

Physical structure

The Clifford algebra <math>\ \mathrm{Cl}_{1,3}(\mathbb{R})\ </math> over spacetime Шаблон:Mvar can be regarded as the set of real linear operators from Шаблон:Math to itself, Шаблон:Math, or more generally, when complexified to <math>\ \mathrm{Cl}_{1,3}(\mathbb{R})_\mathbb{C}\ ,</math> as the set of linear operators from any four-dimensional complex vector space to itself. More simply, given a basis for Шаблон:Math, <math>\ \mathrm{Cl}_{1,3}(\mathbb{R})_\mathbb{C}\ </math> is just the set of all Шаблон:Math complex matrices, but endowed with a Clifford algebra structure. Spacetime is assumed to be endowed with the Minkowski metric Шаблон:Mvar. A space of bispinors, Шаблон:Mvar, is also assumed at every point in spacetime, endowed with the bispinor representation of the Lorentz group. The bispinor fields Шаблон:Math of the Dirac equations, evaluated at any point Шаблон:Mvar in spacetime, are elements of Шаблон:Mvar (see below). The Clifford algebra is assumed to act on Шаблон:Mvar as well (by matrix multiplication with column vectors Шаблон:Math in Шаблон:Mvar for all Шаблон:Mvar). This will be the primary view of elements of <math>\ \mathrm{Cl}_{1,3}(\mathbb{R})_\mathbb{C}\ </math> in this section.

For each linear transformation Шаблон:Mvar of Шаблон:Mvar, there is a transformation of Шаблон:Math given by Шаблон:Math for Шаблон:Math in <math>\ \mathrm{Cl}_{1,3}(\mathbb{R})_\mathbb{C} \approx \operatorname{End}(U_x) ~.</math> If Шаблон:Mvar belongs to a representation of the Lorentz group, then the induced action Шаблон:Math will also belong to a representation of the Lorentz group, see Representation theory of the Lorentz group.

If Шаблон:Math is the bispinor representation acting on Шаблон:Mvar of an arbitrary Lorentz transformation Шаблон:Math in the standard (4 vector) representation acting on Шаблон:Math, then there is a corresponding operator on <math>\ \operatorname{End}\left( U_x \right) = \mathrm{Cl}_{1,3}\left( \mathbb{R} \right)_\mathbb{C}\ </math> given by equation:

<math>\ \gamma^\mu \ \mapsto \ S(\Lambda)\ \gamma^\mu\ {S(\Lambda)}^{-1} = {\left( \Lambda^{-1} \right)^\mu}_\nu\ \gamma^\nu = {\Lambda_\nu}^\mu\ \gamma^\nu \ ,</math>

showing that the quantity of Шаблон:Mvar 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 <math>\ \eta\Lambda^\textsf{T}\eta = \Lambda^{-1}\ ,</math> written in indexed notation. This means that quantities of the form

<math>a\!\!\!/ \equiv a_\mu\gamma^\mu</math>

should be treated as 4 vectors in manipulations. It also means that indices can be raised and lowered on the Шаблон:Mvar using the metric Шаблон:Mvar as with any 4 vector. The notation is called the Feynman slash notation. The slash operation maps the basis Шаблон:Mvar of Шаблон:Mvar, or any 4 dimensional vector space, to basis vectors Шаблон:Mvar. The transformation rule for slashed quantities is simply

<math>{a\!\!\!/}^\mu \mapsto {\Lambda^\mu}_\nu {a\!\!\!/}^\nu ~.</math>

One should note that this is different from the transformation rule for the Шаблон:Mvar, which are now treated as (fixed) basis vectors. The designation of the 4 tuple <math>\left( \gamma^\mu \right)_{\mu=0}^{3} = \left(\gamma^0, \gamma^1, \gamma^2, \gamma^3 \right)</math> as a 4 vector sometimes found in the literature is thus a slight misnomer. The latter transformation corresponds to an active transformation of the components of a slashed quantity in terms of the basis Шаблон:Mvar, and the former to a passive transformation of the basis Шаблон:Mvar itself.

The elements <math>\ \sigma^{\mu \nu} = \gamma^\mu \gamma^\nu - \gamma^\nu \gamma^\mu\ </math> form a representation of the Lie algebra of the Lorentz group. This is a spin representation. When these matrices, and linear combinations of them, are exponentiated, they are bispinor representations of the Lorentz group, e.g., the Шаблон:Math of above are of this form. The 6 dimensional space the Шаблон:Math span is the representation space of a tensor representation of the Lorentz group. For the higher order elements of the Clifford algebra in general and their transformation rules, see the article Dirac algebra. The spin representation of the Lorentz group is encoded in the spin group Шаблон:Nowrap (for real, uncharged spinors) and in the complexified spin group Шаблон:Nowrap for charged (Dirac) spinors.

Expressing the Dirac equation

Шаблон:Main

In natural units, the Dirac equation may be written as

<math>\ \left(i \gamma^\mu \partial_\mu - m\right) \psi = 0\ </math>

where <math>\ \psi\ </math> is a Dirac spinor.

Switching to Feynman notation, the Dirac equation is

<math>\ (i {\partial\!\!\!/} - m) \psi = 0 ~.</math>

The fifth "gamma" matrix, Шаблон:Varserif5

It is useful to define a product of the four gamma matrices as <math>\gamma ^5 = \sigma_1\otimes I </math>, so that

<math>\ \gamma^5 \equiv i\gamma^0\gamma^1\gamma^2\gamma^3 =

\begin{pmatrix} 

 0 & 0 & 1 & 0 \\
 0 & 0 & 0 & 1 \\
 1 & 0 & 0 & 0 \\
 0 & 1 & 0 & 0

\end{pmatrix} \qquad </math> (in the Dirac basis). Although <math>\ \gamma^5\ </math> uses the letter gamma, it is not one of the gamma matrices of <math>\ \mathrm{Cl}_{1,3}(\mathbb{R}) ~.</math> The index number 5 is a relic of old notation: <math>\ \gamma^0\ </math> used to be called "<math>\gamma^4</math>".

<math>\ \gamma^5\ </math> has also an alternative form:

<math>\ \gamma^5 = \tfrac{i}{4!} \varepsilon^{\mu \nu \alpha \beta} \gamma_{\mu} \gamma_{\nu} \gamma_{\alpha} \gamma_{\beta}\ </math>

using the convention <math>\varepsilon_{0 1 2 3} = 1\ ,</math> or

<math>\ \gamma^5 = -\tfrac{i}{4!} \varepsilon^{\mu \nu \alpha \beta} \gamma_{\mu} \gamma_{\nu} \gamma_{\alpha} \gamma_{\beta}\ </math>

using the convention <math>\varepsilon^{0 1 2 3} = 1 ~.</math> Proof:

This can be seen by exploiting the fact that all the four gamma matrices anticommute, so

<math> \gamma^0 \gamma^1 \gamma^2 \gamma^3 = \gamma^{[0} \gamma^1 \gamma^2 \gamma^{3]} = \tfrac{1}{4!} \delta^{0123}_{\mu\nu\varrho\sigma} \gamma^\mu \gamma^\nu \gamma^\varrho \gamma^\sigma\ ,</math>

where <math>\delta^{\alpha\beta\gamma\delta}_{\mu\nu\varrho\sigma}</math> is the type (4,4) generalized Kronecker delta in 4 dimensions, in full antisymmetrization. If <math>\ \varepsilon_{\alpha \dots \beta}\ </math> denotes the Levi-Civita symbol in Шаблон:Mvar dimensions, we can use the identity <math> \delta^{\alpha\beta\gamma\delta}_{\mu\nu\varrho \sigma} = \varepsilon^{\alpha\beta\gamma\delta} \varepsilon_{\mu\nu\varrho\sigma} </math>. Then we get, using the convention <math>\ \varepsilon^{0123} = 1\ ,</math>

<math>\ \gamma^5 = i\gamma^0\gamma^1\gamma^2\gamma^3 = \frac{i}{4!} \varepsilon^{0123}\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</math>

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:

<math>\ \psi_{\mathrm L} = \frac{\ I - \gamma^5\ }{2}\ \psi, \qquad \psi_{\mathrm R} = \frac{\ I + \gamma^5\ }{2}\ \psi ~.</math>

Some properties are:

  • It is Hermitian:
    <math>\left(\gamma^5\right)^\dagger = \gamma^5 ~.</math>
  • Its eigenvalues are ±1, because:
    <math>\left(\gamma^5\right)^2 = I_4 ~.</math>
  • It anticommutes with the four gamma matrices:
    <math>\left\{ \gamma^5,\gamma^\mu \right\} = \gamma^5 \gamma^\mu + \gamma^\mu \gamma^5 = 0 ~.</math>

In fact, <math>\ \psi_{\mathrm L}\ </math> and <math>\ \psi_{\mathrm R}\ </math> are eigenvectors of <math>\ \gamma^5\ </math> since

<math>\gamma^5 \psi_{\mathrm L} = \frac{\ \gamma^5 - \left(\gamma^5\right)^2\ }{2} \psi = - \psi_{\mathrm L}\ ,</math> and <math> \gamma^5 \psi_{\mathrm R} = \frac{\ \gamma^5 + \left(\gamma^5\right)^2\ }{2} \psi = \psi_{\mathrm R} ~.</math>

Five dimensions

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.Шаблон:SfnШаблон:Rp Thus, one can employ a bit of a trick to repurpose Шаблон:Math as one of the generators of the Clifford algebra in five dimensions. In this case, the set Шаблон:Math therefore, by the last two properties (keeping in mind that Шаблон:Math) and those of the ‘old’ gammas, forms the basis of the Clifford algebra in Шаблон:Math spacetime dimensions for the metric signature Шаблон:Math.Шаблон:Efn .Шаблон:SfnШаблон:Rp In metric signature Шаблон:Math, the set Шаблон:Math is used, where the Шаблон:Math are the appropriate ones for the Шаблон:Math signature.Шаблон:Sfn This pattern is repeated for spacetime dimension Шаблон:Math even and the next odd dimension Шаблон:Math for all Шаблон:Math.Шаблон:SfnШаблон:Rp For more detail, see higher-dimensional gamma matrices.

Identities

The following identities follow from the fundamental anticommutation relation, so they hold in any basis (although the last one depends on the sign choice for <math>\gamma^5</math>).

Miscellaneous identities

1. <math>\gamma^\mu\gamma_\mu = 4 I_4</math>

2. <math>\gamma^\mu\gamma^\nu\gamma_\mu = -2\gamma^\nu</math>

3. <math>\gamma^\mu\gamma^\nu\gamma^\rho\gamma_\mu = 4\eta^{\nu\rho} I_4</math>

4. <math>\gamma^\mu\gamma^\nu\gamma^\rho\gamma^\sigma\gamma_\mu = -2\gamma^\sigma\gamma^\rho\gamma^\nu</math>

5. <math>\gamma^\mu\gamma^\nu\gamma^\rho = \eta^{\mu\nu}\gamma^\rho + \eta^{\nu\rho}\gamma^\mu - \eta^{\mu\rho}\gamma^\nu - i\epsilon^{\sigma\mu\nu\rho}\gamma_\sigma\gamma^5</math>

6. <math>\gamma^5\sigma^{\nu\rho} = \tfrac{i}{2} \epsilon^{\sigma\mu\nu\rho} \sigma_{\sigma\mu}\ ,</math> where <math>\ \sigma_{\mu\nu} = \tfrac{i}{2} [\gamma_{\mu},\gamma_{\nu}] = \tfrac{i}{2}(\gamma_{\mu}\gamma_{\nu}-\gamma_{\nu}\gamma_{\mu}) \ </math>

Trace identities

The gamma matrices obey the following trace identities: Шаблон:Ordered list

Proving the above involves the use of three main properties of the trace operator:

  • tr(A + B) = tr(A) + tr(B)
  • tr(rA) = r tr(A)
  • tr(ABC) = tr(CAB) = tr(BCA)

Normalization

The gamma matrices can be chosen with extra hermiticity conditions which are restricted by the above anticommutation relations however. We can impose

<math>\left( \gamma^0 \right)^\dagger = \gamma^0 </math>, compatible with <math>\left( \gamma^0 \right)^2 = I_4</math>

and for the other gamma matrices (for Шаблон:Nowrap)

<math>\left( \gamma^k \right)^\dagger = -\gamma^k </math>, compatible with <math>\left( \gamma^k \right)^2 = -I_4.</math>

One checks immediately that these hermiticity relations hold for the Dirac representation.

The above conditions can be combined in the relation

<math>\left( \gamma^\mu \right)^\dagger = \gamma^0 \gamma^\mu \gamma^0. </math>

The hermiticity conditions are not invariant under the action <math>\gamma^\mu \to S(\Lambda) \gamma^\mu {S(\Lambda)}^{-1}</math> of a Lorentz transformation <math>\Lambda</math> because <math>S(\Lambda)</math> is not necessarily a unitary transformation due to the non-compactness of the Lorentz group.Шаблон:Citation needed

Charge conjugation

The charge conjugation operator, in any basis, may be defined as

<math>C\gamma_\mu C^{-1} = -(\gamma_\mu)^\textsf{T}</math>

where <math>(\cdot)^\textsf{T}</math> denotes the matrix transpose. The explicit form that <math>C</math> takes is dependent on the specific representation chosen for the gamma matrices, up to an arbitrary phase factor. This is because although charge conjugation is an automorphism of the gamma group, it is not an inner automorphism (of the group). Conjugating matrices can be found, but they are representation-dependent.

Representation-independent identities include:

<math>\begin{align}

C\gamma_5 C^{-1} &= +(\gamma_5)^\textsf{T} \\ C\sigma_{\mu\nu} C^{-1} &= -(\sigma_{\mu\nu})^\textsf{T} \\ C\gamma_5\gamma_\mu C^{-1} &= +(\gamma_5\gamma_\mu)^\textsf{T} \\ \end{align}</math> The charge conjugation operator is also unitary <math>C^{-1}=C^\dagger</math>, while for <math>\mathrm{Cl}_{1,3}(\mathbb{R})</math> it also holds that <math>C^T = -C</math> for any representation. Given a representation of gamma matrices, the arbitrary phase factor for the charge conjugation operator can also be chosen such that <math> C^\dagger = -C</math>, as is the case for the four representations given below (Dirac, Majorana and both chiral variants).

Feynman slash notation

The Feynman slash notation is defined by

<math>{a\!\!\!/} := \gamma^\mu a_\mu </math>

for any 4-vector <math>a</math>.

Here are some similar identities to the ones above, but involving slash notation:

  • <math>{a\!\!\!/}{b\!\!\!/} = \left[a \cdot b - i a_\mu \sigma^{\mu\nu} b_\nu \right] I_4 </math>
  • <math>{a\!\!\!/}{a\!\!\!/} = \left[ a^\mu a^\nu \gamma_\mu \gamma_\nu \right] I_4 = \left[\tfrac{1}{2} a^\mu a^\nu \left(\gamma_\mu \gamma_\nu + \gamma_\nu \gamma_\mu\right) \right] I_4 = \left[ \eta_{\mu\nu} a^\mu a^\nu \right] I_4 = a^2I_4</math>
  • <math>\operatorname{tr}\left({a\!\!\!/}{b\!\!\!/}\right) = 4 (a \cdot b)</math>
  • <math>\operatorname{tr}\left({a\!\!\!/}{b\!\!\!/}{c\!\!\!/}{d\!\!\!/}\right) = 4 \left[(a \cdot b)(c \cdot d) - (a \cdot c)(b \cdot d) + (a \cdot d)(b \cdot c) \right]</math>
  • <math>\operatorname{tr}\left(\gamma_5 {a\!\!\!/}{b\!\!\!/}\right) = 0</math>
  • <math>\operatorname{tr}\left(\gamma_5 {a\!\!\!/}{b\!\!\!/}{c\!\!\!/}{d\!\!\!/}\right) = -4 i \epsilon_{\mu \nu \rho \sigma} a^\mu b^\nu c^\rho d^\sigma</math>
  • <math>\gamma_\mu {a\!\!\!/} \gamma^\mu = -2 {a\!\!\!/} </math>
  • <math>\gamma_\mu {a\!\!\!/} {b\!\!\!/} \gamma^\mu = 4 (a \cdot b) I_4 </math>
  • <math>\gamma_\mu {a\!\!\!/} {b\!\!\!/} {c\!\!\!/} \gamma^\mu = -2 {c\!\!\!/} {b\!\!\!/} {a\!\!\!/}</math>
    where <math>\epsilon_{\mu \nu \rho \sigma}</math> is the Levi-Civita symbol and <math>\sigma^{\mu\nu} = \tfrac{i}{2} \left[\gamma^\mu, \gamma^\nu\right] ~.</math> Actually traces of products of odd number of <math>\ \gamma\ </math> is zero and thus
  • <math>\operatorname{tr}(a_1\!\!\!\!\!\!/ \,\,\, a_2\!\!\!\!\!\!/ \,\,\,\cdots a_n\!\!\!\!\!\!/\,\,\,) = 0\ </math> for Шаблон:Mvar odd.Шаблон:Sfn

Many follow directly from expanding out the slash notation and contracting expressions of the form <math>\ a_\mu b_\nu c_\rho\ \ldots\ </math> with the appropriate identity in terms of gamma matrices.

Other representations

The matrices are also sometimes written using the 2×2 identity matrix, <math>I_2</math>, and

<math> \gamma^k = \begin{pmatrix} 0 & \sigma^k \\ -\sigma^k & 0 \end{pmatrix} </math>

where k runs from 1 to 3 and the σk are Pauli matrices.

Dirac basis

The gamma matrices we have written so far are appropriate for acting on Dirac spinors written in the Dirac basis; in fact, the Dirac basis is defined by these matrices. To summarize, in the Dirac basis:

<math>\gamma^0 = \begin{pmatrix} I_2 & 0 \\ 0 & -I_2 \end{pmatrix},\quad \gamma^k = \begin{pmatrix} 0 & \sigma^k \\ -\sigma^k & 0 \end{pmatrix},\quad \gamma^5 = \begin{pmatrix} 0 & I_2 \\ I_2 & 0 \end{pmatrix} ~.</math>

In the Dirac basis, the charge conjugation operator is real antisymmetric,Шаблон:SfnШаблон:Rp

<math>

C = i\gamma^2\gamma^0 = \begin{pmatrix} 0 & -i\sigma^2 \\ -i\sigma^2 & 0 \end{pmatrix} 

 = \begin{pmatrix}
     0 & ~~0 & ~~ 0 &  -1 \\
     0 & ~~0 & ~~ 1 & ~~0 \\
     0 &  -1 & ~~ 0 & ~~0 \\
     1 & ~~0 & ~~ 0 & ~~0 
    \end{pmatrix} ~.

</math>

Weyl (chiral) basis

Another common choice is the Weyl or chiral basis, in which <math>\gamma^k</math> remains the same but <math>\gamma^0</math> is different, and so <math>\gamma^5</math> is also different, and diagonal,

<math>\gamma^0 = \begin{pmatrix} 0 & I_2 \\ I_2 & 0 \end{pmatrix},\quad \gamma^k = \begin{pmatrix} 0 & \sigma^k \\ -\sigma^k & 0 \end{pmatrix},\quad \gamma^5 = \begin{pmatrix} -I_2 & 0 \\ 0 & I_2 \end{pmatrix},</math>

or in more compact notation:

<math>
 \gamma^\mu = \begin{pmatrix} 0 & \sigma^\mu \\ \overline{\sigma}^\mu & 0 \end{pmatrix}, \quad
            \sigma^\mu \equiv (1, \sigma^i), \quad
 \overline{\sigma}^\mu \equiv \left(1, -\sigma^i\right).

</math>

The Weyl basis has the advantage that its chiral projections take a simple form,

<math>
 \psi_{\mathrm L} = \tfrac{1}{2}\left(1 - \gamma^5\right)\psi = \begin{pmatrix} I_2 & 0 \\ 0 & 0 \end{pmatrix}\psi, \quad 
 \psi_{\mathrm R} = \tfrac{1}{2}\left(1 + \gamma^5\right)\psi = \begin{pmatrix} 0 & 0 \\ 0 & I_2 \end{pmatrix}\psi ~.

</math>

The idempotence of the chiral projections is manifest.

By slightly abusing the notation and reusing the symbols <math>\psi_{\mathrm L/R}</math> we can then identify

<math>\psi = \begin{pmatrix} \psi_{\mathrm L} \\ \psi_{\mathrm R} \end{pmatrix},</math>

where now <math>\psi_{\mathrm L}</math> and <math>\psi_{\mathrm R}</math> are left-handed and right-handed two-component Weyl spinors.

The charge conjugation operator in this basis is real antisymmetric,

<math>C = i\gamma^2\gamma^0 = \begin{pmatrix} i\sigma^2 & 0 \\ 0 & -i\sigma^2 \end{pmatrix}</math>

The Dirac basis can be obtained from the Weyl basis as

<math>\gamma^\mu_{\mathrm W} = U \gamma^\mu_{\mathrm D} U^\dagger, \quad \psi_{\mathrm W} = U \psi_{\mathrm D}</math>

via the unitary transform

<math>U = \tfrac{1}{\sqrt{2\ }\ } \left(1 + \gamma^5 \gamma^0 \right) = \tfrac{1}{\sqrt{2\ }\ } \begin{pmatrix}I_2 & -I_2 \\I_2 & I_2\end{pmatrix}.</math>

Weyl (chiral) basis (alternate form)

Another possible choiceШаблон:Sfn of the Weyl basis has

<math>\gamma^0 = \begin{pmatrix} 0 & -I_2 \\ -I_2 & 0 \end{pmatrix},\quad \gamma^k = \begin{pmatrix} 0 & \sigma^k \\ -\sigma^k & 0 \end{pmatrix},\quad \gamma^5 = \begin{pmatrix} I_2 & 0 \\ 0 & -I_2 \end{pmatrix}.</math>

The chiral projections take a slightly different form from the other Weyl choice,

<math>\psi_{\mathrm R} = \begin{pmatrix} I_2 & 0 \\0 & 0 \end{pmatrix}\psi,\quad \psi_{\mathrm L} = \begin{pmatrix} 0 & 0 \\0 & I_2 \end{pmatrix}\psi.</math>

In other words,

<math>\psi = \begin{pmatrix} \psi_{\mathrm R} \\\psi_{\mathrm L} \end{pmatrix},</math>

where <math>\psi_{\mathrm L}</math> and <math>\psi_{\mathrm R}</math> are the left-handed and right-handed two-component Weyl spinors, as before.

The charge conjugation operator in this basis is

<math>C = i\gamma^2\gamma^0
        = \begin{pmatrix} -i\sigma^2 & 0 \\ 0 & i\sigma^2 \end{pmatrix} 
 = \begin{pmatrix}
     0 &  -1 & ~~ 0 & ~~0  \\
     1 & ~~0 & ~~ 0 & ~~0  \\
     0 & ~~0 & ~~ 0 & ~~1  \\
     0 & ~~0 &   -1 & ~~0  \\
    \end{pmatrix} ~ = -i\sigma^3\otimes\sigma^2.

</math>

This basis can be obtained from the Dirac basis above as <math>\gamma^\mu_{\mathrm W} = U \gamma^\mu_{\mathrm D} U^\dagger, ~~ \psi_{\mathrm W} = U \psi_{\mathrm D}</math> via the unitary transform

<math>U = \tfrac{1}{\sqrt{2\ }\ }\left(1 - \gamma^5 \gamma^0\right)
        = \tfrac{1}{\sqrt{2\ }\ } \begin{pmatrix} ~~I_2 & I_2 \\ -I_2 & I_2 \end{pmatrix} ~.</math>

Majorana basis

There is also the Majorana basis, in which all of the Dirac matrices are imaginary, and the spinors and Dirac equation are real. Regarding the Pauli matrices, the basis can be written as

<math>\begin{align}
 \gamma^0 &= \begin{pmatrix} 0 & \sigma^2 \\ \sigma^2 & 0 \end{pmatrix}\ , ~&
   \gamma^1 &= \begin{pmatrix} i\sigma^3 & 0 \\ 0 & i\sigma^3 \end{pmatrix}\ , ~&
   \gamma^2 &= \begin{pmatrix} 0 & -\sigma^2 \\ \sigma^2 & 0 \end{pmatrix},\\
 \gamma^3 &= \begin{pmatrix} -i\sigma^1 & 0 \\ 0 & -i\sigma^1 \end{pmatrix}\ , ~&
   \gamma^5 &= \begin{pmatrix} \sigma^2 & 0 \\ 0 & -\sigma^2 \end{pmatrix}\ , ~&
 C &= \begin{pmatrix} 0 & -i\sigma^2 \\ -i\sigma^2 & 0 \end{pmatrix}\ ,

\end{align}</math> where <math>C</math> is the charge conjugation matrix, which matches the Dirac version defined above.

The reason for making all gamma matrices imaginary is solely to obtain the particle physics metric Шаблон:Nowrap, in which squared masses are positive. The Majorana representation, however, is real. One can factor out the <math>\ i\ </math> to obtain a different representation with four component real spinors and real gamma matrices. The consequence of removing the <math>\ i\ </math> is that the only possible metric with real gamma matrices is Шаблон:Nowrap.

The Majorana basis can be obtained from the Dirac basis above as <math>\gamma^\mu_{\mathrm M} = U \gamma^\mu_{\mathrm D} U^\dagger, ~~ \psi_{\mathrm M} = U \psi_{\mathrm D}</math> via the unitary transform

<math>U = U^\dagger = \tfrac{1}{\sqrt{2\ }\ } \begin{pmatrix}I_2 & \sigma^2 \\\sigma^2 & -I_2\end{pmatrix} ~.</math>

Cl1,3(C) and Cl1,3(R)

Шаблон:Summary style The Dirac algebra can be regarded as a complexification of the real algebra Cl1,3(<math>\mathbb{R}</math>), called the space time algebra:

<math> \mathrm{Cl}_{1,3}(\mathbb{C}) = \mathrm{Cl}_{1,3}(\mathbb{R}) \otimes \mathbb{C} </math>

Cl1,3(<math>\mathbb{R}</math>) differs from Cl1,3(<math>\mathbb{C}</math>): in Cl1,3(<math>\mathbb{R}</math>) only real linear combinations of the gamma matrices and their products are allowed.

Two things deserve to be pointed out. As Clifford algebras, Cl1,3(<math>\mathbb{C}</math>) and Cl4(<math>\mathbb{C}</math>) are isomorphic, see classification of Clifford algebras. The reason is that the underlying signature of the spacetime metric loses its signature (1,3) upon passing to the complexification. However, the transformation required to bring the bilinear form to the complex canonical form is not a Lorentz transformation and hence not "permissible" (at the very least impractical) since all physics is tightly knit to the Lorentz symmetry and it is preferable to keep it manifest.

Proponents of geometric algebra strive to work with real algebras wherever that is possible. They argue that it is generally possible (and usually enlightening) to identify the presence of an imaginary unit in a physical equation. Such units arise from one of the many quantities in a real Clifford algebra that square to −1, and these have geometric significance because of the properties of the algebra and the interaction of its various subspaces. Some of these proponents also question whether it is necessary or even useful to introduce an additional imaginary unit in the context of the Dirac equation.Шаблон:SfnШаблон:Rp

In the mathematics of Riemannian geometry, it is conventional to define the Clifford algebra Clp,q(<math>\mathbb{R}</math>) for arbitrary dimensions Шаблон:Math. The Weyl spinors transform under the action of the spin group <math>\mathrm{Spin}(n)</math>. The complexification of the spin group, called the spinc group <math>\mathrm{Spin}^\mathbb{C}(n)</math>, is a product <math>\mathrm{Spin}(n)\times_{\mathbb{Z}_2} S^1</math> of the spin group with the circle <math>S^1 \cong U(1).</math> The product <math>\times_{\mathbb{Z}_2}</math> just a notational device to identify <math>(a,u)\in \mathrm{Spin}(n)\times S^1</math> with <math>(-a, -u).</math> The geometric point of this is that it disentangles the real spinor, which is covariant under Lorentz transformations, from the <math>U(1)</math> component, which can be identified with the <math>\mathrm{U}(1)</math> fiber of the electromagnetic interaction. The <math>\times_{\mathbb{Z}_2}</math> is entangling parity and charge conjugation in a manner suitable for relating the Dirac particle/anti-particle states (equivalently, the chiral states in the Weyl basis). The bispinor, insofar as it has linearly independent left and right components, can interact with the electromagnetic field. This is in contrast to the Majorana spinor and the ELKO spinor (Eigenspinoren des Ladungskonjugationsoperators), which cannot (i.e. they are electrically neutral), as they explicitly constrain the spinor so as to not interact with the <math>S^1</math> part coming from the complexification. The ELKO spinor is a Lounesto class 5 spinor.Шаблон:SfnШаблон:Rp

However, in contemporary practice in physics, the Dirac algebra rather than the space-time algebra continues to be the standard environment the spinors of the Dirac equation "live" in.

Other representation-free properties

The gamma matrices are diagonalizable with eigenvalues <math>\pm 1</math> for <math>\gamma^0</math>, and eigenvalues <math>\pm i</math> for <math>\gamma^i</math>.

In particular, this implies that <math>\gamma^0</math> is simultaneously Hermitian and unitary, while the <math>\gamma^i</math> are simultaneously anti–Hermitian and unitary.

Further, the multiplicity of each eigenvalue is two.

More generally, if <math>\ \gamma^\mu X_\mu\ </math> is not null, a similar result holds. For concreteness, we restrict to the positive norm case <math>\ \gamma^\mu p_\mu = p\!\!\! / \ </math> with <math>\ p \cdot p = m^2 > 0 ~.</math> The negative case follows similarly.

It follows that the solution space to <math>\ p\!\!\! / - m = 0\ </math> (that is, the kernel of the left-hand side) has dimension 2. This means the solution space for plane wave solutions to Dirac's equation has dimension 2.

This result still holds for the massless Dirac equation. In other words, if <math>p_\mu</math> null, then <math>p\!\!\! /</math> has nullity 2.

Euclidean Dirac matrices

In quantum field theory one can Wick rotate the time axis to transit from Minkowski space to Euclidean space. This is particularly useful in some renormalization procedures as well as lattice gauge theory. In Euclidean space, there are two commonly used representations of Dirac matrices:

Chiral representation

<math>\gamma^{1, 2, 3} = \begin{pmatrix}
    0 &  i\sigma^{1, 2, 3} \\
   -i\sigma^{1, 2, 3} & 0 
 \end{pmatrix}, \quad
 \gamma^4 = \begin{pmatrix}
     0 & I_2 \\
   I_2 & 0
 \end{pmatrix}

</math>

Notice that the factors of <math>i</math> have been inserted in the spatial gamma matrices so that the Euclidean Clifford algebra

<math>\left\{\gamma^\mu, \gamma^\nu \right\} = 2\delta^{\mu\nu} I_4</math>

will emerge. It is also worth noting that there are variants of this which insert instead <math>-i</math> on one of the matrices, such as in lattice QCD codes which use the chiral basis.

In Euclidean space,

<math>\gamma_{\mathrm M}^5 = i \left(\gamma^0\gamma^1\gamma^2\gamma^3\right)_{\mathrm M} = \tfrac{1}{i^2} \left(\gamma^4\gamma^1\gamma^2\gamma^3 \right)_{\mathrm E} = \left(\gamma^1\gamma^2\gamma^3\gamma^4\right)_{\mathrm E} = \gamma^5_{\mathrm E} ~.</math>

Using the anti-commutator and noting that in Euclidean space <math>\left(\gamma^\mu\right)^\dagger = \gamma^\mu</math>, one shows that

<math>\left( \gamma^5 \right)^\dagger = \gamma^5</math>

In chiral basis in Euclidean space,

<math>\gamma^5 = \begin{pmatrix} -I_2 & 0\\ 0 & I_2 \end{pmatrix}</math>

which is unchanged from its Minkowski version.

Non-relativistic representation

<math>\gamma^{1,2,3} = \begin{pmatrix} 0 & -i \sigma^{1,2,3} \\ i \sigma^{1,2,3} & 0 \end{pmatrix}\ , \quad

\gamma^4 = \begin{pmatrix} I_2 & 0 \\ 0 & -I_2 \end{pmatrix}, \quad \gamma^5 = \begin{pmatrix} 0 & -I_2 \\ -I_2 & 0 \end{pmatrix} </math>

Footnotes

Шаблон:Notelist

See also

Шаблон:Portal

Citations

Шаблон:Reflist

References

Шаблон:Refbegin

Шаблон:Refend

External links

Шаблон:Matrix classes

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Gamma_matrices&oldid=14847952