スピノルの基本事項
spinor空間の複素スカラー積の1つであるDirac形式を解説します。
Dirac形式
をClifford代数の既約表現とします。に対して、次を満たす非退化双線形形式をDirac形式といいます。
はに依存します。Dirac形式を行列表示は、複素行列で
を満たすものにより、
となります。は一意的ではありません。
Dirac形式が不変であることがMajorana形式のときと同様に示されます。
Dirac形式による双対をDirac共役と呼びます。
Dirac共役
に対して、を
と定義する。をのDirac共役と呼ぶ。
行列表示だと
となります。
Dirac形式は標準模型においてフェルミオンの質量項、運動項、相互作用項を記述するのに使われます。
4次元Lorentzの場合
の4次元Lorentzのとき、で、
とすることができます。