ガンマ行列

**ガンマ行列**（ガンマぎょうれつ、）、あるいは**ディラック行列**（ディラックぎょうれつ、）とは、反交換関係

によって定義される行列の組。場の理論におけるディラック場の記述に応用される。物理学者ポール・ディラックが相対論的な波動方程式としてディラック方程式を導く際に導入した。

## 定義
ガンマ行列  は以下の反交換関係を満たす行列の組として定義される。

ここで  は  次元時空の添え字で、 は時空の計量で、この場合  である。 は単位行列で、この式が行列としての等式であることを明示しているが、しばしば省略される。行列を成分で書けば、

となる。行列の添え字は （ が偶数の場合は 、奇数の場合は  の範囲を動く。また、重複して現れる添え字についてはアインシュタインの規約に従い、和をとるものとする。

時空の添え字の上げ下げは、計量によって行われる。

ここで  は空間成分である。（以下同じ）

## 性質
### 基本的性質
定義より、

が成り立つ。

また、ガンマ行列同士の積から生成される項は、上記の性質から

のいずれかの形に帰着される。この中で互いに異なる項は2d個となる。

### エルミート性
\gamma^0 は固有値  であり、\gamma^j は固有値  である。従ってエルミート共役に対して、

が成り立つような行列で表示することができる。つまり、\gamma^0 はエルミート行列、\gamma^j は反エルミート行列になるように表示することができる。このような表示をしたとき、まとめて

と表すことができる。一般にエルミート性は持たないことに注意されたい。

### トレース
ガンマ行列のトレースはゼロとなる。

### 縮約公式
ガンマ行列の縮約については、以下が成り立つ。

より高次の縮約公式についても
 \gamma_\mu
 =2\gamma^{\nu_{r+1}} \gamma^{\nu_1} \cdots \gamma^{\nu_r}
 -(\gamma^\mu \gamma^{\nu_1} \cdots \gamma^{\nu_r} \gamma_\mu) \gamma^{\nu_{r+1}}
}}
として帰納的に求められる。

## ローレンツ変換
ガンマ行列により

で定義される行列  を考える。このとき

は次のローレンツ代数（ローレンツ変換のリー代数）を満たす。

## 4次元時空でのガンマ行列
4次元時空では、ガンマ行列は相対論的な場の理論に応用される。4次元時空ではガンマ行列は 4&times;4 行列で書ける。

### 基本的性質
4次元時空では \{ \gamma^{\mu} \}_{\mu=0,1,2,3} 同士の積から生成される 24 = 16 個の元

:\mathbf{1},
:\gamma^0, i\gamma^1, i\gamma^2, i\gamma^3,
:\gamma^0 \gamma^1, \gamma^0 \gamma^2, \gamma^0 \gamma^3, i \gamma^2 \gamma^3, i \gamma^3 \gamma^1, i \gamma^1 \gamma^2, 
:\gamma^1 \gamma^2 \gamma^3, i \gamma^0 \gamma^2 \gamma^3, i\gamma^0 \gamma^1 \gamma^3, i \gamma^0 \gamma^1 \gamma^2, 
:\gamma_5=i\gamma^0 \gamma^1 \gamma^2 \gamma^3

が一次独立となる。これらを \{ \Gamma_A \}_{A=1,\cdots,16} と表したとき、各 \Gamma_A は \Gamma_A^{\, 2}= \mathbf{1}  及び \operatorname{Tr}\Gamma_A=0 を満たす。

16個の\Gamma_A が一次独立であることから、\{ \gamma^{\mu} \}を行列表現するには、少なくとも16個の成分を持つ4×4行列が必要となる。特に4×4行列による表現は既約表現であり、\{ \gamma^{\mu} \}と\{ \gamma'^{\mu} \}を異なる4×4行列による表現の組とすると、正則行列Sが存在し、\gamma'^{\mu}=S\gamma^{\mu}S^{-1} の関係が成り立つ。

また、\{ \gamma^{\mu} \}を4×4行列で表現した場合、任意の4×4行列Xは、X=\sum_{A}x_A \Gamma_Aと、\{ \Gamma_A \}の一次結合で表すことができる。ここで、展開係数はx_A=\operatorname{Tr}(X \Gamma_A)/4で与えられる。

### カイラリティー
カイラリティー \gamma_5 は

によって定義される行列である。高次元時空における第5成分とは関係が無い。

\gamma_5 の固有値は ±1 である。
固有値 +1 に属する部分空間を右手型 (right-handed, RH)、或いは右巻きと呼び、&minus;1 を左手型 (left-handed, LH)、或いは左巻きと呼ぶ。

射影演算子

を定義すると、

によって、ディラックスピノル  を右手型、左手型の成分に分解できる。

文献によっては \gamma_5 の定義で符号が逆の場合もあるが、そのときも固有値+1が右手、&minus;1が左手である。

### 変換性
ディラックスピノル  のディラック共役  とガンマ行列によって構成される双線型形式  は、次のように、離散対称性（パリティ変換、時間反転）を含む広義のローレンツ変換の下で、スカラー、ベクトル、反対称テンソル、擬ベクトル、擬スカラーとして変換性をもつ。

### ディラック表現
ディラック表現において、\gamma^\mu、\gamma_5、及び\sigma^{\mu\nu}は

となる。ここで \sigma_j (*j* = 1, 2, 3) はパウリ行列、1, 0 はそれぞれ 2 次の単位行列、零行列である。

ディラック表現は次の直積表現
に相当する。

### カイラル（ワイル）表現
カイラル表現、或いはワイル表現において、\gamma^\mu、\gamma_5、および\sigma^{\mu\nu}は

となる。

カイラル表現では、\gamma_5 (カイラリティー)が対角化されており、射影演算子は

となる。つまり、左右の成分が上下2成分ずつに分かれた表示である。

カイラル表現は次の直積表現に相当する。

カイラル表現とディラック表現は次の相似変換で結ばれる。
:
\gamma^{\mu}_{\operatorname{chiral}} =U \, \gamma^{\mu}_{\operatorname{Dirac}}
\, U^{\dagger} 
, \quad
U = \frac{1}{\sqrt{2}}(1-\gamma_5 \gamma_0)
  = \frac{1}{\sqrt{2}} 
\begin{bmatrix}
 1 & 1 \\
 -1 & 1 \\
\end{bmatrix}


### マヨラナ表現
マヨラナ表現では、ガンマ行列は全て純虚数になるように選択される。具体的に\gamma^\mu および \gamma_5 は
:\gamma^0=
\begin{bmatrix}
 0 & \sigma_2 \\
 \sigma_2 & 0 \\
\end{bmatrix}
,\quad
\gamma^1=
\begin{bmatrix}
 i\sigma_3 & 0 \\
 0 & i\sigma_3 \\
\end{bmatrix}
,\quad
\gamma^2=
\begin{bmatrix}
 0 & -\sigma_2 \\
 \sigma_2 & 0 \\
\end{bmatrix}
,\quad
\gamma^3=
\begin{bmatrix}
 -i\sigma_1 & 0 \\
 0 & -i\sigma_1 \\
\end{bmatrix}
,\quad
\gamma_5=
\begin{bmatrix}
 \sigma_2 & 0 \\
 0 & -\sigma_2 \\
\end{bmatrix}

となる。

マヨラナ表現においてディラック方程式は実数で構成される。

マヨラナ表現は次の直積表現に相当する。
:
\gamma^0 = \sigma_1 \otimes \sigma_2, \quad
\gamma^1 = i 1 \otimes \sigma_3, \quad
\gamma^2 = -i\sigma_2 \otimes \sigma_2, \quad
\gamma^3 = -i1 \otimes \sigma_1, \quad
\gamma_5 =  \sigma_3 \otimes \sigma_2


また、マヨラナ表現とディラック表現は次の相似変換で結ばれる。
:
\gamma^{\mu}_{\operatorname{majorana}} =U \, \gamma^{\mu}_{\operatorname{Dirac}}\, U^{\dagger} 
, \quad
U = U^{\dagger}
  = \frac{1}{\sqrt{2}} 
\begin{bmatrix}
 1 & \sigma_2 \\
 \sigma_2 &  -1 \\
\end{bmatrix}


## ファインマンのスラッシュ記法
リチャード・ファインマンによって導入された記法を用いて、時空の添え字をもつベクトル量  に対して
:p\!\!\!/ \equiv \gamma^\mu p_\mu = \gamma_\mu p^\mu
と略記することがある。

## 脚注
### 注

### 出典

## 参考文献

* R. H. Good, Jr., "Properties of the Dirac Matrices," *Rev. Mod. Phys.*,**27** 187 (1955)　
* Claude Itzykson and Jean-Bernard Zuber, *Quantum Field Theory*, McGraw-Hill (1986), Dover Publications (2005 republication) ISBN 978-0486445687
* Silvan S. Schweber, *An Introduction to Relativistic Quantum Field Theory*, Harper & Row (1961),  Dover Publications (2005 republication) ISBN 978-0486442280

## 関連項目
* 場の量子論 - ディラック場
* クリフォード代数
* パウリ行列