ガンマ行列

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

[math]\{ \gamma^\mu, \gamma^\nu \} = 2g^{\mu\nu}[/math]

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

定義

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

[math]\{ \gamma^\mu, \gamma^\nu \} = \gamma^\mu\gamma^\nu+\gamma^\nu\gamma^\mu =2g^{\mu\nu} \mathbf{1}[/math]

ここで μ,ν = 0, 1, 2, …, d − 1 は d 次元時空の添え字で、g は時空の計量で、この場合 g = diag(+1, −1, −1, …, −1) である。1 は単位行列で、この式が行列としての等式であることを明示しているが、しばしば省略される。行列を成分で書けば、

[math]\{\gamma^\mu,\gamma^\nu\}_a{}^b =(\gamma^\mu)_a{}^c(\gamma^\nu)_c{}^b +(\gamma^\mu)_a{}^c(\gamma^\nu)_c{}^b =2g^{\mu\nu} \delta_a^b[/math]

となる。行列の添え字は a, b = 1, …, 2^k（d が偶数の場合は k = d/2、奇数の場合は k = (d + 1)/2 の範囲を動く。また、重複して現れる添え字についてはアインシュタインの規約に従い、和をとるものとする。

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

[math]\gamma_\mu = g_{\mu\nu} \gamma^\nu,~ \gamma^\mu = g^{\mu\nu} \gamma_\nu[/math]

[math]\gamma_0 = \gamma^0,~ \gamma_j = -\gamma^j[/math]

ここで j = 1, …, d − 1 は空間成分である。（以下同じ）

性質

基本的性質

定義より、

[math](\gamma^0)^2 = 1,~ (\gamma^j)^2 = -1[/math]

[math]\gamma^\mu \gamma^\nu = -\gamma^\nu \gamma^\mu \quad (\mu \neq \nu)[/math]

が成り立つ。

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

[math]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) [/math]

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

エルミート性

[math]\gamma^0[/math] は固有値 ±1 であり、[math]\gamma^j[/math] は固有値 ±i である。従ってエルミート共役に対して、

[math](\gamma^0)^\dagger = \gamma^0,~ (\gamma^j)^\dagger = -\gamma^j[/math]

が成り立つ。つまり、[math]\gamma^0[/math] はエルミート行列、[math]\gamma^j[/math] は反エルミート行列である。これらをまとめて

[math](\gamma^\mu)^\dagger = \gamma^0\gamma^\mu\gamma^0[/math]

と表すことができる。

トレース

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

[math]\operatorname{Tr}\gamma^\mu =0[/math]

縮約公式

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

[math]\gamma^\mu \gamma_\mu = d[/math]

[math]\gamma^\mu \gamma^\nu \gamma_\mu = (2-d)\gamma^\nu[/math]

[math]\gamma^\mu \gamma^\nu \gamma^\rho \gamma_\mu = 4g^{\nu\rho} -(4-d)\gamma^\nu \gamma^\rho[/math]

[math]\gamma^\mu \gamma^\nu \gamma^\rho \gamma^\sigma \gamma_\mu =-2\gamma^\sigma \gamma^\rho \gamma^\nu +(4-d)\gamma^\nu \gamma^\rho \gamma^\sigma[/math]

より高次の縮約公式についても

[math]\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}}[/math]

として帰納的に求められる。

ローレンツ変換

ガンマ行列により

[math]\sigma^{\mu\nu} \equiv \frac{i}{2}[\gamma^\mu, \gamma^\nu] = \frac{i}{2}(\gamma^\mu \gamma^\nu -\gamma^\nu \gamma^\mu)[/math]

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

[math]S_{\mu\nu} = \frac{1}{2}\sigma_{\mu\nu}[/math]

はローレンツ代数を満たす。

[math][S_{\mu\nu}, S_{\rho\sigma}] = 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})[/math]

4次元時空でのガンマ行列

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

基本的性質

4次元時空では [math]\{ \gamma^{\mu} \}_{\mu=0,1,2,3}[/math] 同士の積から生成される 2⁴ = 16 個の元

[math]\mathbf{1},[/math]

[math]\gamma^0, i\gamma^1, i\gamma^2, i\gamma^3,[/math]

[math]\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, [/math]

[math]\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, [/math]

[math]\gamma_5=i\gamma^0 \gamma^1 \gamma^2 \gamma^3[/math]

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

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

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

カイラリティー

カイラリティー [math]\gamma_5[/math] は

[math]\gamma_5 \equiv i\gamma^0\gamma^1\gamma^2\gamma^3 = -i\gamma_0\gamma_1\gamma_2\gamma_3[/math]

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

[math](\gamma_5)^2 = 1,~ (\gamma_5)^\dagger=\gamma_5[/math]

[math]\gamma_5 \gamma^\mu = -\gamma^\mu \gamma_5[/math]

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

射影演算子

[math]P_L \equiv \frac{1-\gamma_5}{2},~ P_R \equiv \frac{1+\gamma_5}{2}[/math]

を定義すると、

[math]\psi_L = P_L\psi,~ \psi_R =P_R\psi[/math]

[math]\psi=\psi_L+\psi_R[/math]

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

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

変換性

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

双線形形式	変換性	変換則
ψψ	スカラー	[math]\overline{\psi}'(x)\psi'(x) = \overline{\psi}(\Lambda^{-1}x) \psi(\Lambda^{-1}x) [/math]
ψγμψ	ベクトル	[math]\overline{\psi}'(x) \gamma^\mu \psi'(x) = \Lambda^\mu{}_\nu \overline{\psi}(\Lambda^{-1}x) \gamma^\mu \psi(\Lambda^{-1}x)[/math]
ψσμνψ	反対称テンソル	[math]\overline{\psi}'(x) \sigma^{\mu\nu} \psi'(x) = \Lambda^\mu{}_\rho \Lambda^\nu{}_\sigma \overline{\psi}(\Lambda^{-1}x) \sigma^{\rho\sigma} \psi(\Lambda^{-1}x)[/math]
ψγ5γμψ	擬ベクトル	[math]\overline{\psi}'(x) \gamma_5 \gamma^\mu \psi'(x) = \operatorname{det}(\Lambda) \Lambda^\mu{}_\nu \overline{\psi}(\Lambda^{-1}x) \gamma_5 \gamma^\nu \psi(\Lambda^{-1}x)[/math]
ψiγ5ψ	擬スカラー	[math]\overline{\psi}'(x) i\gamma_5 \psi'(x) = \operatorname{det}(\Lambda) \overline{\psi}(\Lambda^{-1}x) i\gamma_5 \psi(\Lambda^{-1}x)[/math]

ディラック表現

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

[math]\gamma^0 = \begin{pmatrix} 1 & 0 \\ 0 & -1 \\ \end{pmatrix},~ \gamma^j = \begin{pmatrix} 0 & \sigma_j \\ -\sigma_j & 0 \\ \end{pmatrix},~ \gamma_5 = \begin{pmatrix} 0 & 1 \\ 1 & 0 \\ \end{pmatrix},~ \sigma^{0j} = \begin{pmatrix} 0 & i\sigma_j \\ i\sigma_j & 0 \\ \end{pmatrix},~ \sigma^{jk} = \epsilon_{ijk} \begin{pmatrix} \sigma_i & 0\\ 0 & \sigma_i \\ \end{pmatrix} [/math]

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

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

[math] \gamma^0 = \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[/math]

カイラル表現

カイラル表現、或いはワイル表現において、[math]\gamma^\mu[/math]、[math]\gamma_5[/math]、および[math]\sigma^{\mu\nu}[/math]は

[math]\gamma^0 = \begin{pmatrix} 0 & 1 \\ 1 & 0 \\ \end{pmatrix},~ \gamma^j = \begin{pmatrix} 0 & \sigma_j \\ -\sigma_j & 0 \\ \end{pmatrix},~ \gamma_5 = \begin{pmatrix} -1 & 0 \\ 0 & 1 \\ \end{pmatrix},~ \sigma^{0j} = \begin{pmatrix} -i\sigma_j & 0 \\ 0 & i\sigma_j \\ \end{pmatrix},~ \sigma^{jk} = \epsilon_{ijk} \begin{pmatrix} \sigma_i & 0 \\ 0 & \sigma_i \\ \end{pmatrix} [/math]

となる。

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

[math]P_L= \begin{pmatrix} 1 & 0 \\ 0 & 0 \\ \end{pmatrix},~ P_R= \begin{pmatrix} 0 & 0 \\ 0 & 1 \\ \end{pmatrix} [/math]

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

[math] \psi= \begin{pmatrix} \xi \\ \bar{\eta} \\ \end{pmatrix} [/math]

[math]\psi_L= \begin{pmatrix} \xi \\ 0 \\ \end{pmatrix} ,~ \psi_R= \begin{pmatrix} 0 \\ \bar{\eta} \\ \end{pmatrix} [/math]

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

[math] \gamma^0 = \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[/math]

カイラル表現とディラック表現は次の相似変換で結ばれる。

[math] \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{pmatrix} 1 & -1 \\ 1 & 1 \\ \end{pmatrix} [/math]

マヨラナ表現

マヨラナ表現において、[math]\gamma^\mu[/math] および [math]\gamma_5[/math] は

[math]\gamma^0= \begin{pmatrix} 0 & \sigma_2 \\ \sigma_2 & 0 \\ \end{pmatrix} ,\quad \gamma^1= \begin{pmatrix} i\sigma_3 & 0 \\ 0 & i\sigma_3 \\ \end{pmatrix} ,\quad \gamma^2= \begin{pmatrix} 0 & -\sigma_2 \\ \sigma_2 & 0 \\ \end{pmatrix} ,\quad \gamma^3= \begin{pmatrix} -i\sigma_1 & 0 \\ 0 & -i\sigma_1 \\ \end{pmatrix} ,\quad \gamma_5= \begin{pmatrix} \sigma_2 & 0 \\ 0 & -\sigma_2 \\ \end{pmatrix} [/math]

となる。

マヨラナ表現は次の直積表現に相当する。

[math] \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 [/math]

また、マヨラナ表現とディラック表現は次の相似変換で結ばれる。

[math] \gamma^{\mu}_{\operatorname{majorana}} =U \, \gamma^{\mu}_{\operatorname{Dirac}}\, U^{\dagger} , \quad U = U^{\dagger} = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 & \sigma_2 \\ \sigma_2 & -1 \\ \end{pmatrix} [/math]

ファインマンのスラッシュ記法

リチャード・ファインマンによって導入された記法を用いて、時空の添え字をもつベクトル量 p_μ に対して

[math]p\!\!\!/ \equiv \gamma^\mu p_\mu = \gamma_\mu p^\mu[/math]

と略記することがある。

"「ファインマンのスラッシュ記法」"

参考文献

• R. H. Good, Jr., "Properties of the Dirac Matrices," Rev. Mod. Phys.,27 187 (1955)　doi:10.1103/RevModPhys.27.187
• 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

関連項目

• 場の量子論 - ディラック場
• クリフォード代数
• パウリ行列