Prerequisite
相対論的量子力学においても波動函数という解釈を続けるならばKlein–Gordon方程式あるいはDirac方程式にゲージ対称性を課してゲージ場との相互作用を導入できる.
この節で導入するのも ゲージ対称性であり,対応するゲージ場は電磁場を表す.
電磁場は相対性理論の中で無矛盾となる.
ただしこの節においても電磁場は古典場として扱い量子化しない.
Klein–Gorndon波動函数,Dirac波動函数をそれぞれ , ゲージ場を とするとそれぞれの ゲージ変換は,
と書かれる.
ここで はスピノルの足, はLorentzベクトルの足であり は任意のスカラー函数, はそれぞれの波動函数で記述される粒子のもつ電荷である.
ゲージに対する共変微分演算子を,
と定義すれば波動函数の共変微分は波動函数と同じゲージ変換性をもつ.
したがって微分を共変微分に置き換えたKlein–Gordon方程式,Dirac方程式,
は ゲージ不変となる.
電磁場と粒子の相互作用を見るために共変微分の定義を代入する.
まずKlein–Gordon方程式からは,
が現れ,Dirac方程式からは,
が現れる.
零質量のDirac方程式では 対称性以外にもう一つおもしろい対称性をもっている.
Weyl表現の利点はガンマ行列を と によって
とまとめて表記できることである.
Diracスピノルの4成分を2つの2成分スピノルに として分割すれば,2つの方程式
が得られる.
ここで導入した2成分スピノルはWeylスピノルと呼ばれるもので,場の量子論においてその性質を詳しく述べることにする.
零質量 のDirac方程式は独立なWeylスピノルについての方程式,
に分離する.
これらの方程式をWeyl方程式と呼ぶ.
ガンマ行列の積から
を定義する.
どのガンマ行列も反可換であることから反対称化して
と変形できる.
ただしLevi-Civita記号は ととっていることに注意せよ(上付きの方で としているため).
またWeyl表現において単純な行列の計算から
となり対角化されていることがわかる.
がWeylスピノルに作用すると となり, は固有値 , は固有値 を持つことがわかる.
Diracスピノルに対して大域的 変換にこの を挿入した変換
を施してみよう.
Weylスピノルにとってみればこの変換は
という変換になる.
すなわち2つのWeylスピノルで逆の位相変換を施している.
この変換を軸性U(1)変換とかカイラル変換 (chiral transformation) という.
カイラル変換のもとで質量が有限のDirac方程式は不変ではないが零質量のときは不変で,カイラル対称性を持つ.
カイラル対称性を持つ理論ではどのようにゲージ場を導入すればよいだろうか.
つまりこの理論においては 変換とカイラル変換の両方を局所化して,それに対するゲージ不変性を要求できる.
たとえば2つの実数 に対して
という変換を考えることもできる.
カイラル変換で があってもWeylスピノルで見ると同じ処方が可能で普通の微分を共変微分に置き換えるだけでよい.
この中でも特に の方だけにゲージ原理を要求し, の方には要求しないということもできる.
これは とおくと実現できて
Weylスピノルでは
この を局所化して とし,微分の項が対称性を保つように微分を再定義する.
したがって の方は共変微分に置き換わり, の方は普通の微分のままである.
つまりWeyl方程式は
となる.
Dirac方程式においては共変微分として
を採用すればよい.
は通常のゲージ変換性をもつ.
が 成分への射影になっていて, だけにゲージ場 と結合した項が現れて相互作用する.
したがってカイラル対称性を持つ理論に対してどのようにゲージ場を導入するか(カイラルゲージ理論)は現実の粒子がどのような相互作用をするかに依存して決まる.
このような機構はニュートリノの弱い相互作用の理論を構築する際に重要となる.