【Spin幾何】Clifford代数の表現とGamma行列

スピノルの基本事項

　任意の次元の実および複素Clifford代数は行列環の部分代数として実現させることができます。後でわかるようにこの表現は次元に関して周期性があるのでまずは低次元のClifford代数の表現を見てみます。またこれらの表現が既約表現であることものちに分かります。

Gamma行列

　Clifford代数の既約表現の生成子をGamma行列と呼ぶことが多いです。数学と物理ではGamma行列がi倍違うことがあります。これは物理では表現をHermite行列に取りたいという理由があるようです（たぶん）。

低次元のClifford代数の既約表現

低次元のClifford代数の既約表現を具体的に与えます。Pauli行列は
$${\sigma }_1=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right),{\sigma }_2=\left(\begin{array}{cc}0& -i\\ i& 0\end{array}\right),{\sigma }_3=\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)$$
で与えられます。Pauli行列は
$${\sigma }_j^2=1,{\sigma }_j{\sigma }_k=i\sum _l{ϵ}_{ljk}{\sigma }_l$$
を満たします。各Clifford代数の既約表現は以下です（ただし表現は一意的ではないので一例です）。

$C{l}_{0,1}$

$\rho :C{l}_{0,1}\to \mathbb{C}$であり、${\gamma }_1=i$です。

$C{l}_{1,0}$

$\rho :C{l}_{1,0}\to {\mathbb{R}}^2$であり、${\gamma }_1=(1,-1)$です。ただし、$(a,b)(c,d)=(ac,bd)$と積を定義します。

$C{l}_{0,2}$

$\rho :C{l}_{0,2}\to End({\mathbb{C}}^2)$であり、${\gamma }_1=i{\sigma }_1,{\gamma }_2=i{\sigma }_2$です。

$C{l}_{1,1}$

$\rho :C{l}_{1,1}\to End({\mathbb{C}}^2)$であり、${\gamma }_1={\sigma }_1,{\gamma }_2=i{\sigma }_2$です。

$C{l}_{0,3}$

$\rho :C{l}_{0,3}\to End({\mathbb{C}}^2)$であり、${\gamma }_1=i{\sigma }_1,{\gamma }_2=i{\sigma }_2,{\gamma }_3=i{\sigma }_3$です。

$C{l}_{1,2}$

$\rho :C{l}_{1,2}\to End({\mathbb{C}}^2)$であり、${\gamma }_1={\sigma }_1,{\gamma }_2=i{\sigma }_2,{\gamma }_3=i{\sigma }_3$です。

$C{l}_{0,4}$

$\rho :C{l}_{0,4}\to End({\mathbb{C}}^4)$であり、
$$\begin{array}{rl}{\gamma }_1& =\left(\begin{array}{cc}0& i{I}_2\\ i{I}_2& 0\end{array}\right)\\ {\gamma }_i& =\left(\begin{array}{cc}0& {\sigma }_i\\ -{\sigma }_i& 0\end{array}\right),(i=2,3,4)\end{array}$$
です。

$C{l}_{1,3}$

$\rho :C{l}_{1,3}\to End({\mathbb{C}}^4)$であり、
$$\begin{array}{rl}{\gamma }_1& =\left(\begin{array}{cc}0& I_2\\ I_2& 0\end{array}\right)\\ {\gamma }_i& =\left(\begin{array}{cc}0& {\sigma }_i\\ -{\sigma }_i& 0\end{array}\right),(i=2,3,4)\end{array}$$
です。この表現はWeyl表現またはChiral表現と呼ばれます。

　これらの低次元のClifford代数の既約表現を元に周期性を使えば一般のCliffor代数の既約表現も得られます。またFermion表示という統一的に既約表現を構成する方法もあります。

Gamma行列の添え字の上げ下げ

　ベクトルと同様にGamma行列に対しても擬Euclid計量による添え字の上げ下げを行います。このようなnotationを準備しておくと、Lorentz多様体上のスピン幾何の公式などをリーマンの場合と同様に書くことができて便利です。
$$\begin{array}{r}{\gamma }^a={\eta }^{ab}{\gamma }_b\\ {\mathrm{\Gamma }}^a={\eta }^{ab}{\mathrm{\Gamma }}_b\end{array}$$