ガンマ行列
ガンマ行列（ガンマぎょうれつ、）、あるいはディラック行列（ディラックぎょうれつ、）とは、反交換関係
によって定義される行列の組。場の理論におけるディラック場の記述に応用される。物理学者ポール・ディラックが相対論的な波動方程式としてディラック方程式を導く際に導入した。
ガンマ行列 は以下の反交換関係を満たす行列の組として定義される。
ここで は 次元時空の添え字で、 は時空の計量で、この場合 である。 は単位行列で、この式が行列としての等式であることを明示しているが、しばしば省略される。行列を成分で書けば、
となる。行列の添え字は （ が偶数の場合は 、奇数の場合は の範囲を動く。また、重複して現れる添え字についてはアインシュタインの規約に従い、和をとるものとする。
時空の添え字の上げ下げは、計量によって行われる。
ここで は空間成分である。（以下同じ）
定義より、
が成り立つ。
また、ガンマ行列同士の積から生成される項は、上記の性質から
のいずれかの形に帰着される。この中で互いに異なる項は2個となる。
formula_1 は固有値 であり、formula_2 は固有値 である。従ってエルミート共役に対して、
が成り立つ。つまり、formula_1 はエルミート行列、formula_2 は反エルミート行列である。これらをまとめて
と表すことができる。
ガンマ行列のトレースはゼロとなる。
ガンマ行列の縮約については、以下が成り立つ。
より高次の縮約公式についても
として帰納的に求められる。
ガンマ行列により
で定義される行列 を考える。このとき
はローレンツ代数を満たす。
4次元時空では、ガンマ行列は相対論的な場の理論に応用される。4次元時空ではガンマ行列は 4×4 行列で書ける。
4次元時空では formula_5 同士の積から生成される 2 = 16 個の元
が一次独立となる。これらを formula_11 と表したとき、各 formula_12 は formula_13 及び formula_14 を満たす。
16個のformula_15が一次独立であることから、formula_16を行列表現するには、少なくとも16個の成分を持つ4×4行列が必要となる。特に4×4行列による表現は既約表現であり、formula_16とformula_18を異なる4×4行列による表現の組とすると、正則行列formula_19が存在し、formula_20の関係が成り立つ。
また、formula_16を4×4行列で表現した場合、任意の4×4行列formula_22は、formula_23と、formula_24の一次結合で表すことができる。ここで、展開係数はformula_25で与えられる。
カイラリティー formula_26 は
によって定義される行列である。高次元時空における第5成分とは関係が無い。
formula_26 の固有値は ±1 である。
固有値 +1 に属する部分空間を右手型 (right-handed, RH)、或いは右巻きと呼び、−1 を左手型 (left-handed, LH)、或いは左巻きと呼ぶ。
射影演算子
を定義すると、
によって、ディラックスピノル を右手型、左手型の成分に分解できる。
文献によっては formula_26 の定義で符号が逆の場合もあるが、そのときも固有値+1が右手、−1が左手である。
ディラックスピノル のディラック共役 とガンマ行列によって構成される双線型形式 は、次のように、離散対称性（パリティ変換、時間反転）を含む広義のローレンツ変換の下で、スカラー、ベクトル、反対称テンソル、擬ベクトル、擬スカラーとして変換性をもつ。
ディラック表現において、formula_29、formula_26、及びformula_31は
となる。ここで formula_32 ("j" = 1, 2, 3) はパウリ行列、1, 0 はそれぞれ 2 次の単位行列、零行列である。
ディラック表現は次の直積表現
に相当する。
カイラル表現、或いはワイル表現において、formula_29、formula_26、およびformula_31は
カイラル表現では、formula_26 (カイラリティー)が対角化されており、射影演算子は
となる。つまり、左右の成分が上下2成分ずつに分かれた表示である。
カイラル表現は次の直積表現に相当する。
カイラル表現とディラック表現は次の相似変換で結ばれる。
マヨラナ表現において、formula_29 および formula_26 は
となる。
マヨラナ表現は次の直積表現に相当する。
また、マヨラナ表現とディラック表現は次の相似変換で結ばれる。
リチャード・ファインマンによって導入された記法を用いて、時空の添え字をもつベクトル量 に対して
と略記することがある。