ガンマ行列
ガンマ行列(ガンマぎょうれつ、gamma matrices)、あるいはディラック行列(ディラックぎょうれつ、Dirac matrices)とは、反交換関係
2g^{\mu\nu}
によって定義される行列の組。場の理論におけるディラック場の記述に応用される。物理学者ポール・ディラックが相対論的な波動方程式としてディラック方程式を導く際に導入した。
ガンマ行列 γμ は以下の反交換関係を満たす行列の組として定義される。
\gamma^\mu\gamma^\nu+\gamma^\nu\gamma^\mu
=2g^{\mu\nu} \mathbf{1}
ここで μ,ν  0, 1, 2, …, d − 1 は d 次元時空の添え字で、g は時空の計量で、この場合 g  diag(+1, −1, −1, …, −1) である。1 は単位行列で、この式が行列としての等式であることを明示しているが、しばしば省略される。行列を成分で書けば、
(\gamma^\mu)_a{}^c(\gamma^\nu)_c{}^b
+(\gamma^\mu)_a{}^c(\gamma^\nu)_c{}^b
=2g^{\mu\nu} \delta_a^b
となる。行列の添え字は a, b  1, …, 2k(d が偶数の場合は k  d/2、奇数の場合は k  (d + 1)/2 の範囲を動く。また、重複して現れる添え字についてはアインシュタインの規約に従い、和をとるものとする。
時空の添え字の上げ下げは、計量によって行われる。
g_{\mu\nu} \gamma^\nu,~
\gamma^\mu = g^{\mu\nu} \gamma_\nu
\gamma^0,~
\gamma_j = -\gamma^j
ここで j  1, …, d − 1 は空間成分である。(以下同じ)
定義より、
1,~
(\gamma^j)^2 = -1
-\gamma^\nu \gamma^\mu
\quad (\mu \neq \nu)
が成り立つ。
また、ガンマ行列同士の積から生成される項は、上記の性質から
1, \gamma^\mu, \gamma^{\mu_1}\gamma^{\mu_2},
\gamma^{\mu_1}\gamma^{\mu_2}\gamma^{\mu_3}, \ldots,
\gamma^{\mu_1}\gamma^{\mu_2}\cdots\gamma^{\mu_d}
\quad (\mu_1 \neq \mu_2 \neq \cdots \neq \mu_d)
のいずれかの形に帰着される。この中で互いに異なる項は2d個となる。
\gamma^0 は固有値 ±1 であり、\gamma^j は固有値 ±i である。従ってエルミート共役に対して、
\gamma^0,~
(\gamma^j)^\dagger = -\gamma^j
が成り立つような行列で表示することができる。つまり、\gamma^0 はエルミート行列、\gamma^j は反エルミート行列になるように表示することができる。このような表示をしたとき、まとめて
\gamma^0\gamma^\mu\gamma^0
と表すことができる。一般にエルミート性は持たないことに注意されたい。
ガンマ行列のトレースはゼロとなる。
0
ガンマ行列の縮約については、以下が成り立つ。
d
(2-d)\gamma^\nu
4g^{\nu\rho} -(4-d)\gamma^\nu \gamma^\rho
-2\gamma^\sigma \gamma^\rho \gamma^\nu
+(4-d)\gamma^\nu \gamma^\rho \gamma^\sigma
\gamma^\mu \gamma^{\nu_1} \cdots \gamma^{\nu_r} \gamma^{\nu_{r+1 \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}
}
として帰納的に求められる。
\frac{i}{2}(\gamma^\mu \gamma^\nu -\gamma^\nu \gamma^\mu)
で定義される行列 σμν を考える。このとき
\frac{1}{2}\sigma_{\mu\nu}
はローレンツ代数を満たす。
i(
-g_{\mu\rho}S_{\nu\sigma}
+g_{\nu\rho}S_{\mu\sigma}
+g_{\mu\sigma}S_{\nu\rho}
-g_{\nu\sigma}S_{\mu\rho})
4次元時空では、ガンマ行列は相対論的な場の理論に応用される。4次元時空ではガンマ行列は 4×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 は
-i\gamma_0\gamma_1\gamma_2\gamma_3
によって定義される行列である。高次元時空における第5成分とは関係が無い。
1,~
(\gamma_5)^\dagger=\gamma_5
-\gamma^\mu \gamma_5
\gamma_5 の固有値は ±1 である。
固有値 +1 に属する部分空間を右手型 (right-handed, RH)、或いは右巻きと呼び、−1 を左手型 (left-handed, LH)、或いは左巻きと呼ぶ。
P_L \equiv \frac{1-\gamma_5}{2},~
P_R \equiv \frac{1+\gamma_5}{2}
を定義すると、
P_L\psi,~
\psi_R =P_R\psi
\psi_L+\psi_R
によって、ディラックスピノル ψ を右手型、左手型の成分に分解できる。
文献によっては \gamma_5 の定義で符号が逆の場合もあるが、そのときも固有値+1が右手、−1が左手である。
ディラックスピノル ψ のディラック共役 ψ  ψ†γ0 とガンマ行列によって構成される双線型形式 ψAψ は、次のように、離散対称性(パリティ変換、時間反転)を含む広義のローレンツ変換の下で、スカラー、ベクトル、反対称テンソル、擬ベクトル、擬スカラーとして変換性をもつ。
ディラック表現において、\gamma^\mu、\gamma_5、及び\sigma^{\mu\nu}は
\begin{bmatrix}
1 & 0 \\
0 & -1 \\
\end{bmatrix},~
\gamma^j =
\begin{bmatrix}
0 & \sigma_j \\
-\sigma_j & 0 \\
\end{bmatrix},~
\gamma_5 =
\begin{bmatrix}
0 & 1 \\
1 & 0 \\
\end{bmatrix},~
\sigma^{0j} =
\begin{bmatrix}
0 & i\sigma_j \\
i\sigma_j & 0 \\
\end{bmatrix},~
\sigma^{jk} = \epsilon_{ijk}
\begin{bmatrix}
\sigma_i & 0\\
0 & \sigma_i \\
\end{bmatrix}
となる。ここで \sigma_j (j = 1, 2, 3) はパウリ行列、1, 0 はそれぞれ 2 次の単位行列、零行列である。
に相当する。
\sigma_3 \otimes 1,~
\gamma^j = i\sigma_2 \otimes \sigma_j,~
\gamma_5 = \sigma_1 \otimes 1,~
\sigma^{0j} = i\sigma_1 \otimes \sigma_j,~
\sigma^{jk} = 1 \otimes \epsilon_{ijk} \sigma_i
カイラル表現、或いはワイル表現において、\gamma^\mu、\gamma_5、および\sigma^{\mu\nu}は
\begin{bmatrix}
0 & 1 \\
1 & 0 \\
\end{bmatrix},~
\gamma^j =
\begin{bmatrix}
0 & \sigma_j \\
-\sigma_j & 0 \\
\end{bmatrix},~
\gamma_5 =
\begin{bmatrix}
-1 & 0 \\
0 & 1 \\
\end{bmatrix},~
\sigma^{0j} =
\begin{bmatrix}
-i\sigma_j & 0 \\
0 & i\sigma_j \\
\end{bmatrix},~
\sigma^{jk} =
\epsilon_{ijk}
\begin{bmatrix}
\sigma_i & 0 \\
0 & \sigma_i \\
\end{bmatrix}
となる。
カイラル表現では、\gamma_5 (カイラリティー)が対角化されており、射影演算子は
\begin{bmatrix}
1 & 0 \\
0 & 0 \\
\end{bmatrix},~
P_R=
\begin{bmatrix}
0 & 0 \\
0 & 1 \\
\end{bmatrix}
となる。つまり、左右の成分が上下2成分ずつに分かれた表示である。
\begin{bmatrix}
\xi \\ \bar{\eta} \\
\end{bmatrix}
\begin{bmatrix}
\xi \\ 0 \\
\end{bmatrix}
,~
\psi_R=
\begin{bmatrix}
0 \\ \bar{\eta} \\
\end{bmatrix}
カイラル表現は次の直積表現に相当する。
\sigma_1 \otimes 1,~
\gamma^j = i\sigma_2 \otimes \sigma_j,~
\gamma_5 = -\sigma_3 \otimes 1,~
\sigma^{0j} = -i\sigma_3 \otimes \sigma_j,~
\sigma^{jk} = 1 \otimes \epsilon_{ijk}\sigma_i
カイラル表現とディラック表現は次の相似変換で結ばれる。
\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μ に対して
p\!\!\!/ \equiv \gamma^\mu p_\mu = \gamma_\mu p^\mu
と略記することがある。