ディラック・スピノル

**検索からたどり着いた方は [[ディラック方程式]]や[[スピノール]] を参考にすることをお勧めします．**

**ディラックスピノル**（）とは、場の量子論においてフェルミ粒子である既知のあらゆる基本粒子（ただしニュートリノを除く）を記述するのに用いられる数学的対象である。

本項は**ディラック表現**におけるディラックスピノルに焦点を当てたものである。これはガンマ行列の固有表現に対応しており、ディラック方程式の正と負のエネルギー解を示す場合に最も適したものである。それ以外の表現もあり、特にカイラル表現はディラック方程式の解のカイラル対称性を明示的にみるのに適している。

## 定義
ディラックスピノルは、自由粒子のディラック方程式の解を表現できる数学的対象である。
:\psi = \omega_{\vec{p}} \exp(-ipx)
:\left(i\hbar\gamma^\mu \partial_\mu - mc\right)\psi = 0 \;\Rightarrow \left(i\gamma^\mu \partial_\mu - m\right)\psi = 0 \;

ここで (c = \hbar = 1の結合内で)
:\psi は相対的なスピン1/2の場である。
:\omega_\vec{p} は波数ベクトル\vec{p}を有する平面波に関連するディラックスピノルである。
:px \equiv p_\mu x^\mu \equiv E t - \vec{p} \cdot \vec{x},
:p^\mu = \left\{\pm\sqrt{m^2 + \vec{p}^2}, \vec{p}\right\}は平面波の4元波数ベクトルであり、ここでの\vec{p} は任意である。
:x^\muは与えられた慣性系にある4座標である。

正周波数の解にとってのディラックスピノルは次のように書き表すこともできる。
:
  \omega_\vec{p} = \begin{bmatrix}
    \phi \\ \dfrac{\vec{\sigma} \cdot \vec{p}}{E_\vec{p} + m} \phi
  \end{bmatrix},


ここで
:\phiは任意の2成分スピノル
:\vec{\sigma} はパウリ行列 
:E_\vec{p}は正の平方根E_\vec{p} = + \sqrt{m^2 + \vec{p}^2}

自然単位系において、*m*2 が*p*2 に追加されたり*m* が{p\!\!\!/}に追加される場合、*m* は通常単位系での*mc*を意味する。*m* が*E*に追加される場合、*m* は通常単位系での*mc*2 を意味する。*m* が\partial_\mu や\nablaに追加される場合、それは通常単位系でのmc/\hbar（逆コンプトン波長と呼ばれる）を意味する。

## ディラック方程式からの導出
ディラック方程式は以下の形式を取る。

四成分スピノル \omega の形式を導出するために、まずは行列 \mathbf{\alpha}  及び \beta の値を示す必要がある:

これら2種類の 4 × 4 行列は、ディラック基底のガンマ行列(Gamma matrices)と関係する。ここで、\sigma_iはパウリ行列, \mathbf{0}  と \mathbf{I}  はそれぞれ 2 × 2 行列の零行列及び単位行列を示す。

次のステップは、この形式に対する解の計算である。

同時に、\omegaを2つの2成分スピノルに分割する:

### 結果
上記の関係全てをディラック方程式に代入すると、以下のようになる:

この行列方程式は、実は2つの対となる方程式である:
*\left(E - m \right) \phi = \left(\mathbf{\sigma \cdot p} \right) \chi
*\left(E + m \right) \chi = \left(\mathbf{\sigma \cdot p} \right) \phi

2つ目の方程式を \chi について解くと、以下のように書ける:
{E + m} \phi \end{bmatrix}}}

1つめの方程式を \phi について解くと、次式が求まる:
{-E + m} \chi \\ \chi \end{bmatrix}}}
この解は、反粒子と粒子との関係を見るのに都合がよい。

## 詳細
### 2成分スピノル
2成分スピノルのもっとも便利な定義は次の通りである。

及び

## 粒子の4成分スピノル
粒子は「正」のエネルギーを持つ物として定義される。4成分スピノル \omega は、 \omega^\dagger \omega = 2 E となるように正規化される。これらのスピノルは、u と表記される。

明らかに、次の様になる:

## 反粒子の4成分スピノル
「正」のエネルギー E を持つ反粒子は、「負」のエネルギーを持ち、時間を遡る向きに伝わる、粒子として定義される。

そこから、粒子の4成分スピノルにおいて、E と \mathbf{p} の符号を変えることによって、反粒子の4成分スピノルが得られる:

ここで、\chi による解を選ぶと、次の式は自明に導かれる:

## 完備性の関係式
4成分スピノル u 及び v に対する完備性の関係式は次の通りである:

## ディラック・スピノルとディラック代数
ディラック表記のガンマ行列は4×4行列の組で、スピンや電荷、演算子として用いられる。

### 取り決め
計量表示と群表現については、物理学の文献においても、慣用されるいくつかの取り方がある。ディラック表記のガンマ行列は、普通、\mu を0から3の値として、\gamma^{\mu}と書かれる。この表記において、0は時間に、1から3は空間のx、y、zに相当する。

現代の高エネルギー物理学では (+ - - -) の計量表示が一般的であり、以下で例を示す際もこちらを用いる。計量表示を切り替える場合は、全ての \gamma^{\mu} に i を乗じる。

計量表示を定めても、4×4行列による群表現を構築する方法は沢山あり、多くの方法が広く使われている。ここでの例を極力一般化した形で見せるために、最後の段階まで群表現を固定せずに、話を進める。最後に「カイラル表現」もしくは「ワイル表現」と呼ばれる群表現を代入する。

### 構築
まず電子と陽電子についてのスピンの向きを選択する。上で議論したパウリ代数の例と同様、スピンの向きを3次元単位ベクトル (a, b, c) で定義する。高エネルギー物理学で慣習に従って、方向 (a, b, c) のスピンに対応するスピン演算子は、(a, b, c) と (i\gamma^2\gamma^3,\;\;i\gamma^3\gamma^1,\;\;i\gamma^1\gamma^2)
=-(\gamma^1,\;\gamma^2,\;\gamma^3)i\gamma^1\gamma^2\gamma^3 との内積として定義する:

注目すべきは、上のが1の累乗根で有ることで、すなわち、二乗すると1になる。続けて、この演算子から、ディラック代数の、(a, b, c) の方向に合わせたスピンを持つ部分代数を、映し出す射影作用素を、導くことができる:

2}}

この段階で、電荷を +1 (陽電子) に取るか -1 (電子) に取るか選択する必要がある。上述のスピンの定義従うと、電荷の演算子は Q = -\gamma^0 となる。即ち、電子の状態は、この演算子についての固有値 -1 を取り、一方陽電子の状態は固有値 +1 を取ることになる。

注目すべきは、Q もまた1の累乗根となることである。その上、Q は \sigma_{(a,b,c)} と交換関係がある。
これらはディラック代数に対する交換するオブザーバブルの完全集合を形成する。この例で続けて、(a,b,c) の方向のスピンを持つ電子の表現を求める。

## 脚注


## 参考文献