ガンマ行列

ガンマ行列（ガンマぎょうれつ、テンプレート:Lang-en-short）、あるいはディラック行列（ディラックぎょうれつ、テンプレート:Lang-en-short）とは、反交換関係 テンプレート:Indent によって定義される行列の組。場の理論におけるディラック場の記述に応用される。物理学者ポール・ディラックが相対論的な波動方程式としてディラック方程式を導く際に導入した。

定義

ガンマ行列 テンプレート:Math は以下の反交換関係を満たす行列の組として定義される。 テンプレート:Indent ここで テンプレート:Math は テンプレート:Mvar 次元時空の添え字で、テンプレート:Mvar は時空の計量で、この場合 テンプレート:Math である。テンプレート:Math は単位行列で、この式が行列としての等式であることを明示しているが、しばしば省略される。行列を成分で書けば、 テンプレート:Indent となる。行列の添え字は テンプレート:Math（テンプレート:Mvar が偶数の場合は テンプレート:Math、奇数の場合は テンプレート:Math の範囲を動く。また、重複して現れる添え字についてはアインシュタインの規約に従い、和をとるものとする。

時空の添え字の上げ下げは、計量によって行われる。 テンプレート:Indent テンプレート:Indent ここで テンプレート:Math は空間成分である。（以下同じ）

性質

基本的性質

定義より、 テンプレート:Indent テンプレート:Indent が成り立つ。

また、ガンマ行列同士の積から生成される項は、上記の性質から テンプレート:Indent のいずれかの形に帰着される。この中で互いに異なる項は2^d個となる。

エルミート性

${\gamma }^0$ は固有値 テンプレート:Math であり、${\gamma }^j$ は固有値 テンプレート:Math である。従ってエルミート共役に対して、 テンプレート:Indent が成り立つような行列で表示することができる。つまり、${\gamma }^0$ はエルミート行列、${\gamma }^j$ は反エルミート行列になるように表示することができる。このような表示をしたとき、まとめて テンプレート:Indent と表すことができる。一般にエルミート性は持たないことに注意されたい。

トレース

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

縮約公式

ガンマ行列の縮約については、以下が成り立つ。 テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent より高次の縮約公式についても テンプレート:Indent として帰納的に求められる。

ローレンツ変換

ガンマ行列により テンプレート:Indent で定義される行列 テンプレート:Mvar を考える。このとき テンプレート:Indent は次のローレンツ代数（ローレンツ変換のリー代数）を満たす。 テンプレート:Indent

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

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

基本的性質

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

$\mathrm{𝟏},$

${\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$

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

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

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

カイラリティー

カイラリティー ${\gamma }_5$ は テンプレート:Indent によって定義される行列である。高次元時空における第5成分とは関係が無い。 テンプレート:Indent テンプレート:Indent ${\gamma }_5$ の固有値は ±1 である。 固有値 +1 に属する部分空間を右手型 (right-handed, RH)、或いは右巻きと呼び、−1 を左手型 (left-handed, LH)、或いは左巻きと呼ぶ。

射影演算子 テンプレート:Indent を定義すると、 テンプレート:Indent テンプレート:Indent によって、ディラックスピノル テンプレート:Mvar を右手型、左手型の成分に分解できる。

文献によっては ${\gamma }_5$ の定義で符号が逆の場合もあるが、そのときも固有値+1が右手、−1が左手である。

変換性

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

双線形形式	変換性	変換則
テンプレート:Math	スカラー	${\bar{\psi }}^{\prime }(x){\psi }^{\prime }(x)=\bar{\psi }({\mathrm{\Lambda }}^{-1}x)\psi ({\mathrm{\Lambda }}^{-1}x)$
テンプレート:Math	ベクトル	${\bar{\psi }}^{\prime }(x){\gamma }^{\mu }{\psi }^{\prime }(x)={\mathrm{\Lambda }}^{\mu }{}_{\nu }\bar{\psi }({\mathrm{\Lambda }}^{-1}x){\gamma }^{\mu }\psi ({\mathrm{\Lambda }}^{-1}x)$
テンプレート:Math	反対称テンソル	${\bar{\psi }}^{\prime }(x){\sigma }^{\mu \nu }{\psi }^{\prime }(x)={\mathrm{\Lambda }}^{\mu }{}_{\rho }{\mathrm{\Lambda }}^{\nu }{}_{\sigma }\bar{\psi }({\mathrm{\Lambda }}^{-1}x){\sigma }^{\rho \sigma }\psi ({\mathrm{\Lambda }}^{-1}x)$
テンプレート:Math	擬ベクトル	${\bar{\psi }}^{\prime }(x){\gamma }_5{\gamma }^{\mu }{\psi }^{\prime }(x)=\det (\mathrm{\Lambda }){\mathrm{\Lambda }}^{\mu }{}_{\nu }\bar{\psi }({\mathrm{\Lambda }}^{-1}x){\gamma }_5{\gamma }^{\nu }\psi ({\mathrm{\Lambda }}^{-1}x)$
テンプレート:Math	擬スカラー	${\bar{\psi }}^{\prime }(x)i{\gamma }_5{\psi }^{\prime }(x)=\det (\mathrm{\Lambda })\bar{\psi }({\mathrm{\Lambda }}^{-1}x)i{\gamma }_5\psi ({\mathrm{\Lambda }}^{-1}x)$

ディラック表現

ディラック表現において、${\gamma }^{\mu }$、${\gamma }_5$、及び${\sigma }^{\mu \nu }$は テンプレート:Indent となる。ここで ${\sigma }_j$ (j = 1, 2, 3) はパウリ行列、1, 0 はそれぞれ 2 次の単位行列、零行列である。

ディラック表現は次の直積表現 に相当する。 テンプレート:Indent

カイラル（ワイル）表現

カイラル表現、或いはワイル表現において、${\gamma }^{\mu }$、${\gamma }_5$、および${\sigma }^{\mu \nu }$は テンプレート:Indent となる。

カイラル表現では、${\gamma }_5$ (カイラリティー)が対角化されており、射影演算子は テンプレート:Indent となる。つまり、左右の成分が上下2成分ずつに分かれた表示である。 テンプレート:Indent テンプレート:Indent カイラル表現は次の直積表現に相当する。 テンプレート:Indent カイラル表現とディラック表現は次の相似変換で結ばれる。

${\gamma }_{\mathrm{chiral}}^{\mu }=U{\gamma }_{\mathrm{Dirac}}^{\mu }{U}^{†},U=\frac{1}{\sqrt{2}}(1-{\gamma }_5{\gamma }_0)=\frac{1}{\sqrt{2}}\left[\begin{array}{cc}1& 1\\ -1& 1\end{array}\right]$

マヨラナ表現

マヨラナ表現では、ガンマ行列は全て純虚数になるように選択される。具体的に${\gamma }^{\mu }$ および ${\gamma }_5$ は

${\gamma }^0=\left[\begin{array}{cc}0& {\sigma }_2\\ {\sigma }_2& 0\end{array}\right],{\gamma }^1=\left[\begin{array}{cc}i{\sigma }_3& 0\\ 0& i{\sigma }_3\end{array}\right],{\gamma }^2=\left[\begin{array}{cc}0& -{\sigma }_2\\ {\sigma }_2& 0\end{array}\right],{\gamma }^3=\left[\begin{array}{cc}-i{\sigma }_1& 0\\ 0& -i{\sigma }_1\end{array}\right],{\gamma }_5=\left[\begin{array}{cc}{\sigma }_2& 0\\ 0& -{\sigma }_2\end{array}\right]$

となる。

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

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

${\gamma }^0={\sigma }_1\otimes {\sigma }_2,{\gamma }^1=i1\otimes {\sigma }_3,{\gamma }^2=-i{\sigma }_2\otimes {\sigma }_2,{\gamma }^3=-i1\otimes {\sigma }_1,{\gamma }_5={\sigma }_3\otimes {\sigma }_2$

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

${\gamma }_{\mathrm{majorana}}^{\mu }=U{\gamma }_{\mathrm{Dirac}}^{\mu }{U}^{†},U=U^{†}=\frac{1}{\sqrt{2}}\left[\begin{array}{cc}1& {\sigma }_2\\ {\sigma }_2& -1\end{array}\right]$

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

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

$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)　テンプレート:Doi
• 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

関連項目

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